Trace number 4087454

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.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark332
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 498884
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 498884
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.69/0.72	c * #variable= 10000 #constraint= 656900
1.99/2.09	c * #variable= 10000 #constraint= 656900
4.89/4.97	c S1->S2
4.89/4.97	c S1->S2
4.89/4.97	c S1->S2
4.89/4.97	c S1->S2
4.89/4.97	c S1->S2
4.89/4.97	c #Conflicts:       1000 | #Learnt:       1004 | 0.011
4.89/4.97	c total clause space: 127.173MB
4.89/4.97	c total #watches: 1590283
20.79/20.81	c total #propagations: 219136 / total #impl: 7205535 (eff. 0.030)
20.79/20.81	c #Conflicts:       2000 | #Learnt:       2004 | 0.006
20.79/20.81	c total clause space: 206.656MB
20.79/20.81	c total #watches: 3127131
42.68/42.77	c total #propagations: 542048 / total #impl: 270210533 (eff. 0.002)
42.68/42.77	c #Conflicts:       3000 | #Learnt:       2014 | 0.004
42.68/42.77	c total clause space: 335.816MB
42.68/42.77	c total #watches: 4601732
84.28/84.33	c total #propagations: 864603 / total #impl: 822784704 (eff. 0.001)
84.28/84.33	c #Conflicts:       4000 | #Learnt:       3014 | 0.003
84.28/84.33	c total clause space: 545.701MB
84.28/84.33	c total #watches: 6766561
138.17/138.28	c total #propagations: 1170699 / total #impl: 1591395992 (eff. 0.001)
138.17/138.28	c GC COLLECT
138.17/138.28	c #Conflicts:       5000 | #Learnt:       2365 | 0.002
138.17/138.28	c total clause space: 545.701MB
138.17/138.28	c total #watches: 6412111
186.36/186.44	c total #propagations: 1534850 / total #impl: 2348200925 (eff. 0.001)
186.36/186.44	c #Conflicts:       6000 | #Learnt:       3365 | 0.002
186.36/186.44	c total clause space: 545.701MB
186.36/186.44	c total #watches: 7480879
239.15/239.23	c total #propagations: 1877388 / total #impl: 2945843032 (eff. 0.001)
239.15/239.23	c GC COLLECT
239.15/239.23	c #Conflicts:       7000 | #Learnt:       2237 | 0.002
239.15/239.23	c total clause space: 545.701MB
239.15/239.23	c total #watches: 4888644
273.05/273.18	c total #propagations: 2165375 / total #impl: 3587751354 (eff. 0.001)
273.05/273.18	c #Conflicts:       8000 | #Learnt:       3237 | 0.001
273.05/273.18	c total clause space: 545.701MB
273.05/273.18	c total #watches: 5900505
335.44/335.54	c total #propagations: 2434391 / total #impl: 4402171052 (eff. 0.001)
335.44/335.54	c #Conflicts:       9000 | #Learnt:       4237 | 0.001
335.44/335.54	c total clause space: 545.701MB
335.44/335.54	c total #watches: 7271021
425.33/425.47	c total #propagations: 2713428 / total #impl: 5180014725 (eff. 0.001)
425.33/425.47	c GC COLLECT
425.33/425.47	c #Conflicts:      10000 | #Learnt:       2724 | 0.001
425.33/425.47	c total clause space: 545.701MB
425.33/425.47	c total #watches: 5817542
485.42/485.50	c total #propagations: 3038896 / total #impl: 5881159854 (eff. 0.001)
485.42/485.50	c #Conflicts:      11000 | #Learnt:       3724 | 0.001
485.42/485.50	c total clause space: 545.701MB
485.42/485.50	c total #watches: 7427209
570.40/570.56	c total #propagations: 3295737 / total #impl: 6669233307 (eff. 0.000)
570.40/570.56	c #Conflicts:      12000 | #Learnt:       4724 | 0.001
570.40/570.56	c total clause space: 545.701MB
570.40/570.56	c total #watches: 8431163
681.69/681.85	c total #propagations: 3590535 / total #impl: 7194196120 (eff. 0.000)
681.69/681.85	c #Conflicts:      13000 | #Learnt:       5724 | 0.001
681.69/681.85	c total clause space: 886.764MB
681.69/681.85	c total #watches: 9571907
738.58/738.78	c total #propagations: 3954136 / total #impl: 7675083482 (eff. 0.001)
738.58/738.78	c GC COLLECT
738.58/738.78	c #Conflicts:      14000 | #Learnt:       3867 | 0.010
738.58/738.78	c total clause space: 886.764MB
738.58/738.78	c total #watches: 6803689
787.97/788.18	c total #propagations: 4265456 / total #impl: 8157505926 (eff. 0.001)
787.97/788.18	c #Conflicts:      15000 | #Learnt:       4867 | 0.009
787.97/788.18	c total clause space: 886.764MB
787.97/788.18	c total #watches: 7493755
831.76/831.94	c total #propagations: 4527925 / total #impl: 8805286400 (eff. 0.001)
831.76/831.94	c #Conflicts:      16000 | #Learnt:       5867 | 0.008
831.76/831.94	c total clause space: 886.764MB
831.76/831.94	c total #watches: 8179476
883.85/884.08	c total #propagations: 4763605 / total #impl: 9451438821 (eff. 0.001)
883.85/884.08	c GC COLLECT
883.85/884.08	c #Conflicts:      17000 | #Learnt:       3686 | 0.008
883.85/884.08	c total clause space: 886.764MB
883.85/884.08	c total #watches: 5475999
919.75/919.97	c total #propagations: 5018695 / total #impl: 10214720176 (eff. 0.000)
919.75/919.97	c #Conflicts:      18000 | #Learnt:       4686 | 0.008
919.75/919.97	c total clause space: 886.764MB
919.75/919.97	c total #watches: 6803139
969.84/970.10	c total #propagations: 5300715 / total #impl: 10891465727 (eff. 0.000)
969.84/970.10	c #Conflicts:      19000 | #Learnt:       5686 | 0.007
969.84/970.10	c total clause space: 886.764MB
969.84/970.10	c total #watches: 7987278
1077.31/1077.56	c total #propagations: 5612672 / total #impl: 11678324563 (eff. 0.000)
1077.31/1077.56	c #Conflicts:      20000 | #Learnt:       6686 | 0.007
1077.31/1077.56	c total clause space: 886.764MB
1077.31/1077.56	c total #watches: 8742954
1164.10/1164.34	c total #propagations: 6009630 / total #impl: 12592145606 (eff. 0.000)
1164.10/1164.34	c GC COLLECT
1164.10/1164.34	c #Conflicts:      21000 | #Learnt:       4210 | 0.007
1164.10/1164.34	c total clause space: 886.764MB
1164.10/1164.34	c total #watches: 6802226
1237.18/1237.48	c total #propagations: 6383368 / total #impl: 13343787632 (eff. 0.000)
1237.18/1237.48	c #Conflicts:      22000 | #Learnt:       5210 | 0.006
1237.18/1237.48	c total clause space: 886.764MB
1237.18/1237.48	c total #watches: 7987252
1350.87/1351.15	c total #propagations: 6717012 / total #impl: 13719036146 (eff. 0.000)
1350.87/1351.15	c #Conflicts:      23000 | #Learnt:       6210 | 0.006
1350.87/1351.15	c total clause space: 886.764MB
1350.87/1351.15	c total #watches: 9075953
1489.85/1490.12	c total #propagations: 7126027 / total #impl: 14024759500 (eff. 0.001)
1489.85/1490.12	c #Conflicts:      24000 | #Learnt:       7210 | 0.006
1489.85/1490.12	c total clause space: 886.764MB
1489.85/1490.12	c total #watches: 10286324
1576.34/1576.68	c total #propagations: 7528804 / total #impl: 14479298541 (eff. 0.001)
1576.34/1576.68	c GC COLLECT
1576.34/1576.68	c #Conflicts:      25000 | #Learnt:       4413 | 0.006
1576.34/1576.68	c total clause space: 886.764MB
1576.34/1576.68	c total #watches: 7328609
1627.33/1627.63	c total #propagations: 7894316 / total #impl: 15085543615 (eff. 0.001)
1627.33/1627.63	c #Conflicts:      26000 | #Learnt:       5413 | 0.006
1627.33/1627.63	c total clause space: 886.764MB
1627.33/1627.63	c total #watches: 8898774
1670.22/1670.59	c total #propagations: 8356084 / total #impl: 15903650861 (eff. 0.001)
1670.22/1670.59	c #Conflicts:      27000 | #Learnt:       6413 | 0.007
1670.22/1670.59	c total clause space: 886.764MB
1670.22/1670.59	c total #watches: 10308012
1775.81/1776.18	c total #propagations: 8571208 / total #impl: 16535464205 (eff. 0.001)
1775.81/1776.18	c #Conflicts:      28000 | #Learnt:       7413 | 0.006
1775.81/1776.18	c total clause space: 886.764MB
1775.81/1776.18	c total #watches: 11451432

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-4087454-1465394600/watcher-4087454-1465394600 -o /tmp/evaluation-result-4087454-1465394600/solver-4087454-1465394600 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25309 --watchdog 1960 --input HOME/instance-4087454-1465394600.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=26415
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.02 2.08 2.04 3/174 26418
/proc/meminfo: memFree=30242964/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 121394871 57319424 8317 33554432000 4194304 6211289 140735220473056 140734621421944 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 13994 8317 98 493 0 13491 0

[startup+0.100159 s]
/proc/loadavg: 2.02 2.08 2.04 3/174 26418
/proc/meminfo: memFree=30242964/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=59556 CPUtime=0.09 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 1630 0 0 0 9 0 0 0 20 0 1 0 121394871 60985344 11546 33554432000 4194304 6211289 140735220473056 140734621421944 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 14889 11546 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.200351 s]
/proc/loadavg: 2.02 2.08 2.04 3/174 26418
/proc/meminfo: memFree=30242964/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=62620 CPUtime=0.19 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 2314 0 0 0 18 1 0 0 20 0 1 0 121394871 64122880 12485 33554432000 4194304 6211289 140735220473056 140734621421944 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 15655 12485 121 493 0 15152 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 62620

[startup+0.300344 s]
/proc/loadavg: 2.02 2.08 2.04 3/174 26418
/proc/meminfo: memFree=30242964/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=68752 CPUtime=0.29 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 2820 0 0 0 28 1 0 0 20 0 1 0 121394871 70402048 12991 33554432000 4194304 6211289 140735220473056 140734621421944 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 17188 12991 121 493 0 16685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68752

[startup+0.700293 s]
/proc/loadavg: 2.02 2.08 2.04 3/174 26418
/proc/meminfo: memFree=30242964/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=81016 CPUtime=0.69 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 3324 0 0 0 68 1 0 0 20 0 1 0 121394871 82960384 15539 33554432000 4194304 6211289 140735220473056 140734621421944 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 20254 15539 121 493 0 19751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81016

[startup+1.50021 s]
/proc/loadavg: 2.02 2.08 2.04 3/175 26419
/proc/meminfo: memFree=30107740/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=201576 CPUtime=1.49 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 7427 0 0 0 146 3 0 0 20 0 1 0 121394871 206413824 40082 33554432000 4194304 6211289 140735220473056 140735220470472 4225630 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 50394 40082 144 493 0 49891 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201576

[startup+3.1003 s]
/proc/loadavg: 2.02 2.08 2.04 3/175 26419
/proc/meminfo: memFree=30030244/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=351420 CPUtime=3.09 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 11442 0 0 0 303 6 0 0 20 0 1 0 121394871 359854080 73104 33554432000 4194304 6211289 140735220473056 140735220470936 5167729 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 87855 73104 144 493 0 87352 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351420

[startup+6.30028 s]
/proc/loadavg: 2.10 2.10 2.04 3/175 26419
/proc/meminfo: memFree=29754292/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=696544 CPUtime=6.29 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 13055 0 0 0 618 11 0 0 20 0 1 0 121394871 713261056 123564 33554432000 4194304 6211289 140735220473056 140735220471288 4209523 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 174136 123564 214 493 0 173633 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 696544

[startup+12.7002 s]
/proc/loadavg: 2.09 2.10 2.04 3/175 26419
/proc/meminfo: memFree=29722780/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=696544 CPUtime=12.69 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 13065 0 0 0 1258 11 0 0 20 0 1 0 121394871 713261056 128684 33554432000 4194304 6211289 140735220473056 140735220471288 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 174136 128684 214 493 0 173633 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 696544

[startup+25.5004 s]
/proc/loadavg: 2.14 2.11 2.05 3/175 26419
/proc/meminfo: memFree=29663336/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=838580 CPUtime=25.49 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 15662 0 0 0 2535 14 0 0 20 0 1 0 121394871 858705920 143524 33554432000 4194304 6211289 140735220473056 140735220470968 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 209645 143524 214 493 0 209142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 838580

[startup+51.1004 s]
/proc/loadavg: 2.09 2.10 2.04 3/175 26419
/proc/meminfo: memFree=29545952/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=873040 CPUtime=51.09 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 24298 0 0 0 5093 16 0 0 20 0 1 0 121394871 893992960 173111 33554432000 4194304 6211289 140735220473056 140735220471048 4239674 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 218260 173111 219 493 0 217757 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 873040

[startup+102.3 s]
/proc/loadavg: 2.23 2.13 2.05 3/175 26421
/proc/meminfo: memFree=29329456/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1096044 CPUtime=102.28 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 28109 0 0 0 10209 19 0 0 20 0 1 0 121394871 1122349056 198209 33554432000 4194304 6211289 140735220473056 140735220471048 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 274011 198209 219 493 0 273508 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1096044

[startup+162.3 s]
/proc/loadavg: 2.13 2.12 2.05 3/175 26422
/proc/meminfo: memFree=29235172/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1096284 CPUtime=162.27 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 28251 0 0 0 16208 19 0 0 20 0 1 0 121394871 1122594816 198350 33554432000 4194304 6211289 140735220473056 140735220471400 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 274071 198350 219 493 0 273568 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1096284

[startup+222.307 s]
/proc/loadavg: 2.05 2.09 2.05 3/175 26423
/proc/meminfo: memFree=29187320/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1124588 CPUtime=222.26 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 34560 0 0 0 22206 20 0 0 20 0 1 0 121394871 1151578112 210280 33554432000 4194304 6211289 140735220473056 140735220471048 4209481 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 281147 210280 219 493 0 280644 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1124588

[startup+282.3 s]
/proc/loadavg: 2.02 2.07 2.04 3/175 26424
/proc/meminfo: memFree=29144196/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1132580 CPUtime=282.25 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 36599 0 0 0 28204 21 0 0 20 0 1 0 121394871 1159761920 217894 33554432000 4194304 6211289 140735220473056 140735220471400 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 283145 217894 219 493 0 282642 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1132580

[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/175 26425
/proc/meminfo: memFree=29078428/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1132580 CPUtime=342.23 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 36625 0 0 0 34202 21 0 0 20 0 1 0 121394871 1159761920 228140 33554432000 4194304 6211289 140735220473056 140735220471400 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 283145 228140 219 493 0 282642 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1132580

[startup+402.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/175 26429
/proc/meminfo: memFree=29024716/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1132740 CPUtime=402.23 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 36681 0 0 0 40201 22 0 0 20 0 1 0 121394871 1159925760 241482 33554432000 4194304 6211289 140735220473056 140735220471048 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 283185 241482 219 493 0 282682 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1132740

[startup+462.3 s]
/proc/loadavg: 2.08 2.07 2.04 3/175 26431
/proc/meminfo: memFree=29018296/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1132920 CPUtime=462.22 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 36847 0 0 0 46200 22 0 0 20 0 1 0 121394871 1160110080 243181 33554432000 4194304 6211289 140735220473056 140735220471400 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 283230 243181 219 493 0 282727 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1132920

[startup+522.3 s]
/proc/loadavg: 2.08 2.07 2.04 3/175 26432
/proc/meminfo: memFree=29017572/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1133384 CPUtime=522.21 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 36949 0 0 0 52199 22 0 0 20 0 1 0 121394871 1160585216 243283 33554432000 4194304 6211289 140735220473056 140735220470968 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 283346 243283 219 493 0 282843 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1133384

[startup+582.3 s]
/proc/loadavg: 2.07 2.07 2.04 3/175 26433
/proc/meminfo: memFree=29006740/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1137864 CPUtime=582.2 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 38026 0 0 0 58198 22 0 0 20 0 1 0 121394871 1165172736 244360 33554432000 4194304 6211289 140735220473056 140735220471048 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 284466 244360 219 493 0 283963 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1137864


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


[startup+942.3 s]
/proc/loadavg: 2.06 2.10 2.06 3/175 26441
/proc/meminfo: memFree=28744844/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1498664 CPUtime=942.14 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 41831 0 0 0 94187 27 0 0 20 0 1 0 121394871 1534631936 288475 33554432000 4194304 6211289 140735220473056 140735220471048 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 374666 288475 219 493 0 374163 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1498664

[startup+1002.3 s]
/proc/loadavg: 2.11 2.11 2.06 3/176 26445
/proc/meminfo: memFree=28716452/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1499888 CPUtime=1002.12 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 42152 0 0 0 100185 27 0 0 20 0 1 0 121394871 1535885312 294918 33554432000 4194304 6211289 140735220473056 140735220470968 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 374972 294918 219 493 0 374469 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1499888

[startup+1062.3 s]
/proc/loadavg: 2.12 2.10 2.06 3/175 26447
/proc/meminfo: memFree=28642360/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1501164 CPUtime=1062.11 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 42479 0 0 0 106183 28 0 0 20 0 1 0 121394871 1537191936 309553 33554432000 4194304 6211289 140735220473056 140735220471048 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375291 309553 219 493 0 374788 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1501164

[startup+1122.3 s]
/proc/loadavg: 2.15 2.11 2.07 3/175 26448
/proc/meminfo: memFree=28566892/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1502640 CPUtime=1122.1 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 42815 0 0 0 112182 28 0 0 20 0 1 0 121394871 1538703360 320608 33554432000 4194304 6211289 140735220473056 140735220470968 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375660 320608 219 493 0 375157 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1502640

[startup+1182.3 s]
/proc/loadavg: 2.20 2.13 2.08 3/175 26449
/proc/meminfo: memFree=28566632/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1502640 CPUtime=1182.09 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 42835 0 0 0 118181 28 0 0 20 0 1 0 121394871 1538703360 320628 33554432000 4194304 6211289 140735220473056 140735220471400 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375660 320628 219 493 0 375157 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1502640

[startup+1242.3 s]
/proc/loadavg: 2.20 2.14 2.08 3/175 26450
/proc/meminfo: memFree=28566752/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1502640 CPUtime=1242.08 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 42917 0 0 0 124180 28 0 0 20 0 1 0 121394871 1538703360 320710 33554432000 4194304 6211289 140735220473056 140735220471400 4209523 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375660 320710 219 493 0 375157 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1502640

[startup+1302.3 s]
/proc/loadavg: 2.18 2.14 2.09 3/175 26451
/proc/meminfo: memFree=28566132/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1502776 CPUtime=1302.07 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 42961 0 0 0 130179 28 0 0 20 0 1 0 121394871 1538842624 320754 33554432000 4194304 6211289 140735220473056 140735220470968 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375694 320754 219 493 0 375191 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1502776

[startup+1362.3 s]
/proc/loadavg: 2.21 2.16 2.09 3/175 26453
/proc/meminfo: memFree=28565036/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1503164 CPUtime=1362.07 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 43055 0 0 0 136179 28 0 0 20 0 1 0 121394871 1539239936 320848 33554432000 4194304 6211289 140735220473056 140735220471400 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375791 320848 219 493 0 375288 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1503164

[startup+1422.3 s]
/proc/loadavg: 2.19 2.16 2.09 4/175 26454
/proc/meminfo: memFree=28562152/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1503728 CPUtime=1422.06 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 43207 0 0 0 142178 28 0 0 20 0 1 0 121394871 1539817472 321392 33554432000 4194304 6211289 140735220473056 140735220471048 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 375932 321392 219 493 0 375429 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1503728

[startup+1482.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/175 26455
/proc/meminfo: memFree=28556008/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1507720 CPUtime=1482.06 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 44160 0 0 0 148177 29 0 0 20 0 1 0 121394871 1543905280 322675 33554432000 4194304 6211289 140735220473056 140735220471048 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 376930 322675 219 493 0 376427 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1507720

[startup+1542.31 s]
/proc/loadavg: 2.14 2.14 2.09 3/175 26456
/proc/meminfo: memFree=28542784/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1510812 CPUtime=1542.05 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 44919 0 0 0 154176 29 0 0 20 0 1 0 121394871 1547071488 323434 33554432000 4194304 6211289 140735220473056 140735220470968 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 377703 323434 219 493 0 377200 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1510812

[startup+1602.3 s]
/proc/loadavg: 2.25 2.18 2.10 3/176 26460
/proc/meminfo: memFree=28541520/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1511160 CPUtime=1602.04 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 45016 0 0 0 160175 29 0 0 20 0 1 0 121394871 1547427840 323531 33554432000 4194304 6211289 140735220473056 140735220470968 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 377790 323531 219 493 0 377287 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1511160

[startup+1662.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/175 26508
/proc/meminfo: memFree=29511944/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1512248 CPUtime=1662.03 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 45309 0 0 0 166174 29 0 0 20 0 1 0 121394871 1548541952 323824 33554432000 4194304 6211289 140735220473056 140735220470968 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 378062 323824 219 493 0 377559 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1512248

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.10 3/175 26509
/proc/meminfo: memFree=29449276/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1517596 CPUtime=1722.01 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 46565 0 0 0 172172 29 0 0 20 0 1 0 121394871 1554018304 325080 33554432000 4194304 6211289 140735220473056 140735220470968 4248079 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 379399 325080 219 493 0 378896 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1517596

[startup+1782.3 s]
/proc/loadavg: 2.13 2.16 2.10 3/175 26510
/proc/meminfo: memFree=29446668/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1519132 CPUtime=1782.01 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 46980 0 0 0 178172 29 0 0 20 0 1 0 121394871 1555591168 325495 33554432000 4194304 6211289 140735220473056 140735220471400 4202026 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 379783 325495 219 493 0 379280 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1519132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.15 2.10 3/175 26510
/proc/meminfo: memFree=29445180/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1520348 CPUtime=1800 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 47263 0 0 0 179971 29 0 0 20 0 1 0 121394871 1556836352 325778 33554432000 4194304 6211289 140735220473056 140735220471048 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 380087 325778 219 493 0 379584 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1520348

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

[startup+1800.3 s]
/proc/loadavg: 2.09 2.15 2.10 3/175 26510
/proc/meminfo: memFree=29445180/32872528 swapFree=13256/481332
[pid=26418] ppid=26415 vsize=1520348 CPUtime=1800 cores=1,3,5,7
/proc/26418/stat : 26418 (cdcl-cuttingpla) R 26415 26418 25292 0 -1 4202496 47263 0 0 0 179971 29 0 0 20 0 1 0 121394871 1556836352 325778 33554432000 4194304 6211289 140735220473056 140735220471048 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26418/statm: 380087 325778 219 493 0 379584 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1520348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.71
CPU system time (s): 0.303953
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1520348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.303953
maximum resident set size= 1303112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47263
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= 34
involuntary context switches= 1982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97724 second user time and 8.51071 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-08 16:03:20
IDJOB=4087454
IDBENCH=1973
IDSOLVER=2549
FILE ID=node104/4087454-1465394600
RUNJOBID= node104-1465387127-25309
PBS_JOBID= 19853856
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=887942814

node104.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.775
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.55
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.775
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.775
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.775
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.775
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.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30243384 kB
Buffers:          119932 kB
Cached:           556036 kB
SwapCached:         1724 kB
Active:           949288 kB
Inactive:         461988 kB
Active(anon):     724248 kB
Inactive(anon):    13244 kB
Active(file):     225040 kB
Inactive(file):   448744 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097284 kB
Dirty:             19276 kB
Writeback:             0 kB
AnonPages:       1215664 kB
Mapped:             7940 kB
Shmem:                 0 kB
Slab:             604408 kB
SReclaimable:      48360 kB
SUnreclaim:       556048 kB
KernelStack:        1424 kB
PageTables:         6616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1553824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    657408 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= 71716 MiB
End job on node104 at 2016-06-08 16:33:21