Trace number 4101655

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.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
MD5SUMb75dadb532de8158b35ca12cd6b47e2f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark295446
Best CPU time to get the best result obtained on this benchmark1800.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 284209
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527653
Number of bits of the biggest sum of numbers20
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.00/0.08	c * #variable= 6651 #constraint= 721
0.09/0.16	c * #variable= 6651 #constraint= 721
2.89/2.99	c S1->S2
2.89/2.99	c S2->S1
2.89/2.99	c #Conflicts:       1000 | #Learnt:        948 | 0.023
2.89/2.99	c total clause space: 11.2235MB
2.89/2.99	c total #watches: 20361
3.99/4.00	c total #propagations: 30477 / total #impl: 83499 (eff. 0.365)
3.99/4.00	c #Conflicts:       2000 | #Learnt:       1829 | 0.015
3.99/4.00	c total clause space: 11.2235MB
3.99/4.00	c total #watches: 22683
4.59/4.60	c total #propagations: 47587 / total #impl: 158619 (eff. 0.300)
4.59/4.60	c #Conflicts:       3000 | #Learnt:       1891 | 0.010
4.59/4.60	c total clause space: 11.2235MB
4.59/4.60	c total #watches: 22530
5.09/5.12	c total #propagations: 64990 / total #impl: 220972 (eff. 0.294)
5.09/5.12	c #Conflicts:       4000 | #Learnt:       2881 | 0.008
5.09/5.12	c total clause space: 11.2235MB
5.09/5.12	c total #watches: 24669
5.49/5.53	c total #propagations: 84611 / total #impl: 294039 (eff. 0.288)
5.49/5.53	c GC COLLECT
5.49/5.53	c #Conflicts:       5000 | #Learnt:       2407 | 0.008
5.49/5.53	c total clause space: 18.2382MB
5.49/5.53	c total #watches: 21751
6.89/6.98	c total #propagations: 104112 / total #impl: 369390 (eff. 0.282)
6.89/6.98	c #Conflicts:       6000 | #Learnt:       3369 | 0.007
6.89/6.98	c total clause space: 18.2382MB
6.89/6.98	c total #watches: 24240
11.49/11.52	c total #propagations: 129854 / total #impl: 466282 (eff. 0.278)
11.49/11.52	c S2->S1
11.49/11.52	c S1->S2
11.49/11.52	c GC COLLECT
11.49/11.52	c #Conflicts:       7000 | #Learnt:        152 | 0.188
11.49/11.52	c total clause space: 18.2382MB
11.49/11.52	c total #watches: 122239
29.89/29.95	c total #propagations: 355294 / total #impl: 3239960 (eff. 0.110)
29.89/29.95	c #Conflicts:       8000 | #Learnt:       1152 | 0.193
29.89/29.95	c total clause space: 48.1602MB
29.89/29.95	c total #watches: 814703
97.58/97.63	c total #propagations: 1514183 / total #impl: 55846407 (eff. 0.027)
97.58/97.63	c #Conflicts:       9000 | #Learnt:       2152 | 0.206
97.58/97.63	c total clause space: 127.173MB
97.58/97.63	c total #watches: 1977097
186.76/186.83	c total #propagations: 2798222 / total #impl: 181427375 (eff. 0.015)
186.76/186.83	c GC COLLECT
186.76/186.83	c #Conflicts:      10000 | #Learnt:       1684 | 0.425
186.76/186.83	c total clause space: 127.173MB
186.76/186.83	c total #watches: 2473710
302.74/302.82	c total #propagations: 3499344 / total #impl: 316855921 (eff. 0.011)
302.74/302.82	c #Conflicts:      11000 | #Learnt:       2684 | 0.391
302.74/302.82	c total clause space: 206.656MB
302.74/302.82	c total #watches: 4063798
664.19/664.36	c total #propagations: 4320542 / total #impl: 500942268 (eff. 0.009)
664.19/664.36	c #Conflicts:      12000 | #Learnt:       3684 | 0.596
664.19/664.36	c total clause space: 206.656MB
664.19/664.36	c total #watches: 4900047
959.64/959.85	c total #propagations: 5087656 / total #impl: 762733166 (eff. 0.007)
959.64/959.85	c #Conflicts:      13000 | #Learnt:       4684 | 0.558
959.64/959.85	c total clause space: 335.816MB
959.64/959.85	c total #watches: 6495348
1088.01/1088.23	c total #propagations: 5877629 / total #impl: 930959415 (eff. 0.006)
1088.01/1088.23	c GC COLLECT
1088.01/1088.23	c #Conflicts:      14000 | #Learnt:       3348 | 0.615
1088.01/1088.23	c total clause space: 335.816MB
1088.01/1088.23	c total #watches: 5332452
1404.15/1404.41	c total #propagations: 6294689 / total #impl: 1051289849 (eff. 0.006)
1404.15/1404.41	c #Conflicts:      15000 | #Learnt:       4348 | 0.588
1404.15/1404.41	c total clause space: 335.816MB
1404.15/1404.41	c total #watches: 7022103
1635.42/1635.74	c total #propagations: 7021390 / total #impl: 1420328619 (eff. 0.005)
1635.42/1635.74	c #Conflicts:      16000 | #Learnt:       5348 | 0.551
1635.42/1635.74	c total clause space: 545.701MB
1635.42/1635.74	c total #watches: 8875036

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-4101655-1466256588/watcher-4101655-1466256588 -o /tmp/evaluation-result-4101655-1466256588/solver-4101655-1466256588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4101655-1466256588.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=18575
running on 4 cores: 0,2,4,6

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.36 2.24 2.19 4/176 18578
/proc/meminfo: memFree=30140128/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 27704494 57319424 7292 33554432000 4194304 6211289 140735181626800 140737102707064 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 13994 7292 98 493 0 13491 0

[startup+0.100168 s]
/proc/loadavg: 2.36 2.24 2.19 4/176 18578
/proc/meminfo: memFree=30140128/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=65012 CPUtime=0.09 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 2191 0 0 0 9 0 0 0 20 0 1 0 27704494 66572288 13350 33554432000 4194304 6211289 140735181626800 140737102707064 4228081 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 16253 13350 144 493 0 15750 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65012

[startup+0.200351 s]
/proc/loadavg: 2.36 2.24 2.19 4/176 18578
/proc/meminfo: memFree=30140128/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=72316 CPUtime=0.19 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 3190 0 0 0 18 1 0 0 20 0 1 0 27704494 74051584 15896 33554432000 4194304 6211289 140735181626800 140737102707064 4367149 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 18079 15896 144 493 0 17576 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72316

[startup+0.30033 s]
/proc/loadavg: 2.36 2.24 2.19 4/176 18578
/proc/meminfo: memFree=30140128/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=75036 CPUtime=0.29 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 3533 0 0 0 28 1 0 0 20 0 1 0 27704494 76836864 16239 33554432000 4194304 6211289 140735181626800 140737102707064 4240816 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 18759 16239 150 493 0 18256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75036

[startup+0.700241 s]
/proc/loadavg: 2.36 2.24 2.19 4/176 18578
/proc/meminfo: memFree=30140128/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=79456 CPUtime=0.69 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 3737 0 0 0 68 1 0 0 20 0 1 0 27704494 81362944 16388 33554432000 4194304 6211289 140735181626800 140737102707064 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 19864 16388 204 493 0 19361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79456

[startup+1.50023 s]
/proc/loadavg: 2.33 2.23 2.19 4/177 18579
/proc/meminfo: memFree=30074516/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=79456 CPUtime=1.49 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 3896 0 0 0 148 1 0 0 20 0 1 0 27704494 81362944 16485 33554432000 4194304 6211289 140735181626800 140735181625032 4202003 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 19864 16485 204 493 0 19361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79456

[startup+3.10023 s]
/proc/loadavg: 2.33 2.23 2.19 4/177 18579
/proc/meminfo: memFree=30074392/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=79456 CPUtime=3.09 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 4015 0 0 0 308 1 0 0 20 0 1 0 27704494 81362944 16562 33554432000 4194304 6211289 140735181626800 140735181625032 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 19864 16562 214 493 0 19361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79456

[startup+6.30023 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 18579
/proc/meminfo: memFree=30070244/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=86636 CPUtime=6.29 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 4684 0 0 0 628 1 0 0 20 0 1 0 27704494 88715264 17471 33554432000 4194304 6211289 140735181626800 140735181625144 4241730 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 21659 17471 219 493 0 21156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86636

[startup+12.7002 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 18579
/proc/meminfo: memFree=30064372/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=88032 CPUtime=12.68 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 5192 0 0 0 1267 1 0 0 20 0 1 0 27704494 90144768 19453 33554432000 4194304 6211289 140735181626800 140735181624792 4244821 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 22008 19453 219 493 0 21505 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88032

[startup+25.5003 s]
/proc/loadavg: 2.24 2.22 2.18 3/178 18582
/proc/meminfo: memFree=30039748/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=123684 CPUtime=25.48 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 6689 0 0 0 2546 2 0 0 20 0 1 0 27704494 126652416 24970 33554432000 4194304 6211289 140735181626800 140735181624712 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 30921 24970 219 493 0 30418 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 123684

[startup+51.1003 s]
/proc/loadavg: 2.21 2.21 2.18 4/178 18583
/proc/meminfo: memFree=30006208/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=162916 CPUtime=51.08 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 8993 0 0 0 5105 3 0 0 20 0 1 0 27704494 166825984 32347 33554432000 4194304 6211289 140735181626800 140735181624712 4202003 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 40729 32347 219 493 0 40226 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 162916

[startup+102.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 18584
/proc/meminfo: memFree=29961416/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=223400 CPUtime=102.28 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 11703 0 0 0 10223 5 0 0 20 0 1 0 27704494 228761600 43217 33554432000 4194304 6211289 140735181626800 140735181624712 4236404 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 55850 43217 219 493 0 55347 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 223400

[startup+162.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/177 18585
/proc/meminfo: memFree=29928596/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=230156 CPUtime=162.27 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 13351 0 0 0 16221 6 0 0 20 0 1 0 27704494 235679744 49975 33554432000 4194304 6211289 140735181626800 140735181624664 4209503 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 57539 49975 219 493 0 57036 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 230156

[startup+222.307 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 18586
/proc/meminfo: memFree=29872584/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=243380 CPUtime=222.26 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 17964 0 0 0 22219 7 0 0 20 0 1 0 27704494 249221120 57593 33554432000 4194304 6211289 140735181626800 140735181624712 4209484 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 60845 57593 219 493 0 60342 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 243380

[startup+282.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/177 18587
/proc/meminfo: memFree=29837156/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=330780 CPUtime=282.24 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 19643 0 0 0 28217 7 0 0 20 0 1 0 27704494 338718720 65372 33554432000 4194304 6211289 140735181626800 140735181624712 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 82695 65372 219 493 0 82192 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 330780

[startup+342.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 18589
/proc/meminfo: memFree=29808300/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=336344 CPUtime=342.24 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 20992 0 0 0 34216 8 0 0 20 0 1 0 27704494 344416256 70809 33554432000 4194304 6211289 140735181626800 140735181624792 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 84086 70809 219 493 0 83583 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 336344

[startup+402.3 s]
/proc/loadavg: 2.22 2.18 2.17 3/177 18590
/proc/meminfo: memFree=29788552/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=343600 CPUtime=402.22 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 22673 0 0 0 40214 8 0 0 20 0 1 0 27704494 351846400 75045 33554432000 4194304 6211289 140735181626800 140735181624792 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 85900 75045 219 493 0 85397 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 343600

[startup+462.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 18591
/proc/meminfo: memFree=29774648/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=344356 CPUtime=462.22 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 22859 0 0 0 46213 9 0 0 20 0 1 0 27704494 352620544 77275 33554432000 4194304 6211289 140735181626800 140735181624712 4241570 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 86089 77275 219 493 0 85586 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 344356

[startup+522.3 s]
/proc/loadavg: 2.11 2.15 2.16 3/177 18592
/proc/meminfo: memFree=29765336/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=344836 CPUtime=522.21 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 23059 0 0 0 52212 9 0 0 20 0 1 0 27704494 353112064 77986 33554432000 4194304 6211289 140735181626800 140735181624664 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 86209 77986 219 493 0 85706 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 344836

[startup+582.3 s]
/proc/loadavg: 2.15 2.15 2.16 3/177 18593
/proc/meminfo: memFree=29760364/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=345600 CPUtime=582.2 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 23250 0 0 0 58211 9 0 0 20 0 1 0 27704494 353894400 79199 33554432000 4194304 6211289 140735181626800 140735181624792 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 86400 79199 219 493 0 85897 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 345600


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


[startup+882.307 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 18602
/proc/meminfo: memFree=29672432/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=489220 CPUtime=882.16 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 26252 0 0 0 88205 11 0 0 20 0 1 0 27704494 500961280 96967 33554432000 4194304 6211289 140735181626800 140735181624712 4209484 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 122305 96967 219 493 0 121802 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 489220

[startup+942.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 18603
/proc/meminfo: memFree=29658228/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=492844 CPUtime=942.14 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 27092 0 0 0 94203 11 0 0 20 0 1 0 27704494 504672256 99852 33554432000 4194304 6211289 140735181626800 140735181624712 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 123211 99852 219 493 0 122708 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 492844

[startup+1002.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 18605
/proc/meminfo: memFree=29643236/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=495204 CPUtime=1002.13 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 28610 0 0 0 100201 12 0 0 20 0 1 0 27704494 507088896 103588 33554432000 4194304 6211289 140735181626800 140735181624712 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 123801 103588 219 493 0 123298 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 495204

[startup+1062.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/177 18606
/proc/meminfo: memFree=29634516/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=496388 CPUtime=1062.12 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 29032 0 0 0 106199 13 0 0 20 0 1 0 27704494 508301312 103991 33554432000 4194304 6211289 140735181626800 140735181624712 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 124097 103991 219 493 0 123594 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 496388

[startup+1122.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/177 18607
/proc/meminfo: memFree=29631768/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=498716 CPUtime=1122.1 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 29618 0 0 0 112197 13 0 0 20 0 1 0 27704494 510685184 104560 33554432000 4194304 6211289 140735181626800 140735181624792 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 124679 104560 219 493 0 124176 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 498716

[startup+1182.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 18608
/proc/meminfo: memFree=29625560/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=500736 CPUtime=1182.09 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 30122 0 0 0 118196 13 0 0 20 0 1 0 27704494 512753664 105064 33554432000 4194304 6211289 140735181626800 140735181624792 4209507 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 125184 105064 219 493 0 124681 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 500736

[startup+1242.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/178 18612
/proc/meminfo: memFree=29622668/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=502144 CPUtime=1242.08 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 30457 0 0 0 124195 13 0 0 20 0 1 0 27704494 514195456 105700 33554432000 4194304 6211289 140735181626800 140735181624792 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 125536 105700 219 493 0 125033 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 502144

[startup+1302.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/177 18614
/proc/meminfo: memFree=29607400/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=504604 CPUtime=1302.07 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 31056 0 0 0 130194 13 0 0 20 0 1 0 27704494 516714496 109365 33554432000 4194304 6211289 140735181626800 140735181624792 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 126151 109365 219 493 0 125648 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 504604

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/177 18615
/proc/meminfo: memFree=29593368/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=506816 CPUtime=1362.06 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 31587 0 0 0 136193 13 0 0 20 0 1 0 27704494 518979584 111940 33554432000 4194304 6211289 140735181626800 140735181624712 4209507 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 126704 111940 219 493 0 126201 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 506816

[startup+1422.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/177 18616
/proc/meminfo: memFree=29567736/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=514304 CPUtime=1422.06 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 33287 0 0 0 142192 14 0 0 20 0 1 0 27704494 526647296 117728 33554432000 4194304 6211289 140735181626800 140735181624792 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 128576 117728 219 493 0 128073 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 514304

[startup+1482.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 18617
/proc/meminfo: memFree=29555268/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=516004 CPUtime=1482.04 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 33738 0 0 0 148190 14 0 0 20 0 1 0 27704494 528388096 120734 33554432000 4194304 6211289 140735181626800 140735181624792 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 129001 120734 219 493 0 128498 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 516004

[startup+1542.31 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 18618
/proc/meminfo: memFree=29535716/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=520680 CPUtime=1542.04 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 34836 0 0 0 154189 15 0 0 20 0 1 0 27704494 533176320 125409 33554432000 4194304 6211289 140735181626800 140735181624712 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 130170 125409 219 493 0 129667 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 520680

[startup+1602.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/177 18620
/proc/meminfo: memFree=29504880/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=740672 CPUtime=1602.02 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 36327 0 0 0 160187 15 0 0 20 0 1 0 27704494 758448128 131975 33554432000 4194304 6211289 140735181626800 140735181624792 4201991 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 185168 131975 219 493 0 184665 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 740672

[startup+1662.3 s]
/proc/loadavg: 2.35 2.27 2.20 4/177 18666
/proc/meminfo: memFree=29549496/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=748520 CPUtime=1662.01 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 38008 0 0 0 166186 15 0 0 20 0 1 0 27704494 766484480 137233 33554432000 4194304 6211289 140735181626800 140735181624664 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 187130 137233 219 493 0 186627 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 748520

[startup+1722.3 s]
/proc/loadavg: 2.40 2.29 2.21 3/177 18667
/proc/meminfo: memFree=29510296/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=749384 CPUtime=1722 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 38207 0 0 0 172185 15 0 0 20 0 1 0 27704494 767369216 139476 33554432000 4194304 6211289 140735181626800 140735181624792 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 187346 139476 219 493 0 186843 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 749384

[startup+1782.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 18668
/proc/meminfo: memFree=29507624/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=749544 CPUtime=1781.99 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 38283 0 0 0 178184 15 0 0 20 0 1 0 27704494 767533056 140063 33554432000 4194304 6211289 140735181626800 140735181624792 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 187386 140063 219 493 0 186883 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 749544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.40 2.30 2.21 4/177 18669
/proc/meminfo: memFree=29503216/32872528 swapFree=1402776/1580604
[pid=18578] ppid=18575 vsize=749544 CPUtime=1800.09 cores=0,2,4,6
/proc/18578/stat : 18578 (cdcl-cuttingpla) R 18575 18578 16728 0 -1 4202496 38288 0 0 0 179994 15 0 0 20 0 1 0 27704494 767533056 140068 33554432000 4194304 6211289 140735181626800 140735181624792 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/18578/statm: 187386 140068 219 493 0 186883 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 749544

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 18578 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.11
CPU user time (s): 1799.94
CPU system time (s): 0.163975
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 749544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.163975
maximum resident set size= 560272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38288
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= 49
involuntary context switches= 1989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70828 second user time and 6.75197 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 15:29:48
IDJOB=4101655
IDBENCH=1777
IDSOLVER=2549
FILE ID=node139/4101655-1466256588
RUNJOBID= node139-1466240178-16744
PBS_JOBID= 19918187
Free space on /tmp= 71592 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101655-1466256588/watcher-4101655-1466256588 -o /tmp/evaluation-result-4101655-1466256588/solver-4101655-1466256588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466240178-16744 --watchdog 1960 --input HOME/instance-4101655-1466256588.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= b75dadb532de8158b35ca12cd6b47e2f
RANDOM SEED=1641117540

node139.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.500
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.00
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.500
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.500
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.500
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.56
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.500
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.500
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.56
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.500
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.500
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:        30140772 kB
Buffers:          149188 kB
Cached:           145536 kB
SwapCached:         1900 kB
Active:           191224 kB
Inactive:         219580 kB
Active(anon):     116984 kB
Inactive(anon):     1468 kB
Active(file):      74240 kB
Inactive(file):   218112 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099480 kB
Dirty:              4344 kB
Writeback:             0 kB
AnonPages:       1697692 kB
Mapped:             8016 kB
Shmem:                 0 kB
Slab:             604780 kB
SReclaimable:      48904 kB
SUnreclaim:       555876 kB
KernelStack:        1480 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1823256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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= 71588 MiB
End job on node139 at 2016-06-18 15:59:48