Trace number 4087269

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_K88.opb
MD5SUM1622186c78d9255ec55518143c1e5a9e
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 variables5984
Total number of constraints6162
Number of constraints which are clauses6074
Number of constraints which are cardinality constraints (but not clauses)88
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint88
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 89
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= 5984 #constraint= 6162
0.59/0.60	c #Conflicts:       1000 | #Learnt:        998 | 0.007
0.59/0.60	c total clause space: 6.90675MB
0.59/0.60	c total #watches: 86134
2.38/2.48	c total #propagations: 452469 / total #impl: 4773037 (eff. 0.095)
2.38/2.48	c #Conflicts:       2000 | #Learnt:       1998 | 0.012
2.38/2.48	c total clause space: 18.2382MB
2.38/2.48	c total #watches: 150354
4.89/4.91	c total #propagations: 776844 / total #impl: 14073786 (eff. 0.055)
4.89/4.91	c GARBAGE COLLECT
4.89/4.91	c #Conflicts:       3000 | #Learnt:       2015 | 0.011
4.89/4.91	c total clause space: 29.637MB
4.89/4.91	c total #watches: 183027
12.39/12.40	c total #propagations: 1041700 / total #impl: 29282980 (eff. 0.036)
12.39/12.40	c #Conflicts:       4000 | #Learnt:       3015 | 0.009
12.39/12.40	c total clause space: 29.637MB
12.39/12.40	c total #watches: 275811
18.18/18.28	c total #propagations: 1388962 / total #impl: 49584842 (eff. 0.028)
18.18/18.28	c GARBAGE COLLECT
18.18/18.28	c #Conflicts:       5000 | #Learnt:       2406 | 0.007
18.18/18.28	c total clause space: 48.1602MB
18.18/18.28	c total #watches: 261554
25.68/25.77	c total #propagations: 1699072 / total #impl: 71456587 (eff. 0.024)
25.68/25.77	c #Conflicts:       6000 | #Learnt:       3406 | 0.008
25.68/25.77	c total clause space: 48.1602MB
25.68/25.77	c total #watches: 385328
38.99/39.08	c total #propagations: 2009397 / total #impl: 90290894 (eff. 0.022)
38.99/39.08	c GARBAGE COLLECT
38.99/39.08	c #Conflicts:       7000 | #Learnt:       2279 | 0.007
38.99/39.08	c total clause space: 48.1602MB
38.99/39.08	c total #watches: 252936
45.39/45.41	c total #propagations: 2371220 / total #impl: 121481837 (eff. 0.020)
45.39/45.41	c #Conflicts:       8000 | #Learnt:       3279 | 0.008
45.39/45.41	c total clause space: 48.1602MB
45.39/45.41	c total #watches: 353129
59.78/59.82	c total #propagations: 2716970 / total #impl: 146960485 (eff. 0.018)
59.78/59.82	c #Conflicts:       9000 | #Learnt:       4279 | 0.008
59.78/59.82	c total clause space: 48.1602MB
59.78/59.82	c total #watches: 449975
76.88/76.97	c total #propagations: 3082007 / total #impl: 186376167 (eff. 0.017)
76.88/76.97	c GARBAGE COLLECT
76.88/76.97	c #Conflicts:      10000 | #Learnt:       2766 | 0.007
76.88/76.97	c total clause space: 48.1602MB
76.88/76.97	c total #watches: 291320
83.88/83.98	c total #propagations: 3480766 / total #impl: 242724317 (eff. 0.014)
83.88/83.98	c #Conflicts:      11000 | #Learnt:       3766 | 0.006
83.88/83.98	c total clause space: 48.1602MB
83.88/83.98	c total #watches: 396823
99.97/100.07	c total #propagations: 3777510 / total #impl: 273746779 (eff. 0.014)
99.97/100.07	c #Conflicts:      12000 | #Learnt:       4766 | 0.007
99.97/100.07	c total clause space: 48.1602MB
99.97/100.07	c total #watches: 540459
123.57/123.62	c total #propagations: 4133304 / total #impl: 322999926 (eff. 0.013)
123.57/123.62	c #Conflicts:      13000 | #Learnt:       5766 | 0.006
123.57/123.62	c total clause space: 78.2603MB
123.57/123.62	c total #watches: 659923
138.06/138.17	c total #propagations: 4497153 / total #impl: 381768337 (eff. 0.012)
138.06/138.17	c GARBAGE COLLECT
138.06/138.17	c #Conflicts:      14000 | #Learnt:       3913 | 0.006
138.06/138.17	c total clause space: 78.2603MB
138.06/138.17	c total #watches: 495712
161.56/161.64	c total #propagations: 4837399 / total #impl: 430741499 (eff. 0.011)
161.56/161.64	c #Conflicts:      15000 | #Learnt:       4913 | 0.006
161.56/161.64	c total clause space: 78.2603MB
161.56/161.64	c total #watches: 659306
199.95/200.02	c total #propagations: 5135454 / total #impl: 487802923 (eff. 0.011)
199.95/200.02	c #Conflicts:      16000 | #Learnt:       5913 | 0.005
199.95/200.02	c total clause space: 78.2603MB
199.95/200.02	c total #watches: 818755
230.45/230.54	c total #propagations: 5471147 / total #impl: 598657818 (eff. 0.009)
230.45/230.54	c GARBAGE COLLECT
230.45/230.54	c #Conflicts:      17000 | #Learnt:       3774 | 0.005
230.45/230.54	c total clause space: 78.2603MB
230.45/230.54	c total #watches: 502661
266.94/267.02	c total #propagations: 5782492 / total #impl: 660964489 (eff. 0.009)
266.94/267.02	c #Conflicts:      18000 | #Learnt:       4774 | 0.005
266.94/267.02	c total clause space: 78.2603MB
266.94/267.02	c total #watches: 777558
346.34/346.46	c total #propagations: 6006666 / total #impl: 749237907 (eff. 0.008)
346.34/346.46	c #Conflicts:      19000 | #Learnt:       5774 | 0.006
346.34/346.46	c total clause space: 127.173MB
346.34/346.46	c total #watches: 940902
430.72/430.89	c total #propagations: 6364387 / total #impl: 875271056 (eff. 0.007)
430.72/430.89	c #Conflicts:      20000 | #Learnt:       6774 | 0.006
430.72/430.89	c total clause space: 127.173MB
430.72/430.89	c total #watches: 1077568
486.22/486.31	c total #propagations: 6672011 / total #impl: 985421539 (eff. 0.007)
486.22/486.31	c GARBAGE COLLECT
486.22/486.31	c #Conflicts:      21000 | #Learnt:       4297 | 0.005
486.22/486.31	c total clause space: 127.173MB
486.22/486.31	c total #watches: 562496
532.91/533.01	c total #propagations: 7016412 / total #impl: 1070280868 (eff. 0.007)
532.91/533.01	c #Conflicts:      22000 | #Learnt:       5297 | 0.006
532.91/533.01	c total clause space: 127.173MB
532.91/533.01	c total #watches: 712370
599.20/599.36	c total #propagations: 7346384 / total #impl: 1143193091 (eff. 0.006)
599.20/599.36	c #Conflicts:      23000 | #Learnt:       6297 | 0.006
599.20/599.36	c total clause space: 127.173MB
599.20/599.36	c total #watches: 840790
700.28/700.49	c total #propagations: 7710565 / total #impl: 1220924037 (eff. 0.006)
700.28/700.49	c #Conflicts:      24000 | #Learnt:       7297 | 0.006
700.28/700.49	c total clause space: 127.173MB
700.28/700.49	c total #watches: 996745
759.27/759.48	c total #propagations: 8131616 / total #impl: 1338149858 (eff. 0.006)
759.27/759.48	c GARBAGE COLLECT
759.27/759.48	c #Conflicts:      25000 | #Learnt:       4484 | 0.006
759.27/759.48	c total clause space: 127.173MB
759.27/759.48	c total #watches: 620133
795.77/795.98	c total #propagations: 8486544 / total #impl: 1433851546 (eff. 0.006)
795.77/795.98	c #Conflicts:      26000 | #Learnt:       5484 | 0.006
795.77/795.98	c total clause space: 127.173MB
795.77/795.98	c total #watches: 744802
832.06/832.29	c total #propagations: 8815376 / total #impl: 1479127207 (eff. 0.006)
832.06/832.29	c #Conflicts:      27000 | #Learnt:       6484 | 0.006
832.06/832.29	c total clause space: 127.173MB
832.06/832.29	c total #watches: 851569
905.25/905.49	c total #propagations: 9059863 / total #impl: 1552732592 (eff. 0.006)
905.25/905.49	c #Conflicts:      28000 | #Learnt:       7484 | 0.005
905.25/905.49	c total clause space: 127.173MB
905.25/905.49	c total #watches: 972338
983.13/983.34	c total #propagations: 9391230 / total #impl: 1656684127 (eff. 0.006)
983.13/983.34	c GARBAGE COLLECT
983.13/983.34	c #Conflicts:      29000 | #Learnt:       4394 | 0.005
983.13/983.34	c total clause space: 206.656MB
983.13/983.34	c total #watches: 537342
1029.12/1029.32	c total #propagations: 9743069 / total #impl: 1747286729 (eff. 0.006)
1029.12/1029.32	c #Conflicts:      30000 | #Learnt:       5394 | 0.005
1029.12/1029.32	c total clause space: 206.656MB
1029.12/1029.32	c total #watches: 732449
1101.91/1102.15	c total #propagations: 10064010 / total #impl: 1822065129 (eff. 0.006)
1101.91/1102.15	c #Conflicts:      31000 | #Learnt:       6394 | 0.005
1101.91/1102.15	c total clause space: 206.656MB
1101.91/1102.15	c total #watches: 871787
1207.41/1207.66	c total #propagations: 10436332 / total #impl: 1903166058 (eff. 0.005)
1207.41/1207.66	c #Conflicts:      32000 | #Learnt:       7394 | 0.005
1207.41/1207.66	c total clause space: 206.656MB
1207.41/1207.66	c total #watches: 1109082
1341.48/1341.74	c total #propagations: 10820649 / total #impl: 2040607970 (eff. 0.005)
1341.48/1341.74	c #Conflicts:      33000 | #Learnt:       8394 | 0.005
1341.48/1341.74	c total clause space: 206.656MB
1341.48/1341.74	c total #watches: 1274364
1440.37/1440.68	c total #propagations: 11228427 / total #impl: 2150294139 (eff. 0.005)
1440.37/1440.68	c GARBAGE COLLECT
1440.37/1440.68	c #Conflicts:      34000 | #Learnt:       5002 | 0.004
1440.37/1440.68	c total clause space: 206.656MB
1440.37/1440.68	c total #watches: 686775
1477.96/1478.27	c total #propagations: 11606252 / total #impl: 2264470389 (eff. 0.005)
1477.96/1478.27	c #Conflicts:      35000 | #Learnt:       6002 | 0.004
1477.96/1478.27	c total clause space: 206.656MB
1477.96/1478.27	c total #watches: 956214
1594.34/1594.65	c total #propagations: 11836281 / total #impl: 2354554674 (eff. 0.005)
1594.34/1594.65	c #Conflicts:      36000 | #Learnt:       7002 | 0.004
1594.34/1594.65	c total clause space: 206.656MB
1594.34/1594.65	c total #watches: 1207249
1798.91/1799.23	c total #propagations: 12159260 / total #impl: 2483890411 (eff. 0.005)
1798.91/1799.23	c #Conflicts:      37000 | #Learnt:       8002 | 0.004
1798.91/1799.23	c total clause space: 206.656MB
1798.91/1799.23	c total #watches: 1506381

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-4087269-1465418369/watcher-4087269-1465418369 -o /tmp/evaluation-result-4087269-1465418369/solver-4087269-1465418369 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465387880-29694 --watchdog 1960 --input HOME/instance-4087269-1465418369.opb ./cdcl-cuttingplanes-release 

pid=6836
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.26 2.25 2.19 4/176 6839
/proc/meminfo: memFree=29235856/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 123770101 29802496 5260 33554432000 4194304 6199737 140737487309328 140736176445928 4209408 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 7276 5260 122 490 0 6777 0

[startup+0.100167 s]
/proc/loadavg: 2.26 2.25 2.19 4/176 6839
/proc/meminfo: memFree=29235856/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=34112 CPUtime=0.09 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 1338 0 0 0 9 0 0 0 20 0 1 0 123770101 34930688 7482 33554432000 4194304 6199737 140737487309328 140736176445928 4213238 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 8528 7482 139 490 0 8029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34112

[startup+0.200328 s]
/proc/loadavg: 2.26 2.25 2.19 4/176 6839
/proc/meminfo: memFree=29235856/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=34484 CPUtime=0.19 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 1405 0 0 0 19 0 0 0 20 0 1 0 123770101 35311616 7549 33554432000 4194304 6199737 140737487309328 140736176445928 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 8621 7549 139 490 0 8122 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34484

[startup+0.300239 s]
/proc/loadavg: 2.26 2.25 2.19 4/176 6839
/proc/meminfo: memFree=29235856/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=37460 CPUtime=0.29 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 1619 0 0 0 29 0 0 0 20 0 1 0 123770101 38359040 7705 33554432000 4194304 6199737 140737487309328 140736176445928 5149722 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 9365 7705 139 490 0 8866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37460

[startup+0.700219 s]
/proc/loadavg: 2.26 2.25 2.19 4/176 6839
/proc/meminfo: memFree=29235856/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=42264 CPUtime=0.69 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 2481 0 0 0 69 0 0 0 20 0 1 0 123770101 43278336 8267 33554432000 4194304 6199737 140737487309328 140737487308440 4223494 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 10566 8267 155 490 0 10067 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42264

[startup+1.50024 s]
/proc/loadavg: 2.26 2.25 2.19 4/177 6840
/proc/meminfo: memFree=29200116/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=42764 CPUtime=1.49 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 3120 0 0 0 149 0 0 0 20 0 1 0 123770101 43790336 9230 33554432000 4194304 6199737 140737487309328 140737487308440 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 10691 9230 155 490 0 10192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42764

[startup+3.10023 s]
/proc/loadavg: 2.24 2.24 2.19 4/177 6840
/proc/meminfo: memFree=29194824/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=50580 CPUtime=3.08 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 4118 0 0 0 308 0 0 0 20 0 1 0 123770101 51793920 10392 33554432000 4194304 6199737 140737487309328 140737487308440 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 12645 10392 155 490 0 12146 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50580

[startup+6.30022 s]
/proc/loadavg: 2.24 2.24 2.19 3/177 6840
/proc/meminfo: memFree=29185352/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=63144 CPUtime=6.29 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 4804 0 0 0 628 1 0 0 20 0 1 0 123770101 64659456 12997 33554432000 4194304 6199737 140737487309328 140737487308264 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 15786 12997 161 490 0 15287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63144

[startup+12.7002 s]
/proc/loadavg: 2.20 2.23 2.19 3/177 6840
/proc/meminfo: memFree=29177840/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=64088 CPUtime=12.69 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 5102 0 0 0 1268 1 0 0 20 0 1 0 123770101 65626112 14300 33554432000 4194304 6199737 140737487309328 140737487308440 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 16022 14300 161 490 0 15523 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64088

[startup+25.5003 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 6840
/proc/meminfo: memFree=29171092/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=84980 CPUtime=25.48 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 6658 0 0 0 2547 1 0 0 20 0 1 0 123770101 87019520 15914 33554432000 4194304 6199737 140737487309328 140737487308264 4213238 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 21245 15914 161 490 0 20746 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84980

[startup+51.1004 s]
/proc/loadavg: 2.16 2.22 2.18 3/178 6843
/proc/meminfo: memFree=29158500/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=86920 CPUtime=51.08 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 7330 0 0 0 5106 2 0 0 20 0 1 0 123770101 89006080 19071 33554432000 4194304 6199737 140737487309328 140737487308264 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 21730 19071 161 490 0 21231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86920

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/177 6844
/proc/meminfo: memFree=29148632/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=88928 CPUtime=102.28 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 7973 0 0 0 10226 2 0 0 20 0 1 0 123770101 91062272 21213 33554432000 4194304 6199737 140737487309328 140737487308152 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 22232 21213 161 490 0 21733 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88928

[startup+162.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6845
/proc/meminfo: memFree=29127772/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=121852 CPUtime=162.26 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 9212 0 0 0 16224 2 0 0 20 0 1 0 123770101 124776448 24168 33554432000 4194304 6199737 140737487309328 140737487308440 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 30463 24168 161 490 0 29964 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 121852

[startup+222.307 s]
/proc/loadavg: 2.12 2.19 2.17 3/177 6846
/proc/meminfo: memFree=29109160/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=123740 CPUtime=222.26 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 9700 0 0 0 22224 2 0 0 20 0 1 0 123770101 126709760 28730 33554432000 4194304 6199737 140737487309328 140737487308264 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 30935 28730 161 490 0 30436 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 123740

[startup+282.3 s]
/proc/loadavg: 2.14 2.18 2.17 3/177 6847
/proc/meminfo: memFree=29091840/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=125204 CPUtime=282.24 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 10133 0 0 0 28222 2 0 0 20 0 1 0 123770101 128208896 29672 33554432000 4194304 6199737 140737487309328 140737487308264 4213320 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 31301 29672 161 490 0 30802 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 125204

[startup+342.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 6849
/proc/meminfo: memFree=29046172/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=175880 CPUtime=342.24 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 10568 0 0 0 34221 3 0 0 20 0 1 0 123770101 180101120 34124 33554432000 4194304 6199737 140737487309328 140737487308264 4213476 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 43970 34124 161 490 0 43471 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 175880

[startup+402.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 6850
/proc/meminfo: memFree=29015712/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=178156 CPUtime=402.22 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 11116 0 0 0 40219 3 0 0 20 0 1 0 123770101 182431744 39271 33554432000 4194304 6199737 140737487309328 140737487308264 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 44539 39271 161 490 0 44040 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 178156

[startup+462.3 s]
/proc/loadavg: 2.17 2.19 2.18 4/177 6851
/proc/meminfo: memFree=28995168/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=179196 CPUtime=462.22 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 11455 0 0 0 46218 4 0 0 20 0 1 0 123770101 183496704 42121 33554432000 4194304 6199737 140737487309328 140737487308264 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 44799 42121 161 490 0 44300 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 179196

[startup+522.3 s]
/proc/loadavg: 2.15 2.17 2.17 4/177 6852
/proc/meminfo: memFree=28986604/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=179212 CPUtime=522.21 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 11525 0 0 0 52217 4 0 0 20 0 1 0 123770101 183513088 42190 33554432000 4194304 6199737 140737487309328 140737487308264 4213296 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 44803 42190 161 490 0 44304 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 179212

[startup+582.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 6853
/proc/meminfo: memFree=28980404/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=179212 CPUtime=582.2 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 11667 0 0 0 58216 4 0 0 20 0 1 0 123770101 183513088 42305 33554432000 4194304 6199737 140737487309328 140737487308440 4213238 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 44803 42305 161 490 0 44304 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 179212


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.16 2.17 4/177 6864
/proc/meminfo: memFree=28959312/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=262364 CPUtime=942.14 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 12532 0 0 0 94210 4 0 0 20 0 1 0 123770101 268660736 46117 33554432000 4194304 6199737 140737487309328 140737487308264 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65591 46117 161 490 0 65092 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 262364

[startup+1002.3 s]
/proc/loadavg: 2.22 2.17 2.17 3/177 6865
/proc/meminfo: memFree=28954716/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=262696 CPUtime=1002.13 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 12838 0 0 0 100209 4 0 0 20 0 1 0 123770101 269000704 47230 33554432000 4194304 6199737 140737487309328 140737487308440 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65674 47230 161 490 0 65175 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 262696

[startup+1062.3 s]
/proc/loadavg: 2.29 2.20 2.18 4/177 6866
/proc/meminfo: memFree=28954100/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=262804 CPUtime=1062.12 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 12916 0 0 0 106208 4 0 0 20 0 1 0 123770101 269111296 47304 33554432000 4194304 6199737 140737487309328 140737487308264 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65701 47304 161 490 0 65202 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 262804

[startup+1122.3 s]
/proc/loadavg: 2.43 2.26 2.20 3/177 6867
/proc/meminfo: memFree=28953612/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=262880 CPUtime=1122.11 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 12937 0 0 0 112207 4 0 0 20 0 1 0 123770101 269189120 47325 33554432000 4194304 6199737 140737487309328 140737487308440 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65720 47325 161 490 0 65221 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 262880

[startup+1182.3 s]
/proc/loadavg: 2.38 2.28 2.20 3/177 6868
/proc/meminfo: memFree=28953108/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=263140 CPUtime=1182.11 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 12994 0 0 0 118206 5 0 0 20 0 1 0 123770101 269455360 47382 33554432000 4194304 6199737 140737487309328 140737487308264 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65785 47382 161 490 0 65286 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 263140

[startup+1242.3 s]
/proc/loadavg: 2.43 2.31 2.22 4/178 6873
/proc/meminfo: memFree=28948192/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=263420 CPUtime=1242.1 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 13055 0 0 0 124205 5 0 0 20 0 1 0 123770101 269742080 47443 33554432000 4194304 6199737 140737487309328 140737487308264 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65855 47443 161 490 0 65356 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 263420

[startup+1302.3 s]
/proc/loadavg: 2.36 2.30 2.22 3/178 6897
/proc/meminfo: memFree=28942636/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=263888 CPUtime=1302.09 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 13306 0 0 0 130204 5 0 0 20 0 1 0 123770101 270221312 47680 33554432000 4194304 6199737 140737487309328 140737487308264 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 65972 47680 161 490 0 65473 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 263888

[startup+1362.3 s]
/proc/loadavg: 2.31 2.30 2.22 3/177 6898
/proc/meminfo: memFree=28943468/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=264592 CPUtime=1362.08 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 13479 0 0 0 136203 5 0 0 20 0 1 0 123770101 270942208 47853 33554432000 4194304 6199737 140737487309328 140737487308264 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66148 47853 161 490 0 65649 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 264592

[startup+1422.3 s]
/proc/loadavg: 2.35 2.30 2.22 4/177 6945
/proc/meminfo: memFree=29106508/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=264760 CPUtime=1422.08 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 13573 0 0 0 142203 5 0 0 20 0 1 0 123770101 271114240 50975 33554432000 4194304 6199737 140737487309328 140737487308264 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66190 50975 161 490 0 65691 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 264760

[startup+1482.3 s]
/proc/loadavg: 2.49 2.34 2.24 3/177 6946
/proc/meminfo: memFree=29083192/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=264840 CPUtime=1482.06 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 13831 0 0 0 148201 5 0 0 20 0 1 0 123770101 271196160 51005 33554432000 4194304 6199737 140737487309328 140737487308152 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66210 51005 161 490 0 65711 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 264840

[startup+1542.31 s]
/proc/loadavg: 2.21 2.29 2.23 3/177 6948
/proc/meminfo: memFree=29074368/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=265492 CPUtime=1542.05 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14169 0 0 0 154200 5 0 0 20 0 1 0 123770101 271863808 51759 33554432000 4194304 6199737 140737487309328 140737487308264 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66373 51759 161 490 0 65874 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 265492

[startup+1602.3 s]
/proc/loadavg: 2.37 2.32 2.24 4/177 6949
/proc/meminfo: memFree=29034828/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=265960 CPUtime=1602.04 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14279 0 0 0 160199 5 0 0 20 0 1 0 123770101 272343040 54424 33554432000 4194304 6199737 140737487309328 140737487308440 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66490 54424 161 490 0 65991 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 265960

[startup+1662.3 s]
/proc/loadavg: 2.34 2.31 2.24 3/177 6950
/proc/meminfo: memFree=28993136/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=266248 CPUtime=1662.03 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14370 0 0 0 166198 5 0 0 20 0 1 0 123770101 272637952 56559 33554432000 4194304 6199737 140737487309328 140737487308264 4213476 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66562 56559 161 490 0 66063 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 266248

[startup+1722.3 s]
/proc/loadavg: 2.29 2.30 2.24 3/177 6951
/proc/meminfo: memFree=28982328/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=266424 CPUtime=1722.03 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14420 0 0 0 172197 6 0 0 20 0 1 0 123770101 272818176 59164 33554432000 4194304 6199737 140737487309328 140737487308264 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66606 59164 161 490 0 66107 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 266424

[startup+1782.3 s]
/proc/loadavg: 2.18 2.27 2.23 4/177 6952
/proc/meminfo: memFree=28964080/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=266996 CPUtime=1782.01 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14566 0 0 0 178195 6 0 0 20 0 1 0 123770101 273403904 63398 33554432000 4194304 6199737 140737487309328 140737487308264 4213493 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66749 63398 161 490 0 66250 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 266996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.26 2.23 4/177 6952
/proc/meminfo: memFree=28959736/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=267020 CPUtime=1800.01 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14573 0 0 0 179994 7 0 0 20 0 1 0 123770101 273428480 64427 33554432000 4194304 6199737 140737487309328 140737487308440 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66755 64427 161 490 0 66256 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 267020

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

[startup+1800.3 s]
/proc/loadavg: 2.14 2.26 2.23 4/177 6952
/proc/meminfo: memFree=28959736/32872528 swapFree=16360/1798728
[pid=6839] ppid=6836 vsize=267020 CPUtime=1800.01 cores=1,3,5,7
/proc/6839/stat : 6839 (cdcl-cuttingpla) R 6836 6839 29677 0 -1 4202496 14573 0 0 0 179994 7 0 0 20 0 1 0 123770101 273428480 64427 33554432000 4194304 6199737 140737487309328 140737487308440 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/6839/statm: 66755 64427 161 490 0 66256 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 267020

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.072988
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 267020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.072988
maximum resident set size= 257708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14573
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= 18
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52331 second user time and 6.93895 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-08 22:39:29
IDJOB=4087269
IDBENCH=90114
IDSOLVER=2548
FILE ID=node123/4087269-1465418369
RUNJOBID= node123-1465387880-29694
PBS_JOBID= 19853801
Free space on /tmp= 71632 MiB

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

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

MD5SUM BENCH= 1622186c78d9255ec55518143c1e5a9e
RANDOM SEED=960921223

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.117
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		: 2667.117
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		: 2667.117
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.57
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		: 2667.117
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		: 2667.117
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:        29235764 kB
Buffers:          182332 kB
Cached:           763292 kB
SwapCached:         1756 kB
Active:           385356 kB
Inactive:         704408 kB
Active(anon):     143924 kB
Inactive(anon):     2668 kB
Active(file):     241432 kB
Inactive(file):   701740 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:       1941892 kB
Mapped:             7832 kB
Shmem:                 0 kB
Slab:             614772 kB
SReclaimable:      58804 kB
SUnreclaim:       555968 kB
KernelStack:        1432 kB
PageTables:         7868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2093048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1894400 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= 71632 MiB
End job on node123 at 2016-06-08 23:09:30