Trace number 4078883

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
toysat 2016-05-02SAT 76.4944 76.5069

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K73.opb
MD5SUM0228ffc8e8b202453e422d741e6bbe73
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3.64245
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4015
Total number of constraints4163
Number of constraints which are clauses4090
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint73
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 74
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T10:12:26+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078883-1465287146.opb"]
0.00/0.01	c use --random-gen="147575133 1717574513 377238235 2565658781 2996199987 1491319189 389853863 4111927731 3069255812 914309776 1851690873 1416951832 3051218046 3883904156 2424914425 1503854921 2971871776 3270173062 509033570 4046730639 3067962784 1083087022 3098154288 2316682624 1888024454 2020874224 4293781051 626420750 1788140844 969144959 200004996 3826683215 1865664639 3200478049 2007774568 1308399083 2365991341 2236799984 1830349139 943555457 4216343419 731303564 1127222658 901407426 650817246 862526398 3407820861 2471823297 3782449662 2759025764 970944395 1740733738 417924128 3686061254 2987996313 815641712 459676667 404867728 2857639823 1035180455 3567107362 2388609338 2899029832 2631595795 4237002245 3924639393 704142688 2775541869 2731339454 1777065348 3037962933 3356822917 1546573241 2091171649 178389569 1885288725 3163617586 1518276801 3525666648 2570396096 3364661188 2484688984 972330085 3803563927 2277895637 2683068801 504515311 3711461972 2071629275 1759377517 2132784489 2643091515 974364957 2669474443 3617683365 622348025 3390398561 1698584649 2192501452 4121887695 782693831 2276073212 2871490338 1941879285 3326648314 4054357338 2360172424 1096288063 4091913251 2512435107 3245519704 2545667915 3981943090 1784792387 2905333577 1020954981 91073110 1166861120 3900261805 4287928666 2798991699 2293924271 237374842 2961991178 3557969389 1561850948 3784384726 636864893 5454452 844101117 1875907322 2827850581 1135465832 741097232 77101051 4023668941 2372084096 3168756068 3710627291 1904070471 2514679771 1422763672 1947635234 2153314942 217878339 3647926684 1664914992 3495676933 3616257644 3653250256 3409224994 3423746522 1857565244 205848151 3044192989 1423277951 3896975671 2522586104 171521622 4016030486 674303777 1456564337 3807424595 1511796033 117012003 3496767281 435338363 1646450771 4067198709 522150945 4081764628 316690301 3233065962 1747345799 446645729 116864124 1693569526 4028328943 1314192828 4294934564 2955512486 2779985246 1046761799 1488082524 3856070727 1344262547 2486025791 3788100313 2830729075 3409560011 2013948349 865367288 522818328 2784544275 2520605576 4229586839 3342829361 1334834386 3983897818 2743081442 2191451998 1767417139 2199119037 2743314966 903310484 1616079764 1575874548 2599690695 2727958268 729054379 1276540207 943370255 3186743895 1140089113 810955188 3577197392 385909471 4104778075 4016484474 1188895313 1516078813 3192394592 2329403551 3042073350 4162052268 2536261546 3014583436 2367038079 678629520 3088959478 1844294226 3718589759 2081286329 1494865 1569369686 3015426613 1399740148 342606775 2124834144 697430668 1432190364 3309869112 816039612 607929448 2593826104 2727793995 3801125828 1633657790 1878804654 213590124 2516682743 2500373741 794255644 923135745 2847595084 2891001875 255 362436" option to reproduce the execution
0.00/0.06	c #vars 4015
0.00/0.06	c #constraints 4163
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2725      0 |      455 |        0
0.19/0.28	c  0.1s |       1 |     1495 |      100 |     2725      0 |      456 |      411
0.39/0.45	c  0.3s |       2 |     4636 |      250 |     2998      0 |      459 |      414
0.59/0.63	c  0.5s |       3 |     8008 |      475 |     3298      0 |      459 |      414
1.19/1.28	c  1.1s |       4 |    10552 |      813 |     3628      0 |      461 |      416
1.59/1.63	c  1.5s |       5 |    14829 |     1320 |     3991      0 |      463 |      418
2.20/2.24	c  2.1s |       6 |    26998 |     2081 |     4831      0 |      467 |      422
3.19/3.24	c  3.1s |       7 |    36676 |     3223 |     5315      0 |      467 |      422
4.79/4.81	c  4.7s |       8 |    52609 |     4936 |     5847      0 |      469 |      424
6.79/6.84	c  6.7s |       8 |    70056 |     6636 |     5847      1 |      478 |      433
7.70/7.80	c  7.6s |       9 |    77262 |     7506 |     6432      1 |      481 |      436
9.79/9.81	c  9.7s |       9 |    89509 |     9406 |     6432      1 |      481 |      436
11.79/11.88	c 11.7s |       9 |    94373 |    10706 |     6432      1 |      481 |      436
12.69/12.77	c 12.6s |      10 |    98242 |    11361 |     7076      2 |      481 |      436
14.79/14.82	c 14.7s |      10 |   108893 |    13161 |     7076      2 |      485 |      440
16.89/16.97	c 16.8s |      10 |   115972 |    14761 |     7076      2 |      485 |      440
18.99/19.03	c 18.9s |      10 |   119005 |    15861 |     7076      2 |      485 |      440
21.09/21.13	c 21.0s |      10 |   122752 |    16861 |     7076      3 |      485 |      440
21.59/21.67	c 21.5s |      11 |   123547 |    17144 |     7784      3 |      485 |      440
23.69/23.71	c 23.6s |      11 |   138433 |    18944 |     7784      3 |      488 |      443
25.69/25.76	c 25.6s |      11 |   155833 |    20744 |     7784      4 |      491 |      446
27.98/28.01	c 27.9s |      11 |   163745 |    22244 |     7784      4 |      491 |      446
29.98/30.08	c 29.9s |      11 |   170915 |    23544 |     7784      4 |      491 |      446
32.18/32.21	c 32.1s |      11 |   184248 |    25244 |     7784      4 |      491 |      446
32.88/32.99	c 32.8s |      12 |   188581 |    25819 |     8563      5 |      491 |      446
35.08/35.10	c 34.9s |      12 |   199263 |    27719 |     8563      5 |      492 |      447
37.08/37.17	c 37.0s |      12 |   208333 |    29219 |     8563      5 |      494 |      449
39.18/39.27	c 39.1s |      12 |   223508 |    30919 |     8563      6 |      496 |      451
41.28/41.32	c 41.2s |      12 |   236452 |    32919 |     8563      6 |      498 |      453
43.68/43.70	c 43.5s |      12 |   251739 |    34619 |     8563      6 |      502 |      457
45.68/45.79	c 45.6s |      12 |   264939 |    36119 |     8563      7 |      503 |      458
47.78/47.87	c 47.7s |      12 |   279006 |    37819 |     8563      7 |      505 |      460
48.98/49.04	c 48.9s |      13 |   290196 |    38832 |     9420      7 |      507 |      462
50.98/51.07	c 50.9s |      13 |   299523 |    40732 |     9420      7 |      507 |      462
53.08/53.17	c 53.0s |      13 |   309865 |    42432 |     9420      8 |      507 |      462
55.18/55.22	c 55.1s |      13 |   319191 |    43832 |     9420      8 |      507 |      462
57.38/57.45	c 57.3s |      13 |   321999 |    44632 |     9420      8 |      507 |      462
59.48/59.56	c 59.4s |      13 |   326643 |    45532 |     9420      8 |      507 |      462
61.48/61.56	c 61.4s |      13 |   334870 |    46932 |     9420      8 |      507 |      462
63.48/63.58	c 63.4s |      13 |   336611 |    47632 |     9420      8 |      507 |      462
65.58/65.65	c 65.5s |      13 |   341459 |    48832 |     9420      9 |      507 |      462
67.78/67.88	c 67.7s |      13 |   342591 |    49432 |     9420      9 |      507 |      462
69.98/70.01	c 69.9s |      13 |   344836 |    50132 |     9420      9 |      507 |      462
72.28/72.38	c 72.2s |      13 |   346251 |    50732 |     9420      9 |      507 |      462
74.48/74.51	c 74.4s |      13 |   348079 |    51332 |     9420      9 |      507 |      462
76.38/76.44	c 76.3s |      13 |   349435 |    51936 |     9420      9 |      507 |      462
76.38/76.44	c #cpu_time = 76.083s
76.38/76.44	c #wall_clock_time = 76.278s
76.38/76.44	c #decision = 349435
76.38/76.44	c #random_decision = 798
76.38/76.44	c #conflict = 51936
76.38/76.44	c #restart = 13
76.38/76.44	s SATISFIABLE
76.38/76.44	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
76.38/76.44	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
76.38/76.44	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
76.38/76.44	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
76.38/76.44	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
76.38/76.44	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
76.38/76.44	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
76.38/76.44	v -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80
76.38/76.44	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90
76.38/76.44	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
76.38/76.44	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
76.38/76.44	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
76.38/76.44	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
76.38/76.44	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
76.38/76.44	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
76.38/76.44	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160
76.38/76.44	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
76.38/76.44	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
76.38/76.44	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
76.38/76.44	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
76.38/76.44	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
76.38/76.44	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
76.38/76.44	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
76.38/76.44	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
76.38/76.44	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
76.38/76.44	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
76.38/76.44	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
76.38/76.44	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
76.38/76.44	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290
76.38/76.44	v x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300
76.38/76.44	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
76.38/76.44	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
76.38/76.44	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
76.38/76.44	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
76.38/76.44	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
76.38/76.44	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
76.38/76.44	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
76.38/76.44	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
76.38/76.44	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
76.38/76.44	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
76.38/76.44	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
76.38/76.44	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
76.38/76.44	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430
76.38/76.44	v -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440
76.38/76.44	v -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
76.38/76.44	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
76.38/76.44	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
76.38/76.44	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
76.38/76.44	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
76.38/76.44	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
76.38/76.44	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
76.38/76.44	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
76.38/76.44	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
76.38/76.44	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
76.38/76.44	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
76.38/76.44	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
76.38/76.44	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
76.38/76.44	v -x571 -x572 -x573 -x574 x575 -x576 x577 -x578 x579 -x580
76.38/76.44	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
76.38/76.44	v -x591 x592 -x593 x594 -x595 x596 -x597 -x598 -x599 -x600
76.38/76.44	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
76.38/76.44	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
76.38/76.44	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
76.38/76.44	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
76.38/76.44	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
76.38/76.44	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
76.38/76.44	v -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670
76.38/76.44	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
76.38/76.44	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
76.38/76.44	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
76.38/76.44	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
76.38/76.44	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
76.38/76.44	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
76.38/76.44	v -x731 -x732 -x733 -x734 x735 -x736 x737 -x738 -x739 -x740
76.38/76.44	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
76.38/76.44	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
76.38/76.44	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
76.38/76.44	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
76.38/76.44	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
76.38/76.44	v -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 -x799 -x800
76.38/76.44	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
76.38/76.44	v -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820
76.38/76.44	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
76.38/76.44	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
76.38/76.44	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
76.38/76.44	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
76.38/76.44	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
76.38/76.44	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
76.38/76.44	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890
76.38/76.44	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
76.38/76.44	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
76.38/76.44	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
76.38/76.44	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
76.38/76.44	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
76.38/76.44	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
76.38/76.44	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
76.38/76.44	v -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970
76.38/76.44	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
76.38/76.44	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
76.38/76.44	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
76.38/76.44	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
76.38/76.44	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
76.38/76.44	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030
76.38/76.44	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
76.38/76.44	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
76.38/76.44	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
76.38/76.44	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
76.38/76.44	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
76.38/76.44	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
76.38/76.44	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
76.38/76.44	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
76.38/76.44	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
76.38/76.44	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
76.38/76.44	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
76.38/76.44	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
76.38/76.44	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
76.38/76.44	v -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170
76.38/76.44	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
76.38/76.44	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
76.38/76.44	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
76.38/76.44	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
76.38/76.44	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
76.38/76.44	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230
76.38/76.44	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
76.38/76.44	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
76.38/76.44	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
76.38/76.44	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
76.38/76.44	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
76.38/76.44	v -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290
76.38/76.44	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
76.38/76.44	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
76.38/76.44	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
76.38/76.44	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
76.38/76.44	v -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
76.38/76.44	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
76.38/76.44	v -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
76.38/76.44	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
76.38/76.44	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
76.38/76.44	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
76.38/76.44	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
76.38/76.44	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
76.38/76.44	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
76.38/76.44	v -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1430
76.38/76.44	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
76.38/76.44	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
76.38/76.44	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
76.38/76.44	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
76.38/76.44	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
76.38/76.44	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
76.38/76.44	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500
76.38/76.44	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
76.38/76.44	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
76.38/76.44	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
76.38/76.44	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
76.38/76.44	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
76.38/76.44	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
76.38/76.44	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
76.38/76.44	v -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
76.38/76.44	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
76.38/76.44	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
76.38/76.44	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
76.38/76.44	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
76.38/76.44	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
76.38/76.44	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
76.38/76.44	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650
76.38/76.44	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
76.38/76.44	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
76.38/76.44	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
76.38/76.44	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
76.38/76.44	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
76.38/76.44	v -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
76.38/76.44	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
76.38/76.44	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
76.38/76.44	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
76.38/76.44	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
76.38/76.44	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
76.38/76.44	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
76.38/76.44	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780
76.38/76.44	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
76.38/76.44	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
76.38/76.44	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
76.38/76.44	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
76.38/76.44	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
76.38/76.44	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
76.38/76.44	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
76.38/76.44	v -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
76.38/76.44	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
76.38/76.44	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
76.38/76.44	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
76.38/76.44	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
76.38/76.44	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
76.38/76.44	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
76.38/76.44	v -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930
76.38/76.44	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
76.38/76.44	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
76.38/76.44	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
76.38/76.44	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
76.38/76.44	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
76.38/76.44	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
76.38/76.44	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000
76.38/76.44	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
76.38/76.44	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
76.38/76.44	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
76.38/76.44	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
76.38/76.44	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
76.38/76.44	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
76.38/76.44	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
76.38/76.44	v -x2071 -x2072 -x2073 x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080
76.38/76.44	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
76.38/76.44	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
76.38/76.44	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
76.38/76.44	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
76.38/76.44	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
76.38/76.44	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
76.38/76.44	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
76.38/76.44	v -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
76.38/76.44	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
76.38/76.44	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
76.38/76.44	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
76.38/76.44	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
76.38/76.44	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
76.38/76.44	v -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
76.38/76.44	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
76.38/76.44	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
76.38/76.44	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
76.38/76.44	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
76.38/76.44	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
76.38/76.44	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
76.38/76.44	v -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290
76.38/76.44	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
76.38/76.44	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
76.38/76.44	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
76.38/76.44	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
76.38/76.44	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
76.38/76.44	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
76.38/76.44	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360
76.38/76.44	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
76.38/76.44	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
76.38/76.44	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
76.38/76.44	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
76.38/76.44	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
76.38/76.44	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
76.38/76.44	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
76.38/76.44	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
76.38/76.44	v -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
76.38/76.44	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
76.38/76.44	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
76.38/76.44	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
76.38/76.44	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
76.38/76.44	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
76.38/76.44	v -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
76.38/76.44	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
76.38/76.44	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
76.38/76.44	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
76.38/76.44	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
76.38/76.44	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
76.38/76.44	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
76.38/76.44	v -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
76.38/76.44	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
76.38/76.44	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
76.38/76.44	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
76.38/76.44	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
76.38/76.44	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
76.38/76.44	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
76.38/76.44	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
76.38/76.44	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660
76.38/76.44	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
76.38/76.44	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
76.38/76.44	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
76.38/76.44	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
76.38/76.44	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
76.38/76.44	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
76.38/76.44	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
76.38/76.44	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
76.38/76.44	v -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
76.38/76.44	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
76.38/76.44	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
76.38/76.44	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
76.38/76.44	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
76.38/76.44	v -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
76.38/76.44	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
76.38/76.44	v x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
76.38/76.44	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
76.38/76.44	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
76.38/76.44	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
76.38/76.44	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
76.38/76.44	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870
76.38/76.44	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880
76.38/76.44	v -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
76.38/76.44	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
76.38/76.44	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
76.38/76.44	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
76.38/76.44	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
76.38/76.44	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
76.38/76.44	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
76.38/76.44	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
76.38/76.44	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970
76.38/76.44	v -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980
76.38/76.44	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
76.38/76.44	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
76.38/76.44	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
76.38/76.44	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
76.38/76.44	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
76.38/76.44	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
76.38/76.44	v x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
76.38/76.44	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
76.38/76.44	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
76.38/76.44	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
76.38/76.44	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
76.38/76.44	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
76.38/76.44	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
76.38/76.44	v -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120
76.38/76.44	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
76.38/76.44	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
76.38/76.44	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
76.38/76.44	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
76.38/76.44	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
76.38/76.44	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
76.38/76.44	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190
76.38/76.44	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
76.38/76.44	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
76.38/76.44	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
76.38/76.44	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
76.38/76.44	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
76.38/76.44	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
76.38/76.44	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
76.38/76.44	v -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
76.38/76.44	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
76.38/76.44	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
76.38/76.44	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
76.38/76.44	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
76.38/76.44	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
76.38/76.44	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
76.38/76.44	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340
76.38/76.44	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
76.38/76.44	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
76.38/76.44	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
76.38/76.44	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
76.38/76.44	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
76.38/76.44	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
76.38/76.44	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
76.38/76.44	v x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
76.38/76.44	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
76.38/76.44	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
76.38/76.44	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
76.38/76.44	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
76.38/76.44	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
76.38/76.44	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
76.38/76.44	v -x3481 -x3482 -x3483 -x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490
76.38/76.44	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
76.38/76.44	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
76.38/76.44	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
76.38/76.44	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
76.38/76.44	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
76.38/76.44	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
76.38/76.44	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
76.38/76.44	v -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
76.38/76.44	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
76.38/76.44	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
76.38/76.44	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
76.38/76.44	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
76.38/76.44	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
76.38/76.44	v -x3621 -x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
76.38/76.44	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
76.38/76.44	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
76.38/76.44	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
76.38/76.44	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
76.38/76.44	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
76.38/76.44	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
76.38/76.44	v -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700
76.38/76.44	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
76.38/76.44	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
76.38/76.44	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
76.38/76.44	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
76.38/76.44	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
76.38/76.44	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
76.38/76.44	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
76.38/76.44	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780
76.38/76.44	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
76.38/76.44	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
76.38/76.44	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
76.38/76.44	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
76.38/76.44	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
76.38/76.44	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
76.38/76.44	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
76.38/76.44	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860
76.38/76.44	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
76.38/76.44	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
76.38/76.44	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
76.38/76.44	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
76.38/76.44	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
76.38/76.44	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
76.38/76.44	v -x3921 -x3922 -x3923 -x3924 x3925 -x3926 x3927 -x3928 x3929 -x3930
76.38/76.44	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
76.38/76.44	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
76.38/76.44	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
76.38/76.44	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
76.38/76.44	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
76.38/76.44	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
76.38/76.44	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
76.38/76.44	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
76.38/76.44	v -x4011 -x4012 -x4013 -x4014 x4015
76.38/76.44	c total CPU time = 76.247s
76.38/76.44	c total wall clock time = 76.443s

Verifier Data 

OK	0

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-4078883-1465287146/watcher-4078883-1465287146 -o /tmp/evaluation-result-4078883-1465287146/solver-4078883-1465287146 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078883-1465287146.opb 

pid=16539
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.09 2.13 2.12 4/179 16542
/proc/meminfo: memFree=29497180/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 2596 0 0 0 0 0 0 0 20 0 4 0 110649162 714534912 3468 33554432000 4194304 16246674 140736373807888 140736373807312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 174959 3476 441 2943 0 171853 0
[pid=16542/tid=16543] ppid=16539 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 732360704 3537 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 737603584 3556 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110649162 741797888 3572 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.09 2.13 2.12 4/179 16542
/proc/meminfo: memFree=29497180/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 25149 0 0 0 6 3 0 0 20 0 4 0 110649162 1249447936 25958 33554432000 4194304 16246674 140736373807888 140736373790880 6965916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 305041 25966 833 2943 0 301935 0
[pid=16542/tid=16543] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 25970 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 25977 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 25983 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200833 s]
/proc/loadavg: 2.09 2.13 2.12 4/179 16542
/proc/meminfo: memFree=29497180/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 45033 0 0 0 13 6 0 0 20 0 4 0 110649162 1249447936 45842 33554432000 4194304 16246674 140736373807888 140736373790880 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 305041 45852 876 2943 0 301935 0
[pid=16542/tid=16543] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 45858 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 45864 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 45870 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300501 s]
/proc/loadavg: 2.09 2.13 2.12 4/179 16542
/proc/meminfo: memFree=29497180/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 64743 0 0 0 20 9 0 0 20 0 4 0 110649162 1249447936 65552 33554432000 4194304 16246674 140736373807888 140736373790880 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 305041 65560 876 2943 0 301935 0
[pid=16542/tid=16543] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 65565 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 65570 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 65575 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.70042 s]
/proc/loadavg: 2.09 2.13 2.12 4/179 16542
/proc/meminfo: memFree=29497180/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 145649 0 0 0 48 21 0 0 20 0 4 0 110649162 1249447936 146458 33554432000 4194304 16246674 140736373807888 140736373790880 5830026 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 305041 146466 876 2943 0 301935 0
[pid=16542/tid=16543] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 146472 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 146478 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110649162 1249447936 146484 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50042 s]
/proc/loadavg: 2.09 2.13 2.12 4/183 16546
/proc/meminfo: memFree=28564584/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 266127 0 0 0 113 36 0 0 20 0 4 0 110649162 1331236864 266936 33554432000 4194304 16246674 140736373807888 140736373807200 5546107 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 325009 266936 879 2943 0 321903 0
[pid=16542/tid=16543] ppid=16539 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1331236864 266936 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1331236864 266936 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1331236864 266936 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.10044 s]
/proc/loadavg: 2.09 2.13 2.12 3/183 16546
/proc/meminfo: memFree=28421488/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 267980 0 0 0 273 36 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140736373789760 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 326801 268789 883 2943 0 323695 0
[pid=16542/tid=16543] ppid=16539 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30046 s]
/proc/loadavg: 2.17 2.14 2.12 3/183 16546
/proc/meminfo: memFree=28420128/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 267980 0 0 0 593 36 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140736373789760 5661532 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 326801 268789 883 2943 0 323695 0
[pid=16542/tid=16543] ppid=16539 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1338576896 268789 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.15 2.14 2.12 3/183 16547
/proc/meminfo: memFree=28419512/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268157 0 0 0 1233 36 0 0 20 0 4 0 110649162 1339625472 268966 33554432000 4194304 16246674 140736373807888 140736373789760 13820888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327057 268966 886 2943 0 323951 0
[pid=16542/tid=16543] ppid=16539 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1339625472 268966 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1339625472 268966 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1339625472 268966 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.19 2.15 2.13 3/183 16547
/proc/meminfo: memFree=28419528/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268239 0 0 0 2513 36 0 0 20 0 4 0 110649162 1339625472 269048 33554432000 4194304 16246674 140736373807888 140736373789760 5829399 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327057 269048 886 2943 0 323951 0
[pid=16542/tid=16543] ppid=16539 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1339625472 269048 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1339625472 269048 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1339625472 269048 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.20 2.15 2.13 3/183 16547
/proc/meminfo: memFree=28411596/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 5072 36 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 12483348 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

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

[startup+51.2005 s]
/proc/loadavg: 2.20 2.15 2.13 3/183 16547
/proc/meminfo: memFree=28411596/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=51.18 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 5082 36 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 5828829 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1309252

[startup+64.0004 s]
/proc/loadavg: 2.16 2.15 2.12 3/183 16548
/proc/meminfo: memFree=28411228/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=63.98 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 6361 37 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373807064 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 1309252

[startup+70.4004 s]
/proc/loadavg: 2.14 2.14 2.12 3/183 16548
/proc/meminfo: memFree=28411232/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=70.39 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 7002 37 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 13950236 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 70.39
Current children cumulated vsize (KiB) 1309252

[startup+73.6004 s]
/proc/loadavg: 2.14 2.14 2.12 3/183 16548
/proc/meminfo: memFree=28411356/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=73.58 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 7321 37 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 73.58
Current children cumulated vsize (KiB) 1309252

[startup+75.2004 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16548
/proc/meminfo: memFree=28411480/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=75.18 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 7481 37 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 5722849 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 75.18
Current children cumulated vsize (KiB) 1309252

[startup+76.0075 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16548
/proc/meminfo: memFree=28411480/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=75.99 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 7562 37 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 5546616 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 75.99
Current children cumulated vsize (KiB) 1309252

[startup+76.4004 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16548
/proc/meminfo: memFree=28411480/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=1309252 CPUtime=76.38 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202496 268302 0 0 0 7601 37 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140736373789760 12483272 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 327313 269111 886 2943 0 324207 0
[pid=16542/tid=16543] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16543/stat : 16543 (toysat) S 16539 16542 15571 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232053730544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16542/tid=16544] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16544/stat : 16544 (toysat) S 16539 16542 15571 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140232043240688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16542/tid=16545] ppid=16539 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16542/task/16545/stat : 16545 (toysat) S 16539 16542 15571 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110649162 1340674048 269111 33554432000 4194304 16246674 140736373807888 140231957277872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 76.38
Current children cumulated vsize (KiB) 1309252

[startup+76.5005 s]
/proc/loadavg: 2.13 2.14 2.12 3/183 16548
/proc/meminfo: memFree=28411480/32872528 swapFree=12208/1156848
[pid=16542] ppid=16539 vsize=0 CPUtime=76.48 cores=1,3,5,7
/proc/16542/stat : 16542 (toysat) R 16539 16542 15571 0 -1 4202500 268309 0 0 0 7606 42 0 0 20 0 1 0 110649162 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16542/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 76.48
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 76.5069
CPU time (s): 76.4944
CPU user time (s): 76.0614
CPU system time (s): 0.432934
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.0614
system time used= 0.432934
maximum resident set size= 1076468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268309
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= 24
involuntary context switches= 86

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.236963 second user time and 0.300954 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 10:12:26
IDJOB=4078883
IDBENCH=90216
IDSOLVER=2542
FILE ID=node114/4078883-1465287146
RUNJOBID= node114-1465276339-15588
PBS_JOBID= 19843307
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078883-1465287146/watcher-4078883-1465287146 -o /tmp/evaluation-result-4078883-1465287146/solver-4078883-1465287146 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465276339-15588 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078883-1465287146.opb

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

MD5SUM BENCH= 0228ffc8e8b202453e422d741e6bbe73
RANDOM SEED=1638012099

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.54
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.852
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:        29497560 kB
Buffers:          146396 kB
Cached:           250264 kB
SwapCached:         1696 kB
Active:          1234756 kB
Inactive:         247324 kB
Active(anon):    1087036 kB
Inactive(anon):     1252 kB
Active(file):     147720 kB
Inactive(file):   246072 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       2332304 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             602436 kB
SReclaimable:      46524 kB
SUnreclaim:       555912 kB
KernelStack:        1520 kB
PageTables:         8460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2384264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2316288 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= 71704 MiB
End job on node114 at 2016-06-07 10:13:43