Trace number 3737870

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
PB10: borg-pb 10.05.30SAT 215.13 204.185

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
MD5SUM6ed49b7079c02e2b7da24a0934bd3691
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.030994
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

Solver Data 

0.44/0.60	c DEBUG: probabilities of action success (DCM model):
0.44/0.60	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
0.44/0.60	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
0.44/0.60	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
0.44/0.60	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
0.44/0.60	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
0.44/0.60	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
0.44/0.60	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
0.44/0.60	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
0.44/0.61	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1066166203', u'HOME/instance-3737870-1338718666.opb'] for 0:00:10
0.54/0.72	c DEBUG: probabilities of action success (DCM model):
0.54/0.72	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
0.54/0.72	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
0.54/0.72	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
0.54/0.72	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
0.54/0.72	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
0.54/0.72	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
0.54/0.72	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
0.54/0.72	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
0.54/0.72	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1834718316', u'HOME/instance-3737870-1338718666.opb'] for 0:00:50
0.65/0.83	c DEBUG: probabilities of action success (DCM model):
0.65/0.83	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
0.65/0.83	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
0.65/0.83	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
0.65/0.83	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
0.65/0.83	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
0.65/0.83	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
0.65/0.83	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
0.65/0.83	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
0.65/0.83	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3737870-1338718666.opb'] for 0:00:50
53.71/51.35	c DEBUG: probabilities of action success (DCM model):
53.71/51.35	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
53.71/51.35	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
53.71/51.35	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
53.71/51.35	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
53.71/51.35	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
53.71/51.35	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
53.71/51.35	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
53.71/51.35	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
53.71/51.35	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=2008337566', u'HOME/instance-3737870-1338718666.opb'] for 0:01:40
53.85/51.47	c DEBUG: probabilities of action success (DCM model):
53.85/51.47	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
53.85/51.47	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
53.85/51.47	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
53.85/51.47	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
53.85/51.47	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
53.85/51.47	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
53.85/51.47	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
53.85/51.47	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
53.85/51.47	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-3737870-1338718666.opb'] for 0:01:40
159.95/152.58	c DEBUG: probabilities of action success (DCM model):
159.95/152.58	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
159.95/152.58	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
159.95/152.58	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
159.95/152.58	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
159.95/152.58	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
159.95/152.58	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
159.95/152.58	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
159.95/152.58	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
159.95/152.58	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-3737870-1338718666.opb'] for 0:00:50
213.01/202.96	c DEBUG: probabilities of action success (DCM model):
213.01/202.96	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
213.01/202.96	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
213.01/202.96	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
213.01/202.96	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
213.01/202.96	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
213.01/202.96	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
213.01/202.96	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
213.01/202.96	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
213.01/202.96	c DETAIL: running [u'java', u'-server', u'-Xms1300m', u'-Xmx1300m', u'-jar', u'HOME/etc/solvers/other/sat4j-pb-v20090826/org.sat4j.pb.jar', u'HOME/instance-3737870-1338718666.opb'] for 0:01:40
215.02/204.15	s SATISFIABLE
215.02/204.15	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 x198 x199 x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 x241 -x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 -x268 -x269 -x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3737870-1338718666/watcher-3737870-1338718666 -o /tmp/evaluation-result-3737870-1338718666/solver-3737870-1338718666 -C 1800 -W 1900 -M 15500 solver HOME/instance-3737870-1338718666.opb 1215750665 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.19 2.11 2.03 4/177 1557
/proc/meminfo: memFree=30561968/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/1557/stat : 1557 (python) D 1555 1557 31325 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 337991109 15642624 559 33554432000 4194304 5683644 140735052581888 140735052554072 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/1557/statm: 3819 559 324 364 0 261 0

[startup+0.0581421 s]
/proc/loadavg: 2.19 2.11 2.03 4/177 1557
/proc/meminfo: memFree=30561968/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=25340 CPUtime=0.03 cores=0,2,4,6
/proc/1557/stat : 1557 (python) D 1555 1557 31325 0 -1 4202496 2769 0 0 0 2 1 0 0 20 0 1 0 337991109 25948160 1183 33554432000 4194304 4196484 140734689008896 140734688888248 225435544871 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/1557/statm: 6335 1183 454 1 0 718 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25340

[startup+0.100344 s]
/proc/loadavg: 2.19 2.11 2.03 4/177 1557
/proc/meminfo: memFree=30561968/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=54108 CPUtime=0.06 cores=0,2,4,6
/proc/1557/stat : 1557 (python) R 1555 1557 31325 0 -1 4202496 3803 0 0 0 4 2 0 0 20 0 1 0 337991109 55406592 2025 33554432000 4194304 4196484 140734689008896 140734688832424 225444709264 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/1557/statm: 13527 2025 573 1 0 1382 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 54108

[startup+0.300246 s]
/proc/loadavg: 2.19 2.11 2.03 4/177 1557
/proc/meminfo: memFree=30561968/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=101420 CPUtime=0.22 cores=0,2,4,6
/proc/1557/stat : 1557 (python) R 1555 1557 31325 0 -1 4202496 6343 0 0 0 15 7 0 0 20 0 1 0 337991109 103854080 4178 33554432000 4194304 4196484 140734689008896 140734688952168 225444335508 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/1557/statm: 25355 4179 1047 1 0 3157 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 101420

[startup+0.700242 s]
/proc/loadavg: 2.19 2.11 2.03 4/177 1557
/proc/meminfo: memFree=30561968/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=134484 CPUtime=0.54 cores=0,2,4,6
/proc/1557/stat : 1557 (python) R 1555 1557 31325 0 -1 4202496 11219 1013 0 0 42 12 0 0 20 0 1 0 337991109 137711616 6347 33554432000 4194304 4196484 140734689008896 140734689000656 225444709264 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/1557/statm: 33621 6347 1170 1 0 5193 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 134484

[startup+1.50022 s]
/proc/loadavg: 2.19 2.11 2.03 3/174 1607
/proc/meminfo: memFree=30569616/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=0.87 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 13566 3922 0 0 70 16 0 1 20 0 1 0 337991109 139821056 6372 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/1557/statm: 34136 6372 1180 1 0 5193 0
[pid=1601] ppid=1557 vsize=7304 CPUtime=0.65 cores=0,2,4,6
/proc/1601/stat : 1601 (wbo1.4a) R 1557 1601 1601 0 -1 4202496 1704 0 0 0 65 0 0 0 20 0 1 0 337991192 7479296 1372 33554432000 134512640 135751879 4291707664 4291705832 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/1601/statm: 1826 1372 139 303 0 1521 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 143848

[startup+3.10026 s]
/proc/loadavg: 2.19 2.11 2.03 4/179 1628
/proc/meminfo: memFree=30532988/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=0.94 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 13569 3922 0 0 76 17 0 1 20 0 1 0 337991109 139821056 6372 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/1557/statm: 34136 6372 1180 1 0 5193 0
[pid=1601] ppid=1557 vsize=15392 CPUtime=2.25 cores=0,2,4,6
/proc/1601/stat : 1601 (wbo1.4a) R 1557 1601 1601 0 -1 4202496 3728 0 0 0 224 1 0 0 20 0 1 0 337991192 15761408 3396 33554432000 134512640 135751879 4291707664 4291705916 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 0 0
/proc/1601/statm: 3848 3396 139 303 0 3543 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 151936

[startup+6.30032 s]
/proc/loadavg: 2.26 2.13 2.04 3/179 1628
/proc/meminfo: memFree=30512776/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=1.12 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 13586 3922 0 0 92 19 0 1 20 0 1 0 337991109 139821056 6372 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6372 1180 1 0 5193 0
[pid=1601] ppid=1557 vsize=21296 CPUtime=5.45 cores=0,2,4,6
/proc/1601/stat : 1601 (wbo1.4a) R 1557 1601 1601 0 -1 4202496 5199 0 0 0 543 2 0 0 20 0 1 0 337991192 21807104 4867 33554432000 134512640 135751879 4291707664 4291705840 134616489 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1601/statm: 5324 4867 139 303 0 5019 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 157840

[startup+12.7003 s]
/proc/loadavg: 2.24 2.12 2.04 3/179 1628
/proc/meminfo: memFree=30482872/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=1.42 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 13611 3922 0 0 118 23 0 1 20 0 1 0 337991109 139821056 6372 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6372 1180 1 0 5193 0
[pid=1601] ppid=1557 vsize=29620 CPUtime=11.84 cores=0,2,4,6
/proc/1601/stat : 1601 (wbo1.4a) R 1557 1601 1601 0 -1 4202496 7254 0 0 0 1181 3 0 0 20 0 1 0 337991192 30330880 6922 33554432000 134512640 135751879 4291707664 4291705840 134616492 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1601/statm: 7405 6922 139 303 0 7100 0
Current children cumulated CPU time (s) 13.26
Current children cumulated vsize (KiB) 166164

[startup+25.5004 s]
/proc/loadavg: 2.18 2.12 2.04 4/179 1628
/proc/meminfo: memFree=30414052/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=2.06 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 13645 3922 0 0 175 30 0 1 20 0 1 0 337991109 139821056 6373 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6373 1180 1 0 5193 0
[pid=1601] ppid=1557 vsize=60956 CPUtime=24.65 cores=0,2,4,6
/proc/1601/stat : 1601 (wbo1.4a) R 1557 1601 1601 0 -1 4202496 15102 0 0 0 2457 8 0 0 20 0 1 0 337991192 62418944 14771 33554432000 134512640 135751879 4291707664 4291705832 134517414 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1601/statm: 15239 14771 139 303 0 14934 0
Current children cumulated CPU time (s) 26.71
Current children cumulated vsize (KiB) 197500

[startup+51.1003 s]
/proc/loadavg: 2.12 2.11 2.03 3/179 1628
/proc/meminfo: memFree=30225912/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=3.27 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 13657 3922 0 0 280 46 0 1 20 0 1 0 337991109 139821056 6373 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6373 1180 1 0 5193 0
[pid=1601] ppid=1557 vsize=184912 CPUtime=50.24 cores=0,2,4,6
/proc/1601/stat : 1601 (wbo1.4a) R 1557 1601 1601 0 -1 4202496 46074 0 0 0 5000 24 0 0 20 0 1 0 337991192 189349888 45751 33554432000 134512640 135751879 4291707664 4291705916 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1601/statm: 46228 45751 139 303 0 45923 0
Current children cumulated CPU time (s) 53.51
Current children cumulated vsize (KiB) 321456

[startup+102.3 s]
/proc/loadavg: 2.25 2.14 2.04 3/179 1641
/proc/meminfo: memFree=30213520/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=56.6 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 16076 52883 0 0 519 89 5024 28 20 0 1 0 337991109 139821056 6376 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6376 1180 1 0 5193 0
[pid=1634] ppid=1557 vsize=189968 CPUtime=50.81 cores=0,2,4,6
/proc/1634/stat : 1634 (wbo1.4a) R 1557 1634 1634 0 -1 4202496 47344 0 0 0 5060 21 0 0 20 0 1 0 337996257 194527232 47024 33554432000 134512640 135751879 4290669632 4290667884 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1634/statm: 47492 47024 139 303 0 47187 0
Current children cumulated CPU time (s) 107.41
Current children cumulated vsize (KiB) 326512

[startup+162.3 s]
/proc/loadavg: 2.14 2.12 2.04 3/180 1650
/proc/meminfo: memFree=30496412/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=160.74 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 17299 176049 0 0 793 122 15071 88 20 0 1 0 337991109 139821056 6377 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6377 1180 1 0 5193 0
[pid=1647] ppid=1557 vsize=26112 CPUtime=9.7 cores=0,2,4,6
/proc/1647/stat : 1647 (wbo1.4b) R 1557 1647 1647 0 -1 4202496 6389 0 0 0 968 2 0 0 20 0 1 0 338006368 26738688 6059 33554432000 134512640 135751879 4289161232 4289159244 134517408 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1647/statm: 6528 6059 144 303 0 6223 0
Current children cumulated CPU time (s) 170.44
Current children cumulated vsize (KiB) 162656

Solver just ended. Dumping a history of the last processes samples

[startup+179.2 s]
/proc/loadavg: 2.11 2.12 2.04 3/180 1650
/proc/meminfo: memFree=30411812/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=161.59 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 17314 176049 0 0 868 132 15071 88 20 0 1 0 337991109 139821056 6377 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6377 1180 1 0 5193 0
[pid=1647] ppid=1557 vsize=64232 CPUtime=26.59 cores=0,2,4,6
/proc/1647/stat : 1647 (wbo1.4b) R 1557 1647 1647 0 -1 4202496 15922 0 0 0 2652 7 0 0 20 0 1 0 338006368 65773568 15592 33554432000 134512640 135751879 4289161232 4289159248 134616492 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1647/statm: 16058 15592 144 303 0 15753 0
Current children cumulated CPU time (s) 188.18
Current children cumulated vsize (KiB) 200776

[startup+192 s]
/proc/loadavg: 2.16 2.13 2.05 3/180 1650
/proc/meminfo: memFree=30321152/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=162.2 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 17321 176049 0 0 921 140 15071 88 20 0 1 0 337991109 139821056 6377 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6377 1180 1 0 5193 0
[pid=1647] ppid=1557 vsize=122312 CPUtime=39.38 cores=0,2,4,6
/proc/1647/stat : 1647 (wbo1.4b) R 1557 1647 1647 0 -1 4202496 30422 0 0 0 3924 14 0 0 20 0 1 0 338006368 125247488 30097 33554432000 134512640 135751879 4289161232 4289159324 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1647/statm: 30578 30097 144 303 0 30273 0
Current children cumulated CPU time (s) 201.58
Current children cumulated vsize (KiB) 258856

[startup+198.4 s]
/proc/loadavg: 2.15 2.12 2.05 3/178 1650
/proc/meminfo: memFree=30272048/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=162.52 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 17325 176049 0 0 949 144 15071 88 20 0 1 0 337991109 139821056 6378 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6378 1180 1 0 5193 0
[pid=1647] ppid=1557 vsize=153144 CPUtime=45.78 cores=0,2,4,6
/proc/1647/stat : 1647 (wbo1.4b) R 1557 1647 1647 0 -1 4202496 38130 0 0 0 4560 18 0 0 20 0 1 0 338006368 156819456 37817 33554432000 134512640 135751879 4289161232 4289159324 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1647/statm: 38286 37817 144 303 0 37981 0
Current children cumulated CPU time (s) 208.3
Current children cumulated vsize (KiB) 289688

[startup+201.6 s]
/proc/loadavg: 2.13 2.12 2.04 3/179 1651
/proc/meminfo: memFree=30235956/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=162.67 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 17327 176049 0 0 962 146 15071 88 20 0 1 0 337991109 139821056 6378 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6378 1180 1 0 5193 0
[pid=1647] ppid=1557 vsize=177388 CPUtime=48.98 cores=0,2,4,6
/proc/1647/stat : 1647 (wbo1.4b) R 1557 1647 1647 0 -1 4202496 44175 0 0 0 4877 21 0 0 20 0 1 0 338006368 181645312 43862 33554432000 134512640 135751879 4289161232 4289159324 135270609 0 0 16781312 3 0 0 0 17 4 0 0 0 0 0
/proc/1647/statm: 44347 43862 144 303 0 44042 0
Current children cumulated CPU time (s) 211.65
Current children cumulated vsize (KiB) 313932

[startup+203.2 s]
/proc/loadavg: 2.13 2.12 2.04 4/179 1651
/proc/meminfo: memFree=30225664/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=213.18 cores=0,2,4,6
/proc/1557/stat : 1557 (python) S 1555 1557 31325 0 -1 4202496 18543 223476 0 0 977 147 20082 112 20 0 1 0 337991109 139821056 6379 33554432000 4194304 4196484 140734689008896 140734689000656 225444725160 0 0 16781312 2 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6379 1180 1 0 5193 0
Current children cumulated CPU time (s) 213.18
Current children cumulated vsize (KiB) 136544

[startup+203.607 s]
/proc/loadavg: 2.13 2.12 2.04 3/196 1676
/proc/meminfo: memFree=30366172/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=213.19 cores=0,2,4,6
/proc/1557/stat : 1557 (python) R 1555 1557 31325 0 -1 4202496 18543 223476 0 0 977 148 20082 112 20 0 1 0 337991109 139821056 6379 33554432000 4194304 4196484 140734689008896 140734689000656 225444750263 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6379 1180 1 0 5193 0
[pid=1657] ppid=1557 vsize=2715136 CPUtime=0.96 cores=0,2,4,6
/proc/1657/stat : 1657 (java) S 1557 1657 1657 0 -1 4202496 7631 0 1 0 93 3 0 0 20 0 19 0 338011406 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140736398599664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1657/statm: 678784 12019 2239 9 0 669477 0
[pid=1657/tid=1659] ppid=1557 vsize=2715136 CPUtime=0.59 cores=0,2,4,6
/proc/1657/task/1659/stat : 1659 (java) R 1557 1657 1657 0 -1 4202560 2752 0 1 0 57 2 0 0 20 0 19 0 338011407 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287036445624 140286869202671 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=1657/tid=1660] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1660/stat : 1660 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287020895144 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1661] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1661/stat : 1661 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287019842600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1657/tid=1662] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1662/stat : 1662 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287018789544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1657/tid=1663] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1663/stat : 1663 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287017737000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1657/tid=1664] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1664/stat : 1664 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287016683944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1665] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1665/stat : 1665 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287015631400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1657/tid=1666] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1666/stat : 1666 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287014578344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1667] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1667/stat : 1667 (java) S 1557 1657 1657 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338011408 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287013525800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1668] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1668/stat : 1668 (java) S 1557 1657 1657 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338011410 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287001115496 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1669] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1669/stat : 1669 (java) S 1557 1657 1657 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338011410 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140287000061816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1670] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1670/stat : 1670 (java) S 1557 1657 1657 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338011410 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140286999008648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1671] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1671/stat : 1671 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011413 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140286997957392 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1672] ppid=1557 vsize=2715136 CPUtime=0.1 cores=0,2,4,6
/proc/1657/task/1672/stat : 1672 (java) S 1557 1657 1657 0 -1 4202560 1180 0 0 0 10 0 0 0 20 0 19 0 338011413 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140286996904248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1674] ppid=1557 vsize=2715136 CPUtime=0.23 cores=0,2,4,6
/proc/1657/task/1674/stat : 1674 (java) S 1557 1657 1657 0 -1 4202560 2192 0 0 0 23 0 0 0 20 0 19 0 338011413 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140286995851704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1657/tid=1675] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1675/stat : 1675 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011413 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140286994798840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1657/tid=1676] ppid=1557 vsize=2715136 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1676/stat : 1676 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338011413 2780299264 12019 33554432000 1073741824 1073778376 140736398608528 140286993746504 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 214.15
Current children cumulated vsize (KiB) 2851680

[startup+204.001 s]
/proc/loadavg: 2.13 2.12 2.04 3/196 1676
/proc/meminfo: memFree=30366172/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=213.26 cores=0,2,4,6
/proc/1557/stat : 1557 (python) R 1555 1557 31325 0 -1 4202496 18548 223476 0 0 984 148 20082 112 20 0 1 0 337991109 139821056 6380 33554432000 4194304 4196484 140734689008896 140734688997400 225444708100 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6380 1180 1 0 5193 0
[pid=1657] ppid=1557 vsize=2781700 CPUtime=1.65 cores=0,2,4,6
/proc/1657/stat : 1657 (java) S 1557 1657 1657 0 -1 4202496 10339 0 1 0 162 3 0 0 20 0 20 0 338011406 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140736398599664 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1657/statm: 695425 24515 2247 9 0 686118 0
[pid=1657/tid=1659] ppid=1557 vsize=2781700 CPUtime=0.92 cores=0,2,4,6
/proc/1657/task/1659/stat : 1659 (java) S 1557 1657 1657 0 -1 4202560 2775 0 1 0 90 2 0 0 20 0 20 0 338011407 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287036445400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1657/tid=1660] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1660/stat : 1660 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287020895144 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1661] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1661/stat : 1661 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287019842600 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1657/tid=1662] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1662/stat : 1662 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287018789544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1657/tid=1663] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1663/stat : 1663 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287017737000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1657/tid=1664] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1664/stat : 1664 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287016683944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1665] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1665/stat : 1665 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287015631400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1657/tid=1666] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1666/stat : 1666 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287014578344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1667] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1667/stat : 1667 (java) S 1557 1657 1657 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 338011408 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287013525800 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1668] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1668/stat : 1668 (java) S 1557 1657 1657 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 338011410 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287001115496 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1669] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1669/stat : 1669 (java) S 1557 1657 1657 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 338011410 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140287000061816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1670] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1670/stat : 1670 (java) S 1557 1657 1657 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338011410 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140286999008648 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1671] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1671/stat : 1671 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011413 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140286997957392 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1672] ppid=1557 vsize=2781700 CPUtime=0.29 cores=0,2,4,6
/proc/1657/task/1672/stat : 1672 (java) S 1557 1657 1657 0 -1 4202560 2947 0 0 0 29 0 0 0 20 0 20 0 338011413 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140286996904248 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1657/tid=1674] ppid=1557 vsize=2781700 CPUtime=0.39 cores=0,2,4,6
/proc/1657/task/1674/stat : 1674 (java) S 1557 1657 1657 0 -1 4202560 3101 0 0 0 38 1 0 0 20 0 20 0 338011413 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140286995851704 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1657/tid=1675] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1675/stat : 1675 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011413 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140286994798840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1657/tid=1676] ppid=1557 vsize=2781700 CPUtime=0 cores=0,2,4,6
/proc/1657/task/1676/stat : 1676 (java) S 1557 1657 1657 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338011413 2848460800 24515 33554432000 1073741824 1073778376 140736398608528 140286993746504 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 214.91
Current children cumulated vsize (KiB) 2918244

[startup+204.101 s]
/proc/loadavg: 2.13 2.12 2.04 3/196 1676
/proc/meminfo: memFree=30366172/32873844 swapFree=7900/7900
[pid=1557] ppid=1555 vsize=136544 CPUtime=213.36 cores=0,2,4,6
/proc/1557/stat : 1557 (python) R 1555 1557 31325 0 -1 4202496 18558 223476 0 0 993 149 20082 112 20 0 1 0 337991109 139821056 6384 33554432000 4194304 4196484 140734689008896 140734688997224 140111105921810 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/1557/statm: 34136 6384 1180 1 0 5193 0
[pid=1657] ppid=1557 vsize=0 CPUtime=1.66 cores=0,2,4,6
/proc/1657/stat : 1657 (java) Z 1557 1657 1657 0 -1 4203532 10352 0 1 0 160 6 0 0 20 0 1 0 338011406 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1657/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 215.02
Current children cumulated vsize (KiB) 136544

Child status: 10
Real time (s): 204.185
CPU time (s): 215.13
CPU user time (s): 212.429
CPU system time (s): 2.70159
CPU usage (%): 105.361
Max. virtual memory (cumulated for all children) (KiB): 2918244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.429
system time used= 2.70159
maximum resident set size= 487720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258265
page faults= 1
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2268
involuntary context switches= 508

runsolver used 0.39094 second user time and 1.07684 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-03 12:17:46
IDJOB=3737870
IDBENCH=48338
IDSOLVER=2323
FILE ID=node137/3737870-1338718666
RUNJOBID= node137-1338714575-31341
PBS_JOBID= 14636756
Free space on /tmp= 70304 MiB

SOLVER NAME= PB10: borg-pb 10.05.30
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737870-1338718666/watcher-3737870-1338718666 -o /tmp/evaluation-result-3737870-1338718666/solver-3737870-1338718666 -C 1800 -W 1900 -M 15500  solver HOME/instance-3737870-1338718666.opb 1215750665 

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

MD5SUM BENCH= 6ed49b7079c02e2b7da24a0934bd3691
RANDOM SEED=1215750665

node137.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.600
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.20
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.600
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	: 5331.91
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.600
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	: 5331.92
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.600
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	: 5331.91
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.600
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	: 5331.91
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.600
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	: 5331.90
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.600
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	: 5331.91
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.600
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30561968 kB
Buffers:          229452 kB
Cached:          1223436 kB
SwapCached:         5796 kB
Active:           817784 kB
Inactive:         668036 kB
Active(anon):      28008 kB
Inactive(anon):     7172 kB
Active(file):     789776 kB
Inactive(file):   660864 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             42920 kB
Writeback:             0 kB
AnonPages:         36340 kB
Mapped:            13276 kB
Shmem:                 0 kB
Slab:             687172 kB
SReclaimable:     126888 kB
SUnreclaim:       560284 kB
KernelStack:        1464 kB
PageTables:         4320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70284 MiB
End job on node137 at 2012-06-03 12:21:10