Trace number 4093203

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-02OPTIMUM 8.76167 8.76993

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-pedck60-L1_wcsp.wbo
MD5SUM141c70ccdeff9d61b79607f99f3cbf6c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.2908
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables600
Total number of constraints36600
Number of soft constraints36540
Number of constraints which are clauses36540
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 61
Min constraint cost 1
Max constraint cost 61
Sum of constraints costs 2196540
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-16T22:59:41+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","--wbo","--search=bcd2","HOME/instance-4093203-1466110781.wbo"]
0.00/0.01	c use --random-gen="2019955672 2802743608 483110148 2134532866 1423579150 3366791610 2071587840 547164624 1147476757 1125170549 4134584488 2798403460 2216174978 521741372 3418863079 3071188124 3036869651 3520366685 2610498176 2358034417 3171514018 2514900739 681054535 1938410652 2233816705 2914553534 2121081144 519145031 1100676566 121896803 3232838462 2144392855 3748509629 3655703918 4269187135 3033385275 343408645 1947997234 3263051235 2480981206 194199634 1215128935 521533869 652282723 3714816497 3800923674 248228277 87595570 1013650192 1557941385 3273103884 4122900485 2551565108 3646750364 2820263216 3911282103 1027982209 1005916119 2625927284 3619256787 3114954292 2880223473 2537795475 4146973579 1272761991 3559530924 393875711 792193254 1591605086 3491217833 4120131563 2396229804 3632411199 2908654333 3272768857 824577567 3590207007 2021015761 2408351191 439498784 319646107 1957620797 794930952 688405067 1802542063 1641940571 3078500760 909638159 3658225478 883456831 1803456659 347460649 3138841398 3228673251 616478830 1070321510 2534175765 128068061 39611618 158083681 657999683 4151126044 4010131113 4056230392 2398723808 1873280811 1619181969 3576583187 2968579112 2520285014 4013158735 873510989 3902469563 532756513 212118211 4076415818 4048993046 935814935 3524910514 4277245365 2448985957 4285205283 413323265 3644190203 198147686 848133529 4079558580 351911471 2357127482 998815890 3500351261 3751849708 3867711569 4082817750 3892863403 3518437639 669062779 4089321442 1519766074 1894261425 3747700555 2664535048 4011177043 1945240538 3402251719 1288247244 1062444066 419437341 2076903740 3647435959 2950425192 676902021 1784674564 1318890728 1396114715 1191495403 1375699065 976494806 3989849939 3756638911 3193238753 2621085499 3102458486 2008230116 1143287098 2367999878 3785491952 3416642465 1102911721 4121666902 2380366197 2078162208 139097469 3553913195 2723697151 830122215 2864263085 3248502540 2118760996 615774459 2161236292 1995588469 4181201603 3252128154 1988074342 2246465893 3600176307 43093949 3972097502 3001728665 1710077402 2750055097 2089030042 1439936158 637719470 2024324123 958892810 1281662103 1876137508 3292485109 368246307 3372548409 255929766 3235329942 3990344052 2086307512 565454929 1143651249 251023100 1746731803 2031013715 4012346205 2521884843 1777975167 119175190 1727054737 4111606953 456646749 380602108 1111389690 361463850 4280897839 2921293603 115481049 2803764359 2015194860 2897070735 3726838854 742804950 1497579886 698798032 2819000798 1301521052 3494300172 2963222445 3522558170 166174762 4186962761 1972805603 2482411648 642966067 4166229311 363496318 2977517339 2038845700 2036367726 516013473 3826203311 312517805 2993442291 988916395 2451100741 476447527 674130524 336711588 2341512305 255 362436" option to reproduce the execution
6.98/7.04	c #vars 600
6.98/7.04	c #constraints 36600
8.08/8.12	c BCD2: Hardening is enabled.
8.08/8.12	c BCD2: BiasedSearch is enabled.
8.08/8.12	c Solving starts ...
8.08/8.12	c ============================[ Search Statistics ]============================
8.08/8.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.08/8.12	c       |         |          |          |    Limit     GC | Var      | Constra 
8.08/8.12	c =============================================================================
8.08/8.12	c  0.0s |       0 |        0 |        0 |    24240      0 |    36000 |        0
8.38/8.45	c  0.3s |       0 |      162 |        8 |    24240      0 |    36000 |        0
8.38/8.45	c #cpu_time = 0.324s
8.38/8.45	c #wall_clock_time = 0.325s
8.38/8.45	c #decision = 162
8.38/8.45	c #random_decision = 0
8.38/8.45	c #conflict = 8
8.38/8.45	c #restart = 0
8.38/8.45	o 59
8.48/8.54	c BCD2: hardening fixes 36000 literals
8.48/8.54	c BCD2: updating upper bound: 2196540 -> 58
8.48/8.58	c BCD2: 0 <= obj <= 58
8.48/8.59	c BCD2: #cores=0, #unrelaxed=540, #relaxed=0, #hardened=36000
8.48/8.59	c BCD2: #sat=1 #unsat=1 bias=1/2
8.48/8.59	c Solving starts ...
8.48/8.59	c ============================[ Search Statistics ]============================
8.48/8.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.48/8.59	c       |         |          |          |    Limit     GC | Var      | Constra 
8.48/8.59	c =============================================================================
8.48/8.59	c  0.0s |       0 |        0 |        0 |    24240      0 |    36000 |        1
8.58/8.61	c  0.0s |       0 |      430 |        0 |    24240      0 |    36000 |        1
8.58/8.61	c #cpu_time = 0.020s
8.58/8.61	c #wall_clock_time = 0.020s
8.58/8.61	c #decision = 430
8.58/8.61	c #random_decision = 0
8.58/8.61	c #conflict = 0
8.58/8.61	c #restart = 0
8.58/8.61	c BCD2: found a new core of size 146: cost of the new core is >=1
8.58/8.61	c lower bound updated to 1
8.58/8.63	c BCD2: 1 <= obj <= 58
8.58/8.63	c BCD2: #cores=1, #unrelaxed=394, #relaxed=146, #hardened=36000
8.58/8.63	c BCD2: #sat=1 #unsat=2 bias=2/3
8.58/8.63	c Solving starts ...
8.58/8.63	c ============================[ Search Statistics ]============================
8.58/8.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.58/8.63	c       |         |          |          |    Limit     GC | Var      | Constra 
8.58/8.63	c =============================================================================
8.58/8.63	c  0.0s |       0 |        0 |        0 |    24240      0 |    36000 |        1
8.58/8.65	c  0.0s |       0 |      350 |        0 |    24240      0 |    36000 |        1
8.58/8.65	c #cpu_time = 0.018s
8.58/8.65	c #wall_clock_time = 0.018s
8.58/8.65	c #decision = 350
8.58/8.65	c #random_decision = 0
8.58/8.65	c #conflict = 0
8.58/8.65	c #restart = 0
8.58/8.65	c BCD2: found a new core of size 28: cost of the new core is >=1
8.58/8.65	c lower bound updated to 2
8.58/8.67	c BCD2: 2 <= obj <= 58
8.58/8.67	c BCD2: #cores=2, #unrelaxed=366, #relaxed=174, #hardened=36000
8.58/8.67	c BCD2: #sat=1 #unsat=3 bias=3/4
8.58/8.67	c Solving starts ...
8.58/8.67	c ============================[ Search Statistics ]============================
8.58/8.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.58/8.67	c       |         |          |          |    Limit     GC | Var      | Constra 
8.58/8.67	c =============================================================================
8.58/8.67	c  0.0s |       0 |        0 |        0 |    24240      0 |    36000 |        1
8.58/8.69	c  0.0s |       0 |      407 |        0 |    24240      0 |    36000 |        1
8.58/8.69	c #cpu_time = 0.019s
8.58/8.69	c #wall_clock_time = 0.019s
8.58/8.69	c #decision = 407
8.58/8.69	c #random_decision = 0
8.58/8.69	c #conflict = 0
8.58/8.69	c #restart = 0
8.58/8.69	o 2
8.68/8.71	s OPTIMUM FOUND
8.68/8.71	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
8.68/8.71	v -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
8.68/8.71	v -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
8.68/8.71	v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
8.68/8.71	v -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50
8.68/8.71	v -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60
8.68/8.71	v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70
8.68/8.71	v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
8.68/8.71	v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
8.68/8.71	v -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100
8.68/8.71	v -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110
8.68/8.71	v -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
8.68/8.71	v -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
8.68/8.71	v -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140
8.68/8.71	v -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150
8.68/8.71	v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
8.68/8.71	v x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
8.68/8.71	v -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180
8.68/8.71	v -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190
8.68/8.71	v -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
8.68/8.71	v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
8.68/8.71	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220
8.68/8.71	v -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
8.68/8.71	v -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240
8.68/8.71	v -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
8.68/8.71	v x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
8.68/8.71	v x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
8.68/8.71	v -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280
8.68/8.71	v -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290
8.68/8.71	v -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300
8.68/8.71	v -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
8.68/8.71	v -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
8.68/8.71	v -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
8.68/8.71	v -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340
8.68/8.71	v -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
8.68/8.71	v -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
8.68/8.71	v -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
8.68/8.71	v -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380
8.68/8.71	v -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
8.68/8.71	v -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400
8.68/8.71	v -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410
8.68/8.71	v -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420
8.68/8.71	v -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
8.68/8.71	v -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440
8.68/8.71	v -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
8.68/8.71	v -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460
8.68/8.71	v -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470
8.68/8.71	v -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
8.68/8.71	v -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
8.68/8.71	v -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
8.68/8.71	v -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510
8.68/8.71	v -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
8.68/8.71	v -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530
8.68/8.71	v -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540
8.68/8.71	v -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
8.68/8.71	v -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560
8.68/8.71	v -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
8.68/8.71	v -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580
8.68/8.71	v -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590
8.68/8.71	v -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
8.68/8.71	c total CPU time = 8.684s
8.68/8.71	c total wall clock time = 8.706s

Verifier Data 

OK	2

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-4093203-1466110781/watcher-4093203-1466110781 -o /tmp/evaluation-result-4093203-1466110781/solver-4093203-1466110781 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466108970-16314 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093203-1466110781.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.20 2.12 3/168 16573
/proc/meminfo: memFree=30505276/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/16573/stat : 16573 (runsolver) D 16570 16573 14504 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 13125018 24911872 151 33554432000 4194304 4338465 140736016996880 140736016994520 227512503479 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/16573/statm: 6082 151 105 36 0 2655 0

[startup+0.100172 s]
/proc/loadavg: 2.25 2.20 2.12 3/168 16573
/proc/meminfo: memFree=30505276/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 25595 0 0 0 5 3 0 0 20 0 4 0 13125018 1250496512 26407 33554432000 4194304 16246674 140735099322544 140735099321856 7376282 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 305297 26424 801 2943 0 302191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200403 s]
/proc/loadavg: 2.25 2.20 2.12 3/168 16573
/proc/meminfo: memFree=30505276/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1304132 CPUtime=0.18 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 48005 0 0 0 12 6 0 0 20 0 4 0 13125018 1335431168 49327 33554432000 4194304 16246674 140735099322544 140735099321856 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 326033 49331 801 2943 0 322927 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1304132

[startup+0.300381 s]
/proc/loadavg: 2.25 2.20 2.12 3/168 16573
/proc/meminfo: memFree=30505276/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 61893 0 0 0 20 8 0 0 20 0 4 0 13125018 1345916928 63215 33554432000 4194304 16246674 140735099322544 140735099321856 4206577 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 328593 63215 801 2943 0 325487 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700323 s]
/proc/loadavg: 2.25 2.20 2.12 3/168 16573
/proc/meminfo: memFree=30505276/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1314372 CPUtime=0.68 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 67581 0 0 0 59 9 0 0 20 0 4 0 13125018 1345916928 68904 33554432000 4194304 16246674 140735099322544 140735099304448 12459048 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 328593 68916 833 2943 0 325487 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1314372

[startup+1.50042 s]
/proc/loadavg: 2.23 2.19 2.12 3/181 16590
/proc/meminfo: memFree=29364752/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1332804 CPUtime=1.48 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 142403 0 0 0 129 19 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140735099304448 13807766 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 333201 143725 834 2943 0 330095 0
[pid=16573/tid=16579] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1332804

[startup+3.10041 s]
/proc/loadavg: 2.23 2.19 2.12 3/181 16590
/proc/meminfo: memFree=29360784/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1332804 CPUtime=3.08 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 142403 0 0 0 289 19 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140735099304448 13774216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 333201 143725 834 2943 0 330095 0
[pid=16573/tid=16579] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 143725 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1332804

[startup+6.3004 s]
/proc/loadavg: 2.23 2.19 2.12 3/181 16590
/proc/meminfo: memFree=28895308/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1332804 CPUtime=6.28 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 217691 0 0 0 598 30 0 0 20 0 4 0 13125018 1364791296 219013 33554432000 4194304 16246674 140735099322544 140735099304448 12503797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 333201 219013 834 2943 0 330095 0
[pid=16573/tid=16579] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 219013 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 219013 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 219014 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1332804

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

[startup+6.40047 s]
/proc/loadavg: 2.23 2.19 2.12 3/181 16590
/proc/meminfo: memFree=28895308/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1332804 CPUtime=6.38 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 219719 0 0 0 608 30 0 0 20 0 4 0 13125018 1364791296 221041 33554432000 4194304 16246674 140735099322544 140735099304448 12486453 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 333201 221041 834 2943 0 330095 0
[pid=16573/tid=16579] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 221041 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 221041 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1364791296 221041 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 1332804

[startup+8.00044 s]
/proc/loadavg: 2.21 2.19 2.12 3/181 16590
/proc/meminfo: memFree=28693612/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1353284 CPUtime=7.98 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 231062 0 0 0 766 32 0 0 20 0 4 0 13125018 1385762816 232384 33554432000 4194304 16246674 140735099322544 140735099304448 4206649 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 338321 232384 857 2943 0 335215 0
[pid=16573/tid=16579] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232384 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232384 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232384 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 1353284

[startup+8.40044 s]
/proc/loadavg: 2.21 2.19 2.12 3/181 16590
/proc/meminfo: memFree=28693612/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1353284 CPUtime=8.38 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 231113 0 0 0 806 32 0 0 20 0 4 0 13125018 1385762816 232435 33554432000 4194304 16246674 140735099322544 140735099304448 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 338321 232435 907 2943 0 335215 0
[pid=16573/tid=16579] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232435 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232435 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232435 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 1353284

[startup+8.60045 s]
/proc/loadavg: 2.21 2.19 2.12 3/181 16590
/proc/meminfo: memFree=28693612/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1353284 CPUtime=8.58 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 231127 0 0 0 826 32 0 0 20 0 4 0 13125018 1385762816 232449 33554432000 4194304 16246674 140735099322544 140735099320384 5531312 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 338321 232449 921 2943 0 335215 0
[pid=16573/tid=16579] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232449 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232449 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232449 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 1353284

[startup+8.70043 s]
/proc/loadavg: 2.21 2.19 2.12 3/181 16590
/proc/meminfo: memFree=28693612/32872528 swapFree=1315980/1463148
[pid=16573] ppid=16570 vsize=1353284 CPUtime=8.68 cores=1,3,5,7
/proc/16573/stat : 16573 (toysat) R 16570 16573 14504 0 -1 4202496 231135 0 0 0 836 32 0 0 20 0 4 0 13125018 1385762816 232457 33554432000 4194304 16246674 140735099322544 140735099320384 12874961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16573/statm: 338321 232457 929 2943 0 335215 0
[pid=16573/tid=16579] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16579/stat : 16579 (toysat) S 16570 16573 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232457 33554432000 4194304 16246674 140735099322544 140311110069488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 7 0 0 0 0 0
[pid=16573/tid=16580] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16580/stat : 16580 (toysat) S 16570 16573 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232457 33554432000 4194304 16246674 140735099322544 140311099579632 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16573/tid=16581] ppid=16570 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/16573/task/16581/stat : 16581 (toysat) S 16570 16573 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13125018 1385762816 232457 33554432000 4194304 16246674 140735099322544 140311011519664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 1353284

Child status: 0
Real time (s): 8.76993
CPU time (s): 8.76167
CPU user time (s): 8.38372
CPU system time (s): 0.377942
CPU usage (%): 99.9058
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.38373
system time used= 0.377942
maximum resident set size= 929832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231137
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= 22
involuntary context switches= 11

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026995 second user time and 0.036994 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-16 22:59:41
IDJOB=4093203
IDBENCH=79624
IDSOLVER=2553
FILE ID=node121/4093203-1466110781
RUNJOBID= node121-1466108970-16314
PBS_JOBID= 19904064
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/pedigree/normalized-pedck60-L1_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093203-1466110781/watcher-4093203-1466110781 -o /tmp/evaluation-result-4093203-1466110781/solver-4093203-1466110781 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466108970-16314 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093203-1466110781.wbo

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

MD5SUM BENCH= 141c70ccdeff9d61b79607f99f3cbf6c
RANDOM SEED=1081039524

node121.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.691
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.38
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.691
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.691
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.691
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.691
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.54
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.691
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.691
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.56
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.691
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:        30506084 kB
Buffers:           42744 kB
Cached:           151580 kB
SwapCached:         2496 kB
Active:           100172 kB
Inactive:          98932 kB
Active(anon):       4604 kB
Inactive(anon):     1756 kB
Active(file):      95568 kB
Inactive(file):    97176 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099740 kB
Dirty:             35044 kB
Writeback:             0 kB
AnonPages:       1465368 kB
Mapped:             7160 kB
Shmem:                 0 kB
Slab:             569764 kB
SReclaimable:      13368 kB
SUnreclaim:       556396 kB
KernelStack:        1424 kB
PageTables:         6136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1547596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node121 at 2016-06-16 22:59:50