Trace number 4087875

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.07 1800.36

General information on the benchmark

Name/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
MD5SUM0476e702136eda2e813dad2792abe9ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark81
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7840
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint34
Maximum length of a constraint64
Number of terms in the objective function 7840
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 7840
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7840
Number of bits of the biggest sum of numbers13
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
1.10/1.16	c * #variable= 7840 #constraint= 65280
2.39/2.46	c * #variable= 7840 #constraint= 65280
16.69/16.71	c S1->S2
16.69/16.71	c S1->S2
16.69/16.71	c S1->S2
16.69/16.71	c #Conflicts:       1000 | #Learnt:       1002 | 0.031
16.69/16.71	c total clause space: 335.816MB
16.69/16.71	c total #watches: 4494893
42.99/43.06	c total #propagations: 362503 / total #impl: 322554434 (eff. 0.001)
42.99/43.06	c #Conflicts:       2000 | #Learnt:       2002 | 0.386
42.99/43.06	c total clause space: 545.701MB
42.99/43.06	c total #watches: 6789644
59.68/59.73	c total #propagations: 778911 / total #impl: 581047412 (eff. 0.001)
59.68/59.73	c GC COLLECT
59.68/59.73	c #Conflicts:       3000 | #Learnt:       2007 | 0.308
59.68/59.73	c total clause space: 545.701MB
59.68/59.73	c total #watches: 5987666
93.37/93.43	c total #propagations: 1253798 / total #impl: 971493381 (eff. 0.001)
93.37/93.43	c #Conflicts:       4000 | #Learnt:       3007 | 0.231
93.37/93.43	c total clause space: 545.701MB
93.37/93.43	c total #watches: 7445014
114.67/114.78	c total #propagations: 2006971 / total #impl: 1487712928 (eff. 0.001)
114.67/114.78	c GC COLLECT
114.67/114.78	c #Conflicts:       5000 | #Learnt:       2361 | 0.188
114.67/114.78	c total clause space: 545.701MB
114.67/114.78	c total #watches: 6885647
147.17/147.23	c total #propagations: 2253734 / total #impl: 1876404022 (eff. 0.001)
147.17/147.23	c #Conflicts:       6000 | #Learnt:       3361 | 0.157
147.17/147.23	c total clause space: 545.701MB
147.17/147.23	c total #watches: 8755249
172.06/172.11	c total #propagations: 3303437 / total #impl: 2342797184 (eff. 0.001)
172.06/172.11	c GC COLLECT
172.06/172.11	c #Conflicts:       7000 | #Learnt:       2233 | 0.136
172.06/172.11	c total clause space: 886.764MB
172.06/172.11	c total #watches: 7169293
205.16/205.28	c total #propagations: 3498132 / total #impl: 2911741961 (eff. 0.001)
205.16/205.28	c #Conflicts:       8000 | #Learnt:       3233 | 0.129
205.16/205.28	c total clause space: 886.764MB
205.16/205.28	c total #watches: 9506558
254.75/254.85	c total #propagations: 3857403 / total #impl: 3312870156 (eff. 0.001)
254.75/254.85	c #Conflicts:       9000 | #Learnt:       4233 | 0.130
254.75/254.85	c total clause space: 886.764MB
254.75/254.85	c total #watches: 11412697
303.74/303.87	c total #propagations: 4565001 / total #impl: 3662416328 (eff. 0.001)
303.74/303.87	c GC COLLECT
303.74/303.87	c #Conflicts:      10000 | #Learnt:       2756 | 0.119
303.74/303.87	c total clause space: 886.764MB
303.74/303.87	c total #watches: 7520356
335.74/335.80	c total #propagations: 5033363 / total #impl: 3813353308 (eff. 0.001)
335.74/335.80	c #Conflicts:      11000 | #Learnt:       3756 | 0.115
335.74/335.80	c total clause space: 886.764MB
335.74/335.80	c total #watches: 10421072
378.53/378.65	c total #propagations: 5428322 / total #impl: 4009352758 (eff. 0.001)
378.53/378.65	c #Conflicts:      12000 | #Learnt:       4756 | 0.117
378.53/378.65	c total clause space: 886.764MB
378.53/378.65	c total #watches: 12675541
414.73/414.82	c total #propagations: 5802352 / total #impl: 4260096189 (eff. 0.001)
414.73/414.82	c #Conflicts:      13000 | #Learnt:       5756 | 0.108
414.73/414.82	c total clause space: 886.764MB
414.73/414.82	c total #watches: 13398510
437.52/437.62	c total #propagations: 6324146 / total #impl: 4326073163 (eff. 0.001)
437.52/437.62	c GC COLLECT
437.52/437.62	c #Conflicts:      14000 | #Learnt:       3883 | 0.105
437.52/437.62	c total clause space: 886.764MB
437.52/437.62	c total #watches: 7691420
465.22/465.35	c total #propagations: 7102246 / total #impl: 4419291387 (eff. 0.002)
465.22/465.35	c #Conflicts:      15000 | #Learnt:       4883 | 0.098
465.22/465.35	c total clause space: 886.764MB
465.22/465.35	c total #watches: 8809539
499.61/499.73	c total #propagations: 9418096 / total #impl: 4527088296 (eff. 0.002)
499.61/499.73	c #Conflicts:      16000 | #Learnt:       5883 | 0.092
499.61/499.73	c total clause space: 886.764MB
499.61/499.73	c total #watches: 10036117
525.50/525.66	c total #propagations: 10300829 / total #impl: 4697648626 (eff. 0.002)
525.50/525.66	c GC COLLECT
525.50/525.66	c #Conflicts:      17000 | #Learnt:       3697 | 0.094
525.50/525.66	c total clause space: 886.764MB
525.50/525.66	c total #watches: 6375465
558.09/558.29	c total #propagations: 10633613 / total #impl: 4897787783 (eff. 0.002)
558.09/558.29	c #Conflicts:      18000 | #Learnt:       4697 | 0.091
558.09/558.29	c total clause space: 886.764MB
558.09/558.29	c total #watches: 8803991
594.79/594.96	c total #propagations: 11111977 / total #impl: 5252399764 (eff. 0.002)
594.79/594.96	c #Conflicts:      19000 | #Learnt:       5697 | 0.424
594.79/594.96	c total clause space: 886.764MB
594.79/594.96	c total #watches: 11101055
648.88/649.00	c total #propagations: 11320781 / total #impl: 5533601751 (eff. 0.002)
648.88/649.00	c #Conflicts:      20000 | #Learnt:       6697 | 0.403
648.88/649.00	c total clause space: 886.764MB
648.88/649.00	c total #watches: 13149283
734.77/734.90	c total #propagations: 11654949 / total #impl: 5968035383 (eff. 0.002)
734.77/734.90	c GC COLLECT
734.77/734.90	c #Conflicts:      21000 | #Learnt:       4200 | 0.394
734.77/734.90	c total clause space: 886.764MB
734.77/734.90	c total #watches: 11193061
800.26/800.41	c total #propagations: 12314664 / total #impl: 6200226476 (eff. 0.002)
800.26/800.41	c #Conflicts:      22000 | #Learnt:       5200 | 0.376
800.26/800.41	c total clause space: 886.764MB
800.26/800.41	c total #watches: 13229235
864.05/864.26	c total #propagations: 13146896 / total #impl: 6450417508 (eff. 0.002)
864.05/864.26	c #Conflicts:      23000 | #Learnt:       6200 | 0.360
864.05/864.26	c total clause space: 886.764MB
864.05/864.26	c total #watches: 15626507
933.53/933.70	c total #propagations: 14087925 / total #impl: 6645956696 (eff. 0.002)
933.53/933.70	c #Conflicts:      24000 | #Learnt:       7200 | 0.367
933.53/933.70	c total clause space: 886.764MB
933.53/933.70	c total #watches: 18821825
990.02/990.20	c total #propagations: 14752047 / total #impl: 6876155395 (eff. 0.002)
990.02/990.20	c GC COLLECT
990.02/990.20	c #Conflicts:      25000 | #Learnt:       4408 | 0.356
990.02/990.20	c total clause space: 1440.99MB
990.02/990.20	c total #watches: 12935803
1025.32/1025.57	c total #propagations: 15438716 / total #impl: 7305343858 (eff. 0.002)
1025.32/1025.57	c #Conflicts:      26000 | #Learnt:       5408 | 0.343
1025.32/1025.57	c total clause space: 1440.99MB
1025.32/1025.57	c total #watches: 16503573
1071.82/1072.06	c total #propagations: 15712409 / total #impl: 7663205634 (eff. 0.002)
1071.82/1072.06	c #Conflicts:      27000 | #Learnt:       6408 | 0.334
1071.82/1072.06	c total clause space: 1440.99MB
1071.82/1072.06	c total #watches: 19386308
1116.11/1116.33	c total #propagations: 16070655 / total #impl: 7997388690 (eff. 0.002)
1116.11/1116.33	c #Conflicts:      28000 | #Learnt:       7408 | 0.392
1116.11/1116.33	c total clause space: 1440.99MB
1116.11/1116.33	c total #watches: 22191137
1158.60/1158.80	c total #propagations: 16460448 / total #impl: 8250083939 (eff. 0.002)
1158.60/1158.80	c GC COLLECT
1158.60/1158.80	c #Conflicts:      29000 | #Learnt:       4310 | 0.383
1158.60/1158.80	c total clause space: 1440.99MB
1158.60/1158.80	c total #watches: 14426189
1194.90/1195.15	c total #propagations: 16874019 / total #impl: 8410519207 (eff. 0.002)
1194.90/1195.15	c #Conflicts:      30000 | #Learnt:       5310 | 0.371
1194.90/1195.15	c total clause space: 1440.99MB
1194.90/1195.15	c total #watches: 15889493
1242.29/1242.50	c total #propagations: 17576621 / total #impl: 8751219470 (eff. 0.002)
1242.29/1242.50	c #Conflicts:      31000 | #Learnt:       6310 | 0.359
1242.29/1242.50	c total clause space: 1440.99MB
1242.29/1242.50	c total #watches: 17829905
1283.28/1283.53	c total #propagations: 18481901 / total #impl: 9113411297 (eff. 0.002)
1283.28/1283.53	c #Conflicts:      32000 | #Learnt:       7310 | 0.354
1283.28/1283.53	c total clause space: 1440.99MB
1283.28/1283.53	c total #watches: 19879853
1347.17/1347.41	c total #propagations: 18789566 / total #impl: 9398743263 (eff. 0.002)
1347.17/1347.41	c #Conflicts:      33000 | #Learnt:       8310 | 0.346
1347.17/1347.41	c total clause space: 1440.99MB
1347.17/1347.41	c total #watches: 22166455
1398.97/1399.28	c total #propagations: 19424293 / total #impl: 9649491100 (eff. 0.002)
1398.97/1399.28	c GC COLLECT
1398.97/1399.28	c #Conflicts:      34000 | #Learnt:       4910 | 0.337
1398.97/1399.28	c total clause space: 1440.99MB
1398.97/1399.28	c total #watches: 12024865
1437.57/1437.81	c total #propagations: 19966930 / total #impl: 9866881607 (eff. 0.002)
1437.57/1437.81	c #Conflicts:      35000 | #Learnt:       5910 | 0.327
1437.57/1437.81	c total clause space: 1440.99MB
1437.57/1437.81	c total #watches: 13906070
1470.75/1471.03	c total #propagations: 20669787 / total #impl: 10073153823 (eff. 0.002)
1470.75/1471.03	c #Conflicts:      36000 | #Learnt:       6910 | 0.318
1470.75/1471.03	c total clause space: 1440.99MB
1470.75/1471.03	c total #watches: 14795641
1517.35/1517.68	c total #propagations: 21581914 / total #impl: 10305573393 (eff. 0.002)
1517.35/1517.68	c #Conflicts:      37000 | #Learnt:       7910 | 0.312
1517.35/1517.68	c total clause space: 1440.99MB
1517.35/1517.68	c total #watches: 17002082
1563.74/1564.06	c total #propagations: 22139898 / total #impl: 10591062351 (eff. 0.002)
1563.74/1564.06	c #Conflicts:      38000 | #Learnt:       8910 | 0.307
1563.74/1564.06	c total clause space: 1440.99MB
1563.74/1564.06	c total #watches: 18888241
1609.83/1610.13	c total #propagations: 22628698 / total #impl: 10840398218 (eff. 0.002)
1609.83/1610.13	c GC COLLECT
1609.83/1610.13	c #Conflicts:      39000 | #Learnt:       5213 | 0.300
1609.83/1610.13	c total clause space: 1440.99MB
1609.83/1610.13	c total #watches: 10181702
1638.93/1639.27	c total #propagations: 23798854 / total #impl: 11013853761 (eff. 0.002)
1638.93/1639.27	c #Conflicts:      40000 | #Learnt:       6213 | 0.299
1638.93/1639.27	c total clause space: 1440.99MB
1638.93/1639.27	c total #watches: 12938975
1678.92/1679.29	c total #propagations: 24162384 / total #impl: 11241396781 (eff. 0.002)
1678.92/1679.29	c #Conflicts:      41000 | #Learnt:       7213 | 0.291
1678.92/1679.29	c total clause space: 1440.99MB
1678.92/1679.29	c total #watches: 15229830
1717.11/1717.48	c total #propagations: 24455955 / total #impl: 11809587312 (eff. 0.002)
1717.11/1717.48	c #Conflicts:      42000 | #Learnt:       8213 | 0.285
1717.11/1717.48	c total clause space: 1440.99MB
1717.11/1717.48	c total #watches: 16668927
1783.80/1784.13	c total #propagations: 24762937 / total #impl: 12480849052 (eff. 0.002)
1783.80/1784.13	c #Conflicts:      43000 | #Learnt:       9213 | 0.278
1783.80/1784.13	c total clause space: 1440.99MB
1783.80/1784.13	c total #watches: 17587909

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

pid=397
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.34 2.25 2.19 3/176 400
/proc/meminfo: memFree=29358808/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 125944823 57319424 4722 33554432000 4194304 6211289 140733895791264 140733595572920 4206761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 13994 4722 98 493 0 13491 0

[startup+0.100171 s]
/proc/loadavg: 2.34 2.25 2.19 3/176 400
/proc/meminfo: memFree=29358808/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=60652 CPUtime=0.09 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 1002 0 0 0 8 1 0 0 20 0 1 0 125944823 62107648 11562 33554432000 4194304 6211289 140733895791264 140733595572920 5252555 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 15163 11562 121 493 0 14660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60652

[startup+0.200504 s]
/proc/loadavg: 2.34 2.25 2.19 3/176 400
/proc/meminfo: memFree=29358808/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=65004 CPUtime=0.19 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 1704 0 0 0 18 1 0 0 20 0 1 0 125944823 66564096 12708 33554432000 4194304 6211289 140733895791264 140733595572920 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 16251 12708 121 493 0 15748 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 65004

[startup+0.300341 s]
/proc/loadavg: 2.34 2.25 2.19 3/176 400
/proc/meminfo: memFree=29358808/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=65004 CPUtime=0.29 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 1911 0 0 0 28 1 0 0 20 0 1 0 125944823 66564096 12915 33554432000 4194304 6211289 140733895791264 140733595572920 5252566 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 16251 12916 121 493 0 15748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65004

[startup+0.700225 s]
/proc/loadavg: 2.34 2.25 2.19 3/176 400
/proc/meminfo: memFree=29358808/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=91128 CPUtime=0.69 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 3393 0 0 0 67 2 0 0 20 0 1 0 125944823 93315072 16042 33554432000 4194304 6211289 140733895791264 140733895790104 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 22782 16042 121 493 0 22279 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91128

[startup+1.5003 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 401
/proc/meminfo: memFree=29282096/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=175348 CPUtime=1.49 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 5687 0 0 0 145 4 0 0 20 0 1 0 125944823 179556352 41331 33554432000 4194304 6211289 140733895791264 140733895788680 4635649 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 43837 41331 144 493 0 43334 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175348

[startup+3.10031 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 401
/proc/meminfo: memFree=29125204/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=385824 CPUtime=3.09 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 8912 0 0 0 301 8 0 0 20 0 1 0 125944823 395083776 81793 33554432000 4194304 6211289 140733895791264 140733895789752 4259898 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 96456 81793 144 493 0 95953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 385824

[startup+6.30026 s]
/proc/loadavg: 2.31 2.25 2.19 4/177 401
/proc/meminfo: memFree=28927500/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=487112 CPUtime=6.29 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 22432 0 0 0 616 13 0 0 20 0 1 0 125944823 498802688 109686 33554432000 4194304 6211289 140733895791264 140733895789176 4209523 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 121778 109686 204 493 0 121275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 487112

[startup+12.7003 s]
/proc/loadavg: 2.37 2.26 2.19 3/177 401
/proc/meminfo: memFree=28844344/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=640372 CPUtime=12.69 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 27869 0 0 0 1254 15 0 0 20 0 1 0 125944823 655740928 129416 33554432000 4194304 6211289 140733895791264 140733895789176 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 160093 129416 204 493 0 159590 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 640372

[startup+25.5004 s]
/proc/loadavg: 2.44 2.28 2.20 3/177 401
/proc/meminfo: memFree=28757356/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=645888 CPUtime=25.49 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 29296 0 0 0 2532 17 0 0 20 0 1 0 125944823 661389312 149239 33554432000 4194304 6211289 140733895791264 140733895789256 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 161472 149239 214 493 0 160969 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 645888

[startup+51.1004 s]
/proc/loadavg: 2.29 2.26 2.19 4/176 401
/proc/meminfo: memFree=28669160/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=901276 CPUtime=51.08 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 39743 0 0 0 5088 20 0 0 20 0 1 0 125944823 922906624 171078 33554432000 4194304 6211289 140733895791264 140733895789608 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 225319 171078 219 493 0 224816 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 901276

[startup+102.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/177 403
/proc/meminfo: memFree=28569324/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=905168 CPUtime=102.28 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 42166 0 0 0 10206 22 0 0 20 0 1 0 125944823 926892032 192893 33554432000 4194304 6211289 140733895791264 140733895789256 4243125 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 226292 192893 219 493 0 225789 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 905168

[startup+162.3 s]
/proc/loadavg: 2.45 2.32 2.21 3/177 404
/proc/meminfo: memFree=28444556/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=919280 CPUtime=162.26 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 45795 0 0 0 16202 24 0 0 20 0 1 0 125944823 941342720 220028 33554432000 4194304 6211289 140733895791264 140733895789176 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 229820 220028 219 493 0 229317 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 919280

[startup+222.307 s]
/proc/loadavg: 2.41 2.33 2.22 3/177 405
/proc/meminfo: memFree=28414860/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1269392 CPUtime=222.26 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 46981 0 0 0 22201 25 0 0 20 0 1 0 125944823 1299857408 225944 33554432000 4194304 6211289 140733895791264 140733895789256 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 317348 225944 219 493 0 316845 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1269392

[startup+282.3 s]
/proc/loadavg: 2.41 2.34 2.23 3/177 406
/proc/meminfo: memFree=28321932/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1337648 CPUtime=282.25 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 58875 0 0 0 28197 28 0 0 20 0 1 0 125944823 1369751552 249591 33554432000 4194304 6211289 140733895791264 140733895789176 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 334412 249591 219 493 0 333909 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1337648

[startup+342.3 s]
/proc/loadavg: 2.25 2.31 2.23 3/177 407
/proc/meminfo: memFree=28297928/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1341648 CPUtime=342.24 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 59913 0 0 0 34195 29 0 0 20 0 1 0 125944823 1373847552 254717 33554432000 4194304 6211289 140733895791264 140733895789608 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 335412 254717 219 493 0 334909 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1341648

[startup+402.3 s]
/proc/loadavg: 2.14 2.26 2.21 3/177 409
/proc/meminfo: memFree=28262740/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1353176 CPUtime=402.23 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 62667 0 0 0 40193 30 0 0 20 0 1 0 125944823 1385652224 264114 33554432000 4194304 6211289 140733895791264 140733895789176 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 338294 264114 219 493 0 337791 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1353176

[startup+462.3 s]
/proc/loadavg: 2.42 2.31 2.23 3/177 410
/proc/meminfo: memFree=28250880/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1353816 CPUtime=462.22 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 62903 0 0 0 46192 30 0 0 20 0 1 0 125944823 1386307584 266394 33554432000 4194304 6211289 140733895791264 140733895789608 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 338454 266394 219 493 0 337951 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1353816

[startup+522.3 s]
/proc/loadavg: 2.35 2.30 2.23 3/178 414
/proc/meminfo: memFree=28249708/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1353816 CPUtime=522.2 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 63021 0 0 0 52190 30 0 0 20 0 1 0 125944823 1386307584 266502 33554432000 4194304 6211289 140733895791264 140733895789608 4241570 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 338454 266502 219 493 0 337951 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1353816

[startup+582.3 s]
/proc/loadavg: 2.31 2.30 2.23 3/177 415
/proc/meminfo: memFree=28232144/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1353816 CPUtime=582.19 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 63073 0 0 0 58189 30 0 0 20 0 1 0 125944823 1386307584 270868 33554432000 4194304 6211289 140733895791264 140733895789608 4202033 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 338454 270868 219 493 0 337951 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1353816


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


[startup+942.3 s]
/proc/loadavg: 2.19 2.26 2.23 3/177 468
/proc/meminfo: memFree=27530924/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1400748 CPUtime=942.13 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 72861 0 0 0 94177 36 0 0 20 0 1 0 125944823 1434365952 337188 33554432000 4194304 6211289 140733895791264 140733895789256 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 350187 337188 219 493 0 349684 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1400748

[startup+1002.3 s]
/proc/loadavg: 2.40 2.30 2.25 4/177 470
/proc/meminfo: memFree=27366512/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1971316 CPUtime=1002.12 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 74494 0 0 0 100169 43 0 0 20 0 1 0 125944823 2018627584 346461 33554432000 4194304 6211289 140733895791264 140733895789608 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 492829 346461 219 493 0 492326 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1971316

[startup+1062.3 s]
/proc/loadavg: 2.26 2.27 2.24 3/176 471
/proc/meminfo: memFree=27300108/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1974036 CPUtime=1062.12 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 75379 0 0 0 106168 44 0 0 20 0 1 0 125944823 2021412864 347346 33554432000 4194304 6211289 140733895791264 140733895789256 4201944 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 493509 347346 219 493 0 493006 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1974036

[startup+1122.3 s]
/proc/loadavg: 2.38 2.30 2.25 3/178 476
/proc/meminfo: memFree=27134584/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=1979032 CPUtime=1122.1 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 77089 0 0 0 112165 45 0 0 20 0 1 0 125944823 2026528768 363874 33554432000 4194304 6211289 140733895791264 140733895789176 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 494758 363874 219 493 0 494255 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1979032

[startup+1182.3 s]
/proc/loadavg: 2.30 2.29 2.25 4/178 500
/proc/meminfo: memFree=23525268/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1182.1 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 91925 0 0 0 118161 49 0 0 20 0 1 0 125944823 2131804160 395041 33554432000 4194304 6211289 140733895791264 140733895789608 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395041 219 493 0 519957 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2081840

[startup+1242.3 s]
/proc/loadavg: 2.22 2.26 2.24 4/177 501
/proc/meminfo: memFree=22732340/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1242.09 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 91925 0 0 0 124160 49 0 0 20 0 1 0 125944823 2131804160 395041 33554432000 4194304 6211289 140733895791264 140733895789608 4243196 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395041 219 493 0 519957 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2081840

[startup+1302.3 s]
/proc/loadavg: 2.16 2.24 2.23 3/177 503
/proc/meminfo: memFree=22663672/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1302.08 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 91943 0 0 0 130159 49 0 0 20 0 1 0 125944823 2131804160 395059 33554432000 4194304 6211289 140733895791264 140733895789608 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395059 219 493 0 519957 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2081840

[startup+1362.3 s]
/proc/loadavg: 2.25 2.25 2.24 4/177 504
/proc/meminfo: memFree=22658692/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1362.07 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92103 0 0 0 136158 49 0 0 20 0 1 0 125944823 2131804160 395219 33554432000 4194304 6211289 140733895791264 140733895789608 4209384 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395219 219 493 0 519957 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2081840

[startup+1422.3 s]
/proc/loadavg: 2.23 2.25 2.24 3/177 505
/proc/meminfo: memFree=22644652/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1422.07 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92107 0 0 0 142158 49 0 0 20 0 1 0 125944823 2131804160 395223 33554432000 4194304 6211289 140733895791264 140733895789608 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395223 219 493 0 519957 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2081840

[startup+1482.3 s]
/proc/loadavg: 2.18 2.23 2.23 3/177 506
/proc/meminfo: memFree=22632892/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1482.05 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92107 0 0 0 148156 49 0 0 20 0 1 0 125944823 2131804160 395223 33554432000 4194304 6211289 140733895791264 140733895789608 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395223 219 493 0 519957 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2081840

[startup+1542.31 s]
/proc/loadavg: 2.27 2.25 2.23 4/177 507
/proc/meminfo: memFree=22593272/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1542.05 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92107 0 0 0 154156 49 0 0 20 0 1 0 125944823 2131804160 395223 33554432000 4194304 6211289 140733895791264 140733895789608 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395223 219 493 0 519957 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 2081840

[startup+1602.3 s]
/proc/loadavg: 2.33 2.26 2.24 3/177 509
/proc/meminfo: memFree=22588972/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1602.03 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92168 0 0 0 160154 49 0 0 20 0 1 0 125944823 2131804160 395284 33554432000 4194304 6211289 140733895791264 140733895789608 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395284 219 493 0 519957 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2081840

[startup+1662.3 s]
/proc/loadavg: 2.27 2.26 2.24 3/177 511
/proc/meminfo: memFree=22582604/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1662.02 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92168 0 0 0 166153 49 0 0 20 0 1 0 125944823 2131804160 395284 33554432000 4194304 6211289 140733895791264 140733895789608 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395284 219 493 0 519957 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2081840

[startup+1722.3 s]
/proc/loadavg: 2.14 2.22 2.22 4/178 515
/proc/meminfo: memFree=22576424/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1722.01 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92170 0 0 0 172152 49 0 0 20 0 1 0 125944823 2131804160 395286 33554432000 4194304 6211289 140733895791264 140733895789608 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395286 219 493 0 519957 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2081840

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.23 3/177 516
/proc/meminfo: memFree=22558072/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1782 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92171 0 0 0 178151 49 0 0 20 0 1 0 125944823 2131804160 395287 33554432000 4194304 6211289 140733895791264 140733895789608 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395287 219 493 0 519957 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2081840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.22 2.22 3/177 516
/proc/meminfo: memFree=22553156/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1800 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92171 0 0 0 179951 49 0 0 20 0 1 0 125944823 2131804160 395287 33554432000 4194304 6211289 140733895791264 140733895789608 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395287 219 493 0 519957 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2081840

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.22 2.22 3/177 516
/proc/meminfo: memFree=22553156/32872528 swapFree=15272/1656604
[pid=400] ppid=397 vsize=2081840 CPUtime=1800 cores=1,3,5,7
/proc/400/stat : 400 (cdcl-cuttingpla) R 397 400 30659 0 -1 4202496 92171 0 0 0 179951 49 0 0 20 0 1 0 125944823 2131804160 395287 33554432000 4194304 6211289 140733895791264 140733895789608 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/400/statm: 520460 395287 219 493 0 519957 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2081840

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.07
CPU user time (s): 1799.52
CPU system time (s): 0.553915
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 2081840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.553915
maximum resident set size= 1581148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92171
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= 35
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64329 second user time and 6.91695 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-09 04:41:55
IDJOB=4087875
IDBENCH=89912
IDSOLVER=2549
FILE ID=node136/4087875-1465440114
RUNJOBID= node136-1465436019-31610
PBS_JOBID= 19859778
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087875-1465440114/watcher-4087875-1465440114 -o /tmp/evaluation-result-4087875-1465440114/solver-4087875-1465440114 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465436019-31610 --watchdog 1960 --input HOME/instance-4087875-1465440114.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 0476e702136eda2e813dad2792abe9ac
RANDOM SEED=1718212434

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29359088 kB
Buffers:           86636 kB
Cached:           848112 kB
SwapCached:          712 kB
Active:           637444 kB
Inactive:         475808 kB
Active(anon):     178400 kB
Inactive(anon):     2648 kB
Active(file):     459044 kB
Inactive(file):   473160 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099424 kB
Dirty:             33416 kB
Writeback:             0 kB
AnonPages:       1838652 kB
Mapped:             7840 kB
Shmem:                 0 kB
Slab:             605640 kB
SReclaimable:      49476 kB
SUnreclaim:       556164 kB
KernelStack:        1440 kB
PageTables:         7788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1978444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1810432 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= 71700 MiB
End job on node136 at 2016-06-09 05:11:55