Trace number 4087259

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.03 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
MD5SUMa293d07a49a0e06ee574b1553fbf5b2b
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 benchmark251.47
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7344
Total number of constraints7562
Number of constraints which are clauses7454
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint108
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 109
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= 7344 #constraint= 7562
0.49/0.55	c #Conflicts:       1000 | #Learnt:        997 | 0.003
0.49/0.55	c total clause space: 11.2235MB
0.49/0.55	c total #watches: 67491
2.59/2.68	c total #propagations: 417753 / total #impl: 3294380 (eff. 0.127)
2.59/2.68	c #Conflicts:       2000 | #Learnt:       1997 | 0.002
2.59/2.68	c total clause space: 18.2382MB
2.59/2.68	c total #watches: 133109
5.69/5.71	c total #propagations: 944342 / total #impl: 15059703 (eff. 0.063)
5.69/5.71	c GARBAGE COLLECT
5.69/5.71	c #Conflicts:       3000 | #Learnt:       2026 | 0.003
5.69/5.71	c total clause space: 18.2382MB
5.69/5.71	c total #watches: 169854
10.29/10.37	c total #propagations: 1421672 / total #impl: 32006234 (eff. 0.044)
10.29/10.37	c #Conflicts:       4000 | #Learnt:       3026 | 0.002
10.29/10.37	c total clause space: 29.637MB
10.29/10.37	c total #watches: 276116
16.79/16.89	c total #propagations: 1832049 / total #impl: 55038203 (eff. 0.033)
16.79/16.89	c GARBAGE COLLECT
16.79/16.89	c #Conflicts:       5000 | #Learnt:       2387 | 0.002
16.79/16.89	c total clause space: 29.637MB
16.79/16.89	c total #watches: 254548
26.88/26.95	c total #propagations: 2239797 / total #impl: 74255170 (eff. 0.030)
26.88/26.95	c #Conflicts:       6000 | #Learnt:       3387 | 0.003
26.88/26.95	c total clause space: 29.637MB
26.88/26.95	c total #watches: 360783
38.68/38.73	c total #propagations: 2654363 / total #impl: 103700864 (eff. 0.026)
38.68/38.73	c GARBAGE COLLECT
38.68/38.73	c #Conflicts:       7000 | #Learnt:       2302 | 0.003
38.68/38.73	c total clause space: 48.1602MB
38.68/38.73	c total #watches: 233987
42.89/42.92	c total #propagations: 3009433 / total #impl: 132259061 (eff. 0.023)
42.89/42.92	c #Conflicts:       8000 | #Learnt:       3302 | 0.003
42.89/42.92	c total clause space: 48.1602MB
42.89/42.92	c total #watches: 321894
56.18/56.21	c total #propagations: 3257247 / total #impl: 146316837 (eff. 0.022)
56.18/56.21	c #Conflicts:       9000 | #Learnt:       4302 | 0.003
56.18/56.21	c total clause space: 48.1602MB
56.18/56.21	c total #watches: 424334
74.37/74.46	c total #propagations: 3683355 / total #impl: 178778934 (eff. 0.021)
74.37/74.46	c GARBAGE COLLECT
74.37/74.46	c #Conflicts:      10000 | #Learnt:       2790 | 0.002
74.37/74.46	c total clause space: 48.1602MB
74.37/74.46	c total #watches: 281965
83.37/83.43	c total #propagations: 4134529 / total #impl: 214387886 (eff. 0.019)
83.37/83.43	c #Conflicts:      11000 | #Learnt:       3790 | 0.002
83.37/83.43	c total clause space: 48.1602MB
83.37/83.43	c total #watches: 441808
117.57/117.62	c total #propagations: 4504741 / total #impl: 253990177 (eff. 0.018)
117.57/117.62	c #Conflicts:      12000 | #Learnt:       4790 | 0.033
117.57/117.62	c total clause space: 78.2603MB
117.57/117.62	c total #watches: 563773
149.57/149.61	c total #propagations: 5039111 / total #impl: 311662258 (eff. 0.016)
149.57/149.61	c #Conflicts:      13000 | #Learnt:       5790 | 0.031
149.57/149.61	c total clause space: 78.2603MB
149.57/149.61	c total #watches: 666353
163.87/163.98	c total #propagations: 5427117 / total #impl: 354969859 (eff. 0.015)
163.87/163.98	c GARBAGE COLLECT
163.87/163.98	c #Conflicts:      14000 | #Learnt:       3964 | 0.028
163.87/163.98	c total clause space: 78.2603MB
163.87/163.98	c total #watches: 432220
178.36/178.49	c total #propagations: 5784827 / total #impl: 391419047 (eff. 0.015)
178.36/178.49	c #Conflicts:      15000 | #Learnt:       4964 | 0.027
178.36/178.49	c total clause space: 78.2603MB
178.36/178.49	c total #watches: 523199
200.76/200.81	c total #propagations: 6069089 / total #impl: 427184460 (eff. 0.014)
200.76/200.81	c #Conflicts:      16000 | #Learnt:       5964 | 0.026
200.76/200.81	c total clause space: 127.173MB
200.76/200.81	c total #watches: 628724
226.75/226.83	c total #propagations: 6305650 / total #impl: 481485610 (eff. 0.013)
226.75/226.83	c GARBAGE COLLECT
226.75/226.83	c #Conflicts:      17000 | #Learnt:       3772 | 0.024
226.75/226.83	c total clause space: 127.173MB
226.75/226.83	c total #watches: 462175
264.95/265.02	c total #propagations: 6642911 / total #impl: 520012978 (eff. 0.013)
264.95/265.02	c #Conflicts:      18000 | #Learnt:       4772 | 0.023
264.95/265.02	c total clause space: 127.173MB
264.95/265.02	c total #watches: 624556
318.44/318.50	c total #propagations: 7016859 / total #impl: 575039936 (eff. 0.012)
318.44/318.50	c #Conflicts:      19000 | #Learnt:       5772 | 0.022
318.44/318.50	c total clause space: 127.173MB
318.44/318.50	c total #watches: 709638
379.94/380.02	c total #propagations: 7402194 / total #impl: 634474636 (eff. 0.012)
379.94/380.02	c #Conflicts:      20000 | #Learnt:       6772 | 0.021
379.94/380.02	c total clause space: 127.173MB
379.94/380.02	c total #watches: 845127
439.42/439.59	c total #propagations: 7809473 / total #impl: 695824905 (eff. 0.011)
439.42/439.59	c GARBAGE COLLECT
439.42/439.59	c #Conflicts:      21000 | #Learnt:       4258 | 0.020
439.42/439.59	c total clause space: 127.173MB
439.42/439.59	c total #watches: 685696
537.51/537.65	c total #propagations: 8214781 / total #impl: 741466103 (eff. 0.011)
537.51/537.65	c #Conflicts:      22000 | #Learnt:       5258 | 0.019
537.51/537.65	c total clause space: 127.173MB
537.51/537.65	c total #watches: 853901
660.09/660.24	c total #propagations: 8711645 / total #impl: 806353546 (eff. 0.011)
660.09/660.24	c #Conflicts:      23000 | #Learnt:       6258 | 0.018
660.09/660.24	c total clause space: 127.173MB
660.09/660.24	c total #watches: 1007258
785.17/785.30	c total #propagations: 9207086 / total #impl: 886409739 (eff. 0.010)
785.17/785.30	c #Conflicts:      24000 | #Learnt:       7258 | 0.018
785.17/785.30	c total clause space: 127.173MB
785.17/785.30	c total #watches: 1148664
848.96/849.16	c total #propagations: 9623178 / total #impl: 956398471 (eff. 0.010)
848.96/849.16	c GARBAGE COLLECT
848.96/849.16	c #Conflicts:      25000 | #Learnt:       4482 | 0.017
848.96/849.16	c total clause space: 127.173MB
848.96/849.16	c total #watches: 648732
884.05/884.25	c total #propagations: 9991928 / total #impl: 1014110972 (eff. 0.010)
884.05/884.25	c #Conflicts:      26000 | #Learnt:       5482 | 0.017
884.05/884.25	c total clause space: 127.173MB
884.05/884.25	c total #watches: 816947
942.04/942.21	c total #propagations: 10275544 / total #impl: 1061940354 (eff. 0.010)
942.04/942.21	c #Conflicts:      27000 | #Learnt:       6482 | 0.016
942.04/942.21	c total clause space: 127.173MB
942.04/942.21	c total #watches: 1006924
1031.83/1032.07	c total #propagations: 10599372 / total #impl: 1149506225 (eff. 0.009)
1031.83/1032.07	c #Conflicts:      28000 | #Learnt:       7482 | 0.016
1031.83/1032.07	c total clause space: 127.173MB
1031.83/1032.07	c total #watches: 1192466
1140.42/1140.69	c total #propagations: 11002516 / total #impl: 1234469229 (eff. 0.009)
1140.42/1140.69	c GARBAGE COLLECT
1140.42/1140.69	c #Conflicts:      29000 | #Learnt:       4387 | 0.015
1140.42/1140.69	c total clause space: 127.173MB
1140.42/1140.69	c total #watches: 656689
1202.81/1203.06	c total #propagations: 11402355 / total #impl: 1341263142 (eff. 0.009)
1202.81/1203.06	c #Conflicts:      30000 | #Learnt:       5387 | 0.015
1202.81/1203.06	c total clause space: 127.173MB
1202.81/1203.06	c total #watches: 841922
1283.70/1283.95	c total #propagations: 11789520 / total #impl: 1419677887 (eff. 0.008)
1283.70/1283.95	c #Conflicts:      31000 | #Learnt:       6387 | 0.014
1283.70/1283.95	c total clause space: 127.173MB
1283.70/1283.95	c total #watches: 996490
1401.48/1401.70	c total #propagations: 12139313 / total #impl: 1496596759 (eff. 0.008)
1401.48/1401.70	c #Conflicts:      32000 | #Learnt:       7387 | 0.014
1401.48/1401.70	c total clause space: 127.173MB
1401.48/1401.70	c total #watches: 1238098
1532.85/1533.11	c total #propagations: 12578862 / total #impl: 1602418857 (eff. 0.008)
1532.85/1533.11	c #Conflicts:      33000 | #Learnt:       8387 | 0.013
1532.85/1533.11	c total clause space: 206.656MB
1532.85/1533.11	c total #watches: 1383794
1617.34/1617.67	c total #propagations: 12970489 / total #impl: 1717923289 (eff. 0.008)
1617.34/1617.67	c GARBAGE COLLECT
1617.34/1617.67	c #Conflicts:      34000 | #Learnt:       4996 | 0.013
1617.34/1617.67	c total clause space: 206.656MB
1617.34/1617.67	c total #watches: 767467
1684.33/1684.62	c total #propagations: 13287993 / total #impl: 1861933028 (eff. 0.007)
1684.33/1684.62	c #Conflicts:      35000 | #Learnt:       5996 | 0.013
1684.33/1684.62	c total clause space: 206.656MB
1684.33/1684.62	c total #watches: 912994
1773.61/1773.98	c total #propagations: 13652460 / total #impl: 1958899063 (eff. 0.007)
1773.61/1773.98	c #Conflicts:      36000 | #Learnt:       6996 | 0.013
1773.61/1773.98	c total clause space: 206.656MB
1773.61/1773.98	c total #watches: 1124301

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

pid=5264
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.21 0.67 1.21 4/175 5270
/proc/meminfo: memFree=29638492/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 124635673 29802496 5261 33554432000 4194304 6199737 140734226072400 140735587545576 4209408 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 7276 5261 122 490 0 6777 0

[startup+0.100114 s]
/proc/loadavg: 0.21 0.67 1.21 4/175 5270
/proc/meminfo: memFree=29638492/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=34248 CPUtime=0.09 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 1105 0 0 0 9 0 0 0 20 0 1 0 124635673 35069952 7376 33554432000 4194304 6199737 140734226072400 140735587545576 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 8562 7376 139 490 0 8063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34248

[startup+0.200417 s]
/proc/loadavg: 0.21 0.67 1.21 4/175 5270
/proc/meminfo: memFree=29638492/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=37324 CPUtime=0.19 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 1462 0 0 0 19 0 0 0 20 0 1 0 124635673 38219776 8139 33554432000 4194304 6199737 140734226072400 140735587545576 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 9331 8139 139 490 0 8832 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37324

[startup+0.30039 s]
/proc/loadavg: 0.21 0.67 1.21 4/175 5270
/proc/meminfo: memFree=29638492/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=41872 CPUtime=0.29 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 1713 0 0 0 29 0 0 0 20 0 1 0 124635673 42876928 8310 33554432000 4194304 6199737 140734226072400 140735587545576 4213495 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 10468 8310 139 490 0 9969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41872

[startup+0.700278 s]
/proc/loadavg: 0.21 0.67 1.21 4/175 5270
/proc/meminfo: memFree=29638492/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=42236 CPUtime=0.69 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 2209 0 0 0 69 0 0 0 20 0 1 0 124635673 43249664 9169 33554432000 4194304 6199737 140734226072400 140735587545576 4213298 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 10559 9169 155 490 0 10060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42236

[startup+1.50019 s]
/proc/loadavg: 0.21 0.67 1.21 5/177 5272
/proc/meminfo: memFree=29565580/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=49904 CPUtime=1.49 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 2668 0 0 0 149 0 0 0 20 0 1 0 124635673 51101696 9498 33554432000 4194304 6199737 140734226072400 140734226071048 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 12476 9498 155 490 0 11977 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49904

[startup+3.10019 s]
/proc/loadavg: 0.21 0.67 1.21 5/177 5272
/proc/meminfo: memFree=29556896/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=50524 CPUtime=3.09 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 3555 0 0 0 309 0 0 0 20 0 1 0 124635673 51736576 10590 33554432000 4194304 6199737 140734226072400 140734226071512 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 12631 10590 155 490 0 12132 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50524

[startup+6.30019 s]
/proc/loadavg: 0.36 0.69 1.22 4/177 5272
/proc/meminfo: memFree=29550840/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=51128 CPUtime=6.29 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 3830 0 0 0 629 0 0 0 20 0 1 0 124635673 52355072 10844 33554432000 4194304 6199737 140734226072400 140734226071512 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 12782 10844 161 490 0 12283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51128

[startup+12.7002 s]
/proc/loadavg: 0.49 0.71 1.22 4/177 5272
/proc/meminfo: memFree=29526504/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=64616 CPUtime=12.69 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 4974 0 0 0 1268 1 0 0 20 0 1 0 124635673 66166784 14235 33554432000 4194304 6199737 140734226072400 140734226071336 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 16154 14235 161 490 0 15655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64616

[startup+25.5003 s]
/proc/loadavg: 0.82 0.78 1.23 5/177 5272
/proc/meminfo: memFree=29521676/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=65444 CPUtime=25.49 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 5347 0 0 0 2548 1 0 0 20 0 1 0 124635673 67014656 15091 33554432000 4194304 6199737 140734226072400 140734226071048 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 16361 15091 161 490 0 15862 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65444

[startup+51.1004 s]
/proc/loadavg: 1.40 0.92 1.27 4/177 5272
/proc/meminfo: memFree=29498576/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=86304 CPUtime=51.08 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 6680 0 0 0 5107 1 0 0 20 0 1 0 124635673 88375296 17594 33554432000 4194304 6199737 140734226072400 140734226071336 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 21576 17594 161 490 0 21077 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86304

[startup+102.3 s]
/proc/loadavg: 1.79 1.10 1.31 4/177 5273
/proc/meminfo: memFree=29466252/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=119904 CPUtime=102.28 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 7875 0 0 0 10226 2 0 0 20 0 1 0 124635673 122781696 21170 33554432000 4194304 6199737 140734226072400 140734226071416 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 29976 21170 161 490 0 29477 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 119904

[startup+162.3 s]
/proc/loadavg: 2.04 1.30 1.37 5/177 5275
/proc/meminfo: memFree=29429888/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=121260 CPUtime=162.26 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 8351 0 0 0 16224 2 0 0 20 0 1 0 124635673 124170240 25656 33554432000 4194304 6199737 140734226072400 140734226071336 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 30315 25656 161 490 0 29816 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 121260

[startup+222.307 s]
/proc/loadavg: 2.12 1.46 1.41 4/177 5276
/proc/meminfo: memFree=29382548/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=172680 CPUtime=222.26 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 9388 0 0 0 22223 3 0 0 20 0 1 0 124635673 176824320 32457 33554432000 4194304 6199737 140734226072400 140734226071336 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 43170 32457 161 490 0 42671 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 172680

[startup+282.3 s]
/proc/loadavg: 2.16 1.59 1.46 4/177 5277
/proc/meminfo: memFree=29375480/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=173452 CPUtime=282.25 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 9759 0 0 0 28222 3 0 0 20 0 1 0 124635673 177614848 32812 33554432000 4194304 6199737 140734226072400 140734226071336 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 43363 32812 161 490 0 42864 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 173452

[startup+342.3 s]
/proc/loadavg: 2.19 1.70 1.50 5/177 5278
/proc/meminfo: memFree=29361208/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=174024 CPUtime=342.23 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 9902 0 0 0 34220 3 0 0 20 0 1 0 124635673 178200576 33977 33554432000 4194304 6199737 140734226072400 140734226071336 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 43506 33977 161 490 0 43007 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 174024

[startup+402.3 s]
/proc/loadavg: 2.17 1.78 1.54 4/178 5282
/proc/meminfo: memFree=29327152/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=176424 CPUtime=402.23 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 10535 0 0 0 40219 4 0 0 20 0 1 0 124635673 180658176 42267 33554432000 4194304 6199737 140734226072400 140734226071336 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 44106 42267 161 490 0 43607 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 176424

[startup+462.3 s]
/proc/loadavg: 2.15 1.85 1.58 4/177 5284
/proc/meminfo: memFree=29324424/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=177796 CPUtime=462.22 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 10883 0 0 0 46218 4 0 0 20 0 1 0 124635673 182063104 42615 33554432000 4194304 6199737 140734226072400 140734226071336 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 44449 42615 161 490 0 43950 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 177796

[startup+522.3 s]
/proc/loadavg: 2.36 1.95 1.63 5/177 5285
/proc/meminfo: memFree=29323796/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=178048 CPUtime=522.21 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 10950 0 0 0 52217 4 0 0 20 0 1 0 124635673 182321152 42682 33554432000 4194304 6199737 140734226072400 140734226071336 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 44512 42682 161 490 0 44013 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 178048

[startup+582.3 s]
/proc/loadavg: 2.28 2.00 1.66 4/177 5286
/proc/meminfo: memFree=29320448/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=179308 CPUtime=582.2 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 11350 0 0 0 58216 4 0 0 20 0 1 0 124635673 183611392 43073 33554432000 4194304 6199737 140734226072400 140734226071048 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 44827 43073 161 490 0 44328 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 179308


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.11 1.81 4/177 5293
/proc/meminfo: memFree=29273416/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=183104 CPUtime=942.14 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12433 0 0 0 94210 4 0 0 20 0 1 0 124635673 187498496 44095 33554432000 4194304 6199737 140734226072400 140734226071336 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 45776 44095 161 490 0 45277 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 183104

[startup+1002.3 s]
/proc/loadavg: 2.23 2.13 1.84 5/178 5297
/proc/meminfo: memFree=29273200/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=183724 CPUtime=1002.13 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12585 0 0 0 100209 4 0 0 20 0 1 0 124635673 188133376 44247 33554432000 4194304 6199737 140734226072400 140734226071336 4213396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 45931 44247 161 490 0 45432 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 183724

[startup+1062.3 s]
/proc/loadavg: 2.12 2.12 1.85 5/177 5299
/proc/meminfo: memFree=29272584/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=184236 CPUtime=1062.13 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12700 0 0 0 106208 5 0 0 20 0 1 0 124635673 188657664 44362 33554432000 4194304 6199737 140734226072400 140734226071336 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46059 44362 161 490 0 45560 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 184236

[startup+1122.3 s]
/proc/loadavg: 2.14 2.12 1.87 4/177 5300
/proc/meminfo: memFree=29271824/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=184496 CPUtime=1122.12 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12769 0 0 0 112207 5 0 0 20 0 1 0 124635673 188923904 44431 33554432000 4194304 6199737 140734226072400 140734226071224 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46124 44431 161 490 0 45625 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 184496

[startup+1182.3 s]
/proc/loadavg: 2.10 2.11 1.88 5/176 5301
/proc/meminfo: memFree=29267624/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=184616 CPUtime=1182.11 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12812 0 0 0 118206 5 0 0 20 0 1 0 124635673 189046784 44473 33554432000 4194304 6199737 140734226072400 140734226071512 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46154 44473 161 490 0 45655 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 184616

[startup+1242.3 s]
/proc/loadavg: 2.08 2.11 1.89 5/177 5303
/proc/meminfo: memFree=29244188/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=184748 CPUtime=1242.1 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12870 0 0 0 124205 5 0 0 20 0 1 0 124635673 189181952 44530 33554432000 4194304 6199737 140734226072400 140734226071096 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46187 44530 161 490 0 45688 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 184748

[startup+1302.3 s]
/proc/loadavg: 2.17 2.13 1.91 4/177 5304
/proc/meminfo: memFree=29242940/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=184840 CPUtime=1302.09 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12893 0 0 0 130204 5 0 0 20 0 1 0 124635673 189276160 44553 33554432000 4194304 6199737 140734226072400 140734226071336 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46210 44553 161 490 0 45711 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 184840

[startup+1362.3 s]
/proc/loadavg: 2.11 2.12 1.92 4/177 5306
/proc/meminfo: memFree=29242932/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=185072 CPUtime=1362.08 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 12954 0 0 0 136203 5 0 0 20 0 1 0 124635673 189513728 44614 33554432000 4194304 6199737 140734226072400 140734226071336 4213476 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46268 44614 161 490 0 45769 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 185072

[startup+1422.3 s]
/proc/loadavg: 2.07 2.11 1.92 4/177 5307
/proc/meminfo: memFree=29242052/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=185404 CPUtime=1422.08 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13034 0 0 0 142203 5 0 0 20 0 1 0 124635673 189853696 44694 33554432000 4194304 6199737 140734226072400 140734226071336 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 46351 44694 161 490 0 45852 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 185404

[startup+1482.3 s]
/proc/loadavg: 2.21 2.14 1.94 5/177 5308
/proc/meminfo: memFree=29228276/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=266964 CPUtime=1482.06 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13401 0 0 0 148201 5 0 0 20 0 1 0 124635673 273371136 46498 33554432000 4194304 6199737 140734226072400 140734226071336 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66741 46498 161 490 0 66242 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 266964

[startup+1542.31 s]
/proc/loadavg: 2.21 2.15 1.95 4/177 5309
/proc/meminfo: memFree=29200780/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267192 CPUtime=1542.06 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13613 0 0 0 154201 5 0 0 20 0 1 0 124635673 273604608 50135 33554432000 4194304 6199737 140734226072400 140734226071336 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66798 50135 161 490 0 66299 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 267192

[startup+1602.3 s]
/proc/loadavg: 2.15 2.15 1.96 4/178 5313
/proc/meminfo: memFree=29170876/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267456 CPUtime=1602.04 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13902 0 0 0 160199 5 0 0 20 0 1 0 124635673 273874944 53296 33554432000 4194304 6199737 140734226072400 140734226071336 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66864 53296 161 490 0 66365 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 267456

[startup+1662.3 s]
/proc/loadavg: 2.22 2.16 1.98 4/177 5315
/proc/meminfo: memFree=29150960/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267456 CPUtime=1662.03 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13919 0 0 0 166198 5 0 0 20 0 1 0 124635673 273874944 53313 33554432000 4194304 6199737 140734226072400 140734226071512 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66864 53313 161 490 0 66365 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 267456

[startup+1722.3 s]
/proc/loadavg: 2.17 2.16 1.99 4/177 5316
/proc/meminfo: memFree=29148532/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267508 CPUtime=1722.02 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13932 0 0 0 172197 5 0 0 20 0 1 0 124635673 273928192 53326 33554432000 4194304 6199737 140734226072400 140734226071336 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66877 53326 161 490 0 66378 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 267508

[startup+1782.3 s]
/proc/loadavg: 2.16 2.16 2.00 4/177 5317
/proc/meminfo: memFree=29146816/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267728 CPUtime=1782.01 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 13988 0 0 0 178196 5 0 0 20 0 1 0 124635673 274153472 53382 33554432000 4194304 6199737 140734226072400 140734226071336 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66932 53382 161 490 0 66433 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 267728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.16 2.00 5/177 5317
/proc/meminfo: memFree=29146256/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267840 CPUtime=1800.02 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 14110 0 0 0 179996 6 0 0 20 0 1 0 124635673 274268160 53498 33554432000 4194304 6199737 140734226072400 140734226071336 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66960 53498 161 490 0 66461 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 267840

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

[startup+1800.3 s]
/proc/loadavg: 2.18 2.16 2.00 5/177 5317
/proc/meminfo: memFree=29146256/32872528 swapFree=16204/1518544
[pid=5270] ppid=5264 vsize=267840 CPUtime=1800.02 cores=1,3,5,7
/proc/5270/stat : 5270 (cdcl-cuttingpla) R 5264 5270 5225 0 -1 4202496 14110 0 0 0 179996 6 0 0 20 0 1 0 124635673 274268160 53498 33554432000 4194304 6199737 140734226072400 140734226071336 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/5270/statm: 66960 53498 161 490 0 66461 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 267840

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.96
CPU system time (s): 0.06199
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 267840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.06199
maximum resident set size= 213992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14110
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= 16
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.33158 second user time and 14.4548 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-09 01:03:48
IDJOB=4087259
IDBENCH=90130
IDSOLVER=2548
FILE ID=node129/4087259-1465427028
RUNJOBID= node129-1465427028-5242
PBS_JOBID= 19859783
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= a293d07a49a0e06ee574b1553fbf5b2b
RANDOM SEED=188809803

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29639128 kB
Buffers:          136664 kB
Cached:           819516 kB
SwapCached:         1824 kB
Active:           237468 kB
Inactive:         721620 kB
Active(anon):       2152 kB
Inactive(anon):     3116 kB
Active(file):     235316 kB
Inactive(file):   718504 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098840 kB
Dirty:              5628 kB
Writeback:             0 kB
AnonPages:       1520992 kB
Mapped:             8104 kB
Shmem:                 0 kB
Slab:             621688 kB
SReclaimable:      65500 kB
SUnreclaim:       556188 kB
KernelStack:        1408 kB
PageTables:         7012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1616088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1505280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node129 at 2016-06-09 01:33:49