Trace number 4087231

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 NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K141.opb
MD5SUMe981076bb5354ded6cb9b093a6d1a03e
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16779
Total number of constraints17063
Number of constraints which are clauses16922
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint141
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 142
Number of bits of the biggest sum of numbers8
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 * #variable= 16779 #constraint= 17063
1.49/1.50	c #Conflicts:       1000 | #Learnt:        998 | 0.000
1.49/1.50	c total clause space: 18.2382MB
1.49/1.50	c total #watches: 124294
5.50/5.54	c total #propagations: 1174653 / total #impl: 11339617 (eff. 0.104)
5.50/5.54	c #Conflicts:       2000 | #Learnt:       1998 | 0.002
5.50/5.54	c total clause space: 29.637MB
5.50/5.54	c total #watches: 233216
10.69/10.71	c total #propagations: 2202285 / total #impl: 42671567 (eff. 0.052)
10.69/10.71	c GARBAGE COLLECT
10.69/10.71	c #Conflicts:       3000 | #Learnt:       2050 | 0.002
10.69/10.71	c total clause space: 29.637MB
10.69/10.71	c total #watches: 310405
22.98/23.06	c total #propagations: 2815721 / total #impl: 75027625 (eff. 0.038)
22.98/23.06	c #Conflicts:       4000 | #Learnt:       3050 | 0.002
22.98/23.06	c total clause space: 48.1602MB
22.98/23.06	c total #watches: 461737
37.88/37.98	c total #propagations: 3636949 / total #impl: 124471946 (eff. 0.029)
37.88/37.98	c GARBAGE COLLECT
37.88/37.98	c #Conflicts:       5000 | #Learnt:       2447 | 0.001
37.88/37.98	c total clause space: 48.1602MB
37.88/37.98	c total #watches: 437147
58.98/59.09	c total #propagations: 4510110 / total #impl: 189825316 (eff. 0.024)
58.98/59.09	c #Conflicts:       6000 | #Learnt:       3447 | 0.001
58.98/59.09	c total clause space: 48.1602MB
58.98/59.09	c total #watches: 570394
73.27/73.32	c total #propagations: 5518968 / total #impl: 271163728 (eff. 0.020)
73.27/73.32	c GARBAGE COLLECT
73.27/73.32	c #Conflicts:       7000 | #Learnt:       2354 | 0.001
73.27/73.32	c total clause space: 78.2603MB
73.27/73.32	c total #watches: 456609
93.87/93.99	c total #propagations: 6109153 / total #impl: 383145719 (eff. 0.016)
93.87/93.99	c #Conflicts:       8000 | #Learnt:       3354 | 0.001
93.87/93.99	c total clause space: 78.2603MB
93.87/93.99	c total #watches: 628383
135.37/135.48	c total #propagations: 6676901 / total #impl: 590410863 (eff. 0.011)
135.37/135.48	c #Conflicts:       9000 | #Learnt:       4354 | 0.001
135.37/135.48	c total clause space: 127.173MB
135.37/135.48	c total #watches: 812186
195.65/195.77	c total #propagations: 7434525 / total #impl: 783688166 (eff. 0.009)
195.65/195.77	c GARBAGE COLLECT
195.65/195.77	c #Conflicts:      10000 | #Learnt:       2857 | 0.001
195.65/195.77	c total clause space: 127.173MB
195.65/195.77	c total #watches: 623347
221.85/221.91	c total #propagations: 8426362 / total #impl: 1034305924 (eff. 0.008)
221.85/221.91	c #Conflicts:      11000 | #Learnt:       3857 | 0.001
221.85/221.91	c total clause space: 127.173MB
221.85/221.91	c total #watches: 731415
266.15/266.22	c total #propagations: 9221000 / total #impl: 1094144154 (eff. 0.008)
266.15/266.22	c #Conflicts:      12000 | #Learnt:       4857 | 0.001
266.15/266.22	c total clause space: 127.173MB
266.15/266.22	c total #watches: 889377
326.34/326.48	c total #propagations: 10083285 / total #impl: 1248243308 (eff. 0.008)
326.34/326.48	c #Conflicts:      13000 | #Learnt:       5857 | 0.001
326.34/326.48	c total clause space: 127.173MB
326.34/326.48	c total #watches: 1015063
351.73/351.82	c total #propagations: 11092058 / total #impl: 1460653130 (eff. 0.008)
351.73/351.82	c GARBAGE COLLECT
351.73/351.82	c #Conflicts:      14000 | #Learnt:       3987 | 0.001
351.73/351.82	c total clause space: 127.173MB
351.73/351.82	c total #watches: 665389
380.63/380.79	c total #propagations: 12046935 / total #impl: 1571797884 (eff. 0.008)
380.63/380.79	c #Conflicts:      15000 | #Learnt:       4987 | 0.001
380.63/380.79	c total clause space: 127.173MB
380.63/380.79	c total #watches: 809339
419.13/419.29	c total #propagations: 12956332 / total #impl: 1701603266 (eff. 0.008)
419.13/419.29	c #Conflicts:      16000 | #Learnt:       5987 | 0.002
419.13/419.29	c total clause space: 127.173MB
419.13/419.29	c total #watches: 1015508
460.41/460.58	c total #propagations: 13684277 / total #impl: 1878751430 (eff. 0.007)
460.41/460.58	c GARBAGE COLLECT
460.41/460.58	c #Conflicts:      17000 | #Learnt:       3806 | 0.002
460.41/460.58	c total clause space: 127.173MB
460.41/460.58	c total #watches: 641276
477.42/477.53	c total #propagations: 14516279 / total #impl: 1988189241 (eff. 0.007)
477.42/477.53	c #Conflicts:      18000 | #Learnt:       4806 | 0.001
477.42/477.53	c total clause space: 127.173MB
477.42/477.53	c total #watches: 753963
500.31/500.46	c total #propagations: 15076038 / total #impl: 2070531428 (eff. 0.007)
500.31/500.46	c #Conflicts:      19000 | #Learnt:       5806 | 0.001
500.31/500.46	c total clause space: 127.173MB
500.31/500.46	c total #watches: 882226
550.90/551.04	c total #propagations: 15639491 / total #impl: 2178948312 (eff. 0.007)
550.90/551.04	c #Conflicts:      20000 | #Learnt:       6806 | 0.001
550.90/551.04	c total clause space: 127.173MB
550.90/551.04	c total #watches: 1014747
591.60/591.76	c total #propagations: 16555845 / total #impl: 2329764761 (eff. 0.007)
591.60/591.76	c GARBAGE COLLECT
591.60/591.76	c #Conflicts:      21000 | #Learnt:       4354 | 0.001
591.60/591.76	c total clause space: 127.173MB
591.60/591.76	c total #watches: 675027
646.09/646.23	c total #propagations: 17360117 / total #impl: 2445344930 (eff. 0.007)
646.09/646.23	c #Conflicts:      22000 | #Learnt:       5354 | 0.001
646.09/646.23	c total clause space: 127.173MB
646.09/646.23	c total #watches: 869972
703.18/703.30	c total #propagations: 18324963 / total #impl: 2628932310 (eff. 0.007)
703.18/703.30	c #Conflicts:      23000 | #Learnt:       6354 | 0.002
703.18/703.30	c total clause space: 127.173MB
703.18/703.30	c total #watches: 1011541
800.96/801.10	c total #propagations: 18981665 / total #impl: 2775370775 (eff. 0.007)
800.96/801.10	c #Conflicts:      24000 | #Learnt:       7354 | 0.002
800.96/801.10	c total clause space: 206.656MB
800.96/801.10	c total #watches: 1248809
886.46/886.61	c total #propagations: 20001236 / total #impl: 3040718797 (eff. 0.007)
886.46/886.61	c GARBAGE COLLECT
886.46/886.61	c #Conflicts:      25000 | #Learnt:       4545 | 0.002
886.46/886.61	c total clause space: 206.656MB
886.46/886.61	c total #watches: 862714
937.95/938.19	c total #propagations: 20963741 / total #impl: 3215068101 (eff. 0.007)
937.95/938.19	c #Conflicts:      26000 | #Learnt:       5545 | 0.002
937.95/938.19	c total clause space: 206.656MB
937.95/938.19	c total #watches: 1079235
1011.94/1012.14	c total #propagations: 21602173 / total #impl: 3353458343 (eff. 0.006)
1011.94/1012.14	c #Conflicts:      27000 | #Learnt:       6545 | 0.002
1011.94/1012.14	c total clause space: 206.656MB
1011.94/1012.14	c total #watches: 1283761
1120.61/1120.84	c total #propagations: 22371186 / total #impl: 3597451041 (eff. 0.006)
1120.61/1120.84	c #Conflicts:      28000 | #Learnt:       7545 | 0.002
1120.61/1120.84	c total clause space: 206.656MB
1120.61/1120.84	c total #watches: 1540393
1243.90/1244.17	c total #propagations: 23167129 / total #impl: 3946465099 (eff. 0.006)
1243.90/1244.17	c GARBAGE COLLECT
1243.90/1244.17	c #Conflicts:      29000 | #Learnt:       4434 | 0.002
1243.90/1244.17	c total clause space: 206.656MB
1243.90/1244.17	c total #watches: 864393
1303.98/1304.24	c total #propagations: 24094689 / total #impl: 4242549631 (eff. 0.006)
1303.98/1304.24	c #Conflicts:      30000 | #Learnt:       5434 | 0.002
1303.98/1304.24	c total clause space: 206.656MB
1303.98/1304.24	c total #watches: 1021211
1378.07/1378.31	c total #propagations: 24957247 / total #impl: 4487921399 (eff. 0.006)
1378.07/1378.31	c #Conflicts:      31000 | #Learnt:       6434 | 0.002
1378.07/1378.31	c total clause space: 206.656MB
1378.07/1378.31	c total #watches: 1268417
1474.26/1474.57	c total #propagations: 25685407 / total #impl: 4765761922 (eff. 0.005)
1474.26/1474.57	c #Conflicts:      32000 | #Learnt:       7434 | 0.002
1474.26/1474.57	c total clause space: 206.656MB
1474.26/1474.57	c total #watches: 1473717
1592.44/1592.79	c total #propagations: 26485376 / total #impl: 4997161386 (eff. 0.005)
1592.44/1592.79	c #Conflicts:      33000 | #Learnt:       8434 | 0.002
1592.44/1592.79	c total clause space: 206.656MB
1592.44/1592.79	c total #watches: 1660053
1660.93/1661.22	c total #propagations: 27332538 / total #impl: 5425853905 (eff. 0.005)
1660.93/1661.22	c GARBAGE COLLECT
1660.93/1661.22	c #Conflicts:      34000 | #Learnt:       5059 | 0.002
1660.93/1661.22	c total clause space: 206.656MB
1660.93/1661.22	c total #watches: 1044050
1706.93/1707.21	c total #propagations: 27949512 / total #impl: 5757144028 (eff. 0.005)
1706.93/1707.21	c #Conflicts:      35000 | #Learnt:       6059 | 0.002
1706.93/1707.21	c total clause space: 206.656MB
1706.93/1707.22	c total #watches: 1403676

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-4087231-1465432431/watcher-4087231-1465432431 -o /tmp/evaluation-result-4087231-1465432431/solver-4087231-1465432431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465427028-5242 --watchdog 1960 --input HOME/instance-4087231-1465432431.opb ./cdcl-cuttingplanes-release 

pid=5689
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.31 2.26 2.19 3/172 5692
/proc/meminfo: memFree=29632644/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 125175948 29802496 5261 33554432000 4194304 6199737 140736976682800 140733200674552 4209400 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 7276 5261 122 490 0 6777 0

[startup+0.100167 s]
/proc/loadavg: 2.31 2.26 2.19 3/172 5692
/proc/meminfo: memFree=29632644/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=34580 CPUtime=0.09 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 1364 0 0 0 9 0 0 0 20 0 1 0 125175948 35409920 7528 33554432000 4194304 6199737 140736976682800 140733200674552 5407536 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 8645 7529 134 490 0 8146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34580

[startup+0.200359 s]
/proc/loadavg: 2.31 2.26 2.19 3/172 5692
/proc/meminfo: memFree=29632644/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=37616 CPUtime=0.19 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 1953 0 0 0 19 0 0 0 20 0 1 0 125175948 38518784 7913 33554432000 4194304 6199737 140736976682800 140733200674552 5309554 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 9404 7913 139 490 0 8905 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37616

[startup+0.300313 s]
/proc/loadavg: 2.31 2.26 2.19 3/172 5692
/proc/meminfo: memFree=29632644/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=37748 CPUtime=0.29 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 2289 0 0 0 29 0 0 0 20 0 1 0 125175948 38653952 8139 33554432000 4194304 6199737 140736976682800 140736976681592 4208371 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 9437 8139 139 490 0 8938 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37748

[startup+0.700254 s]
/proc/loadavg: 2.31 2.26 2.19 3/172 5692
/proc/meminfo: memFree=29632644/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=42808 CPUtime=0.69 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 2830 0 0 0 69 0 0 0 20 0 1 0 125175948 43835392 9049 33554432000 4194304 6199737 140736976682800 140736976681592 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 10702 9049 139 490 0 10203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42808

[startup+1.50027 s]
/proc/loadavg: 2.28 2.25 2.19 4/177 5704
/proc/meminfo: memFree=29556692/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=50496 CPUtime=1.49 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 3448 0 0 0 149 0 0 0 20 0 1 0 125175948 51707904 9988 33554432000 4194304 6199737 140736976682800 140736976681448 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 12624 9988 139 490 0 12125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50496

[startup+3.10024 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 5704
/proc/meminfo: memFree=29546020/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=51228 CPUtime=3.09 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 3642 0 0 0 308 1 0 0 20 0 1 0 125175948 52457472 11204 33554432000 4194304 6199737 140736976682800 140736976681736 4213238 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 12807 11204 155 490 0 12308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51228

[startup+6.30025 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 5704
/proc/meminfo: memFree=29532576/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=64104 CPUtime=6.29 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 5153 0 0 0 628 1 0 0 20 0 1 0 125175948 65642496 13257 33554432000 4194304 6199737 140736976682800 140736976681448 5149722 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 16026 13257 155 490 0 15527 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64104

[startup+12.7002 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 5704
/proc/meminfo: memFree=29520476/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=65740 CPUtime=12.69 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 5709 0 0 0 1268 1 0 0 20 0 1 0 125175948 67317760 14820 33554432000 4194304 6199737 140736976682800 140736976681496 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 16435 14820 161 490 0 15936 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65740

[startup+25.5004 s]
/proc/loadavg: 2.26 2.25 2.19 3/177 5704
/proc/meminfo: memFree=29500260/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=86668 CPUtime=25.48 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 6677 0 0 0 2547 1 0 0 20 0 1 0 125175948 88748032 17656 33554432000 4194304 6199737 140736976682800 140736976681736 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 21667 17656 161 490 0 21168 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86668

[startup+51.1004 s]
/proc/loadavg: 2.30 2.26 2.19 3/177 5704
/proc/meminfo: memFree=29467988/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=88132 CPUtime=51.08 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 7437 0 0 0 5106 2 0 0 20 0 1 0 125175948 90247168 19270 33554432000 4194304 6199737 140736976682800 140736976681736 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 22033 19270 161 490 0 21534 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88132

[startup+102.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 5705
/proc/meminfo: memFree=29428528/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=123264 CPUtime=102.28 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 9269 0 0 0 10225 3 0 0 20 0 1 0 125175948 126222336 26873 33554432000 4194304 6199737 140736976682800 140736976681448 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 30816 26873 161 490 0 30317 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 123264

[startup+162.3 s]
/proc/loadavg: 2.17 2.23 2.18 3/177 5706
/proc/meminfo: memFree=29399664/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=175644 CPUtime=162.26 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 10128 0 0 0 16223 3 0 0 20 0 1 0 125175948 179859456 32259 33554432000 4194304 6199737 140736976682800 140736976681736 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 43911 32259 161 490 0 43412 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 175644

[startup+222.307 s]
/proc/loadavg: 2.35 2.26 2.19 3/177 5708
/proc/meminfo: memFree=29391912/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=176168 CPUtime=222.25 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 10596 0 0 0 22222 3 0 0 20 0 1 0 125175948 180396032 33515 33554432000 4194304 6199737 140736976682800 140736976681912 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 44042 33515 161 490 0 43543 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 176168

[startup+282.3 s]
/proc/loadavg: 2.38 2.29 2.20 3/177 5709
/proc/meminfo: memFree=29388064/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=177236 CPUtime=282.24 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 10949 0 0 0 28220 4 0 0 20 0 1 0 125175948 181489664 33851 33554432000 4194304 6199737 140736976682800 140736976681736 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 44309 33851 161 490 0 43810 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 177236

[startup+342.3 s]
/proc/loadavg: 2.39 2.31 2.21 3/177 5710
/proc/meminfo: memFree=29340340/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=177884 CPUtime=342.23 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 11260 0 0 0 34219 4 0 0 20 0 1 0 125175948 182153216 34129 33554432000 4194304 6199737 140736976682800 140736976681736 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 44471 34129 161 490 0 43972 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 177884

[startup+402.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/178 5714
/proc/meminfo: memFree=29335932/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=179148 CPUtime=402.22 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 11608 0 0 0 40218 4 0 0 20 0 1 0 125175948 183447552 34475 33554432000 4194304 6199737 140736976682800 140736976681736 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 44787 34475 161 490 0 44288 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 179148

[startup+462.3 s]
/proc/loadavg: 2.29 2.30 2.21 4/177 5715
/proc/meminfo: memFree=29333084/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=180680 CPUtime=462.21 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 12065 0 0 0 46217 4 0 0 20 0 1 0 125175948 185016320 34922 33554432000 4194304 6199737 140736976682800 140736976681912 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 45170 34922 161 490 0 44671 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 180680

[startup+522.3 s]
/proc/loadavg: 2.15 2.25 2.20 3/177 5717
/proc/meminfo: memFree=29309632/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=182424 CPUtime=522.21 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 12529 0 0 0 52216 5 0 0 20 0 1 0 125175948 186802176 39985 33554432000 4194304 6199737 140736976682800 140736976681736 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 45606 39985 161 490 0 45107 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 182424

[startup+582.3 s]
/proc/loadavg: 2.26 2.27 2.21 4/177 5718
/proc/meminfo: memFree=29289708/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=183044 CPUtime=582.2 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 12740 0 0 0 58215 5 0 0 20 0 1 0 125175948 187437056 43262 33554432000 4194304 6199737 140736976682800 140736976681736 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 45761 43262 161 490 0 45262 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 183044


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.25 2.20 4/177 5725
/proc/meminfo: memFree=29259668/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=268504 CPUtime=942.15 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 14381 0 0 0 94209 6 0 0 20 0 1 0 125175948 274948096 48594 33554432000 4194304 6199737 140736976682800 140736976681912 4213456 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67126 48594 161 490 0 66627 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 268504

[startup+1002.3 s]
/proc/loadavg: 2.27 2.25 2.20 4/178 5729
/proc/meminfo: memFree=29257968/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=268700 CPUtime=1002.14 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 14423 0 0 0 100208 6 0 0 20 0 1 0 125175948 275148800 48636 33554432000 4194304 6199737 140736976682800 140736976681736 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67175 48636 161 490 0 66676 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 268700

[startup+1062.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/177 5730
/proc/meminfo: memFree=29246924/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=270472 CPUtime=1062.13 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 14885 0 0 0 106207 6 0 0 20 0 1 0 125175948 276963328 49098 33554432000 4194304 6199737 140736976682800 140736976681736 4213495 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67618 49098 161 490 0 67119 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 270472

[startup+1122.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/176 5731
/proc/meminfo: memFree=29232944/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=270620 CPUtime=1122.11 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15136 0 0 0 112205 6 0 0 20 0 1 0 125175948 277114880 49234 33554432000 4194304 6199737 140736976682800 140736976681912 4213320 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67655 49234 161 490 0 67156 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 270620

[startup+1182.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 5733
/proc/meminfo: memFree=29226012/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=270808 CPUtime=1182.1 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15183 0 0 0 118204 6 0 0 20 0 1 0 125175948 277307392 50303 33554432000 4194304 6199737 140736976682800 140736976681736 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67702 50303 161 490 0 67203 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 270808

[startup+1242.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 5734
/proc/meminfo: memFree=29220556/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=271264 CPUtime=1242.09 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15316 0 0 0 124203 6 0 0 20 0 1 0 125175948 277774336 51421 33554432000 4194304 6199737 140736976682800 140736976681624 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67816 51421 161 490 0 67317 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 271264

[startup+1302.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 5735
/proc/meminfo: memFree=29219664/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=271264 CPUtime=1302.08 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15333 0 0 0 130202 6 0 0 20 0 1 0 125175948 277774336 51438 33554432000 4194304 6199737 140736976682800 140736976681912 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67816 51438 161 490 0 67317 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 271264

[startup+1362.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/177 5736
/proc/meminfo: memFree=29218544/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=271816 CPUtime=1362.07 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15471 0 0 0 136201 6 0 0 20 0 1 0 125175948 278339584 51576 33554432000 4194304 6199737 140736976682800 140736976681416 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 67954 51576 161 490 0 67455 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 271816

[startup+1422.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 5737
/proc/meminfo: memFree=29218168/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=272116 CPUtime=1422.08 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15535 0 0 0 142201 7 0 0 20 0 1 0 125175948 278646784 51640 33554432000 4194304 6199737 140736976682800 140736976681736 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68029 51640 161 490 0 67530 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 272116

[startup+1482.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/177 5739
/proc/meminfo: memFree=29217424/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=272376 CPUtime=1482.06 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15594 0 0 0 148199 7 0 0 20 0 1 0 125175948 278913024 51699 33554432000 4194304 6199737 140736976682800 140736976681736 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68094 51699 161 490 0 67595 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 272376

[startup+1542.31 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 5740
/proc/meminfo: memFree=29215932/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=272656 CPUtime=1542.06 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15683 0 0 0 154199 7 0 0 20 0 1 0 125175948 279199744 51788 33554432000 4194304 6199737 140736976682800 140736976681736 4213493 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68164 51788 161 490 0 67665 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 272656

[startup+1602.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/178 5744
/proc/meminfo: memFree=29214420/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=273136 CPUtime=1602.04 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 15995 0 0 0 160197 7 0 0 20 0 1 0 125175948 279691264 51974 33554432000 4194304 6199737 140736976682800 140736976681496 4213377 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68284 51974 161 490 0 67785 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 273136

[startup+1662.3 s]
/proc/loadavg: 2.34 2.24 2.19 4/179 5768
/proc/meminfo: memFree=29211720/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=273784 CPUtime=1662.03 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 16308 0 0 0 166196 7 0 0 20 0 1 0 125175948 280354816 52663 33554432000 4194304 6199737 140736976682800 140736976681912 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68446 52663 161 490 0 67947 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 273784

[startup+1722.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/178 5769
/proc/meminfo: memFree=29210856/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=274540 CPUtime=1722.02 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 16919 0 0 0 172195 7 0 0 20 0 1 0 125175948 281128960 52859 33554432000 4194304 6199737 140736976682800 140736976681736 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68635 52859 161 490 0 68136 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 274540

[startup+1782.3 s]
/proc/loadavg: 2.14 2.21 2.18 3/177 5771
/proc/meminfo: memFree=29209372/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=275572 CPUtime=1782.01 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 17222 0 0 0 178194 7 0 0 20 0 1 0 125175948 282185728 53162 33554432000 4194304 6199737 140736976682800 140736976681448 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68893 53162 161 490 0 68394 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 275572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.19 4/177 5771
/proc/meminfo: memFree=29208752/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=275700 CPUtime=1800 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 17263 0 0 0 179993 7 0 0 20 0 1 0 125175948 282316800 53203 33554432000 4194304 6199737 140736976682800 140736976681736 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68925 53203 161 490 0 68426 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 275700

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.23 2.19 4/177 5771
/proc/meminfo: memFree=29208752/32872528 swapFree=16204/1518544
[pid=5692] ppid=5689 vsize=275700 CPUtime=1800 cores=1,3,5,7
/proc/5692/stat : 5692 (cdcl-cuttingpla) R 5689 5692 5225 0 -1 4202496 17263 0 0 0 179993 7 0 0 20 0 1 0 125175948 282316800 53203 33554432000 4194304 6199737 140736976682800 140736976681736 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5692/statm: 68925 53203 161 490 0 68426 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 275700

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.94
CPU system time (s): 0.080987
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 275700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.080987
maximum resident set size= 212812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17263
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= 19
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51531 second user time and 6.95694 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-09 02:33:51
IDJOB=4087231
IDBENCH=90203
IDSOLVER=2548
FILE ID=node129/4087231-1465432431
RUNJOBID= node129-1465427028-5242
PBS_JOBID= 19859783
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K141.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087231-1465432431/watcher-4087231-1465432431 -o /tmp/evaluation-result-4087231-1465432431/solver-4087231-1465432431 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465427028-5242 --watchdog 1960 --input HOME/instance-4087231-1465432431.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= e981076bb5354ded6cb9b093a6d1a03e
RANDOM SEED=34563993

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
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.715
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:        29633668 kB
Buffers:          139520 kB
Cached:           820176 kB
SwapCached:         1824 kB
Active:           237248 kB
Inactive:         726296 kB
Active(anon):       2844 kB
Inactive(anon):     3116 kB
Active(file):     234404 kB
Inactive(file):   723180 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098840 kB
Dirty:              3512 kB
Writeback:             0 kB
AnonPages:       1523220 kB
Mapped:             8672 kB
Shmem:                 0 kB
Slab:             621044 kB
SReclaimable:      65312 kB
SUnreclaim:       555732 kB
KernelStack:        1472 kB
PageTables:         6452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1619312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1507328 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= 71732 MiB
End job on node129 at 2016-06-09 03:03:51