Trace number 4078636

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.3264 76.3391

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
MD5SUM79ed7fb7a57e7e2ac59cfc8508d281c9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark10.0875
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
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 420
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
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-06T15:32:17+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-4078636-1465219935.opb"]
0.00/0.01	c use --random-gen="1869611029 3385911743 3183346883 3025556229 3436008771 1050985905 3469167127 1524099561 4193187924 3801580900 425082135 4029951848 1871437550 3172882251 1175147274 1845859670 2650308650 2827596556 957156121 2089935708 2536698092 316263091 1998628536 432781309 2410388269 277521959 3897280230 276553229 1795821334 930465038 1438323692 3346922425 2700375382 502568637 989221577 1924650519 2889351443 1042363581 1206622665 2847574533 3949906416 1004168446 2366846977 3279954925 3045550188 141267234 1435752193 2548128925 3742447629 3579480711 872639230 625656662 22949008 499344637 756765146 1062415135 2792357945 3485790354 1731839931 3830644729 1685699171 2858890271 1683549604 870225159 2853214698 3625572384 556117272 2490654531 4128161221 926158010 1868130275 1214010425 123510805 2477568125 3679013407 4009846907 2950008207 170201530 2850396283 1339621352 447768991 2420926019 1871727785 4097432334 1932486436 2244128368 2029615127 3467322752 2572571119 1223687714 3392355546 3628410032 2784111231 4079385824 3718925430 1964414454 2203415802 3391260705 909669445 915076099 1500136318 2121642587 1679093847 2379503462 4017658775 703635704 149023724 1316790687 586694569 2207394759 2307491360 3305107448 1100323799 1868270431 711322578 2395389050 152377898 3686676686 2288554769 618372198 3982010045 3162082636 1600664694 1462259166 779778179 3833347922 1326181717 100120078 2395487241 3562078851 3156263565 2451062533 2735350184 4261432738 396122939 3443214235 2396897062 1779716570 976636084 2922942364 508846787 4262539676 2772401894 3787821268 2095595923 801061006 2439694156 3054557115 495917736 1547241459 3580213936 420971078 3339392256 616599454 2041436911 575350980 4106297922 3934379133 2170333458 3811120812 832391124 33986105 841485828 4126591055 1405965805 1930966300 2824924598 2868913317 1935622513 3360108438 3651744492 12090092 453122364 2233947869 2866690581 1915808291 3276988313 970538239 3500354920 1352123514 128397400 3325891444 701506329 3524980240 3168559347 3438964422 1043917093 3541995617 3718036308 467692027 3153773742 2375621974 2487272482 3940223087 4280323681 4111281253 3021394391 3547764 2185048857 187110863 353329142 2125032610 2101951025 683767898 23586975 4194451784 1739200868 3426879307 1441269616 3669966361 4257380381 1017979721 1788678310 3373941776 4112144538 2421243806 3332648918 2940301170 147282173 1209580962 845636248 1255886750 69527544 2050092729 2262648808 464298589 1049499337 539336055 1238862140 101293751 4058816606 2968998839 2368542868 1395695419 2900902470 2785236069 3884417838 4073806573 1577374107 3678408608 127746937 1438036278 3121101964 4207294307 2095082084 1926744663 2431069804 4136147097 3453735416 4152699864 588920136 2869946946 3646776917 3062787764 3126160172 3954686693 255 362436" option to reproduce the execution
16.79/16.80	c #vars 4500
16.79/16.80	c #constraints 2559501
70.28/70.34	c Solving starts ...
70.28/70.34	c ============================[ Search Statistics ]============================
70.28/70.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
70.28/70.34	c       |         |          |          |    Limit     GC | Var      | Constra 
70.28/70.34	c =============================================================================
70.28/70.36	c  0.0s |       0 |        0 |        0 |   854700      0 |        0 |        0
72.17/72.24	c  1.9s |       1 |     1805 |      100 |   854700      0 |        0 |        0
74.08/74.16	c  3.8s |       2 |     3596 |      250 |   940171      0 |        0 |        0
75.87/75.99	c  5.6s |       2 |     4536 |      272 |  1034189      0 |        0 |        0
75.87/75.99	c #cpu_time = 5.636s
75.87/75.99	c #wall_clock_time = 5.636s
75.87/75.99	c #decision = 4536
75.87/75.99	c #random_decision = 16
75.87/75.99	c #conflict = 272
75.87/75.99	c #restart = 2
75.87/75.99	s SATISFIABLE
75.87/75.99	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
75.87/75.99	v -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20
75.87/75.99	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
75.87/75.99	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
75.87/75.99	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
75.87/75.99	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
75.87/75.99	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
75.87/75.99	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
75.87/75.99	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
75.87/75.99	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100
75.87/75.99	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
75.87/75.99	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
75.87/75.99	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
75.87/75.99	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
75.87/75.99	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
75.87/75.99	v -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
75.87/75.99	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
75.87/75.99	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
75.87/75.99	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
75.87/75.99	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
75.87/75.99	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
75.87/75.99	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
75.87/75.99	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
75.87/75.99	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
75.87/75.99	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250
75.87/75.99	v -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
75.87/75.99	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
75.87/75.99	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
75.87/75.99	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
75.87/75.99	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
75.87/75.99	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
75.87/75.99	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
75.87/75.99	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
75.87/75.99	v -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
75.87/75.99	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
75.87/75.99	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
75.87/75.99	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
75.87/75.99	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
75.87/75.99	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
75.87/75.99	v -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400
75.87/75.99	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
75.87/75.99	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
75.87/75.99	v -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430
75.87/75.99	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
75.87/75.99	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
75.87/75.99	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
75.87/75.99	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
75.87/75.99	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
75.87/75.99	v -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490
75.87/75.99	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
75.87/75.99	v x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
75.87/75.99	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
75.87/75.99	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
75.87/75.99	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
75.87/75.99	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
75.87/75.99	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
75.87/75.99	v x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
75.87/75.99	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
75.87/75.99	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
75.87/75.99	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
75.87/75.99	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610
75.87/75.99	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
75.87/75.99	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
75.87/75.99	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
75.87/75.99	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
75.87/75.99	v -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660
75.87/75.99	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
75.87/75.99	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
75.87/75.99	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
75.87/75.99	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
75.87/75.99	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710
75.87/75.99	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
75.87/75.99	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
75.87/75.99	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
75.87/75.99	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
75.87/75.99	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
75.87/75.99	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
75.87/75.99	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
75.87/75.99	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
75.87/75.99	v -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800
75.87/75.99	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
75.87/75.99	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
75.87/75.99	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830
75.87/75.99	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
75.87/75.99	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
75.87/75.99	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
75.87/75.99	v -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
75.87/75.99	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
75.87/75.99	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
75.87/75.99	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
75.87/75.99	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
75.87/75.99	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
75.87/75.99	v -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930
75.87/75.99	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
75.87/75.99	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
75.87/75.99	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
75.87/75.99	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
75.87/75.99	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
75.87/75.99	v -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
75.87/75.99	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
75.87/75.99	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
75.87/75.99	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
75.87/75.99	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030
75.87/75.99	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
75.87/75.99	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
75.87/75.99	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
75.87/75.99	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
75.87/75.99	v -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
75.87/75.99	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
75.87/75.99	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
75.87/75.99	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
75.87/75.99	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
75.87/75.99	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
75.87/75.99	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140
75.87/75.99	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
75.87/75.99	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
75.87/75.99	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
75.87/75.99	v -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
75.87/75.99	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
75.87/75.99	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
75.87/75.99	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
75.87/75.99	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220
75.87/75.99	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
75.87/75.99	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
75.87/75.99	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
75.87/75.99	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
75.87/75.99	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
75.87/75.99	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
75.87/75.99	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290
75.87/75.99	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
75.87/75.99	v -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
75.87/75.99	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
75.87/75.99	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
75.87/75.99	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
75.87/75.99	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
75.87/75.99	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 -x1358 -x1359 -x1360
75.87/75.99	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
75.87/75.99	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
75.87/75.99	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
75.87/75.99	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
75.87/75.99	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
75.87/75.99	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420
75.87/75.99	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
75.87/75.99	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
75.87/75.99	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
75.87/75.99	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
75.87/75.99	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
75.87/75.99	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
75.87/75.99	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
75.87/75.99	v x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
75.87/75.99	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
75.87/75.99	v -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520
75.87/75.99	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
75.87/75.99	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
75.87/75.99	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
75.87/75.99	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
75.87/75.99	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570
75.87/75.99	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
75.87/75.99	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
75.87/75.99	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
75.87/75.99	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
75.87/75.99	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
75.87/75.99	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
75.87/75.99	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640
75.87/75.99	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
75.87/75.99	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
75.87/75.99	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
75.87/75.99	v -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
75.87/75.99	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
75.87/75.99	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
75.87/75.99	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
75.87/75.99	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
75.87/75.99	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
75.87/75.99	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
75.87/75.99	v -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
75.87/75.99	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
75.87/75.99	v -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
75.87/75.99	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
75.87/75.99	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
75.87/75.99	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
75.87/75.99	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
75.87/75.99	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
75.87/75.99	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830
75.87/75.99	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
75.87/75.99	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
75.87/75.99	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
75.87/75.99	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
75.87/75.99	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
75.87/75.99	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
75.87/75.99	v -x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
75.87/75.99	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
75.87/75.99	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
75.87/75.99	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
75.87/75.99	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
75.87/75.99	v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950
75.87/75.99	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
75.87/75.99	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
75.87/75.99	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980
75.87/75.99	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
75.87/75.99	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
75.87/75.99	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
75.87/75.99	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
75.87/75.99	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
75.87/75.99	v -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
75.87/75.99	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
75.87/75.99	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
75.87/75.99	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
75.87/75.99	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
75.87/75.99	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090
75.87/75.99	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
75.87/75.99	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
75.87/75.99	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
75.87/75.99	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
75.87/75.99	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
75.87/75.99	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150
75.87/75.99	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
75.87/75.99	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
75.87/75.99	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
75.87/75.99	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
75.87/75.99	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200
75.87/75.99	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
75.87/75.99	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
75.87/75.99	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
75.87/75.99	v -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240
75.87/75.99	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
75.87/75.99	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
75.87/75.99	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
75.87/75.99	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
75.87/75.99	v x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
75.87/75.99	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
75.87/75.99	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
75.87/75.99	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320
75.87/75.99	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
75.87/75.99	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
75.87/75.99	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
75.87/75.99	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360
75.87/75.99	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
75.87/75.99	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
75.87/75.99	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
75.87/75.99	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
75.87/75.99	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
75.87/75.99	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
75.87/75.99	v x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
75.87/75.99	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
75.87/75.99	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
75.87/75.99	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
75.87/75.99	v -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
75.87/75.99	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
75.87/75.99	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
75.87/75.99	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
75.87/75.99	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
75.87/75.99	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
75.87/75.99	v -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
75.87/75.99	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
75.87/75.99	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
75.87/75.99	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
75.87/75.99	v -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570
75.87/75.99	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580
75.87/75.99	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
75.87/75.99	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600
75.87/75.99	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
75.87/75.99	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
75.87/75.99	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
75.87/75.99	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
75.87/75.99	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
75.87/75.99	v -x2651 -x2652 -x2653 -x2654 x2655 -x2656 x2657 -x2658 x2659 -x2660
75.87/75.99	v -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
75.87/75.99	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
75.87/75.99	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
75.87/75.99	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
75.87/75.99	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
75.87/75.99	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
75.87/75.99	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
75.87/75.99	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
75.87/75.99	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
75.87/75.99	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
75.87/75.99	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
75.87/75.99	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
75.87/75.99	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790
75.87/75.99	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
75.87/75.99	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
75.87/75.99	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
75.87/75.99	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
75.87/75.99	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
75.87/75.99	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
75.87/75.99	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
75.87/75.99	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
75.87/75.99	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
75.87/75.99	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
75.87/75.99	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
75.87/75.99	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
75.87/75.99	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
75.87/75.99	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
75.87/75.99	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
75.87/75.99	v x2941 x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
75.87/75.99	v -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
75.87/75.99	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
75.87/75.99	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
75.87/75.99	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
75.87/75.99	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
75.87/75.99	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010
75.87/75.99	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
75.87/75.99	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
75.87/75.99	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
75.87/75.99	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
75.87/75.99	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
75.87/75.99	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
75.87/75.99	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
75.87/75.99	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
75.87/75.99	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
75.87/75.99	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
75.87/75.99	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
75.87/75.99	v -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130
75.87/75.99	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
75.87/75.99	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
75.87/75.99	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
75.87/75.99	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
75.87/75.99	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
75.87/75.99	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
75.87/75.99	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
75.87/75.99	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
75.87/75.99	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
75.87/75.99	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
75.87/75.99	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
75.87/75.99	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
75.87/75.99	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
75.87/75.99	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
75.87/75.99	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280
75.87/75.99	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
75.87/75.99	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
75.87/75.99	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
75.87/75.99	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
75.87/75.99	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
75.87/75.99	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
75.87/75.99	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
75.87/75.99	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
75.87/75.99	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
75.87/75.99	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
75.87/75.99	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
75.87/75.99	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
75.87/75.99	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
75.87/75.99	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
75.87/75.99	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
75.87/75.99	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
75.87/75.99	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
75.87/75.99	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
75.87/75.99	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
75.87/75.99	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
75.87/75.99	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
75.87/75.99	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
75.87/75.99	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
75.87/75.99	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
75.87/75.99	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
75.87/75.99	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
75.87/75.99	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
75.87/75.99	v -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
75.87/75.99	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
75.87/75.99	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
75.87/75.99	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
75.87/75.99	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
75.87/75.99	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
75.87/75.99	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
75.87/75.99	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
75.87/75.99	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
75.87/75.99	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
75.87/75.99	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
75.87/75.99	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
75.87/75.99	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
75.87/75.99	v -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690
75.87/75.99	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
75.87/75.99	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
75.87/75.99	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
75.87/75.99	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
75.87/75.99	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
75.87/75.99	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
75.87/75.99	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
75.87/75.99	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
75.87/75.99	v -x3771 -x3772 x3773 x3774 x3775 x3776 x3777 x3778 x3779 -x3780
75.87/75.99	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
75.87/75.99	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
75.87/75.99	v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 -x3810
75.87/75.99	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
75.87/75.99	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
75.87/75.99	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
75.87/75.99	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
75.87/75.99	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
75.87/75.99	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
75.87/75.99	v -x3871 x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
75.87/75.99	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890
75.87/75.99	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
75.87/75.99	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
75.87/75.99	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
75.87/75.99	v -x3921 -x3922 -x3923 -x3924 x3925 -x3926 x3927 -x3928 -x3929 -x3930
75.87/75.99	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
75.87/75.99	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
75.87/75.99	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
75.87/75.99	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
75.87/75.99	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
75.87/75.99	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
75.87/75.99	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
75.87/75.99	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
75.87/75.99	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
75.87/75.99	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
75.87/75.99	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
75.87/75.99	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
75.87/75.99	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
75.87/75.99	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
75.87/75.99	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
75.87/75.99	v -x4081 -x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090
75.87/75.99	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 -x4100
75.87/75.99	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110
75.87/75.99	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
75.87/75.99	v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130
75.87/75.99	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
75.87/75.99	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
75.87/75.99	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
75.87/75.99	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
75.87/75.99	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
75.87/75.99	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
75.87/75.99	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
75.87/75.99	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
75.87/75.99	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
75.87/75.99	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
75.87/75.99	v -x4231 x4232 x4233 x4234 -x4235 x4236 x4237 x4238 x4239 -x4240
75.87/75.99	v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250
75.87/75.99	v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
75.87/75.99	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
75.87/75.99	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280
75.87/75.99	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
75.87/75.99	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
75.87/75.99	v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310
75.87/75.99	v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
75.87/75.99	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330
75.87/75.99	v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340
75.87/75.99	v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350
75.87/75.99	v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360
75.87/75.99	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
75.87/75.99	v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
75.87/75.99	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390
75.87/75.99	v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400
75.87/75.99	v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410
75.87/75.99	v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420
75.87/75.99	v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430
75.87/75.99	v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
75.87/75.99	v -x4441 -x4442 x4443 x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450
75.87/75.99	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460
75.87/75.99	v -x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470
75.87/75.99	v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
75.87/75.99	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
75.87/75.99	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 x4498 x4499 x4500
75.87/75.99	c total CPU time = 75.997s
75.87/75.99	c total wall clock time = 75.995s

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.09 2.03 3/179 8791
/proc/meminfo: memFree=30489552/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 2658 0 0 0 0 0 0 0 20 0 4 0 103927193 730263552 3019 33554432000 4194304 16246674 140737113807888 140737113807312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 179055 3028 441 2943 0 175949 0
[pid=8791/tid=8792] ppid=8788 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 750186496 3093 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 754380800 3110 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103927194 758575104 3127 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100188 s]
/proc/loadavg: 2.04 2.09 2.03 3/179 8791
/proc/meminfo: memFree=30489552/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 27148 0 0 0 6 3 0 0 20 0 4 0 103927193 1250496512 27446 33554432000 4194304 16246674 140737113807888 140737113807200 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 305297 27446 802 2943 0 302191 0
[pid=8791/tid=8792] ppid=8788 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1250496512 27446 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1250496512 27446 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1250496512 27446 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200576 s]
/proc/loadavg: 2.04 2.09 2.03 3/179 8791
/proc/meminfo: memFree=30489552/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1308228 CPUtime=0.19 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 50853 0 0 0 13 6 0 0 20 0 4 0 103927193 1339625472 51662 33554432000 4194304 16246674 140737113807888 140737113807200 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 327057 51666 802 2943 0 323951 0
[pid=8791/tid=8792] ppid=8788 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1339625472 51668 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1339625472 51671 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1339625472 51673 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1308228

[startup+0.300492 s]
/proc/loadavg: 2.04 2.09 2.03 3/179 8791
/proc/meminfo: memFree=30489552/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1315396 CPUtime=0.29 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 64323 0 0 0 21 8 0 0 20 0 4 0 103927193 1346965504 65132 33554432000 4194304 16246674 140737113807888 140737113807200 4223718 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 328849 65136 802 2943 0 325743 0
[pid=8791/tid=8792] ppid=8788 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1346965504 65138 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1346965504 65141 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1346965504 65143 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1315396

[startup+0.70042 s]
/proc/loadavg: 2.04 2.09 2.03 3/179 8791
/proc/meminfo: memFree=30489552/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 73958 0 0 0 60 9 0 0 20 0 4 0 103927193 1346965504 74767 33554432000 4194304 16246674 140737113807888 140737113807200 4220552 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 328849 74767 802 2943 0 325743 0
[pid=8791/tid=8792] ppid=8788 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1346965504 74767 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1346965504 74767 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1346965504 74767 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.11 2.11 2.04 3/183 8795
/proc/meminfo: memFree=30141212/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 111801 0 0 0 134 15 0 0 20 0 4 0 103927193 1359548416 114654 33554432000 4194304 16246674 140737113807888 140737113790880 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 331921 114654 803 2943 0 328815 0
[pid=8791/tid=8792] ppid=8788 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1359548416 114654 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1359548416 114654 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1359548416 114654 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1327684

[startup+3.10043 s]
/proc/loadavg: 2.11 2.11 2.04 3/182 8795
/proc/meminfo: memFree=30025616/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1352260 CPUtime=3.09 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 167109 0 0 0 286 23 0 0 20 0 4 0 103927193 1384714240 174561 33554432000 4194304 16246674 140737113807888 140737113805760 8058845 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 338065 174561 803 2943 0 334959 0
[pid=8791/tid=8792] ppid=8788 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1384714240 174561 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1384714240 174561 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1384714240 174561 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1352260

[startup+6.30043 s]
/proc/loadavg: 2.11 2.11 2.04 3/182 8795
/proc/meminfo: memFree=29477488/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1401412 CPUtime=6.29 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 263811 0 0 0 591 38 0 0 20 0 4 0 103927193 1435045888 281483 33554432000 4194304 16246674 140737113807888 140737113790880 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 350353 281483 803 2943 0 347247 0
[pid=8791/tid=8792] ppid=8788 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1435045888 281483 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1435045888 281483 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1435045888 281483 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1401412

[startup+12.7004 s]
/proc/loadavg: 2.10 2.10 2.04 3/183 8796
/proc/meminfo: memFree=28890632/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=1873476 CPUtime=12.69 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 362944 0 0 0 1215 54 0 0 20 0 4 0 103927193 1918439424 401056 33554432000 4194304 16246674 140737113807888 140737113805696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 468369 401056 803 2943 0 465263 0
[pid=8791/tid=8792] ppid=8788 vsize=1873476 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 1918439424 401056 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=1873476 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 1918439424 401056 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=1873476 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 1918439424 401056 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1873476

[startup+25.5073 s]
/proc/loadavg: 2.08 2.10 2.04 3/183 8796
/proc/meminfo: memFree=27447976/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=3283524 CPUtime=25.49 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 715506 0 0 0 2331 218 0 0 20 0 4 0 103927193 3362328576 760261 33554432000 4194304 16246674 140737113807888 140737113807064 12481117 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 820881 760261 838 2943 0 817775 0
[pid=8791/tid=8792] ppid=8788 vsize=3283524 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 3362328576 760261 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=3283524 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 3362328576 760261 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=3283524 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 3362328576 760261 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3283524

[startup+51.1004 s]
/proc/loadavg: 2.05 2.09 2.03 3/183 8796
/proc/meminfo: memFree=25997892/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=4722244 CPUtime=51.08 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1075192 0 0 0 4665 443 0 0 20 0 4 0 103927193 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140737113806984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1180561 1121991 839 2943 0 1177455 0
[pid=8791/tid=8792] ppid=8788 vsize=4722244 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=4722244 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=4722244 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4722244

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

[startup+51.3004 s]
/proc/loadavg: 2.05 2.09 2.03 3/183 8796
/proc/meminfo: memFree=25997892/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=4722244 CPUtime=51.28 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1075192 0 0 0 4681 447 0 0 20 0 4 0 103927193 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140737113806984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1180561 1121991 839 2943 0 1177455 0
[pid=8791/tid=8792] ppid=8788 vsize=4722244 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=4722244 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=4722244 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 4835577856 1121991 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.28
Current children cumulated vsize (KiB) 4722244

[startup+64.1004 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 8797
/proc/meminfo: memFree=25295256/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=5486148 CPUtime=64.08 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1266135 0 0 0 5918 490 0 0 20 0 4 0 103927193 5617815552 1312934 33554432000 4194304 16246674 140737113807888 140737113806552 4221418 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1371537 1312937 839 2943 0 1368431 0
[pid=8791/tid=8792] ppid=8788 vsize=5486148 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 5617815552 1312939 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=5486148 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 5617815552 1312941 33554432000 4194304 16246674 140737113807888 140199847762960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=5486148 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 5617815552 1312944 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 64.08
Current children cumulated vsize (KiB) 5486148

[startup+70.5004 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 8797
/proc/meminfo: memFree=24761452/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=5956164 CPUtime=70.49 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1383709 0 0 0 6540 509 0 0 20 0 4 0 103927193 6099111936 1430508 33554432000 4194304 16246674 140737113807888 140737113806984 5531308 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1489041 1430508 868 2943 0 1485935 0
[pid=8791/tid=8792] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430508 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430508 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430508 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 70.49
Current children cumulated vsize (KiB) 5956164

[startup+73.7004 s]
/proc/loadavg: 2.03 2.08 2.03 3/183 8797
/proc/meminfo: memFree=24761452/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=5956164 CPUtime=73.68 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1383724 0 0 0 6858 510 0 0 20 0 4 0 103927193 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140737113807064 5991508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1489041 1430523 883 2943 0 1485935 0
[pid=8791/tid=8792] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 73.68
Current children cumulated vsize (KiB) 5956164

[startup+75.3004 s]
/proc/loadavg: 2.03 2.08 2.03 3/183 8797
/proc/meminfo: memFree=24761436/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=5956164 CPUtime=75.28 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1383724 0 0 0 7017 511 0 0 20 0 4 0 103927193 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140737113806984 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1489041 1430523 883 2943 0 1485935 0
[pid=8791/tid=8792] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140199858253040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140199847763184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1430523 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 75.28
Current children cumulated vsize (KiB) 5956164

[startup+76.1077 s]
/proc/loadavg: 2.03 2.08 2.03 3/183 8797
/proc/meminfo: memFree=24761436/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=5956164 CPUtime=76.08 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202496 1383729 0 0 0 7090 518 0 0 20 0 4 0 103927193 6099111936 1117696 33554432000 4194304 16246674 140737113807888 140737113807064 15002759 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 1489041 1117696 887 2943 0 1485935 0
[pid=8791/tid=8792] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8792/stat : 8792 (toysat) S 8788 8791 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1117184 33554432000 4194304 16246674 140737113807888 140199858252816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8793] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8793/stat : 8793 (toysat) S 8788 8791 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1117184 33554432000 4194304 16246674 140737113807888 140199847762960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8791/tid=8794] ppid=8788 vsize=5956164 CPUtime=0 cores=0,2,4,6
/proc/8791/task/8794/stat : 8794 (toysat) S 8788 8791 8429 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103927194 6099111936 1117184 33554432000 4194304 16246674 140737113807888 140199837289648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.08
Current children cumulated vsize (KiB) 5956164

[startup+76.3004 s]
/proc/loadavg: 2.03 2.08 2.03 3/183 8797
/proc/meminfo: memFree=24761436/32872528 swapFree=11196/354588
[pid=8791] ppid=8788 vsize=0 CPUtime=76.28 cores=0,2,4,6
/proc/8791/stat : 8791 (toysat) R 8788 8791 8429 0 -1 4202500 1383731 0 0 0 7090 538 0 0 20 0 1 0 103927193 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8791/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 76.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 76.3391
CPU time (s): 76.3264
CPU user time (s): 70.9062
CPU system time (s): 5.42018
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 5956164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.9062
system time used= 5.42018
maximum resident set size= 5722112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1383731
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= 35
involuntary context switches= 77

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.19297 second user time and 0.32395 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 15:32:17
IDJOB=4078636
IDBENCH=1382
IDSOLVER=2542
FILE ID=node126/4078636-1465219935
RUNJOBID= node126-1465218023-8445
PBS_JOBID= 19843210
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078636-1465219935/watcher-4078636-1465219935 -o /tmp/evaluation-result-4078636-1465219935/solver-4078636-1465219935 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8445 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078636-1465219935.opb

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

MD5SUM BENCH= 79ed7fb7a57e7e2ac59cfc8508d281c9
RANDOM SEED=1407178053

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30489816 kB
Buffers:            6780 kB
Cached:           211544 kB
SwapCached:         1924 kB
Active:          1287748 kB
Inactive:          36464 kB
Active(anon):    1106136 kB
Inactive(anon):     2036 kB
Active(file):     181612 kB
Inactive(file):    34428 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098520 kB
Dirty:            104996 kB
Writeback:             0 kB
AnonPages:       1459836 kB
Mapped:            10188 kB
Shmem:                 0 kB
Slab:             572280 kB
SReclaimable:      16216 kB
SUnreclaim:       556064 kB
KernelStack:        1456 kB
PageTables:         6940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1602064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    483328 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= 71604 MiB
End job on node126 at 2016-06-06 15:33:34