Trace number 4093200

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02OPTIMUM 1380.66 1380.87

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	1

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

pid=16681
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.21 2.19 2.12 4/177 16684
/proc/meminfo: memFree=30459032/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=675260 CPUtime=0 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 2510 0 0 0 0 0 0 0 20 0 4 0 13125976 691466240 2871 33554432000 4194304 16246674 140736947496000 140736947495424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 169327 2879 441 2943 0 166221 0
[pid=16684/tid=16685] ppid=16681 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 709292032 2940 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 713486336 2955 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125976 717680640 2973 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.21 2.19 2.12 4/177 16684
/proc/meminfo: memFree=30459032/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 25396 0 0 0 5 3 0 0 20 0 4 0 13125976 1332285440 25697 33554432000 4194304 16246674 140736947496000 140736947495312 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 325265 25711 801 2943 0 322159 0
[pid=16684/tid=16685] ppid=16681 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1332285440 25721 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1332285440 25732 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1332285440 25743 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.2005 s]
/proc/loadavg: 2.21 2.19 2.12 4/177 16684
/proc/meminfo: memFree=30459032/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 48108 0 0 0 12 7 0 0 20 0 4 0 13125976 1345916928 48919 33554432000 4194304 16246674 140736947496000 140736947495312 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 328593 48919 802 2943 0 325487 0
[pid=16684/tid=16685] ppid=16681 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1345916928 48919 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1345916928 48919 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1345916928 48919 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1314372

[startup+0.300477 s]
/proc/loadavg: 2.21 2.19 2.12 4/177 16684
/proc/meminfo: memFree=30459032/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 65631 0 0 0 20 9 0 0 20 0 4 0 13125976 1345916928 66442 33554432000 4194304 16246674 140736947496000 140736947495312 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 328593 66442 802 2943 0 325487 0
[pid=16684/tid=16685] ppid=16681 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1345916928 66442 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1345916928 66442 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1345916928 66442 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1314372

[startup+0.700395 s]
/proc/loadavg: 2.21 2.19 2.12 4/177 16684
/proc/meminfo: memFree=30459032/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 70011 0 0 0 59 10 0 0 20 0 4 0 13125976 1346965504 70822 33554432000 4194304 16246674 140736947496000 140736947495312 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 328849 70822 802 2943 0 325743 0
[pid=16684/tid=16685] ppid=16681 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1346965504 70822 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1346965504 70822 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1346965504 70822 33554432000 4194304 16246674 140736947496000 140115686968496 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.50041 s]
/proc/loadavg: 2.21 2.19 2.12 4/181 16688
/proc/meminfo: memFree=29820192/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1315396 CPUtime=1.48 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 98898 0 0 0 134 14 0 0 20 0 4 0 13125976 1346965504 99709 33554432000 4194304 16246674 140736947496000 140736947493824 12478053 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 328849 99709 830 2943 0 325743 0
[pid=16684/tid=16685] ppid=16681 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1346965504 99709 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1346965504 99709 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1346965504 99709 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.10029 s]
/proc/loadavg: 2.19 2.19 2.12 4/181 16688
/proc/meminfo: memFree=29692596/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 180118 0 0 0 284 25 0 0 20 0 4 0 13125976 1356402688 180929 33554432000 4194304 16246674 140736947496000 140736947477888 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 331153 180940 835 2943 0 328047 0
[pid=16684/tid=16685] ppid=16681 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1356402688 180946 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1356402688 180953 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1356402688 180960 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1324612

[startup+6.30041 s]
/proc/loadavg: 2.19 2.19 2.12 3/181 16688
/proc/meminfo: memFree=28187448/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1407556 CPUtime=6.29 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 292510 0 0 0 588 41 0 0 20 0 4 0 13125976 1441337344 293321 33554432000 4194304 16246674 140736947496000 140736947493824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 351889 293321 836 2943 0 348783 0
[pid=16684/tid=16685] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293321 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293321 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293321 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1407556

[startup+12.7004 s]
/proc/loadavg: 2.16 2.18 2.12 3/182 16691
/proc/meminfo: memFree=28148556/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1407556 CPUtime=12.69 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 292512 0 0 0 1228 41 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140736947477888 13811824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 351889 293323 838 2943 0 348783 0
[pid=16684/tid=16685] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1407556

[startup+25.5004 s]
/proc/loadavg: 2.22 2.19 2.12 3/182 16691
/proc/meminfo: memFree=28149440/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1407556 CPUtime=25.49 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 292512 0 0 0 2508 41 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140736947477888 13774216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 351889 293323 838 2943 0 348783 0
[pid=16684/tid=16685] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1407556

[startup+51.1004 s]
/proc/loadavg: 2.21 2.19 2.12 3/182 16691
/proc/meminfo: memFree=28149560/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1407556 CPUtime=51.08 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 292512 0 0 0 5067 41 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140736947477888 6132712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 351889 293323 838 2943 0 348783 0
[pid=16684/tid=16685] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115686968496 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) 1407556

[startup+102.3 s]
/proc/loadavg: 2.23 2.20 2.13 3/182 16716
/proc/meminfo: memFree=28149008/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1407556 CPUtime=102.28 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 292512 0 0 0 10187 41 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140736947477888 13807601 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 351889 293323 838 2943 0 348783 0
[pid=16684/tid=16685] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1407556 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1441337344 293323 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1407556


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

Current children cumulated vsize (KiB) 1743428

[startup+1122.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/181 16739
/proc/meminfo: memFree=27474496/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1743428 CPUtime=1122.12 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 376480 0 0 0 112159 53 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140736947477888 13774212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 435857 377291 838 2943 0 432751 0
[pid=16684/tid=16685] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1743428

[startup+1182.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/181 16740
/proc/meminfo: memFree=27474792/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1743428 CPUtime=1182.11 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 376480 0 0 0 118158 53 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140736947477888 13774084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 435857 377291 838 2943 0 432751 0
[pid=16684/tid=16685] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1743428

[startup+1242.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/182 16744
/proc/meminfo: memFree=26400608/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=1743428 CPUtime=1242.1 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 376480 0 0 0 124157 53 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140736947477888 13774200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 435857 377291 838 2943 0 432751 0
[pid=16684/tid=16685] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=1743428 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 1785270272 377291 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1743428

[startup+1302.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/181 16746
/proc/meminfo: memFree=25327636/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1302.1 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644256 0 0 0 130122 88 0 0 20 0 4 0 13125976 2882080768 645067 33554432000 4194304 16246674 140736947496000 140736947477888 13923665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645067 838 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645067 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645067 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645067 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 2814532

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/181 16747
/proc/meminfo: memFree=25328172/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1362.08 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644330 0 0 0 136118 90 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140736947477888 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645141 912 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2814532

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

[startup+1369.61 s]
/proc/loadavg: 2.15 2.17 2.17 3/181 16747
/proc/meminfo: memFree=25328280/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1369.39 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644330 0 0 0 136849 90 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140736947477888 13774432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645141 912 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1369.39
Current children cumulated vsize (KiB) 2814532

[startup+1376 s]
/proc/loadavg: 2.14 2.17 2.17 2/171 16778
/proc/meminfo: memFree=27936128/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1375.78 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644330 0 0 0 137488 90 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140736947477888 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645141 912 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1375.78
Current children cumulated vsize (KiB) 2814532

[startup+1379.2 s]
/proc/loadavg: 2.05 2.15 2.16 3/171 16778
/proc/meminfo: memFree=27936252/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1378.98 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644330 0 0 0 137808 90 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140736947477888 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645141 912 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645141 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1378.98
Current children cumulated vsize (KiB) 2814532

[startup+1380 s]
/proc/loadavg: 2.05 2.15 2.16 3/171 16778
/proc/meminfo: memFree=27936284/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1379.78 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644337 0 0 0 137888 90 0 0 20 0 4 0 13125976 2882080768 645148 33554432000 4194304 16246674 140736947496000 140736947495096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645148 919 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645148 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645148 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645148 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1379.78
Current children cumulated vsize (KiB) 2814532

[startup+1380.4 s]
/proc/loadavg: 2.05 2.15 2.16 3/171 16778
/proc/meminfo: memFree=27936284/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=2814532 CPUtime=1380.18 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202496 644352 0 0 0 137928 90 0 0 20 0 4 0 13125976 2882080768 645163 33554432000 4194304 16246674 140736947496000 140736947495096 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 703633 645163 934 2943 0 700527 0
[pid=16684/tid=16685] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16685/stat : 16685 (toysat) S 16681 16684 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645163 33554432000 4194304 16246674 140736947496000 140115707931888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16684/tid=16686] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16686/stat : 16686 (toysat) S 16681 16684 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645163 33554432000 4194304 16246674 140736947496000 140115697442032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16684/tid=16687] ppid=16681 vsize=2814532 CPUtime=0 cores=0,2,4,6
/proc/16684/task/16687/stat : 16687 (toysat) S 16681 16684 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13125976 2882080768 645163 33554432000 4194304 16246674 140736947496000 140115686968496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1380.18
Current children cumulated vsize (KiB) 2814532

[startup+1380.8 s]
/proc/loadavg: 2.05 2.15 2.16 3/171 16778
/proc/meminfo: memFree=27936284/32872528 swapFree=1315980/1463148
[pid=16684] ppid=16681 vsize=0 CPUtime=1380.58 cores=0,2,4,6
/proc/16684/stat : 16684 (toysat) R 16681 16684 14504 0 -1 4202500 644355 0 0 0 137961 97 0 0 20 0 1 0 13125976 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16684/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1380.58
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1380.87
CPU time (s): 1380.66
CPU user time (s): 1379.61
CPU system time (s): 1.04684
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 2814532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1379.61
system time used= 1.04684
maximum resident set size= 2580660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644355
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= 32
involuntary context switches= 1425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87241 second user time and 5.48916 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-16 22:59:50
IDJOB=4093200
IDBENCH=79625
IDSOLVER=2553
FILE ID=node121/4093200-1466110790
RUNJOBID= node121-1466108970-16313
PBS_JOBID= 19904064
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 3c30fee743070b218a20363b23cb3855
RANDOM SEED=435223400

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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:        30487576 kB
Buffers:           42880 kB
Cached:           163764 kB
SwapCached:         2496 kB
Active:           125084 kB
Inactive:          91592 kB
Active(anon):      10800 kB
Inactive(anon):     1756 kB
Active(file):     114284 kB
Inactive(file):    89836 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099740 kB
Dirty:             46576 kB
Writeback:             0 kB
AnonPages:       1470472 kB
Mapped:             8592 kB
Shmem:                 0 kB
Slab:             570984 kB
SReclaimable:      14244 kB
SUnreclaim:       556740 kB
KernelStack:        1384 kB
PageTables:         7092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1817532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71700 MiB
End job on node121 at 2016-06-16 23:22:51