Trace number 2675929

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
borg-pb 10.05.30SAT 221.634 208.078

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_15.opb
MD5SUMfc2cc3328b52c15b44db6557e5f99e21
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.041993
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)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

Solver Data 

1.04/1.56	c DEBUG: probabilities of action success (DCM model):
1.04/1.56	c        pb/competition_2010/bsolo_pb10-l1   : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331
1.04/1.56	c        pb/competition_2010/bsolo_pb10-l2   : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493
1.04/1.56	c        pb/competition_2010/bsolo_pb10-l3   : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927
1.04/1.56	c        pb/competition_2010/wbo1.4a         : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114
1.04/1.56	c        pb/competition_2010/wbo1.4b         : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796
1.04/1.56	c        pb/other/clasp-1.3.3                : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586
1.04/1.56	c        pb/other/sat4j-pb-v20090829         : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315
1.04/1.56	c        pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110
1.04/1.59	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1474735602', u'HOME/instance-2675929-1277135829.opb'] for 0:00:10
1.23/1.76	c DEBUG: probabilities of action success (DCM model):
1.23/1.76	c        pb/competition_2010/bsolo_pb10-l1   : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203
1.23/1.76	c        pb/competition_2010/bsolo_pb10-l2   : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839
1.23/1.76	c        pb/competition_2010/bsolo_pb10-l3   : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668
1.23/1.76	c        pb/competition_2010/wbo1.4a         : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920
1.23/1.76	c        pb/competition_2010/wbo1.4b         : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713
1.23/1.76	c        pb/other/clasp-1.3.3                : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405
1.23/1.76	c        pb/other/sat4j-pb-v20090829         : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733
1.23/1.76	c        pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874
1.23/1.77	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1057259890', u'HOME/instance-2675929-1277135829.opb'] for 0:00:50
1.43/1.94	c DEBUG: probabilities of action success (DCM model):
1.43/1.94	c        pb/competition_2010/bsolo_pb10-l1   : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502
1.43/1.94	c        pb/competition_2010/bsolo_pb10-l2   : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606
1.43/1.94	c        pb/competition_2010/bsolo_pb10-l3   : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877
1.43/1.94	c        pb/competition_2010/wbo1.4a         : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608
1.43/1.94	c        pb/competition_2010/wbo1.4b         : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592
1.43/1.94	c        pb/other/clasp-1.3.3                : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135
1.43/1.94	c        pb/other/sat4j-pb-v20090829         : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124
1.43/1.94	c        pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541
1.43/1.94	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675929-1277135829.opb'] for 0:00:50
55.34/52.72	c DEBUG: probabilities of action success (DCM model):
55.34/52.72	c        pb/competition_2010/bsolo_pb10-l1   : 0.0278 0.0511 0.0882 0.1629 0.2421 0.2747 0.3900
55.34/52.72	c        pb/competition_2010/bsolo_pb10-l2   : 0.0061 0.0084 0.0115 0.0469 0.0744 0.0930 0.2225
55.34/52.72	c        pb/competition_2010/bsolo_pb10-l3   : 0.0329 0.0577 0.0782 0.1040 0.1360 0.1770 0.3184
55.34/52.72	c        pb/competition_2010/wbo1.4a         : 0.0617 0.0395 0.2320 0.4467 0.5948 0.6636 0.8342
55.34/52.72	c        pb/competition_2010/wbo1.4b         : 0.0760 0.1558 0.2360 0.4683 0.6510 0.7218 0.8401
55.34/52.72	c        pb/other/clasp-1.3.3                : 0.0355 0.0586 0.3520 0.6663 0.7778 0.8140 0.9027
55.34/52.72	c        pb/other/sat4j-pb-v20090829         : 0.0298 0.1246 0.2164 0.3716 0.4617 0.5539 0.6982
55.34/52.72	c        pb/other/sat4j-pb-v20090829-cutting : 0.0122 0.0710 0.0791 0.1770 0.2095 0.2645 0.4127
55.34/52.72	c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=1112055742', u'HOME/instance-2675929-1277135829.opb'] for 0:01:40
55.44/52.89	c DEBUG: probabilities of action success (DCM model):
55.44/52.89	c        pb/competition_2010/bsolo_pb10-l1   : 0.0247 0.0400 0.0751 0.1401 0.2219 0.2508 0.3462
55.44/52.89	c        pb/competition_2010/bsolo_pb10-l2   : 0.0050 0.0071 0.0079 0.0295 0.0510 0.0684 0.1710
55.44/52.89	c        pb/competition_2010/bsolo_pb10-l3   : 0.0355 0.0650 0.0805 0.0954 0.1214 0.1529 0.2736
55.44/52.89	c        pb/competition_2010/wbo1.4a         : 0.0631 0.0338 0.2163 0.4128 0.5510 0.6157 0.7989
55.44/52.89	c        pb/competition_2010/wbo1.4b         : 0.0545 0.1268 0.2082 0.4263 0.5997 0.6749 0.8065
55.44/52.89	c        pb/other/clasp-1.3.3                : 0.0347 0.0418 0.0948 0.6033 0.7238 0.7699 0.8744
55.44/52.89	c        pb/other/sat4j-pb-v20090829         : 0.0247 0.1147 0.2008 0.3538 0.4371 0.5085 0.6375
55.44/52.89	c        pb/other/sat4j-pb-v20090829-cutting : 0.0098 0.0590 0.0635 0.1475 0.1811 0.2159 0.3382
55.44/52.89	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675929-1277135829.opb'] for 0:01:40
163.15/154.27	c DEBUG: probabilities of action success (DCM model):
163.15/154.27	c        pb/competition_2010/bsolo_pb10-l1   : 0.0156 0.0235 0.0614 0.1303 0.1974 0.2250 0.3271
163.15/154.27	c        pb/competition_2010/bsolo_pb10-l2   : 0.0011 0.0016 0.0016 0.0218 0.0428 0.0588 0.1723
163.15/154.27	c        pb/competition_2010/bsolo_pb10-l3   : 0.0364 0.0633 0.0713 0.0764 0.0953 0.1265 0.2416
163.15/154.27	c        pb/competition_2010/wbo1.4a         : 0.0388 0.0143 0.0065 0.3252 0.4879 0.5653 0.7780
163.15/154.27	c        pb/competition_2010/wbo1.4b         : 0.0491 0.1120 0.1818 0.3951 0.5855 0.6732 0.7962
163.15/154.27	c        pb/other/clasp-1.3.3                : 0.0380 0.0372 0.0847 0.6129 0.7311 0.7735 0.8750
163.15/154.27	c        pb/other/sat4j-pb-v20090829         : 0.0223 0.0941 0.1681 0.3180 0.4093 0.4810 0.6269
163.15/154.27	c        pb/other/sat4j-pb-v20090829-cutting : 0.0089 0.0525 0.0541 0.1163 0.1522 0.1791 0.3190
163.15/154.28	c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4b/wbo1.4b', u'-file-format=opb', u'HOME/instance-2675929-1277135829.opb'] for 0:00:50
217.07/205.07	c DEBUG: probabilities of action success (DCM model):
217.07/205.07	c        pb/competition_2010/bsolo_pb10-l1   : 0.0121 0.0167 0.0564 0.1255 0.1980 0.2239 0.3192
217.07/205.07	c        pb/competition_2010/bsolo_pb10-l2   : 0.0002 0.0004 0.0004 0.0188 0.0361 0.0540 0.1522
217.07/205.07	c        pb/competition_2010/bsolo_pb10-l3   : 0.0390 0.0684 0.0706 0.0756 0.0833 0.1148 0.2137
217.07/205.07	c        pb/competition_2010/wbo1.4a         : 0.0407 0.0109 0.0051 0.2928 0.4496 0.5315 0.7564
217.07/205.07	c        pb/competition_2010/wbo1.4b         : 0.0348 0.0018 0.1419 0.3470 0.5421 0.6387 0.7765
217.07/205.07	c        pb/other/clasp-1.3.3                : 0.0383 0.0341 0.0720 0.5896 0.7131 0.7571 0.8647
217.07/205.07	c        pb/other/sat4j-pb-v20090829         : 0.0164 0.0836 0.1593 0.3116 0.3998 0.4540 0.5947
217.07/205.07	c        pb/other/sat4j-pb-v20090829-cutting : 0.0074 0.0356 0.0375 0.0756 0.1084 0.1272 0.2619
217.07/205.07	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-2675929-1277135829.opb'] for 0:01:40
221.54/208.01	s SATISFIABLE
221.54/208.01	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 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675929-1277135829/watcher-2675929-1277135829 -o /tmp/evaluation-result-2675929-1277135829/solver-2675929-1277135829 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675929-1277135829.opb 102000795 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.19 1.12 0.96 3/106 11529
/proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=16708 CPUtime=0
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 730 0 0 0 0 0 0 0 18 0 1 0 54875006 17108992 496 1992294400 4194304 4196484 140736396578384 18446744073709551615 242171196101 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11529/statm: 4177 497 272 1 0 273 0

[startup+0.074297 s]
/proc/loadavg: 1.19 1.12 0.96 3/106 11529
/proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=18504 CPUtime=0.05
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 2074 0 0 0 3 2 0 0 21 0 1 0 54875006 18948096 1075 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171533312 0 2147483391 16781312 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 4626 1075 423 1 0 606 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18504

[startup+0.104459 s]
/proc/loadavg: 1.19 1.12 0.96 3/106 11529
/proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=32156 CPUtime=0.08
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 2412 0 0 0 5 3 0 0 21 0 1 0 54875006 32927744 1390 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883740003 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 8039 1390 459 1 0 911 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32156

[startup+0.300457 s]
/proc/loadavg: 1.19 1.12 0.96 3/106 11529
/proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=70600 CPUtime=0.24
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 3967 0 0 0 16 8 0 0 20 0 1 0 54875006 72294400 2804 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883700488 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 17650 2804 693 1 0 2137 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 70600

[startup+0.700453 s]
/proc/loadavg: 1.19 1.12 0.96 3/106 11529
/proc/meminfo: memFree=1779224/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=98836 CPUtime=0.52
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 4866 0 0 0 32 20 0 0 20 0 1 0 54875006 101208064 3580 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171531269 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 24709 3580 1022 1 0 2566 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 98836

[startup+1.50145 s]
/proc/loadavg: 1.19 1.12 0.96 2/107 11534
/proc/meminfo: memFree=1762600/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=119644 CPUtime=1.04
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 9047 931 0 0 72 32 0 0 16 0 1 0 54875006 122515456 6181 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883755328 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 29911 6181 1063 1 0 5165 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 119644

[startup+3.10043 s]
/proc/loadavg: 1.19 1.12 0.96 2/108 11541
/proc/meminfo: memFree=1755772/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=1.79
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12627 3820 0 0 128 46 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6333 1143 1 0 5165 0
[pid=11541] ppid=11529 vsize=7084 CPUtime=1.13
/proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 1651 0 0 0 112 1 0 0 19 0 1 0 54875201 7254016 1318 1992294400 134512640 135751879 4288325104 18446744073709551615 134517424 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11541/statm: 1771 1318 139 303 0 1466 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 141196

[startup+6.3004 s]
/proc/loadavg: 1.34 1.15 0.97 3/108 11541
/proc/meminfo: memFree=1748332/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=2.01
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12640 3820 0 0 145 51 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6333 1143 1 0 5165 0
[pid=11541] ppid=11529 vsize=12416 CPUtime=4.3
/proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 2992 0 0 0 427 3 0 0 25 0 1 0 54875201 12713984 2659 1992294400 134512640 135751879 4288325104 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11541/statm: 3104 2659 139 303 0 2799 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 146528

[startup+12.7003 s]
/proc/loadavg: 1.31 1.15 0.97 2/108 11541
/proc/meminfo: memFree=1741264/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=2.39
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12654 3820 0 0 178 56 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6333 1143 1 0 5165 0
[pid=11541] ppid=11529 vsize=19884 CPUtime=10.66
/proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 4830 0 0 0 1060 6 0 0 25 0 1 0 54875201 20361216 4497 1992294400 134512640 135751879 4288325104 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11541/statm: 4971 4497 139 303 0 4666 0
Current children cumulated CPU time (s) 13.05
Current children cumulated vsize (KiB) 153996

[startup+25.5012 s]
/proc/loadavg: 1.24 1.14 0.97 2/108 11543
/proc/meminfo: memFree=1717084/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=3.21
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12678 3820 0 0 248 68 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6333 1143 1 0 5165 0
[pid=11541] ppid=11529 vsize=43400 CPUtime=23.39
/proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 10683 0 0 0 2325 14 0 0 25 0 1 0 54875201 44441600 10350 1992294400 134512640 135751879 4288325104 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11541/statm: 10850 10350 139 303 0 10545 0
Current children cumulated CPU time (s) 26.6
Current children cumulated vsize (KiB) 177512

[startup+51.102 s]
/proc/loadavg: 1.16 1.13 0.97 2/108 11543
/proc/meminfo: memFree=1668600/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=4.82
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 12723 3820 0 0 388 89 1 4 15 0 1 0 54875006 137330688 6333 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6333 1143 1 0 5165 0
[pid=11541] ppid=11529 vsize=92152 CPUtime=48.82
/proc/11541/stat : 11541 (wbo1.4a) R 11529 11541 11541 0 -1 4202496 22880 0 0 0 4854 28 0 0 25 0 1 0 54875201 94363648 22547 1992294400 134512640 135751879 4288325104 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11541/statm: 23038 22547 139 303 0 22733 0
Current children cumulated CPU time (s) 53.64
Current children cumulated vsize (KiB) 226264

[startup+102.309 s]
/proc/loadavg: 1.11 1.12 0.98 2/108 11551
/proc/meminfo: memFree=1665748/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=59.09
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 15129 29768 0 0 720 140 5012 37 15 0 1 0 54875006 137330688 6334 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159836005329808176 0 0 17 1 0 0 0
/proc/11529/statm: 33528 6334 1143 1 0 5165 0
[pid=11549] ppid=11529 vsize=95000 CPUtime=49.07
/proc/11549/stat : 11549 (wbo1.4a) R 11529 11549 11549 0 -1 4202496 23594 0 0 0 4878 29 0 0 25 0 1 0 54880296 97280000 23258 1992294400 134512640 135751879 4291784656 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11549/statm: 23750 23258 139 303 0 23445 0
Current children cumulated CPU time (s) 108.16
Current children cumulated vsize (KiB) 229112

[startup+162.302 s]
/proc/loadavg: 1.11 1.11 0.98 2/108 11554
/proc/meminfo: memFree=1744488/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=164.06
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16346 86418 0 0 1070 201 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6336 1143 1 0 5165 0
[pid=11554] ppid=11529 vsize=16060 CPUtime=7.95
/proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 3895 0 0 0 791 4 0 0 25 0 1 0 54890434 16445440 3559 1992294400 134512640 135751879 4294579216 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11554/statm: 4015 3559 143 303 0 3710 0
Current children cumulated CPU time (s) 172.01
Current children cumulated vsize (KiB) 150172

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

[startup+179.102 s]
/proc/loadavg: 1.09 1.11 0.98 2/108 11556
/proc/meminfo: memFree=1716464/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=165.14
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16398 86418 0 0 1160 219 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6336 1143 1 0 5165 0
[pid=11554] ppid=11529 vsize=43816 CPUtime=24.65
/proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 10817 0 0 0 2451 14 0 0 25 0 1 0 54890434 44867584 10481 1992294400 134512640 135751879 4294579216 18446744073709551615 134516976 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11554/statm: 10954 10481 144 303 0 10649 0
Current children cumulated CPU time (s) 189.79
Current children cumulated vsize (KiB) 177928

[startup+191.901 s]
/proc/loadavg: 1.07 1.10 0.98 2/108 11556
/proc/meminfo: memFree=1690424/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=165.92
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16425 86418 0 0 1227 230 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6336 1143 1 0 5165 0
[pid=11554] ppid=11529 vsize=72252 CPUtime=37.36
/proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 17904 0 0 0 3713 23 0 0 25 0 1 0 54890434 73986048 17568 1992294400 134512640 135751879 4294579216 18446744073709551615 134606526 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11554/statm: 18063 17568 144 303 0 17758 0
Current children cumulated CPU time (s) 203.28
Current children cumulated vsize (KiB) 206364

[startup+198.303 s]
/proc/loadavg: 1.06 1.10 0.98 2/108 11556
/proc/meminfo: memFree=1670584/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=166.3
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16433 86418 0 0 1259 236 15023 112 15 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6336 1143 1 0 5165 0
[pid=11554] ppid=11529 vsize=89800 CPUtime=43.72
/proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 22301 0 0 0 4344 28 0 0 25 0 1 0 54890434 91955200 21965 1992294400 134512640 135751879 4294579216 18446744073709551615 134516986 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/11554/statm: 22450 21965 144 303 0 22145 0
Current children cumulated CPU time (s) 210.02
Current children cumulated vsize (KiB) 223912

[startup+204.7 s]
/proc/loadavg: 1.05 1.10 0.98 2/108 11556
/proc/meminfo: memFree=1667484/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=166.68
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 16436 86418 0 0 1289 244 15023 112 16 0 1 0 54875006 137330688 6336 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6336 1143 1 0 5165 0
[pid=11554] ppid=11529 vsize=93292 CPUtime=50.08
/proc/11554/stat : 11554 (wbo1.4b) R 11529 11554 11554 0 -1 4202496 23182 0 0 0 4978 30 0 0 25 0 1 0 54890434 95531008 22846 1992294400 134512640 135751879 4294579216 18446744073709551615 135209796 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/11554/statm: 23323 22846 144 303 0 23018 0
Current children cumulated CPU time (s) 216.76
Current children cumulated vsize (KiB) 227404

[startup+206.301 s]
/proc/loadavg: 1.05 1.10 0.98 4/119 11570
/proc/meminfo: memFree=1742172/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=217.34
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17593 110931 0 0 1306 249 20034 145 15 0 1 0 54875006 137330688 6337 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 8789261588960870656 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6337 1143 1 0 5165 0
[pid=11559] ppid=11529 vsize=1477972 CPUtime=1.73
/proc/11559/stat : 11559 (java) S 11529 11559 11559 0 -1 4202496 8948 0 1 0 168 5 0 0 15 0 12 0 54895514 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11559/statm: 369493 7698 1407 10 0 366795 0
[pid=11559/tid=11560] ppid=11529 vsize=1477972 CPUtime=1.08
/proc/11559/task/11560/stat : 11560 (java) R 11529 11559 11559 0 -1 4202560 5850 0 1 0 105 3 0 0 18 0 12 0 54895516 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4109382640 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11559/tid=11561] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11561/stat : 11561 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 54895517 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11562] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11562/stat : 11562 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 54895517 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11563] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11563/stat : 11563 (java) S 11529 11559 11559 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 12 0 54895519 1513443328 7698 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
[pid=11559/tid=11564] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11564/stat : 11564 (java) S 11529 11559 11559 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 54895520 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11565] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11565/stat : 11565 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 54895520 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11566] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11566/stat : 11566 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11567] ppid=11529 vsize=1477972 CPUtime=0.25
/proc/11559/task/11567/stat : 11567 (java) S 11529 11559 11559 0 -1 4202560 880 0 0 0 25 0 0 0 18 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
[pid=11559/tid=11568] ppid=11529 vsize=1477972 CPUtime=0.36
/proc/11559/task/11568/stat : 11568 (java) S 11529 11559 11559 0 -1 4202560 858 0 0 0 36 0 0 0 15 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
[pid=11559/tid=11569] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11569/stat : 11569 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11570] ppid=11529 vsize=1477972 CPUtime=0
/proc/11559/task/11570/stat : 11570 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 54895524 1513443328 7699 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 219.07
Current children cumulated vsize (KiB) 1612084

[startup+207.1 s]
/proc/loadavg: 1.05 1.10 0.98 2/119 11570
/proc/meminfo: memFree=1728036/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=217.44
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17602 110931 0 0 1315 250 20034 145 15 0 1 0 54875006 137330688 6337 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6337 1143 1 0 5165 0
[pid=11559] ppid=11529 vsize=1482592 CPUtime=2.92
/proc/11559/stat : 11559 (java) S 11529 11559 11559 0 -1 4202496 11643 0 1 0 286 6 0 0 15 0 13 0 54895514 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11559/statm: 370648 10393 1422 10 0 367950 0
[pid=11559/tid=11560] ppid=11529 vsize=1482592 CPUtime=1.61
/proc/11559/task/11560/stat : 11560 (java) R 11529 11559 11559 0 -1 4202560 7470 0 1 0 157 4 0 0 20 0 13 0 54895516 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11559/tid=11561] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11561/stat : 11561 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54895517 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11562] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11562/stat : 11562 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54895517 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11563] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11563/stat : 11563 (java) S 11529 11559 11559 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 54895519 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
[pid=11559/tid=11564] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11564/stat : 11564 (java) S 11529 11559 11559 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54895520 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11565] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11565/stat : 11565 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54895520 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11566] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11566/stat : 11566 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11567] ppid=11529 vsize=1482592 CPUtime=0.62
/proc/11559/task/11567/stat : 11567 (java) R 11529 11559 11559 0 -1 4202560 1407 0 0 0 62 0 0 0 16 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 104144506 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11559/tid=11568] ppid=11529 vsize=1482592 CPUtime=0.65
/proc/11559/task/11568/stat : 11568 (java) R 11529 11559 11559 0 -1 4202560 1401 0 0 0 65 0 0 0 15 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 104140019 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11559/tid=11569] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11569/stat : 11569 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11570] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11570/stat : 11570 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54895524 1518174208 10393 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 220.36
Current children cumulated vsize (KiB) 1616704

[startup+207.501 s]
/proc/loadavg: 1.05 1.10 0.98 2/119 11570
/proc/meminfo: memFree=1728036/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=217.47
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17605 110931 0 0 1317 251 20034 145 15 0 1 0 54875006 137330688 6337 1992294400 4194304 4196484 140733466047152 18446744073709551615 242171555343 0 0 16781312 2 159688670771686192 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6337 1143 1 0 5165 0
[pid=11559] ppid=11529 vsize=1482592 CPUtime=3.4
/proc/11559/stat : 11559 (java) S 11529 11559 11559 0 -1 4202496 18102 0 1 0 331 9 0 0 15 0 13 0 54895514 1518174208 16852 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11559/statm: 370648 16854 1422 10 0 367950 0
[pid=11559/tid=11560] ppid=11529 vsize=1482592 CPUtime=1.96
/proc/11559/task/11560/stat : 11560 (java) R 11529 11559 11559 0 -1 4202560 13924 0 1 0 190 6 0 0 18 0 13 0 54895516 1518174208 16855 1992294400 134512640 134550932 4292070816 18446744073709551615 4109833816 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11559/tid=11561] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11561/stat : 11561 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 54895517 1518174208 16858 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11562] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11562/stat : 11562 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 54895517 1518174208 16860 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11563] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11563/stat : 11563 (java) S 11529 11559 11559 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 13 0 54895519 1518174208 16862 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 0 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
[pid=11559/tid=11564] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11564/stat : 11564 (java) S 11529 11559 11559 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 54895520 1518174208 16863 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11565] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11565/stat : 11565 (java) S 11529 11559 11559 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 54895520 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11566] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11566/stat : 11566 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11567] ppid=11529 vsize=1482592 CPUtime=0.71
/proc/11559/task/11567/stat : 11567 (java) S 11529 11559 11559 0 -1 4202560 1413 0 0 0 71 0 0 0 15 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
[pid=11559/tid=11568] ppid=11529 vsize=1482592 CPUtime=0.68
/proc/11559/task/11568/stat : 11568 (java) S 11529 11559 11559 0 -1 4202560 1404 0 0 0 68 0 0 0 15 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11569] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11569/stat : 11569 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 0 0 0 0
[pid=11559/tid=11570] ppid=11529 vsize=1482592 CPUtime=0
/proc/11559/task/11570/stat : 11570 (java) S 11529 11559 11559 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 54895524 1518174208 16864 1992294400 134512640 134550932 4292070816 18446744073709551615 4294960144 0 4 0 16800975 18446604437876416640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 220.87
Current children cumulated vsize (KiB) 1616704

[startup+207.91 s]
/proc/loadavg: 1.05 1.10 0.98 2/121 11572
/proc/meminfo: memFree=1686108/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=217.72
/proc/11529/stat : 11529 (python) R 11527 11529 11055 0 -1 4202496 17645 110931 0 0 1340 253 20034 145 16 0 1 0 54875006 137330688 6344 1992294400 4194304 4196484 140733466047152 18446744073709551615 47486883802122 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/11529/statm: 33528 6344 1143 1 0 5165 0
[pid=11559] ppid=11529 vsize=0 CPUtime=3.71
/proc/11559/stat : 11559 (java) Z 11529 11559 11559 0 -1 4203548 20504 0 2 0 360 11 0 0 15 0 1 0 54895514 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11559/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 134112

[startup+208.002 s]
/proc/loadavg: 1.05 1.10 0.98 2/121 11572
/proc/meminfo: memFree=1686108/2059040 swapFree=4136684/4192956
[pid=11529] ppid=11527 vsize=134112 CPUtime=221.54
/proc/11529/stat : 11529 (python) S 11527 11529 11055 0 -1 4202496 17847 131892 0 2 1347 255 20395 157 17 0 1 0 54875006 137330688 6344 1992294400 4194304 4196484 140733466047152 18446744073709551615 242183365381 0 0 16781312 2 18446744071562232103 0 0 17 0 0 0 0
/proc/11529/statm: 33528 6344 1143 1 0 5165 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 134112

Child status: 10
Real time (s): 208.078
CPU time (s): 221.634
CPU user time (s): 217.492
CPU system time (s): 4.14237
CPU usage (%): 106.515
Max. virtual memory (cumulated for all children) (KiB): 1617032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.492
system time used= 4.14237
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154936
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4716
involuntary context switches= 4766

runsolver used 0.413937 second user time and 1.05084 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-21 17:57:09
IDJOB=2675929
IDBENCH=48372
IDSOLVER=1178
FILE ID=node047/2675929-1277135829
PBS_JOBID= 11182079
Free space on /tmp= 62544 MiB

SOLVER NAME= borg-pb 10.05.30
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_5_15.opb
COMMAND LINE= solver BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675929-1277135829/watcher-2675929-1277135829 -o /tmp/evaluation-result-2675929-1277135829/solver-2675929-1277135829 -C 1800 -W 2000 -M 1800  solver HOME/instance-2675929-1277135829.opb 102000795 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= fc2cc3328b52c15b44db6557e5f99e21
RANDOM SEED=102000795

node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1779628 kB
Buffers:         25408 kB
Cached:         166932 kB
SwapCached:       9196 kB
Active:         142244 kB
Inactive:        63152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1779628 kB
SwapTotal:     4192956 kB
SwapFree:      4136684 kB
Dirty:           20572 kB
Writeback:           0 kB
AnonPages:       11612 kB
Mapped:           9188 kB
Slab:            52148 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node047 at 2010-06-21 18:00:38