Trace number 2675858

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.845 207.581

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_15.opb
MD5SUM18824f3ca3b73f0d00fa79bded50b3fe
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.033993
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

Solver Data 

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

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-2675858-1277135382/watcher-2675858-1277135382 -o /tmp/evaluation-result-2675858-1277135382/solver-2675858-1277135382 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675858-1277135382.opb 1259555401 

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.03 0.97 0.85 3/106 10553
/proc/meminfo: memFree=1521892/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=16708 CPUtime=0
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 715 0 0 0 0 0 0 0 18 0 1 0 89142235 17108992 482 1992294400 4194304 4196484 140736256304752 18446744073709551615 248569531807 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10553/statm: 4177 482 267 1 0 273 0

[startup+0.0245841 s]
/proc/loadavg: 1.03 0.97 0.85 3/106 10553
/proc/meminfo: memFree=1521892/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=17092 CPUtime=0.02
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 1497 0 0 0 1 1 0 0 20 0 1 0 89142235 17502208 538 1992294400 4194304 4196484 140734142795648 18446744073709551615 47513812157249 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10553/statm: 4273 538 317 1 0 253 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17092

[startup+0.105632 s]
/proc/loadavg: 1.03 0.97 0.85 3/106 10553
/proc/meminfo: memFree=1521892/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=34212 CPUtime=0.09
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 2419 0 0 0 6 3 0 0 20 0 1 0 89142235 35033088 1393 1992294400 4194304 4196484 140734142795648 18446744073709551615 47513812047127 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10553/statm: 8553 1393 462 1 0 910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34212

[startup+0.301632 s]
/proc/loadavg: 1.03 0.97 0.85 3/106 10553
/proc/meminfo: memFree=1521892/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=71504 CPUtime=0.26
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 4194 0 0 0 19 7 0 0 18 0 1 0 89142235 73220096 2989 1992294400 4194304 4196484 140734142795648 18446744073709551615 47513812133915 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10553/statm: 17876 2989 695 1 0 2363 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 71504

[startup+0.702632 s]
/proc/loadavg: 1.03 0.97 0.85 3/106 10553
/proc/meminfo: memFree=1521892/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=104292 CPUtime=0.63
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 6161 928 0 0 43 20 0 0 18 0 1 0 89142235 106795008 4405 1992294400 4194304 4196484 140734142795648 18446744073709551615 47513812705958 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/10553/statm: 26073 4405 1028 1 0 3414 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 104292

[startup+1.50063 s]
/proc/loadavg: 1.03 0.97 0.85 2/107 10558
/proc/meminfo: memFree=1502160/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134116 CPUtime=1.35
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 11569 2384 0 0 99 34 0 2 18 0 1 0 89142235 137334784 6329 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553168640 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10553/statm: 33529 6329 1143 1 0 5166 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 134116

[startup+3.10063 s]
/proc/loadavg: 1.03 0.97 0.85 2/108 10565
/proc/meminfo: memFree=1497936/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=1.83
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 12730 3830 0 0 137 41 1 4 15 0 1 0 89142235 137330688 6332 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6332 1143 1 0 5165 0
[pid=10565] ppid=10553 vsize=6456 CPUtime=1.46
/proc/10565/stat : 10565 (wbo1.4a) R 10553 10565 10565 0 -1 4202496 1475 0 0 0 144 2 0 0 23 0 1 0 89142397 6610944 1150 1992294400 134512640 135751879 4289813552 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10565/statm: 1614 1150 139 303 0 1309 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 140568

[startup+6.30063 s]
/proc/loadavg: 1.11 0.99 0.86 2/108 10565
/proc/meminfo: memFree=1491984/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=2.11
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 12740 3830 0 0 163 43 1 4 16 0 1 0 89142235 137330688 6332 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6332 1143 1 0 5165 0
[pid=10565] ppid=10553 vsize=12216 CPUtime=4.64
/proc/10565/stat : 10565 (wbo1.4a) R 10553 10565 10565 0 -1 4202496 2905 0 0 0 459 5 0 0 25 0 1 0 89142397 12509184 2580 1992294400 134512640 135751879 4289813552 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10565/statm: 3054 2580 139 303 0 2749 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 146328

[startup+12.7006 s]
/proc/loadavg: 1.10 0.99 0.86 2/108 10565
/proc/meminfo: memFree=1480220/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=2.52
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 12750 3830 0 0 200 47 1 4 16 0 1 0 89142235 137330688 6332 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6332 1143 1 0 5165 0
[pid=10565] ppid=10553 vsize=23248 CPUtime=11
/proc/10565/stat : 10565 (wbo1.4a) R 10553 10565 10565 0 -1 4202496 5657 0 0 0 1090 10 0 0 25 0 1 0 89142397 23805952 5332 1992294400 134512640 135751879 4289813552 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10565/statm: 5812 5332 139 303 0 5507 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 157360

[startup+25.5016 s]
/proc/loadavg: 1.08 0.99 0.86 2/108 10565
/proc/meminfo: memFree=1456412/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=3.29
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 12784 3830 0 0 268 56 1 4 15 0 1 0 89142235 137330688 6333 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6333 1143 1 0 5165 0
[pid=10565] ppid=10553 vsize=47112 CPUtime=23.72
/proc/10565/stat : 10565 (wbo1.4a) R 10553 10565 10565 0 -1 4202496 11615 0 0 0 2352 20 0 0 25 0 1 0 89142397 48242688 11290 1992294400 134512640 135751879 4289813552 18446744073709551615 134616390 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10565/statm: 11778 11290 139 303 0 11473 0
Current children cumulated CPU time (s) 27.01
Current children cumulated vsize (KiB) 181224

[startup+51.1017 s]
/proc/loadavg: 1.05 0.99 0.86 2/108 10565
/proc/meminfo: memFree=1431860/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=4.77
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 12824 3830 0 0 402 70 1 4 15 0 1 0 89142235 137330688 6333 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6333 1143 1 0 5165 0
[pid=10565] ppid=10553 vsize=72024 CPUtime=49.15
/proc/10565/stat : 10565 (wbo1.4a) R 10553 10565 10565 0 -1 4202496 17827 0 0 0 4881 34 0 0 25 0 1 0 89142397 73752576 17502 1992294400 134512640 135751879 4289813552 18446744073709551615 134616497 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10565/statm: 18006 17502 139 303 0 17701 0
Current children cumulated CPU time (s) 53.92
Current children cumulated vsize (KiB) 206136

[startup+102.309 s]
/proc/loadavg: 1.02 0.99 0.87 2/108 10573
/proc/meminfo: memFree=1430372/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=59.38
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 15301 24211 0 0 732 118 5045 43 15 0 1 0 89142235 137330688 6334 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159836005329808182 0 0 17 1 0 0 0
/proc/10553/statm: 33528 6334 1143 1 0 5165 0
[pid=10571] ppid=10553 vsize=72976 CPUtime=49.31
/proc/10571/stat : 10571 (wbo1.4a) R 10553 10571 10571 0 -1 4202496 18095 0 0 0 4895 36 0 0 25 0 1 0 89147531 74727424 17766 1992294400 134512640 135751879 4288352320 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10571/statm: 18244 17766 139 303 0 17939 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 207088

[startup+162.302 s]
/proc/loadavg: 1.01 0.99 0.87 2/108 10578
/proc/meminfo: memFree=1486420/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=164.73
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 16548 65680 0 0 1091 169 15079 134 15 0 1 0 89142235 137330688 6336 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6336 1143 1 0 5165 0
[pid=10578] ppid=10553 vsize=17820 CPUtime=7.95
/proc/10578/stat : 10578 (wbo1.4b) R 10553 10578 10578 0 -1 4202496 4304 0 0 0 789 6 0 0 25 0 1 0 89157664 18247680 3975 1992294400 134512640 135751879 4292675984 18446744073709551615 134517409 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10578/statm: 4455 3975 144 303 0 4150 0
Current children cumulated CPU time (s) 172.68
Current children cumulated vsize (KiB) 151932

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

[startup+179.102 s]
/proc/loadavg: 1.15 1.02 0.89 2/108 10578
/proc/meminfo: memFree=1456164/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=165.77
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 16597 65680 0 0 1180 184 15079 134 15 0 1 0 89142235 137330688 6336 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6336 1143 1 0 5165 0
[pid=10578] ppid=10553 vsize=47248 CPUtime=24.63
/proc/10578/stat : 10578 (wbo1.4b) R 10553 10578 10578 0 -1 4202496 11663 0 0 0 2442 21 0 0 25 0 1 0 89157664 48381952 11334 1992294400 134512640 135751879 4292675984 18446744073709551615 134616514 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10578/statm: 11812 11334 144 303 0 11507 0
Current children cumulated CPU time (s) 190.4
Current children cumulated vsize (KiB) 181360

[startup+191.901 s]
/proc/loadavg: 1.12 1.02 0.89 2/108 10578
/proc/meminfo: memFree=1442400/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=166.51
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 16623 65680 0 0 1247 191 15079 134 15 0 1 0 89142235 137330688 6336 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6336 1143 1 0 5165 0
[pid=10578] ppid=10553 vsize=62808 CPUtime=37.35
/proc/10578/stat : 10578 (wbo1.4b) R 10553 10578 10578 0 -1 4202496 15533 0 0 0 3705 30 0 0 25 0 1 0 89157664 64315392 15204 1992294400 134512640 135751879 4292675984 18446744073709551615 135204210 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10578/statm: 15702 15204 144 303 0 15397 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 196920

[startup+198.301 s]
/proc/loadavg: 1.11 1.02 0.89 2/108 10578
/proc/meminfo: memFree=1433596/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=166.89
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 16631 65680 0 0 1281 195 15079 134 15 0 1 0 89142235 137330688 6336 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6336 1143 1 0 5165 0
[pid=10578] ppid=10553 vsize=69836 CPUtime=43.71
/proc/10578/stat : 10578 (wbo1.4b) R 10553 10578 10578 0 -1 4202496 17291 0 0 0 4337 34 0 0 25 0 1 0 89157664 71512064 16962 1992294400 134512640 135751879 4292675984 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10578/statm: 17459 16962 144 303 0 17154 0
Current children cumulated CPU time (s) 210.6
Current children cumulated vsize (KiB) 203948

[startup+201.501 s]
/proc/loadavg: 1.10 1.02 0.89 2/108 10578
/proc/meminfo: memFree=1432604/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=167.08
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 16632 65680 0 0 1298 197 15079 134 15 0 1 0 89142235 137330688 6336 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6336 1143 1 0 5165 0
[pid=10578] ppid=10553 vsize=70864 CPUtime=46.89
/proc/10578/stat : 10578 (wbo1.4b) R 10553 10578 10578 0 -1 4202496 17574 0 0 0 4655 34 0 0 25 0 1 0 89157664 72564736 17245 1992294400 134512640 135751879 4292675984 18446744073709551615 134616486 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/10578/statm: 17716 17245 144 303 0 17411 0
Current children cumulated CPU time (s) 213.97
Current children cumulated vsize (KiB) 204976

[startup+204.702 s]
/proc/loadavg: 1.09 1.02 0.89 2/108 10578
/proc/meminfo: memFree=1430992/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=167.26
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 16634 65680 0 0 1314 199 15079 134 15 0 1 0 89142235 137330688 6336 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 159688670771686198 0 0 17 0 0 0 0
/proc/10553/statm: 33528 6336 1143 1 0 5165 0
[pid=10578] ppid=10553 vsize=72284 CPUtime=50.08
/proc/10578/stat : 10578 (wbo1.4b) R 10553 10578 10578 0 -1 4202496 17925 0 0 0 4972 36 0 0 25 0 1 0 89157664 74018816 17596 1992294400 134512640 135751879 4292675984 18446744073709551615 134616336 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/10578/statm: 18071 17596 144 303 0 17766 0
Current children cumulated CPU time (s) 217.34
Current children cumulated vsize (KiB) 206396

[startup+206.301 s]
/proc/loadavg: 1.09 1.02 0.89 2/114 10587
/proc/meminfo: memFree=1492264/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=218.41
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 17828 84624 0 0 1336 202 20131 172 16 0 1 0 89142235 137330688 6338 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 9054183074517975296 0 0 17 1 0 0 0
/proc/10553/statm: 33528 6338 1143 1 0 5165 0
[pid=10581] ppid=10553 vsize=1477708 CPUtime=1.08
/proc/10581/stat : 10581 (java) S 10553 10581 10581 0 -1 4202496 7863 0 1 0 103 5 0 0 15 0 12 0 89162789 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10581/statm: 369427 6698 1407 10 0 366729 0
[pid=10581/tid=10582] ppid=10553 vsize=1477708 CPUtime=0.66
/proc/10581/task/10582/stat : 10582 (java) R 10553 10581 10581 0 -1 4202560 4766 0 1 0 64 2 0 0 18 0 12 0 89162791 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4109053811 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10581/tid=10583] ppid=10553 vsize=1477708 CPUtime=0
/proc/10581/task/10583/stat : 10583 (java) S 10553 10581 10581 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 89162792 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10584] ppid=10553 vsize=1477708 CPUtime=0
/proc/10581/task/10584/stat : 10584 (java) S 10553 10581 10581 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 89162792 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 1 0 0 0
[pid=10581/tid=10585] ppid=10553 vsize=1477708 CPUtime=0
/proc/10581/task/10585/stat : 10585 (java) S 10553 10581 10581 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 12 0 89162794 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 0 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10586] ppid=10553 vsize=1477708 CPUtime=0
/proc/10581/task/10586/stat : 10586 (java) S 10553 10581 10581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 89162794 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10587] ppid=10553 vsize=1477708 CPUtime=0
/proc/10581/task/10587/stat : 10587 (java) S 10553 10581 10581 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 89162794 1513172992 6698 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 219.49
Current children cumulated vsize (KiB) 1611820

[startup+207.102 s]
/proc/loadavg: 1.09 1.02 0.89 4/120 10593
/proc/meminfo: memFree=1472128/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=218.51
/proc/10553/stat : 10553 (python) S 10551 10553 10098 0 -1 4202496 17837 84624 0 0 1344 204 20131 172 15 0 1 0 89142235 137330688 6338 1992294400 4194304 4196484 140734142795648 18446744073709551615 248553188879 0 0 16781312 2 9054183074517975296 0 0 17 1 0 0 0
/proc/10553/statm: 33528 6338 1143 1 0 5165 0
[pid=10581] ppid=10553 vsize=1482824 CPUtime=2.56
/proc/10581/stat : 10581 (java) S 10553 10581 10581 0 -1 4202496 11975 0 1 0 250 6 0 0 15 0 13 0 89162789 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10581/statm: 370706 10174 1423 10 0 368008 0
[pid=10581/tid=10582] ppid=10553 vsize=1482824 CPUtime=1.46
/proc/10581/task/10582/stat : 10582 (java) R 10553 10581 10581 0 -1 4202560 6955 0 1 0 143 3 0 0 20 0 13 0 89162791 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4109117246 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10581/tid=10583] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10583/stat : 10583 (java) S 10553 10581 10581 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 89162792 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10584] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10584/stat : 10584 (java) S 10553 10581 10581 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 89162792 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 1 0 0 0
[pid=10581/tid=10585] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10585/stat : 10585 (java) S 10553 10581 10581 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 89162794 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 0 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10586] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10586/stat : 10586 (java) S 10553 10581 10581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 13 0 89162794 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10587] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10587/stat : 10587 (java) S 10553 10581 10581 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 89162794 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10588] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10588/stat : 10588 (java) S 10553 10581 10581 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 13 0 89162799 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10589] ppid=10553 vsize=1482824 CPUtime=0.95
/proc/10581/task/10589/stat : 10589 (java) R 10553 10581 10581 0 -1 4202560 3484 0 0 0 94 1 0 0 18 0 13 0 89162799 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 106261813 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10581/tid=10590] ppid=10553 vsize=1482824 CPUtime=0.13
/proc/10581/task/10590/stat : 10590 (java) R 10553 10581 10581 0 -1 4202560 172 0 0 0 13 0 0 0 19 0 13 0 89162799 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 103863501 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10581/tid=10591] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10591/stat : 10591 (java) S 10553 10581 10581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 89162799 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
[pid=10581/tid=10592] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10592/stat : 10592 (java) S 10553 10581 10581 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 89162799 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 1 0 0 0
[pid=10581/tid=10593] ppid=10553 vsize=1482824 CPUtime=0
/proc/10581/task/10593/stat : 10593 (java) S 10553 10581 10581 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 89162869 1518411776 10174 1992294400 134512640 134550932 4293443120 18446744073709551615 4294960144 0 4 0 16800975 18446604437830821184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.07
Current children cumulated vsize (KiB) 1616936

[startup+207.502 s]
/proc/loadavg: 1.09 1.02 0.89 4/120 10593
/proc/meminfo: memFree=1472128/2059040 swapFree=4136396/4192956
[pid=10553] ppid=10551 vsize=134112 CPUtime=221.74
/proc/10553/stat : 10553 (python) R 10551 10553 10098 0 -1 4202496 18014 97266 0 1 1374 209 20410 181 15 0 1 0 89142235 137330688 6340 1992294400 4194304 4196484 140734142795648 18446744073709551615 248552989077 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10553/statm: 33528 6340 1143 1 0 5165 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 134112

Child status: 10
Real time (s): 207.581
CPU time (s): 221.845
CPU user time (s): 217.921
CPU system time (s): 3.9244
CPU usage (%): 106.872
Max. virtual memory (cumulated for all children) (KiB): 1617260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.921
system time used= 3.9244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120515
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2078
involuntary context switches= 4434

runsolver used 0.450931 second user time and 1.06284 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-21 17:49:42
IDJOB=2675858
IDBENCH=48301
IDSOLVER=1178
FILE ID=node001/2675858-1277135382
PBS_JOBID= 11182107
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= 18824f3ca3b73f0d00fa79bded50b3fe
RANDOM SEED=1259555401

node001.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.202
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.40
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.202
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1522296 kB
Buffers:        138988 kB
Cached:         291236 kB
SwapCached:       9148 kB
Active:         234088 kB
Inactive:       209192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1522296 kB
SwapTotal:     4192956 kB
SwapFree:      4136396 kB
Dirty:           22420 kB
Writeback:           4 kB
AnonPages:       11588 kB
Mapped:           9216 kB
Slab:            71632 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182044 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= 62516 MiB
End job on node001 at 2010-06-21 17:53:10