Trace number 4087457

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 NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.1 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark323
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494728
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494728
Number of bits of the biggest sum of numbers19
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 OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.69/0.72	c * #variable= 10000 #constraint= 656900
2.09/2.10	c * #variable= 10000 #constraint= 656900
5.09/5.16	c S1->S2
5.09/5.16	c S1->S2
5.09/5.16	c S1->S2
5.09/5.16	c S1->S2
5.09/5.16	c #Conflicts:       1000 | #Learnt:       1003 | 0.020
5.09/5.16	c total clause space: 127.173MB
5.09/5.16	c total #watches: 1492888
15.99/16.07	c total #propagations: 222662 / total #impl: 7721859 (eff. 0.029)
15.99/16.07	c #Conflicts:       2000 | #Learnt:       2003 | 0.024
15.99/16.07	c total clause space: 206.656MB
15.99/16.07	c total #watches: 2574598
35.59/35.67	c total #propagations: 510557 / total #impl: 153393985 (eff. 0.003)
35.59/35.67	c #Conflicts:       3000 | #Learnt:       2009 | 0.016
35.59/35.67	c total clause space: 335.816MB
35.59/35.67	c total #watches: 4085996
71.37/71.42	c total #propagations: 884372 / total #impl: 550916049 (eff. 0.002)
71.37/71.42	c #Conflicts:       4000 | #Learnt:       3009 | 0.012
71.37/71.42	c total clause space: 545.701MB
71.37/71.42	c total #watches: 5527099
110.57/110.68	c total #propagations: 1303023 / total #impl: 1131441072 (eff. 0.001)
110.57/110.68	c GC COLLECT
110.57/110.68	c #Conflicts:       5000 | #Learnt:       2362 | 0.009
110.57/110.68	c total clause space: 545.701MB
110.57/110.68	c total #watches: 5347434
152.36/152.45	c total #propagations: 1637563 / total #impl: 1494288897 (eff. 0.001)
152.36/152.45	c #Conflicts:       6000 | #Learnt:       3362 | 0.008
152.36/152.45	c total clause space: 545.701MB
152.36/152.45	c total #watches: 6227904
201.35/201.45	c total #propagations: 1990026 / total #impl: 1753072574 (eff. 0.001)
201.35/201.45	c GC COLLECT
201.35/201.45	c #Conflicts:       7000 | #Learnt:       2241 | 0.007
201.35/201.45	c total clause space: 545.701MB
201.35/201.45	c total #watches: 4266650
221.14/221.24	c total #propagations: 2349143 / total #impl: 2035949997 (eff. 0.001)
221.14/221.24	c #Conflicts:       8000 | #Learnt:       3241 | 0.006
221.14/221.24	c total clause space: 545.701MB
221.14/221.24	c total #watches: 5179045
272.42/272.54	c total #propagations: 2504883 / total #impl: 2391347173 (eff. 0.001)
272.42/272.54	c #Conflicts:       9000 | #Learnt:       4241 | 0.005
272.42/272.54	c total clause space: 545.701MB
272.42/272.54	c total #watches: 6122012
340.81/340.90	c total #propagations: 2818355 / total #impl: 2998855257 (eff. 0.001)
340.81/340.90	c GC COLLECT
340.81/340.90	c #Conflicts:      10000 | #Learnt:       2723 | 0.005
340.81/340.90	c total clause space: 545.701MB
340.81/340.90	c total #watches: 5059296
391.00/391.18	c total #propagations: 3105916 / total #impl: 3579833059 (eff. 0.001)
391.00/391.18	c #Conflicts:      11000 | #Learnt:       3723 | 0.004
391.00/391.18	c total clause space: 545.701MB
391.00/391.18	c total #watches: 5862862
471.89/472.01	c total #propagations: 3352114 / total #impl: 4105007375 (eff. 0.001)
471.89/472.01	c #Conflicts:      12000 | #Learnt:       4723 | 0.004
471.89/472.01	c total clause space: 545.701MB
471.89/472.01	c total #watches: 6639684
596.37/596.57	c total #propagations: 3582593 / total #impl: 4597175278 (eff. 0.001)
596.37/596.57	c #Conflicts:      13000 | #Learnt:       5723 | 0.004
596.37/596.57	c total clause space: 886.764MB
596.37/596.57	c total #watches: 7475732
657.77/657.94	c total #propagations: 3905392 / total #impl: 5186162822 (eff. 0.001)
657.77/657.94	c GC COLLECT
657.77/657.94	c #Conflicts:      14000 | #Learnt:       3873 | 0.003
657.77/657.94	c total clause space: 886.764MB
657.77/657.94	c total #watches: 5246877
726.96/727.13	c total #propagations: 4183981 / total #impl: 5818978801 (eff. 0.001)
726.96/727.13	c #Conflicts:      15000 | #Learnt:       4873 | 0.003
726.96/727.13	c total clause space: 886.764MB
726.96/727.13	c total #watches: 6092279
812.84/813.04	c total #propagations: 4467064 / total #impl: 6569271497 (eff. 0.001)
812.84/813.04	c #Conflicts:      16000 | #Learnt:       5873 | 0.003
812.84/813.04	c total clause space: 886.764MB
812.84/813.04	c total #watches: 6835036
889.42/889.69	c total #propagations: 4762231 / total #impl: 7441057975 (eff. 0.001)
889.42/889.69	c GC COLLECT
889.42/889.69	c #Conflicts:      17000 | #Learnt:       3690 | 0.003
889.42/889.69	c total clause space: 886.764MB
889.42/889.69	c total #watches: 5558566
940.22/940.44	c total #propagations: 5068125 / total #impl: 8130240573 (eff. 0.001)
940.22/940.44	c #Conflicts:      18000 | #Learnt:       4690 | 0.003
940.22/940.44	c total clause space: 886.764MB
940.22/940.44	c total #watches: 6310842
971.12/971.33	c total #propagations: 5321925 / total #impl: 8774225734 (eff. 0.001)
971.12/971.33	c #Conflicts:      19000 | #Learnt:       5690 | 0.003
971.12/971.33	c total clause space: 886.764MB
971.12/971.33	c total #watches: 6932319
1052.40/1052.64	c total #propagations: 5411014 / total #impl: 9269073578 (eff. 0.001)
1052.40/1052.64	c #Conflicts:      20000 | #Learnt:       6690 | 0.003
1052.40/1052.64	c total clause space: 886.764MB
1052.40/1052.64	c total #watches: 7661377
1126.59/1126.81	c total #propagations: 5685444 / total #impl: 9796712013 (eff. 0.001)
1126.59/1126.81	c GC COLLECT
1126.59/1126.81	c #Conflicts:      21000 | #Learnt:       4197 | 0.002
1126.59/1126.81	c total clause space: 886.764MB
1126.59/1126.81	c total #watches: 5322479
1185.38/1185.60	c total #propagations: 6046649 / total #impl: 10075617170 (eff. 0.001)
1185.38/1185.60	c #Conflicts:      22000 | #Learnt:       5197 | 0.002
1185.38/1185.60	c total clause space: 886.764MB
1185.38/1185.60	c total #watches: 5781178
1252.87/1253.19	c total #propagations: 6425918 / total #impl: 10277878282 (eff. 0.001)
1252.87/1253.19	c #Conflicts:      23000 | #Learnt:       6197 | 0.002
1252.87/1253.19	c total clause space: 886.764MB
1252.87/1253.19	c total #watches: 6177311
1323.36/1323.62	c total #propagations: 6755372 / total #impl: 10534429175 (eff. 0.001)
1323.36/1323.62	c #Conflicts:      24000 | #Learnt:       7197 | 0.002
1323.36/1323.62	c total clause space: 886.764MB
1323.36/1323.62	c total #watches: 6999961
1387.45/1387.74	c total #propagations: 7060818 / total #impl: 10706093368 (eff. 0.001)
1387.45/1387.74	c GC COLLECT
1387.45/1387.74	c #Conflicts:      25000 | #Learnt:       4399 | 0.002
1387.45/1387.74	c total clause space: 886.764MB
1387.45/1387.74	c total #watches: 4975425
1424.04/1424.38	c total #propagations: 7402174 / total #impl: 10871386125 (eff. 0.001)
1424.04/1424.38	c #Conflicts:      26000 | #Learnt:       5399 | 0.002
1424.04/1424.38	c total clause space: 886.764MB
1424.04/1424.38	c total #watches: 5906489
1453.34/1453.62	c total #propagations: 7707677 / total #impl: 11110032360 (eff. 0.001)
1453.34/1453.62	c #Conflicts:      27000 | #Learnt:       6399 | 0.002
1453.34/1453.62	c total clause space: 886.764MB
1453.34/1453.62	c total #watches: 6889996
1513.93/1514.20	c total #propagations: 7906128 / total #impl: 11375563196 (eff. 0.001)
1513.93/1514.20	c #Conflicts:      28000 | #Learnt:       7399 | 0.002
1513.93/1514.20	c total clause space: 886.764MB
1513.93/1514.20	c total #watches: 7613233
1588.52/1588.89	c total #propagations: 8181946 / total #impl: 11750056187 (eff. 0.001)
1588.52/1588.89	c GC COLLECT
1588.52/1588.89	c #Conflicts:      29000 | #Learnt:       4304 | 0.002
1588.52/1588.89	c total clause space: 886.764MB
1588.52/1588.89	c total #watches: 5902185
1633.51/1633.84	c total #propagations: 8490817 / total #impl: 12124697487 (eff. 0.001)
1633.51/1633.84	c #Conflicts:      30000 | #Learnt:       5304 | 0.002
1633.51/1633.84	c total clause space: 886.764MB
1633.51/1633.84	c total #watches: 6617110
1695.40/1695.74	c total #propagations: 8736974 / total #impl: 12486795779 (eff. 0.001)
1695.40/1695.74	c #Conflicts:      31000 | #Learnt:       6304 | 0.002
1695.40/1695.74	c total clause space: 886.764MB
1695.40/1695.74	c total #watches: 7512793
1784.09/1784.41	c total #propagations: 9022775 / total #impl: 13071948239 (eff. 0.001)
1784.09/1784.41	c #Conflicts:      32000 | #Learnt:       7304 | 0.002
1784.09/1784.41	c total clause space: 886.764MB
1784.09/1784.41	c total #watches: 8176804

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-4087457-1465393271/watcher-4087457-1465393271 -o /tmp/evaluation-result-4087457-1465393271/solver-4087457-1465393271 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1465387868-27983 --watchdog 1960 --input HOME/instance-4087457-1465393271.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=28426
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.34 2.23 2.19 2/170 28429
/proc/meminfo: memFree=29724412/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 259 0 0 0 0 0 0 0 20 0 1 0 121260623 57319424 7805 33554432000 4194304 6211289 140734532620384 140733770678808 4206544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 13994 7805 98 493 0 13491 0

[startup+0.100157 s]
/proc/loadavg: 2.34 2.23 2.19 2/170 28429
/proc/meminfo: memFree=29724412/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=59556 CPUtime=0.09 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 1240 0 0 0 9 0 0 0 20 0 1 0 121260623 60985344 11667 33554432000 4194304 6211289 140734532620384 140733770678808 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 14889 11667 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.200363 s]
/proc/loadavg: 2.34 2.23 2.19 2/170 28429
/proc/meminfo: memFree=29724412/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=62624 CPUtime=0.19 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 1495 0 0 0 19 0 0 0 20 0 1 0 121260623 64126976 12177 33554432000 4194304 6211289 140734532620384 140733770678808 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 15656 12177 121 493 0 15153 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 62624

[startup+0.300334 s]
/proc/loadavg: 2.34 2.23 2.19 2/170 28429
/proc/meminfo: memFree=29724412/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=68756 CPUtime=0.28 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 2004 0 0 0 28 0 0 0 20 0 1 0 121260623 70406144 13196 33554432000 4194304 6211289 140734532620384 140733770678808 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 17189 13196 121 493 0 16686 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68756

[startup+0.700248 s]
/proc/loadavg: 2.34 2.23 2.19 2/170 28429
/proc/meminfo: memFree=29724412/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=81020 CPUtime=0.69 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 2509 0 0 0 68 1 0 0 20 0 1 0 121260623 82964480 15233 33554432000 4194304 6211289 140734532620384 140734532619224 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 20255 15233 121 493 0 19752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81020

[startup+1.50027 s]
/proc/loadavg: 2.34 2.23 2.19 3/173 28434
/proc/meminfo: memFree=29576548/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=201580 CPUtime=1.49 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 6306 0 0 0 146 3 0 0 20 0 1 0 121260623 206417920 39470 33554432000 4194304 6211289 140734532620384 140734532618264 5291523 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 50395 39470 144 493 0 49892 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201580

[startup+3.10026 s]
/proc/loadavg: 2.32 2.22 2.19 3/177 28445
/proc/meminfo: memFree=29391644/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=351432 CPUtime=3.09 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 10018 0 0 0 303 6 0 0 20 0 1 0 121260623 359866368 72700 33554432000 4194304 6211289 140734532620384 140734532617800 5291523 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 87858 72700 144 493 0 87355 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351432

[startup+6.30022 s]
/proc/loadavg: 2.32 2.22 2.19 3/177 28445
/proc/meminfo: memFree=28801104/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=564296 CPUtime=6.29 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 10906 0 0 0 619 10 0 0 20 0 1 0 121260623 577839104 114932 33554432000 4194304 6211289 140734532620384 140734532618728 4201964 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 141074 114932 214 493 0 140571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 564296

[startup+12.7003 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 28445
/proc/meminfo: memFree=28731832/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=564296 CPUtime=12.69 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 10920 0 0 0 1259 10 0 0 20 0 1 0 121260623 577839104 122100 33554432000 4194304 6211289 140734532620384 140734532618616 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 141074 122100 214 493 0 140571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 564296

[startup+25.5004 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 28445
/proc/meminfo: memFree=28628116/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=703356 CPUtime=25.48 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 12763 0 0 0 2537 11 0 0 20 0 1 0 121260623 720236544 135158 33554432000 4194304 6211289 140734532620384 140734532618616 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 175839 135158 219 493 0 175336 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 703356

[startup+51.1004 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 28445
/proc/meminfo: memFree=28416044/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=731920 CPUtime=51.08 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 19989 0 0 0 5094 14 0 0 20 0 1 0 121260623 749486080 162814 33554432000 4194304 6211289 140734532620384 140734532618296 4202048 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 182980 162814 219 493 0 182477 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 731920

[startup+102.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/177 28446
/proc/meminfo: memFree=28260392/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=952848 CPUtime=102.28 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 22605 0 0 0 10211 17 0 0 20 0 1 0 121260623 975716352 183919 33554432000 4194304 6211289 140734532620384 140734532618296 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 238212 183919 219 493 0 237709 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 952848

[startup+162.3 s]
/proc/loadavg: 2.27 2.22 2.18 4/177 28448
/proc/meminfo: memFree=28199320/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=953348 CPUtime=162.26 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 22822 0 0 0 16209 17 0 0 20 0 1 0 121260623 976228352 184138 33554432000 4194304 6211289 140734532620384 140734532618728 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 238337 184138 219 493 0 237834 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 953348

[startup+222.308 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 28449
/proc/meminfo: memFree=28162880/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=956748 CPUtime=222.24 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 23768 0 0 0 22207 17 0 0 20 0 1 0 121260623 979709952 190643 33554432000 4194304 6211289 140734532620384 140734532618728 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 239187 190643 219 493 0 238684 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 956748

[startup+282.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/177 28450
/proc/meminfo: memFree=28099108/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=958124 CPUtime=282.22 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 24183 0 0 0 28205 17 0 0 20 0 1 0 121260623 981118976 199732 33554432000 4194304 6211289 140734532620384 140734532618376 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 239531 199732 219 493 0 239028 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 958124

[startup+342.3 s]
/proc/loadavg: 2.26 2.23 2.19 4/177 28451
/proc/meminfo: memFree=28028704/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=962440 CPUtime=342.21 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 25262 0 0 0 34202 19 0 0 20 0 1 0 121260623 985538560 212555 33554432000 4194304 6211289 140734532620384 140734532618728 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 240610 212555 219 493 0 240107 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 962440

[startup+402.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 28452
/proc/meminfo: memFree=28027424/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=962632 CPUtime=402.2 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 25332 0 0 0 40201 19 0 0 20 0 1 0 121260623 985735168 212625 33554432000 4194304 6211289 140734532620384 140734532618728 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 240658 212625 219 493 0 240155 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 962632

[startup+462.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/177 28454
/proc/meminfo: memFree=27934648/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=962872 CPUtime=462.19 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 25425 0 0 0 46200 19 0 0 20 0 1 0 121260623 985980928 223449 33554432000 4194304 6211289 140734532620384 140734532618296 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 240718 223449 219 493 0 240215 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 962872

[startup+522.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 28455
/proc/meminfo: memFree=27899500/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=963036 CPUtime=522.18 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 25490 0 0 0 52198 20 0 0 20 0 1 0 121260623 986148864 232201 33554432000 4194304 6211289 140734532620384 140734532618728 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 240759 232201 219 493 0 240256 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 963036

[startup+582.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/178 28459
/proc/meminfo: memFree=27826868/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1320296 CPUtime=582.17 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 27512 0 0 0 58196 21 0 0 20 0 1 0 121260623 1351983104 241436 33554432000 4194304 6211289 140734532620384 140734532618376 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 330074 241436 219 493 0 329571 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1320296


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


[startup+882.307 s]
/proc/loadavg: 2.16 2.19 2.18 4/177 28465
/proc/meminfo: memFree=27612876/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1327364 CPUtime=882.13 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 29730 0 0 0 88191 22 0 0 20 0 1 0 121260623 1359220736 260741 33554432000 4194304 6211289 140734532620384 140734532618376 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 331841 260741 219 493 0 331338 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 1327364

[startup+942.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 28466
/proc/meminfo: memFree=27612380/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1327496 CPUtime=942.11 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 29744 0 0 0 94189 22 0 0 20 0 1 0 121260623 1359355904 260755 33554432000 4194304 6211289 140734532620384 140734532618728 4201558 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 331874 260755 219 493 0 331371 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 1327496

[startup+1002.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 28467
/proc/meminfo: memFree=27606740/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1333300 CPUtime=1002.1 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 31138 0 0 0 100188 22 0 0 20 0 1 0 121260623 1365299200 262147 33554432000 4194304 6211289 140734532620384 140734532618376 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 333325 262147 219 493 0 332822 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1333300

[startup+1062.3 s]
/proc/loadavg: 2.27 2.20 2.18 4/176 28468
/proc/meminfo: memFree=27584660/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1342364 CPUtime=1062.1 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 33305 0 0 0 106187 23 0 0 20 0 1 0 121260623 1374580736 264314 33554432000 4194304 6211289 140734532620384 140734532618376 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 335591 264314 219 493 0 335088 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1342364

[startup+1122.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 28470
/proc/meminfo: memFree=27556112/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1344764 CPUtime=1122.09 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 33931 0 0 0 112186 23 0 0 20 0 1 0 121260623 1377038336 266969 33554432000 4194304 6211289 140734532620384 140734532618376 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 336191 266969 219 493 0 335688 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1344764

[startup+1182.3 s]
/proc/loadavg: 2.19 2.18 2.18 4/178 28474
/proc/meminfo: memFree=27555880/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1344764 CPUtime=1182.08 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 33931 0 0 0 118185 23 0 0 20 0 1 0 121260623 1377038336 266969 33554432000 4194304 6211289 140734532620384 140734532618728 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 336191 266969 219 493 0 335688 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1344764

[startup+1242.3 s]
/proc/loadavg: 2.26 2.20 2.18 4/178 28498
/proc/meminfo: memFree=27555840/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1344764 CPUtime=1242.07 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 33944 0 0 0 124184 23 0 0 20 0 1 0 121260623 1377038336 266982 33554432000 4194304 6211289 140734532620384 140734532618728 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 336191 266982 219 493 0 335688 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1344764

[startup+1302.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 28499
/proc/meminfo: memFree=27553876/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1345088 CPUtime=1302.06 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 34078 0 0 0 130183 23 0 0 20 0 1 0 121260623 1377370112 267116 33554432000 4194304 6211289 140734532620384 140734532618296 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 336272 267116 219 493 0 335769 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1345088

[startup+1362.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 28500
/proc/meminfo: memFree=27551924/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1345088 CPUtime=1362.05 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 34079 0 0 0 136182 23 0 0 20 0 1 0 121260623 1377370112 267117 33554432000 4194304 6211289 140734532620384 140734532618728 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 336272 267117 219 493 0 335769 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1345088

[startup+1422.3 s]
/proc/loadavg: 2.17 2.18 2.18 4/177 28502
/proc/meminfo: memFree=27552036/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1345088 CPUtime=1422.05 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 34102 0 0 0 142182 23 0 0 20 0 1 0 121260623 1377370112 267140 33554432000 4194304 6211289 140734532620384 140734532618728 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 336272 267140 219 493 0 335769 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1345088

[startup+1482.3 s]
/proc/loadavg: 2.32 2.22 2.19 3/177 28503
/proc/meminfo: memFree=27548788/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1348060 CPUtime=1482.03 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 34841 0 0 0 148180 23 0 0 20 0 1 0 121260623 1380413440 267879 33554432000 4194304 6211289 140734532620384 140734532618376 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 337015 267879 219 493 0 336512 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1348060

[startup+1542.31 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 28504
/proc/meminfo: memFree=27543080/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1353244 CPUtime=1542.03 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 36227 0 0 0 154179 24 0 0 20 0 1 0 121260623 1385721856 269265 33554432000 4194304 6211289 140734532620384 140734532618376 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 338311 269265 219 493 0 337808 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1353244

[startup+1602.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 28505
/proc/meminfo: memFree=27529120/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1356496 CPUtime=1602.01 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 37071 0 0 0 160177 24 0 0 20 0 1 0 121260623 1389051904 272664 33554432000 4194304 6211289 140734532620384 140734532618728 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 339124 272664 219 493 0 338621 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1356496

[startup+1662.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 28506
/proc/meminfo: memFree=27525028/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1356496 CPUtime=1662 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 37106 0 0 0 166176 24 0 0 20 0 1 0 121260623 1389051904 272699 33554432000 4194304 6211289 140734532620384 140734532618728 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 339124 272699 219 493 0 338621 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1356496

[startup+1722.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 28508
/proc/meminfo: memFree=27490524/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1357776 CPUtime=1721.99 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 37406 0 0 0 172175 24 0 0 20 0 1 0 121260623 1390362624 272999 33554432000 4194304 6211289 140734532620384 140734532618296 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 339444 272999 219 493 0 338941 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1357776

[startup+1782.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/178 28512
/proc/meminfo: memFree=27472144/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1360976 CPUtime=1781.99 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 38244 0 0 0 178174 25 0 0 20 0 1 0 121260623 1393639424 277414 33554432000 4194304 6211289 140734532620384 140734532618376 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 340244 277414 219 493 0 339741 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1360976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 28512
/proc/meminfo: memFree=27454656/32872528 swapFree=16700/1645768
[pid=28429] ppid=28426 vsize=1361904 CPUtime=1800.08 cores=1,3,5,7
/proc/28429/stat : 28429 (cdcl-cuttingpla) R 28426 28429 27966 0 -1 4202496 38538 0 0 0 179983 25 0 0 20 0 1 0 121260623 1394589696 282307 33554432000 4194304 6211289 140734532620384 140734532618376 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28429/statm: 340476 282307 219 493 0 339973 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1361904

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 28429 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.26296
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1361904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.26296
maximum resident set size= 1129228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38538
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= 61
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.71828 second user time and 7.2469 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-08 15:41:12
IDJOB=4087457
IDBENCH=1968
IDSOLVER=2549
FILE ID=node124/4087457-1465393271
RUNJOBID= node124-1465387868-27983
PBS_JOBID= 19853797
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087457-1465393271/watcher-4087457-1465393271 -o /tmp/evaluation-result-4087457-1465393271/solver-4087457-1465393271 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1465387868-27983 --watchdog 1960 --input HOME/instance-4087457-1465393271.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=1251781825

node124.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		: 2666.707
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	: 5333.41
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		: 2666.707
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		: 2666.707
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.55
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		: 2666.707
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		: 2666.707
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		: 2666.707
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.55
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		: 2666.707
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		: 2666.707
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:        29725056 kB
Buffers:          151800 kB
Cached:           603004 kB
SwapCached:          752 kB
Active:           283404 kB
Inactive:         475472 kB
Active(anon):       4764 kB
Inactive(anon):     1568 kB
Active(file):     278640 kB
Inactive(file):   473904 kB
Unevictable:     1645768 kB
Mlocked:           16700 kB
SwapTotal:      67108856 kB
SwapFree:       67097732 kB
Dirty:             19048 kB
Writeback:             0 kB
AnonPages:       1648460 kB
Mapped:             7136 kB
Shmem:                 0 kB
Slab:             608944 kB
SReclaimable:      52804 kB
SUnreclaim:       556140 kB
KernelStack:        1416 kB
PageTables:         6872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1743476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1632256 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= 71692 MiB
End job on node124 at 2016-06-08 16:11:12