Trace number 4078618

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 0.739886 0.751128

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM67169e121732ee6d464f6ac82d33a699
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.017996
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables938
Total number of constraints700
Number of constraints which are clauses650
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint12
Maximum length of a constraint25
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 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:44:18+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-4078618-1465220658.opb"]
0.00/0.01	c use --random-gen="3241542830 1027266946 2519752887 2412546366 1407201825 4235456743 1356857984 1733140409 526170098 588104823 3012297608 948685749 4145177952 1936877416 226680279 4157973308 2388737051 2075231382 3785373303 3601738632 1505431958 2630514884 1551074662 3855812855 1019061831 2826774853 1119953158 799925706 1077217533 4268768023 1345090771 1808299996 2016181311 1509595877 2476768558 954226013 1801672530 1338133437 1458134699 3158713245 134779949 2394581644 150742771 675769290 1509406173 2038007799 688362848 1170035835 3648748056 2928222824 3945527292 4119975294 3484190748 442916313 3291438960 986528718 4236457075 2462957987 1837415873 1135137314 2480800560 1073641353 978012809 1009941336 3527884712 1288543175 3935041276 1069916021 3373723290 3274850054 3898797510 512282604 1859535126 1366791347 1633644279 3611138252 3365102580 2186822578 53791924 3333431890 2896273444 4003550870 2654879173 3925125340 2605216453 1392298617 3391883199 2520131359 3560654020 962907903 1838964650 728717512 582584629 3655265444 2992201128 2909884858 569818779 1983591160 1898462583 2594450122 4042168893 190534395 855408194 2057076267 1532054750 3468610043 2897652832 1307205808 2851202612 1016926342 3904468421 624017568 3749405387 3269668027 3293256686 1059812685 2358335045 748993742 1931034167 2248436708 434232293 820992666 3841549693 4149577700 3531990737 1870101031 2079291078 1539948456 1598333640 3772497279 2156546481 2680850481 2049146722 2206507564 3611784040 1231791411 1817482366 2520082263 1366024553 4118645998 2704283140 118796187 3853342698 385152687 3234325678 17050321 65002459 360473267 3785485084 3687977369 1956608909 3401875526 2866786741 3795478336 639962578 2268121666 3408062169 1713919043 825382366 281747542 1287903778 2586198741 2131401368 3890877927 3734465783 2998060345 286244345 1091796939 3561224406 1060386271 4176037051 1012385032 1395766939 2476507249 590740668 3784871024 2118441217 4054175437 437598305 2569164453 799150800 3719552592 2238668009 3341030441 949153195 4126833802 4050079448 983795318 1155201281 3897513718 1801888399 994212615 1867932275 810318682 2042144712 680746520 3359357312 3231829585 2944283678 1224148710 3777760316 331907954 3309846858 2228425302 515583550 4145991641 1365020718 1487209593 1413560158 958759006 4103205344 2711086550 1719337012 1462292313 622922927 1675261864 990794189 1551015662 94439671 3668407834 4008809910 3887831005 551784381 4292208254 2292277567 3664152561 4211595767 3268909750 1130389624 1366817796 3619485660 244340557 553918329 1849712839 3759688409 55982706 3913465325 2312627592 851817131 3203569321 1982508747 2802578066 3242744648 2036222673 1600891928 1122852864 3341306984 3347524213 2771048399 3597893964 4098566826 3884270551 2087278362 3137577940 3778722164 3386237236 255 362436" option to reproduce the execution
0.00/0.03	c #vars 938
0.00/0.03	c #constraints 700
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      546      0 |        0 |        0
0.09/0.12	c  0.1s |       1 |      158 |      100 |      546      0 |        0 |        0
0.19/0.20	c  0.1s |       2 |      709 |      250 |      601      0 |        0 |        0
0.29/0.30	c  0.2s |       3 |     1642 |      475 |      662      0 |        0 |        0
0.49/0.50	c  0.4s |       4 |     2407 |      813 |      729      0 |        0 |        0
0.59/0.67	c  0.6s |       5 |     3494 |     1320 |      802      1 |        0 |        0
0.59/0.69	c  0.6s |       5 |     3900 |     1322 |      883      2 |        0 |        0
0.59/0.69	c #cpu_time = 0.632s
0.59/0.69	c #wall_clock_time = 0.633s
0.59/0.69	c #decision = 3900
0.59/0.69	c #random_decision = 14
0.59/0.69	c #conflict = 1322
0.59/0.69	c #restart = 5
0.59/0.69	s SATISFIABLE
0.69/0.70	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10
0.69/0.70	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
0.69/0.70	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
0.69/0.70	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
0.69/0.70	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
0.69/0.70	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60
0.69/0.70	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
0.69/0.70	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
0.69/0.70	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
0.69/0.70	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
0.69/0.70	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
0.69/0.70	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
0.69/0.70	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
0.69/0.70	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140
0.69/0.70	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
0.69/0.70	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
0.69/0.70	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
0.69/0.70	v -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
0.69/0.70	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
0.69/0.70	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
0.69/0.70	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
0.69/0.70	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
0.69/0.70	v -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
0.69/0.70	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
0.69/0.70	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
0.69/0.70	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
0.69/0.70	v -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270
0.69/0.70	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
0.69/0.70	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
0.69/0.70	v -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
0.69/0.70	v -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310
0.69/0.70	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
0.69/0.70	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
0.69/0.70	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
0.69/0.70	v -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350
0.69/0.70	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
0.69/0.70	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
0.69/0.70	v -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
0.69/0.70	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
0.69/0.70	v -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400
0.69/0.70	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
0.69/0.70	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420
0.69/0.70	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
0.69/0.70	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
0.69/0.70	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450
0.69/0.70	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
0.69/0.70	v -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
0.69/0.70	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
0.69/0.70	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
0.69/0.70	v -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500
0.69/0.70	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510
0.69/0.70	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
0.69/0.70	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
0.69/0.70	v -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540
0.69/0.70	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
0.69/0.70	v -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
0.69/0.70	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
0.69/0.70	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
0.69/0.70	v -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590
0.69/0.70	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
0.69/0.70	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
0.69/0.70	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
0.69/0.70	v -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630
0.69/0.70	v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640
0.69/0.70	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
0.69/0.70	v -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660
0.69/0.70	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
0.69/0.70	v x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
0.69/0.70	v -x681 x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690
0.69/0.70	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
0.69/0.70	v -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
0.69/0.70	v -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720
0.69/0.70	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
0.69/0.70	v -x731 -x732 x733 x734 -x735 -x736 -x737 -x738 -x739 -x740
0.69/0.70	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
0.69/0.70	v -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760
0.69/0.70	v x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770
0.69/0.70	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
0.69/0.70	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790
0.69/0.70	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800
0.69/0.70	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
0.69/0.70	v -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
0.69/0.70	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
0.69/0.70	v -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840
0.69/0.70	v -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
0.69/0.70	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860
0.69/0.70	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
0.69/0.70	v x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
0.69/0.70	v -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 x889 -x890
0.69/0.70	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
0.69/0.70	v -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910
0.69/0.70	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920
0.69/0.70	v -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930
0.69/0.70	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938
0.69/0.70	c total CPU time = 0.696s
0.69/0.70	c total wall clock time = 0.698s

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

pid=4685
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: 1.29 1.56 1.75 3/179 4688
/proc/meminfo: memFree=30880000/32872528 swapFree=11372/178980
[pid=4688] ppid=4685 vsize=588356 CPUtime=0 cores=0,2,4,6
/proc/4688/stat : 4688 (toysat) R 4685 4688 4590 0 -1 4202496 2169 0 0 0 0 0 0 0 20 0 4 0 104000447 602476544 3042 33554432000 4194304 16246674 140736796645920 140736796645344 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 147601 3051 442 2943 0 144495 0
[pid=4688/tid=4689] ppid=4685 vsize=605764 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4689/stat : 4689 (toysat) S 4685 4688 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104000448 620302336 3111 33554432000 4194304 16246674 140736796645920 140277889084656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4688/tid=4690] ppid=4685 vsize=609860 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4690/stat : 4690 (toysat) S 4685 4688 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000448 624496640 3127 33554432000 4194304 16246674 140736796645920 140277878594800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4688/tid=4691] ppid=4685 vsize=614980 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4691/stat : 4691 (toysat) S 4685 4688 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000448 629739520 3145 33554432000 4194304 16246674 140736796645920 140277792631984 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4688
/proc/meminfo: memFree=30880000/32872528 swapFree=11372/178980
[pid=4688] ppid=4685 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/4688/stat : 4688 (toysat) R 4685 4688 4590 0 -1 4202496 31273 0 0 0 5 4 0 0 20 0 4 0 104000447 1247350784 32134 33554432000 4194304 16246674 140736796645920 140736796645344 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 304529 32140 707 2943 0 301423 0
[pid=4688/tid=4689] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4689/stat : 4689 (toysat) S 4685 4688 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 32145 33554432000 4194304 16246674 140736796645920 140277889084656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4688/tid=4690] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4690/stat : 4690 (toysat) S 4685 4688 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 32153 33554432000 4194304 16246674 140736796645920 140277878594800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4688/tid=4691] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4691/stat : 4691 (toysat) S 4685 4688 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 32155 33554432000 4194304 16246674 140736796645920 140277792631984 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) 1218116

[startup+0.2005 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4688
/proc/meminfo: memFree=30880000/32872528 swapFree=11372/178980
[pid=4688] ppid=4685 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/4688/stat : 4688 (toysat) R 4685 4688 4590 0 -1 4202496 65111 0 0 0 11 8 0 0 20 0 4 0 104000447 1247350784 65973 33554432000 4194304 16246674 140736796645920 140736796645344 13192951 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 304529 65985 707 2943 0 301423 0
[pid=4688/tid=4689] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4689/stat : 4689 (toysat) S 4685 4688 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 65994 33554432000 4194304 16246674 140736796645920 140277889084656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4688/tid=4690] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4690/stat : 4690 (toysat) S 4685 4688 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 66000 33554432000 4194304 16246674 140736796645920 140277878594800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4688/tid=4691] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4691/stat : 4691 (toysat) S 4685 4688 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 66006 33554432000 4194304 16246674 140736796645920 140277792631984 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) 1218116

[startup+0.305461 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4688
/proc/meminfo: memFree=30880000/32872528 swapFree=11372/178980
[pid=4688] ppid=4685 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/4688/stat : 4688 (toysat) R 4685 4688 4590 0 -1 4202496 101276 0 0 0 17 12 0 0 20 0 4 0 104000447 1247350784 102138 33554432000 4194304 16246674 140736796645920 140736796627840 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 304529 102154 707 2943 0 301423 0
[pid=4688/tid=4689] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4689/stat : 4689 (toysat) S 4685 4688 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 102167 33554432000 4194304 16246674 140736796645920 140277889084656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4688/tid=4690] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4690/stat : 4690 (toysat) S 4685 4688 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 102181 33554432000 4194304 16246674 140736796645920 140277878594800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4688/tid=4691] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4691/stat : 4691 (toysat) S 4685 4688 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 102195 33554432000 4194304 16246674 140736796645920 140277792631984 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) 1218116

[startup+0.70045 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4688
/proc/meminfo: memFree=30880000/32872528 swapFree=11372/178980
[pid=4688] ppid=4685 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/4688/stat : 4688 (toysat) R 4685 4688 4590 0 -1 4202496 228042 0 0 0 40 29 0 0 20 0 4 0 104000447 1247350784 228902 33554432000 4194304 16246674 140736796645920 140736796627840 12992413 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 304529 228916 720 2943 0 301423 0
[pid=4688/tid=4689] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4689/stat : 4689 (toysat) S 4685 4688 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 228925 33554432000 4194304 16246674 140736796645920 140277889084656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4688/tid=4690] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4690/stat : 4690 (toysat) S 4685 4688 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 228936 33554432000 4194304 16246674 140736796645920 140277878594800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4688/tid=4691] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4691/stat : 4691 (toysat) S 4685 4688 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 228947 33554432000 4194304 16246674 140736796645920 140277792631984 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) 1218116

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

[startup+0.70045 s]
/proc/loadavg: 1.29 1.56 1.75 3/179 4688
/proc/meminfo: memFree=30880000/32872528 swapFree=11372/178980
[pid=4688] ppid=4685 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/4688/stat : 4688 (toysat) R 4685 4688 4590 0 -1 4202496 228042 0 0 0 40 29 0 0 20 0 4 0 104000447 1247350784 228902 33554432000 4194304 16246674 140736796645920 140736796627840 12992413 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4688/statm: 304529 228916 720 2943 0 301423 0
[pid=4688/tid=4689] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4689/stat : 4689 (toysat) S 4685 4688 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 228925 33554432000 4194304 16246674 140736796645920 140277889084656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4688/tid=4690] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4690/stat : 4690 (toysat) S 4685 4688 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 228936 33554432000 4194304 16246674 140736796645920 140277878594800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4688/tid=4691] ppid=4685 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/4688/task/4691/stat : 4691 (toysat) S 4685 4688 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104000448 1247350784 228947 33554432000 4194304 16246674 140736796645920 140277792631984 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) 1218116

Child status: 0
Real time (s): 0.751128
CPU time (s): 0.739886
CPU user time (s): 0.401938
CPU system time (s): 0.337948
CPU usage (%): 98.5033
Max. virtual memory (cumulated for all children) (KiB): 1218116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.401938
system time used= 0.337948
maximum resident set size= 916460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228264
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= 19
involuntary context switches= 5

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.004999 second user time and 0.009998 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-06 15:44:18
IDJOB=4078618
IDBENCH=1405
IDSOLVER=2542
FILE ID=node105/4078618-1465220658
RUNJOBID= node105-1465220657-4606
PBS_JOBID= 19843223
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_25_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-4078618-1465220658/watcher-4078618-1465220658 -o /tmp/evaluation-result-4078618-1465220658/solver-4078618-1465220658 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078618-1465220658.opb

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

MD5SUM BENCH= 67169e121732ee6d464f6ac82d33a699
RANDOM SEED=1329188043

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.813
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:        30880288 kB
Buffers:            9720 kB
Cached:           111168 kB
SwapCached:         1764 kB
Active:          1080072 kB
Inactive:          27956 kB
Active(anon):     988916 kB
Inactive(anon):     1504 kB
Active(file):      91156 kB
Inactive(file):    26452 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             33180 kB
Writeback:            16 kB
AnonPages:       1164576 kB
Mapped:            10076 kB
Shmem:                 0 kB
Slab:             568504 kB
SReclaimable:      11680 kB
SUnreclaim:       556824 kB
KernelStack:        1392 kB
PageTables:         6136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1313228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-06 15:44:19