Trace number 4099911

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/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb
MD5SUM8c1b16c8c16304b0c31b222fe698dea9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark4.98424
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables7936
Total number of constraints288
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint31
Maximum length of a constraint480
Number of terms in the objective function 7936
Biggest coefficient in the objective function 1807
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530504
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 530504
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.02	c * #variable= 7936 #constraint= 288
0.00/0.03	c * #variable= 7936 #constraint= 288
1.79/1.80	c S1->S2
1.79/1.80	c S1->S2
1.79/1.80	c S1->S2
1.79/1.80	c S1->S2
1.79/1.80	c S2->S1
1.79/1.80	c #Conflicts:       1000 | #Learnt:        593 | 2.330
1.79/1.80	c total clause space: 11.2235MB
1.79/1.80	c total #watches: 180096
5.29/5.34	c total #propagations: 597555 / total #impl: 5685489 (eff. 0.105)
5.29/5.34	c #Conflicts:       2000 | #Learnt:       1593 | 1.187
5.29/5.34	c total clause space: 29.637MB
5.29/5.34	c total #watches: 296344
14.18/14.27	c total #propagations: 1168951 / total #impl: 17051585 (eff. 0.069)
14.18/14.27	c GC COLLECT
14.18/14.27	c #Conflicts:       3000 | #Learnt:       1877 | 0.791
14.18/14.27	c total clause space: 29.637MB
14.18/14.27	c total #watches: 295506
29.28/29.32	c total #propagations: 1785963 / total #impl: 27157446 (eff. 0.066)
29.28/29.32	c #Conflicts:       4000 | #Learnt:       2877 | 0.634
29.28/29.32	c total clause space: 48.1602MB
29.28/29.32	c total #watches: 417275
38.99/39.09	c total #propagations: 2216293 / total #impl: 44636031 (eff. 0.050)
38.99/39.09	c GC COLLECT
38.99/39.09	c #Conflicts:       5000 | #Learnt:       2303 | 0.635
38.99/39.09	c total clause space: 48.1602MB
38.99/39.09	c total #watches: 497381
48.18/48.21	c total #propagations: 2472688 / total #impl: 59360044 (eff. 0.042)
48.18/48.21	c #Conflicts:       6000 | #Learnt:       3303 | 0.580
48.18/48.21	c total clause space: 48.1602MB
48.18/48.21	c total #watches: 628391
51.28/51.38	c total #propagations: 2766363 / total #impl: 72794419 (eff. 0.038)
51.28/51.38	c GC COLLECT
51.28/51.38	c #Conflicts:       7000 | #Learnt:       2222 | 0.498
51.28/51.38	c total clause space: 78.2603MB
51.28/51.38	c total #watches: 335440
65.17/65.23	c total #propagations: 2796889 / total #impl: 78188429 (eff. 0.036)
65.17/65.23	c #Conflicts:       8000 | #Learnt:       3222 | 0.618
65.17/65.23	c total clause space: 78.2603MB
65.17/65.23	c total #watches: 589584
90.87/90.97	c total #propagations: 3144472 / total #impl: 104425548 (eff. 0.030)
90.87/90.97	c #Conflicts:       9000 | #Learnt:       4222 | 0.579
90.87/90.97	c total clause space: 78.2603MB
90.87/90.97	c total #watches: 885008
115.47/115.53	c total #propagations: 3532092 / total #impl: 140864428 (eff. 0.025)
115.47/115.53	c GC COLLECT
115.47/115.53	c #Conflicts:      10000 | #Learnt:       2735 | 0.521
115.47/115.53	c total clause space: 127.173MB
115.47/115.53	c total #watches: 948841
158.15/158.27	c total #propagations: 3874564 / total #impl: 185162400 (eff. 0.021)
158.15/158.27	c #Conflicts:      11000 | #Learnt:       3735 | 0.476
158.15/158.27	c total clause space: 127.173MB
158.15/158.27	c total #watches: 1215103
212.85/212.92	c total #propagations: 4363448 / total #impl: 370543599 (eff. 0.012)
212.85/212.92	c #Conflicts:      12000 | #Learnt:       4735 | 0.444
212.85/212.92	c total clause space: 127.173MB
212.85/212.92	c total #watches: 1546206
291.33/291.44	c total #propagations: 4688103 / total #impl: 421254363 (eff. 0.011)
291.33/291.44	c #Conflicts:      13000 | #Learnt:       5735 | 0.421
291.33/291.44	c total clause space: 127.173MB
291.33/291.44	c total #watches: 1918210
321.43/321.58	c total #propagations: 5145496 / total #impl: 596155706 (eff. 0.009)
321.43/321.58	c GC COLLECT
321.43/321.58	c #Conflicts:      14000 | #Learnt:       3875 | 0.394
321.43/321.58	c total clause space: 127.173MB
321.43/321.58	c total #watches: 1426654
341.93/342.05	c total #propagations: 5502326 / total #impl: 692587349 (eff. 0.008)
341.93/342.05	c #Conflicts:      15000 | #Learnt:       4875 | 0.367
341.93/342.05	c total clause space: 127.173MB
341.93/342.05	c total #watches: 1825818
370.12/370.25	c total #propagations: 5783458 / total #impl: 722380137 (eff. 0.008)
370.12/370.25	c #Conflicts:      16000 | #Learnt:       5875 | 0.344
370.12/370.25	c total clause space: 206.656MB
370.12/370.25	c total #watches: 2157443
399.41/399.52	c total #propagations: 6134345 / total #impl: 742570810 (eff. 0.008)
399.41/399.52	c GC COLLECT
399.41/399.52	c #Conflicts:      17000 | #Learnt:       3698 | 0.325
399.41/399.52	c total clause space: 206.656MB
399.41/399.52	c total #watches: 1423997
420.41/420.59	c total #propagations: 6470357 / total #impl: 764817832 (eff. 0.008)
420.41/420.59	c #Conflicts:      18000 | #Learnt:       4698 | 0.310
420.41/420.59	c total clause space: 206.656MB
420.41/420.59	c total #watches: 1723577
441.72/441.82	c total #propagations: 6770928 / total #impl: 790998357 (eff. 0.009)
441.72/441.82	c #Conflicts:      19000 | #Learnt:       5698 | 0.293
441.72/441.82	c total clause space: 206.656MB
441.72/441.82	c total #watches: 2211277
503.81/503.99	c total #propagations: 7059761 / total #impl: 916292692 (eff. 0.008)
503.81/503.99	c #Conflicts:      20000 | #Learnt:       6698 | 0.279
503.81/503.99	c total clause space: 206.656MB
503.81/503.99	c total #watches: 2573525
609.49/609.64	c total #propagations: 7533643 / total #impl: 1601725540 (eff. 0.005)
609.49/609.64	c GC COLLECT
609.49/609.64	c #Conflicts:      21000 | #Learnt:       4206 | 0.275
609.49/609.64	c total clause space: 206.656MB
609.49/609.64	c total #watches: 1530193
646.69/646.83	c total #propagations: 8038759 / total #impl: 2478899882 (eff. 0.003)
646.69/646.83	c #Conflicts:      22000 | #Learnt:       5206 | 0.269
646.69/646.83	c total clause space: 206.656MB
646.69/646.83	c total #watches: 1952792
728.47/728.67	c total #propagations: 8413042 / total #impl: 3000442819 (eff. 0.003)
728.47/728.67	c #Conflicts:      23000 | #Learnt:       6206 | 0.259
728.47/728.67	c total clause space: 206.656MB
728.47/728.67	c total #watches: 2263002
843.95/844.11	c total #propagations: 8738479 / total #impl: 3766483446 (eff. 0.002)
843.95/844.11	c #Conflicts:      24000 | #Learnt:       7206 | 0.261
843.95/844.11	c total clause space: 206.656MB
843.95/844.11	c total #watches: 2456479
883.54/883.77	c total #propagations: 9227435 / total #impl: 4630457155 (eff. 0.002)
883.54/883.77	c GC COLLECT
883.54/883.77	c #Conflicts:      25000 | #Learnt:       4421 | 0.250
883.54/883.77	c total clause space: 206.656MB
883.54/883.77	c total #watches: 1404850
981.63/981.82	c total #propagations: 9522089 / total #impl: 4856775989 (eff. 0.002)
981.63/981.82	c #Conflicts:      26000 | #Learnt:       5421 | 0.248
981.63/981.82	c total clause space: 206.656MB
981.63/981.82	c total #watches: 1517500
992.93/993.19	c total #propagations: 9916624 / total #impl: 4920160191 (eff. 0.002)
992.93/993.19	c #Conflicts:      27000 | #Learnt:       6421 | 0.240
992.93/993.19	c total clause space: 206.656MB
992.93/993.19	c total #watches: 1790980
1066.41/1066.69	c total #propagations: 10090687 / total #impl: 4934151384 (eff. 0.002)
1066.41/1066.69	c #Conflicts:      28000 | #Learnt:       7421 | 0.231
1066.41/1066.69	c total clause space: 206.656MB
1066.41/1066.69	c total #watches: 1991524
1139.20/1139.40	c total #propagations: 10346616 / total #impl: 4959780217 (eff. 0.002)
1139.20/1139.40	c GC COLLECT
1139.20/1139.40	c #Conflicts:      29000 | #Learnt:       4324 | 0.224
1139.20/1139.40	c total clause space: 206.656MB
1139.20/1139.40	c total #watches: 978006
1165.60/1165.87	c total #propagations: 10658837 / total #impl: 5033321314 (eff. 0.002)
1165.60/1165.87	c #Conflicts:      30000 | #Learnt:       5324 | 0.227
1165.60/1165.87	c total clause space: 206.656MB
1165.60/1165.87	c total #watches: 1252529
1195.69/1195.98	c total #propagations: 10939928 / total #impl: 5178666257 (eff. 0.002)
1195.69/1195.98	c #Conflicts:      31000 | #Learnt:       6324 | 0.220
1195.69/1195.98	c total clause space: 206.656MB
1195.69/1195.98	c total #watches: 1576937
1244.68/1244.97	c total #propagations: 11167187 / total #impl: 5443165731 (eff. 0.002)
1244.68/1244.97	c #Conflicts:      32000 | #Learnt:       7324 | 0.215
1244.68/1244.97	c total clause space: 206.656MB
1244.68/1244.97	c total #watches: 1922620
1352.07/1352.39	c total #propagations: 11468316 / total #impl: 5638487630 (eff. 0.002)
1352.07/1352.39	c #Conflicts:      33000 | #Learnt:       8324 | 0.208
1352.07/1352.39	c total clause space: 206.656MB
1352.07/1352.39	c total #watches: 2385641
1390.27/1390.59	c total #propagations: 11934798 / total #impl: 5734515027 (eff. 0.002)
1390.27/1390.59	c GC COLLECT
1390.27/1390.59	c #Conflicts:      34000 | #Learnt:       4925 | 0.203
1390.27/1390.59	c total clause space: 206.656MB
1390.27/1390.59	c total #watches: 2031427
1623.33/1623.70	c total #propagations: 12157943 / total #impl: 5784159830 (eff. 0.002)
1623.33/1623.70	c #Conflicts:      35000 | #Learnt:       5925 | 0.203
1623.33/1623.70	c total clause space: 206.656MB
1623.33/1623.70	c total #watches: 2407650
1692.62/1692.98	c total #propagations: 12613839 / total #impl: 6094444738 (eff. 0.002)
1692.62/1692.98	c #Conflicts:      36000 | #Learnt:       6925 | 0.212
1692.62/1692.98	c total clause space: 206.656MB
1692.62/1692.98	c total #watches: 2780770
1714.62/1714.97	c total #propagations: 12834135 / total #impl: 6138609610 (eff. 0.002)
1714.62/1714.97	c #Conflicts:      37000 | #Learnt:       7925 | 0.207
1714.62/1714.97	c total clause space: 206.656MB
1714.62/1714.97	c total #watches: 3313158
1755.91/1756.24	c total #propagations: 13004280 / total #impl: 6169434478 (eff. 0.002)
1755.91/1756.24	c #Conflicts:      38000 | #Learnt:       8925 | 0.201
1755.91/1756.24	c total clause space: 335.816MB
1755.91/1756.24	c total #watches: 3556548

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

pid=10073
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: 1.12 1.25 1.61 3/176 10076
/proc/meminfo: memFree=30822772/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 24912071 57319424 8316 33554432000 4194304 6211289 140733740231344 140736969513400 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 13994 8316 98 493 0 13491 0

[startup+0.100166 s]
/proc/loadavg: 1.12 1.25 1.61 3/176 10076
/proc/meminfo: memFree=30822772/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=66496 CPUtime=0.09 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 1131 0 0 0 9 0 0 0 20 0 1 0 24912071 68091904 14209 33554432000 4194304 6211289 140733740231344 140736969513400 4202003 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 16624 14209 204 493 0 16121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66496

[startup+0.200329 s]
/proc/loadavg: 1.12 1.25 1.61 3/176 10076
/proc/meminfo: memFree=30822772/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=66920 CPUtime=0.19 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 1323 0 0 0 19 0 0 0 20 0 1 0 24912071 68526080 14386 33554432000 4194304 6211289 140733740231344 140736969513400 4205291 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 16730 14386 204 493 0 16227 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 66920

[startup+0.300174 s]
/proc/loadavg: 1.12 1.25 1.61 3/176 10076
/proc/meminfo: memFree=30822772/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=70332 CPUtime=0.28 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 2015 0 0 0 28 0 0 0 20 0 1 0 24912071 72019968 14898 33554432000 4194304 6211289 140733740231344 140736969513400 4205850 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 17583 14898 204 493 0 17080 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 70332

[startup+0.700234 s]
/proc/loadavg: 1.12 1.25 1.61 3/176 10076
/proc/meminfo: memFree=30822772/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=75152 CPUtime=0.69 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 2615 0 0 0 68 1 0 0 20 0 1 0 24912071 76955648 15324 33554432000 4194304 6211289 140733740231344 140736969513400 4241818 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 18788 15324 204 493 0 18285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75152

[startup+1.50023 s]
/proc/loadavg: 1.12 1.25 1.61 3/177 10123
/proc/meminfo: memFree=30691844/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=75292 CPUtime=1.49 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 2833 0 0 0 148 1 0 0 20 0 1 0 24912071 77099008 15979 33554432000 4194304 6211289 140733740231344 140733740229576 4202031 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 18823 15979 204 493 0 18320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75292

[startup+3.10023 s]
/proc/loadavg: 1.12 1.25 1.61 3/177 10123
/proc/meminfo: memFree=30663912/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=83008 CPUtime=3.09 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 3468 0 0 0 308 1 0 0 20 0 1 0 24912071 85000192 16960 33554432000 4194304 6211289 140733740231344 140733740229256 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 20752 16960 214 493 0 20249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83008

[startup+6.30023 s]
/proc/loadavg: 1.19 1.26 1.61 3/177 10123
/proc/meminfo: memFree=30632920/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=96032 CPUtime=6.29 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 5830 0 0 0 628 1 0 0 20 0 1 0 24912071 98336768 19029 33554432000 4194304 6211289 140733740231344 140733740229336 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 24008 19029 214 493 0 23505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96032

[startup+12.7002 s]
/proc/loadavg: 1.25 1.27 1.61 4/177 10123
/proc/meminfo: memFree=30605552/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=96996 CPUtime=12.69 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 6263 0 0 0 1268 1 0 0 20 0 1 0 24912071 99323904 19927 33554432000 4194304 6211289 140733740231344 140733740229256 4243365 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 24249 19927 219 493 0 23746 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96996

[startup+25.5003 s]
/proc/loadavg: 1.42 1.31 1.62 3/177 10123
/proc/meminfo: memFree=30567564/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=98924 CPUtime=25.48 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 6749 0 0 0 2547 1 0 0 20 0 1 0 24912071 101298176 21946 33554432000 4194304 6211289 140733740231344 140733740229256 4241818 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 24731 21946 219 493 0 24228 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98924

[startup+51.1003 s]
/proc/loadavg: 1.68 1.38 1.64 3/177 10123
/proc/meminfo: memFree=30469084/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=155168 CPUtime=51.08 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 9745 0 0 0 5106 2 0 0 20 0 1 0 24912071 158892032 31123 33554432000 4194304 6211289 140733740231344 140733740229336 4202024 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 38792 31123 219 493 0 38289 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 155168

[startup+102.3 s]
/proc/loadavg: 1.92 1.49 1.66 3/177 10124
/proc/meminfo: memFree=30235908/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=212172 CPUtime=102.27 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 12101 0 0 0 10223 4 0 0 20 0 1 0 24912071 217264128 39325 33554432000 4194304 6211289 140733740231344 140733740229336 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 53043 39325 219 493 0 52540 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 212172

[startup+162.3 s]
/proc/loadavg: 2.01 1.59 1.68 3/177 10126
/proc/meminfo: memFree=30139720/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=216408 CPUtime=162.25 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 13396 0 0 0 16221 4 0 0 20 0 1 0 24912071 221601792 43548 33554432000 4194304 6211289 140733740231344 140733740229256 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 54102 43548 219 493 0 53599 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 216408

[startup+222.308 s]
/proc/loadavg: 2.12 1.70 1.71 3/177 10127
/proc/meminfo: memFree=30103540/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=222980 CPUtime=222.26 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 14837 0 0 0 22221 5 0 0 20 0 1 0 24912071 228331520 47033 33554432000 4194304 6211289 140733740231344 140733740229688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 55745 47033 219 493 0 55242 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 222980

[startup+282.3 s]
/proc/loadavg: 2.17 1.79 1.74 3/177 10128
/proc/meminfo: memFree=30084332/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=223300 CPUtime=282.23 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 15082 0 0 0 28218 5 0 0 20 0 1 0 24912071 228659200 51366 33554432000 4194304 6211289 140733740231344 140733740229208 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 55825 51366 219 493 0 55322 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 223300

[startup+342.3 s]
/proc/loadavg: 2.11 1.84 1.76 3/177 10129
/proc/meminfo: memFree=30005512/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=227416 CPUtime=342.23 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 16003 0 0 0 34217 6 0 0 20 0 1 0 24912071 232873984 52778 33554432000 4194304 6211289 140733740231344 140733740229256 4209384 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 56854 52778 219 493 0 56351 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 227416

[startup+402.3 s]
/proc/loadavg: 2.19 1.91 1.78 3/178 10133
/proc/meminfo: memFree=29929996/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=318968 CPUtime=402.21 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 18602 0 0 0 40215 6 0 0 20 0 1 0 24912071 326623232 60119 33554432000 4194304 6211289 140733740231344 140733740229688 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 79742 60119 219 493 0 79239 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 318968

[startup+462.3 s]
/proc/loadavg: 2.07 1.92 1.79 3/177 10135
/proc/meminfo: memFree=29878380/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=328852 CPUtime=462.21 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 20715 0 0 0 46213 8 0 0 20 0 1 0 24912071 336744448 64784 33554432000 4194304 6211289 140733740231344 140733740229336 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 82213 64784 219 493 0 81710 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 328852

[startup+522.3 s]
/proc/loadavg: 2.07 1.95 1.81 3/177 10136
/proc/meminfo: memFree=29821792/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=336888 CPUtime=522.2 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 22263 0 0 0 52212 8 0 0 20 0 1 0 24912071 344973312 70420 33554432000 4194304 6211289 140733740231344 140733740229208 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 84222 70420 219 493 0 83719 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 336888

[startup+582.3 s]
/proc/loadavg: 2.16 2.00 1.83 3/177 10137
/proc/meminfo: memFree=29786984/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=337848 CPUtime=582.19 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 22607 0 0 0 58210 9 0 0 20 0 1 0 24912071 345956352 72286 33554432000 4194304 6211289 140733740231344 140733740229208 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 84462 72286 219 493 0 83959 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 337848


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


[startup+942.3 s]
/proc/loadavg: 2.14 2.10 1.92 3/177 10144
/proc/meminfo: memFree=29603272/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=342648 CPUtime=942.13 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 23552 0 0 0 94204 9 0 0 20 0 1 0 24912071 350871552 75786 33554432000 4194304 6211289 140733740231344 140733740229688 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 85662 75786 219 493 0 85159 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 342648

[startup+1002.3 s]
/proc/loadavg: 2.16 2.11 1.94 3/178 10148
/proc/meminfo: memFree=29601868/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=342648 CPUtime=1002.12 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 23590 0 0 0 100203 9 0 0 20 0 1 0 24912071 350871552 75824 33554432000 4194304 6211289 140733740231344 140733740229688 4241818 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 85662 75824 219 493 0 85159 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 342648

[startup+1062.3 s]
/proc/loadavg: 2.13 2.11 1.95 3/177 10172
/proc/meminfo: memFree=29596424/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=342648 CPUtime=1062.11 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 23590 0 0 0 106202 9 0 0 20 0 1 0 24912071 350871552 75824 33554432000 4194304 6211289 140733740231344 140733740229688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 85662 75824 219 493 0 85159 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 342648

[startup+1122.3 s]
/proc/loadavg: 2.20 2.13 1.96 3/177 10174
/proc/meminfo: memFree=29589676/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=342648 CPUtime=1122.11 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 23590 0 0 0 112202 9 0 0 20 0 1 0 24912071 350871552 75824 33554432000 4194304 6211289 140733740231344 140733740229688 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 85662 75824 219 493 0 85159 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 342648

[startup+1182.3 s]
/proc/loadavg: 2.19 2.14 1.97 3/177 10175
/proc/meminfo: memFree=29585820/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=342792 CPUtime=1182.1 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 23646 0 0 0 118201 9 0 0 20 0 1 0 24912071 351019008 75895 33554432000 4194304 6211289 140733740231344 140733740229688 4209507 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 85698 75895 219 493 0 85195 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 342792

[startup+1242.3 s]
/proc/loadavg: 2.11 2.13 1.98 3/177 10176
/proc/meminfo: memFree=29572228/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=344184 CPUtime=1242.08 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 23971 0 0 0 124199 9 0 0 20 0 1 0 24912071 352444416 78385 33554432000 4194304 6211289 140733740231344 140733740229208 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 86046 78385 219 493 0 85543 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 344184

[startup+1302.3 s]
/proc/loadavg: 2.22 2.16 2.00 3/177 10177
/proc/meminfo: memFree=29567888/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=345376 CPUtime=1302.07 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 24209 0 0 0 130198 9 0 0 20 0 1 0 24912071 353665024 78613 33554432000 4194304 6211289 140733740231344 140733740229208 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 86344 78613 219 493 0 85841 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 345376

[startup+1362.3 s]
/proc/loadavg: 2.24 2.17 2.01 3/177 10178
/proc/meminfo: memFree=29542756/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=347316 CPUtime=1362.06 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 24677 0 0 0 136196 10 0 0 20 0 1 0 24912071 355651584 83680 33554432000 4194304 6211289 140733740231344 140733740229256 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 86829 83680 219 493 0 86326 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 347316

[startup+1422.3 s]
/proc/loadavg: 2.19 2.17 2.02 3/177 10180
/proc/meminfo: memFree=29528372/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=348004 CPUtime=1422.06 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 24858 0 0 0 142196 10 0 0 20 0 1 0 24912071 356356096 84883 33554432000 4194304 6211289 140733740231344 140733740229336 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 87001 84883 219 493 0 86498 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 348004

[startup+1482.3 s]
/proc/loadavg: 2.18 2.17 2.02 3/177 10181
/proc/meminfo: memFree=29525768/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=348156 CPUtime=1482.04 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 24886 0 0 0 148194 10 0 0 20 0 1 0 24912071 356511744 84911 33554432000 4194304 6211289 140733740231344 140733740229256 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 87039 84911 219 493 0 86536 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 348156

[startup+1542.31 s]
/proc/loadavg: 2.20 2.18 2.03 4/177 10182
/proc/meminfo: memFree=29477760/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=348876 CPUtime=1542.04 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 25026 0 0 0 154194 10 0 0 20 0 1 0 24912071 357249024 85051 33554432000 4194304 6211289 140733740231344 140733740229208 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 87219 85051 219 493 0 86716 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 348876

[startup+1602.3 s]
/proc/loadavg: 2.18 2.17 2.04 3/178 10186
/proc/meminfo: memFree=29443308/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=348876 CPUtime=1602.03 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 25034 0 0 0 160193 10 0 0 20 0 1 0 24912071 357249024 85059 33554432000 4194304 6211289 140733740231344 140733740229208 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 87219 85059 219 493 0 86716 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 348876

[startup+1662.3 s]
/proc/loadavg: 2.17 2.17 2.04 3/176 10187
/proc/meminfo: memFree=29433932/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=348876 CPUtime=1662.02 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 25046 0 0 0 166192 10 0 0 20 0 1 0 24912071 357249024 85071 33554432000 4194304 6211289 140733740231344 140733740229688 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 87219 85071 219 493 0 86716 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 348876

[startup+1722.3 s]
/proc/loadavg: 2.21 2.18 2.05 4/177 10190
/proc/meminfo: memFree=29380224/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=354848 CPUtime=1722.01 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 26210 0 0 0 172190 11 0 0 20 0 1 0 24912071 363364352 86235 33554432000 4194304 6211289 140733740231344 140733740229688 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 88712 86235 219 493 0 88209 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 354848

[startup+1782.3 s]
/proc/loadavg: 2.17 2.17 2.06 3/177 10191
/proc/meminfo: memFree=29282640/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=487268 CPUtime=1782 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 26966 0 0 0 178187 13 0 0 20 0 1 0 24912071 498962432 92795 33554432000 4194304 6211289 140733740231344 140733740229688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 121817 92795 219 493 0 121314 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 487268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.19 2.06 3/177 10191
/proc/meminfo: memFree=29282612/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=487268 CPUtime=1800 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 26966 0 0 0 179987 13 0 0 20 0 1 0 24912071 498962432 92795 33554432000 4194304 6211289 140733740231344 140733740229688 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 121817 92795 219 493 0 121314 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 487268

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

[startup+1800.3 s]
/proc/loadavg: 2.25 2.19 2.06 3/177 10191
/proc/meminfo: memFree=29282612/32872528 swapFree=877056/942464
[pid=10076] ppid=10073 vsize=487268 CPUtime=1800 cores=1,3,5,7
/proc/10076/stat : 10076 (cdcl-cuttingpla) R 10073 10076 1299 0 -1 4202496 26966 0 0 0 179987 13 0 0 20 0 1 0 24912071 498962432 92795 33554432000 4194304 6211289 140733740231344 140733740229688 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/10076/statm: 121817 92795 219 493 0 121314 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 487268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.88
CPU system time (s): 0.145977
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 487268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.145977
maximum resident set size= 371180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26966
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= 31
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46132 second user time and 7.55185 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 07:43:51
IDJOB=4099911
IDBENCH=1549
IDSOLVER=2549
FILE ID=node113/4099911-1466228631
RUNJOBID= node113-1466228631-9955
PBS_JOBID= 19918163
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran16x16.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099911-1466228631/watcher-4099911-1466228631 -o /tmp/evaluation-result-4099911-1466228631/solver-4099911-1466228631 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466228631-9955 --watchdog 1960 --input HOME/instance-4099911-1466228631.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 8c1b16c8c16304b0c31b222fe698dea9
RANDOM SEED=461274901

node113.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.799
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.59
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.799
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.799
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.799
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.799
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.799
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.54
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.799
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.54
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.799
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:        30829908 kB
Buffers:          109692 kB
Cached:           209208 kB
SwapCached:         1968 kB
Active:           120696 kB
Inactive:         245740 kB
Active(anon):      48452 kB
Inactive(anon):     1556 kB
Active(file):      72244 kB
Inactive(file):   244184 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:              5444 kB
Writeback:             0 kB
AnonPages:        989260 kB
Mapped:             7320 kB
Shmem:                 0 kB
Slab:             601276 kB
SReclaimable:      44860 kB
SUnreclaim:       556416 kB
KernelStack:        1448 kB
PageTables:         5648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1116048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 71696 MiB
End job on node113 at 2016-06-18 08:13:52