Trace number 4078887

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 61.1657 61.1805

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-07T10:22:45+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-4078887-1465287765.opb"]
0.00/0.01	c use --random-gen="409745216 1588110031 1850099092 261208088 3844687699 3289784552 2271530007 2593078920 227936727 3871636360 3574099041 3218945527 3103603154 1651978294 4061241261 2765468496 3584916280 1035164845 2228054728 1833579351 180113927 3545577633 724793453 4198926290 1607435096 825664434 3253246810 1940336038 1608654332 2295659010 2579588262 746853377 111280216 3054285167 658513692 981965771 430922009 766300313 4087522744 3123740600 3413813675 3176826954 227607129 1427977493 4281542323 453652910 3938531327 2393134391 3445692874 3643792562 2849468949 183016152 946106958 893395577 3016526630 1394169868 2293620889 1910872495 881023501 40510317 3654246713 2083375015 1950245231 1260258824 1424360326 1471383061 1482023953 2957241153 179964041 2110178640 870482520 729378983 1872616331 3179985841 2646344340 2489275749 1064878649 1694064587 2693070764 680934335 2034252265 2894933824 685744066 1285466595 89657982 2863501750 3086719567 490310117 2239466516 701646443 3984614151 3375511570 916281951 647991946 2165360317 1176871329 2238191582 3809128115 3702434434 1843123809 3810286004 616753607 2922748540 1117763761 1915202858 4097817961 655231620 1952927202 1674854827 3874425531 4150429781 2768535582 2622815129 54246902 2463933765 49334435 1311167745 3767011496 1826355802 1058118585 1564089546 4250298107 1088333893 2423803258 2095543466 3586149463 90598160 4272509213 624494732 4110519728 1020544542 1386427433 1524050246 2803001083 3795108504 413052518 3349041655 1617544642 2738911389 1690900045 3334863565 1279656111 3757537774 324579009 2954162871 2787419517 1247788934 3619354119 2879584438 1480851715 3537995698 4179340446 2127241526 7958012 2042674338 3151822950 935761504 4226162136 1352133527 2153215959 1694881479 2629745111 2108928804 4181127980 1686371106 2629382133 1424335018 1355120057 1613542942 3224849768 4140481346 3896851568 2368771790 1166368937 1722675552 4096665743 316201190 3552670053 2638173122 2035705450 3896880984 61477065 80443892 2692306109 1705443650 3248807658 1117077896 3814498859 169053485 3693067068 217374510 4229416259 168009474 2686415526 3128154471 1101114926 3430448514 3448967146 1567603917 816771519 532858897 437054868 988142999 2301929462 1917110283 4193837656 2513578580 1363050893 3587336254 2040832759 3459781360 1308070118 1677186830 3643370022 2228177637 2273977913 3053264032 3834246833 2056858346 1614468992 2928128328 35115273 4138691237 15756989 1636094955 1731461530 3452945213 1680112888 921952735 637552570 3555671748 2677388594 1964239035 1584519569 2431007454 1836817457 552034184 213229694 2205358506 3781756439 3388090294 2627710978 4033680391 1987499487 368572568 2780248691 3800208727 2704935474 2935578367 766602030 814742928 1991780498 80870090 1356249733 1712740558 2877425750 255 362436" option to reproduce the execution
0.00/0.07	c #vars 4235
0.00/0.07	c #constraints 4391
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     2874      0 |      455 |        0
0.18/0.29	c  0.1s |       1 |     1021 |      100 |     2874      0 |      456 |      411
0.39/0.43	c  0.3s |       2 |     3959 |      250 |     3162      0 |      457 |      412
0.59/0.64	c  0.5s |       3 |     6284 |      475 |     3479      0 |      457 |      412
0.99/1.04	c  0.9s |       4 |     9331 |      813 |     3827      0 |      459 |      414
1.39/1.47	c  1.3s |       5 |    14603 |     1320 |     4210      0 |      462 |      417
1.89/1.95	c  1.8s |       6 |    21395 |     2081 |     5095      0 |      462 |      417
2.89/2.93	c  2.8s |       7 |    32818 |     3223 |     5605      0 |      464 |      419
4.78/4.81	c  4.7s |       8 |    46372 |     4936 |     6166      0 |      471 |      426
6.88/6.95	c  6.8s |       8 |    70646 |     6936 |     6166      1 |      481 |      436
7.38/7.47	c  7.3s |       9 |    78598 |     7506 |     6783      1 |      481 |      436
9.48/9.56	c  9.4s |       9 |    98067 |     9606 |     6783      1 |      486 |      441
11.18/11.24	c 11.1s |      10 |   115224 |    11361 |     7462      2 |      487 |      442
13.19/13.29	c 13.1s |      10 |   133798 |    13061 |     7462      2 |      492 |      447
15.39/15.42	c 15.3s |      10 |   142900 |    14861 |     7462      2 |      492 |      447
17.39/17.47	c 17.3s |      10 |   149192 |    16361 |     7462      2 |      492 |      447
18.69/18.79	c 18.6s |      11 |   153568 |    17144 |     8209      3 |      493 |      448
20.79/20.80	c 20.6s |      11 |   171134 |    19044 |     8209      3 |      495 |      450
22.79/22.81	c 22.6s |      11 |   191499 |    20944 |     8209      3 |      496 |      451
24.89/24.97	c 24.8s |      11 |   203276 |    22644 |     8209      4 |      496 |      451
26.99/27.01	c 26.9s |      11 |   214041 |    24244 |     8209      4 |      496 |      451
29.09/29.11	c 29.0s |      11 |   226133 |    25744 |     9030      4 |      496 |      451
29.09/29.19	c 29.0s |      12 |   226588 |    25819 |     9030      4 |      496 |      451
31.19/31.27	c 31.1s |      12 |   244718 |    27519 |     9030      5 |      497 |      452
33.19/33.29	c 33.1s |      12 |   258989 |    29619 |     9030      5 |      497 |      452
35.38/35.42	c 35.3s |      12 |   266368 |    31019 |     9030      5 |      497 |      452
37.49/37.51	c 37.4s |      12 |   269330 |    31919 |     9030      5 |      497 |      452
39.59/39.63	c 39.5s |      12 |   272047 |    32719 |     9030      6 |      497 |      452
41.68/41.71	c 41.5s |      12 |   279056 |    33919 |     9030      6 |      497 |      452
43.68/43.72	c 43.6s |      12 |   281293 |    34619 |     9030      6 |      497 |      452
45.68/45.72	c 45.6s |      12 |   284383 |    35419 |     9030      6 |      497 |      452
47.68/47.76	c 47.6s |      12 |   287611 |    36419 |     9030      6 |      497 |      452
49.68/49.78	c 49.6s |      12 |   290583 |    37219 |     9030      6 |      497 |      452
52.18/52.28	c 52.1s |      12 |   292046 |    37819 |     9030      6 |      497 |      452
54.58/54.62	c 54.5s |      12 |   292724 |    38119 |     9030      6 |      497 |      452
56.97/57.03	c 56.9s |      12 |   294860 |    38619 |     9933      7 |      497 |      452
58.07/58.15	c 58.0s |      13 |   295350 |    38832 |     9933      7 |      497 |      452
60.07/60.16	c 60.0s |      13 |   309675 |    40432 |     9933      7 |      500 |      455
61.07/61.11	c 61.0s |      13 |   312572 |    41087 |     9933      7 |      500 |      455
61.07/61.11	c #cpu_time = 60.792s
61.07/61.11	c #wall_clock_time = 60.952s
61.07/61.11	c #decision = 312572
61.07/61.11	c #random_decision = 695
61.07/61.11	c #conflict = 41087
61.07/61.11	c #restart = 13
61.07/61.11	s SATISFIABLE
61.07/61.12	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
61.07/61.12	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
61.07/61.12	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
61.07/61.12	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
61.07/61.12	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
61.07/61.12	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
61.07/61.12	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
61.07/61.12	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
61.07/61.12	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
61.07/61.12	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
61.07/61.12	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
61.07/61.12	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
61.07/61.12	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
61.07/61.12	v -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140
61.07/61.12	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
61.07/61.12	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
61.07/61.12	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
61.07/61.12	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
61.07/61.12	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
61.07/61.12	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
61.07/61.12	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
61.07/61.12	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
61.07/61.12	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
61.07/61.12	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
61.07/61.12	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
61.07/61.12	v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
61.07/61.12	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
61.07/61.12	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
61.07/61.12	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
61.07/61.12	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
61.07/61.12	v -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310
61.07/61.12	v x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
61.07/61.12	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
61.07/61.12	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
61.07/61.12	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
61.07/61.12	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
61.07/61.12	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
61.07/61.12	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
61.07/61.12	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
61.07/61.12	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
61.07/61.12	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410
61.07/61.12	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
61.07/61.12	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
61.07/61.12	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
61.07/61.12	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
61.07/61.12	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
61.07/61.12	v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470
61.07/61.12	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
61.07/61.12	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
61.07/61.12	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
61.07/61.12	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
61.07/61.12	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
61.07/61.12	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
61.07/61.12	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
61.07/61.12	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
61.07/61.12	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
61.07/61.12	v -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
61.07/61.12	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
61.07/61.12	v -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590
61.07/61.12	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
61.07/61.12	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
61.07/61.12	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
61.07/61.12	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
61.07/61.12	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
61.07/61.12	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
61.07/61.12	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
61.07/61.12	v -x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 x670
61.07/61.12	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
61.07/61.12	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
61.07/61.12	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
61.07/61.12	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
61.07/61.12	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
61.07/61.12	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
61.07/61.12	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
61.07/61.12	v -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750
61.07/61.12	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
61.07/61.12	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
61.07/61.12	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
61.07/61.12	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
61.07/61.12	v -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800
61.07/61.12	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
61.07/61.12	v -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 x819 -x820
61.07/61.12	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
61.07/61.12	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
61.07/61.12	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
61.07/61.12	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
61.07/61.12	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
61.07/61.12	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
61.07/61.12	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
61.07/61.12	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900
61.07/61.12	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
61.07/61.12	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
61.07/61.12	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
61.07/61.12	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
61.07/61.12	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
61.07/61.12	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
61.07/61.12	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
61.07/61.12	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980
61.07/61.12	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
61.07/61.12	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
61.07/61.12	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
61.07/61.12	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
61.07/61.12	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
61.07/61.12	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
61.07/61.12	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
61.07/61.12	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060
61.07/61.12	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
61.07/61.12	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
61.07/61.12	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
61.07/61.12	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
61.07/61.12	v -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
61.07/61.12	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
61.07/61.12	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
61.07/61.12	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
61.07/61.12	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
61.07/61.12	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
61.07/61.12	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
61.07/61.12	v -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180
61.07/61.12	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
61.07/61.12	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
61.07/61.12	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
61.07/61.12	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
61.07/61.12	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230
61.07/61.12	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
61.07/61.12	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
61.07/61.12	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
61.07/61.12	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
61.07/61.12	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280
61.07/61.12	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
61.07/61.12	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
61.07/61.12	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
61.07/61.12	v -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
61.07/61.12	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
61.07/61.12	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
61.07/61.12	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
61.07/61.12	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
61.07/61.12	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
61.07/61.12	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
61.07/61.12	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
61.07/61.12	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400
61.07/61.12	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
61.07/61.12	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
61.07/61.12	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
61.07/61.12	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
61.07/61.12	v -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450
61.07/61.12	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
61.07/61.12	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
61.07/61.12	v -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
61.07/61.12	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
61.07/61.12	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
61.07/61.12	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
61.07/61.12	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
61.07/61.12	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
61.07/61.12	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
61.07/61.12	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550
61.07/61.12	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
61.07/61.12	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
61.07/61.12	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
61.07/61.12	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
61.07/61.12	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
61.07/61.12	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
61.07/61.12	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
61.07/61.12	v -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630
61.07/61.12	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
61.07/61.12	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
61.07/61.12	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
61.07/61.12	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
61.07/61.12	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
61.07/61.12	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
61.07/61.12	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
61.07/61.12	v x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
61.07/61.12	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
61.07/61.12	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
61.07/61.12	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
61.07/61.12	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
61.07/61.12	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
61.07/61.12	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
61.07/61.12	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
61.07/61.12	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
61.07/61.12	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
61.07/61.12	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
61.07/61.12	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
61.07/61.12	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
61.07/61.12	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840
61.07/61.12	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
61.07/61.12	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
61.07/61.12	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
61.07/61.12	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
61.07/61.12	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
61.07/61.12	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
61.07/61.12	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
61.07/61.12	v -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920
61.07/61.12	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
61.07/61.12	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
61.07/61.12	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
61.07/61.12	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
61.07/61.12	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
61.07/61.12	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
61.07/61.12	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
61.07/61.12	v -x1991 -x1992 x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000
61.07/61.12	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
61.07/61.12	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
61.07/61.12	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
61.07/61.12	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
61.07/61.12	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
61.07/61.12	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
61.07/61.12	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
61.07/61.12	v x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
61.07/61.12	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
61.07/61.12	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
61.07/61.12	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
61.07/61.12	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
61.07/61.12	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
61.07/61.12	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
61.07/61.12	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
61.07/61.12	v x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
61.07/61.12	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
61.07/61.12	v -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180
61.07/61.12	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
61.07/61.12	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
61.07/61.12	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
61.07/61.12	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
61.07/61.12	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230
61.07/61.12	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
61.07/61.12	v -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250
61.07/61.12	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
61.07/61.12	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
61.07/61.12	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
61.07/61.12	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
61.07/61.12	v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
61.07/61.12	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
61.07/61.12	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
61.07/61.12	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
61.07/61.12	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
61.07/61.12	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
61.07/61.12	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
61.07/61.12	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
61.07/61.12	v -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380
61.07/61.12	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
61.07/61.12	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
61.07/61.12	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
61.07/61.12	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
61.07/61.12	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
61.07/61.12	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
61.07/61.12	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
61.07/61.12	v x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
61.07/61.12	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
61.07/61.12	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
61.07/61.12	v x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
61.07/61.12	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
61.07/61.12	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
61.07/61.12	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
61.07/61.12	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
61.07/61.12	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
61.07/61.12	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
61.07/61.12	v -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560
61.07/61.12	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
61.07/61.12	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
61.07/61.12	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
61.07/61.12	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
61.07/61.12	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
61.07/61.12	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
61.07/61.12	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
61.07/61.12	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
61.07/61.12	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
61.07/61.12	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
61.07/61.12	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
61.07/61.12	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680
61.07/61.12	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
61.07/61.12	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
61.07/61.12	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
61.07/61.12	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
61.07/61.12	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
61.07/61.12	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
61.07/61.12	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
61.07/61.12	v -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
61.07/61.12	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
61.07/61.12	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
61.07/61.12	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
61.07/61.12	v -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
61.07/61.12	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
61.07/61.12	v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
61.07/61.12	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
61.07/61.12	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
61.07/61.12	v -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850
61.07/61.12	v -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860
61.07/61.12	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
61.07/61.12	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
61.07/61.12	v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
61.07/61.12	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
61.07/61.12	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
61.07/61.12	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
61.07/61.12	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
61.07/61.12	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940
61.07/61.12	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
61.07/61.12	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
61.07/61.12	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
61.07/61.12	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
61.07/61.12	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 x2989 -x2990
61.07/61.12	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
61.07/61.12	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
61.07/61.12	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 x3019 -x3020
61.07/61.12	v x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
61.07/61.12	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
61.07/61.12	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
61.07/61.12	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
61.07/61.12	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
61.07/61.12	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
61.07/61.12	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
61.07/61.12	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100
61.07/61.12	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
61.07/61.12	v x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120
61.07/61.12	v -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
61.07/61.12	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
61.07/61.12	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
61.07/61.12	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
61.07/61.12	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
61.07/61.12	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180
61.07/61.12	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
61.07/61.12	v -x3191 -x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
61.07/61.12	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
61.07/61.12	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
61.07/61.12	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
61.07/61.12	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
61.07/61.12	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
61.07/61.12	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
61.07/61.12	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
61.07/61.12	v x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
61.07/61.12	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
61.07/61.12	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
61.07/61.12	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
61.07/61.12	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
61.07/61.12	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
61.07/61.12	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
61.07/61.12	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350
61.07/61.12	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
61.07/61.12	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
61.07/61.12	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
61.07/61.12	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
61.07/61.12	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
61.07/61.12	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
61.07/61.12	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
61.07/61.12	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x3430
61.07/61.12	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
61.07/61.12	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
61.07/61.12	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
61.07/61.12	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
61.07/61.12	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
61.07/61.12	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
61.07/61.12	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
61.07/61.12	v -x3501 -x3502 -x3503 -x3504 x3505 -x3506 -x3507 -x3508 -x3509 -x3510
61.07/61.12	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
61.07/61.12	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
61.07/61.12	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
61.07/61.12	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
61.07/61.12	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
61.07/61.12	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
61.07/61.12	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
61.07/61.12	v -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
61.07/61.12	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
61.07/61.12	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
61.07/61.12	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
61.07/61.12	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
61.07/61.12	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
61.07/61.12	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650
61.07/61.12	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
61.07/61.12	v x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
61.07/61.12	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
61.07/61.12	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
61.07/61.12	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
61.07/61.12	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
61.07/61.12	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
61.07/61.12	v -x3721 -x3722 -x3723 -x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730
61.07/61.12	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
61.07/61.12	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
61.07/61.12	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
61.07/61.12	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
61.07/61.12	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
61.07/61.12	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
61.07/61.12	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
61.07/61.12	v -x3801 -x3802 -x3803 -x3804 x3805 -x3806 x3807 -x3808 -x3809 -x3810
61.07/61.12	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
61.07/61.12	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
61.07/61.12	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
61.07/61.12	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
61.07/61.12	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
61.07/61.12	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
61.07/61.12	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880
61.07/61.12	v -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
61.07/61.12	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
61.07/61.12	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
61.07/61.12	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
61.07/61.12	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
61.07/61.12	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
61.07/61.12	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
61.07/61.12	v -x3951 -x3952 -x3953 x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
61.07/61.12	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
61.07/61.12	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
61.07/61.12	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
61.07/61.12	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
61.07/61.12	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
61.07/61.12	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
61.07/61.12	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
61.07/61.12	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
61.07/61.12	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050
61.07/61.12	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
61.07/61.12	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
61.07/61.12	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
61.07/61.12	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
61.07/61.12	v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
61.07/61.12	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110
61.07/61.12	v x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
61.07/61.12	v -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130
61.07/61.12	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
61.07/61.12	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
61.07/61.12	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
61.07/61.12	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
61.07/61.12	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
61.07/61.12	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
61.07/61.12	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
61.07/61.12	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
61.07/61.12	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
61.07/61.12	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
61.07/61.12	v -x4231 -x4232 -x4233 -x4234 x4235
61.07/61.12	c total CPU time = 60.961s
61.07/61.12	c total wall clock time = 61.121s

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

pid=4225
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.02 2.05 2.06 3/179 4228
/proc/meminfo: memFree=30061528/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 2825 0 0 0 0 0 0 0 20 0 4 0 110709062 773255168 2675 33554432000 4194304 16246674 140734753103584 140734753103008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 189551 2683 441 2943 0 186445 0
[pid=4228/tid=4229] ppid=4225 vsize=772540 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 791080960 2743 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 796323840 2762 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110709062 800518144 2778 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4228
/proc/meminfo: memFree=30061528/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 24157 0 0 0 6 3 0 0 20 0 4 0 110709062 1249447936 23945 33554432000 4194304 16246674 140734753103584 140734753086576 6969814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 305041 23952 832 2943 0 301935 0
[pid=4228/tid=4229] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 23957 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 23963 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 23968 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1220164

[startup+0.200505 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4228
/proc/meminfo: memFree=30061528/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1220164 CPUtime=0.18 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 44513 0 0 0 13 5 0 0 20 0 4 0 110709062 1249447936 44301 33554432000 4194304 16246674 140734753103584 140734753086576 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 305041 44309 875 2943 0 301935 0
[pid=4228/tid=4229] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 44318 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 44326 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 44335 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1220164

[startup+0.300476 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4228
/proc/meminfo: memFree=30061528/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 66967 0 0 0 20 9 0 0 20 0 4 0 110709062 1249447936 66755 33554432000 4194304 16246674 140734753103584 140734753086576 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 305041 66765 875 2943 0 301935 0
[pid=4228/tid=4229] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 66771 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 66777 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 66781 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1220164

[startup+0.700416 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 4228
/proc/meminfo: memFree=30061528/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 149799 0 0 0 48 21 0 0 20 0 4 0 110709062 1249447936 149587 33554432000 4194304 16246674 140734753103584 140734753086576 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 305041 149594 875 2943 0 301935 0
[pid=4228/tid=4229] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 149598 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 149605 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110709062 1249447936 149614 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4232
/proc/meminfo: memFree=29058964/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1300036 CPUtime=1.49 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 266041 0 0 0 112 37 0 0 20 0 4 0 110709062 1331236864 265829 33554432000 4194304 16246674 140734753103584 140734753102896 5823206 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 325009 265829 878 2943 0 321903 0
[pid=4228/tid=4229] ppid=4225 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1331236864 265829 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1331236864 265829 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1331236864 265829 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1300036

[startup+3.10041 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4232
/proc/meminfo: memFree=28991632/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 267985 0 0 0 272 37 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140734753085504 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 326801 267773 883 2943 0 323695 0
[pid=4228/tid=4229] ppid=4225 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.02 2.05 2.06 3/183 4281
/proc/meminfo: memFree=29181772/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 267985 0 0 0 591 37 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140734753085504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 326801 267773 883 2943 0 323695 0
[pid=4228/tid=4229] ppid=4225 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1338576896 267773 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.02 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29012396/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268242 0 0 0 1231 37 0 0 20 0 4 0 110709062 1339625472 268030 33554432000 4194304 16246674 140734753103584 140734753085504 12483362 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327057 268030 884 2943 0 323951 0
[pid=4228/tid=4229] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268030 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268030 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268030 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.01 2.04 2.06 4/183 4281
/proc/meminfo: memFree=29011916/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268243 0 0 0 2511 38 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140734753085504 5666924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327057 268031 885 2943 0 323951 0
[pid=4228/tid=4229] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29011888/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268248 0 0 0 5070 38 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140734753085504 5722816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327057 268031 885 2943 0 323951 0
[pid=4228/tid=4229] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242681056432 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) 1308228

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

[startup+51.2005 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29011888/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1308228 CPUtime=51.18 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268248 0 0 0 5080 38 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140734753085504 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327057 268031 885 2943 0 323951 0
[pid=4228/tid=4229] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1339625472 268031 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1308228

[startup+57.6004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29010012/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1310276 CPUtime=57.57 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268644 0 0 0 5719 38 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140734753085504 12477760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327569 268425 885 2943 0 324463 0
[pid=4228/tid=4229] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 57.57
Current children cumulated vsize (KiB) 1310276

[startup+59.2004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29010012/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1310276 CPUtime=59.17 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268644 0 0 0 5879 38 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140734753085504 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327569 268425 885 2943 0 324463 0
[pid=4228/tid=4229] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 59.17
Current children cumulated vsize (KiB) 1310276

[startup+60.0004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29010012/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1310276 CPUtime=59.97 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268644 0 0 0 5959 38 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140734753085504 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327569 268425 885 2943 0 324463 0
[pid=4228/tid=4229] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (KiB) 1310276

[startup+60.8004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29010012/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1310276 CPUtime=60.77 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268644 0 0 0 6039 38 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140734753085504 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327569 268425 885 2943 0 324463 0
[pid=4228/tid=4229] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 60.77
Current children cumulated vsize (KiB) 1310276

[startup+61.0004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29010012/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1310276 CPUtime=60.97 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268644 0 0 0 6059 38 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140734753085504 5674919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327569 268425 885 2943 0 324463 0
[pid=4228/tid=4229] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 60.97
Current children cumulated vsize (KiB) 1310276

[startup+61.1004 s]
/proc/loadavg: 2.01 2.04 2.06 3/183 4281
/proc/meminfo: memFree=29010012/32872528 swapFree=12328/568296
[pid=4228] ppid=4225 vsize=1310276 CPUtime=61.07 cores=0,2,4,6
/proc/4228/stat : 4228 (toysat) R 4225 4228 3396 0 -1 4202496 268644 0 0 0 6069 38 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140734753085504 6012116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4228/statm: 327569 268425 885 2943 0 324463 0
[pid=4228/tid=4229] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4229/stat : 4229 (toysat) S 4225 4228 3396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242702019824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4228/tid=4230] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4230/stat : 4230 (toysat) S 4225 4228 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242691529968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4228/tid=4231] ppid=4225 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/4228/task/4231/stat : 4231 (toysat) S 4225 4228 3396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 110709062 1341722624 268425 33554432000 4194304 16246674 140734753103584 140242681056432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 61.07
Current children cumulated vsize (KiB) 1310276

Child status: 0
Real time (s): 61.1805
CPU time (s): 61.1657
CPU user time (s): 60.7228
CPU system time (s): 0.442932
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.7228
system time used= 0.442932
maximum resident set size= 1073728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268651
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= 25
involuntary context switches= 69

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.395939 second user time and 0.542917 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 10:22:45
IDJOB=4078887
IDBENCH=90226
IDSOLVER=2542
FILE ID=node138/4078887-1465287765
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 2e0c2eafadf06efe322a3c6e27882b3c
RANDOM SEED=493033012

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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.807
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:        30061684 kB
Buffers:          111560 kB
Cached:           253576 kB
SwapCached:        46740 kB
Active:          1233588 kB
Inactive:         272968 kB
Active(anon):    1096224 kB
Inactive(anon):    47688 kB
Active(file):     137364 kB
Inactive(file):   225280 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       1762972 kB
Mapped:            11768 kB
Shmem:                 0 kB
Slab:             602664 kB
SReclaimable:      46324 kB
SUnreclaim:       556340 kB
KernelStack:        1520 kB
PageTables:         7380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1807716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1742848 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= 71716 MiB
End job on node138 at 2016-06-07 10:23:46