Trace number 4098290

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 48.7826 48.7907

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression16_11.opb
MD5SUM3853409a11a2c0dc0d84f9dcdfb23a9b
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.617905
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables756
Total number of constraints3514
Number of constraints which are clauses3510
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 constraint27
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 38
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:38:33+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-4098290-1466120313.opb"]
0.00/0.01	c use --random-gen="4116332313 3639655562 2380115319 4004952252 3067952137 4171432103 4093626722 2965626503 1090949253 658842712 317071471 3277183828 1438037568 3593016889 1820003179 3985133351 1181774290 3888147424 3660872639 3652823410 2188277286 2029267012 4227412486 3980270136 370399678 104317167 3827040776 933863194 1265276222 3355237083 125324186 3287343070 1418392870 2184564104 3689610193 331891882 575942722 3183191497 906681690 2750221463 1056794590 3179445713 2954492841 65150596 3210025513 2022724821 3471153319 3059763885 2323312999 3125965021 3115869684 3127629192 1202141970 2854481740 1778487081 3922163759 3082303829 1858630211 3985100771 3516578060 554033557 642838593 1987532240 3321339150 2565588343 550758159 3512078594 1005967841 3609633809 2538792531 1332873976 1287747001 542714399 2201583960 376833947 4061053313 3370712017 3187841512 3328282211 651869231 617832024 2875245565 648340334 2017208251 1311063135 1527333174 2175435645 6812462 373807543 2532145239 4109964944 1445229937 3701880996 2866974020 3646324701 1772778004 328220252 30504259 437887141 1213492942 2181274459 2695673343 1481976269 1814444083 3151662324 128068698 3767106678 1936431029 1404316524 3453579374 361632079 1945955460 503054467 1571971623 2829798003 3521087976 1531364965 853470649 4001825329 2973764929 791416247 1553221452 2793033310 2218565785 3141235384 3136592371 393367850 1495567654 3399287540 1039837071 2869990521 184713326 2354913100 3697187312 3623957997 88486513 2045614686 442503858 3713553008 270102335 3484749971 4255562795 1967619043 3758364574 214095046 2364482147 1280947539 507456087 508164248 3980738244 3794476169 3673656938 2822513627 1266354074 1537566364 4139858137 130311071 2595798971 2184646891 2751531485 3673428661 240479682 3172561468 1054048272 3365290037 2155457399 1610052781 2789687472 677960540 3311511748 1751651612 107679454 2248854709 578690986 3438739968 2967654783 2888234917 212544944 1600118901 968818061 254993548 4130100181 192658069 2050006893 161337199 2698735590 1038533786 439330567 447746320 3439738436 3434989496 1886780969 3224223248 4166921993 681570719 3425064854 561142770 3705682233 119414945 1459671233 1503721191 1700247493 2417914609 3321036855 809258308 4121932706 237242177 1667691583 230181007 3798433086 1137946081 1084764286 1041223268 4139285056 1304090902 2370322880 2747377986 3225489958 3057343288 957556564 2754495383 1556861258 3398644533 1755842939 755625243 844524842 3324480681 2220949330 2373900486 3700413692 3275916649 2322082511 1183350287 3307158810 2864436953 2760422161 637792673 249553406 1252566055 1722258443 4136056565 4136154244 3320360201 593897366 3610492677 888162748 1623672153 3309607596 2978354549 2684414505 3458258821 2079639054 805619958 1013047813 2851600093 2419381109 255 362436" option to reproduce the execution
0.00/0.06	c #vars 756
0.00/0.06	c #constraints 3514
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     1422      0 |        5 |        0
0.08/0.15	c  0.0s |       1 |      149 |      100 |     1422      0 |        5 |      224
0.19/0.22	c  0.1s |       2 |      325 |      250 |     1565      0 |        5 |      224
0.29/0.31	c  0.2s |       3 |      576 |      475 |     1722      0 |        5 |      224
0.39/0.45	c  0.3s |       4 |      974 |      813 |     1895      0 |        5 |      224
0.59/0.65	c  0.5s |       5 |     1554 |     1320 |     2085      0 |        5 |      224
0.88/0.97	c  0.9s |       6 |     2388 |     2081 |     2524      0 |        5 |      224
1.49/1.52	c  1.4s |       7 |     3666 |     3223 |     2777      1 |        5 |      224
2.09/2.16	c  2.1s |       8 |     5578 |     4936 |     3055      2 |        5 |      224
3.09/3.15	c  3.0s |       9 |     8457 |     7506 |     3361      3 |        5 |      224
4.69/4.71	c  4.6s |      10 |    12701 |    11361 |     3698      5 |        5 |      224
6.70/6.73	c  6.6s |      10 |    18052 |    16261 |     3698      8 |        5 |      224
7.09/7.11	c  7.0s |      11 |    18997 |    17144 |     4068      8 |        5 |      224
9.09/9.12	c  9.0s |      11 |    23806 |    21544 |     4068     10 |        5 |      224
10.89/10.92	c 10.8s |      12 |    28436 |    25819 |     4475     12 |        5 |      224
12.89/12.96	c 12.9s |      12 |    33186 |    30219 |     4475     14 |        5 |      224
14.98/15.01	c 14.9s |      12 |    37591 |    34319 |     4475     15 |        5 |      224
16.98/17.02	c 16.9s |      12 |    41296 |    37819 |     4475     17 |        5 |      224
17.48/17.55	c 17.4s |      13 |    42364 |    38832 |     4923     17 |        5 |      224
19.48/19.56	c 19.4s |      13 |    46179 |    42332 |     4923     18 |        5 |      224
21.49/21.58	c 21.5s |      13 |    50737 |    46532 |     4923     20 |        5 |      224
23.59/23.62	c 23.5s |      13 |    55789 |    51132 |     4923     22 |        5 |      224
25.59/25.66	c 25.6s |      13 |    60505 |    55532 |     4923     23 |        5 |      224
27.09/27.15	c 27.0s |      14 |    63500 |    58352 |     5416     24 |        5 |      224
29.09/29.17	c 29.1s |      14 |    67892 |    62352 |     5416     26 |        5 |      224
31.09/31.19	c 31.1s |      14 |    72558 |    66652 |     5416     27 |        5 |      224
33.19/33.21	c 33.1s |      14 |    77722 |    71452 |     5416     29 |        5 |      224
35.19/35.25	c 35.1s |      14 |    82016 |    75452 |     5416     30 |        5 |      224
37.18/37.25	c 37.1s |      14 |    86538 |    79652 |     5416     32 |        5 |      224
39.18/39.29	c 39.2s |      14 |    91013 |    83752 |     5416     33 |        5 |      224
41.28/41.32	c 41.2s |      14 |    95191 |    87552 |     5958     34 |        5 |      224
41.28/41.36	c 41.3s |      15 |    95280 |    87632 |     5958     34 |        5 |      224
43.38/43.41	c 43.3s |      15 |    99899 |    91832 |     5958     36 |        5 |      224
45.38/45.44	c 45.3s |      15 |   104093 |    95732 |     5958     37 |        5 |      224
47.38/47.47	c 47.4s |      15 |   108201 |    99532 |     5958     38 |        5 |      224
48.68/48.72	c 48.6s |      15 |   110819 |   101946 |     5958     39 |        5 |      224
48.68/48.72	c #cpu_time = 48.616s
48.68/48.72	c #wall_clock_time = 48.617s
48.68/48.72	c #decision = 110819
48.68/48.72	c #random_decision = 262
48.68/48.72	c #conflict = 101946
48.68/48.72	c #restart = 15
48.68/48.72	s SATISFIABLE
48.68/48.73	v x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 x10
48.68/48.73	v -x11 x12 -x13 -x14 x15 -x16 x17 x18 -x19 -x20
48.68/48.73	v x21 -x22 x23 -x24 -x25 x26 -x27 x28 -x29 x30
48.68/48.73	v -x31 -x32 x33 -x34 x35 -x36 x37 x38 x39 -x40
48.68/48.73	v x41 -x42 x43 x44 -x45 -x46 x47 -x48 -x49 x50
48.68/48.73	v -x51 x52 -x53 x54 x55 -x56 -x57 x58 -x59 -x60
48.68/48.73	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70
48.68/48.73	v x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 x79 -x80
48.68/48.73	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90
48.68/48.73	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
48.68/48.73	v x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110
48.68/48.73	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
48.68/48.73	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
48.68/48.73	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
48.68/48.73	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
48.68/48.73	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
48.68/48.73	v -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170
48.68/48.73	v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180
48.68/48.73	v x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
48.68/48.73	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
48.68/48.73	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
48.68/48.73	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
48.68/48.73	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
48.68/48.73	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
48.68/48.73	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
48.68/48.73	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
48.68/48.73	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
48.68/48.73	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
48.68/48.73	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
48.68/48.73	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300
48.68/48.73	v -x301 -x302 -x303 x304 -x305 -x306 x307 -x308 -x309 x310
48.68/48.73	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
48.68/48.73	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
48.68/48.73	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
48.68/48.73	v -x341 -x342 x343 -x344 -x345 x346 -x347 -x348 x349 -x350
48.68/48.73	v -x351 -x352 -x353 x354 -x355 -x356 x357 -x358 -x359 x360
48.68/48.73	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
48.68/48.73	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
48.68/48.73	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
48.68/48.73	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
48.68/48.73	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
48.68/48.73	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420
48.68/48.73	v -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430
48.68/48.73	v x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
48.68/48.73	v -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
48.68/48.73	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
48.68/48.73	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
48.68/48.73	v x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480
48.68/48.73	v -x481 x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490
48.68/48.73	v -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500
48.68/48.73	v x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x510
48.68/48.73	v -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520
48.68/48.73	v -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
48.68/48.73	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
48.68/48.73	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
48.68/48.73	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
48.68/48.73	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
48.68/48.73	v -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580
48.68/48.73	v x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590
48.68/48.73	v -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600
48.68/48.73	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
48.68/48.73	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
48.68/48.73	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630
48.68/48.73	v -x631 x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640
48.68/48.73	v -x641 -x642 -x643 -x644 x645 -x646 -x647 x648 -x649 -x650
48.68/48.73	v x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
48.68/48.73	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
48.68/48.73	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
48.68/48.73	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
48.68/48.73	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
48.68/48.73	v -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710
48.68/48.73	v -x711 -x712 -x713 -x714 x715 -x716 x717 -x718 -x719 -x720
48.68/48.73	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730
48.68/48.73	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
48.68/48.73	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
48.68/48.73	v -x751 -x752 -x753 -x754 -x755 -x756
48.68/48.73	c total CPU time = 48.727s
48.68/48.73	c total wall clock time = 48.728s

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

pid=30136
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: 1.49 1.83 1.92 4/179 30139
/proc/meminfo: memFree=30506060/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=743868 CPUtime=0 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 2776 0 0 0 0 0 0 0 20 0 4 0 14077991 761720832 3648 33554432000 4194304 16246674 140733564659632 140733564659056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 186479 3658 441 2943 0 183373 0
[pid=30139/tid=30140] ppid=30136 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 780595200 3721 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 784789504 3736 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077991 788983808 3753 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 1.49 1.83 1.92 4/179 30139
/proc/meminfo: memFree=30506060/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 23026 0 0 0 6 2 0 0 20 0 4 0 14077991 1250496512 23836 33554432000 4194304 16246674 140733564659632 140733564658944 13932481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 305297 23836 833 2943 0 302191 0
[pid=30139/tid=30140] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 23836 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 23836 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 23836 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200538 s]
/proc/loadavg: 1.49 1.83 1.92 4/179 30139
/proc/meminfo: memFree=30506060/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 41266 0 0 0 14 5 0 0 20 0 4 0 14077991 1250496512 42077 33554432000 4194304 16246674 140733564659632 140733564658944 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 305297 42087 875 2943 0 302191 0
[pid=30139/tid=30140] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 42094 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 42100 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 42108 33554432000 4194304 16246674 140733564659632 140497104399536 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) 1221188

[startup+0.300457 s]
/proc/loadavg: 1.49 1.83 1.92 4/179 30139
/proc/meminfo: memFree=30506060/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 62707 0 0 0 21 8 0 0 20 0 4 0 14077991 1250496512 63518 33554432000 4194304 16246674 140733564659632 140733564658944 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 305297 63526 875 2943 0 302191 0
[pid=30139/tid=30140] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 63530 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 63533 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 63537 33554432000 4194304 16246674 140733564659632 140497104399536 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) 1221188

[startup+0.700399 s]
/proc/loadavg: 1.49 1.83 1.92 4/179 30139
/proc/meminfo: memFree=30506060/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 142938 0 0 0 49 20 0 0 20 0 4 0 14077991 1250496512 143748 33554432000 4194304 16246674 140733564659632 140733564658944 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 305297 143755 875 2943 0 302191 0
[pid=30139/tid=30140] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 143762 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 143767 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14077991 1250496512 143771 33554432000 4194304 16246674 140733564659632 140497104399536 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) 1221188

[startup+1.5004 s]
/proc/loadavg: 1.49 1.83 1.92 5/183 30143
/proc/meminfo: memFree=29611612/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 266570 0 0 0 113 36 0 0 20 0 4 0 14077991 1333334016 267380 33554432000 4194304 16246674 140733564659632 140733564658944 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 325521 267380 878 2943 0 322415 0
[pid=30139/tid=30140] ppid=30136 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1333334016 267380 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1333334016 267380 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1333334016 267380 33554432000 4194304 16246674 140733564659632 140497104399536 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) 1302084

[startup+3.10041 s]
/proc/loadavg: 1.49 1.83 1.92 4/183 30143
/proc/meminfo: memFree=29431192/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 267980 0 0 0 273 36 0 0 20 0 4 0 14077991 1338576896 268790 33554432000 4194304 16246674 140733564659632 140733564641536 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 326801 268790 882 2943 0 323695 0
[pid=30139/tid=30140] ppid=30136 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1338576896 268790 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1338576896 268790 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1338576896 268790 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 1.53 1.84 1.92 4/183 30143
/proc/meminfo: memFree=29423784/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 269518 0 0 0 593 36 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140733564641536 5523124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 328337 270328 884 2943 0 325231 0
[pid=30139/tid=30140] ppid=30136 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 1.57 1.84 1.92 4/183 30143
/proc/meminfo: memFree=29423596/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 269518 0 0 0 1233 36 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140733564641536 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 328337 270328 884 2943 0 325231 0
[pid=30139/tid=30140] ppid=30136 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1344868352 270328 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.67 1.85 1.92 4/183 30143
/proc/meminfo: memFree=29415940/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=25.49 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 2512 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 13954552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1322564

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

[startup+25.6005 s]
/proc/loadavg: 1.67 1.85 1.92 4/183 30143
/proc/meminfo: memFree=29415940/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=25.59 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 2522 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1322564

[startup+38.4004 s]
/proc/loadavg: 1.72 1.85 1.92 4/183 30143
/proc/meminfo: memFree=29415816/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=38.38 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 3801 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 38.38
Current children cumulated vsize (KiB) 1322564

[startup+44.8004 s]
/proc/loadavg: 1.83 1.87 1.92 4/183 30143
/proc/meminfo: memFree=29414948/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=44.78 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 4441 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 5673747 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 44.78
Current children cumulated vsize (KiB) 1322564

[startup+46.4004 s]
/proc/loadavg: 1.83 1.87 1.92 4/183 30143
/proc/meminfo: memFree=29409744/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=46.38 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 4601 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 5677656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 46.38
Current children cumulated vsize (KiB) 1322564

[startup+48.0004 s]
/proc/loadavg: 1.83 1.87 1.92 4/183 30143
/proc/meminfo: memFree=29408752/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=47.98 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 4761 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 13923843 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 47.98
Current children cumulated vsize (KiB) 1322564

[startup+48.4004 s]
/proc/loadavg: 1.85 1.87 1.92 4/183 30143
/proc/meminfo: memFree=29408752/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=48.38 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 4801 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 48.38
Current children cumulated vsize (KiB) 1322564

[startup+48.6004 s]
/proc/loadavg: 1.85 1.87 1.92 4/183 30143
/proc/meminfo: memFree=29408752/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=48.58 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 4821 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 5523536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 48.58
Current children cumulated vsize (KiB) 1322564

[startup+48.7004 s]
/proc/loadavg: 1.85 1.87 1.92 4/183 30143
/proc/meminfo: memFree=29408752/32872528 swapFree=338160/354512
[pid=30139] ppid=30136 vsize=1322564 CPUtime=48.68 cores=1,3,5,7
/proc/30139/stat : 30139 (toysat) R 30136 30139 27941 0 -1 4202496 271580 0 0 0 4831 37 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140733564641536 5675976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 330641 272390 884 2943 0 327535 0
[pid=30139/tid=30140] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30140/stat : 30140 (toysat) S 30136 30139 27941 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497230212336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=30139/tid=30141] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30141/stat : 30141 (toysat) S 30136 30139 27941 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497219722480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=30139/tid=30142] ppid=30136 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/30139/task/30142/stat : 30142 (toysat) S 30136 30139 27941 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14077991 1354305536 272390 33554432000 4194304 16246674 140733564659632 140497104399536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 48.68
Current children cumulated vsize (KiB) 1322564

Child status: 0
Real time (s): 48.7907
CPU time (s): 48.7826
CPU user time (s): 48.3426
CPU system time (s): 0.439933
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.3426
system time used= 0.439933
maximum resident set size= 1089584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271587
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= 23
involuntary context switches= 51

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.223965 second user time and 0.483926 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-17 01:38:33
IDJOB=4098290
IDBENCH=107879
IDSOLVER=2542
FILE ID=node126/4098290-1466120313
RUNJOBID= node126-1466120299-30009
PBS_JOBID= 19904128
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 3853409a11a2c0dc0d84f9dcdfb23a9b
RANDOM SEED=431369204

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30510788 kB
Buffers:           61068 kB
Cached:           162568 kB
SwapCached:         1752 kB
Active:          1198368 kB
Inactive:         103696 kB
Active(anon):    1079792 kB
Inactive(anon):      608 kB
Active(file):     118576 kB
Inactive(file):   103088 kB
Unevictable:      354512 kB
Mlocked:          338160 kB
SwapTotal:      67108856 kB
SwapFree:       67099252 kB
Dirty:             33580 kB
Writeback:             0 kB
AnonPages:       1431656 kB
Mapped:            10696 kB
Shmem:                 0 kB
Slab:             570964 kB
SReclaimable:      14664 kB
SUnreclaim:       556300 kB
KernelStack:        1472 kB
PageTables:         6584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1575204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71708 MiB
End job on node126 at 2016-06-17 01:39:21