Trace number 4113225

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
minisatp 2012-10-02 git-d91742b? (TO) 1800.02 1800.3

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid10x23-hard.opb
MD5SUM4e10f014963d024136bc37a0b77629f1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.18797
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables230
Total number of constraints461
Number of constraints which are clauses460
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint230
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 119
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 349
Number of bits of the biggest sum of numbers9
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 Parsing PB file...
0.00/0.00	c Converting 461 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.00	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.00	c ---[   0]---> Adder-cost: 450   maxlim: 110   bits: 8/7
1800.01/1800.30	|  Eliminated clauses:           0.00 Mb                                      |
1800.01/1800.30	============================[ Search Statistics ]==============================
1800.01/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.30	===============================================================================
1800.01/1800.30	|       100 |     674     3219    10386 |     1180      100      3 |  0.876 % |
1800.01/1800.30	|       250 |     674     3219    10386 |     1298      250      7 |  0.875 % |
1800.01/1800.30	|       475 |     674     3219    10386 |     1428      475      6 |  0.875 % |
1800.01/1800.30	|       812 |     674     3219    10386 |     1570      812      8 |  0.875 % |
1800.01/1800.30	|      1318 |     674     3219    10386 |     1728     1318     13 |  0.875 % |
1800.01/1800.30	|      2077 |     674     3219    10386 |     1900     1174     11 |  0.875 % |
1800.01/1800.30	|      3216 |     674     3219    10386 |     2090     1334     14 |  0.875 % |
1800.01/1800.30	|      4924 |     674     3219    10386 |     2300     1978     16 |  0.875 % |
1800.01/1800.30	|      7486 |     674     3219    10386 |     2530     2113     16 |  0.875 % |
1800.01/1800.30	|     11330 |     674     3219    10386 |     2783     2024     16 |  0.875 % |
1800.01/1800.30	|     17096 |     674     3219    10386 |     3061     2032     19 |  0.875 % |
1800.01/1800.30	|     25745 |     674     3219    10386 |     3367     2865     19 |  0.875 % |
1800.01/1800.30	|     38719 |     674     3219    10386 |     3704     1966     14 |  0.875 % |
1800.01/1800.30	|     58180 |     674     3219    10386 |     4074     2400     15 |  0.875 % |
1800.01/1800.30	|     87372 |     674     3219    10386 |     4482     2263     17 |  0.875 % |
1800.01/1800.30	|    131161 |     674     3219    10386 |     4930     2499     16 |  0.875 % |
1800.01/1800.30	|    196845 |     674     3219    10386 |     5423     2719     22 |  0.875 % |
1800.01/1800.30	|    295371 |     674     3219    10386 |     5965     4534     22 |  0.875 % |
1800.01/1800.30	|    443160 |     674     3219    10386 |     6562     3274     21 |  0.875 % |
1800.01/1800.30	|    664843 |     674     3219    10386 |     7218     5131     20 |  0.875 % |
1800.01/1800.30	|    997368 |     674     3219    10386 |     7940     4926     25 |  0.875 % |
1800.01/1800.30	|   1496156 |     674     3219    10386 |     8734     5146     22 |  0.875 % |
1800.01/1800.30	|   2244338 |     674     3219    10386 |     9607     6231     20 |  0.875 % |
1800.01/1800.30	|   3366612 |     674     3219    10386 |    10568     6792     21 |  0.875 % |
1800.01/1800.30	|   5050023 |     674     3219    10386 |    11625    10127     27 |  0.875 % |
1800.01/1800.30	|   7575139 |     674     3219    10386 |    12788     9063     27 |  0.875 % |
1800.01/1800.30	|  11362814 |     674     3219    10386 |    14067     8758     30 |  0.875 % |
1800.01/1800.30	|  17044326 |     674     3219    10386 |    15473    10490     30 |  0.875 % |
1800.01/1800.30	|  25566595 |     674     3219    10386 |    17021    10058     24 |  0.875 % |
1800.01/1800.30	|  38349998 |     674     3219    10386 |    18723    16755     27 |  0.875 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	s UNKNOWN

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-4113225-1466617312/watcher-4113225-1466617312 -o /tmp/evaluation-result-4113225-1466617312/solver-4113225-1466617312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466586399-27096 --watchdog 1960 minisatp HOME/instance-4113225-1466617312.opb 

pid=32058
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.23 2.20 2.18 3/178 32061
/proc/meminfo: memFree=30023528/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=6624 CPUtime=0 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 63777595 6782976 242 33554432000 4194304 5646918 140734345093664 140733958934088 4374752 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 1656 242 111 355 0 1297 0

[startup+0.100146 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 32061
/proc/meminfo: memFree=30023528/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=3408 CPUtime=0.09 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 866 0 0 0 9 0 0 0 20 0 1 0 63777595 3489792 627 33554432000 4194304 5646918 140734345093664 140733958934088 4403411 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 852 627 182 355 0 493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3408

[startup+0.200287 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 32061
/proc/meminfo: memFree=30023528/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=3884 CPUtime=0.19 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 924 0 0 0 19 0 0 0 20 0 1 0 63777595 3977216 684 33554432000 4194304 5646918 140734345093664 140733958934088 4399963 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 971 684 182 355 0 612 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3884

[startup+0.300265 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 32061
/proc/meminfo: memFree=30023528/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=3884 CPUtime=0.29 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 928 0 0 0 29 0 0 0 20 0 1 0 63777595 3977216 688 33554432000 4194304 5646918 140734345093664 140733958934088 4399410 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 971 688 182 355 0 612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3884

[startup+0.700235 s]
/proc/loadavg: 2.23 2.20 2.18 3/178 32061
/proc/meminfo: memFree=30023528/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=4420 CPUtime=0.69 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 1042 0 0 0 69 0 0 0 20 0 1 0 63777595 4526080 802 33554432000 4194304 5646918 140734345093664 140733958934088 4399984 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 1105 802 182 355 0 746 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4420

[startup+1.50021 s]
/proc/loadavg: 2.23 2.20 2.18 3/179 32062
/proc/meminfo: memFree=30020536/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=5044 CPUtime=1.49 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 1199 0 0 0 149 0 0 0 20 0 1 0 63777595 5165056 955 33554432000 4194304 5646918 140734345093664 140734345091912 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 1261 955 182 355 0 902 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5044

[startup+3.10021 s]
/proc/loadavg: 2.21 2.20 2.18 3/179 32062
/proc/meminfo: memFree=30019544/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=5044 CPUtime=3.09 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 1229 0 0 0 309 0 0 0 20 0 1 0 63777595 5165056 985 33554432000 4194304 5646918 140734345093664 140734345091912 4403215 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 1261 985 182 355 0 902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5044

[startup+6.30021 s]
/proc/loadavg: 2.21 2.20 2.18 4/179 32062
/proc/meminfo: memFree=30018460/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=6032 CPUtime=6.29 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 1443 0 0 0 629 0 0 0 20 0 1 0 63777595 6176768 1197 33554432000 4194304 5646918 140734345093664 140734345091912 4399261 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 1508 1197 182 355 0 1149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6032

[startup+12.7002 s]
/proc/loadavg: 2.33 2.22 2.19 4/179 32062
/proc/meminfo: memFree=30013324/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=7324 CPUtime=12.69 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 1769 0 0 0 1269 0 0 0 20 0 1 0 63777595 7499776 1514 33554432000 4194304 5646918 140734345093664 140734345091912 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 1831 1514 182 355 0 1472 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7324

[startup+25.5002 s]
/proc/loadavg: 2.28 2.22 2.19 4/179 32062
/proc/meminfo: memFree=30008968/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=8852 CPUtime=25.49 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 2009 0 0 0 2549 0 0 0 20 0 1 0 63777595 9064448 1752 33554432000 4194304 5646918 140734345093664 140734345091912 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 2213 1752 182 355 0 1854 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8852

[startup+51.1003 s]
/proc/loadavg: 2.18 2.20 2.18 3/179 32063
/proc/meminfo: memFree=30006124/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=10892 CPUtime=51.08 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 2758 0 0 0 5108 0 0 0 20 0 1 0 63777595 11153408 2484 33554432000 4194304 5646918 140734345093664 140734345091912 4399820 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 2723 2484 182 355 0 2364 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10892

[startup+102.3 s]
/proc/loadavg: 2.33 2.24 2.19 4/179 32064
/proc/meminfo: memFree=30004532/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=13044 CPUtime=102.28 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 3070 0 0 0 10228 0 0 0 20 0 1 0 63777595 13357056 2790 33554432000 4194304 5646918 140734345093664 140734345091912 4402918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 3261 2790 182 355 0 2902 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13044

[startup+162.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/179 32065
/proc/meminfo: memFree=29999940/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=13292 CPUtime=162.26 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 3361 0 0 0 16226 0 0 0 20 0 1 0 63777595 13611008 3075 33554432000 4194304 5646918 140734345093664 140734345091928 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 3323 3075 182 355 0 2964 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13292

[startup+222.307 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 32066
/proc/meminfo: memFree=29998580/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=15004 CPUtime=222.27 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 3763 0 0 0 22226 1 0 0 20 0 1 0 63777595 15364096 3474 33554432000 4194304 5646918 140734345093664 140734345091912 4403760 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 3751 3474 182 355 0 3392 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 15004

[startup+282.3 s]
/proc/loadavg: 2.19 2.22 2.18 4/179 32067
/proc/meminfo: memFree=29990516/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=16820 CPUtime=282.25 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 3994 0 0 0 28224 1 0 0 20 0 1 0 63777595 17223680 3700 33554432000 4194304 5646918 140734345093664 140734345091912 4402849 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 4205 3700 182 355 0 3846 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 16820

[startup+342.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/179 32069
/proc/meminfo: memFree=29985060/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=20132 CPUtime=342.24 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 4516 0 0 0 34223 1 0 0 20 0 1 0 63777595 20615168 4218 33554432000 4194304 5646918 140734345093664 140734345091912 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 5033 4218 182 355 0 4674 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 20132

[startup+402.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/179 32070
/proc/meminfo: memFree=29976312/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=20132 CPUtime=402.23 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5033 0 0 0 40222 1 0 0 20 0 1 0 63777595 20615168 4727 33554432000 4194304 5646918 140734345093664 140734345091912 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 5033 4727 182 355 0 4674 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 20132

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/179 32071
/proc/meminfo: memFree=29973144/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=22572 CPUtime=462.22 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5111 0 0 0 46221 1 0 0 20 0 1 0 63777595 23113728 5313 33554432000 4194304 5646918 140734345093664 140734345091912 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 5643 5313 182 355 0 5284 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 22572

[startup+522.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/180 32075
/proc/meminfo: memFree=29968144/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=22572 CPUtime=522.21 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5223 0 0 0 52220 1 0 0 20 0 1 0 63777595 23113728 5425 33554432000 4194304 5646918 140734345093664 140734345091912 4403488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 5643 5425 182 355 0 5284 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 22572

[startup+582.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/179 32076
/proc/meminfo: memFree=29964540/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=22572 CPUtime=582.2 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5224 0 0 0 58219 1 0 0 20 0 1 0 63777595 23113728 5426 33554432000 4194304 5646918 140734345093664 140734345091912 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 5643 5426 182 355 0 5284 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 22572


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 32194
/proc/meminfo: memFree=30161124/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=24800 CPUtime=942.14 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5262 0 0 0 94213 1 0 0 20 0 1 0 63777595 25395200 5984 33554432000 4194304 5646918 140734345093664 140734345091912 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6200 5984 182 355 0 5841 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 24800

[startup+1002.3 s]
/proc/loadavg: 2.18 2.22 2.18 4/179 32196
/proc/meminfo: memFree=30160384/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=24800 CPUtime=1002.13 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5262 0 0 0 100212 1 0 0 20 0 1 0 63777595 25395200 5984 33554432000 4194304 5646918 140734345093664 140734345091912 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6200 5984 182 355 0 5841 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 24800

[startup+1062.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/179 32197
/proc/meminfo: memFree=30160128/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=24800 CPUtime=1062.12 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5262 0 0 0 106211 1 0 0 20 0 1 0 63777595 25395200 5984 33554432000 4194304 5646918 140734345093664 140734345091912 4402811 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6200 5984 182 355 0 5841 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 24800

[startup+1122.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/180 32201
/proc/meminfo: memFree=30158960/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=27572 CPUtime=1122.11 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5358 0 0 0 112210 1 0 0 20 0 1 0 63777595 28233728 6077 33554432000 4194304 5646918 140734345093664 140734345091912 4403368 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6893 6077 182 355 0 6534 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 27572

[startup+1182.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/180 32225
/proc/meminfo: memFree=30158008/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=27572 CPUtime=1182.1 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5423 0 0 0 118209 1 0 0 20 0 1 0 63777595 28233728 6139 33554432000 4194304 5646918 140734345093664 140734345091912 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6893 6139 182 355 0 6534 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 27572

[startup+1242.3 s]
/proc/loadavg: 2.26 2.24 2.19 4/179 32226
/proc/meminfo: memFree=30156532/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=27572 CPUtime=1242.09 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5428 0 0 0 124208 1 0 0 20 0 1 0 63777595 28233728 6144 33554432000 4194304 5646918 140734345093664 140734345091912 4403061 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6893 6144 182 355 0 6534 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 27572

[startup+1302.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 32228
/proc/meminfo: memFree=30154788/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=27572 CPUtime=1302.08 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5902 0 0 0 130207 1 0 0 20 0 1 0 63777595 28233728 6607 33554432000 4194304 5646918 140734345093664 140734345091912 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6893 6607 182 355 0 6534 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 27572

[startup+1362.3 s]
/proc/loadavg: 2.28 2.26 2.19 3/179 32229
/proc/meminfo: memFree=30154544/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=27572 CPUtime=1362.07 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5902 0 0 0 136206 1 0 0 20 0 1 0 63777595 28233728 6607 33554432000 4194304 5646918 140734345093664 140734345091912 4403138 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6893 6607 182 355 0 6534 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 27572

[startup+1422.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/179 32230
/proc/meminfo: memFree=30154864/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=27572 CPUtime=1422.07 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5902 0 0 0 142206 1 0 0 20 0 1 0 63777595 28233728 6607 33554432000 4194304 5646918 140734345093664 140734345091912 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 6893 6607 182 355 0 6534 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 27572

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/179 32231
/proc/meminfo: memFree=30154612/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30252 CPUtime=1482.06 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 5989 0 0 0 148205 1 0 0 20 0 1 0 63777595 30978048 6693 33554432000 4194304 5646918 140734345093664 140734345091912 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7563 6693 182 355 0 7204 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 30252

[startup+1542.31 s]
/proc/loadavg: 2.22 2.24 2.19 3/179 32232
/proc/meminfo: memFree=30153368/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30252 CPUtime=1542.06 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6119 0 0 0 154204 2 0 0 20 0 1 0 63777595 30978048 6819 33554432000 4194304 5646918 140734345093664 140734345091912 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7563 6819 182 355 0 7204 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 30252

[startup+1602.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 32234
/proc/meminfo: memFree=30153000/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30252 CPUtime=1602.05 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6277 0 0 0 160203 2 0 0 20 0 1 0 63777595 30978048 6971 33554432000 4194304 5646918 140734345093664 140734345091912 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7563 6971 182 355 0 7204 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 30252

[startup+1662.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/179 32235
/proc/meminfo: memFree=30152256/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30252 CPUtime=1662.04 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6291 0 0 0 166202 2 0 0 20 0 1 0 63777595 30978048 6985 33554432000 4194304 5646918 140734345093664 140734345091912 4402811 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7563 6985 182 355 0 7204 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 30252

[startup+1722.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/180 32239
/proc/meminfo: memFree=30151656/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30252 CPUtime=1722.03 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6327 0 0 0 172201 2 0 0 20 0 1 0 63777595 30978048 7017 33554432000 4194304 5646918 140734345093664 140734345091912 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7563 7017 182 355 0 7204 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 30252

[startup+1782.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/179 32240
/proc/meminfo: memFree=30149936/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30756 CPUtime=1782.02 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6742 0 0 0 178200 2 0 0 20 0 1 0 63777595 31494144 7428 33554432000 4194304 5646918 140734345093664 140734345091928 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7689 7428 182 355 0 7330 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 30756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.38 2.30 2.21 3/178 32241
/proc/meminfo: memFree=30150928/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30756 CPUtime=1800.01 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6742 0 0 0 179999 2 0 0 20 0 1 0 63777595 31494144 7428 33554432000 4194304 5646918 140734345093664 140734345091928 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7689 7428 182 355 0 7330 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 30756

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

[startup+1800.3 s]
/proc/loadavg: 2.38 2.30 2.21 3/178 32241
/proc/meminfo: memFree=30150928/32872528 swapFree=1482636/1662508
[pid=32061] ppid=32058 vsize=30756 CPUtime=1800.01 cores=1,3,5,7
/proc/32061/stat : 32061 (minisatp) R 32058 32061 27079 0 -1 4202496 6742 0 0 0 179999 2 0 0 20 0 1 0 63777595 31494144 7428 33554432000 4194304 5646918 140734345093664 140734345091928 4402827 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/32061/statm: 7689 7428 182 355 0 7330 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 30756

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.021996
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 30756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.021996
maximum resident set size= 29712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6742
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= 10
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38618 second user time and 6.65899 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-22 19:41:52
IDJOB=4113225
IDBENCH=107394
IDSOLVER=2555
FILE ID=node134/4113225-1466617312
RUNJOBID= node134-1466586399-27096
PBS_JOBID= 19953364
Free space on /tmp= 71692 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x23-hard.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113225-1466617312/watcher-4113225-1466617312 -o /tmp/evaluation-result-4113225-1466617312/solver-4113225-1466617312 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466586399-27096 --watchdog 1960  minisatp HOME/instance-4113225-1466617312.opb

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

MD5SUM BENCH= 4e10f014963d024136bc37a0b77629f1
RANDOM SEED=1723084943

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        30024700 kB
Buffers:           84260 kB
Cached:           167020 kB
SwapCached:         2348 kB
Active:           265896 kB
Inactive:         165668 kB
Active(anon):     179344 kB
Inactive(anon):     3280 kB
Active(file):      86552 kB
Inactive(file):   162388 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67099212 kB
Dirty:              3856 kB
Writeback:             0 kB
AnonPages:       1841852 kB
Mapped:             9280 kB
Shmem:                 0 kB
Slab:             621304 kB
SReclaimable:      64844 kB
SUnreclaim:       556460 kB
KernelStack:        1488 kB
PageTables:         7868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1957968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113225-1466617312.opb

Free space on /tmp at the end= 71688 MiB
End job on node134 at 2016-06-22 20:11:52