Trace number 4087272

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_K91.opb
MD5SUM8c2203c9ba90488459f210b4f3d3e3ed
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 benchmark1411.46
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6188
Total number of constraints6372
Number of constraints which are clauses6281
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint91
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 92
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= 6188 #constraint= 6372
0.48/0.51	c #Conflicts:       1000 | #Learnt:        998 | 0.000
0.48/0.51	c total clause space: 6.90675MB
0.48/0.51	c total #watches: 69447
1.99/2.02	c total #propagations: 400898 / total #impl: 3469913 (eff. 0.116)
1.99/2.02	c #Conflicts:       2000 | #Learnt:       1998 | 0.001
1.99/2.02	c total clause space: 18.2382MB
1.99/2.02	c total #watches: 123632
3.99/4.06	c total #propagations: 780758 / total #impl: 11605245 (eff. 0.067)
3.99/4.06	c GARBAGE COLLECT
3.99/4.06	c #Conflicts:       3000 | #Learnt:       2030 | 0.001
3.99/4.06	c total clause space: 18.2382MB
3.99/4.06	c total #watches: 143797
7.69/7.77	c total #propagations: 1132454 / total #impl: 20241536 (eff. 0.056)
7.69/7.77	c #Conflicts:       4000 | #Learnt:       3030 | 0.002
7.69/7.77	c total clause space: 29.637MB
7.69/7.77	c total #watches: 201110
12.19/12.23	c total #propagations: 1495652 / total #impl: 35502499 (eff. 0.042)
12.19/12.23	c GARBAGE COLLECT
12.19/12.23	c #Conflicts:       5000 | #Learnt:       2405 | 0.002
12.19/12.23	c total clause space: 29.637MB
12.19/12.23	c total #watches: 199294
18.08/18.16	c total #propagations: 1860475 / total #impl: 54913188 (eff. 0.034)
18.08/18.16	c #Conflicts:       6000 | #Learnt:       3405 | 0.003
18.08/18.16	c total clause space: 29.637MB
18.08/18.16	c total #watches: 272223
26.28/26.37	c total #propagations: 2170169 / total #impl: 72572443 (eff. 0.030)
26.28/26.37	c GARBAGE COLLECT
26.28/26.37	c #Conflicts:       7000 | #Learnt:       2279 | 0.003
26.28/26.37	c total clause space: 48.1602MB
26.28/26.37	c total #watches: 235229
34.19/34.24	c total #propagations: 2512840 / total #impl: 103954271 (eff. 0.024)
34.19/34.24	c #Conflicts:       8000 | #Learnt:       3279 | 0.004
34.19/34.24	c total clause space: 48.1602MB
34.19/34.24	c total #watches: 345243
49.08/49.16	c total #propagations: 2849631 / total #impl: 137606271 (eff. 0.021)
49.08/49.16	c #Conflicts:       9000 | #Learnt:       4279 | 0.004
49.08/49.16	c total clause space: 48.1602MB
49.08/49.16	c total #watches: 451136
64.58/64.60	c total #propagations: 3215021 / total #impl: 178191940 (eff. 0.018)
64.58/64.60	c GARBAGE COLLECT
64.58/64.60	c #Conflicts:      10000 | #Learnt:       2772 | 0.004
64.58/64.60	c total clause space: 48.1602MB
64.58/64.60	c total #watches: 320059
76.78/76.83	c total #propagations: 3534902 / total #impl: 215026916 (eff. 0.016)
76.78/76.83	c #Conflicts:      11000 | #Learnt:       3772 | 0.006
76.78/76.83	c total clause space: 48.1602MB
76.78/76.83	c total #watches: 441879
97.67/97.79	c total #propagations: 3839271 / total #impl: 246068174 (eff. 0.016)
97.67/97.79	c #Conflicts:      12000 | #Learnt:       4772 | 0.006
97.67/97.79	c total clause space: 48.1602MB
97.67/97.79	c total #watches: 547083
124.66/124.72	c total #propagations: 4240526 / total #impl: 294237496 (eff. 0.014)
124.66/124.72	c #Conflicts:      13000 | #Learnt:       5772 | 0.006
124.66/124.72	c total clause space: 78.2603MB
124.66/124.72	c total #watches: 676810
142.66/142.78	c total #propagations: 4589603 / total #impl: 366280892 (eff. 0.013)
142.66/142.78	c GARBAGE COLLECT
142.66/142.78	c #Conflicts:      14000 | #Learnt:       3907 | 0.006
142.66/142.78	c total clause space: 78.2603MB
142.66/142.78	c total #watches: 535727
179.15/179.22	c total #propagations: 4898668 / total #impl: 447783303 (eff. 0.011)
179.15/179.22	c #Conflicts:      15000 | #Learnt:       4907 | 0.005
179.15/179.22	c total clause space: 78.2603MB
179.15/179.22	c total #watches: 627993
211.75/211.81	c total #propagations: 5274145 / total #impl: 535242248 (eff. 0.010)
211.75/211.81	c #Conflicts:      16000 | #Learnt:       5907 | 0.005
211.75/211.81	c total clause space: 78.2603MB
211.75/211.81	c total #watches: 759102
240.15/240.29	c total #propagations: 5586963 / total #impl: 578824372 (eff. 0.010)
240.15/240.29	c GARBAGE COLLECT
240.15/240.29	c #Conflicts:      17000 | #Learnt:       3788 | 0.005
240.15/240.29	c total clause space: 127.173MB
240.15/240.29	c total #watches: 413901
257.46/257.53	c total #propagations: 5871415 / total #impl: 628771043 (eff. 0.009)
257.46/257.53	c #Conflicts:      18000 | #Learnt:       4788 | 0.005
257.46/257.53	c total clause space: 127.173MB
257.46/257.53	c total #watches: 531443
285.34/285.48	c total #propagations: 6126978 / total #impl: 675705807 (eff. 0.009)
285.34/285.48	c #Conflicts:      19000 | #Learnt:       5788 | 0.005
285.34/285.48	c total clause space: 127.173MB
285.34/285.48	c total #watches: 688726
343.83/343.90	c total #propagations: 6436150 / total #impl: 758423294 (eff. 0.008)
343.83/343.90	c #Conflicts:      20000 | #Learnt:       6788 | 0.005
343.83/343.90	c total clause space: 127.173MB
343.83/343.90	c total #watches: 861815
389.02/389.16	c total #propagations: 6825107 / total #impl: 847715650 (eff. 0.008)
389.02/389.16	c GARBAGE COLLECT
389.02/389.16	c #Conflicts:      21000 | #Learnt:       4278 | 0.005
389.02/389.16	c total clause space: 127.173MB
389.02/389.16	c total #watches: 543680
453.51/453.63	c total #propagations: 7188695 / total #impl: 896798648 (eff. 0.008)
453.51/453.63	c #Conflicts:      22000 | #Learnt:       5278 | 0.005
453.51/453.63	c total clause space: 127.173MB
453.51/453.63	c total #watches: 759251
521.00/521.12	c total #propagations: 7603408 / total #impl: 986062294 (eff. 0.008)
521.00/521.12	c #Conflicts:      23000 | #Learnt:       6278 | 0.004
521.00/521.12	c total clause space: 127.173MB
521.00/521.12	c total #watches: 877227
606.29/606.47	c total #propagations: 7948063 / total #impl: 1086237171 (eff. 0.007)
606.29/606.47	c #Conflicts:      24000 | #Learnt:       7278 | 0.004
606.29/606.47	c total clause space: 127.173MB
606.29/606.47	c total #watches: 1060034
683.38/683.55	c total #propagations: 8307896 / total #impl: 1177078961 (eff. 0.007)
683.38/683.55	c GARBAGE COLLECT
683.38/683.55	c #Conflicts:      25000 | #Learnt:       4470 | 0.004
683.38/683.55	c total clause space: 127.173MB
683.38/683.55	c total #watches: 556038
729.77/729.96	c total #propagations: 8772435 / total #impl: 1264743395 (eff. 0.007)
729.77/729.96	c #Conflicts:      26000 | #Learnt:       5470 | 0.004
729.77/729.96	c total clause space: 127.173MB
729.77/729.96	c total #watches: 665287
774.87/775.05	c total #propagations: 9163599 / total #impl: 1369286468 (eff. 0.007)
774.87/775.05	c #Conflicts:      27000 | #Learnt:       6470 | 0.004
774.87/775.05	c total clause space: 127.173MB
774.87/775.05	c total #watches: 836624
851.66/851.87	c total #propagations: 9418312 / total #impl: 1456843742 (eff. 0.006)
851.66/851.87	c #Conflicts:      28000 | #Learnt:       7470 | 0.004
851.66/851.87	c total clause space: 127.173MB
851.66/851.87	c total #watches: 929316
931.24/931.42	c total #propagations: 9777572 / total #impl: 1526501518 (eff. 0.006)
931.24/931.42	c GARBAGE COLLECT
931.24/931.42	c #Conflicts:      29000 | #Learnt:       4357 | 0.006
931.24/931.42	c total clause space: 206.656MB
931.24/931.42	c total #watches: 515937
979.94/980.11	c total #propagations: 10157176 / total #impl: 1608167243 (eff. 0.006)
979.94/980.11	c #Conflicts:      30000 | #Learnt:       5357 | 0.006
979.94/980.11	c total clause space: 206.656MB
979.94/980.11	c total #watches: 745427
1051.72/1051.99	c total #propagations: 10531266 / total #impl: 1689739720 (eff. 0.006)
1051.72/1051.99	c #Conflicts:      31000 | #Learnt:       6357 | 0.006
1051.72/1051.99	c total clause space: 206.656MB
1051.72/1051.99	c total #watches: 883672
1120.41/1120.64	c total #propagations: 10862394 / total #impl: 1788409795 (eff. 0.006)
1120.41/1120.64	c #Conflicts:      32000 | #Learnt:       7357 | 0.006
1120.41/1120.64	c total clause space: 206.656MB
1120.41/1120.64	c total #watches: 1062303
1230.39/1230.62	c total #propagations: 11153335 / total #impl: 1888239685 (eff. 0.006)
1230.39/1230.62	c #Conflicts:      33000 | #Learnt:       8357 | 0.007
1230.39/1230.62	c total clause space: 206.656MB
1230.39/1230.62	c total #watches: 1213351
1313.19/1313.43	c total #propagations: 11512122 / total #impl: 1975933104 (eff. 0.006)
1313.19/1313.43	c GARBAGE COLLECT
1313.19/1313.43	c #Conflicts:      34000 | #Learnt:       4978 | 0.007
1313.19/1313.43	c total clause space: 206.656MB
1313.19/1313.43	c total #watches: 839580
1444.17/1444.43	c total #propagations: 11827267 / total #impl: 2105733562 (eff. 0.006)
1444.17/1444.43	c #Conflicts:      35000 | #Learnt:       5978 | 0.007
1444.17/1444.43	c total clause space: 206.656MB
1444.17/1444.43	c total #watches: 1031880
1571.75/1572.05	c total #propagations: 12233015 / total #impl: 2255754782 (eff. 0.005)
1571.75/1572.05	c #Conflicts:      36000 | #Learnt:       6978 | 0.006
1571.75/1572.05	c total clause space: 206.656MB
1571.75/1572.05	c total #watches: 1142727
1702.64/1702.96	c total #propagations: 12631647 / total #impl: 2350752413 (eff. 0.005)
1702.64/1702.96	c #Conflicts:      37000 | #Learnt:       7978 | 0.006
1702.64/1702.96	c total clause space: 206.656MB
1702.64/1702.96	c total #watches: 1252970

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-4087272-1465418759/watcher-4087272-1465418759 -o /tmp/evaluation-result-4087272-1465418759/solver-4087272-1465418759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465391500-26142 --watchdog 1960 --input HOME/instance-4087272-1465418759.opb ./cdcl-cuttingplanes-release 

pid=31366
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.18 2.16 2.17 3/175 31369
/proc/meminfo: memFree=29887832/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=29104 CPUtime=0 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 123808844 29802496 5260 33554432000 4194304 6199737 140733767182512 140734180978648 4209408 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 7276 5260 122 490 0 6777 0

[startup+0.100163 s]
/proc/loadavg: 2.18 2.16 2.17 3/175 31369
/proc/meminfo: memFree=29887832/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=34272 CPUtime=0.09 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 740 0 0 0 9 0 0 0 20 0 1 0 123808844 35094528 7156 33554432000 4194304 6199737 140733767182512 140734180978648 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 8568 7156 139 490 0 8069 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34272

[startup+0.200357 s]
/proc/loadavg: 2.18 2.16 2.17 3/175 31369
/proc/meminfo: memFree=29887832/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=34404 CPUtime=0.18 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 1184 0 0 0 18 0 0 0 20 0 1 0 123808844 35229696 7434 33554432000 4194304 6199737 140733767182512 140734180978648 4207822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 8601 7434 139 490 0 8102 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 34404

[startup+0.300269 s]
/proc/loadavg: 2.18 2.16 2.17 3/175 31369
/proc/meminfo: memFree=29887832/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=37248 CPUtime=0.28 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 1431 0 0 0 28 0 0 0 20 0 1 0 123808844 38141952 8103 33554432000 4194304 6199737 140733767182512 140733767181448 5149722 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 9312 8103 139 490 0 8813 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37248

[startup+0.700286 s]
/proc/loadavg: 2.18 2.16 2.17 3/175 31369
/proc/meminfo: memFree=29887832/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=42148 CPUtime=0.68 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 1968 0 0 0 68 0 0 0 20 0 1 0 123808844 43159552 8488 33554432000 4194304 6199737 140733767182512 140733767181448 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 10537 8488 155 490 0 10038 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42148

[startup+1.50024 s]
/proc/loadavg: 2.18 2.16 2.17 3/176 31370
/proc/meminfo: memFree=29851656/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=42628 CPUtime=1.48 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 2349 0 0 0 148 0 0 0 20 0 1 0 123808844 43651072 9290 33554432000 4194304 6199737 140733767182512 140733767181336 5149722 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 10657 9290 155 490 0 10158 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42628

[startup+3.10024 s]
/proc/loadavg: 2.18 2.16 2.17 3/176 31370
/proc/meminfo: memFree=29843848/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=50272 CPUtime=3.09 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 3463 0 0 0 308 1 0 0 20 0 1 0 123808844 51478528 10534 33554432000 4194304 6199737 140733767182512 140733767181448 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 12568 10534 161 490 0 12069 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50272

[startup+6.3002 s]
/proc/loadavg: 2.32 2.19 2.18 4/177 31371
/proc/meminfo: memFree=29836072/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=62876 CPUtime=6.29 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 4295 0 0 0 628 1 0 0 20 0 1 0 123808844 64385024 12153 33554432000 4194304 6199737 140733767182512 140733767181448 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 15719 12153 161 490 0 15220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62876

[startup+12.7002 s]
/proc/loadavg: 2.30 2.19 2.18 3/177 31371
/proc/meminfo: memFree=29825056/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=63916 CPUtime=12.69 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 4837 0 0 0 1268 1 0 0 20 0 1 0 123808844 65449984 14104 33554432000 4194304 6199737 140733767182512 140733767181624 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 15979 14104 161 490 0 15480 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63916

[startup+25.5003 s]
/proc/loadavg: 2.30 2.20 2.18 3/177 31371
/proc/meminfo: memFree=29804920/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=84480 CPUtime=25.48 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 5624 0 0 0 2547 1 0 0 20 0 1 0 123808844 86507520 16816 33554432000 4194304 6199737 140733767182512 140733767181448 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 21120 16816 161 490 0 20621 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84480

[startup+51.1003 s]
/proc/loadavg: 2.27 2.20 2.18 4/177 31371
/proc/meminfo: memFree=29794116/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=86148 CPUtime=51.08 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 6476 0 0 0 5106 2 0 0 20 0 1 0 123808844 88215552 18437 33554432000 4194304 6199737 140733767182512 140733767181624 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 21537 18437 161 490 0 21038 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86148

[startup+102.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/177 31372
/proc/meminfo: memFree=29772968/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=88140 CPUtime=102.28 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 7084 0 0 0 10226 2 0 0 20 0 1 0 123808844 90255360 20557 33554432000 4194304 6199737 140733767182512 140733767181448 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 22035 20557 161 490 0 21536 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88140

[startup+162.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/176 31373
/proc/meminfo: memFree=29725980/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=120488 CPUtime=162.26 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 7873 0 0 0 16224 2 0 0 20 0 1 0 123808844 123379712 23021 33554432000 4194304 6199737 140733767182512 140733767181448 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 30122 23021 161 490 0 29623 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 120488

[startup+222.307 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 31375
/proc/meminfo: memFree=29692212/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=122984 CPUtime=222.26 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 8481 0 0 0 22223 3 0 0 20 0 1 0 123808844 125935616 28739 33554432000 4194304 6199737 140733767182512 140733767181160 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 30746 28739 161 490 0 30247 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 122984

[startup+282.3 s]
/proc/loadavg: 2.14 2.18 2.17 3/178 31379
/proc/meminfo: memFree=29662120/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=173652 CPUtime=282.24 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 9250 0 0 0 28220 4 0 0 20 0 1 0 123808844 177819648 30246 33554432000 4194304 6199737 140733767182512 140733767181448 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 43413 30246 161 490 0 42914 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 173652

[startup+342.3 s]
/proc/loadavg: 2.05 2.14 2.16 3/177 31381
/proc/meminfo: memFree=29625112/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=175860 CPUtime=342.23 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 9866 0 0 0 34219 4 0 0 20 0 1 0 123808844 180080640 35964 33554432000 4194304 6199737 140733767182512 140733767181448 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 43965 35964 161 490 0 43466 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 175860

[startup+402.3 s]
/proc/loadavg: 2.06 2.13 2.16 3/177 31382
/proc/meminfo: memFree=29619984/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=176224 CPUtime=402.22 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 10030 0 0 0 40218 4 0 0 20 0 1 0 123808844 180453376 37093 33554432000 4194304 6199737 140733767182512 140733767181624 4213372 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 44056 37093 161 490 0 43557 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 176224

[startup+462.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/177 31383
/proc/meminfo: memFree=29618588/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=176432 CPUtime=462.21 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 10078 0 0 0 46217 4 0 0 20 0 1 0 123808844 180666368 37141 33554432000 4194304 6199737 140733767182512 140733767181448 4213489 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 44108 37141 161 490 0 43609 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 176432

[startup+522.3 s]
/proc/loadavg: 2.26 2.17 2.16 3/177 31384
/proc/meminfo: memFree=29617432/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=176632 CPUtime=522.2 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 10128 0 0 0 52216 4 0 0 20 0 1 0 123808844 180871168 37191 33554432000 4194304 6199737 140733767182512 140733767181624 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 44158 37191 161 490 0 43659 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 176632

[startup+582.3 s]
/proc/loadavg: 2.27 2.18 2.17 3/177 31385
/proc/meminfo: memFree=29614916/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=177380 CPUtime=582.19 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 10407 0 0 0 58215 4 0 0 20 0 1 0 123808844 181637120 37468 33554432000 4194304 6199737 140733767182512 140733767181160 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 44345 37468 161 490 0 43846 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 177380


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


[startup+942.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/178 31419
/proc/meminfo: memFree=29579464/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=260280 CPUtime=942.14 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 11372 0 0 0 94209 5 0 0 20 0 1 0 123808844 266526720 44794 33554432000 4194304 6199737 140733767182512 140733767181624 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65070 44794 161 490 0 64571 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 260280

[startup+1002.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 31420
/proc/meminfo: memFree=29570920/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=260372 CPUtime=1002.13 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 11397 0 0 0 100208 5 0 0 20 0 1 0 123808844 266620928 44819 33554432000 4194304 6199737 140733767182512 140733767181624 4213306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65093 44819 161 490 0 64594 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 260372

[startup+1062.3 s]
/proc/loadavg: 2.23 2.23 2.19 3/177 31421
/proc/meminfo: memFree=29570512/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=260512 CPUtime=1062.12 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 11448 0 0 0 106207 5 0 0 20 0 1 0 123808844 266764288 44870 33554432000 4194304 6199737 140733767182512 140733767181624 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65128 44870 161 490 0 64629 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 260512

[startup+1122.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 31422
/proc/meminfo: memFree=29569356/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=261224 CPUtime=1122.11 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 11626 0 0 0 112206 5 0 0 20 0 1 0 123808844 267493376 45048 33554432000 4194304 6199737 140733767182512 140733767181624 4213314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65306 45048 161 490 0 64807 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 261224

[startup+1182.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 31423
/proc/meminfo: memFree=29568204/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=262272 CPUtime=1182.1 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 11895 0 0 0 118205 5 0 0 20 0 1 0 123808844 268566528 45311 33554432000 4194304 6199737 140733767182512 140733767181448 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65568 45311 161 490 0 65069 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 262272

[startup+1242.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 31425
/proc/meminfo: memFree=29565500/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=263512 CPUtime=1242.09 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12198 0 0 0 124204 5 0 0 20 0 1 0 123808844 269836288 45614 33554432000 4194304 6199737 140733767182512 140733767181448 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65878 45614 161 490 0 65379 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 263512

[startup+1302.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/177 31426
/proc/meminfo: memFree=29549452/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=263996 CPUtime=1302.09 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12478 0 0 0 130203 6 0 0 20 0 1 0 123808844 270331904 49397 33554432000 4194304 6199737 140733767182512 140733767181448 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 65999 49397 161 490 0 65500 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 263996

[startup+1362.3 s]
/proc/loadavg: 2.20 2.18 2.17 3/177 31427
/proc/meminfo: memFree=29548536/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264076 CPUtime=1362.07 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12519 0 0 0 136201 6 0 0 20 0 1 0 123808844 270413824 49438 33554432000 4194304 6199737 140733767182512 140733767181448 4213385 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66019 49438 161 490 0 65520 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 264076

[startup+1422.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 31428
/proc/meminfo: memFree=29541984/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264272 CPUtime=1422.07 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12566 0 0 0 142201 6 0 0 20 0 1 0 123808844 270614528 49485 33554432000 4194304 6199737 140733767182512 140733767181448 4213368 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66068 49485 161 490 0 65569 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 264272

[startup+1482.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/178 31432
/proc/meminfo: memFree=29533640/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264288 CPUtime=1482.06 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12573 0 0 0 148200 6 0 0 20 0 1 0 123808844 270630912 49492 33554432000 4194304 6199737 140733767182512 140733767181448 4213381 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66072 49492 161 490 0 65573 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 264288

[startup+1542.31 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 31434
/proc/meminfo: memFree=29525056/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264312 CPUtime=1542.05 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12577 0 0 0 154199 6 0 0 20 0 1 0 123808844 270655488 49496 33554432000 4194304 6199737 140733767182512 140733767181448 4213493 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66078 49496 161 490 0 65579 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 264312

[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 31435
/proc/meminfo: memFree=29524892/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264400 CPUtime=1602.04 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12598 0 0 0 160198 6 0 0 20 0 1 0 123808844 270745600 49517 33554432000 4194304 6199737 140733767182512 140733767181448 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66100 49517 161 490 0 65601 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 264400

[startup+1662.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 31436
/proc/meminfo: memFree=29524860/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264536 CPUtime=1662.03 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12629 0 0 0 166197 6 0 0 20 0 1 0 123808844 270884864 49548 33554432000 4194304 6199737 140733767182512 140733767181448 4213296 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66134 49548 161 490 0 65635 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 264536

[startup+1722.3 s]
/proc/loadavg: 2.27 2.22 2.18 4/177 31437
/proc/meminfo: memFree=29524136/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264676 CPUtime=1722.03 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12748 0 0 0 172196 7 0 0 20 0 1 0 123808844 271028224 49667 33554432000 4194304 6199737 140733767182512 140733767181448 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66169 49667 161 490 0 65670 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 264676

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 31438
/proc/meminfo: memFree=29512860/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264860 CPUtime=1782.02 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12799 0 0 0 178195 7 0 0 20 0 1 0 123808844 271216640 52273 33554432000 4194304 6199737 140733767182512 140733767181448 4213456 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66215 52273 161 490 0 65716 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 264860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 31484
/proc/meminfo: memFree=29665948/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264900 CPUtime=1800.01 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12814 0 0 0 179994 7 0 0 20 0 1 0 123808844 271257600 56376 33554432000 4194304 6199737 140733767182512 140733767181448 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66225 56376 161 490 0 65726 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264900

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

[startup+1800.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 31484
/proc/meminfo: memFree=29665948/32872528 swapFree=14956/1314940
[pid=31369] ppid=31366 vsize=264900 CPUtime=1800.01 cores=1,3,5,7
/proc/31369/stat : 31369 (cdcl-cuttingpla) R 31366 31369 26125 0 -1 4202496 12814 0 0 0 179994 7 0 0 20 0 1 0 123808844 271257600 56376 33554432000 4194304 6199737 140733767182512 140733767181448 4213389 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/31369/statm: 66225 56376 161 490 0 65726 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 264900

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.074988
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 264900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.074988
maximum resident set size= 225504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12814
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= 1861

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

The end

Launcher Data 

Begin job on node131 at 2016-06-08 22:45:59
IDJOB=4087272
IDBENCH=90116
IDSOLVER=2548
FILE ID=node131/4087272-1465418759
RUNJOBID= node131-1465391500-26142
PBS_JOBID= 19853803
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_K91.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087272-1465418759/watcher-4087272-1465418759 -o /tmp/evaluation-result-4087272-1465418759/solver-4087272-1465418759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465391500-26142 --watchdog 1960 --input HOME/instance-4087272-1465418759.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 8c2203c9ba90488459f210b4f3d3e3ed
RANDOM SEED=1413712849

node131.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.395
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.79
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.395
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.395
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.395
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.395
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.395
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.56
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.395
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.395
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:        29887988 kB
Buffers:          205696 kB
Cached:           630116 kB
SwapCached:         4716 kB
Active:           305068 kB
Inactive:         588236 kB
Active(anon):      54168 kB
Inactive(anon):     5604 kB
Active(file):     250900 kB
Inactive(file):   582632 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67096232 kB
Dirty:              5680 kB
Writeback:             0 kB
AnonPages:       1391024 kB
Mapped:             9064 kB
Shmem:                 0 kB
Slab:             640552 kB
SReclaimable:      84276 kB
SUnreclaim:       556276 kB
KernelStack:        1472 kB
PageTables:         6204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1495928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1361920 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 node131 at 2016-06-08 23:15:59