Trace number 4106970

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 1.42978 1.43139

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
MD5SUM318a02509ac7733b5c1657e14975af2b
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.42978
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

Solver Data 

0.00/0.00	c 2016-06-18T22:06:29+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-4106970-1466280389.opb"]
0.00/0.01	c use --random-gen="4249172144 3916713755 3682700505 2502777081 1117585890 3975975440 1259755431 1862020994 58317192 2644330309 429599810 4250659083 2750006433 2244424817 4084255978 1175365445 767252020 2020193048 1310548733 557736449 3401031310 4093830538 3209561585 3695320077 1450289277 2305755096 1437777928 1514431194 2831251013 3368781197 1590905525 2091995210 1666735149 2340193730 412813052 1647064421 2120431993 1968528676 925796622 370614378 2945841580 258689230 1546073602 2588070603 4195668957 2182288268 1719897875 911109440 2465127430 3806808124 1209373644 1219162648 2677303628 1088434379 2965267867 3678792796 1986349639 2922323150 3456159680 3828302355 1224714521 522358979 26137653 299588477 3886656517 632822819 2513183400 1981030059 435066953 1530964462 2579924935 1724499923 3442288898 4238201835 2562711455 1217621508 1563227975 708616081 897518493 175694150 447490412 2448459860 2746186394 2084053771 2387850327 1132353882 2686058035 1592355074 890548326 3247511340 3676876835 2200949642 3855233658 3951818537 2417189250 3328894157 3949660115 445946226 2622642196 3057201439 3507614343 2230657378 2061659144 553857275 4145505187 2759789710 4121173866 3260694235 527417335 1983185870 2848442532 1253756415 4274880538 3102583117 121696858 2623141742 2888782103 4231802334 2607533805 725613838 884472099 1991966861 1163497513 622478301 1656006507 3637507363 890047737 2756934445 818839061 30095203 3421639937 2334676218 3393116309 259712805 1328154288 1409267621 1092180174 1372966613 3114325753 1663820145 140329238 776963342 2042924960 1883031127 2970501001 3666444172 2288206532 985074587 320972699 3133014415 750835349 3899775533 236454274 4236425219 3669382647 3737453466 2842125944 336232645 1189459683 3757927975 4217858779 1157372216 1739340742 2748257462 1855702649 3108997693 2993630508 220176108 1156205868 2772838338 3644018924 2311689148 1165952030 1517674868 1319646823 2519516608 1827274534 3561897997 2210267624 457237306 1386843974 3250265411 1829075362 2011374059 3604592833 3537214194 1728788612 1707293170 2049268195 1091980104 2643650509 613804346 2373033124 2463089413 267840199 1319903439 729705509 4101201354 3396623065 3390074963 87375352 4271611312 2129413102 3573314523 4259020824 374822697 705707985 3970322371 3486882535 3054104488 478689977 2631988651 395287980 2416992488 2452891471 2813337442 3837344944 2518563687 3995110512 3872546384 1806671403 273060966 2762498598 4089444010 3417597395 3406618276 1384533780 2510566790 2065567024 1164138275 2409329983 992380220 1253480630 789218840 730123668 3463697643 3175957665 4198642353 585224885 3954582029 1340310482 4087347372 2945417511 1812154723 988673954 1079623208 1953552943 3985227801 3691439203 2381800784 3999202525 3285828906 3759904714 508737391 2511093915 2850651635 255 362436" option to reproduce the execution
0.19/0.22	c #vars 1000
0.19/0.22	c #constraints 1502
1.29/1.30	c Solving starts ...
1.29/1.30	c ============================[ Search Statistics ]============================
1.29/1.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.30	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.30	c =============================================================================
1.29/1.30	c  0.0s |       0 |        0 |        0 |    25807      0 |        0 |        0
1.29/1.39	c  0.1s |       0 |      582 |        1 |    25807      0 |        0 |        0
1.29/1.39	c #cpu_time = 0.070s
1.29/1.39	c #wall_clock_time = 0.070s
1.29/1.39	c #decision = 582
1.29/1.39	c #random_decision = 1
1.29/1.39	c #conflict = 1
1.29/1.39	c #restart = 0
1.29/1.39	s SATISFIABLE
1.29/1.39	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
1.29/1.39	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
1.29/1.39	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30
1.29/1.39	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
1.29/1.39	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
1.29/1.39	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1.29/1.39	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1.29/1.39	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1.29/1.39	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
1.29/1.39	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1.29/1.39	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1.29/1.39	v x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
1.29/1.39	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130
1.29/1.39	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
1.29/1.39	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1.29/1.39	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1.29/1.39	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1.29/1.39	v -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
1.29/1.39	v -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1.29/1.40	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1.29/1.40	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1.29/1.40	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
1.29/1.40	v -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230
1.29/1.40	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
1.29/1.40	v -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250
1.29/1.40	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1.29/1.40	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1.29/1.40	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
1.29/1.40	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290
1.29/1.40	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1.29/1.40	v -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310
1.29/1.40	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1.29/1.40	v -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330
1.29/1.40	v x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1.29/1.40	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
1.29/1.40	v -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1.29/1.40	v -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370
1.29/1.40	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1.29/1.40	v -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390
1.29/1.40	v -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400
1.29/1.40	v -x401 -x402 x403 -x404 -x405 x406 -x407 -x408 -x409 -x410
1.29/1.40	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1.29/1.40	v x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1.29/1.40	v x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1.29/1.40	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1.29/1.40	v -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 x459 -x460
1.29/1.40	v -x461 -x462 x463 -x464 -x465 x466 -x467 -x468 -x469 -x470
1.29/1.40	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1.29/1.40	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1.29/1.40	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1.29/1.40	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1.29/1.40	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
1.29/1.40	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1.29/1.40	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1.29/1.40	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1.29/1.40	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
1.29/1.40	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1.29/1.40	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
1.29/1.40	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1.29/1.40	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
1.29/1.40	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1.29/1.40	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
1.29/1.40	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1.29/1.40	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1.29/1.40	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1.29/1.40	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
1.29/1.40	v -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670
1.29/1.40	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
1.29/1.40	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1.29/1.40	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1.29/1.40	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1.29/1.40	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1.29/1.40	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1.29/1.40	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1.29/1.40	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
1.29/1.40	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1.29/1.40	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
1.29/1.40	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1.29/1.40	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
1.29/1.40	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1.29/1.40	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
1.29/1.40	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1.29/1.40	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
1.29/1.40	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1.29/1.40	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1.29/1.40	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1.29/1.40	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
1.29/1.40	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
1.29/1.40	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1.29/1.40	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1.29/1.40	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
1.29/1.40	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1.29/1.40	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
1.29/1.40	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1.29/1.40	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1.29/1.40	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1.29/1.40	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1.29/1.40	v -x971 x972 x973 x974 -x975 -x976 x977 x978 x979 x980
1.29/1.40	v x981 x982 -x983 x984 x985 -x986 x987 x988 x989 x990
1.29/1.40	v x991 x992 -x993 x994 x995 x996 x997 x998 x999 x1000
1.29/1.40	c total CPU time = 1.397s
1.29/1.40	c total wall clock time = 1.397s

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

pid=25432
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.25 2.28 2.22 4/171 25435
/proc/meminfo: memFree=30247140/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 2531 0 0 0 0 0 0 0 20 0 4 0 30085380 697757696 3403 33554432000 4194304 16246674 140737453305568 140737453304992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 170863 3413 441 2943 0 167757 0
[pid=25435/tid=25437] ppid=25432 vsize=699836 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 716632064 3474 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 720826368 3492 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085380 725020672 3509 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100208 s]
/proc/loadavg: 2.25 2.28 2.22 4/171 25435
/proc/meminfo: memFree=30247140/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 28014 0 0 0 5 4 0 0 20 0 4 0 30085380 1251545088 28823 33554432000 4194304 16246674 140737453305568 140737453304880 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 305553 28827 801 2943 0 302447 0
[pid=25435/tid=25437] ppid=25432 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1251545088 28829 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1251545088 28831 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1251545088 28833 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200475 s]
/proc/loadavg: 2.25 2.28 2.22 4/171 25435
/proc/meminfo: memFree=30247140/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 50387 0 0 0 12 7 0 0 20 0 4 0 30085380 1344868352 51707 33554432000 4194304 16246674 140737453305568 140737453304880 13928652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 328337 51707 801 2943 0 325231 0
[pid=25435/tid=25437] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 51707 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 51707 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 51707 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300458 s]
/proc/loadavg: 2.25 2.28 2.22 4/171 25435
/proc/meminfo: memFree=30247140/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 50568 0 0 0 22 7 0 0 20 0 4 0 30085380 1344868352 51888 33554432000 4194304 16246674 140737453305568 140737453304880 6169223 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 328337 51888 837 2943 0 325231 0
[pid=25435/tid=25437] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 51888 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 51888 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 51888 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700361 s]
/proc/loadavg: 2.25 2.28 2.22 4/171 25435
/proc/meminfo: memFree=30247140/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 61571 0 0 0 60 9 0 0 20 0 4 0 30085380 1344868352 62891 33554432000 4194304 16246674 140737453305568 140737453287488 4224756 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 328337 62891 837 2943 0 325231 0
[pid=25435/tid=25437] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 62891 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 62891 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 62891 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

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

[startup+0.800449 s]
/proc/loadavg: 2.25 2.28 2.22 4/171 25435
/proc/meminfo: memFree=30247140/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1313348 CPUtime=0.79 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 61572 0 0 0 70 9 0 0 20 0 4 0 30085380 1344868352 62892 33554432000 4194304 16246674 140737453305568 140737453287488 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 328337 62892 837 2943 0 325231 0
[pid=25435/tid=25437] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 62892 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 62892 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 62892 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1313348

[startup+1.20765 s]
/proc/loadavg: 2.25 2.28 2.22 4/183 25507
/proc/meminfo: memFree=29473688/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1313348 CPUtime=1.2 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 127966 0 0 0 102 18 0 0 20 0 4 0 30085380 1344868352 129286 33554432000 4194304 16246674 140737453305568 140737453287488 13878738 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 328337 129286 838 2943 0 325231 0
[pid=25435/tid=25437] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 129286 33554432000 4194304 16246674 140737453305568 140261302709488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 129286 33554432000 4194304 16246674 140737453305568 140261216726256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 129286 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 1313348

[startup+1.40038 s]
/proc/loadavg: 2.25 2.28 2.22 4/183 25507
/proc/meminfo: memFree=29473688/32872528 swapFree=1370848/1518016
[pid=25435] ppid=25432 vsize=1313348 CPUtime=1.39 cores=1,3,5,7
/proc/25435/stat : 25435 (toysat) R 25432 25435 24737 0 -1 4202496 128009 0 0 0 121 18 0 0 20 0 4 0 30085380 1344868352 129329 33554432000 4194304 16246674 140737453305568 140737453287488 13885029 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25435/statm: 328337 129329 880 2943 0 325231 0
[pid=25435/tid=25437] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25437/stat : 25437 (toysat) S 25432 25435 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 129329 33554432000 4194304 16246674 140737453305568 140261302709264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25438] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25438/stat : 25438 (toysat) S 25432 25435 24737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 129329 33554432000 4194304 16246674 140737453305568 140261216726032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25435/tid=25439] ppid=25432 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25435/task/25439/stat : 25439 (toysat) S 25432 25435 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085380 1344868352 129329 33554432000 4194304 16246674 140737453305568 140261206252720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 1313348

Child status: 0
Real time (s): 1.43139
CPU time (s): 1.42978
CPU user time (s): 1.21781
CPU system time (s): 0.211967
CPU usage (%): 99.8877
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21781
system time used= 0.211967
maximum resident set size= 517320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128011
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= 20
involuntary context switches= 3

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

The end

Launcher Data 

Begin job on node129 at 2016-06-18 22:06:29
IDJOB=4106970
IDBENCH=48346
IDSOLVER=2542
FILE ID=node129/4106970-1466280389
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106970-1466280389/watcher-4106970-1466280389 -o /tmp/evaluation-result-4106970-1466280389/solver-4106970-1466280389 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106970-1466280389.opb

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

MD5SUM BENCH= 318a02509ac7733b5c1657e14975af2b
RANDOM SEED=483714595

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30235516 kB
Buffers:          162116 kB
Cached:           214996 kB
SwapCached:         1940 kB
Active:           134968 kB
Inactive:         245868 kB
Active(anon):       4908 kB
Inactive(anon):     1076 kB
Active(file):     130060 kB
Inactive(file):   244792 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             33556 kB
Writeback:             0 kB
AnonPages:       1520736 kB
Mapped:             7176 kB
Shmem:                 0 kB
Slab:             605096 kB
SReclaimable:      48216 kB
SUnreclaim:       556880 kB
KernelStack:        1416 kB
PageTables:         6640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1614604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-18 22:06:30