Trace number 4101943

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.03 1800.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb
MD5SUM3de80c0560622133ffefa60f8e73d039
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3616
Total number of constraints125707
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)44
Number of constraints which are nor clauses,nor cardinality constraints125663
Minimum length of a constraint5
Maximum length of a constraint189
Number of terms in the objective function 48
Biggest coefficient in the objective function 260554
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524316
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524424
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
2.89/2.91	c * #variable= 3616 #constraint= 125707
6.38/6.45	c * #variable= 3616 #constraint= 125707
49.08/49.18	c #Conflicts:       1000 | #Learnt:        999 | 0.000
49.08/49.18	c total clause space: 335.816MB
49.08/49.18	c total #watches: 9073646
87.57/87.68	c total #propagations: 43396 / total #impl: 2327380 (eff. 0.019)
87.57/87.68	c #Conflicts:       2000 | #Learnt:       1991 | 0.392
87.57/87.68	c total clause space: 335.816MB
87.57/87.68	c total #watches: 9082993
116.06/116.17	c total #propagations: 85815 / total #impl: 3298951 (eff. 0.026)
116.06/116.17	c #Conflicts:       3000 | #Learnt:       2000 | 2.020
116.06/116.17	c total clause space: 335.816MB
116.06/116.17	c total #watches: 9092057
130.66/130.75	c total #propagations: 121871 / total #impl: 5011466 (eff. 0.024)
130.66/130.75	c #Conflicts:       4000 | #Learnt:       3000 | 1.883
130.66/130.75	c total clause space: 335.816MB
130.66/130.75	c total #watches: 9109585
149.46/149.50	c total #propagations: 146232 / total #impl: 6353850 (eff. 0.023)
149.46/149.50	c #Conflicts:       5000 | #Learnt:       2379 | 2.183
149.46/149.50	c total clause space: 335.816MB
149.46/149.50	c total #watches: 9108258
153.66/153.76	c total #propagations: 245809 / total #impl: 9052082 (eff. 0.027)
153.66/153.76	c #Conflicts:       6000 | #Learnt:       3379 | 2.336
153.66/153.76	c total clause space: 335.816MB
153.66/153.76	c total #watches: 9126349
196.46/196.54	c total #propagations: 277960 / total #impl: 10697718 (eff. 0.026)
196.46/196.54	c S1->S2
196.46/196.54	c S2->S1
196.46/196.54	c #Conflicts:       7000 | #Learnt:        707 | 2.138
196.46/196.54	c total clause space: 335.816MB
196.46/196.54	c total #watches: 9178505
257.85/257.93	c total #propagations: 314762 / total #impl: 11821794 (eff. 0.027)
257.85/257.93	c #Conflicts:       8000 | #Learnt:       1707 | 1.871
257.85/257.93	c total clause space: 335.816MB
257.85/257.93	c total #watches: 9180715
349.63/349.77	c total #propagations: 359584 / total #impl: 12309026 (eff. 0.029)
349.63/349.77	c #Conflicts:       9000 | #Learnt:       2707 | 1.663
349.63/349.77	c total clause space: 335.816MB
349.63/349.77	c total #watches: 9161082
425.22/425.36	c total #propagations: 429228 / total #impl: 13464520 (eff. 0.032)
425.22/425.36	c #Conflicts:      10000 | #Learnt:       1953 | 1.497
425.22/425.36	c total clause space: 335.816MB
425.22/425.36	c total #watches: 9159667
487.81/487.94	c total #propagations: 474759 / total #impl: 14383197 (eff. 0.033)
487.81/487.94	c #Conflicts:      11000 | #Learnt:       2953 | 1.361
487.81/487.94	c total clause space: 335.816MB
487.81/487.94	c total #watches: 9160673
565.41/565.58	c total #propagations: 510218 / total #impl: 15422925 (eff. 0.033)
565.41/565.58	c #Conflicts:      12000 | #Learnt:       3953 | 1.248
565.41/565.58	c total clause space: 335.816MB
565.41/565.58	c total #watches: 9165157
608.09/608.26	c total #propagations: 552707 / total #impl: 16322596 (eff. 0.034)
608.09/608.26	c #Conflicts:      13000 | #Learnt:       4953 | 1.152
608.09/608.26	c total clause space: 335.816MB
608.09/608.26	c total #watches: 9176678
691.48/691.62	c total #propagations: 593561 / total #impl: 19482453 (eff. 0.030)
691.48/691.62	c #Conflicts:      14000 | #Learnt:       3477 | 1.070
691.48/691.62	c total clause space: 335.816MB
691.48/691.62	c total #watches: 9172650
741.37/741.58	c total #propagations: 652330 / total #impl: 24478750 (eff. 0.027)
741.37/741.58	c #Conflicts:      15000 | #Learnt:       4476 | 0.998
741.37/741.58	c total clause space: 335.816MB
741.37/741.58	c total #watches: 9170791
782.86/783.07	c total #propagations: 712728 / total #impl: 32477253 (eff. 0.022)
782.86/783.07	c #Conflicts:      16000 | #Learnt:       5476 | 0.936
782.86/783.07	c total clause space: 335.816MB
782.86/783.07	c total #watches: 9172538
888.75/888.93	c total #propagations: 756723 / total #impl: 38579512 (eff. 0.020)
888.75/888.93	c #Conflicts:      17000 | #Learnt:       3492 | 0.881
888.75/888.93	c total clause space: 335.816MB
888.75/888.93	c total #watches: 9166930
976.52/976.80	c total #propagations: 816074 / total #impl: 40648194 (eff. 0.020)
976.52/976.80	c #Conflicts:      18000 | #Learnt:       4492 | 0.832
976.52/976.80	c total clause space: 545.701MB
976.52/976.80	c total #watches: 9168184
1049.02/1049.27	c total #propagations: 856161 / total #impl: 41674071 (eff. 0.021)
1049.02/1049.27	c #Conflicts:      19000 | #Learnt:       5492 | 0.788
1049.02/1049.27	c total clause space: 545.701MB
1049.02/1049.27	c total #watches: 9170436
1126.41/1126.62	c total #propagations: 908843 / total #impl: 42535810 (eff. 0.021)
1126.41/1126.62	c #Conflicts:      20000 | #Learnt:       6492 | 0.749
1126.41/1126.62	c total clause space: 545.701MB
1126.41/1126.62	c total #watches: 9164319
1194.41/1194.62	c total #propagations: 963741 / total #impl: 43243552 (eff. 0.022)
1194.41/1194.62	c #Conflicts:      21000 | #Learnt:       4104 | 0.713
1194.41/1194.62	c total clause space: 545.701MB
1194.41/1194.62	c total #watches: 9160546
1263.59/1263.90	c total #propagations: 1029567 / total #impl: 44912171 (eff. 0.023)
1263.59/1263.90	c #Conflicts:      22000 | #Learnt:       5104 | 0.681
1263.59/1263.90	c total clause space: 545.701MB
1263.59/1263.90	c total #watches: 9163861
1329.58/1329.85	c total #propagations: 1060875 / total #impl: 46283340 (eff. 0.023)
1329.58/1329.85	c #Conflicts:      23000 | #Learnt:       6104 | 0.651
1329.58/1329.85	c total clause space: 545.701MB
1329.58/1329.85	c total #watches: 9163912
1441.06/1441.33	c total #propagations: 1110480 / total #impl: 48219536 (eff. 0.023)
1441.06/1441.33	c #Conflicts:      24000 | #Learnt:       7104 | 0.624
1441.06/1441.33	c total clause space: 545.701MB
1441.06/1441.33	c total #watches: 9169516
1492.85/1493.18	c total #propagations: 1161314 / total #impl: 50515680 (eff. 0.023)
1492.85/1493.18	c #Conflicts:      25000 | #Learnt:       4355 | 0.599
1492.85/1493.18	c total clause space: 545.701MB
1492.85/1493.18	c total #watches: 9163744
1563.04/1563.33	c total #propagations: 1194252 / total #impl: 52470752 (eff. 0.023)
1563.04/1563.33	c #Conflicts:      26000 | #Learnt:       5355 | 0.576
1563.04/1563.33	c total clause space: 545.701MB
1563.04/1563.33	c total #watches: 9164457
1774.70/1775.02	c total #propagations: 1212795 / total #impl: 53434246 (eff. 0.023)
1774.70/1775.02	c #Conflicts:      27000 | #Learnt:       6355 | 0.555
1774.70/1775.02	c total clause space: 545.701MB
1774.70/1775.02	c total #watches: 9167787

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-4101943-1466261108/watcher-4101943-1466261108 -o /tmp/evaluation-result-4101943-1466261108/solver-4101943-1466261108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4101943-1466261108.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=24635
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.49 2.30 2.23 3/176 24638
/proc/meminfo: memFree=29556576/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 253 0 0 0 0 0 0 0 20 0 1 0 28156653 57319424 5244 33554432000 4194304 6211289 140734539283168 140736036183512 4206563 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 13994 5244 98 493 0 13491 0

[startup+0.10017 s]
/proc/loadavg: 2.49 2.30 2.23 3/176 24638
/proc/meminfo: memFree=29556576/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=58592 CPUtime=0.08 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 1015 0 0 0 8 0 0 0 20 0 1 0 28156653 59998208 11538 33554432000 4194304 6211289 140734539283168 140736036183512 5252520 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 14648 11538 121 493 0 14145 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58592

[startup+0.20033 s]
/proc/loadavg: 2.49 2.30 2.23 3/176 24638
/proc/meminfo: memFree=29556576/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=66176 CPUtime=0.19 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 2093 0 0 0 18 1 0 0 20 0 1 0 28156653 67764224 12253 33554432000 4194304 6211289 140734539283168 140734539282008 5418912 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 16544 12253 121 493 0 16041 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 66176

[startup+0.300348 s]
/proc/loadavg: 2.49 2.30 2.23 3/176 24638
/proc/meminfo: memFree=29556576/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=66176 CPUtime=0.29 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 2095 0 0 0 28 1 0 0 20 0 1 0 28156653 67764224 13277 33554432000 4194304 6211289 140734539283168 140734539282008 5418912 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 16544 13277 121 493 0 16041 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66176

[startup+0.700295 s]
/proc/loadavg: 2.49 2.30 2.23 3/176 24638
/proc/meminfo: memFree=29556576/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=76288 CPUtime=0.68 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 2521 0 0 0 67 1 0 0 20 0 1 0 28156653 78118912 15774 33554432000 4194304 6211289 140734539283168 140734539282008 5418912 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 19072 15774 121 493 0 18569 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 76288

[startup+1.50026 s]
/proc/loadavg: 2.49 2.30 2.23 3/177 24639
/proc/meminfo: memFree=29486196/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=177412 CPUtime=1.49 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 3506 0 0 0 146 3 0 0 20 0 1 0 28156653 181669888 22945 33554432000 4194304 6211289 140734539283168 140734539282008 5253349 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 44353 22945 121 493 0 43850 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 177412

[startup+3.10031 s]
/proc/loadavg: 2.49 2.30 2.23 3/177 24639
/proc/meminfo: memFree=29456284/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=239692 CPUtime=3.09 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 5324 0 0 0 303 6 0 0 20 0 1 0 28156653 245444608 57574 33554432000 4194304 6211289 140734539283168 140734539280584 4636841 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 59923 57574 144 493 0 59420 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 239692

[startup+6.30028 s]
/proc/loadavg: 2.45 2.29 2.23 3/177 24639
/proc/meminfo: memFree=29064940/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=642396 CPUtime=6.28 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 21987 0 0 0 615 13 0 0 20 0 1 0 28156653 657813504 143733 33554432000 4194304 6211289 140734539283168 140734539281048 4216601 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/24638/statm: 160599 143734 144 493 0 160096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 642396

[startup+12.7003 s]
/proc/loadavg: 2.50 2.31 2.23 4/177 24639
/proc/meminfo: memFree=28670044/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=987292 CPUtime=12.68 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38355 0 0 0 1246 22 0 0 20 0 1 0 28156653 1010987008 222538 33554432000 4194304 6211289 140734539283168 140734539282104 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 246823 222538 150 493 0 246320 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 987292

[startup+25.5004 s]
/proc/loadavg: 2.39 2.29 2.23 3/177 24639
/proc/meminfo: memFree=28670240/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=987292 CPUtime=25.48 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38355 0 0 0 2526 22 0 0 20 0 1 0 28156653 1010987008 222538 33554432000 4194304 6211289 140734539283168 140734539282104 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 246823 222538 150 493 0 246320 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 987292

[startup+51.1004 s]
/proc/loadavg: 2.32 2.28 2.22 3/177 24639
/proc/meminfo: memFree=28667740/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=987292 CPUtime=51.08 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38366 0 0 0 5086 22 0 0 20 0 1 0 28156653 1010987008 223060 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 246823 223060 160 493 0 246320 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 987292

[startup+102.3 s]
/proc/loadavg: 2.30 2.28 2.23 4/177 24641
/proc/meminfo: memFree=28663224/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=987292 CPUtime=102.27 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38378 0 0 0 10205 22 0 0 20 0 1 0 28156653 1010987008 223583 33554432000 4194304 6211289 140734539283168 140734539281512 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 246823 223583 165 493 0 246320 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 987292

[startup+162.3 s]
/proc/loadavg: 2.33 2.29 2.23 4/177 24642
/proc/meminfo: memFree=28613944/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=162.26 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38938 0 0 0 16203 23 0 0 20 0 1 0 28156653 1013030912 229253 33554432000 4194304 6211289 140734539283168 140734539281032 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 229253 219 493 0 246819 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 989288

[startup+222.308 s]
/proc/loadavg: 2.26 2.28 2.23 3/177 24643
/proc/meminfo: memFree=28604084/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=222.26 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38948 0 0 0 22203 23 0 0 20 0 1 0 28156653 1013030912 229263 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 229263 219 493 0 246819 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 989288

[startup+282.3 s]
/proc/loadavg: 2.29 2.27 2.23 4/177 24644
/proc/meminfo: memFree=28581316/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=282.24 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38952 0 0 0 28201 23 0 0 20 0 1 0 28156653 1013030912 229778 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 229778 219 493 0 246819 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 989288

[startup+342.3 s]
/proc/loadavg: 2.25 2.26 2.23 3/178 24648
/proc/meminfo: memFree=28576384/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=342.24 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38953 0 0 0 34201 23 0 0 20 0 1 0 28156653 1013030912 229779 33554432000 4194304 6211289 140734539283168 140734539281512 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 229779 219 493 0 246819 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 989288

[startup+402.3 s]
/proc/loadavg: 2.27 2.26 2.22 4/177 24650
/proc/meminfo: memFree=28573300/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=402.22 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38958 0 0 0 40199 23 0 0 20 0 1 0 28156653 1013030912 230294 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 230294 219 493 0 246819 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 989288

[startup+462.3 s]
/proc/loadavg: 2.29 2.27 2.23 4/177 24651
/proc/meminfo: memFree=28563340/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=462.21 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38960 0 0 0 46198 23 0 0 20 0 1 0 28156653 1013030912 232006 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 232006 219 493 0 246819 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 989288

[startup+522.3 s]
/proc/loadavg: 2.27 2.26 2.23 4/177 24652
/proc/meminfo: memFree=28559064/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=522.2 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38962 0 0 0 52197 23 0 0 20 0 1 0 28156653 1013030912 233056 33554432000 4194304 6211289 140734539283168 140734539281512 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 233056 219 493 0 246819 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 989288

[startup+582.3 s]
/proc/loadavg: 2.29 2.27 2.23 3/177 24653
/proc/meminfo: memFree=28556476/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=989288 CPUtime=582.19 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 38969 0 0 0 58196 23 0 0 20 0 1 0 28156653 1013030912 233574 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 247322 233574 219 493 0 246819 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 989288


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


[startup+942.3 s]
/proc/loadavg: 2.20 2.23 2.22 3/178 24708
/proc/meminfo: memFree=28912120/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=942.13 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40128 0 0 0 94187 26 0 0 20 0 1 0 28156653 1233387520 237322 33554432000 4194304 6211289 140734539283168 140734539281400 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 237322 219 493 0 300617 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1204480

[startup+1002.3 s]
/proc/loadavg: 2.16 2.22 2.21 4/178 24732
/proc/meminfo: memFree=28910784/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=1002.12 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40129 0 0 0 100186 26 0 0 20 0 1 0 28156653 1233387520 237323 33554432000 4194304 6211289 140734539283168 140734539281512 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 237323 219 493 0 300617 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1204480

[startup+1062.3 s]
/proc/loadavg: 2.24 2.22 2.21 3/177 24733
/proc/meminfo: memFree=28903220/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=1062.12 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40135 0 0 0 106185 27 0 0 20 0 1 0 28156653 1233387520 238351 33554432000 4194304 6211289 140734539283168 140734539281512 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 238351 219 493 0 300617 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1204480

[startup+1122.3 s]
/proc/loadavg: 2.14 2.19 2.20 3/177 24734
/proc/meminfo: memFree=28892076/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=1122.11 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40139 0 0 0 112184 27 0 0 20 0 1 0 28156653 1233387520 238866 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 238866 219 493 0 300617 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1204480

[startup+1182.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/177 24735
/proc/meminfo: memFree=28884720/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=1182.1 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40143 0 0 0 118183 27 0 0 20 0 1 0 28156653 1233387520 239381 33554432000 4194304 6211289 140734539283168 140734539281512 4209380 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 239381 219 493 0 300617 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1204480

[startup+1242.3 s]
/proc/loadavg: 2.34 2.24 2.20 4/177 24736
/proc/meminfo: memFree=28875388/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=1242.09 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40148 0 0 0 124182 27 0 0 20 0 1 0 28156653 1233387520 239897 33554432000 4194304 6211289 140734539283168 140734539281512 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 239897 219 493 0 300617 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1204480

[startup+1302.3 s]
/proc/loadavg: 2.22 2.22 2.20 3/177 24738
/proc/meminfo: memFree=28871816/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204480 CPUtime=1302.08 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40152 0 0 0 130181 27 0 0 20 0 1 0 28156653 1233387520 240412 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301120 240412 219 493 0 300617 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1204480

[startup+1362.3 s]
/proc/loadavg: 2.24 2.22 2.20 3/177 24739
/proc/meminfo: memFree=28869612/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1362.07 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40162 0 0 0 136180 27 0 0 20 0 1 0 28156653 1233526784 240933 33554432000 4194304 6211289 140734539283168 140734539281032 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 240933 219 493 0 300651 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1204616

[startup+1422.3 s]
/proc/loadavg: 2.28 2.24 2.20 3/177 24740
/proc/meminfo: memFree=28869580/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1422.07 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40163 0 0 0 142180 27 0 0 20 0 1 0 28156653 1233526784 240934 33554432000 4194304 6211289 140734539283168 140734539281032 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 240934 219 493 0 300651 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1204616

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/177 24741
/proc/meminfo: memFree=28864708/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1482.05 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40170 0 0 0 148178 27 0 0 20 0 1 0 28156653 1233526784 241963 33554432000 4194304 6211289 140734539283168 140734539281512 4209384 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 241963 219 493 0 300651 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1204616

[startup+1542.31 s]
/proc/loadavg: 2.24 2.24 2.20 3/178 24745
/proc/meminfo: memFree=28860416/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1542.05 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40174 0 0 0 154178 27 0 0 20 0 1 0 28156653 1233526784 242989 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 242989 219 493 0 300651 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1204616

[startup+1602.3 s]
/proc/loadavg: 2.38 2.28 2.21 3/177 24747
/proc/meminfo: memFree=28860012/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1602.03 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40174 0 0 0 160176 27 0 0 20 0 1 0 28156653 1233526784 242989 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 242989 219 493 0 300651 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1204616

[startup+1662.3 s]
/proc/loadavg: 2.30 2.27 2.21 3/177 24748
/proc/meminfo: memFree=28857924/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1662.02 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40175 0 0 0 166175 27 0 0 20 0 1 0 28156653 1233526784 243501 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 243501 219 493 0 300651 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1204616

[startup+1722.3 s]
/proc/loadavg: 2.20 2.25 2.20 3/177 24749
/proc/meminfo: memFree=28858016/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1722.01 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40175 0 0 0 172174 27 0 0 20 0 1 0 28156653 1233526784 243501 33554432000 4194304 6211289 140734539283168 140734539281512 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 243501 219 493 0 300651 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1204616

[startup+1782.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/177 24750
/proc/meminfo: memFree=28855316/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1782 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40176 0 0 0 178173 27 0 0 20 0 1 0 28156653 1233526784 244013 33554432000 4194304 6211289 140734539283168 140734539281512 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 244013 219 493 0 300651 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1204616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/177 24751
/proc/meminfo: memFree=28854696/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1800 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40176 0 0 0 179973 27 0 0 20 0 1 0 28156653 1233526784 244013 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 244013 219 493 0 300651 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1204616

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

[startup+1800.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/177 24751
/proc/meminfo: memFree=28854696/32872528 swapFree=1499884/1696108
[pid=24638] ppid=24635 vsize=1204616 CPUtime=1800 cores=1,3,5,7
/proc/24638/stat : 24638 (cdcl-cuttingpla) R 24635 24638 21079 0 -1 4202496 40176 0 0 0 179973 27 0 0 20 0 1 0 28156653 1233526784 244013 33554432000 4194304 6211289 140734539283168 140734539281512 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/24638/statm: 301154 244013 219 493 0 300651 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1204616

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.03
CPU user time (s): 1799.74
CPU system time (s): 0.298954
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1204616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.298954
maximum resident set size= 976052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40176
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= 10
involuntary context switches= 2050

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80012 second user time and 8.37473 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 16:45:09
IDJOB=4101943
IDBENCH=1813
IDSOLVER=2549
FILE ID=node137/4101943-1466261108
RUNJOBID= node137-1466229299-21096
PBS_JOBID= 19918171
Free space on /tmp= 71616 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-rd-rplusc-21.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101943-1466261108/watcher-4101943-1466261108 -o /tmp/evaluation-result-4101943-1466261108/solver-4101943-1466261108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4101943-1466261108.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 3de80c0560622133ffefa60f8e73d039
RANDOM SEED=222129345

node137.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.486
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	: 5332.97
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.486
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.486
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		: 2666.486
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.486
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.486
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.38
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.486
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.56
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.486
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:        29557600 kB
Buffers:          140140 kB
Cached:           295924 kB
SwapCached:         1268 kB
Active:           620368 kB
Inactive:         248404 kB
Active(anon):     434264 kB
Inactive(anon):     1028 kB
Active(file):     186104 kB
Inactive(file):   247376 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:             81020 kB
Writeback:             0 kB
AnonPages:       2132668 kB
Mapped:             7844 kB
Shmem:                 0 kB
Slab:             613296 kB
SReclaimable:      53792 kB
SUnreclaim:       559504 kB
KernelStack:        1440 kB
PageTables:         8308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2370744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 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= 71620 MiB
End job on node137 at 2016-06-18 17:15:10