Trace number 4087251

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/ShortestPathTate/
normalized-TateBritain_K100.opb
MD5SUM96708928b3148fdbe0ae701534d6c3d7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1709.75
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints7002
Number of constraints which are clauses6902
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint100
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 101
Number of bits of the biggest sum of numbers7
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= 6800 #constraint= 7002
0.49/0.59	c #Conflicts:       1000 | #Learnt:        999 | 0.006
0.49/0.59	c total clause space: 11.2235MB
0.49/0.59	c total #watches: 74678
3.58/3.64	c total #propagations: 493879 / total #impl: 3622109 (eff. 0.136)
3.58/3.64	c #Conflicts:       2000 | #Learnt:       1999 | 0.015
3.58/3.64	c total clause space: 18.2382MB
3.58/3.64	c total #watches: 150277
6.49/6.56	c total #propagations: 910201 / total #impl: 16097924 (eff. 0.057)
6.49/6.56	c GARBAGE COLLECT
6.49/6.56	c #Conflicts:       3000 | #Learnt:       2042 | 0.010
6.49/6.56	c total clause space: 18.2382MB
6.49/6.56	c total #watches: 173428
11.09/11.19	c total #propagations: 1257390 / total #impl: 30183682 (eff. 0.042)
11.09/11.19	c #Conflicts:       4000 | #Learnt:       3042 | 0.010
11.09/11.19	c total clause space: 29.637MB
11.09/11.19	c total #watches: 237432
16.39/16.46	c total #propagations: 1616597 / total #impl: 47484930 (eff. 0.034)
16.39/16.46	c GARBAGE COLLECT
16.39/16.46	c #Conflicts:       5000 | #Learnt:       2400 | 0.009
16.39/16.46	c total clause space: 29.637MB
16.39/16.46	c total #watches: 207047
20.89/21.00	c total #propagations: 2015590 / total #impl: 67050228 (eff. 0.030)
20.89/21.00	c #Conflicts:       6000 | #Learnt:       3399 | 0.007
20.89/21.00	c total clause space: 29.637MB
20.89/21.00	c total #watches: 266622
26.58/26.68	c total #propagations: 2348801 / total #impl: 86864257 (eff. 0.027)
26.58/26.68	c GARBAGE COLLECT
26.58/26.68	c #Conflicts:       7000 | #Learnt:       2302 | 0.023
26.58/26.68	c total clause space: 48.1602MB
26.58/26.68	c total #watches: 201944
33.78/33.81	c total #propagations: 2641910 / total #impl: 104353124 (eff. 0.025)
33.78/33.81	c #Conflicts:       8000 | #Learnt:       3302 | 0.021
33.78/33.81	c total clause space: 48.1602MB
33.78/33.81	c total #watches: 270833
41.18/41.29	c total #propagations: 3093935 / total #impl: 130214183 (eff. 0.024)
41.18/41.29	c #Conflicts:       9000 | #Learnt:       4302 | 0.018
41.18/41.29	c total clause space: 48.1602MB
41.18/41.29	c total #watches: 363619
56.68/56.79	c total #propagations: 3414805 / total #impl: 151604669 (eff. 0.023)
56.68/56.79	c GARBAGE COLLECT
56.68/56.79	c #Conflicts:      10000 | #Learnt:       2791 | 0.016
56.68/56.79	c total clause space: 78.2603MB
56.68/56.79	c total #watches: 313651
69.88/69.94	c total #propagations: 3813462 / total #impl: 187830122 (eff. 0.020)
69.88/69.94	c #Conflicts:      11000 | #Learnt:       3791 | 0.015
69.88/69.94	c total clause space: 78.2603MB
69.88/69.94	c total #watches: 415691
94.28/94.35	c total #propagations: 4170163 / total #impl: 214821904 (eff. 0.019)
94.28/94.35	c #Conflicts:      12000 | #Learnt:       4791 | 0.017
94.28/94.35	c total clause space: 78.2603MB
94.28/94.35	c total #watches: 512563
119.67/119.71	c total #propagations: 4566582 / total #impl: 269711429 (eff. 0.017)
119.67/119.71	c #Conflicts:      13000 | #Learnt:       5791 | 0.016
119.67/119.71	c total clause space: 78.2603MB
119.67/119.71	c total #watches: 609626
132.07/132.17	c total #propagations: 4929841 / total #impl: 326213362 (eff. 0.015)
132.07/132.17	c GARBAGE COLLECT
132.07/132.17	c #Conflicts:      14000 | #Learnt:       3940 | 0.024
132.07/132.17	c total clause space: 78.2603MB
132.07/132.17	c total #watches: 408023
149.06/149.10	c total #propagations: 5278225 / total #impl: 360982860 (eff. 0.015)
149.06/149.10	c #Conflicts:      15000 | #Learnt:       4940 | 0.022
149.06/149.10	c total clause space: 78.2603MB
149.06/149.10	c total #watches: 522902
165.76/165.82	c total #propagations: 5564836 / total #impl: 396073515 (eff. 0.014)
165.76/165.82	c #Conflicts:      16000 | #Learnt:       5940 | 0.021
165.76/165.82	c total clause space: 78.2603MB
165.76/165.82	c total #watches: 611182
188.26/188.35	c total #propagations: 5825940 / total #impl: 427273620 (eff. 0.014)
188.26/188.35	c GARBAGE COLLECT
188.26/188.35	c #Conflicts:      17000 | #Learnt:       3782 | 0.020
188.26/188.35	c total clause space: 78.2603MB
188.26/188.35	c total #watches: 424319
206.65/206.77	c total #propagations: 6221702 / total #impl: 476133346 (eff. 0.013)
206.65/206.77	c #Conflicts:      18000 | #Learnt:       4782 | 0.019
206.65/206.77	c total clause space: 78.2603MB
206.65/206.77	c total #watches: 553843
250.76/250.86	c total #propagations: 6582718 / total #impl: 533865595 (eff. 0.012)
250.76/250.86	c #Conflicts:      19000 | #Learnt:       5782 | 0.018
250.76/250.86	c total clause space: 127.173MB
250.76/250.86	c total #watches: 729015
311.94/312.00	c total #propagations: 7045422 / total #impl: 667787072 (eff. 0.011)
311.94/312.00	c #Conflicts:      20000 | #Learnt:       6782 | 0.017
311.94/312.00	c total clause space: 127.173MB
311.94/312.00	c total #watches: 861182
360.43/360.51	c total #propagations: 7452335 / total #impl: 751385799 (eff. 0.010)
360.43/360.51	c GARBAGE COLLECT
360.43/360.51	c #Conflicts:      21000 | #Learnt:       4274 | 0.017
360.43/360.51	c total clause space: 127.173MB
360.43/360.51	c total #watches: 509870
392.83/392.92	c total #propagations: 7898755 / total #impl: 809218079 (eff. 0.010)
392.83/392.92	c #Conflicts:      22000 | #Learnt:       5274 | 0.016
392.83/392.92	c total clause space: 127.173MB
392.83/392.92	c total #watches: 596297
436.92/437.00	c total #propagations: 8249034 / total #impl: 860786820 (eff. 0.010)
436.92/437.00	c #Conflicts:      23000 | #Learnt:       6274 | 0.016
436.92/437.00	c total clause space: 127.173MB
436.92/437.00	c total #watches: 714992
489.31/489.40	c total #propagations: 8646436 / total #impl: 928064078 (eff. 0.009)
489.31/489.40	c #Conflicts:      24000 | #Learnt:       7274 | 0.015
489.31/489.40	c total clause space: 127.173MB
489.31/489.40	c total #watches: 877733
540.70/540.80	c total #propagations: 9017089 / total #impl: 980857978 (eff. 0.009)
540.70/540.80	c GARBAGE COLLECT
540.70/540.80	c #Conflicts:      25000 | #Learnt:       4488 | 0.015
540.70/540.80	c total clause space: 127.173MB
540.70/540.80	c total #watches: 593807
576.70/576.89	c total #propagations: 9439068 / total #impl: 1042482192 (eff. 0.009)
576.70/576.89	c #Conflicts:      26000 | #Learnt:       5488 | 0.015
576.70/576.89	c total clause space: 127.173MB
576.70/576.89	c total #watches: 816615
627.20/627.38	c total #propagations: 9714405 / total #impl: 1125240564 (eff. 0.009)
627.20/627.38	c #Conflicts:      27000 | #Learnt:       6488 | 0.014
627.20/627.38	c total clause space: 127.173MB
627.20/627.38	c total #watches: 977216
735.08/735.28	c total #propagations: 10014253 / total #impl: 1198238080 (eff. 0.008)
735.08/735.28	c #Conflicts:      28000 | #Learnt:       7488 | 0.014
735.08/735.28	c total clause space: 127.173MB
735.08/735.28	c total #watches: 1131032
829.16/829.33	c total #propagations: 10454324 / total #impl: 1336783102 (eff. 0.008)
829.16/829.33	c GARBAGE COLLECT
829.16/829.33	c #Conflicts:      29000 | #Learnt:       4379 | 0.014
829.16/829.33	c total clause space: 206.656MB
829.16/829.33	c total #watches: 651745
884.36/884.58	c total #propagations: 10884926 / total #impl: 1460815502 (eff. 0.007)
884.36/884.58	c #Conflicts:      30000 | #Learnt:       5379 | 0.013
884.36/884.58	c total clause space: 206.656MB
884.36/884.58	c total #watches: 853629
968.23/968.43	c total #propagations: 11242699 / total #impl: 1535932570 (eff. 0.007)
968.23/968.43	c #Conflicts:      31000 | #Learnt:       6379 | 0.013
968.23/968.43	c total clause space: 206.656MB
968.23/968.43	c total #watches: 1048602
1071.82/1072.06	c total #propagations: 11594174 / total #impl: 1615655333 (eff. 0.007)
1071.82/1072.06	c #Conflicts:      32000 | #Learnt:       7379 | 0.012
1071.82/1072.06	c total clause space: 206.656MB
1071.82/1072.06	c total #watches: 1201368
1212.30/1212.51	c total #propagations: 11960599 / total #impl: 1700997433 (eff. 0.007)
1212.30/1212.51	c #Conflicts:      33000 | #Learnt:       8379 | 0.012
1212.30/1212.51	c total clause space: 206.656MB
1212.30/1212.51	c total #watches: 1448270
1322.48/1322.79	c total #propagations: 12358295 / total #impl: 1814366543 (eff. 0.007)
1322.48/1322.79	c GARBAGE COLLECT
1322.48/1322.79	c #Conflicts:      34000 | #Learnt:       4991 | 0.012
1322.48/1322.79	c total clause space: 206.656MB
1322.48/1322.79	c total #watches: 846535
1385.07/1385.39	c total #propagations: 12703126 / total #impl: 1906972919 (eff. 0.007)
1385.07/1385.39	c #Conflicts:      35000 | #Learnt:       5991 | 0.012
1385.07/1385.39	c total clause space: 206.656MB
1385.07/1385.39	c total #watches: 1318168
1507.96/1508.29	c total #propagations: 12908361 / total #impl: 2078407449 (eff. 0.006)
1507.96/1508.29	c #Conflicts:      36000 | #Learnt:       6991 | 0.011
1507.96/1508.29	c total clause space: 206.656MB
1507.96/1508.29	c total #watches: 1600477
1715.73/1716.01	c total #propagations: 13195393 / total #impl: 2233054834 (eff. 0.006)
1715.73/1716.01	c #Conflicts:      37000 | #Learnt:       7991 | 0.011
1715.73/1716.01	c total clause space: 335.816MB
1715.73/1716.01	c total #watches: 1768631

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-4087251-1465427032/watcher-4087251-1465427032 -o /tmp/evaluation-result-4087251-1465427032/solver-4087251-1465427032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23762 --watchdog 1960 --input HOME/instance-4087251-1465427032.opb ./cdcl-cuttingplanes-release 

pid=23786
running on 4 cores: 0,2,4,6

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: 0.30 1.07 1.46 4/175 23791
/proc/meminfo: memFree=29883136/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 124636316 29802496 5260 33554432000 4194304 6199737 140734277085248 140735357556216 4209408 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 7276 5260 122 490 0 6777 0

[startup+0.100165 s]
/proc/loadavg: 0.30 1.07 1.46 4/175 23791
/proc/meminfo: memFree=29883136/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=34248 CPUtime=0.09 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 1270 0 0 0 9 0 0 0 20 0 1 0 124636316 35069952 7447 33554432000 4194304 6199737 140734277085248 140735357556216 4213167 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 8562 7447 139 490 0 8063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34248

[startup+0.20028 s]
/proc/loadavg: 0.30 1.07 1.46 4/175 23791
/proc/meminfo: memFree=29883136/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=37220 CPUtime=0.19 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 1561 0 0 0 19 0 0 0 20 0 1 0 124636316 38113280 7645 33554432000 4194304 6199737 140734277085248 140735357556216 4208100 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 9305 7645 139 490 0 8806 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37220

[startup+0.300265 s]
/proc/loadavg: 0.30 1.07 1.46 4/175 23791
/proc/meminfo: memFree=29883136/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=37340 CPUtime=0.29 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 1802 0 0 0 29 0 0 0 20 0 1 0 124636316 38236160 7809 33554432000 4194304 6199737 140734277085248 140735357556216 4207822 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 9335 7809 139 490 0 8836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37340

[startup+0.700248 s]
/proc/loadavg: 0.30 1.07 1.46 4/175 23791
/proc/meminfo: memFree=29883136/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=42268 CPUtime=0.69 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 2676 0 0 0 69 0 0 0 20 0 1 0 124636316 43282432 8912 33554432000 4194304 6199737 140734277085248 140734277084264 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 10567 8912 155 490 0 10068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42268

[startup+1.50019 s]
/proc/loadavg: 0.43 1.08 1.47 4/177 23793
/proc/meminfo: memFree=29810544/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=49940 CPUtime=1.49 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 3281 0 0 0 149 0 0 0 20 0 1 0 124636316 51138560 9852 33554432000 4194304 6199737 140734277085248 140734277084264 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 12485 9852 155 490 0 11986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49940

[startup+3.10024 s]
/proc/loadavg: 0.43 1.08 1.47 4/177 23793
/proc/meminfo: memFree=29802596/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=50516 CPUtime=3.08 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 3422 0 0 0 308 0 0 0 20 0 1 0 124636316 51728384 10504 33554432000 4194304 6199737 140734277085248 140734277084184 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 12629 10504 155 490 0 12130 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50516

[startup+6.30019 s]
/proc/loadavg: 0.43 1.08 1.47 5/177 23793
/proc/meminfo: memFree=29785868/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=51288 CPUtime=6.29 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 4317 0 0 0 628 1 0 0 20 0 1 0 124636316 52518912 11652 33554432000 4194304 6199737 140734277085248 140734277084072 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 12822 11652 161 490 0 12323 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51288

[startup+12.7002 s]
/proc/loadavg: 0.75 1.13 1.48 4/177 23793
/proc/meminfo: memFree=29767748/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=64076 CPUtime=12.69 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 5063 0 0 0 1268 1 0 0 20 0 1 0 124636316 65613824 14280 33554432000 4194304 6199737 140734277085248 140734277083896 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 16019 14280 161 490 0 15520 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64076

[startup+25.5002 s]
/proc/loadavg: 0.94 1.16 1.48 4/177 23793
/proc/meminfo: memFree=29739252/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=84640 CPUtime=25.48 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 6412 0 0 0 2547 1 0 0 20 0 1 0 124636316 86671360 17275 33554432000 4194304 6199737 140734277085248 140734277084184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 21160 17275 161 490 0 20661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84640

[startup+51.1003 s]
/proc/loadavg: 1.30 1.22 1.49 5/177 23793
/proc/meminfo: memFree=29720516/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=117712 CPUtime=51.08 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 7638 0 0 0 5107 1 0 0 20 0 1 0 124636316 120537088 21309 33554432000 4194304 6199737 140734277085248 140734277084264 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 29428 21309 161 490 0 28929 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117712

[startup+102.3 s]
/proc/loadavg: 1.88 1.40 1.54 4/176 23794
/proc/meminfo: memFree=29692256/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=119472 CPUtime=102.28 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 8461 0 0 0 10226 2 0 0 20 0 1 0 124636316 122339328 22973 33554432000 4194304 6199737 140734277085248 140734277084184 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 29868 22973 161 490 0 29369 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119472

[startup+162.3 s]
/proc/loadavg: 2.01 1.52 1.57 4/177 23796
/proc/meminfo: memFree=29675108/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=121396 CPUtime=162.26 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 9076 0 0 0 16224 2 0 0 20 0 1 0 124636316 124309504 25593 33554432000 4194304 6199737 140734277085248 140734277084184 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 30349 25593 161 490 0 29850 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 121396

[startup+222.307 s]
/proc/loadavg: 2.08 1.63 1.60 4/177 23797
/proc/meminfo: memFree=29642080/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=122796 CPUtime=222.26 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 9491 0 0 0 22224 2 0 0 20 0 1 0 124636316 125743104 29069 33554432000 4194304 6199737 140734277085248 140734277084184 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 30699 29069 161 490 0 30200 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 122796

[startup+282.3 s]
/proc/loadavg: 2.20 1.74 1.64 4/177 23798
/proc/meminfo: memFree=29599044/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=175544 CPUtime=282.25 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 10396 0 0 0 28222 3 0 0 20 0 1 0 124636316 179757056 36555 33554432000 4194304 6199737 140734277085248 140734277083896 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 43886 36555 161 490 0 43387 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 175544

[startup+342.3 s]
/proc/loadavg: 2.18 1.82 1.67 4/177 23799
/proc/meminfo: memFree=29577240/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=176468 CPUtime=342.23 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 10924 0 0 0 34220 3 0 0 20 0 1 0 124636316 180703232 39891 33554432000 4194304 6199737 140734277085248 140734277084184 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 44117 39891 161 490 0 43618 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 176468

[startup+402.3 s]
/proc/loadavg: 2.19 1.88 1.70 4/178 23803
/proc/meminfo: memFree=29563324/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=176516 CPUtime=402.22 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 10959 0 0 0 40219 3 0 0 20 0 1 0 124636316 180752384 39925 33554432000 4194304 6199737 140734277085248 140734277084184 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 44129 39925 161 490 0 43630 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 176516

[startup+462.3 s]
/proc/loadavg: 2.18 1.93 1.72 4/177 23805
/proc/meminfo: memFree=29562436/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=176724 CPUtime=462.21 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 11119 0 0 0 46218 3 0 0 20 0 1 0 124636316 180965376 40079 33554432000 4194304 6199737 140734277085248 140734277084184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 44181 40079 161 490 0 43682 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 176724

[startup+522.3 s]
/proc/loadavg: 2.12 1.96 1.74 4/177 23806
/proc/meminfo: memFree=29561168/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=177732 CPUtime=522.21 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 11385 0 0 0 52218 3 0 0 20 0 1 0 124636316 181997568 40345 33554432000 4194304 6199737 140734277085248 140734277084184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 44433 40345 161 490 0 43934 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 177732

[startup+582.3 s]
/proc/loadavg: 2.13 1.99 1.77 5/177 23807
/proc/meminfo: memFree=29559036/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=178332 CPUtime=582.19 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 11678 0 0 0 58216 3 0 0 20 0 1 0 124636316 182611968 40600 33554432000 4194304 6199737 140734277085248 140734277084360 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 44583 40600 161 490 0 44084 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 178332


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


[startup+942.3 s]
/proc/loadavg: 2.13 2.11 1.89 5/177 23814
/proc/meminfo: memFree=29527132/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=263644 CPUtime=942.14 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 13206 0 0 0 94210 4 0 0 20 0 1 0 124636316 269971456 45941 33554432000 4194304 6199737 140734277085248 140734277084184 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 65911 45941 161 490 0 65412 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 263644

[startup+1002.3 s]
/proc/loadavg: 2.16 2.12 1.90 4/178 23818
/proc/meminfo: memFree=29526140/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=264340 CPUtime=1002.13 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 13393 0 0 0 100209 4 0 0 20 0 1 0 124636316 270684160 46121 33554432000 4194304 6199737 140734277085248 140734277084184 4213385 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66085 46121 161 490 0 65586 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 264340

[startup+1062.3 s]
/proc/loadavg: 2.06 2.10 1.91 5/177 23820
/proc/meminfo: memFree=29525780/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=264860 CPUtime=1062.12 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 13527 0 0 0 106208 4 0 0 20 0 1 0 124636316 271216640 46255 33554432000 4194304 6199737 140734277085248 140734277084184 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66215 46255 161 490 0 65716 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 264860

[startup+1122.3 s]
/proc/loadavg: 2.25 2.14 1.93 4/177 23821
/proc/meminfo: memFree=29524392/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=265844 CPUtime=1122.11 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 13870 0 0 0 112207 4 0 0 20 0 1 0 124636316 272224256 46590 33554432000 4194304 6199737 140734277085248 140734277084184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66461 46590 161 490 0 65962 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 265844

[startup+1182.3 s]
/proc/loadavg: 2.24 2.15 1.95 4/177 23822
/proc/meminfo: memFree=29510356/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=266872 CPUtime=1182.11 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 14131 0 0 0 118206 5 0 0 20 0 1 0 124636316 273276928 49917 33554432000 4194304 6199737 140734277085248 140734277083896 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66718 49917 161 490 0 66219 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 266872

[startup+1242.3 s]
/proc/loadavg: 2.16 2.15 1.96 4/177 23823
/proc/meminfo: memFree=29495936/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=267540 CPUtime=1242.1 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 14287 0 0 0 124205 5 0 0 20 0 1 0 124636316 273960960 51606 33554432000 4194304 6199737 140734277085248 140734277084184 4213368 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66885 51606 161 490 0 66386 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 267540

[startup+1302.3 s]
/proc/loadavg: 2.11 2.14 1.96 4/177 23824
/proc/meminfo: memFree=29482884/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=267772 CPUtime=1302.09 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 14435 0 0 0 130204 5 0 0 20 0 1 0 124636316 274198528 54742 33554432000 4194304 6199737 140734277085248 140734277084184 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66943 54742 161 490 0 66444 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 267772

[startup+1362.3 s]
/proc/loadavg: 2.07 2.12 1.97 4/177 23826
/proc/meminfo: memFree=29481884/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=267848 CPUtime=1362.08 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 14812 0 0 0 136203 5 0 0 20 0 1 0 124636316 274276352 54793 33554432000 4194304 6199737 140734277085248 140734277084184 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 66962 54793 161 490 0 66463 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 267848

[startup+1422.3 s]
/proc/loadavg: 2.02 2.10 1.97 4/177 23827
/proc/meminfo: memFree=29455304/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=269600 CPUtime=1422.08 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 16010 0 0 0 142202 6 0 0 20 0 1 0 124636316 276070400 55289 33554432000 4194304 6199737 140734277085248 140734277084184 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 67400 55289 161 490 0 66901 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 269600

[startup+1482.3 s]
/proc/loadavg: 2.01 2.08 1.97 4/177 23828
/proc/meminfo: memFree=29425628/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=269876 CPUtime=1482.06 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 16092 0 0 0 148200 6 0 0 20 0 1 0 124636316 276353024 58437 33554432000 4194304 6199737 140734277085248 140734277084184 4213389 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 67469 58437 161 490 0 66970 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 269876

[startup+1542.31 s]
/proc/loadavg: 2.22 2.12 1.99 4/177 23829
/proc/meminfo: memFree=29374152/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=270252 CPUtime=1542.05 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 16194 0 0 0 154199 6 0 0 20 0 1 0 124636316 276738048 64160 33554432000 4194304 6199737 140734277085248 140734277084184 4213456 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 67563 64160 161 490 0 67064 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 270252

[startup+1602.3 s]
/proc/loadavg: 2.14 2.11 2.00 4/178 23833
/proc/meminfo: memFree=29359644/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=272264 CPUtime=1602.04 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 16690 0 0 0 160197 7 0 0 20 0 1 0 124636316 278798336 66189 33554432000 4194304 6199737 140734277085248 140734277083896 4213381 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 68066 66189 161 490 0 67567 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 272264

[startup+1662.3 s]
/proc/loadavg: 2.10 2.11 2.00 4/177 23835
/proc/meminfo: memFree=29352252/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=405124 CPUtime=1662.03 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 17034 0 0 0 166196 7 0 0 20 0 1 0 124636316 414846976 68032 33554432000 4194304 6199737 140734277085248 140734277084184 4213456 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 101281 68032 161 490 0 100782 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 405124

[startup+1722.3 s]
/proc/loadavg: 2.21 2.13 2.01 5/177 23836
/proc/meminfo: memFree=29342820/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=405628 CPUtime=1722.02 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 17164 0 0 0 172195 7 0 0 20 0 1 0 124636316 415363072 70206 33554432000 4194304 6199737 140734277085248 140734277084360 4213314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 101407 70206 161 490 0 100908 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 405628

[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.01 4/177 23837
/proc/meminfo: memFree=29337328/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=406368 CPUtime=1782.01 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 17315 0 0 0 178194 7 0 0 20 0 1 0 124636316 416120832 71379 33554432000 4194304 6199737 140734277085248 140734277083896 4213306 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 101592 71379 161 490 0 101093 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 406368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.11 2.01 4/177 23837
/proc/meminfo: memFree=29334908/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=406496 CPUtime=1800.01 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 17332 0 0 0 179994 7 0 0 20 0 1 0 124636316 416251904 71907 33554432000 4194304 6199737 140734277085248 140734277083896 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 101624 71907 161 490 0 101125 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 406496

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

[startup+1800.3 s]
/proc/loadavg: 2.11 2.11 2.01 4/177 23837
/proc/meminfo: memFree=29334908/32872528 swapFree=16384/1696552
[pid=23791] ppid=23786 vsize=406496 CPUtime=1800.01 cores=0,2,4,6
/proc/23791/stat : 23791 (cdcl-cuttingpla) R 23786 23791 23746 0 -1 4202496 17332 0 0 0 179994 7 0 0 20 0 1 0 124636316 416251904 71907 33554432000 4194304 6199737 140734277085248 140734277083896 4213396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23791/statm: 101624 71907 161 490 0 101125 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 406496

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.076988
maximum resident set size= 287628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17332
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= 14
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44832 second user time and 7.12592 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-09 01:03:53
IDJOB=4087251
IDBENCH=90133
IDSOLVER=2548
FILE ID=node125/4087251-1465427032
RUNJOBID= node125-1465427032-23762
PBS_JOBID= 19859786
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K100.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087251-1465427032/watcher-4087251-1465427032 -o /tmp/evaluation-result-4087251-1465427032/solver-4087251-1465427032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23762 --watchdog 1960 --input HOME/instance-4087251-1465427032.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 96708928b3148fdbe0ae701534d6c3d7
RANDOM SEED=1120108496

node125.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.456
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	: 5332.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.456
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.56
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.456
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.456
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.456
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.456
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.456
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.456
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:        29884044 kB
Buffers:          127192 kB
Cached:           411460 kB
SwapCached:         1700 kB
Active:           103920 kB
Inactive:         438308 kB
Active(anon):       2928 kB
Inactive(anon):     2960 kB
Active(file):     100992 kB
Inactive(file):   435348 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:              5448 kB
Writeback:             0 kB
AnonPages:       1699108 kB
Mapped:             6456 kB
Shmem:                 0 kB
Slab:             613768 kB
SReclaimable:      57928 kB
SUnreclaim:       555840 kB
KernelStack:        1328 kB
PageTables:         7736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1795164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 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= 71740 MiB
End job on node125 at 2016-06-09 01:33:53