Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT (TO) | -12 | 1800.02 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb |
MD5SUM | 138d1c5c8dee06528dd1cfb072975c49 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1267.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1236 |
Sum of products size (including duplicates) | 2472 |
Number of different products | 618 |
Sum of products size | 1236 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878266-1245208056.opb 0.00/0.00 c File size is 50556 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 718 Constr: 1388 668/102/618 Lit: 5244 Watch. Lit: 4528 0.00/0.00 c Obj. Vars: 50 (6.96379 % of total variables) 0.09/0.13 c Pre-processing Time: 0.136 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 718 1388 5244 3 4528 10741 0 0 0.14 0.09/0.13 c Switching off lower bounding mode. 0.09/0.13 o -1 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 718 1389 5294 3 4531 10774 1 0 0.14 0.09/0.14 o -2 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 2 718 1392 5461 3 4539 10791 4 14 0.14 0.09/0.14 o -3 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 63 718 1454 9496 6 4666 10807 66 434 0.14 0.19/0.26 c 163 718 1554 16862 10 4866 11888 166 1025 0.16 0.19/0.26 c 413 718 1804 35701 19 5366 13077 416 2128 0.19 0.19/0.26 c 888 718 2279 75543 33 6316 14385 891 3523 0.25 0.19/0.26 o -4 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 973 718 2365 80530 34 6492 10824 977 3671 0.27 0.29/0.33 c 1073 718 2465 89279 36 6692 11907 1077 3873 0.28 0.29/0.33 c 1323 718 2715 108519 39 7192 13098 1327 4240 0.31 0.29/0.33 o -5 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 1504 718 2897 123642 42 7561 10841 1509 4476 0.34 1.29/1.34 c 1604 718 2997 132192 44 7761 11926 1609 4582 0.35 1.29/1.34 c 1854 718 3247 151085 46 8261 13119 1859 4803 0.39 1.29/1.34 c 2329 718 3722 192215 51 9211 14431 2334 5198 0.45 1.29/1.34 c 3142 718 4535 252918 55 10837 15875 3147 5426 0.58 1.29/1.34 c 4462 718 5855 356204 60 13477 17463 4467 5337 0.84 1.29/1.34 c 6544 718 7937 531073 66 17641 19210 6549 5041 1.30 1.29/1.34 o -7 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 6680 718 8074 535882 66 17922 10874 6686 4962 1.35 1.29/1.35 o -8 10.99/11.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.99/11.08 c 6685 718 8080 536186 66 17942 10891 6692 4959 1.35 10.99/11.08 c 6785 718 8180 543279 66 18142 11981 6792 4948 1.37 10.99/11.08 c 7035 718 8430 560908 66 18642 13180 7042 4957 1.42 10.99/11.08 c 7510 718 8905 596182 66 19592 14499 7517 4983 1.51 10.99/11.08 c 8323 718 9718 657768 67 21218 15949 8330 4977 1.67 10.99/11.08 c 9643 718 11038 756268 68 23858 17544 9650 4797 2.01 10.99/11.08 c 11724 718 13119 894457 68 28020 19299 11731 4579 2.56 10.99/11.08 c 14947 718 16342 1149607 70 34466 21229 14954 4026 3.71 10.99/11.08 c 19883 718 21278 1462571 68 44338 23352 19890 3133 6.34 10.99/11.08 o -9 38.18/38.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.18/38.29 c 26028 718 14156 911502 64 30081 10907 12768 2349 11.08 38.18/38.29 c 26128 718 6943 419236 60 15647 11998 5555 2309 11.31 38.18/38.29 c 26378 718 7193 439130 61 16147 13198 5805 2317 11.38 38.18/38.29 c 26854 718 7669 476870 62 17099 14518 6281 2327 11.54 38.18/38.29 c 27667 718 8482 536691 63 18725 15970 7094 2342 11.81 38.18/38.29 c 28987 718 9802 634282 64 21365 17568 8414 2352 12.32 38.18/38.29 c 31068 718 11883 777562 65 25527 19325 10495 2360 13.16 38.18/38.29 c 34291 718 15106 989378 65 31973 21258 13718 2305 14.88 38.18/38.29 c 39227 718 20042 1332338 66 41845 23384 18654 2192 17.89 38.18/38.29 c 46733 718 14377 902631 62 30515 25723 12989 1927 24.24 38.18/38.29 c 58094 718 25738 1695190 65 53237 28296 24350 1944 29.88 38.18/38.29 o -10 185.34/185.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.34/185.40 c 66936 718 16609 1075757 64 34989 10924 15221 1748 38.28 185.34/185.40 c 67036 718 6951 393628 56 15664 12017 5563 1729 38.76 185.34/185.40 c 67286 718 7201 409290 56 16164 13219 5813 1733 38.82 185.34/185.40 c 67761 718 7676 444515 57 17114 14541 6288 1740 38.93 185.34/185.40 c 68574 718 8489 501273 59 18740 15996 7101 1751 39.14 185.34/185.40 c 69894 718 9809 583460 59 21380 17596 8421 1769 39.50 185.34/185.40 c 71975 718 11890 726227 61 25542 19356 10502 1787 40.26 185.34/185.40 c 75198 718 15113 944582 62 31988 21292 13725 1800 41.77 185.34/185.40 c 80134 718 20049 1281829 63 41860 23422 18661 1775 45.14 185.34/185.40 c 87640 718 14311 899134 62 30384 25765 12923 1678 52.21 185.34/185.40 c 99001 718 25672 1697546 66 53106 28342 24284 1660 59.61 185.34/185.40 c 116145 718 24789 1516812 61 51340 31177 23401 1551 74.84 185.34/185.40 c 141964 718 29883 1855709 62 61528 34295 28495 1466 96.82 185.34/185.40 c 180796 718 21052 1225116 58 43866 37725 19664 1344 134.45 185.34/185.40 o -11 1571.46/1571.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1571.46/1571.94 c 236273 718 22302 1484343 66 46377 10941 20914 1274 185.35 1571.46/1571.94 c 236373 718 6960 406887 58 15683 12036 5572 1265 186.78 1571.46/1571.94 c 236623 718 7210 421771 58 16183 13240 5822 1266 186.84 1571.46/1571.94 c 237098 718 7685 448592 58 17133 14565 6297 1268 186.96 1571.46/1571.94 c 237911 718 8498 492559 57 18759 16022 7110 1270 187.19 1571.46/1571.94 c 239231 718 9818 569393 57 21399 17625 8430 1275 187.63 1571.46/1571.94 c 241312 718 11899 691394 58 25561 19388 10511 1281 188.32 1571.46/1571.94 c 244535 718 15122 897538 59 32007 21327 13734 1289 189.63 1571.46/1571.94 c 249472 718 20059 1178277 58 41881 23460 18671 1299 192.04 1571.46/1571.94 c 256980 718 14322 763627 53 30407 25807 12934 1299 197.82 1571.46/1571.94 c 268341 718 25683 1553824 60 53129 28388 24295 1311 204.56 1571.46/1571.94 c 285485 718 24827 1594966 64 51417 31227 23439 1320 216.27 1571.46/1571.94 c 311305 718 29859 1960616 65 61481 34350 28471 1298 239.80 1571.46/1571.94 c 350137 718 21149 1378028 65 44061 37786 19761 1280 273.37 1571.46/1571.94 c 408489 718 25233 1503287 59 52229 41565 23845 1239 329.55 1571.46/1571.94 c 496121 718 20369 1295263 63 42501 45722 18981 1204 411.99 1571.46/1571.94 c 627673 718 12850 754090 58 27463 50295 11462 1112 564.18 1571.46/1571.94 c 825105 718 13462 801944 59 28687 55325 12074 1034 797.91 1571.46/1571.94 c 1121357 718 44009 2971087 67 89781 60858 42621 919 1219.89 1571.46/1571.94 o -12 1800.00/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.50 c 1338536 718 13247 731995 55 28258 10957 11859 843 1587.79 1800.00/1800.50 c 1338636 718 6968 354572 50 15700 12053 5580 842 1588.54 1800.00/1800.50 c 1338886 718 7218 367982 50 16200 13259 5830 842 1588.62 1800.00/1800.50 c 1339362 718 7694 393911 51 17152 14585 6306 843 1588.79 1800.00/1800.50 c 1340175 718 8507 441101 51 18778 16044 7119 843 1589.09 1800.00/1800.50 c 1341495 718 9827 514886 52 21418 17649 8439 843 1589.55 1800.00/1800.50 c 1343576 718 11908 636781 53 25580 19414 10520 844 1590.30 1800.00/1800.50 c 1346799 718 15131 835444 55 32026 21356 13743 845 1592.25 1800.00/1800.50 c 1351735 718 20067 1137564 56 41898 23492 18679 847 1595.45 1800.00/1800.50 c 1359242 718 14361 810513 56 30486 25842 12973 848 1602.19 1800.00/1800.50 c 1370603 718 25722 1597059 62 53208 28427 24334 852 1608.30 1800.00/1800.50 c 1387747 718 24833 1545680 62 51430 31270 23445 855 1621.92 1800.00/1800.50 c 1413566 718 29913 1878434 62 61590 34398 28525 857 1648.00 1800.00/1800.50 c 1452398 718 21168 1334739 63 44100 37838 19780 861 1685.97 1800.00/1800.50 c 1510750 718 25077 1598745 63 51918 41622 23689 870 1734.96 1800.00/1800.50 c Caught signal: 15 1800.00/1800.50 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 -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 -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 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 85 1560256 1527 1567147 19660 1230767 18272 866 1800.01 1800.00/1800.50 c Objective: -12 1800.00/1800.50 s SATISFIABLE 1800.00/1800.50 c Total time: 1800.01 s
OK -12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878266-1245208056/watcher-1878266-1245208056 -o /tmp/evaluation-result-1878266-1245208056/solver-1878266-1245208056 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878266-1245208056.opb 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: 0.99 0.97 0.99 3/64 6022 /proc/meminfo: memFree=1855464/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=10756 CPUtime=0 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 188405815 11014144 235 1992294400 134512640 137136520 4294956256 18446744073709551615 136295120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 2689 235 175 640 0 2032 0 [startup+0.0407111 s] /proc/loadavg: 0.99 0.97 0.99 3/64 6022 /proc/meminfo: memFree=1855464/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=10980 CPUtime=0.03 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 350 0 0 0 3 0 0 0 18 0 1 0 188405815 11243520 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 2745 321 189 640 0 2101 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10980 [startup+0.101715 s] /proc/loadavg: 0.99 0.97 0.99 3/64 6022 /proc/meminfo: memFree=1855464/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=10980 CPUtime=0.09 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 188405815 11243520 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 2745 321 189 640 0 2101 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10980 [startup+0.301735 s] /proc/loadavg: 0.99 0.97 0.99 3/64 6022 /proc/meminfo: memFree=1855464/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=12372 CPUtime=0.29 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 702 0 0 0 29 0 0 0 19 0 1 0 188405815 12668928 673 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 3093 673 197 640 0 2449 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12372 [startup+0.701773 s] /proc/loadavg: 0.99 0.97 0.99 3/64 6022 /proc/meminfo: memFree=1855464/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=15252 CPUtime=0.69 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 1416 0 0 0 68 1 0 0 22 0 1 0 188405815 15618048 1387 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 3813 1388 197 640 0 3169 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15252 [startup+1.50185 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6023 /proc/meminfo: memFree=1849064/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=19384 CPUtime=1.49 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 2443 0 0 0 147 2 0 0 25 0 1 0 188405815 19849216 2414 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 4846 2414 197 640 0 4202 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19384 [startup+3.102 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6023 /proc/meminfo: memFree=1843752/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=25144 CPUtime=3.09 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 3909 0 0 0 306 3 0 0 25 0 1 0 188405815 25747456 3880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 6286 3880 197 640 0 5642 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25144 [startup+6.30131 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6023 /proc/meminfo: memFree=1834856/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=31772 CPUtime=6.29 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 5554 0 0 0 624 5 0 0 25 0 1 0 188405815 32534528 5525 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 7943 5525 197 640 0 7299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31772 [startup+12.7029 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6023 /proc/meminfo: memFree=1829352/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=36248 CPUtime=12.69 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 6680 0 0 0 1261 8 0 0 25 0 1 0 188405815 37117952 6651 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 9062 6651 197 640 0 8418 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36248 [startup+25.5012 s] /proc/loadavg: 1.14 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1829352/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=36244 CPUtime=25.48 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 6680 0 0 0 2538 10 0 0 25 0 1 0 188405815 37113856 6651 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 9061 6651 197 640 0 8417 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36244 [startup+51.1016 s] /proc/loadavg: 1.09 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1825576/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=39956 CPUtime=51.08 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 7613 0 0 0 5092 16 0 0 25 0 1 0 188405815 40914944 7584 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 9989 7584 197 640 0 9345 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39956 [startup+102.306 s] /proc/loadavg: 1.04 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1821672/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=43700 CPUtime=102.27 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 8584 0 0 0 10203 24 0 0 25 0 1 0 188405815 44748800 8520 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 10925 8520 197 640 0 10281 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43700 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1818408/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=46992 CPUtime=162.24 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 9431 0 0 0 16192 32 0 0 25 0 1 0 188405815 48119808 9329 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 11748 9329 197 640 0 11104 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 46992 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1816296/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=49256 CPUtime=222.23 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 9982 0 0 0 22180 43 0 0 25 0 1 0 188405815 50438144 9880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 12314 9880 197 640 0 11670 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49256 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1816296/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=49256 CPUtime=282.21 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 9982 0 0 0 28170 51 0 0 25 0 1 0 188405815 50438144 9880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 12314 9880 197 640 0 11670 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49256 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1816232/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=49264 CPUtime=342.2 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 9984 0 0 0 34162 58 0 0 25 0 1 0 188405815 50446336 9882 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 12316 9882 197 640 0 11672 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49264 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1814440/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=51032 CPUtime=402.18 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 10468 0 0 0 40152 66 0 0 25 0 1 0 188405815 52256768 10324 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 12758 10324 197 640 0 12114 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 51032 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1809512/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=55668 CPUtime=462.16 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 11692 0 0 0 46140 76 0 0 25 0 1 0 188405815 57004032 11502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 13917 11502 197 640 0 13273 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 55668 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1809256/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=56084 CPUtime=522.14 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 11795 0 0 0 52131 83 0 0 25 0 1 0 188405815 57430016 11605 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 14021 11605 197 640 0 13377 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 56084 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1809192/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=56084 CPUtime=582.13 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 11795 0 0 0 58123 90 0 0 25 0 1 0 188405815 57430016 11605 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 14021 11605 197 640 0 13377 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 56084 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1803688/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=61388 CPUtime=642.11 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 13174 0 0 0 64112 99 0 0 25 0 1 0 188405815 62861312 12934 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 15347 12934 197 640 0 14703 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 61388 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1799784/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=65152 CPUtime=882.04 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14160 0 0 0 88074 130 0 0 25 0 1 0 188405815 66715648 13865 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 16288 13865 197 640 0 15644 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 65152 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1797736/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=67432 CPUtime=942.03 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14719 0 0 0 94069 134 0 0 25 0 1 0 188405815 69050368 14424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 16858 14424 197 640 0 16214 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 67432 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1797672/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=67432 CPUtime=1002.01 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14719 0 0 0 100060 141 0 0 25 0 1 0 188405815 69050368 14424 1992294400 134512640 137136520 4294956256 18446744073709551615 136502004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 16858 14424 197 640 0 16214 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 67432 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1797736/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=67432 CPUtime=1062 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14719 0 0 0 106054 146 0 0 25 0 1 0 188405815 69050368 14424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 16858 14424 197 640 0 16214 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 67432 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1797672/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=67432 CPUtime=1121.98 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14719 0 0 0 112044 154 0 0 25 0 1 0 188405815 69050368 14424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 16858 14424 197 640 0 16214 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 67432 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1797672/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=67432 CPUtime=1181.97 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14719 0 0 0 118039 158 0 0 25 0 1 0 188405815 69050368 14424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 16858 14424 197 640 0 16214 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 67432 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1796776/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=68492 CPUtime=1241.95 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 14993 0 0 0 124029 166 0 0 25 0 1 0 188405815 70135808 14698 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17123 14698 197 640 0 16479 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 68492 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792680/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=72072 CPUtime=1301.94 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 15948 0 0 0 130020 174 0 0 25 0 1 0 188405815 73801728 15592 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 18018 15592 197 640 0 17374 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 72072 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792552/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=72336 CPUtime=1361.91 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 136011 180 0 0 25 0 1 0 188405815 74072064 15650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 18084 15650 197 640 0 17440 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 72336 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792552/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=72336 CPUtime=1421.91 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 142003 188 0 0 25 0 1 0 188405815 74072064 15650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 18084 15650 197 640 0 17440 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 72336 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792488/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=72336 CPUtime=1481.88 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 147996 192 0 0 25 0 1 0 188405815 74072064 15650 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 18084 15650 197 640 0 17440 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 72336 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792552/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=72336 CPUtime=1541.87 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 153988 199 0 0 25 0 1 0 188405815 74072064 15650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 18084 15650 197 640 0 17440 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 72336 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792744/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=71804 CPUtime=1601.85 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 159981 204 0 0 25 0 1 0 188405815 73527296 15549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17951 15549 197 640 0 17307 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 71804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792744/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=71804 CPUtime=1661.84 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 165972 212 0 0 25 0 1 0 188405815 73527296 15549 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17951 15549 197 640 0 17307 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 71804 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1792744/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=71804 CPUtime=1721.82 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 171961 221 0 0 25 0 1 0 188405815 73527296 15549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17951 15549 197 640 0 17307 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 71804 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1793064/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=71304 CPUtime=1781.81 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 177953 228 0 0 25 0 1 0 188405815 73015296 15424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17826 15424 197 640 0 17182 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 71304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1793064/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=71304 CPUtime=1800 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 179770 230 0 0 25 0 1 0 188405815 73015296 15424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17826 15424 197 640 0 17182 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 71304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6023 /proc/meminfo: memFree=1793064/2055920 swapFree=4181656/4192956 [pid=6022] ppid=6020 vsize=71304 CPUtime=1800 /proc/6022/stat : 6022 (bsolo) R 6020 6022 5886 0 -1 4194304 16006 0 0 0 179770 230 0 0 25 0 1 0 188405815 73015296 15424 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6022/statm: 17826 15424 197 640 0 17182 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 71304 Child status: 15 Real time (s): 1800.52 CPU time (s): 1800.02 CPU user time (s): 1797.71 CPU system time (s): 2.31365 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 72336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.71 system time used= 2.31365 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16008 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3902 runsolver used 1.3368 second user time and 3.79442 second system time The end
Begin job on node18 at 2009-06-17 05:07:36 IDJOB=1878266 IDBENCH=48246 IDSOLVER=700 FILE ID=node18/1878266-1245208056 PBS_JOBID= 9368392 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_3.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878266-1245208056/watcher-1878266-1245208056 -o /tmp/evaluation-result-1878266-1245208056/solver-1878266-1245208056 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878266-1245208056.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49 RANDOM SEED=1854543226 node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1856008 kB Buffers: 25332 kB Cached: 102148 kB SwapCached: 5596 kB Active: 43672 kB Inactive: 91672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856008 kB SwapTotal: 4192956 kB SwapFree: 4181656 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 12996 kB Slab: 50600 kB Committed_AS: 167000 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878266-1245208056.opb Free space on /tmp at the end= 66168 MiB End job on node18 at 2009-06-17 05:37:39