Trace number 4087267

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_K86.opb
MD5SUMa7a3236cd0071452eec601ea09fe7bbe
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 variables5848
Total number of constraints6022
Number of constraints which are clauses5936
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint86
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 87
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= 5848 #constraint= 6022
0.78/0.82	c #Conflicts:       1000 | #Learnt:        998 | 0.069
0.78/0.82	c total clause space: 11.2235MB
0.78/0.82	c total #watches: 79635
2.38/2.46	c total #propagations: 473777 / total #impl: 6938408 (eff. 0.068)
2.38/2.46	c #Conflicts:       2000 | #Learnt:       1998 | 0.059
2.38/2.46	c total clause space: 18.2382MB
2.38/2.46	c total #watches: 137012
3.99/4.02	c total #propagations: 760389 / total #impl: 16241468 (eff. 0.047)
3.99/4.02	c GARBAGE COLLECT
3.99/4.02	c #Conflicts:       3000 | #Learnt:       2043 | 0.051
3.99/4.02	c total clause space: 18.2382MB
3.99/4.02	c total #watches: 149281
7.79/7.84	c total #propagations: 1010693 / total #impl: 24475635 (eff. 0.041)
7.79/7.84	c #Conflicts:       4000 | #Learnt:       3043 | 0.044
7.79/7.84	c total clause space: 29.637MB
7.79/7.84	c total #watches: 207365
12.98/13.06	c total #propagations: 1410154 / total #impl: 39373935 (eff. 0.036)
12.98/13.06	c GARBAGE COLLECT
12.98/13.06	c #Conflicts:       5000 | #Learnt:       2390 | 0.035
12.98/13.06	c total clause space: 29.637MB
12.98/13.06	c total #watches: 210574
19.38/19.46	c total #propagations: 1804785 / total #impl: 63641811 (eff. 0.028)
19.38/19.46	c #Conflicts:       6000 | #Learnt:       3390 | 0.030
19.38/19.46	c total clause space: 29.637MB
19.38/19.46	c total #watches: 314126
30.69/30.73	c total #propagations: 2118598 / total #impl: 86595974 (eff. 0.024)
30.69/30.73	c GARBAGE COLLECT
30.69/30.73	c #Conflicts:       7000 | #Learnt:       2292 | 0.026
30.69/30.73	c total clause space: 48.1602MB
30.69/30.73	c total #watches: 283988
48.18/48.21	c total #propagations: 2439181 / total #impl: 119739474 (eff. 0.020)
48.18/48.21	c #Conflicts:       8000 | #Learnt:       3292 | 0.023
48.18/48.21	c total clause space: 48.1602MB
48.18/48.21	c total #watches: 363764
70.68/70.74	c total #propagations: 2853633 / total #impl: 176702942 (eff. 0.016)
70.68/70.74	c #Conflicts:       9000 | #Learnt:       4292 | 0.020
70.68/70.74	c total clause space: 78.2603MB
70.68/70.74	c total #watches: 460420
87.87/87.98	c total #propagations: 3234955 / total #impl: 217910863 (eff. 0.015)
87.87/87.98	c GARBAGE COLLECT
87.87/87.98	c #Conflicts:      10000 | #Learnt:       2762 | 0.019
87.87/87.98	c total clause space: 78.2603MB
87.87/87.98	c total #watches: 323086
100.67/100.77	c total #propagations: 3550432 / total #impl: 250218044 (eff. 0.014)
100.67/100.77	c #Conflicts:      11000 | #Learnt:       3762 | 0.017
100.67/100.77	c total clause space: 78.2603MB
100.67/100.77	c total #watches: 419679
121.17/121.26	c total #propagations: 3840974 / total #impl: 277893718 (eff. 0.014)
121.17/121.26	c #Conflicts:      12000 | #Learnt:       4762 | 0.018
121.17/121.26	c total clause space: 78.2603MB
121.17/121.26	c total #watches: 505163
149.86/149.90	c total #propagations: 4176570 / total #impl: 322382202 (eff. 0.013)
149.86/149.90	c #Conflicts:      13000 | #Learnt:       5762 | 0.016
149.86/149.90	c total clause space: 78.2603MB
149.86/149.90	c total #watches: 638852
170.86/170.96	c total #propagations: 4540877 / total #impl: 383503273 (eff. 0.012)
170.86/170.96	c GARBAGE COLLECT
170.86/170.96	c #Conflicts:      14000 | #Learnt:       3908 | 0.016
170.86/170.96	c total clause space: 78.2603MB
170.86/170.96	c total #watches: 544337
196.56/196.63	c total #propagations: 4893628 / total #impl: 464659173 (eff. 0.011)
196.56/196.63	c #Conflicts:      15000 | #Learnt:       4908 | 0.015
196.56/196.63	c total clause space: 127.173MB
196.56/196.63	c total #watches: 634721
239.65/239.77	c total #propagations: 5192953 / total #impl: 518640420 (eff. 0.010)
239.65/239.77	c #Conflicts:      16000 | #Learnt:       5908 | 0.014
239.65/239.77	c total clause space: 127.173MB
239.65/239.77	c total #watches: 747456
271.75/271.88	c total #propagations: 5539301 / total #impl: 581374971 (eff. 0.010)
271.75/271.88	c GARBAGE COLLECT
271.75/271.88	c #Conflicts:      17000 | #Learnt:       3730 | 0.014
271.75/271.88	c total clause space: 127.173MB
271.75/271.88	c total #watches: 451636
295.54/295.67	c total #propagations: 5897018 / total #impl: 651567536 (eff. 0.009)
295.54/295.67	c #Conflicts:      18000 | #Learnt:       4730 | 0.013
295.54/295.67	c total clause space: 127.173MB
295.54/295.67	c total #watches: 538856
328.44/328.53	c total #propagations: 6239075 / total #impl: 715320089 (eff. 0.009)
328.44/328.53	c #Conflicts:      19000 | #Learnt:       5730 | 0.013
328.44/328.53	c total clause space: 127.173MB
328.44/328.53	c total #watches: 686619
384.53/384.61	c total #propagations: 6628856 / total #impl: 795514509 (eff. 0.008)
384.53/384.61	c #Conflicts:      20000 | #Learnt:       6730 | 0.012
384.53/384.61	c total clause space: 127.173MB
384.53/384.61	c total #watches: 809558
425.73/425.84	c total #propagations: 6990864 / total #impl: 878631933 (eff. 0.008)
425.73/425.84	c GARBAGE COLLECT
425.73/425.84	c #Conflicts:      21000 | #Learnt:       4259 | 0.012
425.73/425.84	c total clause space: 127.173MB
425.73/425.84	c total #watches: 526851
465.52/465.64	c total #propagations: 7376825 / total #impl: 928217663 (eff. 0.008)
465.52/465.64	c #Conflicts:      22000 | #Learnt:       5259 | 0.012
465.52/465.64	c total clause space: 127.173MB
465.52/465.64	c total #watches: 625744
506.02/506.18	c total #propagations: 7724207 / total #impl: 986879024 (eff. 0.008)
506.02/506.18	c #Conflicts:      23000 | #Learnt:       6259 | 0.011
506.02/506.18	c total clause space: 127.173MB
506.02/506.18	c total #watches: 706425
551.90/552.09	c total #propagations: 8082622 / total #impl: 1050452580 (eff. 0.008)
551.90/552.09	c #Conflicts:      24000 | #Learnt:       7259 | 0.011
551.90/552.09	c total clause space: 127.173MB
551.90/552.09	c total #watches: 839058
594.00/594.17	c total #propagations: 8401068 / total #impl: 1122883712 (eff. 0.007)
594.00/594.17	c GARBAGE COLLECT
594.00/594.17	c #Conflicts:      25000 | #Learnt:       4464 | 0.010
594.00/594.17	c total clause space: 127.173MB
594.00/594.17	c total #watches: 540134
627.49/627.64	c total #propagations: 8774278 / total #impl: 1204877861 (eff. 0.007)
627.49/627.64	c #Conflicts:      26000 | #Learnt:       5464 | 0.010
627.49/627.64	c total clause space: 127.173MB
627.49/627.64	c total #watches: 757100
676.39/676.57	c total #propagations: 9084677 / total #impl: 1273275596 (eff. 0.007)
676.39/676.57	c #Conflicts:      27000 | #Learnt:       6464 | 0.010
676.39/676.57	c total clause space: 127.173MB
676.39/676.57	c total #watches: 923250
761.57/761.79	c total #propagations: 9376848 / total #impl: 1372352914 (eff. 0.007)
761.57/761.79	c #Conflicts:      28000 | #Learnt:       7464 | 0.010
761.57/761.79	c total clause space: 127.173MB
761.57/761.79	c total #watches: 1103231
843.66/843.85	c total #propagations: 9749362 / total #impl: 1525216036 (eff. 0.006)
843.66/843.85	c GARBAGE COLLECT
843.66/843.85	c #Conflicts:      29000 | #Learnt:       4369 | 0.009
843.66/843.85	c total clause space: 127.173MB
843.66/843.85	c total #watches: 629615
883.84/884.09	c total #propagations: 10092624 / total #impl: 1653086782 (eff. 0.006)
883.84/884.09	c #Conflicts:      30000 | #Learnt:       5369 | 0.009
883.84/884.09	c total clause space: 127.173MB
883.84/884.09	c total #watches: 773165
949.33/949.54	c total #propagations: 10397154 / total #impl: 1730336330 (eff. 0.006)
949.33/949.54	c #Conflicts:      31000 | #Learnt:       6369 | 0.009
949.33/949.54	c total clause space: 127.173MB
949.33/949.54	c total #watches: 931529
1047.33/1047.54	c total #propagations: 10777876 / total #impl: 1805985949 (eff. 0.006)
1047.33/1047.54	c #Conflicts:      32000 | #Learnt:       7369 | 0.008
1047.33/1047.54	c total clause space: 127.173MB
1047.33/1047.54	c total #watches: 1115888
1154.51/1154.72	c total #propagations: 11184326 / total #impl: 1946609417 (eff. 0.006)
1154.51/1154.72	c #Conflicts:      33000 | #Learnt:       8369 | 0.008
1154.51/1154.72	c total clause space: 127.173MB
1154.51/1154.72	c total #watches: 1246593
1232.49/1232.71	c total #propagations: 11580254 / total #impl: 2054245753 (eff. 0.006)
1232.49/1232.71	c GARBAGE COLLECT
1232.49/1232.71	c #Conflicts:      34000 | #Learnt:       4976 | 0.008
1232.49/1232.71	c total clause space: 206.656MB
1232.49/1232.71	c total #watches: 694610
1283.19/1283.46	c total #propagations: 11920510 / total #impl: 2163794086 (eff. 0.006)
1283.19/1283.46	c #Conflicts:      35000 | #Learnt:       5976 | 0.008
1283.19/1283.46	c total clause space: 206.656MB
1283.19/1283.46	c total #watches: 840628
1336.39/1336.65	c total #propagations: 12261168 / total #impl: 2219659807 (eff. 0.006)
1336.39/1336.65	c #Conflicts:      36000 | #Learnt:       6976 | 0.008
1336.39/1336.65	c total clause space: 206.656MB
1336.39/1336.65	c total #watches: 930113
1415.66/1415.97	c total #propagations: 12496126 / total #impl: 2293379137 (eff. 0.005)
1415.66/1415.97	c #Conflicts:      37000 | #Learnt:       7976 | 0.008
1415.66/1415.97	c total clause space: 206.656MB
1415.66/1415.97	c total #watches: 1003761
1509.35/1509.65	c total #propagations: 12773162 / total #impl: 2393971580 (eff. 0.005)
1509.35/1509.65	c #Conflicts:      38000 | #Learnt:       8976 | 0.008
1509.35/1509.65	c total clause space: 206.656MB
1509.35/1509.65	c total #watches: 1172553
1599.43/1599.75	c total #propagations: 13085663 / total #impl: 2497651140 (eff. 0.005)
1599.43/1599.75	c GARBAGE COLLECT
1599.43/1599.75	c #Conflicts:      39000 | #Learnt:       5278 | 0.008
1599.43/1599.75	c total clause space: 206.656MB
1599.43/1599.75	c total #watches: 686288
1681.93/1682.23	c total #propagations: 13406207 / total #impl: 2605058724 (eff. 0.005)
1681.93/1682.23	c #Conflicts:      40000 | #Learnt:       6278 | 0.008
1681.93/1682.23	c total clause space: 206.656MB
1681.93/1682.23	c total #watches: 844231
1784.81/1785.11	c total #propagations: 13683530 / total #impl: 2715907768 (eff. 0.005)
1784.81/1785.11	c #Conflicts:      41000 | #Learnt:       7278 | 0.008
1784.81/1785.11	c total clause space: 206.656MB
1784.81/1785.11	c total #watches: 978634

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

pid=23783
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: 0.30 1.07 1.46 3/172 23788
/proc/meminfo: memFree=29883400/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 234 0 0 0 0 0 0 0 20 0 1 0 124636315 29802496 3692 33554432000 4194304 6199737 140733866293648 140734246640968 4202544 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 7276 3692 93 490 0 6777 0

[startup+0.100169 s]
/proc/loadavg: 0.30 1.07 1.46 3/172 23788
/proc/meminfo: memFree=29883400/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=34244 CPUtime=0.09 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 899 0 0 0 9 0 0 0 20 0 1 0 124636315 35065856 7239 33554432000 4194304 6199737 140733866293648 140734246640968 4213296 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 8561 7240 139 490 0 8062 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34244

[startup+0.200359 s]
/proc/loadavg: 0.30 1.07 1.46 3/172 23788
/proc/meminfo: memFree=29883400/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=37092 CPUtime=0.19 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 1386 0 0 0 19 0 0 0 20 0 1 0 124636315 37982208 7550 33554432000 4194304 6199737 140733866293648 140734246640968 4200374 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 9273 7550 139 490 0 8774 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37092

[startup+0.300219 s]
/proc/loadavg: 0.30 1.07 1.46 3/172 23788
/proc/meminfo: memFree=29883400/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=37220 CPUtime=0.28 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 1597 0 0 0 28 0 0 0 20 0 1 0 124636315 38113280 8203 33554432000 4194304 6199737 140733866293648 140734246640968 4213489 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 9305 8203 139 490 0 8806 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37220

[startup+0.700211 s]
/proc/loadavg: 0.30 1.07 1.46 3/172 23788
/proc/meminfo: memFree=29883400/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=42152 CPUtime=0.68 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 1745 0 0 0 68 0 0 0 20 0 1 0 124636315 43163648 8335 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 10538 8335 139 490 0 10039 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42152

[startup+1.50028 s]
/proc/loadavg: 0.43 1.08 1.47 3/177 23793
/proc/meminfo: memFree=29810544/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=49932 CPUtime=1.48 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 2808 0 0 0 148 0 0 0 20 0 1 0 124636315 51130368 9585 33554432000 4194304 6199737 140733866293648 140733866292584 4208371 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 12483 9585 155 490 0 11984 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49932

[startup+3.10029 s]
/proc/loadavg: 0.43 1.08 1.47 3/177 23793
/proc/meminfo: memFree=29802596/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=50612 CPUtime=3.08 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 3718 0 0 0 308 0 0 0 20 0 1 0 124636315 51826688 11182 33554432000 4194304 6199737 140733866293648 140733866292584 4213385 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 12653 11182 161 490 0 12154 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50612

[startup+6.30032 s]
/proc/loadavg: 0.43 1.08 1.47 4/177 23793
/proc/meminfo: memFree=29786240/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=63092 CPUtime=6.29 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 4590 0 0 0 628 1 0 0 20 0 1 0 124636315 64606208 12838 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 15773 12838 161 490 0 15274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63092

[startup+12.7003 s]
/proc/loadavg: 0.75 1.13 1.48 3/177 23793
/proc/meminfo: memFree=29767748/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=64168 CPUtime=12.69 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 5029 0 0 0 1268 1 0 0 20 0 1 0 124636315 65708032 14710 33554432000 4194304 6199737 140733866293648 140733866292584 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 16042 14710 161 490 0 15543 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64168

[startup+25.5003 s]
/proc/loadavg: 0.94 1.16 1.48 3/177 23793
/proc/meminfo: memFree=29739252/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=85192 CPUtime=25.48 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 5974 0 0 0 2547 1 0 0 20 0 1 0 124636315 87236608 19127 33554432000 4194304 6199737 140733866293648 140733866292584 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 21298 19127 161 490 0 20799 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85192

[startup+51.1004 s]
/proc/loadavg: 1.30 1.22 1.49 4/177 23793
/proc/meminfo: memFree=29720516/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=86624 CPUtime=51.08 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 6868 0 0 0 5106 2 0 0 20 0 1 0 124636315 88702976 20250 33554432000 4194304 6199737 140733866293648 140733866292296 4213296 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 21656 20250 161 490 0 21157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86624

[startup+102.3 s]
/proc/loadavg: 1.88 1.40 1.54 3/176 23794
/proc/meminfo: memFree=29692256/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=118992 CPUtime=102.28 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 7950 0 0 0 10226 2 0 0 20 0 1 0 124636315 121847808 25160 33554432000 4194304 6199737 140733866293648 140733866292760 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 29748 25160 161 490 0 29249 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118992

[startup+162.3 s]
/proc/loadavg: 2.01 1.52 1.57 3/177 23796
/proc/meminfo: memFree=29675108/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=120796 CPUtime=162.26 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 8494 0 0 0 16224 2 0 0 20 0 1 0 124636315 123695104 27223 33554432000 4194304 6199737 140733866293648 140733866292584 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 30199 27223 161 490 0 29700 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 120796

[startup+222.307 s]
/proc/loadavg: 2.08 1.63 1.60 3/177 23797
/proc/meminfo: memFree=29642080/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=172560 CPUtime=222.26 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 9232 0 0 0 22223 3 0 0 20 0 1 0 124636315 176701440 31455 33554432000 4194304 6199737 140733866293648 140733866292584 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 43140 31455 161 490 0 42641 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 172560

[startup+282.3 s]
/proc/loadavg: 2.20 1.74 1.64 3/177 23798
/proc/meminfo: memFree=29599044/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=173624 CPUtime=282.24 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 9795 0 0 0 28221 3 0 0 20 0 1 0 124636315 177790976 34879 33554432000 4194304 6199737 140733866293648 140733866292760 4213385 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 43406 34879 161 490 0 42907 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 173624

[startup+342.3 s]
/proc/loadavg: 2.18 1.82 1.67 3/177 23799
/proc/meminfo: memFree=29577240/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=174604 CPUtime=342.23 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 10163 0 0 0 34220 3 0 0 20 0 1 0 124636315 178794496 36762 33554432000 4194304 6199737 140733866293648 140733866292296 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 43651 36762 161 490 0 43152 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 174604

[startup+402.3 s]
/proc/loadavg: 2.19 1.88 1.70 3/178 23803
/proc/meminfo: memFree=29563324/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=176032 CPUtime=402.23 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 10578 0 0 0 40219 4 0 0 20 0 1 0 124636315 180256768 40191 33554432000 4194304 6199737 140733866293648 140733866292584 4213296 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 44008 40191 161 490 0 43509 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 176032

[startup+462.3 s]
/proc/loadavg: 2.18 1.93 1.72 3/177 23805
/proc/meminfo: memFree=29562436/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=176032 CPUtime=462.22 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 10618 0 0 0 46218 4 0 0 20 0 1 0 124636315 180256768 40228 33554432000 4194304 6199737 140733866293648 140733866292760 4213306 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 44008 40228 161 490 0 43509 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 176032

[startup+522.3 s]
/proc/loadavg: 2.12 1.96 1.74 3/177 23806
/proc/meminfo: memFree=29561168/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=176056 CPUtime=522.21 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 10713 0 0 0 52217 4 0 0 20 0 1 0 124636315 180281344 40322 33554432000 4194304 6199737 140733866293648 140733866292584 4213381 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 44014 40322 161 490 0 43515 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 176056

[startup+582.3 s]
/proc/loadavg: 2.13 1.99 1.77 4/177 23807
/proc/meminfo: memFree=29559036/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=177008 CPUtime=582.2 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 10948 0 0 0 58216 4 0 0 20 0 1 0 124636315 181256192 40546 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 44252 40546 161 490 0 43753 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 177008


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


[startup+942.3 s]
/proc/loadavg: 2.13 2.11 1.89 4/177 23814
/proc/meminfo: memFree=29527132/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=180684 CPUtime=942.13 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 11940 0 0 0 94209 4 0 0 20 0 1 0 124636315 185020416 43065 33554432000 4194304 6199737 140733866293648 140733866292760 4213306 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 45171 43065 161 490 0 44672 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 180684

[startup+1002.3 s]
/proc/loadavg: 2.16 2.12 1.90 3/178 23818
/proc/meminfo: memFree=29526140/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=180716 CPUtime=1002.12 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 11964 0 0 0 100208 4 0 0 20 0 1 0 124636315 185053184 43089 33554432000 4194304 6199737 140733866293648 140733866292584 4213381 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 45179 43089 161 490 0 44680 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 180716

[startup+1062.3 s]
/proc/loadavg: 2.06 2.10 1.91 4/177 23820
/proc/meminfo: memFree=29525780/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=181092 CPUtime=1062.12 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 12052 0 0 0 106207 5 0 0 20 0 1 0 124636315 185438208 43177 33554432000 4194304 6199737 140733866293648 140733866292584 4213381 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 45273 43177 161 490 0 44774 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 181092

[startup+1122.3 s]
/proc/loadavg: 2.25 2.14 1.93 3/177 23821
/proc/meminfo: memFree=29524392/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=181344 CPUtime=1122.11 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 12098 0 0 0 112206 5 0 0 20 0 1 0 124636315 185696256 43223 33554432000 4194304 6199737 140733866293648 140733866292472 4213381 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 45336 43223 161 490 0 44837 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 181344

[startup+1182.3 s]
/proc/loadavg: 2.24 2.15 1.95 3/177 23822
/proc/meminfo: memFree=29510356/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=181756 CPUtime=1182.1 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 12217 0 0 0 118205 5 0 0 20 0 1 0 124636315 186118144 43342 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 45439 43342 161 490 0 44940 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 181756

[startup+1242.3 s]
/proc/loadavg: 2.16 2.15 1.96 3/177 23823
/proc/meminfo: memFree=29495936/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=263612 CPUtime=1242.09 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 12818 0 0 0 124204 5 0 0 20 0 1 0 124636315 269938688 45198 33554432000 4194304 6199737 140733866293648 140733866292760 4213244 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 65903 45198 161 490 0 65404 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 263612

[startup+1302.3 s]
/proc/loadavg: 2.11 2.14 1.96 3/177 23824
/proc/meminfo: memFree=29482884/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=263648 CPUtime=1302.08 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 12845 0 0 0 130203 5 0 0 20 0 1 0 124636315 269975552 45225 33554432000 4194304 6199737 140733866293648 140733866292584 4213385 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 65912 45225 161 490 0 65413 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 263648

[startup+1362.3 s]
/proc/loadavg: 2.07 2.12 1.97 3/177 23826
/proc/meminfo: memFree=29481884/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=263864 CPUtime=1362.07 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 12995 0 0 0 136202 5 0 0 20 0 1 0 124636315 270196736 45371 33554432000 4194304 6199737 140733866293648 140733866292584 4213296 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 65966 45371 161 490 0 65467 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 263864

[startup+1422.3 s]
/proc/loadavg: 2.02 2.10 1.97 3/177 23827
/proc/meminfo: memFree=29455304/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=263960 CPUtime=1422.07 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13032 0 0 0 142202 5 0 0 20 0 1 0 124636315 270295040 51540 33554432000 4194304 6199737 140733866293648 140733866292760 4213368 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 65990 51540 161 490 0 65491 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 263960

[startup+1482.3 s]
/proc/loadavg: 2.01 2.08 1.97 3/177 23828
/proc/meminfo: memFree=29425628/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=264368 CPUtime=1482.06 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13145 0 0 0 148200 6 0 0 20 0 1 0 124636315 270712832 55741 33554432000 4194304 6199737 140733866293648 140733866292584 4213381 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66092 55741 161 490 0 65593 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 264368

[startup+1542.31 s]
/proc/loadavg: 2.22 2.12 1.99 3/177 23829
/proc/meminfo: memFree=29374152/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=264812 CPUtime=1542.05 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13266 0 0 0 154199 6 0 0 20 0 1 0 124636315 271167488 63016 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66203 63016 161 490 0 65704 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 264812

[startup+1602.3 s]
/proc/loadavg: 2.14 2.11 2.00 3/178 23833
/proc/meminfo: memFree=29359644/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=264960 CPUtime=1602.03 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13408 0 0 0 160197 6 0 0 20 0 1 0 124636315 271319040 64626 33554432000 4194304 6199737 140733866293648 140733866292760 4213314 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66240 64626 161 490 0 65741 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 264960

[startup+1662.3 s]
/proc/loadavg: 2.10 2.11 2.00 3/177 23835
/proc/meminfo: memFree=29352252/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=265144 CPUtime=1662.02 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13454 0 0 0 166196 6 0 0 20 0 1 0 124636315 271507456 64672 33554432000 4194304 6199737 140733866293648 140733866292584 4213385 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66286 64672 161 490 0 65787 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 265144

[startup+1722.3 s]
/proc/loadavg: 2.21 2.13 2.01 4/177 23836
/proc/meminfo: memFree=29342820/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=265332 CPUtime=1722.02 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13564 0 0 0 172195 7 0 0 20 0 1 0 124636315 271699968 64782 33554432000 4194304 6199737 140733866293648 140733866292584 4213314 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66333 64782 161 490 0 65834 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 265332

[startup+1782.3 s]
/proc/loadavg: 2.14 2.12 2.01 3/177 23837
/proc/meminfo: memFree=29337328/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=265672 CPUtime=1782.01 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13648 0 0 0 178194 7 0 0 20 0 1 0 124636315 272048128 64866 33554432000 4194304 6199737 140733866293648 140733866292584 4213296 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66418 64866 161 490 0 65919 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 265672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.11 2.01 3/177 23837
/proc/meminfo: memFree=29334908/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=265732 CPUtime=1800.01 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13667 0 0 0 179994 7 0 0 20 0 1 0 124636315 272109568 64885 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66433 64885 161 490 0 65934 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 265732

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 23788 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 3/177 23837
/proc/meminfo: memFree=29334908/32872528 swapFree=16384/1696552
[pid=23788] ppid=23783 vsize=265732 CPUtime=1800.01 cores=1,3,5,7
/proc/23788/stat : 23788 (cdcl-cuttingpla) R 23783 23788 23746 0 -1 4202496 13667 0 0 0 179994 7 0 0 20 0 1 0 124636315 272109568 64885 33554432000 4194304 6199737 140733866293648 140733866292584 4213389 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23788/statm: 66433 64885 161 490 0 65934 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 265732

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.071989
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 265732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.071989
maximum resident set size= 259540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13667
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= 15
involuntary context switches= 3140

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42833 second user time and 7.57785 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-09 01:03:53
IDJOB=4087267
IDBENCH=90132
IDSOLVER=2548
FILE ID=node125/4087267-1465427032
RUNJOBID= node125-1465427032-23763
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_K86.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087267-1465427032/watcher-4087267-1465427032 -o /tmp/evaluation-result-4087267-1465427032/solver-4087267-1465427032 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465427032-23763 --watchdog 1960 --input HOME/instance-4087267-1465427032.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= a7a3236cd0071452eec601ea09fe7bbe
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:           102360 kB
Inactive:         439608 kB
Active(anon):       2668 kB
Inactive(anon):     2960 kB
Active(file):      99692 kB
Inactive(file):   436648 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:    1793380 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