Trace number 4087271

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 91
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c * #variable= 6120 #constraint= 6302
0.49/0.52	c #Conflicts:       1000 | #Learnt:        998 | 0.000
0.49/0.52	c total clause space: 11.2235MB
0.49/0.52	c total #watches: 74129
2.79/2.82	c total #propagations: 381748 / total #impl: 3634923 (eff. 0.105)
2.79/2.82	c #Conflicts:       2000 | #Learnt:       1998 | 0.001
2.79/2.82	c total clause space: 18.2382MB
2.79/2.82	c total #watches: 142551
6.49/6.57	c total #propagations: 745863 / total #impl: 13603366 (eff. 0.055)
6.49/6.57	c GARBAGE COLLECT
6.49/6.57	c #Conflicts:       3000 | #Learnt:       2055 | 0.019
6.49/6.57	c total clause space: 18.2382MB
6.49/6.57	c total #watches: 192507
14.58/14.69	c total #propagations: 1087535 / total #impl: 27635061 (eff. 0.039)
14.58/14.69	c #Conflicts:       4000 | #Learnt:       3055 | 0.020
14.58/14.69	c total clause space: 29.637MB
14.58/14.69	c total #watches: 290804
20.89/20.94	c total #propagations: 1454790 / total #impl: 49795680 (eff. 0.029)
20.89/20.94	c GARBAGE COLLECT
20.89/20.94	c #Conflicts:       5000 | #Learnt:       2424 | 0.016
20.89/20.94	c total clause space: 29.637MB
20.89/20.94	c total #watches: 244387
31.48/31.57	c total #propagations: 1757560 / total #impl: 67649819 (eff. 0.026)
31.48/31.57	c #Conflicts:       6000 | #Learnt:       3424 | 0.014
31.48/31.57	c total clause space: 29.637MB
31.48/31.57	c total #watches: 330606
37.88/37.91	c total #propagations: 2173948 / total #impl: 93358357 (eff. 0.023)
37.88/37.91	c GARBAGE COLLECT
37.88/37.91	c #Conflicts:       7000 | #Learnt:       2302 | 0.012
37.88/37.91	c total clause space: 48.1602MB
37.88/37.91	c total #watches: 208193
43.28/43.30	c total #propagations: 2427901 / total #impl: 109266414 (eff. 0.022)
43.28/43.30	c #Conflicts:       8000 | #Learnt:       3302 | 0.010
43.28/43.30	c total clause space: 48.1602MB
43.28/43.30	c total #watches: 267732
53.99/54.04	c total #propagations: 2701759 / total #impl: 124954744 (eff. 0.022)
53.99/54.04	c #Conflicts:       9000 | #Learnt:       4302 | 0.009
53.99/54.04	c total clause space: 48.1602MB
53.99/54.04	c total #watches: 348898
69.18/69.28	c total #propagations: 3030722 / total #impl: 146676361 (eff. 0.021)
69.18/69.28	c GARBAGE COLLECT
69.18/69.28	c #Conflicts:      10000 | #Learnt:       2766 | 0.009
69.18/69.28	c total clause space: 78.2603MB
69.18/69.28	c total #watches: 278368
78.47/78.59	c total #propagations: 3428790 / total #impl: 177730722 (eff. 0.019)
78.47/78.59	c #Conflicts:      11000 | #Learnt:       3766 | 0.008
78.47/78.59	c total clause space: 78.2603MB
78.47/78.59	c total #watches: 392512
98.17/98.27	c total #propagations: 3715974 / total #impl: 200230748 (eff. 0.019)
98.17/98.27	c #Conflicts:      12000 | #Learnt:       4766 | 0.008
98.17/98.27	c total clause space: 78.2603MB
98.17/98.27	c total #watches: 478915
122.67/122.78	c total #propagations: 4042637 / total #impl: 230744197 (eff. 0.018)
122.67/122.78	c #Conflicts:      13000 | #Learnt:       5766 | 0.009
122.67/122.78	c total clause space: 78.2603MB
122.67/122.78	c total #watches: 574889
138.68/138.73	c total #propagations: 4364532 / total #impl: 264955943 (eff. 0.016)
138.68/138.73	c GARBAGE COLLECT
138.68/138.73	c #Conflicts:      14000 | #Learnt:       3929 | 0.009
138.68/138.73	c total clause space: 78.2603MB
138.68/138.73	c total #watches: 418846
154.77/154.82	c total #propagations: 4688596 / total #impl: 297256840 (eff. 0.016)
154.77/154.82	c #Conflicts:      15000 | #Learnt:       4929 | 0.009
154.77/154.82	c total clause space: 78.2603MB
154.77/154.82	c total #watches: 503119
174.97/175.07	c total #propagations: 4955910 / total #impl: 328230485 (eff. 0.015)
174.97/175.07	c #Conflicts:      16000 | #Learnt:       5929 | 0.009
174.97/175.07	c total clause space: 78.2603MB
174.97/175.07	c total #watches: 559026
199.26/199.39	c total #propagations: 5258015 / total #impl: 365587701 (eff. 0.014)
199.26/199.39	c GARBAGE COLLECT
199.26/199.39	c #Conflicts:      17000 | #Learnt:       3761 | 0.008
199.26/199.39	c total clause space: 127.173MB
199.26/199.39	c total #watches: 566272
266.05/266.19	c total #propagations: 5586426 / total #impl: 441990480 (eff. 0.013)
266.05/266.19	c #Conflicts:      18000 | #Learnt:       4761 | 0.008
266.05/266.19	c total clause space: 127.173MB
266.05/266.19	c total #watches: 850202
356.73/356.85	c total #propagations: 5893019 / total #impl: 679074849 (eff. 0.009)
356.73/356.85	c #Conflicts:      19000 | #Learnt:       5761 | 0.008
356.73/356.85	c total clause space: 127.173MB
356.73/356.85	c total #watches: 1062559
482.82/482.99	c total #propagations: 6160449 / total #impl: 961079073 (eff. 0.006)
482.82/482.99	c #Conflicts:      20000 | #Learnt:       6761 | 0.007
482.82/482.99	c total clause space: 206.656MB
482.82/482.99	c total #watches: 1147959
554.90/555.04	c total #propagations: 6446295 / total #impl: 1118199038 (eff. 0.006)
554.90/555.04	c GARBAGE COLLECT
554.90/555.04	c #Conflicts:      21000 | #Learnt:       4291 | 0.007
554.90/555.04	c total clause space: 206.656MB
554.90/555.04	c total #watches: 594646
613.70/613.88	c total #propagations: 6796829 / total #impl: 1171148837 (eff. 0.006)
613.70/613.88	c #Conflicts:      22000 | #Learnt:       5291 | 0.007
613.70/613.88	c total clause space: 206.656MB
613.70/613.88	c total #watches: 764297
690.59/690.76	c total #propagations: 7155546 / total #impl: 1231103008 (eff. 0.006)
690.59/690.76	c #Conflicts:      23000 | #Learnt:       6291 | 0.008
690.59/690.76	c total clause space: 206.656MB
690.59/690.76	c total #watches: 938081
781.17/781.35	c total #propagations: 7484808 / total #impl: 1312457286 (eff. 0.006)
781.17/781.35	c #Conflicts:      24000 | #Learnt:       7291 | 0.008
781.17/781.35	c total clause space: 206.656MB
781.17/781.35	c total #watches: 1043447
849.96/850.17	c total #propagations: 7831257 / total #impl: 1380578444 (eff. 0.006)
849.96/850.17	c GARBAGE COLLECT
849.96/850.17	c #Conflicts:      25000 | #Learnt:       4462 | 0.007
849.96/850.17	c total clause space: 206.656MB
849.96/850.17	c total #watches: 615910
901.35/901.53	c total #propagations: 8191528 / total #impl: 1445475610 (eff. 0.006)
901.35/901.53	c #Conflicts:      26000 | #Learnt:       5462 | 0.007
901.35/901.53	c total clause space: 206.656MB
901.35/901.53	c total #watches: 687524
969.84/970.05	c total #propagations: 8541205 / total #impl: 1496843427 (eff. 0.006)
969.84/970.05	c #Conflicts:      27000 | #Learnt:       6462 | 0.007
969.84/970.05	c total clause space: 206.656MB
969.84/970.05	c total #watches: 793229
1047.43/1047.64	c total #propagations: 8909890 / total #impl: 1565891319 (eff. 0.006)
1047.43/1047.64	c #Conflicts:      28000 | #Learnt:       7462 | 0.007
1047.43/1047.64	c total clause space: 206.656MB
1047.43/1047.64	c total #watches: 933926
1125.92/1126.15	c total #propagations: 9288659 / total #impl: 1642233767 (eff. 0.006)
1125.92/1126.15	c GARBAGE COLLECT
1125.92/1126.15	c #Conflicts:      29000 | #Learnt:       4373 | 0.007
1125.92/1126.15	c total clause space: 206.656MB
1125.92/1126.15	c total #watches: 554932
1176.82/1177.08	c total #propagations: 9633898 / total #impl: 1707536331 (eff. 0.006)
1176.82/1177.08	c #Conflicts:      30000 | #Learnt:       5373 | 0.007
1176.82/1177.08	c total clause space: 206.656MB
1176.82/1177.08	c total #watches: 716662
1257.70/1257.98	c total #propagations: 9963901 / total #impl: 1773731542 (eff. 0.006)
1257.70/1257.98	c #Conflicts:      31000 | #Learnt:       6373 | 0.007
1257.70/1257.98	c total clause space: 206.656MB
1257.70/1257.98	c total #watches: 850219
1338.89/1339.18	c total #propagations: 10349115 / total #impl: 1875637142 (eff. 0.006)
1338.89/1339.18	c #Conflicts:      32000 | #Learnt:       7373 | 0.006
1338.89/1339.18	c total clause space: 206.656MB
1338.89/1339.18	c total #watches: 1008649
1430.77/1431.03	c total #propagations: 10707828 / total #impl: 1955928909 (eff. 0.005)
1430.77/1431.03	c #Conflicts:      33000 | #Learnt:       8373 | 0.006
1430.77/1431.03	c total clause space: 206.656MB
1430.77/1431.03	c total #watches: 1250582
1518.25/1518.56	c total #propagations: 11008539 / total #impl: 2046699129 (eff. 0.005)
1518.25/1518.56	c GARBAGE COLLECT
1518.25/1518.56	c #Conflicts:      34000 | #Learnt:       4956 | 0.006
1518.25/1518.56	c total clause space: 206.656MB
1518.25/1518.56	c total #watches: 723442
1604.24/1604.54	c total #propagations: 11316170 / total #impl: 2123162340 (eff. 0.005)
1604.24/1604.54	c #Conflicts:      35000 | #Learnt:       5956 | 0.006
1604.24/1604.54	c total clause space: 206.656MB
1604.24/1604.54	c total #watches: 883173
1684.82/1685.13	c total #propagations: 11657734 / total #impl: 2212971590 (eff. 0.005)
1684.82/1685.13	c #Conflicts:      36000 | #Learnt:       6956 | 0.006
1684.82/1685.13	c total clause space: 206.656MB
1684.82/1685.13	c total #watches: 1030515
1769.62/1769.91	c total #propagations: 11959283 / total #impl: 2276045758 (eff. 0.005)
1769.62/1769.91	c #Conflicts:      37000 | #Learnt:       7956 | 0.006
1769.62/1769.91	c total clause space: 206.656MB
1769.62/1769.91	c total #watches: 1103025

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4087271-1465416568/watcher-4087271-1465416568 -o /tmp/evaluation-result-4087271-1465416568/solver-4087271-1465416568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465387880-29694 --watchdog 1960 --input HOME/instance-4087271-1465416568.opb ./cdcl-cuttingplanes-release 

pid=6699
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.24 2.25 3/176 6702
/proc/meminfo: memFree=29243648/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 123589984 29802496 5261 33554432000 4194304 6199737 140733682446944 140736391266824 4209400 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 7276 5261 122 490 0 6777 0

[startup+0.100165 s]
/proc/loadavg: 2.20 2.24 2.25 3/176 6702
/proc/meminfo: memFree=29243648/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=34240 CPUtime=0.09 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 862 0 0 0 9 0 0 0 20 0 1 0 123589984 35061760 7228 33554432000 4194304 6199737 140733682446944 140736391266824 4208371 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 8560 7229 139 490 0 8061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34240

[startup+0.228258 s]
/proc/loadavg: 2.20 2.24 2.25 3/176 6702
/proc/meminfo: memFree=29243648/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=37212 CPUtime=0.22 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 1346 0 0 0 22 0 0 0 20 0 1 0 123589984 38105088 8065 33554432000 4194304 6199737 140733682446944 140733682445880 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 9303 8065 139 490 0 8804 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 37212

[startup+0.300313 s]
/proc/loadavg: 2.20 2.24 2.25 3/176 6702
/proc/meminfo: memFree=29243648/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=37344 CPUtime=0.29 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 1372 0 0 0 29 0 0 0 20 0 1 0 123589984 38240256 8091 33554432000 4194304 6199737 140733682446944 140733682445880 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 9336 8091 139 490 0 8837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37344

[startup+0.70031 s]
/proc/loadavg: 2.20 2.24 2.25 3/176 6702
/proc/meminfo: memFree=29243648/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=42220 CPUtime=0.69 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 2003 0 0 0 69 0 0 0 20 0 1 0 123589984 43233280 8534 33554432000 4194304 6199737 140733682446944 140733682445880 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 10555 8534 155 490 0 10056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42220

[startup+1.50024 s]
/proc/loadavg: 2.20 2.24 2.25 3/177 6703
/proc/meminfo: memFree=29207720/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=42728 CPUtime=1.49 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 2172 0 0 0 149 0 0 0 20 0 1 0 123589984 43753472 9199 33554432000 4194304 6199737 140733682446944 140733682445592 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 10682 9199 155 490 0 10183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42728

[startup+3.10023 s]
/proc/loadavg: 2.20 2.24 2.25 3/177 6703
/proc/meminfo: memFree=29203096/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=50600 CPUtime=3.09 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 3355 0 0 0 309 0 0 0 20 0 1 0 123589984 51814400 10471 33554432000 4194304 6199737 140733682446944 140733682446056 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 12650 10471 155 490 0 12151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50600

[startup+6.30024 s]
/proc/loadavg: 2.18 2.24 2.25 3/177 6703
/proc/meminfo: memFree=29201160/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=51056 CPUtime=6.29 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 3610 0 0 0 629 0 0 0 20 0 1 0 123589984 52281344 11216 33554432000 4194304 6199737 140733682446944 140733682445416 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 12764 11216 161 490 0 12265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51056

[startup+12.7002 s]
/proc/loadavg: 2.17 2.24 2.25 3/177 6703
/proc/meminfo: memFree=29192472/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=63912 CPUtime=12.68 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 4245 0 0 0 1268 0 0 0 20 0 1 0 123589984 65445888 13276 33554432000 4194304 6199737 140733682446944 140733682445880 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 15978 13276 161 490 0 15479 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63912

[startup+25.5003 s]
/proc/loadavg: 2.21 2.24 2.25 3/177 6703
/proc/meminfo: memFree=29184372/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=64968 CPUtime=25.48 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 4979 0 0 0 2548 0 0 0 20 0 1 0 123589984 66527232 14866 33554432000 4194304 6199737 140733682446944 140733682445880 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 16242 14866 161 490 0 15743 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64968

[startup+51.1003 s]
/proc/loadavg: 2.14 2.22 2.24 3/178 6706
/proc/meminfo: memFree=29166412/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=85616 CPUtime=51.08 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 6158 0 0 0 5107 1 0 0 20 0 1 0 123589984 87670784 19796 33554432000 4194304 6199737 140733682446944 140733682445880 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 21404 19796 161 490 0 20905 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85616

[startup+102.3 s]
/proc/loadavg: 2.23 2.23 2.25 3/177 6707
/proc/meminfo: memFree=29143596/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=118720 CPUtime=102.28 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 7574 0 0 0 10227 1 0 0 20 0 1 0 123589984 121569280 24966 33554432000 4194304 6199737 140733682446944 140733682445880 4207819 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 29680 24966 161 490 0 29181 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118720

[startup+162.3 s]
/proc/loadavg: 2.31 2.25 2.25 3/177 6708
/proc/meminfo: memFree=29131164/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=119876 CPUtime=162.27 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 7980 0 0 0 16225 2 0 0 20 0 1 0 123589984 122753024 27904 33554432000 4194304 6199737 140733682446944 140733682445880 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 29969 27904 161 490 0 29470 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 119876

[startup+222.307 s]
/proc/loadavg: 2.25 2.24 2.25 3/177 6709
/proc/meminfo: memFree=29120576/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=172964 CPUtime=222.26 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 9338 0 0 0 22224 2 0 0 20 0 1 0 123589984 177115136 30439 33554432000 4194304 6199737 140733682446944 140733682445880 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 43241 30439 161 490 0 42742 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 172964

[startup+282.3 s]
/proc/loadavg: 2.25 2.24 2.25 3/177 6711
/proc/meminfo: memFree=29093256/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=174280 CPUtime=282.25 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 9787 0 0 0 28222 3 0 0 20 0 1 0 123589984 178462720 34973 33554432000 4194304 6199737 140733682446944 140733682445768 4213493 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 43570 34973 161 490 0 43071 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 174280

[startup+342.3 s]
/proc/loadavg: 2.26 2.24 2.24 4/177 6712
/proc/meminfo: memFree=29067716/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=177308 CPUtime=342.23 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 10561 0 0 0 34220 3 0 0 20 0 1 0 123589984 181563392 41368 33554432000 4194304 6199737 140733682446944 140733682445880 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 44327 41368 161 490 0 43828 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 177308

[startup+402.3 s]
/proc/loadavg: 2.20 2.23 2.24 4/177 6713
/proc/meminfo: memFree=29060032/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=178772 CPUtime=402.22 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 10901 0 0 0 40219 3 0 0 20 0 1 0 123589984 183062528 43238 33554432000 4194304 6199737 140733682446944 140733682445592 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 44693 43238 161 490 0 44194 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 178772

[startup+462.3 s]
/proc/loadavg: 2.21 2.23 2.24 3/177 6714
/proc/meminfo: memFree=29052908/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=261636 CPUtime=462.21 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 11722 0 0 0 46218 3 0 0 20 0 1 0 123589984 267915264 44926 33554432000 4194304 6199737 140733682446944 140733682445880 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65409 44926 161 490 0 64910 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 261636

[startup+522.3 s]
/proc/loadavg: 2.25 2.23 2.23 3/177 6715
/proc/meminfo: memFree=29046916/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=262172 CPUtime=522.2 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 11897 0 0 0 52217 3 0 0 20 0 1 0 123589984 268464128 46363 33554432000 4194304 6199737 140733682446944 140733682445880 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65543 46363 161 490 0 65044 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 262172

[startup+582.3 s]
/proc/loadavg: 2.13 2.20 2.22 3/177 6717
/proc/meminfo: memFree=29030428/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=262172 CPUtime=582.19 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 11897 0 0 0 58216 3 0 0 20 0 1 0 123589984 268464128 46363 33554432000 4194304 6199737 140733682446944 140733682446056 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65543 46363 161 490 0 65044 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 262172


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.17 2.17 2.19 3/177 6727
/proc/meminfo: memFree=29010824/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=262492 CPUtime=942.15 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12088 0 0 0 94211 4 0 0 20 0 1 0 123589984 268791808 46538 33554432000 4194304 6199737 140733682446944 140733682446056 4213377 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65623 46538 161 490 0 65124 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 262492

[startup+1002.3 s]
/proc/loadavg: 2.19 2.18 2.19 3/177 6728
/proc/meminfo: memFree=29010856/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=262492 CPUtime=1002.14 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12121 0 0 0 100210 4 0 0 20 0 1 0 123589984 268791808 46568 33554432000 4194304 6199737 140733682446944 140733682446056 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65623 46568 161 490 0 65124 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 262492

[startup+1062.3 s]
/proc/loadavg: 2.30 2.21 2.19 4/177 6729
/proc/meminfo: memFree=29010760/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=262632 CPUtime=1062.13 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12150 0 0 0 106209 4 0 0 20 0 1 0 123589984 268935168 46597 33554432000 4194304 6199737 140733682446944 140733682445880 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65658 46597 161 490 0 65159 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 262632

[startup+1122.3 s]
/proc/loadavg: 2.27 2.21 2.19 3/177 6730
/proc/meminfo: memFree=29010220/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=263096 CPUtime=1122.12 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12260 0 0 0 112208 4 0 0 20 0 1 0 123589984 269410304 46707 33554432000 4194304 6199737 140733682446944 140733682445880 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65774 46707 161 490 0 65275 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 263096

[startup+1182.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 6731
/proc/meminfo: memFree=29009136/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=263096 CPUtime=1182.11 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12270 0 0 0 118207 4 0 0 20 0 1 0 123589984 269410304 46717 33554432000 4194304 6199737 140733682446944 140733682446056 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65774 46717 161 490 0 65275 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 263096

[startup+1242.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 6736
/proc/meminfo: memFree=29009384/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=263164 CPUtime=1242.1 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12340 0 0 0 124206 4 0 0 20 0 1 0 123589984 269479936 46787 33554432000 4194304 6199737 140733682446944 140733682445880 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65791 46787 161 490 0 65292 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 263164

[startup+1302.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 6738
/proc/meminfo: memFree=29008092/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=263264 CPUtime=1302.09 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12365 0 0 0 130205 4 0 0 20 0 1 0 123589984 269582336 46812 33554432000 4194304 6199737 140733682446944 140733682445880 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65816 46812 161 490 0 65317 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 263264

[startup+1362.3 s]
/proc/loadavg: 2.37 2.25 2.19 3/177 6739
/proc/meminfo: memFree=29001956/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=263844 CPUtime=1362.08 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12493 0 0 0 136204 4 0 0 20 0 1 0 123589984 270176256 46940 33554432000 4194304 6199737 140733682446944 140733682445592 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 65961 46940 161 490 0 65462 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 263844

[startup+1422.3 s]
/proc/loadavg: 2.47 2.29 2.21 3/177 6786
/proc/meminfo: memFree=29124344/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=264364 CPUtime=1422.08 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12638 0 0 0 142204 4 0 0 20 0 1 0 123589984 270708736 47085 33554432000 4194304 6199737 140733682446944 140733682445640 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66091 47085 161 490 0 65592 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 264364

[startup+1482.3 s]
/proc/loadavg: 2.26 2.27 2.20 3/177 6787
/proc/meminfo: memFree=29083376/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265224 CPUtime=1482.06 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12852 0 0 0 148202 4 0 0 20 0 1 0 123589984 271589376 50365 33554432000 4194304 6199737 140733682446944 140733682445880 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66306 50365 161 490 0 65807 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 265224

[startup+1542.31 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 6789
/proc/meminfo: memFree=29065500/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265416 CPUtime=1542.05 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12917 0 0 0 154201 4 0 0 20 0 1 0 123589984 271785984 51452 33554432000 4194304 6199737 140733682446944 140733682446056 4213320 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66354 51452 161 490 0 65855 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 265416

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.20 3/177 6790
/proc/meminfo: memFree=29058916/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265460 CPUtime=1602.04 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12926 0 0 0 160200 4 0 0 20 0 1 0 123589984 271831040 51461 33554432000 4194304 6199737 140733682446944 140733682445880 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66365 51461 161 490 0 65866 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 265460

[startup+1662.3 s]
/proc/loadavg: 2.32 2.27 2.20 4/177 6791
/proc/meminfo: memFree=29055604/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265548 CPUtime=1662.03 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 12938 0 0 0 166199 4 0 0 20 0 1 0 123589984 271921152 51480 33554432000 4194304 6199737 140733682446944 140733682445880 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66387 51480 161 490 0 65888 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 265548

[startup+1722.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/177 6792
/proc/meminfo: memFree=29050220/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265780 CPUtime=1722.02 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 13010 0 0 0 172198 4 0 0 20 0 1 0 123589984 272158720 51551 33554432000 4194304 6199737 140733682446944 140733682445880 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66445 51551 161 490 0 65946 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 265780

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 6793
/proc/meminfo: memFree=29028368/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265884 CPUtime=1782.01 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 13035 0 0 0 178197 4 0 0 20 0 1 0 123589984 272265216 51576 33554432000 4194304 6199737 140733682446944 140733682445880 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66471 51576 161 490 0 65972 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 265884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/176 6793
/proc/meminfo: memFree=29028256/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265936 CPUtime=1800.01 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 13047 0 0 0 179997 4 0 0 20 0 1 0 123589984 272318464 51588 33554432000 4194304 6199737 140733682446944 140733682445880 4213456 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66484 51588 161 490 0 65985 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 265936

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6702 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/176 6793
/proc/meminfo: memFree=29028256/32872528 swapFree=16360/1798728
[pid=6702] ppid=6699 vsize=265936 CPUtime=1800.01 cores=1,3,5,7
/proc/6702/stat : 6702 (cdcl-cuttingpla) R 6699 6702 29677 0 -1 4202496 13047 0 0 0 179997 4 0 0 20 0 1 0 123589984 272318464 51588 33554432000 4194304 6199737 140733682446944 140733682445880 4213456 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6702/statm: 66484 51588 161 490 0 65985 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 265936

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.97
CPU system time (s): 0.050992
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 265936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.050992
maximum resident set size= 206352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 1984

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55831 second user time and 6.91895 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-08 22:09:28
IDJOB=4087271
IDBENCH=90110
IDSOLVER=2548
FILE ID=node123/4087271-1465416568
RUNJOBID= node123-1465387880-29694
PBS_JOBID= 19853801
Free space on /tmp= 71632 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087271-1465416568/watcher-4087271-1465416568 -o /tmp/evaluation-result-4087271-1465416568/solver-4087271-1465416568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465387880-29694 --watchdog 1960 --input HOME/instance-4087271-1465416568.opb ./cdcl-cuttingplanes-release

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=686149135

node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29244200 kB
Buffers:          180676 kB
Cached:           762532 kB
SwapCached:         1756 kB
Active:           377768 kB
Inactive:         703180 kB
Active(anon):     137408 kB
Inactive(anon):     2668 kB
Active(file):     240360 kB
Inactive(file):   700512 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              2820 kB
Writeback:             0 kB
AnonPages:       1935948 kB
Mapped:             7816 kB
Shmem:                 0 kB
Slab:             615160 kB
SReclaimable:      58940 kB
SUnreclaim:       556220 kB
KernelStack:        1424 kB
PageTables:         7780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2089536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1890304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node123 at 2016-06-08 22:39:29