Trace number 4114210

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 NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742bOPT207 95.4825 95.5186

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
MD5SUM10cfce36a090e62566639770833f1068
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark207
Best CPU time to get the best result obtained on this benchmark30.0234
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 207
Optimality of the best value was proved YES
Number of variables498
Total number of constraints2431
Number of constraints which are clauses2431
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 498
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 498
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 498
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.05	c Converting 2431 PB-constraints to clauses...
0.00/0.05	c   -- Unit propagations: (none)
0.00/0.05	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.05	c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.05	============================[ Search Statistics ]==============================
0.00/0.05	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	===============================================================================
0.00/0.05	===============================================================================
0.00/0.05	c Found solution: 232
0.00/0.05	c ---[   0]---> Sorter-cost:18940     Base:
0.09/0.14	|  Eliminated clauses:           0.17 Mb                                      |
0.09/0.14	============================[ Search Statistics ]==============================
0.09/0.14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.09/0.14	===============================================================================
0.09/0.14	===============================================================================
0.09/0.14	c Found solution: 218
0.09/0.14	c ---[   0]---> Sorter-cost:    0     Base:
0.19/0.23	|  Eliminated clauses:           0.27 Mb                                      |
0.19/0.23	============================[ Search Statistics ]==============================
0.19/0.23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.19/0.23	===============================================================================
0.19/0.23	|       189 |    3426     8736    36695 |     3203      189     73 |  0.064 % |
0.19/0.23	===============================================================================
0.19/0.23	c Found solution: 216
0.19/0.23	c ---[   0]---> Sorter-cost:    0     Base:
0.29/0.36	|  Eliminated clauses:           0.35 Mb                                      |
0.29/0.36	============================[ Search Statistics ]==============================
0.29/0.36	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.36	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.29/0.36	===============================================================================
0.29/0.36	|       421 |    3414     8766    36874 |     3214      419     90 |  0.100 % |
0.29/0.36	|       571 |    3414     8766    36874 |     3535      569     94 |  0.100 % |
0.29/0.36	|       796 |    3406     8766    36874 |     3889      793    107 |  0.122 % |
0.29/0.36	===============================================================================
0.29/0.36	c Found solution: 214
0.29/0.36	c ---[   0]---> Sorter-cost:    0     Base:
0.39/0.49	|  Eliminated clauses:           0.44 Mb                                      |
0.39/0.49	============================[ Search Statistics ]==============================
0.39/0.49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.39/0.49	===============================================================================
0.39/0.49	|      1161 |    3425     8788    37001 |     3222     1158    106 |  0.125 % |
0.39/0.49	|      1311 |    3425     8788    37001 |     3544     1308    108 |  0.125 % |
0.39/0.49	|      1536 |    3425     8788    37001 |     3898     1533    116 |  0.125 % |
0.39/0.49	===============================================================================
0.39/0.49	c Found solution: 210
0.39/0.49	c ---[   0]---> Sorter-cost:    0     Base:
3.78/3.89	|  Eliminated clauses:           0.52 Mb                                      |
3.78/3.89	============================[ Search Statistics ]==============================
3.78/3.89	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.78/3.89	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.78/3.89	===============================================================================
3.78/3.89	|      1752 |    3453     8879    37584 |     3255     1724    114 |  0.120 % |
3.78/3.89	|      1902 |    3453     8879    37584 |     3581     1874    114 |  0.120 % |
3.78/3.89	|      2127 |    3453     8879    37584 |     3939     2099    114 |  0.120 % |
3.78/3.89	|      2464 |    3393     8879    37584 |     4333     2430    117 |  0.224 % |
3.78/3.89	|      2970 |    3393     8879    37584 |     4766     2936    116 |  0.224 % |
3.78/3.89	|      3729 |    3363     8879    37584 |     5243     3691    114 |  0.276 % |
3.78/3.89	|      4868 |    3363     8879    37584 |     5767     4830    114 |  0.276 % |
3.78/3.89	|      6576 |    3302     8879    37584 |     6344     3517     87 |  0.382 % |
3.78/3.89	|      9138 |    3167     8879    37584 |     6978     6065     88 |  0.616 % |
3.78/3.89	|     12982 |    3157     8879    37584 |     7676     6194     73 |  0.633 % |
3.78/3.89	|     18748 |    3147     8879    37584 |     8444     7890     83 |  0.651 % |
3.78/3.89	===============================================================================
3.78/3.89	c Found solution: 209
3.78/3.89	c ---[   0]---> Sorter-cost:    0     Base:
10.18/10.25	|  Eliminated clauses:           0.60 Mb                                      |
10.18/10.25	============================[ Search Statistics ]==============================
10.18/10.25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.18/10.25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.18/10.25	===============================================================================
10.18/10.25	|     25979 |    2526     7341    31087 |     2691     2930     61 |  2.121 % |
10.18/10.25	|     26129 |    2526     7341    31087 |     2960     3080     61 |  2.121 % |
10.18/10.25	|     26354 |    2526     7341    31087 |     3256     3305     63 |  2.121 % |
10.18/10.25	|     26691 |    2526     7341    31087 |     3582     3641     66 |  2.121 % |
10.18/10.25	|     27197 |    2526     7341    31087 |     3940     4147     66 |  2.121 % |
10.18/10.25	|     27956 |    2371     7341    31087 |     4335     4895     69 |  2.350 % |
10.18/10.25	|     29095 |    2371     7341    31087 |     4768     3019     59 |  2.350 % |
10.18/10.25	|     30803 |    2371     7341    31087 |     5245     4727     62 |  2.350 % |
10.18/10.25	|     33365 |    2371     7341    31087 |     5769     7289     72 |  2.350 % |
10.18/10.25	|     37209 |    2356     7341    31087 |     6346     7210     77 |  2.372 % |
10.18/10.25	|     42975 |    2356     7341    31087 |     6981     4555     63 |  2.372 % |
10.18/10.25	|     51624 |    2232     7341    31087 |     7679     4437     51 |  2.555 % |
10.18/10.25	|     64598 |    2219     7341    31087 |     8447     7610     74 |  2.574 % |
10.18/10.25	===============================================================================
10.18/10.25	c Found solution: 208
10.18/10.25	c ---[   0]---> Sorter-cost:    0     Base:
18.78/18.85	|  Eliminated clauses:           0.67 Mb                                      |
18.78/18.85	============================[ Search Statistics ]==============================
18.78/18.85	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.78/18.85	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.78/18.85	===============================================================================
18.78/18.85	|     79955 |    2120     6002    25639 |     2200     3566     55 |  2.808 % |
18.78/18.85	|     80105 |    2120     6002    25639 |     2420     3716     55 |  2.808 % |
18.78/18.85	|     80330 |    2120     6002    25639 |     2662     3941     57 |  2.808 % |
18.78/18.85	|     80667 |    2076     6002    25639 |     2929     4275     57 |  2.865 % |
18.78/18.85	|     81173 |    2076     6002    25639 |     3222     4781     62 |  2.865 % |
18.78/18.85	|     81932 |    2076     6002    25639 |     3544     2804     54 |  2.865 % |
18.78/18.85	|     83071 |    2076     6002    25639 |     3898     3943     55 |  2.865 % |
18.78/18.85	|     84779 |    2076     6002    25639 |     4288     5651     60 |  2.865 % |
18.78/18.85	|     87341 |    2076     6002    25639 |     4717     4637     62 |  2.865 % |
18.78/18.85	|     91185 |    2048     6002    25639 |     5189     4987     62 |  2.902 % |
18.78/18.85	|     96951 |    2048     6002    25639 |     5708     6696     65 |  2.902 % |
18.78/18.85	|    105600 |    2048     6002    25639 |     6278     6919     61 |  2.902 % |
18.78/18.85	|    118574 |    2048     6002    25639 |     6906     6411     70 |  2.902 % |
18.78/18.85	|    138035 |    2048     6002    25639 |     7597     6870     60 |  2.902 % |
18.78/18.85	===============================================================================
18.78/18.85	c Found solution: 207
18.78/18.85	c ---[   0]---> Sorter-cost:    0     Base:
95.46/95.51	|  Eliminated clauses:           0.74 Mb                                      |
95.46/95.51	============================[ Search Statistics ]==============================
95.46/95.51	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.46/95.51	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
95.46/95.51	===============================================================================
95.46/95.51	|    164969 |    2051     5856    25161 |     2147     4039     59 |  2.773 % |
95.46/95.51	|    165119 |    2051     5856    25161 |     2361     4189     60 |  2.773 % |
95.46/95.51	|    165344 |    2051     5856    25161 |     2598     4414     60 |  2.773 % |
95.46/95.51	|    165681 |    2051     5856    25161 |     2857     4751     59 |  2.773 % |
95.46/95.51	|    166187 |    2051     5856    25161 |     3143     2634     56 |  2.773 % |
95.46/95.51	|    166946 |    2051     5856    25161 |     3458     3393     61 |  2.773 % |
95.46/95.51	|    168085 |    2051     5856    25161 |     3803     4532     65 |  2.773 % |
95.46/95.51	|    169793 |    2051     5856    25161 |     4184     3122     61 |  2.773 % |
95.46/95.51	|    172355 |    2051     5856    25161 |     4602     5684     76 |  2.773 % |
95.46/95.51	|    176199 |    2051     5856    25161 |     5062     6013     79 |  2.773 % |
95.46/95.51	|    181965 |    2051     5856    25161 |     5569     8011     75 |  2.773 % |
95.46/95.51	|    190614 |    2051     5856    25161 |     6126     4157     48 |  2.773 % |
95.46/95.51	|    203588 |    2051     5856    25161 |     6738     8204     85 |  2.773 % |
95.46/95.51	|    223049 |    2051     5856    25161 |     7412     8751     79 |  2.773 % |
95.46/95.51	|    252241 |    2051     5856    25161 |     8153     7688     73 |  2.773 % |
95.46/95.51	|    296030 |    2051     5856    25161 |     8969     7604     78 |  2.773 % |
95.46/95.51	|    361714 |    2051     5856    25161 |     9866     8697     73 |  2.773 % |
95.46/95.51	|    460240 |    2050     5856    25161 |    10852    12167     59 |  2.774 % |
95.46/95.51	|    608029 |    2044     5856    25161 |    11938     9517     76 |  2.781 % |
95.46/95.51	|    829712 |    2044     5856    25161 |    13132    10897     87 |  2.781 % |
95.46/95.51	===============================================================================
95.46/95.51	c Optimal solution: 207
95.46/95.51	s OPTIMUM FOUND
95.46/95.51	v -x1 x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 x330 x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 -x423 x424 x425 -x426 x427 -x428 -x429 x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 x447 -x448 -x449 x450 -x451 x452 x453 -x454 -x455 x456 x457 -x458 -x459 x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 x489 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498
95.46/95.51	c _______________________________________________________________________________
95.46/95.51	c 
95.46/95.51	restarts              : 2040
95.46/95.51	conflicts             : 856001         (8967 /sec)
95.46/95.51	decisions             : 1795164        (0.00 % random) (18806 /sec)
95.46/95.51	propagations          : 209207947      (2191635 /sec)
95.46/95.51	conflict literals     : 73413910       (50.05 % deleted)
95.46/95.51	Memory used           : 44.80 MB
95.46/95.51	CPU time              : 95.4575 s
95.46/95.51	c _______________________________________________________________________________

Verifier Data 

OK	207

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-4114210-1466538159/watcher-4114210-1466538159 -o /tmp/evaluation-result-4114210-1466538159/solver-4114210-1466538159 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32164 --watchdog 1960 minisatp HOME/instance-4114210-1466538159.opb 

pid=4419
running on 4 cores: 0,2,4,6

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.16 2.11 2.03 3/174 4422
/proc/meminfo: memFree=31288816/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=6480 CPUtime=0 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 55866086 6635520 208 33554432000 4194304 5646918 140735520933728 140735502465608 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 1620 209 94 355 0 1261 0

[startup+0.100115 s]
/proc/loadavg: 2.16 2.11 2.03 3/174 4422
/proc/meminfo: memFree=31288816/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=10092 CPUtime=0.09 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 1319 0 0 0 9 0 0 0 20 0 1 0 55866086 10334208 1149 33554432000 4194304 5646918 140735520933728 140735502465608 4388221 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 2523 1151 134 355 0 2164 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10092

[startup+0.200288 s]
/proc/loadavg: 2.16 2.11 2.03 3/174 4422
/proc/meminfo: memFree=31288816/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=11656 CPUtime=0.19 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 2925 0 0 0 19 0 0 0 20 0 1 0 55866086 11935744 2505 33554432000 4194304 5646918 140735520933728 140735502465608 4432009 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 2914 2506 144 355 0 2555 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11656

[startup+0.300312 s]
/proc/loadavg: 2.16 2.11 2.03 3/174 4422
/proc/meminfo: memFree=31288816/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=15420 CPUtime=0.29 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 3700 0 0 0 29 0 0 0 20 0 1 0 55866086 15790080 3279 33554432000 4194304 5646918 140735520933728 140735502465608 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 3855 3279 154 355 0 3496 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15420

[startup+0.700178 s]
/proc/loadavg: 2.16 2.11 2.03 3/174 4422
/proc/meminfo: memFree=31288816/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=21220 CPUtime=0.69 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 5214 0 0 0 69 0 0 0 20 0 1 0 55866086 21729280 4765 33554432000 4194304 5646918 140735520933728 140735520932040 4402818 0 0 4096 16386 0 0 0 17 6 0 0 0 0 0
/proc/4422/statm: 5305 4765 156 355 0 4946 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21220

[startup+1.50023 s]
/proc/loadavg: 2.15 2.11 2.03 3/175 4423
/proc/meminfo: memFree=31266516/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=27236 CPUtime=1.49 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 5717 0 0 0 149 0 0 0 20 0 1 0 55866086 27889664 5777 33554432000 4194304 5646918 140735520933728 140735520931976 4403061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 6809 5777 156 355 0 6450 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27236

[startup+3.10018 s]
/proc/loadavg: 2.15 2.11 2.03 3/175 4423
/proc/meminfo: memFree=31263600/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=27236 CPUtime=3.08 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 5800 0 0 0 308 0 0 0 20 0 1 0 55866086 27889664 5860 33554432000 4194304 5646918 140735520933728 140735520931976 4398960 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/4422/statm: 6809 5860 156 355 0 6450 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27236

[startup+6.30018 s]
/proc/loadavg: 2.15 2.11 2.03 3/175 4423
/proc/meminfo: memFree=31260568/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=28196 CPUtime=6.28 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 6096 0 0 0 628 0 0 0 20 0 1 0 55866086 28872704 6156 33554432000 4194304 5646918 140735520933728 140735520930552 4403368 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/4422/statm: 7049 6156 157 355 0 6690 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28196

[startup+12.7002 s]
/proc/loadavg: 2.13 2.10 2.03 3/175 4423
/proc/meminfo: memFree=31402268/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=28196 CPUtime=12.68 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 6539 0 0 0 1268 0 0 0 20 0 1 0 55866086 28872704 6598 33554432000 4194304 5646918 140735520933728 140735520932008 4397744 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/4422/statm: 7049 6598 158 355 0 6690 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28196

[startup+25.5003 s]
/proc/loadavg: 2.18 2.12 2.03 4/175 4423
/proc/meminfo: memFree=31354692/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=33396 CPUtime=25.47 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 8376 0 0 0 2547 0 0 0 20 0 1 0 55866086 34197504 7543 33554432000 4194304 5646918 140735520933728 140735520931976 4399864 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 8349 7543 158 355 0 7990 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 33396

[startup+51.1004 s]
/proc/loadavg: 2.24 2.14 2.04 3/175 4423
/proc/meminfo: memFree=31332420/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=36076 CPUtime=51.07 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 9633 0 0 0 5106 1 0 0 20 0 1 0 55866086 36941824 7941 33554432000 4194304 5646918 140735520933728 140735520931976 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 9019 7941 158 355 0 8660 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36076

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4422 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2003 s]
/proc/loadavg: 2.24 2.14 2.04 3/175 4423
/proc/meminfo: memFree=31332420/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=36076 CPUtime=51.17 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 9633 0 0 0 5116 1 0 0 20 0 1 0 55866086 36941824 7941 33554432000 4194304 5646918 140735520933728 140735520931976 4403368 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 9019 7941 158 355 0 8660 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 36076

[startup+76.8002 s]
/proc/loadavg: 2.30 2.16 2.05 4/175 4424
/proc/meminfo: memFree=31336532/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=40468 CPUtime=76.76 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 10795 0 0 0 7675 1 0 0 20 0 1 0 55866086 41439232 9605 33554432000 4194304 5646918 140735520933728 140735520931992 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10117 9605 158 355 0 9758 0
Current children cumulated CPU time (s) 76.76
Current children cumulated vsize (KiB) 40468

[startup+83.2002 s]
/proc/loadavg: 2.27 2.15 2.05 3/175 4424
/proc/meminfo: memFree=31320272/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=36076 CPUtime=83.15 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 12103 0 0 0 8314 1 0 0 20 0 1 0 55866086 36941824 8501 33554432000 4194304 5646918 140735520933728 140735520931992 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 9019 8501 158 355 0 8660 0
Current children cumulated CPU time (s) 83.15
Current children cumulated vsize (KiB) 36076

[startup+89.6003 s]
/proc/loadavg: 2.25 2.15 2.05 3/175 4424
/proc/meminfo: memFree=31345728/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=43204 CPUtime=89.56 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 14149 0 0 0 8954 2 0 0 20 0 1 0 55866086 44240896 9917 33554432000 4194304 5646918 140735520933728 140735520931992 4403372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10801 9917 158 355 0 10442 0
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (KiB) 43204

[startup+92.8002 s]
/proc/loadavg: 2.23 2.15 2.05 3/175 4424
/proc/meminfo: memFree=31316624/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=43204 CPUtime=92.76 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 14149 0 0 0 9274 2 0 0 20 0 1 0 55866086 44240896 9917 33554432000 4194304 5646918 140735520933728 140735520931976 4397491 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10801 9917 158 355 0 10442 0
Current children cumulated CPU time (s) 92.76
Current children cumulated vsize (KiB) 43204

[startup+94.4002 s]
/proc/loadavg: 2.23 2.15 2.05 4/175 4424
/proc/meminfo: memFree=31309364/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=43204 CPUtime=94.36 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 14149 0 0 0 9434 2 0 0 20 0 1 0 55866086 44240896 9917 33554432000 4194304 5646918 140735520933728 140735520931976 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10801 9917 158 355 0 10442 0
Current children cumulated CPU time (s) 94.36
Current children cumulated vsize (KiB) 43204

[startup+95.2002 s]
/proc/loadavg: 2.23 2.15 2.05 3/175 4424
/proc/meminfo: memFree=31300924/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=43204 CPUtime=95.16 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 14149 0 0 0 9514 2 0 0 20 0 1 0 55866086 44240896 9917 33554432000 4194304 5646918 140735520933728 140735520931976 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10801 9917 158 355 0 10442 0
Current children cumulated CPU time (s) 95.16
Current children cumulated vsize (KiB) 43204

[startup+95.4002 s]
/proc/loadavg: 2.23 2.15 2.05 3/175 4424
/proc/meminfo: memFree=31300924/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=43204 CPUtime=95.36 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 14149 0 0 0 9534 2 0 0 20 0 1 0 55866086 44240896 9917 33554432000 4194304 5646918 140735520933728 140735520931976 4400582 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10801 9917 158 355 0 10442 0
Current children cumulated CPU time (s) 95.36
Current children cumulated vsize (KiB) 43204

[startup+95.5002 s]
/proc/loadavg: 2.23 2.15 2.05 3/175 4424
/proc/meminfo: memFree=31300924/32872528 swapFree=448380/481084
[pid=4422] ppid=4419 vsize=43204 CPUtime=95.46 cores=0,2,4,6
/proc/4422/stat : 4422 (minisatp) R 4419 4422 32148 0 -1 4202496 14149 0 0 0 9544 2 0 0 20 0 1 0 55866086 44240896 9917 33554432000 4194304 5646918 140735520933728 140735520931976 4397646 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/4422/statm: 10801 9917 158 355 0 10442 0
Current children cumulated CPU time (s) 95.46
Current children cumulated vsize (KiB) 43204

Child status: 0
Real time (s): 95.5186
CPU time (s): 95.4825
CPU user time (s): 95.4575
CPU system time (s): 0.024996
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 43204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.4575
system time used= 0.024996
maximum resident set size= 41940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14158
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= 11
involuntary context switches= 138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.316951 second user time and 0.335948 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-21 21:42:40
IDJOB=4114210
IDBENCH=2189
IDSOLVER=2555
FILE ID=node104/4114210-1466538159
RUNJOBID= node104-1466515084-32164
PBS_JOBID= 19942884
Free space on /tmp= 71664 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114210-1466538159/watcher-4114210-1466538159 -o /tmp/evaluation-result-4114210-1466538159/solver-4114210-1466538159 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466515084-32164 --watchdog 1960  minisatp HOME/instance-4114210-1466538159.opb

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

MD5SUM BENCH= 10cfce36a090e62566639770833f1068
RANDOM SEED=151626579

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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.035
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.035
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.035
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.035
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.035
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:        31289724 kB
Buffers:           17164 kB
Cached:            62560 kB
SwapCached:        74580 kB
Active:           269628 kB
Inactive:         128388 kB
Active(anon):     245236 kB
Inactive(anon):    75424 kB
Active(file):      24392 kB
Inactive(file):    52964 kB
Unevictable:      481084 kB
Mlocked:          448380 kB
SwapTotal:      67108856 kB
SwapFree:       67027048 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:        727640 kB
Mapped:             9528 kB
Shmem:                 0 kB
Slab:             572928 kB
SReclaimable:      16616 kB
SUnreclaim:       556312 kB
KernelStack:        1424 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     903792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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-4114210-1466538159.opb

Free space on /tmp at the end= 71660 MiB
End job on node104 at 2016-06-21 21:44:15