Trace number 4098101

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.88671 1.88706

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression16_15.opb
MD5SUM00aaa32c3030c2e0bbc9f2465b6a85ce
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.031994
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables992
Total number of constraints4654
Number of constraints which are clauses4650
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
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 46
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-17T01:26:19+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-4098101-1466119578.opb"]
0.00/0.01	c use --random-gen="2445231483 1994300258 3564288950 448473329 2759431877 4021687743 2397196270 4058435124 1402986698 1821291823 784189495 2554630813 1277896466 2350497121 1512819105 3843420035 844936454 3850972721 458195601 486350659 623071011 1294704297 3479458211 3488509200 3700813111 1634254478 317709264 4004961793 1384662195 191437370 3603162735 2204355846 1111186684 2075382001 3986090623 2347028156 3468200641 2085205734 955324766 2126905536 3886058233 2692320671 102198614 2646220776 1258567456 3466270143 3532598196 2380792982 56606526 3749443591 1058561185 1976790230 2769833808 1099815987 1902105319 3227328936 378559863 2843660069 1112782417 364922713 1729071564 814815002 4101179540 878339333 90322161 2366725302 4191162836 1091885010 2828440257 1453464049 3766848461 1431315706 2482317167 953484293 1625385152 1916744666 518134454 2121065937 626878082 2124760121 1851635384 256844165 3343434808 988637266 2843855235 33582913 3197906483 435491347 3033082255 601732806 579175695 3271141445 3826518317 1059367170 3007210107 159059196 3225447886 2662738865 1055231715 570903309 4162680765 3160247085 37687461 665808115 3828892168 2840102704 3680895267 2368405893 3692115803 850765665 1697831762 3664383843 64340294 1511116849 1046368122 437229837 3492545940 1281397241 36948332 204772663 3371179376 2200559605 255484293 2069835876 298960352 3602958125 4287486703 3493237638 2725600013 420332932 27644671 152645425 2965772716 1412349066 1427855717 2962584563 3425610235 478287012 3604472434 22804841 1949760496 909597872 1869009868 3669357041 3677792812 2341351977 1252362860 2992508160 3095124800 3242303078 337918161 100486659 380442540 2606461976 3779471317 2233446932 246360554 812604435 2883725952 1978214781 1025908550 538255271 2711935598 4182328080 3610419604 3329303209 3587983043 3392404548 1634146008 2819890637 4255682581 1674261385 1064473998 3423801111 3609032767 2318699440 2825043321 3909481479 2288210888 3882174295 2740411296 1914469880 3526498951 2436668413 46260075 2583518544 2372919807 2051184387 2848785614 319729807 3471667863 3930853992 3380937511 1748679507 1625069052 2871981642 16661549 111075310 3331640502 1081525094 3160194765 3920080678 2343120845 3622260790 618011292 3655575336 2370653231 1354601575 2846682338 1673078442 1881765594 3546167505 3937727267 2129478283 2455220585 1856126881 3959010859 2541910637 2925573609 1773443591 1570330909 3511924410 4002618315 930098464 3585219637 3241174019 3722734833 2605429734 1285741856 535876270 3717206236 2095949150 1225644507 1214767705 4217310176 449511696 1800413374 1504092027 2300407696 3684725002 2892622185 1556634757 2420823345 3495108565 2856609799 1622141659 2722908571 1074801218 2778662478 2529585185 2054543292 4288126303 3687746165 62408160 1692189982 3031722460 255 362436" option to reproduce the execution
0.00/0.06	c #vars 992
0.00/0.06	c #constraints 4654
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |     1881      0 |        5 |        0
0.19/0.21	c  0.1s |       1 |      171 |      100 |     1881      0 |        5 |      256
0.19/0.27	c  0.1s |       2 |      369 |      250 |     2070      0 |        5 |      256
0.29/0.38	c  0.2s |       3 |      640 |      475 |     2277      0 |        5 |      256
0.49/0.53	c  0.4s |       4 |     1049 |      813 |     2505      0 |        5 |      256
0.69/0.78	c  0.6s |       5 |     1627 |     1320 |     2756      0 |        5 |      256
1.10/1.15	c  1.0s |       6 |     2460 |     2081 |     3336      0 |        5 |      256
1.59/1.66	c  1.5s |       7 |     3726 |     3223 |     3670      0 |        5 |      256
1.79/1.82	c  1.7s |       7 |     4234 |     3574 |     3670      0 |        5 |      256
1.79/1.82	c #cpu_time = 1.668s
1.79/1.82	c #wall_clock_time = 1.673s
1.79/1.82	c #decision = 4234
1.79/1.82	c #random_decision = 5
1.79/1.82	c #conflict = 3574
1.79/1.82	c #restart = 7
1.79/1.82	s SATISFIABLE
1.79/1.82	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10
1.79/1.82	v -x11 x12 -x13 x14 -x15 x16 -x17 x18 -x19 -x20
1.79/1.82	v -x21 -x22 -x23 x24 x25 x26 x27 x28 x29 -x30
1.79/1.82	v x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40
1.79/1.82	v -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50
1.79/1.82	v x51 -x52 x53 x54 -x55 x56 x57 x58 x59 x60
1.79/1.82	v -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
1.79/1.82	v x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1.79/1.82	v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90
1.79/1.82	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1.79/1.82	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
1.79/1.82	v -x111 -x112 -x113 -x114 x115 x116 x117 x118 x119 -x120
1.79/1.82	v x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
1.79/1.82	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
1.79/1.82	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1.79/1.82	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1.79/1.82	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1.79/1.82	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
1.79/1.82	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1.79/1.82	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1.79/1.82	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1.79/1.82	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
1.79/1.82	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1.79/1.82	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
1.79/1.82	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1.79/1.82	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1.79/1.82	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1.79/1.82	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
1.79/1.82	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1.79/1.82	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1.79/1.82	v -x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310
1.79/1.82	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
1.79/1.82	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
1.79/1.82	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340
1.79/1.82	v -x341 -x342 -x343 -x344 -x345 -x346 x347 x348 -x349 x350
1.79/1.82	v -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360
1.79/1.82	v -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
1.79/1.82	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1.79/1.82	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
1.79/1.82	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400
1.79/1.82	v -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 x409 -x410
1.79/1.82	v x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420
1.79/1.82	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1.79/1.82	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1.79/1.82	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
1.79/1.82	v -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460
1.79/1.82	v -x461 -x462 x463 x464 -x465 x466 -x467 -x468 -x469 -x470
1.79/1.82	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480
1.79/1.82	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
1.79/1.82	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1.79/1.82	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1.79/1.82	v -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520
1.79/1.82	v x521 x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
1.79/1.82	v -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540
1.79/1.82	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1.79/1.82	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
1.79/1.82	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1.79/1.82	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
1.79/1.82	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1.79/1.82	v -x591 -x592 -x593 -x594 x595 -x596 x597 -x598 x599 -x600
1.79/1.82	v x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1.79/1.82	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
1.79/1.82	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1.79/1.82	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1.79/1.82	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1.79/1.82	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
1.79/1.82	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
1.79/1.82	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
1.79/1.82	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1.79/1.82	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
1.79/1.82	v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1.79/1.82	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1.79/1.82	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1.79/1.82	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
1.79/1.82	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
1.79/1.82	v -x751 -x752 x753 x754 x755 x756 x757 -x758 x759 x760
1.79/1.82	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
1.79/1.82	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
1.79/1.82	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790
1.79/1.82	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 x800
1.79/1.82	v -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810
1.79/1.82	v -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820
1.79/1.82	v -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830
1.79/1.82	v -x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1.79/1.82	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850
1.79/1.82	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1.79/1.82	v -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870
1.79/1.82	v -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880
1.79/1.82	v -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 x889 -x890
1.79/1.82	v x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900
1.79/1.82	v -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910
1.79/1.82	v -x911 -x912 -x913 x914 -x915 x916 -x917 -x918 -x919 -x920
1.79/1.82	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930
1.79/1.82	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1.79/1.82	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1.79/1.82	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
1.79/1.82	v -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970
1.79/1.82	v -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
1.79/1.82	v -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990
1.79/1.82	v -x991 -x992
1.79/1.82	c total CPU time = 1.822s
1.79/1.82	c total wall clock time = 1.827s

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

pid=21309
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.05 2.05 2.05 3/179 21312
/proc/meminfo: memFree=30604924/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 2957 0 0 0 0 0 0 0 20 0 4 0 14008376 808906752 3319 33554432000 4194304 16246674 140733995598640 140733995598064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 197999 3329 441 2943 0 194893 0
[pid=21312/tid=21313] ppid=21309 vsize=808380 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 827781120 3391 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 831975424 3408 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008376 836169728 3425 33554432000 4194304 16246674 140733995598640 140305307266224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21312
/proc/meminfo: memFree=30604924/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 26567 0 0 0 5 4 0 0 20 0 4 0 14008376 1249447936 26867 33554432000 4194304 16246674 140733995598640 140733995597952 5516226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 305041 26877 835 2943 0 301935 0
[pid=21312/tid=21313] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 26885 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 26893 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 26901 33554432000 4194304 16246674 140733995598640 140305307266224 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) 1220164

[startup+0.200526 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21312
/proc/meminfo: memFree=30604924/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 45983 0 0 0 12 7 0 0 20 0 4 0 14008376 1249447936 46283 33554432000 4194304 16246674 140733995598640 140733995597952 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 305041 46292 878 2943 0 301935 0
[pid=21312/tid=21313] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 46297 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 46304 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 46312 33554432000 4194304 16246674 140733995598640 140305307266224 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) 1220164

[startup+0.300494 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21312
/proc/meminfo: memFree=30604924/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 66674 0 0 0 19 10 0 0 20 0 4 0 14008376 1249447936 66973 33554432000 4194304 16246674 140733995598640 140733995597952 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 305041 66987 880 2943 0 301935 0
[pid=21312/tid=21313] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 66994 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 66998 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 67002 33554432000 4194304 16246674 140733995598640 140305307266224 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) 1220164

[startup+0.700399 s]
/proc/loadavg: 2.05 2.05 2.05 3/179 21312
/proc/meminfo: memFree=30604924/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 148727 0 0 0 49 20 0 0 20 0 4 0 14008376 1249447936 149026 33554432000 4194304 16246674 140733995598640 140733995597952 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 305041 149035 880 2943 0 301935 0
[pid=21312/tid=21313] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 149041 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 149046 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14008376 1249447936 149050 33554432000 4194304 16246674 140733995598640 140305307266224 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) 1220164

[startup+1.50042 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 21316
/proc/meminfo: memFree=29696900/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 266376 0 0 0 115 34 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140733995597952 5822255 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 325265 266675 883 2943 0 322159 0
[pid=21312/tid=21313] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140305307266224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

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

[startup+1.6005 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 21316
/proc/meminfo: memFree=29696900/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1301060 CPUtime=1.59 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 266376 0 0 0 125 34 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140733995597952 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 325265 266675 883 2943 0 322159 0
[pid=21312/tid=21313] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266675 33554432000 4194304 16246674 140733995598640 140305307266224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 1301060

[startup+1.80041 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 21316
/proc/meminfo: memFree=29696900/32872528 swapFree=188940/188940
[pid=21312] ppid=21309 vsize=1301060 CPUtime=1.79 cores=1,3,5,7
/proc/21312/stat : 21312 (toysat) R 21309 21312 17164 0 -1 4202496 266377 0 0 0 145 34 0 0 20 0 4 0 14008376 1332285440 266676 33554432000 4194304 16246674 140733995598640 140733995597952 5677410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21312/statm: 325265 266676 883 2943 0 322159 0
[pid=21312/tid=21313] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21313/stat : 21313 (toysat) S 21309 21312 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266676 33554432000 4194304 16246674 140733995598640 140305438321904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21312/tid=21314] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21314/stat : 21314 (toysat) S 21309 21312 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266676 33554432000 4194304 16246674 140733995598640 140305427832048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21312/tid=21315] ppid=21309 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/21312/task/21315/stat : 21315 (toysat) S 21309 21312 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14008376 1332285440 266676 33554432000 4194304 16246674 140733995598640 140305307266224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 1301060

Child status: 0
Real time (s): 1.88706
CPU time (s): 1.88671
CPU user time (s): 1.48077
CPU system time (s): 0.405938
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 1301060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.48077
system time used= 0.405938
maximum resident set size= 1066844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266413
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= 2

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

The end

Launcher Data 

Begin job on node102 at 2016-06-17 01:26:18
IDJOB=4098101
IDBENCH=107852
IDSOLVER=2542
FILE ID=node102/4098101-1466119578
RUNJOBID= node102-1466115959-20140
PBS_JOBID= 19904127
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098101-1466119578/watcher-4098101-1466119578 -o /tmp/evaluation-result-4098101-1466119578/solver-4098101-1466119578 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20140 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098101-1466119578.opb

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

MD5SUM BENCH= 00aaa32c3030c2e0bbc9f2465b6a85ce
RANDOM SEED=1376577357

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
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.746
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:        30605560 kB
Buffers:           52576 kB
Cached:           168504 kB
SwapCached:         1412 kB
Active:          1278996 kB
Inactive:          95900 kB
Active(anon):    1155012 kB
Inactive(anon):     1076 kB
Active(file):     123984 kB
Inactive(file):    94824 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             16460 kB
Writeback:             0 kB
AnonPages:       1344004 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             570484 kB
SReclaimable:      14212 kB
SUnreclaim:       556272 kB
KernelStack:        1488 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1485756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1148928 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= 71696 MiB
End job on node102 at 2016-06-17 01:26:20