Trace number 4087213

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/ShortestPathBA/
normalized-BeauxArts_K73.opb
MD5SUM0228ffc8e8b202453e422d741e6bbe73
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3.64245
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4015
Total number of constraints4163
Number of constraints which are clauses4090
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint73
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 74
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= 4015 #constraint= 4163
0.39/0.49	c #Conflicts:       1000 | #Learnt:        996 | 0.000
0.39/0.49	c total clause space: 6.90675MB
0.39/0.49	c total #watches: 53550
1.89/1.99	c total #propagations: 280058 / total #impl: 3368544 (eff. 0.083)
1.89/1.99	c #Conflicts:       2000 | #Learnt:       1993 | 0.001
1.89/1.99	c total clause space: 18.2382MB
1.89/1.99	c total #watches: 108875
4.19/4.27	c total #propagations: 549296 / total #impl: 11748518 (eff. 0.047)
4.19/4.27	c GARBAGE COLLECT
4.19/4.27	c #Conflicts:       3000 | #Learnt:       2026 | 0.008
4.19/4.27	c total clause space: 18.2382MB
4.19/4.27	c total #watches: 134804
8.48/8.59	c total #propagations: 755329 / total #impl: 24839061 (eff. 0.030)
8.48/8.59	c #Conflicts:       4000 | #Learnt:       3026 | 0.007
8.48/8.59	c total clause space: 29.637MB
8.48/8.59	c total #watches: 198145
17.08/17.12	c total #propagations: 997284 / total #impl: 40827344 (eff. 0.024)
17.08/17.12	c GARBAGE COLLECT
17.08/17.12	c #Conflicts:       5000 | #Learnt:       2391 | 0.005
17.08/17.12	c total clause space: 29.637MB
17.08/17.12	c total #watches: 213485
27.08/27.17	c total #propagations: 1272187 / total #impl: 64570747 (eff. 0.020)
27.08/27.17	c #Conflicts:       6000 | #Learnt:       3391 | 0.004
27.08/27.17	c total clause space: 29.637MB
27.08/27.17	c total #watches: 266971
38.49/38.52	c total #propagations: 1521366 / total #impl: 92976482 (eff. 0.016)
38.49/38.52	c GARBAGE COLLECT
38.49/38.52	c #Conflicts:       7000 | #Learnt:       2272 | 0.004
38.49/38.52	c total clause space: 48.1602MB
38.49/38.52	c total #watches: 215842
48.49/48.51	c total #propagations: 1739685 / total #impl: 135102745 (eff. 0.013)
48.49/48.51	c #Conflicts:       8000 | #Learnt:       3272 | 0.004
48.49/48.51	c total clause space: 48.1602MB
48.49/48.51	c total #watches: 282568
66.68/66.75	c total #propagations: 1964173 / total #impl: 186401322 (eff. 0.011)
66.68/66.75	c #Conflicts:       9000 | #Learnt:       4272 | 0.003
66.68/66.75	c total clause space: 78.2603MB
66.68/66.75	c total #watches: 370483
87.47/87.52	c total #propagations: 2216725 / total #impl: 223752148 (eff. 0.010)
87.47/87.52	c GARBAGE COLLECT
87.47/87.52	c #Conflicts:      10000 | #Learnt:       2760 | 0.003
87.47/87.52	c total clause space: 78.2603MB
87.47/87.52	c total #watches: 279333
104.07/104.17	c total #propagations: 2457313 / total #impl: 266203839 (eff. 0.009)
104.07/104.17	c #Conflicts:      11000 | #Learnt:       3760 | 0.003
104.07/104.17	c total clause space: 78.2603MB
104.07/104.17	c total #watches: 413927
134.37/134.42	c total #propagations: 2706819 / total #impl: 314618139 (eff. 0.009)
134.37/134.42	c #Conflicts:      12000 | #Learnt:       4760 | 0.002
134.37/134.42	c total clause space: 78.2603MB
134.37/134.42	c total #watches: 515530
173.26/173.30	c total #propagations: 2957933 / total #impl: 381233655 (eff. 0.008)
173.26/173.30	c #Conflicts:      13000 | #Learnt:       5760 | 0.002
173.26/173.30	c total clause space: 78.2603MB
173.26/173.30	c total #watches: 613456
195.77/195.83	c total #propagations: 3225963 / total #impl: 444113018 (eff. 0.007)
195.77/195.83	c GARBAGE COLLECT
195.77/195.83	c #Conflicts:      14000 | #Learnt:       3906 | 0.002
195.77/195.83	c total clause space: 78.2603MB
195.77/195.83	c total #watches: 405858
221.46/221.56	c total #propagations: 3504426 / total #impl: 503672934 (eff. 0.007)
221.46/221.56	c #Conflicts:      15000 | #Learnt:       4906 | 0.002
221.46/221.56	c total clause space: 78.2603MB
221.46/221.56	c total #watches: 532823
257.05/257.19	c total #propagations: 3740436 / total #impl: 570145718 (eff. 0.007)
257.05/257.19	c #Conflicts:      16000 | #Learnt:       5906 | 0.002
257.05/257.19	c total clause space: 127.173MB
257.05/257.19	c total #watches: 630678
294.95/295.03	c total #propagations: 3964596 / total #impl: 623847952 (eff. 0.006)
294.95/295.03	c GARBAGE COLLECT
294.95/295.03	c #Conflicts:      17000 | #Learnt:       3713 | 0.002
294.95/295.03	c total clause space: 127.173MB
294.95/295.03	c total #watches: 402891
337.84/337.93	c total #propagations: 4234799 / total #impl: 668132802 (eff. 0.006)
337.84/337.93	c #Conflicts:      18000 | #Learnt:       4713 | 0.002
337.84/337.93	c total clause space: 127.173MB
337.84/337.93	c total #watches: 510154
397.53/397.66	c total #propagations: 4535610 / total #impl: 717539961 (eff. 0.006)
397.53/397.66	c #Conflicts:      19000 | #Learnt:       5713 | 0.001
397.53/397.66	c total clause space: 127.173MB
397.53/397.66	c total #watches: 687794
505.42/505.52	c total #propagations: 4760929 / total #impl: 772206451 (eff. 0.006)
505.42/505.52	c #Conflicts:      20000 | #Learnt:       6713 | 0.002
505.42/505.52	c total clause space: 127.173MB
505.42/505.52	c total #watches: 822839
574.30/574.49	c total #propagations: 5037028 / total #impl: 865613983 (eff. 0.006)
574.30/574.49	c GARBAGE COLLECT
574.30/574.49	c #Conflicts:      21000 | #Learnt:       4239 | 0.002
574.30/574.49	c total clause space: 206.656MB
574.30/574.49	c total #watches: 585652
636.09/636.23	c total #propagations: 5285409 / total #impl: 957981726 (eff. 0.006)
636.09/636.23	c #Conflicts:      22000 | #Learnt:       5239 | 0.002
636.09/636.23	c total clause space: 206.656MB
636.09/636.23	c total #watches: 738455
724.18/724.34	c total #propagations: 5518524 / total #impl: 1062912943 (eff. 0.005)
724.18/724.34	c #Conflicts:      23000 | #Learnt:       6239 | 0.002
724.18/724.34	c total clause space: 206.656MB
724.18/724.34	c total #watches: 838733
827.66/827.83	c total #propagations: 5756724 / total #impl: 1176047383 (eff. 0.005)
827.66/827.83	c #Conflicts:      24000 | #Learnt:       7239 | 0.001
827.66/827.83	c total clause space: 206.656MB
827.66/827.83	c total #watches: 962210
916.75/916.95	c total #propagations: 6010258 / total #impl: 1294356613 (eff. 0.005)
916.75/916.95	c GARBAGE COLLECT
916.75/916.95	c #Conflicts:      25000 | #Learnt:       4440 | 0.001
916.75/916.95	c total clause space: 206.656MB
916.75/916.95	c total #watches: 624187
1045.83/1046.02	c total #propagations: 6256240 / total #impl: 1391618690 (eff. 0.004)
1045.83/1046.02	c #Conflicts:      26000 | #Learnt:       5440 | 0.001
1045.83/1046.02	c total clause space: 206.656MB
1045.83/1046.02	c total #watches: 743429
1193.51/1193.79	c total #propagations: 6655240 / total #impl: 1558349795 (eff. 0.004)
1193.51/1193.79	c #Conflicts:      27000 | #Learnt:       6440 | 0.001
1193.51/1193.79	c total clause space: 206.656MB
1193.51/1193.79	c total #watches: 965214
1347.68/1347.91	c total #propagations: 7048257 / total #impl: 1737357299 (eff. 0.004)
1347.68/1347.91	c #Conflicts:      28000 | #Learnt:       7440 | 0.001
1347.68/1347.91	c total clause space: 206.656MB
1347.68/1347.91	c total #watches: 1166394
1511.16/1511.43	c total #propagations: 7314571 / total #impl: 1875497177 (eff. 0.004)
1511.16/1511.43	c GARBAGE COLLECT
1511.16/1511.43	c #Conflicts:      29000 | #Learnt:       4341 | 0.001
1511.16/1511.43	c total clause space: 206.656MB
1511.16/1511.43	c total #watches: 672924
1611.64/1611.96	c total #propagations: 7605891 / total #impl: 1992649020 (eff. 0.004)
1611.64/1611.96	c #Conflicts:      30000 | #Learnt:       5341 | 0.001
1611.64/1611.96	c total clause space: 206.656MB
1611.64/1611.96	c total #watches: 815832
1718.92/1719.26	c total #propagations: 7906104 / total #impl: 2114923872 (eff. 0.004)
1718.92/1719.26	c #Conflicts:      31000 | #Learnt:       6341 | 0.001
1718.92/1719.26	c total clause space: 206.656MB
1718.92/1719.26	c total #watches: 963098

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-4087213-1465432446/watcher-4087213-1465432446 -o /tmp/evaluation-result-4087213-1465432446/solver-4087213-1465432446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31682 --watchdog 1960 --input HOME/instance-4087213-1465432446.opb ./cdcl-cuttingplanes-release 

pid=32125
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.05 2.12 2.11 1/170 32128
/proc/meminfo: memFree=29780960/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 125177733 29802496 5261 33554432000 4194304 6199737 140733983248672 140737389746360 4209408 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 7276 5261 122 490 0 6777 0

[startup+0.100161 s]
/proc/loadavg: 2.05 2.12 2.11 1/170 32128
/proc/meminfo: memFree=29780960/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=34116 CPUtime=0.09 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 745 0 0 0 9 0 0 0 20 0 1 0 125177733 34934784 7141 33554432000 4194304 6199737 140733983248672 140737389746360 5149722 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 8529 7141 139 490 0 8030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34116

[startup+0.200361 s]
/proc/loadavg: 2.05 2.12 2.11 1/170 32128
/proc/meminfo: memFree=29780960/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=34244 CPUtime=0.19 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 1231 0 0 0 19 0 0 0 20 0 1 0 125177733 35065856 7459 33554432000 4194304 6199737 140733983248672 140737389746360 5149722 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 8561 7459 139 490 0 8062 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34244

[startup+0.300272 s]
/proc/loadavg: 2.05 2.12 2.11 1/170 32128
/proc/meminfo: memFree=29780960/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=37092 CPUtime=0.29 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 1382 0 0 0 29 0 0 0 20 0 1 0 125177733 37982208 8075 33554432000 4194304 6199737 140733983248672 140737389746360 4196541 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 9273 8075 139 490 0 8774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37092

[startup+0.700241 s]
/proc/loadavg: 2.05 2.12 2.11 1/170 32128
/proc/meminfo: memFree=29780960/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=41756 CPUtime=0.69 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 1628 0 0 0 69 0 0 0 20 0 1 0 125177733 42758144 8256 33554432000 4194304 6199737 140733983248672 140733983247320 5149722 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 10439 8258 155 490 0 9940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41756

[startup+1.50024 s]
/proc/loadavg: 2.05 2.12 2.11 3/177 32144
/proc/meminfo: memFree=29709604/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=42372 CPUtime=1.49 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 2294 0 0 0 149 0 0 0 20 0 1 0 125177733 43388928 9214 33554432000 4194304 6199737 140733983248672 140733983247608 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 10593 9214 155 490 0 10094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42372

[startup+3.10023 s]
/proc/loadavg: 2.05 2.12 2.11 3/177 32144
/proc/meminfo: memFree=29702160/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=49920 CPUtime=3.08 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 3251 0 0 0 308 0 0 0 20 0 1 0 125177733 51118080 9778 33554432000 4194304 6199737 140733983248672 140733983247608 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 12480 9778 161 490 0 11981 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49920

[startup+6.3003 s]
/proc/loadavg: 2.04 2.12 2.10 3/177 32144
/proc/meminfo: memFree=29687684/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=62280 CPUtime=6.29 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 4092 0 0 0 628 1 0 0 20 0 1 0 125177733 63774720 11955 33554432000 4194304 6199737 140733983248672 140733983247688 4213308 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 15570 11955 161 490 0 15071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62280

[startup+12.7002 s]
/proc/loadavg: 2.04 2.12 2.10 3/177 32144
/proc/meminfo: memFree=29669040/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=63308 CPUtime=12.68 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 4670 0 0 0 1267 1 0 0 20 0 1 0 125177733 64827392 14447 33554432000 4194304 6199737 140733983248672 140733983247608 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 15827 14447 161 490 0 15328 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63308

[startup+25.5003 s]
/proc/loadavg: 2.10 2.13 2.11 4/177 32144
/proc/meminfo: memFree=29660060/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=63992 CPUtime=25.48 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 5028 0 0 0 2547 1 0 0 20 0 1 0 125177733 65527808 14738 33554432000 4194304 6199737 140733983248672 140733983247608 4213314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 15998 14738 161 490 0 15499 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63992

[startup+51.1003 s]
/proc/loadavg: 2.14 2.13 2.11 4/177 32144
/proc/meminfo: memFree=29630964/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=84624 CPUtime=51.08 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 6157 0 0 0 5106 2 0 0 20 0 1 0 125177733 86654976 18116 33554432000 4194304 6199737 140733983248672 140733983247320 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 21156 18116 161 490 0 20657 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84624

[startup+102.3 s]
/proc/loadavg: 2.19 2.14 2.11 3/177 32145
/proc/meminfo: memFree=29590292/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=116960 CPUtime=102.28 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 7222 0 0 0 10226 2 0 0 20 0 1 0 125177733 119767040 23476 33554432000 4194304 6199737 140733983248672 140733983247608 4217844 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 29240 23476 161 490 0 28741 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116960

[startup+162.3 s]
/proc/loadavg: 2.16 2.14 2.11 3/177 32146
/proc/meminfo: memFree=29585456/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=119300 CPUtime=162.26 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 7917 0 0 0 16224 2 0 0 20 0 1 0 125177733 122163200 24659 33554432000 4194304 6199737 140733983248672 140733983247608 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 29825 24659 161 490 0 29326 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 119300

[startup+222.307 s]
/proc/loadavg: 2.18 2.15 2.11 3/177 32147
/proc/meminfo: memFree=29571388/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=119868 CPUtime=222.26 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 8188 0 0 0 22223 3 0 0 20 0 1 0 125177733 122744832 25926 33554432000 4194304 6199737 140733983248672 140733983247608 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 29967 25926 161 490 0 29468 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 119868

[startup+282.3 s]
/proc/loadavg: 2.12 2.13 2.10 4/177 32148
/proc/meminfo: memFree=29513732/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=171332 CPUtime=282.25 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 9071 0 0 0 28221 4 0 0 20 0 1 0 125177733 175443968 33130 33554432000 4194304 6199737 140733983248672 140733983247608 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 42833 33130 161 490 0 42334 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 171332

[startup+342.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/177 32150
/proc/meminfo: memFree=29512704/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=171332 CPUtime=342.24 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 9221 0 0 0 34220 4 0 0 20 0 1 0 125177733 175443968 33275 33554432000 4194304 6199737 140733983248672 140733983247784 4213456 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 42833 33275 161 490 0 42334 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 171332

[startup+402.3 s]
/proc/loadavg: 2.18 2.14 2.10 3/178 32154
/proc/meminfo: memFree=29495876/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=172168 CPUtime=402.23 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 9432 0 0 0 40219 4 0 0 20 0 1 0 125177733 176300032 37063 33554432000 4194304 6199737 140733983248672 140733983247608 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 43042 37063 161 490 0 42543 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 172168

[startup+462.3 s]
/proc/loadavg: 2.06 2.11 2.09 4/177 32155
/proc/meminfo: memFree=29471932/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=174232 CPUtime=462.21 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 9958 0 0 0 46217 4 0 0 20 0 1 0 125177733 178413568 40655 33554432000 4194304 6199737 140733983248672 140733983247608 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 43558 40655 161 490 0 43059 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 174232

[startup+522.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/177 32156
/proc/meminfo: memFree=29459956/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=256732 CPUtime=522.21 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 10398 0 0 0 52216 5 0 0 20 0 1 0 125177733 262893568 42582 33554432000 4194304 6199737 140733983248672 140733983247688 4213238 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64183 42582 161 490 0 63684 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 256732

[startup+582.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/177 32157
/proc/meminfo: memFree=29454988/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=256836 CPUtime=582.2 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 10742 0 0 0 58215 5 0 0 20 0 1 0 125177733 263000064 43725 33554432000 4194304 6199737 140733983248672 140733983247784 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64209 43725 161 490 0 63710 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 256836


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/177 32165
/proc/meminfo: memFree=29439352/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=258576 CPUtime=942.14 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11372 0 0 0 94209 5 0 0 20 0 1 0 125177733 264781824 44311 33554432000 4194304 6199737 140733983248672 140733983247784 4213476 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64644 44311 161 490 0 64145 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 258576

[startup+1002.3 s]
/proc/loadavg: 2.08 2.09 2.09 4/178 32169
/proc/meminfo: memFree=29428980/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=258576 CPUtime=1002.13 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11372 0 0 0 100208 5 0 0 20 0 1 0 125177733 264781824 44311 33554432000 4194304 6199737 140733983248672 140733983247784 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64644 44311 161 490 0 64145 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 258576

[startup+1062.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/177 32170
/proc/meminfo: memFree=29423156/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=258576 CPUtime=1062.13 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11430 0 0 0 106208 5 0 0 20 0 1 0 125177733 264781824 44367 33554432000 4194304 6199737 140733983248672 140733983247784 4213515 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64644 44367 161 490 0 64145 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 258576

[startup+1122.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/177 32171
/proc/meminfo: memFree=29423284/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=258576 CPUtime=1122.12 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11430 0 0 0 112207 5 0 0 20 0 1 0 125177733 264781824 44367 33554432000 4194304 6199737 140733983248672 140733983247784 4213306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64644 44367 161 490 0 64145 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 258576

[startup+1182.3 s]
/proc/loadavg: 2.04 2.07 2.08 4/177 32172
/proc/meminfo: memFree=29422544/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=258704 CPUtime=1182.11 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11463 0 0 0 118206 5 0 0 20 0 1 0 125177733 264912896 44400 33554432000 4194304 6199737 140733983248672 140733983247608 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64676 44400 161 490 0 64177 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 258704

[startup+1242.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/177 32174
/proc/meminfo: memFree=29421680/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=259496 CPUtime=1242.1 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11647 0 0 0 124205 5 0 0 20 0 1 0 125177733 265723904 44584 33554432000 4194304 6199737 140733983248672 140733983247320 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 64874 44584 161 490 0 64375 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 259496

[startup+1302.3 s]
/proc/loadavg: 2.18 2.10 2.09 3/177 32175
/proc/meminfo: memFree=29419200/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=260224 CPUtime=1302.09 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 11858 0 0 0 130204 5 0 0 20 0 1 0 125177733 266469376 44789 33554432000 4194304 6199737 140733983248672 140733983247320 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65056 44789 161 490 0 64557 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 260224

[startup+1362.3 s]
/proc/loadavg: 2.13 2.09 2.09 4/177 32176
/proc/meminfo: memFree=29413492/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=260812 CPUtime=1362.08 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12114 0 0 0 136202 6 0 0 20 0 1 0 125177733 267071488 46052 33554432000 4194304 6199737 140733983248672 140733983247784 4213368 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65203 46052 161 490 0 64704 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 260812

[startup+1422.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/177 32177
/proc/meminfo: memFree=29401336/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=261856 CPUtime=1422.08 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12352 0 0 0 142202 6 0 0 20 0 1 0 125177733 268140544 47823 33554432000 4194304 6199737 140733983248672 140733983247320 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65464 47823 161 490 0 64965 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 261856

[startup+1482.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/177 32178
/proc/meminfo: memFree=29380676/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263460 CPUtime=1482.06 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12721 0 0 0 148200 6 0 0 20 0 1 0 125177733 269783040 49725 33554432000 4194304 6199737 140733983248672 140733983247320 4213381 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65865 49725 161 490 0 65366 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 263460

[startup+1542.31 s]
/proc/loadavg: 2.10 2.09 2.09 4/177 32180
/proc/meminfo: memFree=29369820/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1542.06 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12843 0 0 0 154200 6 0 0 20 0 1 0 125177733 270143488 50334 33554432000 4194304 6199737 140733983248672 140733983247784 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50334 161 490 0 65454 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 263812

[startup+1602.3 s]
/proc/loadavg: 2.19 2.11 2.09 3/178 32184
/proc/meminfo: memFree=29369560/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1602.04 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12845 0 0 0 160198 6 0 0 20 0 1 0 125177733 270143488 50336 33554432000 4194304 6199737 140733983248672 140733983247784 4213396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50336 161 490 0 65454 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 263812

[startup+1662.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/179 32208
/proc/meminfo: memFree=29369056/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1662.03 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12861 0 0 0 166197 6 0 0 20 0 1 0 125177733 270143488 50352 33554432000 4194304 6199737 140733983248672 140733983247784 4213298 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50352 161 490 0 65454 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 263812

[startup+1722.3 s]
/proc/loadavg: 2.05 2.08 2.08 4/178 32209
/proc/meminfo: memFree=29369184/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1722.02 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12861 0 0 0 172196 6 0 0 20 0 1 0 125177733 270143488 50352 33554432000 4194304 6199737 140733983248672 140733983247784 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50352 161 490 0 65454 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 263812

[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/178 32210
/proc/meminfo: memFree=29367876/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1782.02 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12865 0 0 0 178196 6 0 0 20 0 1 0 125177733 270143488 50396 33554432000 4194304 6199737 140733983248672 140733983247784 4213389 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50396 161 490 0 65454 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 263812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/178 32210
/proc/meminfo: memFree=29368252/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1800.01 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12866 0 0 0 179995 6 0 0 20 0 1 0 125177733 270143488 50397 33554432000 4194304 6199737 140733983248672 140733983247784 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50397 161 490 0 65454 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 263812

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

[startup+1800.3 s]
/proc/loadavg: 2.06 2.08 2.09 3/178 32210
/proc/meminfo: memFree=29368252/32872528 swapFree=16252/1391864
[pid=32128] ppid=32125 vsize=263812 CPUtime=1800.01 cores=1,3,5,7
/proc/32128/stat : 32128 (cdcl-cuttingpla) R 32125 32128 31665 0 -1 4202496 12866 0 0 0 179995 6 0 0 20 0 1 0 125177733 270143488 50397 33554432000 4194304 6199737 140733983248672 140733983247784 4213385 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32128/statm: 65953 50397 161 490 0 65454 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 263812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.06499
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 263812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06499
maximum resident set size= 201588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12866
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= 17
involuntary context switches= 1877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46132 second user time and 6.99794 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 02:34:06
IDJOB=4087213
IDBENCH=90216
IDSOLVER=2548
FILE ID=node119/4087213-1465432446
RUNJOBID= node119-1465427044-31682
PBS_JOBID= 19859789
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087213-1465432446/watcher-4087213-1465432446 -o /tmp/evaluation-result-4087213-1465432446/solver-4087213-1465432446 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465427044-31682 --watchdog 1960 --input HOME/instance-4087213-1465432446.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 0228ffc8e8b202453e422d741e6bbe73
RANDOM SEED=1369498682

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.410
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.410
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.410
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.410
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.56
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.410
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:        29780868 kB
Buffers:          147332 kB
Cached:           808052 kB
SwapCached:          816 kB
Active:           443268 kB
Inactive:         515468 kB
Active(anon):       2888 kB
Inactive(anon):     2712 kB
Active(file):     440380 kB
Inactive(file):   512756 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100208 kB
Dirty:              2728 kB
Writeback:             4 kB
AnonPages:       1348840 kB
Mapped:             7632 kB
Shmem:                 0 kB
Slab:             608476 kB
SReclaimable:      52720 kB
SUnreclaim:       555756 kB
KernelStack:        1480 kB
PageTables:         7284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1487484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1333248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node119 at 2016-06-09 03:04:06