Trace number 4099473

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 8.66768 8.67173

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
MD5SUMd54e874b22823be807136681f90fbed4
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.039993
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2400
Total number of constraints1720
Number of constraints which are clauses1640
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint40
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 41
Number of bits of the biggest sum of numbers6
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-18T01:29:02+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-4099473-1466206141.opb"]
0.00/0.01	c use --random-gen="3525898786 1055336470 100200535 2112759125 2950588727 1272028502 2003603180 3137560212 3723524160 2317726730 177300544 3812209001 2165666710 272994760 1375209587 1165385221 379128600 4146395345 287498079 3831437387 4172044911 2960361389 2284898923 2035654619 1014291498 3971839009 2181021806 3889825658 3996060093 1359007980 1817667290 1017924060 2151969064 2341790080 805960267 493761831 573894099 2112129075 2949783098 4048806313 1674945468 1692338187 514743871 459418317 523502385 241398634 2701013246 65838978 2274981521 3648802112 1200123374 1631315795 2644646037 2765343225 359465171 390753118 916056045 1609303176 1017829240 2332235765 1843145939 1350095485 877543542 1787164493 1056652391 286269829 1830621980 426696279 2138558401 2656169183 1673581128 2158087393 3041431363 1067619478 3152612691 3592605705 1297149850 4119038844 891052117 755389859 3707242437 1707610964 2282951838 3321590678 448990821 2856724538 788193155 2160981111 3402483468 177413748 214691472 2621293019 514589585 3012373709 2005039190 2886977270 978836673 2630456459 339977469 3982179003 170642063 270743516 2164114583 2970600630 78990395 1520414115 2502289555 1749775410 4097382713 890136931 4197505056 4053042571 2182591414 3974568335 1758279838 3226459648 2073009002 3027319005 4158219997 3402527769 3769229238 1597986923 887400708 310054127 977050165 3952798879 4150172994 3928770380 2768011076 95039808 1808780770 764589984 1763166985 2116722300 1323487944 2147474881 1261964006 2334568208 1866477971 1844025686 2831508491 2381287592 3856506154 2986461286 2278964701 3109581794 4072944440 137778116 2518023718 751042552 373703808 1492431641 3826784445 2613125511 1500912996 2275816290 1550500959 1670205870 113809658 817987214 1843858057 3100241817 135793246 2383877622 1200901216 2746453393 3794085936 1877395044 3783978405 1392938456 3005479919 1891491197 1659695188 472856178 4105811533 662138934 1149150546 2836481563 4188259368 875924963 1023350903 1556586965 3353762446 64213463 66433354 2001690641 4254179411 3806454599 292762295 3043268658 2653075310 826965625 2713610080 3187654137 133671839 317394887 2115921057 2117446709 2779431970 2917118382 1405251252 3843148595 511797785 769570373 2323371132 1135444418 3571890514 846243133 1491947389 486885056 704872018 2150771497 4209501318 1727328124 2398779645 879294018 714307402 2836645583 2773580919 2062681307 641505146 3543083762 71005571 200699861 2018346323 3138903460 359575306 556399321 2642073489 3864622935 3772030370 2280598588 710849013 3588544816 2023928417 3602990648 2099525819 1303024995 1247730810 3073153953 2591743790 564224587 3497389771 2511130126 2350664842 3197720467 2917133921 1721854469 3297609108 1690380575 1878943772 2800254626 3632905218 462267074 858797082 3707522285 255 362436" option to reproduce the execution
0.00/0.09	c #vars 2400
0.00/0.09	c #constraints 1720
0.09/0.18	c Solving starts ...
0.09/0.18	c ============================[ Search Statistics ]============================
0.09/0.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.18	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.18	c =============================================================================
0.09/0.18	c  0.0s |       0 |        0 |        0 |     1373      0 |        0 |        0
0.29/0.35	c  0.2s |       1 |      189 |      100 |     1373      0 |        0 |        0
0.38/0.44	c  0.3s |       2 |     1163 |      250 |     1511      0 |        0 |        0
0.59/0.65	c  0.5s |       3 |     2421 |      475 |     1663      0 |        0 |        0
0.89/0.91	c  0.7s |       4 |     3904 |      813 |     1830      0 |        0 |        0
1.19/1.27	c  1.1s |       5 |     5728 |     1320 |     2014      0 |        0 |        0
1.69/1.80	c  1.6s |       6 |     7521 |     2081 |     2438      0 |        0 |        0
2.49/2.58	c  2.4s |       7 |     9684 |     3223 |     2682      0 |        0 |        0
3.29/3.39	c  3.2s |       8 |    12786 |     4936 |     2951      1 |        0 |        0
5.08/5.18	c  5.0s |       9 |    16487 |     7506 |     3247      2 |        0 |        0
7.08/7.19	c  7.0s |       9 |    20637 |    10206 |     3247      3 |        0 |        0
8.28/8.38	c  8.2s |      10 |    21963 |    11361 |     3572      4 |        0 |        0
8.58/8.60	c  8.4s |      10 |    23456 |    11651 |     3572      4 |        0 |        0
8.58/8.60	c #cpu_time = 8.399s
8.58/8.60	c #wall_clock_time = 8.421s
8.58/8.60	c #decision = 23456
8.58/8.60	c #random_decision = 90
8.58/8.60	c #conflict = 11651
8.58/8.60	c #restart = 10
8.58/8.60	s SATISFIABLE
8.58/8.60	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
8.58/8.60	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
8.58/8.60	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
8.58/8.60	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
8.58/8.60	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50
8.58/8.60	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
8.58/8.60	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
8.58/8.60	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
8.58/8.60	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
8.58/8.60	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
8.58/8.60	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
8.58/8.60	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
8.58/8.60	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
8.58/8.60	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
8.58/8.60	v -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
8.58/8.60	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
8.58/8.60	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
8.58/8.60	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
8.58/8.60	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
8.58/8.60	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200
8.58/8.60	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210
8.58/8.60	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
8.58/8.60	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
8.58/8.60	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
8.58/8.60	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
8.58/8.60	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
8.58/8.60	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
8.58/8.60	v -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280
8.58/8.60	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
8.58/8.60	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300
8.58/8.60	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
8.58/8.60	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
8.58/8.60	v -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
8.58/8.60	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
8.58/8.60	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
8.58/8.60	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
8.58/8.60	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
8.58/8.60	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
8.58/8.60	v -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
8.58/8.60	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
8.58/8.60	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
8.58/8.60	v -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
8.58/8.60	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
8.58/8.60	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
8.58/8.60	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
8.58/8.60	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
8.58/8.60	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
8.58/8.60	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480
8.58/8.60	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
8.58/8.60	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
8.58/8.60	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510
8.58/8.60	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
8.58/8.60	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
8.58/8.60	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
8.58/8.60	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
8.58/8.60	v -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560
8.58/8.60	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
8.58/8.60	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
8.58/8.60	v -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590
8.58/8.60	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
8.58/8.60	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
8.58/8.60	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
8.58/8.60	v -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630
8.58/8.60	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
8.58/8.60	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
8.58/8.60	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
8.58/8.60	v x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
8.58/8.60	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
8.58/8.60	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
8.58/8.60	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
8.58/8.60	v -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
8.58/8.60	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
8.58/8.60	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
8.58/8.60	v x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
8.58/8.60	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
8.58/8.60	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
8.58/8.60	v -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770
8.58/8.60	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
8.58/8.60	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
8.58/8.60	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
8.58/8.60	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
8.58/8.60	v -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820
8.58/8.60	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
8.58/8.60	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
8.58/8.60	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
8.58/8.60	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
8.58/8.60	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870
8.58/8.60	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
8.58/8.60	v x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
8.58/8.60	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
8.58/8.60	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
8.58/8.60	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
8.58/8.60	v -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930
8.58/8.60	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
8.58/8.60	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
8.58/8.60	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
8.58/8.60	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
8.58/8.60	v -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980
8.58/8.60	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
8.58/8.60	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
8.58/8.60	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
8.58/8.60	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
8.58/8.60	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030
8.58/8.60	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
8.58/8.60	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
8.58/8.60	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
8.58/8.60	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
8.58/8.60	v -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
8.58/8.60	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
8.58/8.60	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100
8.58/8.60	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
8.58/8.60	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
8.58/8.60	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
8.58/8.60	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140
8.58/8.60	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
8.58/8.60	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
8.58/8.60	v -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170
8.58/8.60	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
8.58/8.60	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
8.58/8.60	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
8.58/8.60	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
8.58/8.60	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
8.58/8.60	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
8.58/8.60	v -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
8.58/8.60	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250
8.58/8.60	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
8.58/8.60	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
8.58/8.60	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
8.58/8.60	v -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
8.58/8.60	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
8.58/8.60	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
8.58/8.60	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
8.58/8.60	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
8.58/8.60	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
8.58/8.60	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
8.58/8.60	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360
8.58/8.60	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
8.58/8.60	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
8.58/8.60	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
8.58/8.60	v x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
8.58/8.60	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
8.58/8.60	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
8.58/8.60	v -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
8.58/8.60	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
8.58/8.60	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
8.58/8.60	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
8.58/8.60	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
8.58/8.60	v -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
8.58/8.60	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
8.58/8.60	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500
8.58/8.60	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
8.58/8.60	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
8.58/8.60	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
8.58/8.60	v -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
8.58/8.60	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
8.58/8.60	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
8.58/8.60	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
8.58/8.60	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
8.58/8.60	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
8.58/8.60	v -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600
8.58/8.60	v -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
8.58/8.60	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
8.58/8.60	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
8.58/8.60	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640
8.58/8.60	v x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
8.58/8.60	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
8.58/8.60	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
8.58/8.60	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680
8.58/8.60	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
8.58/8.60	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700
8.58/8.60	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710
8.58/8.60	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
8.58/8.60	v -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
8.58/8.60	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
8.58/8.60	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
8.58/8.60	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760
8.58/8.60	v -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770
8.58/8.60	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
8.58/8.60	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
8.58/8.60	v -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
8.58/8.60	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
8.58/8.60	v -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
8.58/8.60	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830
8.58/8.60	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
8.58/8.60	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850
8.58/8.60	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
8.58/8.60	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
8.58/8.60	v -x1871 -x1872 -x1873 -x1874 -x1875 x1876 -x1877 -x1878 -x1879 -x1880
8.58/8.60	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
8.58/8.60	v -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
8.58/8.60	v -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
8.58/8.60	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
8.58/8.60	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930
8.58/8.60	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
8.58/8.60	v -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950
8.58/8.60	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
8.58/8.60	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
8.58/8.60	v -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980
8.58/8.60	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
8.58/8.60	v x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
8.58/8.60	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
8.58/8.60	v -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
8.58/8.60	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
8.58/8.60	v -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
8.58/8.60	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
8.58/8.60	v -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060
8.58/8.60	v -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
8.58/8.60	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
8.58/8.60	v x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
8.58/8.60	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
8.58/8.60	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110
8.58/8.60	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
8.58/8.60	v -x2121 -x2122 x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
8.58/8.60	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
8.58/8.60	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
8.58/8.60	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160
8.58/8.60	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
8.58/8.60	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180
8.58/8.60	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190
8.58/8.60	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
8.58/8.60	v -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
8.58/8.60	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
8.58/8.60	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
8.58/8.60	v x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
8.58/8.60	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250
8.58/8.60	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
8.58/8.60	v -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270
8.58/8.60	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
8.58/8.60	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
8.58/8.60	v -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
8.58/8.60	v -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310
8.58/8.60	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
8.58/8.60	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
8.58/8.60	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340
8.58/8.60	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350
8.58/8.60	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
8.58/8.60	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
8.58/8.60	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380
8.58/8.60	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
8.58/8.60	v -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400
8.58/8.60	c total CPU time = 8.583s
8.58/8.60	c total wall clock time = 8.605s

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

pid=15699
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: 0.90 0.33 0.20 2/170 15702
/proc/meminfo: memFree=30501296/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=461244 CPUtime=0 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 1672 0 0 0 0 0 0 0 20 0 4 0 22662877 472313856 2033 33554432000 4194304 16246674 140735709851824 140735709851248 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 115823 2043 441 2943 0 112717 0
[pid=15702/tid=15703] ppid=15699 vsize=477628 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 489091072 2098 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=480700 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 492236800 2112 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=484796 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22662877 496431104 2128 33554432000 4194304 16246674 140735709851824 140315738492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 0.90 0.33 0.20 2/170 15702
/proc/meminfo: memFree=30501296/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 28092 0 0 0 6 3 0 0 20 0 4 0 22662877 1333334016 28391 33554432000 4194304 16246674 140735709851824 140735709851136 6974459 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 325521 28402 832 2943 0 322415 0
[pid=15702/tid=15703] ppid=15699 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1333334016 28411 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1333334016 28417 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1333334016 28425 33554432000 4194304 16246674 140735709851824 140315738492080 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) 1302084

[startup+0.200525 s]
/proc/loadavg: 0.90 0.33 0.20 2/170 15702
/proc/meminfo: memFree=30501296/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 45387 0 0 0 14 5 0 0 20 0 4 0 22662877 1333334016 45685 33554432000 4194304 16246674 140735709851824 140735709851136 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 325521 45685 875 2943 0 322415 0
[pid=15702/tid=15703] ppid=15699 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1333334016 45685 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1333334016 45685 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1333334016 45685 33554432000 4194304 16246674 140735709851824 140315738492080 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) 1302084

[startup+0.300521 s]
/proc/loadavg: 0.90 0.33 0.20 2/170 15702
/proc/meminfo: memFree=30501296/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1303108 CPUtime=0.29 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 75702 0 0 0 20 9 0 0 20 0 4 0 22662877 1334382592 76000 33554432000 4194304 16246674 140735709851824 140735709851136 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 325777 76006 875 2943 0 322671 0
[pid=15702/tid=15703] ppid=15699 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1334382592 76013 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1334382592 76024 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1334382592 76036 33554432000 4194304 16246674 140735709851824 140315738492080 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) 1303108

[startup+0.700424 s]
/proc/loadavg: 0.90 0.33 0.20 2/170 15702
/proc/meminfo: memFree=30501296/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 125310 0 0 0 53 16 0 0 20 0 4 0 22662877 1338576896 125608 33554432000 4194304 16246674 140735709851824 140735709833728 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 326801 125608 882 2943 0 323695 0
[pid=15702/tid=15703] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 125608 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 125608 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 125608 33554432000 4194304 16246674 140735709851824 140315738492080 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) 1307204

[startup+1.5004 s]
/proc/loadavg: 0.90 0.33 0.20 2/177 15741
/proc/meminfo: memFree=29484940/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 267984 0 0 0 115 34 0 0 20 0 4 0 22662877 1338576896 268282 33554432000 4194304 16246674 140735709851824 140735709833728 12466605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 326801 268282 882 2943 0 323695 0
[pid=15702/tid=15703] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 268282 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 268282 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 268282 33554432000 4194304 16246674 140735709851824 140315738492080 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) 1307204

[startup+3.10042 s]
/proc/loadavg: 0.99 0.36 0.21 3/175 15809
/proc/meminfo: memFree=29427648/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 267988 0 0 0 275 34 0 0 20 0 4 0 22662877 1338576896 268286 33554432000 4194304 16246674 140735709851824 140735709833728 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 326801 268286 886 2943 0 323695 0
[pid=15702/tid=15703] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 268286 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 268286 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1338576896 268286 33554432000 4194304 16246674 140735709851824 140315738492080 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.30043 s]
/proc/loadavg: 0.99 0.36 0.21 4/183 15871
/proc/meminfo: memFree=29022400/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1310276 CPUtime=6.28 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 268599 0 0 0 594 34 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140735709833728 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 327569 268897 887 2943 0 324463 0
[pid=15702/tid=15703] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315738492080 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) 1310276
Solver just ended.
ain loop
??? sigkill at end of watcher main loop
??? kill 15702 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40054 s]
/proc/loadavg: 0.99 0.36 0.21 4/183 15871
/proc/meminfo: memFree=29022400/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1310276 CPUtime=6.38 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 268599 0 0 0 604 34 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140735709833728 5717136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 327569 268897 887 2943 0 324463 0
[pid=15702/tid=15703] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315738492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 1310276

[startup+8.0004 s]
/proc/loadavg: 1.07 0.39 0.22 3/183 15871
/proc/meminfo: memFree=28262908/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1310276 CPUtime=7.98 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 268599 0 0 0 764 34 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140735709833728 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 327569 268897 887 2943 0 324463 0
[pid=15702/tid=15703] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315738492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 1310276

[startup+8.40043 s]
/proc/loadavg: 1.07 0.39 0.22 3/183 15871
/proc/meminfo: memFree=28262908/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1310276 CPUtime=8.38 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 268599 0 0 0 804 34 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140735709833728 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 327569 268897 887 2943 0 324463 0
[pid=15702/tid=15703] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315738492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 1310276

[startup+8.60039 s]
/proc/loadavg: 1.07 0.39 0.22 3/183 15871
/proc/meminfo: memFree=28262908/32872528 swapFree=1431120/1543540
[pid=15702] ppid=15699 vsize=1310276 CPUtime=8.58 cores=0,2,4,6
/proc/15702/stat : 15702 (toysat) R 15699 15702 15180 0 -1 4202496 268599 0 0 0 824 34 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140735709833728 5546243 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15702/statm: 327569 268897 887 2943 0 324463 0
[pid=15702/tid=15703] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15703/stat : 15703 (toysat) S 15699 15702 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315759455472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15702/tid=15704] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15704/stat : 15704 (toysat) S 15699 15702 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315748965616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15702/tid=15705] ppid=15699 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/15702/task/15705/stat : 15705 (toysat) S 15699 15702 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22662877 1341722624 268897 33554432000 4194304 16246674 140735709851824 140315738492080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 1310276

Child status: 0
Real time (s): 8.67173
CPU time (s): 8.66768
CPU user time (s): 8.25674
CPU system time (s): 0.410937
CPU usage (%): 99.9533
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.25674
system time used= 0.410937
maximum resident set size= 1075612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268606
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= 18
involuntary context switches= 12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024996 second user time and 0.06499 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-18 01:29:01
IDJOB=4099473
IDBENCH=1416
IDSOLVER=2542
FILE ID=node116/4099473-1466206141
RUNJOBID= node116-1466206094-15196
PBS_JOBID= 19918160
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099473-1466206141/watcher-4099473-1466206141 -o /tmp/evaluation-result-4099473-1466206141/solver-4099473-1466206141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099473-1466206141.opb

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

MD5SUM BENCH= d54e874b22823be807136681f90fbed4
RANDOM SEED=1612745362

node116.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.781
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.56
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.781
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.781
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.781
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.781
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.781
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.54
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.781
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.781
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30501824 kB
Buffers:           36140 kB
Cached:            82640 kB
SwapCached:         2180 kB
Active:            65020 kB
Inactive:          56812 kB
Active(anon):       4120 kB
Inactive(anon):     1500 kB
Active(file):      60900 kB
Inactive(file):    55312 kB
Unevictable:     1543540 kB
Mlocked:         1431120 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             16824 kB
Writeback:             0 kB
AnonPages:       1545744 kB
Mapped:             7116 kB
Shmem:                 0 kB
Slab:             572288 kB
SReclaimable:      15688 kB
SUnreclaim:       556600 kB
KernelStack:        1384 kB
PageTables:         7104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71600 MiB
End job on node116 at 2016-06-18 01:29:10