Trace number 4087650

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.04 1800.33

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
MD5SUM5d0340a340565eda2e94c9f5d1d814a1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark2.68759
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables49757
Total number of constraints199672
Number of constraints which are clauses199672
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 constraint1
Maximum length of a constraint511
Number of terms in the objective function 24319
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 24319
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 24319
Number of bits of the biggest sum of numbers15
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
0.18/0.28	c * #variable= 49757 #constraint= 199672
0.78/0.80	c * #variable= 49757 #constraint= 199672
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c S1->S2
25.59/25.69	c #Conflicts:       1000 | #Learnt:       1007 | 0.000
25.59/25.69	c total clause space: 886.764MB
25.59/25.69	c total #watches: 16810359
104.77/104.88	c total #propagations: 3615122 / total #impl: 147451954 (eff. 0.025)
104.77/104.88	c #Conflicts:       2000 | #Learnt:       2007 | 0.076
104.77/104.88	c total clause space: 886.764MB
104.77/104.88	c total #watches: 21948417
199.66/199.71	c total #propagations: 5711530 / total #impl: 445403381 (eff. 0.013)
199.66/199.71	c GC COLLECT
199.66/199.71	c #Conflicts:       3000 | #Learnt:       2033 | 0.084
199.66/199.71	c total clause space: 886.764MB
199.66/199.71	c total #watches: 13943314
530.70/530.85	c total #propagations: 9580605 / total #impl: 493056988 (eff. 0.019)
530.70/530.85	c #Conflicts:       4000 | #Learnt:       3033 | 0.111
530.70/530.85	c total clause space: 886.764MB
530.70/530.85	c total #watches: 16128255
1049.52/1049.72	c total #propagations: 13543343 / total #impl: 639955694 (eff. 0.021)
1049.52/1049.72	c GC COLLECT
1049.52/1049.72	c #Conflicts:       5000 | #Learnt:       2381 | 0.091
1049.52/1049.72	c total clause space: 886.764MB
1049.52/1049.72	c total #watches: 15298313

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-4087650-1465432507/watcher-4087650-1465432507 -o /tmp/evaluation-result-4087650-1465432507/solver-4087650-1465432507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23743 --watchdog 1960 --input HOME/instance-4087650-1465432507.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=24249
running on 8 cores: 0-3,8-11

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


[startup+0 s]
/proc/loadavg: 2.20 2.15 2.10 3/258 24252
/proc/meminfo: memFree=30381536/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=55976 CPUtime=0 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 125092301 57319424 10909 33554432000 4194304 6211289 140737031207152 140735144803176 4261036 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 13994 10909 120 493 0 13491 0

[startup+0.100146 s]
/proc/loadavg: 2.20 2.15 2.10 3/258 24252
/proc/meminfo: memFree=30381536/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=60752 CPUtime=0.09 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 1471 0 0 0 9 0 0 0 20 0 1 0 125092301 62210048 11747 33554432000 4194304 6211289 140737031207152 140735144803176 5418912 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 15188 11747 121 493 0 14685 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60752

[startup+0.200267 s]
/proc/loadavg: 2.20 2.15 2.10 3/258 24252
/proc/meminfo: memFree=30381536/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=64488 CPUtime=0.18 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 2227 0 0 0 18 0 0 0 20 0 1 0 125092301 66035712 12591 33554432000 4194304 6211289 140737031207152 140735144803176 5418912 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 16122 12591 121 493 0 15619 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 64488

[startup+0.300278 s]
/proc/loadavg: 2.20 2.15 2.10 3/258 24252
/proc/meminfo: memFree=30381536/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=75408 CPUtime=0.29 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 2774 0 0 0 28 1 0 0 20 0 1 0 125092301 77217792 15634 33554432000 4194304 6211289 140737031207152 140735144803176 4228081 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 18852 15634 144 493 0 18349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75408

[startup+0.700283 s]
/proc/loadavg: 2.20 2.15 2.10 3/258 24252
/proc/meminfo: memFree=30381536/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=106512 CPUtime=0.69 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 5874 0 0 0 67 2 0 0 20 0 1 0 125092301 109068288 23333 33554432000 4194304 6211289 140737031207152 140737031204680 5161098 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 26628 23333 144 493 0 26125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106512

[startup+1.50029 s]
/proc/loadavg: 2.20 2.15 2.10 3/259 24253
/proc/meminfo: memFree=30254580/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=184004 CPUtime=1.49 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 10472 0 0 0 145 4 0 0 20 0 1 0 125092301 188420096 40582 33554432000 4194304 6211289 140737031207152 140737031204680 4216538 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 46001 40582 203 493 0 45498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184004

[startup+3.10028 s]
/proc/loadavg: 2.18 2.14 2.10 3/259 24253
/proc/meminfo: memFree=30150132/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=426536 CPUtime=3.09 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 23408 0 0 0 300 9 0 0 20 0 1 0 125092301 436772864 84165 33554432000 4194304 6211289 140737031207152 140737031205144 4205288 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 106634 84165 204 493 0 106131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 426536

[startup+6.3003 s]
/proc/loadavg: 2.18 2.14 2.10 3/259 24253
/proc/meminfo: memFree=29777812/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=917800 CPUtime=6.29 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 59738 0 0 0 609 20 0 0 20 0 1 0 125092301 939827200 189986 33554432000 4194304 6211289 140737031207152 140737031205144 4243125 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 229450 189986 204 493 0 228947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 917800

[startup+12.7002 s]
/proc/loadavg: 2.17 2.14 2.10 3/259 24253
/proc/meminfo: memFree=29557448/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=918424 CPUtime=12.68 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 59939 0 0 0 1248 20 0 0 20 0 1 0 125092301 940466176 205517 33554432000 4194304 6211289 140737031207152 140737031205064 4209464 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 229606 205517 204 493 0 229103 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 918424

[startup+25.5004 s]
/proc/loadavg: 2.13 2.13 2.09 3/259 24253
/proc/meminfo: memFree=29485968/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1267672 CPUtime=25.49 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 60129 0 0 0 2527 22 0 0 20 0 1 0 125092301 1298096128 224100 33554432000 4194304 6211289 140737031207152 140737031205384 4205288 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 316918 224100 204 493 0 316415 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1267672

[startup+51.1004 s]
/proc/loadavg: 2.08 2.12 2.09 3/259 24253
/proc/meminfo: memFree=29399584/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1267880 CPUtime=51.08 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 60209 0 0 0 5085 23 0 0 20 0 1 0 125092301 1298309120 245131 33554432000 4194304 6211289 140737031207152 140737031205064 4241730 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 316970 245131 214 493 0 316467 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1267880

[startup+102.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/259 24254
/proc/meminfo: memFree=29252376/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1268724 CPUtime=102.28 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 60495 0 0 0 10203 25 0 0 20 0 1 0 125092301 1299173376 281698 33554432000 4194304 6211289 140737031207152 140737031205064 4209384 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317181 281698 214 493 0 316678 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1268724

[startup+162.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/259 24255
/proc/meminfo: memFree=29235528/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1269432 CPUtime=162.26 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63304 0 0 0 16201 25 0 0 20 0 1 0 125092301 1299898368 285728 33554432000 4194304 6211289 140737031207152 140737031205064 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317358 285728 219 493 0 316855 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1269432

[startup+222.311 s]
/proc/loadavg: 2.01 2.07 2.08 3/259 24257
/proc/meminfo: memFree=29235676/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1269432 CPUtime=222.26 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63315 0 0 0 22201 25 0 0 20 0 1 0 125092301 1299898368 285739 33554432000 4194304 6211289 140737031207152 140737031205496 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317358 285739 219 493 0 316855 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1269432

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/259 24258
/proc/meminfo: memFree=29234828/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1269432 CPUtime=282.25 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63330 0 0 0 28200 25 0 0 20 0 1 0 125092301 1299898368 285760 33554432000 4194304 6211289 140737031207152 140737031205496 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317358 285760 219 493 0 316855 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1269432

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/259 24307
/proc/meminfo: memFree=29295892/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1269996 CPUtime=342.23 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63434 0 0 0 34198 25 0 0 20 0 1 0 125092301 1300475904 285861 33554432000 4194304 6211289 140737031207152 140737031205064 4209384 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317499 285861 219 493 0 316996 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1269996

[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.06 3/259 24309
/proc/meminfo: memFree=29275900/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1271008 CPUtime=402.22 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63613 0 0 0 40197 25 0 0 20 0 1 0 125092301 1301512192 286039 33554432000 4194304 6211289 140737031207152 140737031205064 4209304 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317752 286039 219 493 0 317249 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1271008

[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/259 24310
/proc/meminfo: memFree=29275920/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1271008 CPUtime=462.21 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63620 0 0 0 46196 25 0 0 20 0 1 0 125092301 1301512192 286039 33554432000 4194304 6211289 140737031207152 140737031205064 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317752 286039 219 493 0 317249 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1271008

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/259 24312
/proc/meminfo: memFree=29276384/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1271264 CPUtime=522.2 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63711 0 0 0 52195 25 0 0 20 0 1 0 125092301 1301774336 286129 33554432000 4194304 6211289 140737031207152 140737031205064 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317816 286129 219 493 0 317313 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1271264

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/259 24313
/proc/meminfo: memFree=29108704/32872528 swapFree=9200/9200
[pid=24252] ppid=24249 vsize=1271264 CPUtime=582.19 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 63739 0 0 0 58193 26 0 0 20 0 1 0 125092301 1301774336 300465 33554432000 4194304 6211289 140737031207152 140737031205496 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 317816 300465 219 493 0 317313 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1271264


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


[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/260 24323
/proc/meminfo: memFree=28996352/32872528 swapFree=9200/9200
[pid=24252] ppid=24249 vsize=1274048 CPUtime=942.13 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 64804 0 0 0 94187 26 0 0 20 0 1 0 125092301 1304625152 307509 33554432000 4194304 6211289 140737031207152 140737031205064 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 318512 307509 219 493 0 318009 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1274048

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/259 24324
/proc/meminfo: memFree=28979876/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1274480 CPUtime=1002.12 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 64931 0 0 0 100186 26 0 0 20 0 1 0 125092301 1305067520 307636 33554432000 4194304 6211289 140737031207152 140737031205064 4209403 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 318620 307636 219 493 0 318117 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1274480

[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.02 3/259 24325
/proc/meminfo: memFree=28962232/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1274928 CPUtime=1062.12 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65056 0 0 0 106185 27 0 0 20 0 1 0 125092301 1305526272 307761 33554432000 4194304 6211289 140737031207152 140737031205496 4209403 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 318732 307761 219 493 0 318229 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1274928

[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.02 3/259 24327
/proc/meminfo: memFree=28937496/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1842936 CPUtime=1122.1 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65206 0 0 0 112177 33 0 0 20 0 1 0 125092301 1887166464 311998 33554432000 4194304 6211289 140737031207152 140737031205384 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460734 311998 219 493 0 460231 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1842936

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/259 24328
/proc/meminfo: memFree=28915764/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1842936 CPUtime=1182.1 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65212 0 0 0 118176 34 0 0 20 0 1 0 125092301 1887166464 315070 33554432000 4194304 6211289 140737031207152 140737031205384 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460734 315070 219 493 0 460231 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1842936

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 24329
/proc/meminfo: memFree=28887648/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843412 CPUtime=1242.09 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65354 0 0 0 124175 34 0 0 20 0 1 0 125092301 1887653888 320833 33554432000 4194304 6211289 140737031207152 140737031205064 4241570 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460853 320833 219 493 0 460350 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1843412

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 24330
/proc/meminfo: memFree=28871000/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1302.08 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65410 0 0 0 130174 34 0 0 20 0 1 0 125092301 1887842304 323955 33554432000 4194304 6211289 140737031207152 140737031205064 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 323955 219 493 0 460396 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1843596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 24331
/proc/meminfo: memFree=28856620/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1362.07 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65420 0 0 0 136173 34 0 0 20 0 1 0 125092301 1887842304 326009 33554432000 4194304 6211289 140737031207152 140737031205064 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 326009 219 493 0 460396 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1843596

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 24333
/proc/meminfo: memFree=28845448/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1422.07 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65431 0 0 0 142173 34 0 0 20 0 1 0 125092301 1887842304 328064 33554432000 4194304 6211289 140737031207152 140737031205064 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 328064 219 493 0 460396 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1843596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/259 24334
/proc/meminfo: memFree=28815044/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1482.05 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65445 0 0 0 148171 34 0 0 20 0 1 0 125092301 1887842304 333699 33554432000 4194304 6211289 140737031207152 140737031205064 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 333699 219 493 0 460396 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1843596

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 24338
/proc/meminfo: memFree=28778664/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1542.05 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65450 0 0 0 154171 34 0 0 20 0 1 0 125092301 1887842304 336259 33554432000 4194304 6211289 140737031207152 140737031205064 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 336259 219 493 0 460396 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1843596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/261 24361
/proc/meminfo: memFree=28742796/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1602.03 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65456 0 0 0 160169 34 0 0 20 0 1 0 125092301 1887842304 338819 33554432000 4194304 6211289 140737031207152 140737031205064 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 338819 219 493 0 460396 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1843596

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/260 24362
/proc/meminfo: memFree=28723164/32872528 swapFree=9200/9200
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1662.03 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65458 0 0 0 166168 35 0 0 20 0 1 0 125092301 1887842304 339843 33554432000 4194304 6211289 140737031207152 140737031205064 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 339843 219 493 0 460396 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1843596

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/261 24365
/proc/meminfo: memFree=28709964/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1722.02 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65460 0 0 0 172167 35 0 0 20 0 1 0 125092301 1887842304 340867 33554432000 4194304 6211289 140737031207152 140737031205064 4209403 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 340867 219 493 0 460396 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1843596

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 24366
/proc/meminfo: memFree=28683544/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1782.01 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65467 0 0 0 178166 35 0 0 20 0 1 0 125092301 1887842304 342403 33554432000 4194304 6211289 140737031207152 140737031205064 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 342403 219 493 0 460396 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1843596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 24367
/proc/meminfo: memFree=28680852/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1800 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65469 0 0 0 179965 35 0 0 20 0 1 0 125092301 1887842304 342916 33554432000 4194304 6211289 140737031207152 140737031205064 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 342916 219 493 0 460396 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1843596

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/260 24367
/proc/meminfo: memFree=28680852/32872528 swapFree=9196/9196
[pid=24252] ppid=24249 vsize=1843596 CPUtime=1800 cores=0-3,8-11
/proc/24252/stat : 24252 (cdcl-cuttingpla) R 24249 24252 23727 0 -1 4202496 65469 0 0 0 179965 35 0 0 20 0 1 0 125092301 1887842304 342916 33554432000 4194304 6211289 140737031207152 140737031205064 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/24252/statm: 460899 342916 219 493 0 460396 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1843596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.04
CPU user time (s): 1799.66
CPU system time (s): 0.382941
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1843596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.382941
maximum resident set size= 1371664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65469
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= 25
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47902 second user time and 9.96148 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-09 02:35:07
IDJOB=4087650
IDBENCH=25011
IDSOLVER=2549
FILE ID=node132/4087650-1465432507
RUNJOBID= node132-1465427020-23743
PBS_JOBID= 19859780
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir10_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087650-1465432507/watcher-4087650-1465432507 -o /tmp/evaluation-result-4087650-1465432507/solver-4087650-1465432507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23743 --watchdog 1960 --input HOME/instance-4087650-1465432507.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 5d0340a340565eda2e94c9f5d1d814a1
RANDOM SEED=1873565291

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30381544 kB
Buffers:          106436 kB
Cached:          1208036 kB
SwapCached:         1420 kB
Active:           863156 kB
Inactive:         850292 kB
Active(anon):     397828 kB
Inactive(anon):     3992 kB
Active(file):     465328 kB
Inactive(file):   846300 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67096368 kB
Dirty:              9232 kB
Writeback:            12 kB
AnonPages:        408328 kB
Mapped:             7988 kB
Shmem:                 0 kB
Slab:             628780 kB
SReclaimable:      68896 kB
SUnreclaim:       559884 kB
KernelStack:        2184 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     617504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    387072 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= 71724 MiB
End job on node132 at 2016-06-09 03:05:08