Trace number 4093199

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-02OPTIMUM 1387.94 1388.17

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-pedck350_wcsp.wbo
MD5SUMe2757f2920d6e140e406742169823c41
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark6.95994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3500
Total number of constraints175982
Number of soft constraints175632
Number of constraints which are clauses175632
Number of constraints which are cardinality constraints (but not clauses)350
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 349
Min constraint cost 1
Max constraint cost 349
Sum of constraints costs 60205632
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-16T22:54:11+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","--wbo","--search=bcd2","HOME/instance-4093199-1466110451.wbo"]
0.00/0.01	c use --random-gen="3012641662 3021680231 3081868986 1562547990 1203322923 1467118697 3488602521 374232092 3703022921 1629320308 3097741163 398385603 4088353953 2841641046 2242040835 4255474159 2508789634 257285382 2609945394 1232264371 4283582068 1672453284 2587848560 2926964854 2965351458 705893186 3279173547 961757460 1729611154 801990582 2957046446 1806332508 762793350 3511903160 92096420 2852644315 2638554482 3033075680 767455929 910012692 1452855313 1818143201 2995306027 1340309913 1930350199 468539630 652137887 992855670 428458740 1707467648 986561508 1809527345 2188097516 1241705209 1278730282 2220800646 2938797765 1302158336 3829732764 2563550955 687668628 2117636470 688322381 2478240236 116421544 2052379478 2068934010 3711194753 2399251062 3402123841 4050417111 1938842476 831205761 1762547644 1497286268 2878006490 449064276 4100187703 2161536730 1644626546 3350850626 339551771 3030605140 2335912052 1391322160 932606952 1514829776 1264884582 3487908030 4097145646 3531935754 2149008527 920316889 479756659 3379769631 1333133109 1468548708 1404589462 1125030172 4128421324 3762950937 4222720885 3903845960 759822470 2426989904 367007044 4257234982 2167237845 2501003117 833840915 3508083206 2113548095 714423759 579402936 4271010243 1326199801 3954251077 3205269220 1010092581 2023342309 777443537 943660223 2195552222 2794661095 1776682672 1070357988 1708983149 2492446229 3571210895 2116011614 935451500 427117220 1375188102 846271664 1862699042 2983128740 986015276 3191627544 2923111724 1065641476 4252604872 4085425137 1797306974 3269481471 4100577745 3476192920 406118504 1292756202 3129334083 3726515131 2643914794 665933468 837963818 2793536981 2516481060 3526501134 3114253404 1768646976 593753188 1185436097 3384264234 819821417 1315430555 1985287144 619404225 860700310 941021678 253995792 366382681 2418877794 2736260706 4067352844 1672870572 3627904390 2218206347 3068407498 1851879167 2154746145 3765908531 1070956011 2102004388 1477489833 1477270677 1074764822 746370811 2364018767 3304042898 4014012478 4009943111 2191911153 2451624227 798674990 3579882580 2506607170 2458351879 2611135945 1697777091 1063217346 3747697764 1538600972 2825753543 2787395945 2357234260 1802685955 3074471099 2611852823 1503571910 3741226626 4003372211 629303802 3135619712 3839261259 3518737897 2686345480 1423190113 1338316758 3947218999 3102145558 3936184648 973805794 4117489438 2245690931 3747837277 3732180344 3333763344 3294118016 1889207320 105115366 531944374 444320065 1569581472 1504714071 1928727078 2597266046 1579682538 1239025712 2181821413 692939200 3566781911 1624091792 2153502374 806176041 3823915548 2812705752 520741500 1337235113 4178389232 1678824082 2436375212 3195873144 3878407334 747070576 1702012060 4178863152 2379876809 2678067267 255 362436" option to reproduce the execution
1341.28/1341.50	c #vars 3500
1341.28/1341.50	c #constraints 175982
1345.68/1345.92	c BCD2: Hardening is enabled.
1345.68/1345.92	c BCD2: BiasedSearch is enabled.
1345.68/1345.92	c Solving starts ...
1345.68/1345.92	c ============================[ Search Statistics ]============================
1345.68/1345.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1345.68/1345.92	c       |         |          |          |    Limit     GC | Var      | Constra 
1345.68/1345.92	c =============================================================================
1345.68/1345.93	c  0.0s |       0 |        0 |        0 |   116400      0 |   172500 |        0
1381.77/1382.09	c 36.2s |       0 |     7751 |      100 |   116400      0 |   172500 |        0
1381.77/1382.09	c 36.2s |       1 |     7751 |      100 |   116400      0 |   172500 |        0
1385.78/1386.08	c 40.2s |       1 |     8724 |      101 |   128041      0 |   172500 |        0
1385.78/1386.08	c #cpu_time = 40.045s
1385.78/1386.08	c #wall_clock_time = 40.149s
1385.78/1386.08	c #decision = 8724
1385.78/1386.08	c #random_decision = 39
1385.78/1386.08	c #conflict = 101
1385.78/1386.08	c #restart = 1
1385.88/1386.13	o 330
1386.27/1386.55	c BCD2: hardening fixes 172500 literals
1386.37/1386.68	c BCD2: updating upper bound: 60205632 -> 329
1386.57/1386.86	c BCD2: 0 <= obj <= 329
1386.57/1386.88	c BCD2: #cores=0, #unrelaxed=3132, #relaxed=0, #hardened=172500
1386.57/1386.88	c BCD2: #sat=1 #unsat=1 bias=1/2
1386.57/1386.88	c Solving starts ...
1386.57/1386.88	c ============================[ Search Statistics ]============================
1386.57/1386.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1386.57/1386.88	c       |         |          |          |    Limit     GC | Var      | Constra 
1386.57/1386.88	c =============================================================================
1386.57/1386.88	c  0.0s |       0 |        0 |        0 |   128041      0 |   172500 |        1
1386.66/1386.99	c  0.1s |       0 |     2208 |        0 |   128041      0 |   172500 |        1
1386.66/1386.99	c #cpu_time = 0.112s
1386.66/1386.99	c #wall_clock_time = 0.112s
1386.66/1386.99	c #decision = 2208
1386.66/1386.99	c #random_decision = 0
1386.66/1386.99	c #conflict = 0
1386.66/1386.99	c #restart = 0
1386.66/1386.99	c BCD2: found a new core of size 73: cost of the new core is >=1
1386.66/1386.99	c lower bound updated to 1
1386.76/1387.08	c BCD2: 1 <= obj <= 329
1386.76/1387.08	c BCD2: #cores=1, #unrelaxed=3059, #relaxed=73, #hardened=172500
1386.76/1387.08	c BCD2: #sat=1 #unsat=2 bias=2/3
1386.76/1387.08	c Solving starts ...
1386.76/1387.08	c ============================[ Search Statistics ]============================
1386.76/1387.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1386.76/1387.08	c       |         |          |          |    Limit     GC | Var      | Constra 
1386.76/1387.08	c =============================================================================
1386.76/1387.08	c  0.0s |       0 |        0 |        0 |   128041      0 |   172500 |        1
1386.87/1387.20	c  0.1s |       0 |     3574 |        2 |   128041      0 |   172500 |        1
1386.87/1387.20	c #cpu_time = 0.115s
1386.87/1387.20	c #wall_clock_time = 0.116s
1386.87/1387.20	c #decision = 3574
1386.87/1387.20	c #random_decision = 0
1386.87/1387.20	c #conflict = 2
1386.87/1387.20	c #restart = 0
1386.87/1387.20	c BCD2: found a new core of size 74: cost of the new core is >=1
1386.87/1387.20	c lower bound updated to 2
1387.56/1387.83	c BCD2: 2 <= obj <= 329
1387.56/1387.83	c BCD2: #cores=2, #unrelaxed=2985, #relaxed=147, #hardened=172500
1387.56/1387.83	c BCD2: #sat=1 #unsat=3 bias=3/4
1387.56/1387.83	c Solving starts ...
1387.56/1387.83	c ============================[ Search Statistics ]============================
1387.56/1387.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1387.56/1387.83	c       |         |          |          |    Limit     GC | Var      | Constra 
1387.56/1387.83	c =============================================================================
1387.56/1387.83	c  0.0s |       0 |        0 |        0 |   128041      0 |   172500 |        1
1387.66/1387.92	c  0.1s |       0 |     2434 |        1 |   128041      0 |   172500 |        1
1387.66/1387.92	c #cpu_time = 0.086s
1387.66/1387.92	c #wall_clock_time = 0.086s
1387.66/1387.92	c #decision = 2434
1387.66/1387.92	c #random_decision = 0
1387.66/1387.92	c #conflict = 1
1387.66/1387.92	c #restart = 0
1387.66/1387.96	o 2
1387.76/1388.03	s OPTIMUM FOUND
1387.76/1388.03	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1387.76/1388.03	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1387.76/1388.03	v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1387.76/1388.03	v -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1387.76/1388.03	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
1387.76/1388.03	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
1387.76/1388.03	v -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1387.76/1388.03	v x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1387.76/1388.03	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1387.76/1388.03	v -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100
1387.76/1388.03	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
1387.76/1388.03	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1387.76/1388.03	v x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1387.76/1388.03	v -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
1387.76/1388.03	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
1387.76/1388.03	v -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160
1387.76/1388.03	v -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1387.76/1388.03	v -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180
1387.76/1388.03	v -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1387.76/1388.03	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1387.76/1388.03	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1387.76/1388.03	v -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220
1387.76/1388.03	v x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1387.76/1388.03	v -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
1387.76/1388.03	v -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1387.76/1388.03	v x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1387.76/1388.03	v -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1387.76/1388.03	v -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280
1387.76/1388.03	v -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290
1387.76/1388.03	v -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300
1387.76/1388.03	v -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310
1387.76/1388.03	v -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1387.76/1388.03	v x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
1387.76/1388.03	v -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340
1387.76/1388.03	v -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350
1387.76/1388.03	v -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360
1387.76/1388.03	v x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
1387.76/1388.03	v -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1387.76/1388.03	v -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
1387.76/1388.03	v -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400
1387.76/1388.03	v -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410
1387.76/1388.03	v -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420
1387.76/1388.03	v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1387.76/1388.03	v -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440
1387.76/1388.03	v -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
1387.76/1388.03	v -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1387.76/1388.03	v -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470
1387.76/1388.03	v x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1387.76/1388.03	v x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1387.76/1388.03	v -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1387.76/1388.03	v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510
1387.76/1388.03	v -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
1387.76/1388.03	v -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530
1387.76/1388.03	v -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540
1387.76/1388.03	v -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550
1387.76/1388.03	v -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560
1387.76/1388.03	v -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570
1387.76/1388.03	v -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
1387.76/1388.03	v -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590
1387.76/1388.03	v -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600
1387.76/1388.03	v -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610
1387.76/1388.03	v -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620
1387.76/1388.03	v -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1387.76/1388.03	v -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1387.76/1388.03	v -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650
1387.76/1388.03	v -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
1387.76/1388.03	v -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670
1387.76/1388.03	v -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680
1387.76/1388.03	v x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1387.76/1388.03	v -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1387.76/1388.03	v -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1387.76/1388.03	v -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720
1387.76/1388.03	v -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1387.76/1388.03	v -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1387.76/1388.03	v -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
1387.76/1388.03	v -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760
1387.76/1388.03	v -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
1387.76/1388.03	v -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1387.76/1388.03	v -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
1387.76/1388.03	v -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800
1387.76/1388.03	v x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
1387.76/1388.03	v -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820
1387.76/1388.03	v -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
1387.76/1388.03	v -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1387.76/1388.03	v -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1387.76/1388.03	v -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1387.76/1388.03	v -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870
1387.76/1388.03	v -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
1387.76/1388.03	v -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1387.76/1388.03	v -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1387.76/1388.03	v -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
1387.76/1388.03	v -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920
1387.76/1388.03	v -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
1387.76/1388.03	v -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1387.76/1388.03	v -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950
1387.76/1388.03	v -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1387.76/1388.03	v -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970
1387.76/1388.03	v -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980
1387.76/1388.03	v -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
1387.76/1388.03	v -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
1387.76/1388.03	v -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1387.76/1388.03	v -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1387.76/1388.03	v x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1387.76/1388.03	v -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1387.76/1388.03	v -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1387.76/1388.03	v -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1387.76/1388.03	v -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070
1387.76/1388.03	v -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1387.76/1388.03	v -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1387.76/1388.03	v -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
1387.76/1388.03	v -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1387.76/1388.03	v x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1387.76/1388.03	v -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1387.76/1388.03	v -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
1387.76/1388.03	v -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
1387.76/1388.03	v -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1387.76/1388.03	v -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
1387.76/1388.03	v x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1387.76/1388.03	v x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
1387.76/1388.03	v x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1387.76/1388.03	v -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1387.76/1388.03	v -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1387.76/1388.03	v x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1387.76/1388.03	v -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
1387.76/1388.03	v -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1387.76/1388.03	v -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1387.76/1388.03	v -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
1387.76/1388.03	v -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
1387.76/1388.03	v -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
1387.76/1388.03	v -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1387.76/1388.03	v -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310
1387.76/1388.03	v -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320
1387.76/1388.03	v -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1387.76/1388.03	v -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340
1387.76/1388.03	v -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1387.76/1388.03	v -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
1387.76/1388.03	v -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1387.76/1388.03	v -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1387.76/1388.03	v -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390
1387.76/1388.03	v -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400
1387.76/1388.03	v -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410
1387.76/1388.03	v -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420
1387.76/1388.03	v -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1387.76/1388.03	v x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1387.76/1388.03	v -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1387.76/1388.03	v -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
1387.76/1388.03	v -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
1387.76/1388.03	v -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480
1387.76/1388.03	v -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
1387.76/1388.03	v -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1387.76/1388.03	v -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
1387.76/1388.03	v -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520
1387.76/1388.03	v x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
1387.76/1388.03	v x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1387.76/1388.03	v -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1387.76/1388.03	v -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560
1387.76/1388.03	v x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
1387.76/1388.03	v -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
1387.76/1388.03	v -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590
1387.76/1388.03	v -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1387.76/1388.03	v -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1387.76/1388.03	v -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1387.76/1388.03	v -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630
1387.76/1388.03	v -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640
1387.76/1388.03	v -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
1387.76/1388.03	v x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1387.76/1388.03	v -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1387.76/1388.03	v -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
1387.76/1388.03	v -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690
1387.76/1388.03	v -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
1387.76/1388.03	v -x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1387.76/1388.03	v -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1387.76/1388.03	v x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1387.76/1388.03	v -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1387.76/1388.03	v -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750
1387.76/1388.03	v -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1387.76/1388.03	v -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1387.76/1388.03	v -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780
1387.76/1388.03	v -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1387.76/1388.03	v -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
1387.76/1388.03	v -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810
1387.76/1388.03	v -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1387.76/1388.03	v x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
1387.76/1388.03	v -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1387.76/1388.03	v -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
1387.76/1388.03	v -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
1387.76/1388.03	v -x1861 -x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870
1387.76/1388.03	v -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1387.76/1388.03	v -x1881 -x1882 -x1883 -x1884 -x1885 x1886 -x1887 -x1888 -x1889 -x1890
1387.76/1388.03	v -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
1387.76/1388.03	v -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1387.76/1388.03	v -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
1387.76/1388.03	v -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
1387.76/1388.03	v x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1387.76/1388.03	v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950
1387.76/1388.03	v -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1387.76/1388.03	v -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
1387.76/1388.03	v -x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
1387.76/1388.03	v -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1387.76/1388.03	v -x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1387.76/1388.03	v -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1387.76/1388.03	v -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
1387.76/1388.03	v -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
1387.76/1388.03	v -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040
1387.76/1388.03	v -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050
1387.76/1388.03	v -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
1387.76/1388.03	v -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1387.76/1388.03	v -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1387.76/1388.03	v -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090
1387.76/1388.03	v x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
1387.76/1388.03	v -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1387.76/1388.03	v -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
1387.76/1388.03	v -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
1387.76/1388.03	v -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140
1387.76/1388.03	v x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1387.76/1388.03	v -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
1387.76/1388.03	v -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170
1387.76/1388.03	v -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1387.76/1388.03	v -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190
1387.76/1388.03	v -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1387.76/1388.03	v -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210
1387.76/1388.03	v -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220
1387.76/1388.03	v -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
1387.76/1388.03	v -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240
1387.76/1388.03	v x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
1387.76/1388.03	v -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1387.76/1388.03	v -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270
1387.76/1388.03	v -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1387.76/1388.03	v -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290
1387.76/1388.03	v -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300
1387.76/1388.03	v -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1387.76/1388.03	v -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1387.76/1388.03	v -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330
1387.76/1388.03	v -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1387.76/1388.03	v x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
1387.76/1388.03	v -x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1387.76/1388.03	v -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370
1387.76/1388.03	v -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1387.76/1388.03	v -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390
1387.76/1388.03	v -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1387.76/1388.03	v -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
1387.76/1388.03	v -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420
1387.76/1388.03	v -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430
1387.76/1388.03	v -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1387.76/1388.03	v -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
1387.76/1388.03	v -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460
1387.76/1388.03	v -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
1387.76/1388.03	v x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
1387.76/1388.03	v -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1387.76/1388.03	v -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
1387.76/1388.03	v -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510
1387.76/1388.03	v -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1387.76/1388.03	v -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1387.76/1388.03	v -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540
1387.76/1388.03	v -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
1387.76/1388.03	v -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
1387.76/1388.03	v -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1387.76/1388.03	v -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
1387.76/1388.03	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590
1387.76/1388.03	v -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600
1387.76/1388.03	v -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1387.76/1388.03	v -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1387.76/1388.03	v -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
1387.76/1388.03	v -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
1387.76/1388.03	v -x2641 x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
1387.76/1388.03	v -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1387.76/1388.03	v -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1387.76/1388.03	v -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680
1387.76/1388.03	v -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1387.76/1388.03	v -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700
1387.76/1388.03	v -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710
1387.76/1388.03	v -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1387.76/1388.03	v -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1387.76/1388.03	v x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
1387.76/1388.03	v -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
1387.76/1388.03	v -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1387.76/1388.03	v -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1387.76/1388.03	v -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
1387.76/1388.03	v -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1387.76/1388.03	v -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800
1387.76/1388.03	v -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1387.76/1388.03	v -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
1387.76/1388.03	v -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
1387.76/1388.03	v -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
1387.76/1388.03	v -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1387.76/1388.03	v -x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1387.76/1388.03	v -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1387.76/1388.03	v -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1387.76/1388.03	v -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
1387.76/1388.03	v -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1387.76/1388.03	v -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
1387.76/1388.03	v -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
1387.76/1388.03	v -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
1387.76/1388.03	v -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
1387.76/1388.03	v -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
1387.76/1388.03	v -x2951 x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1387.76/1388.03	v -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
1387.76/1388.03	v -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
1387.76/1388.03	v -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1387.76/1388.03	v -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 -x2999 -x3000
1387.76/1388.03	v -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010
1387.76/1388.03	v -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1387.76/1388.03	v -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030
1387.76/1388.03	v -x3031 x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
1387.76/1388.03	v -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050
1387.76/1388.03	v -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
1387.76/1388.03	v -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1387.76/1388.03	v -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1387.76/1388.03	v -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090
1387.76/1388.03	v -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100
1387.76/1388.03	v -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110
1387.76/1388.03	v -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120
1387.76/1388.03	v -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1387.76/1388.03	v -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
1387.76/1388.03	v -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 -x3149 -x3150
1387.76/1388.03	v -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159 -x3160
1387.76/1388.03	v -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
1387.76/1388.03	v -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180
1387.76/1388.03	v -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1387.76/1388.03	v x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
1387.76/1388.03	v -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210
1387.76/1388.03	v -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x3220
1387.76/1388.03	v -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230
1387.76/1388.03	v -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1387.76/1388.03	v -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1387.76/1388.03	v -x3251 -x3252 -x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260
1387.76/1388.03	v -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
1387.76/1388.03	v -x3271 x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
1387.76/1388.03	v -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290
1387.76/1388.03	v x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1387.76/1388.03	v -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x3310
1387.76/1388.03	v -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
1387.76/1388.03	v -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
1387.76/1388.03	v -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340
1387.76/1388.03	v -x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
1387.76/1388.03	v -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
1387.76/1388.03	v -x3361 x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1387.76/1388.03	v -x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
1387.76/1388.03	v -x3381 -x3382 -x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390
1387.76/1388.03	v -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400
1387.76/1388.03	v -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1387.76/1388.03	v -x3411 -x3412 -x3413 -x3414 x3415 -x3416 -x3417 -x3418 -x3419 -x3420
1387.76/1388.03	v -x3421 x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
1387.76/1388.03	v -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440
1387.76/1388.03	v x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
1387.76/1388.03	v -x3451 x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
1387.76/1388.03	v -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
1387.76/1388.03	v -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480
1387.76/1388.03	v -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
1387.76/1388.03	v -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500
1387.76/1388.03	c total CPU time = 1384.476s
1387.76/1388.03	c total wall clock time = 1388.026s

Verifier Data 

OK	2

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-4093199-1466110451/watcher-4093199-1466110451 -o /tmp/evaluation-result-4093199-1466110451/solver-4093199-1466110451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466110176-17967 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093199-1466110451.wbo 

pid=18199
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

[startup+0 s]
/proc/loadavg: 2.71 1.95 1.61 3/179 18202
/proc/meminfo: memFree=29129136/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/18202/stat : 18202 (runsolver) R 18199 15996 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 1 0 13092258 24911872 50 33554432000 4194304 4338465 140735014409360 140735014406896 260193672592 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/18202/statm: 6082 50 4 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.105523 s]
/proc/loadavg: 2.71 1.95 1.61 3/179 18202
/proc/meminfo: memFree=29129136/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1301060 CPUtime=0.08 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 24781 0 0 0 6 2 0 0 20 0 4 0 13092258 1332285440 24570 33554432000 4194304 16246674 140736871757056 140736871756232 7853005 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 325265 24584 801 2943 0 322159 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200413 s]
/proc/loadavg: 2.71 1.95 1.61 3/179 18202
/proc/meminfo: memFree=29129136/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1310276 CPUtime=0.18 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 46974 0 0 0 12 6 0 0 20 0 4 0 13092258 1341722624 47274 33554432000 4194304 16246674 140736871757056 140736871756232 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 327569 47283 802 2943 0 324463 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1310276

[startup+0.300386 s]
/proc/loadavg: 2.71 1.95 1.61 3/179 18202
/proc/meminfo: memFree=29129136/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 65568 0 0 0 20 8 0 0 20 0 4 0 13092258 1345916928 65868 33554432000 4194304 16246674 140736871757056 140736871756232 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 328593 65873 802 2943 0 325487 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700332 s]
/proc/loadavg: 2.71 1.95 1.61 3/179 18202
/proc/meminfo: memFree=29129136/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1315396 CPUtime=0.68 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 70013 0 0 0 59 9 0 0 20 0 4 0 13092258 1346965504 70313 33554432000 4194304 16246674 140736871757056 140736871756232 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 328849 70313 802 2943 0 325743 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1315396

[startup+1.50046 s]
/proc/loadavg: 2.71 1.95 1.61 3/183 18206
/proc/meminfo: memFree=28798432/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1315396 CPUtime=1.48 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 98900 0 0 0 136 12 0 0 20 0 4 0 13092258 1346965504 99200 33554432000 4194304 16246674 140736871757056 140736871738944 13811780 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 328849 99200 830 2943 0 325743 0
[pid=18202/tid=18204] ppid=18199 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1346965504 99200 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1346965504 99200 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1346965504 99200 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.71 1.95 1.61 3/183 18206
/proc/meminfo: memFree=28712004/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1324612 CPUtime=3.08 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 182332 0 0 0 284 24 0 0 20 0 4 0 13092258 1356402688 182632 33554432000 4194304 16246674 140736871757056 140736871756368 13811820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 331153 182645 835 2943 0 328047 0
[pid=18202/tid=18204] ppid=18199 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1356402688 182653 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1356402688 182661 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1356402688 182668 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1324612

[startup+6.30042 s]
/proc/loadavg: 2.73 1.97 1.62 3/183 18206
/proc/meminfo: memFree=27959360/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=6.28 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 590 38 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871754880 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1407556

[startup+12.7004 s]
/proc/loadavg: 2.67 1.97 1.62 3/183 18206
/proc/meminfo: memFree=27941576/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=12.68 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 1230 38 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871738944 6132605 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1407556

[startup+25.5004 s]
/proc/loadavg: 2.52 1.97 1.62 3/183 18207
/proc/meminfo: memFree=27943376/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=25.47 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 2509 38 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871738944 13774223 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1407556

[startup+51.1005 s]
/proc/loadavg: 2.47 2.00 1.64 3/183 18207
/proc/meminfo: memFree=27944124/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=51.08 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 5069 39 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871738944 6132663 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 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) 1407556

[startup+102.3 s]
/proc/loadavg: 2.39 2.05 1.67 3/183 18208
/proc/meminfo: memFree=27943312/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=102.27 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 10188 39 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871738944 13774229 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1407556

[startup+162.3 s]
/proc/loadavg: 2.36 2.10 1.71 3/183 18209
/proc/meminfo: memFree=27943556/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=162.26 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 16187 39 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871738944 13809400 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1407556

[startup+222.307 s]
/proc/loadavg: 2.21 2.11 1.74 4/183 18210
/proc/meminfo: memFree=27943564/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1407556 CPUtime=222.25 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 292514 0 0 0 22186 39 0 0 20 0 4 0 13092258 1441337344 292814 33554432000 4194304 16246674 140736871757056 140736871738944 13807453 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 351889 292814 838 2943 0 348783 0
[pid=18202/tid=18204] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1407556 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1441337344 292814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1407556


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

Current children cumulated vsize (KiB) 1743428

[startup+1242.3 s]
/proc/loadavg: 2.20 2.17 2.01 3/183 18260
/proc/meminfo: memFree=26187920/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=1743428 CPUtime=1242.09 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 376483 0 0 0 124157 52 0 0 20 0 4 0 13092258 1785270272 377038 33554432000 4194304 16246674 140736871757056 140736871738944 13809356 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 435857 377038 838 2943 0 432751 0
[pid=18202/tid=18204] ppid=18199 vsize=1743428 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 1785270272 377038 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=1743428 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 1785270272 377038 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=1743428 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 1785270272 377038 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1743428

[startup+1302.3 s]
/proc/loadavg: 2.11 2.15 2.01 4/183 18261
/proc/meminfo: memFree=25114712/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1302.08 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644259 0 0 0 130123 85 0 0 20 0 4 0 13092258 2882080768 644814 33554432000 4194304 16246674 140736871757056 140736871738944 6132704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644814 838 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644814 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644814 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644814 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2814532

[startup+1362.3 s]
/proc/loadavg: 1.70 2.04 1.98 3/173 18293
/proc/meminfo: memFree=27725076/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1362.07 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644337 0 0 0 136119 88 0 0 20 0 4 0 13092258 2882080768 644888 33554432000 4194304 16246674 140736871757056 140736871738944 5599978 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644888 912 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2814532

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

[startup+1369.61 s]
/proc/loadavg: 1.67 2.02 1.97 2/173 18293
/proc/meminfo: memFree=27725080/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1369.38 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644337 0 0 0 136850 88 0 0 20 0 4 0 13092258 2882080768 644888 33554432000 4194304 16246674 140736871757056 140736871738944 5600010 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644888 912 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1369.38
Current children cumulated vsize (KiB) 2814532

[startup+1376 s]
/proc/loadavg: 1.61 2.00 1.97 3/173 18293
/proc/meminfo: memFree=27725064/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1375.77 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644337 0 0 0 137489 88 0 0 20 0 4 0 13092258 2882080768 644888 33554432000 4194304 16246674 140736871757056 140736871738944 5600804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644888 912 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1375.77
Current children cumulated vsize (KiB) 2814532

[startup+1382.4 s]
/proc/loadavg: 1.57 1.99 1.96 2/173 18293
/proc/meminfo: memFree=27725048/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1382.17 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644337 0 0 0 138129 88 0 0 20 0 4 0 13092258 2882080768 644888 33554432000 4194304 16246674 140736871757056 140736871756232 5600800 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644888 912 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1382.17
Current children cumulated vsize (KiB) 2814532

[startup+1385.6 s]
/proc/loadavg: 1.52 1.97 1.96 2/173 18293
/proc/meminfo: memFree=27724924/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1385.37 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644337 0 0 0 138449 88 0 0 20 0 4 0 13092258 2882080768 644888 33554432000 4194304 16246674 140736871757056 140736871738944 5600804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644888 912 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644888 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1385.37
Current children cumulated vsize (KiB) 2814532

[startup+1387.21 s]
/proc/loadavg: 1.52 1.97 1.96 3/173 18293
/proc/meminfo: memFree=27724924/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1386.97 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644359 0 0 0 138609 88 0 0 20 0 4 0 13092258 2882080768 644910 33554432000 4194304 16246674 140736871757056 140736871756232 4226072 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644910 934 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1386.97
Current children cumulated vsize (KiB) 2814532

[startup+1387.6 s]
/proc/loadavg: 1.52 1.97 1.96 3/173 18293
/proc/meminfo: memFree=27724924/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1387.36 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644359 0 0 0 138648 88 0 0 20 0 4 0 13092258 2882080768 644910 33554432000 4194304 16246674 140736871757056 140736871754768 4206864 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644910 934 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561758526480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1387.36
Current children cumulated vsize (KiB) 2814532

[startup+1388 s]
/proc/loadavg: 1.52 1.97 1.96 3/173 18293
/proc/meminfo: memFree=27724924/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=2814532 CPUtime=1387.76 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202496 644359 0 0 0 138688 88 0 0 20 0 4 0 13092258 2882080768 644910 33554432000 4194304 16246674 140736871757056 140736871756272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 703633 644910 934 2943 0 700527 0
[pid=18202/tid=18204] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18204/stat : 18204 (toysat) S 18199 18202 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561769016560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=18202/tid=18205] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18205/stat : 18205 (toysat) S 18199 18202 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561758526704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=18202/tid=18206] ppid=18199 vsize=2814532 CPUtime=0 cores=1,3,5,7
/proc/18202/task/18206/stat : 18206 (toysat) S 18199 18202 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13092259 2882080768 644910 33554432000 4194304 16246674 140736871757056 140561748053168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1387.76
Current children cumulated vsize (KiB) 2814532

[startup+1388.1 s]
/proc/loadavg: 1.52 1.97 1.96 3/173 18293
/proc/meminfo: memFree=27724924/32872528 swapFree=17100/1797424
[pid=18202] ppid=18199 vsize=0 CPUtime=1387.87 cores=1,3,5,7
/proc/18202/stat : 18202 (toysat) R 18199 18202 15996 0 -1 4202500 644361 0 0 0 138692 95 0 0 20 0 1 0 13092258 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18202/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1387.87
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1388.17
CPU time (s): 1387.94
CPU user time (s): 1386.92
CPU system time (s): 1.01584
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 2814532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1386.92
system time used= 1.01585
maximum resident set size= 2579644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644361
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= 43
involuntary context switches= 1490

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73797 second user time and 9.1816 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-16 22:54:11
IDJOB=4093199
IDBENCH=79618
IDSOLVER=2553
FILE ID=node123/4093199-1466110451
RUNJOBID= node123-1466110176-17967
PBS_JOBID= 19904045
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/pedigree/normalized-pedck350_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093199-1466110451/watcher-4093199-1466110451 -o /tmp/evaluation-result-4093199-1466110451/solver-4093199-1466110451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466110176-17967 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093199-1466110451.wbo

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

MD5SUM BENCH= e2757f2920d6e140e406742169823c41
RANDOM SEED=2147231125

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.56
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.791
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:        29129772 kB
Buffers:            1308 kB
Cached:            76020 kB
SwapCached:         6984 kB
Active:          1223180 kB
Inactive:          13284 kB
Active(anon):    1154840 kB
Inactive(anon):     6648 kB
Active(file):      68340 kB
Inactive(file):     6636 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67092524 kB
Dirty:             46380 kB
Writeback:             0 kB
AnonPages:       2950568 kB
Mapped:            10072 kB
Shmem:                 0 kB
Slab:             569448 kB
SReclaimable:      12196 kB
SUnreclaim:       557252 kB
KernelStack:        1464 kB
PageTables:         9896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3095772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1789952 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= 71612 MiB
End job on node123 at 2016-06-16 23:17:20