Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.09 | 1800.03 |
Name | /PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub0_wcsp.wbo |
MD5SUM | 5c315664b873ce8198536ea2fe9f11ce |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 231 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 640 |
Total number of constraints | 123180 |
Number of soft constraints | 123164 |
Number of constraints which are clauses | 123164 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 44 |
Top cost | 45316 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 22402430 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 45 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.59/0.62 c constraints 16/0 clauses 0/123164 units 0 0.59/0.62 c vars 640 0.59/0.62 c Setting top cost 45316 22.00/22.07 c 21.8147 666.672 1 247417 22.00/22.07 o 37032 22.29/22.30 c 21.9577 684.008 1 371083 22.29/22.30 o 34700 22.49/22.52 c 22.1086 684.008 2 487596 22.49/22.52 o 33881 22.69/22.75 c 22.2526 684.008 2 611268 22.69/22.75 o 31307 23.19/23.28 c 22.5876 684.137 7 870296 23.19/23.28 o 31217 23.49/23.51 c 22.7495 684.137 7 993924 23.49/23.51 o 29142 23.79/23.84 c 22.9725 684.137 9 1116001 23.79/23.84 o 28748 23.99/24.07 c 23.1195 684.137 9 1239665 23.99/24.07 o 25843 24.59/24.64 c 23.4874 684.266 31 1579024 24.59/24.64 o 24706 24.80/24.87 c 23.6434 684.266 31 1702723 24.80/24.87 o 21681 25.09/25.10 c 23.7964 684.266 32 1808814 25.09/25.10 o 21310 25.29/25.34 c 23.9474 684.266 33 1934142 25.29/25.34 o 19879 25.49/25.58 c 24.1153 684.266 33 2057830 25.49/25.58 o 16271 25.79/25.81 c 24.2823 684.266 33 2145778 25.79/25.81 o 16182 26.19/26.24 c 24.5823 684.395 133 2338882 26.19/26.24 o 14969 26.40/26.48 c 24.7432 684.523 133 2462566 26.40/26.48 o 11973 26.70/26.77 c 24.9552 684.523 138 2587696 26.70/26.77 o 11855 26.99/27.04 c 25.1402 684.523 157 2704034 26.99/27.04 o 11291 27.19/27.28 c 25.3012 684.523 160 2781739 27.19/27.28 o 11253 27.79/27.84 c 25.7141 684.02 260 2899041 27.79/27.84 o 11081 28.00/28.08 c 25.8841 684.031 261 3004345 28.00/28.08 o 10960 28.50/28.57 c 26.23 684.922 311 3083646 28.50/28.57 o 10879 28.79/28.82 c 26.405 685.051 312 3159497 28.79/28.82 o 10841 29.00/29.06 c 26.565 685.051 318 3236402 29.00/29.06 o 10783 29.29/29.31 c 26.7329 685.051 318 3341308 29.29/29.31 o 10552 29.49/29.55 c 26.9059 685.051 319 3446220 29.49/29.55 o 10368 29.90/29.98 c 27.2079 684.547 443 3562029 29.90/29.98 o 9766 30.19/30.23 c 27.3978 684.559 444 3667232 30.19/30.23 o 9089 30.39/30.47 c 27.5758 684.57 444 3772065 30.39/30.47 o 8925 30.70/30.72 c 27.7448 684.582 444 3877147 30.70/30.72 o 8689 30.99/31.00 c 27.9518 684.594 449 3953541 30.99/31.00 o 8651 31.20/31.24 c 28.1157 684.605 449 3991053 31.20/31.24 o 8644 31.39/31.47 c 28.2967 684.617 450 4096384 31.39/31.47 o 8541 31.69/31.80 c 28.5257 684.629 508 4176397 31.69/31.80 o 8521 32.79/32.90 c 29.3235 684.641 608 4284499 32.79/32.90 o 8358 33.10/33.18 c 29.5175 684.781 634 4371364 33.10/33.18 o 8326 33.39/33.43 c 29.6815 684.793 637 4447398 33.39/33.43 o 8235 34.30/34.33 c 30.3234 684.805 879 4562096 34.30/34.33 o 8161 34.59/34.61 c 30.5044 684.816 882 4667768 34.59/34.61 o 7994 38.59/38.68 c 33.4139 685.215 1918 4823101 38.59/38.68 o 7912 38.89/38.94 c 33.5809 685.227 1938 4901151 38.89/38.94 o 7843 40.80/40.84 c 34.9587 685.367 2204 5019310 40.80/40.84 o 7658 40.99/41.09 c 35.1477 685.379 2204 5124044 40.99/41.09 o 7248 41.29/41.35 c 35.3316 685.391 2210 5229753 41.29/41.35 o 6471 41.60/41.67 c 35.5606 685.402 2214 5334872 41.60/41.67 o 6054 42.20/42.26 c 35.9975 685.543 2401 5436330 42.20/42.26 o 6037 43.50/43.59 c 36.9594 685.684 2712 5559056 43.50/43.59 o 5934 44.19/44.26 c 37.4283 685.695 2823 5680019 44.19/44.26 o 5779 44.50/44.52 c 37.6043 685.707 2823 5784963 44.50/44.52 o 5258 44.69/44.79 c 37.8093 686.352 2851 5891302 44.69/44.79 o 4787 47.20/47.28 c 39.667 686.48 3193 6024694 47.20/47.28 o 4644 49.79/49.89 c 41.7167 686.48 3541 6134191 49.79/49.89 o 4609 50.09/50.17 c 41.9146 686.609 3544 6239318 50.09/50.17 o 4494 55.70/55.74 c 45.6941 686.867 5029 6413453 55.70/55.74 o 4061 56.59/56.67 c 46.4109 686.996 5134 6492727 56.59/56.67 o 4012 57.99/58.06 c 47.3418 686.996 5337 6606630 57.99/58.06 o 3850 59.59/59.66 c 48.5536 686.996 5840 6741133 59.59/59.66 o 3717 72.69/72.75 c 57.5622 686.879 8371 6866176 72.69/72.75 o 3709 73.00/73.01 c 57.7542 686.762 8374 6885443 73.00/73.01 o 3708 73.29/73.33 c 57.9772 686.773 8399 6991659 73.29/73.33 o 3458 80.50/80.53 c 63.1364 687.043 9777 7109018 80.50/80.53 o 3450 87.80/87.86 c 68.5426 687.184 11369 7276541 87.80/87.86 o 3369 92.69/92.78 c 71.9481 687.328 12234 7398211 92.69/92.78 o 3355 96.80/96.89 c 74.8616 687.469 13033 7540037 96.80/96.89 o 3291 103.19/103.27 c 79.5349 687.996 15641 7706848 103.19/103.27 o 3258 120.60/120.63 c 91.5211 688.652 18771 7874182 120.60/120.63 o 3254 123.59/123.65 c 93.7367 688.793 19277 7993371 123.59/123.65 o 3018 123.90/123.92 c 93.9297 688.805 19280 8100792 123.90/123.92 o 2756 124.10/124.19 c 94.1127 688.816 19290 8207768 124.10/124.19 o 2593 141.90/141.97 c 106.816 689.473 22896 8385763 141.90/141.97 o 2556 177.50/177.50 c 132.264 691.703 29311 8662051 177.50/177.50 o 2527 178.90/178.97 c 133.313 691.715 29640 8766925 178.90/178.97 o 2435 204.80/204.82 c 151.806 692.887 33752 8969854 204.80/204.82 o 2353 206.00/206.07 c 152.744 692.898 33829 9078851 206.00/206.07 o 2195 212.30/212.35 c 157.314 693.168 34639 9214576 212.30/212.35 o 2062 216.60/216.62 c 160.25 693.309 35499 9270764 216.60/216.62 o 2057 222.49/222.59 c 164.824 694.082 36204 9361219 222.49/222.59 o 2043 227.79/227.81 c 168.471 694.094 37531 9458848 227.79/227.81 o 2039 229.00/229.03 c 169.417 694.867 37658 9541597 229.00/229.03 o 2011 239.20/239.20 c 176.797 694.879 39115 9682184 239.20/239.20 o 1983 239.50/239.59 c 177.059 694.891 39137 9719348 239.50/239.59 o 1979 242.10/242.18 c 178.823 695.031 39569 9831500 242.10/242.18 o 1729 252.50/252.55 c 186.047 695.676 41304 9976370 252.50/252.55 o 1419 255.50/255.56 c 188.288 695.676 12042 10073170 255.50/255.56 o 1375 289.70/289.74 c 213.239 695.676 15355 10156998 289.70/289.74 o 1366 297.01/297.01 c 218.721 695.676 16227 10277606 297.01/297.01 o 1306 303.40/303.45 c 223.345 695.676 17031 10385290 303.40/303.45 o 1231 318.80/318.90 c 234.173 695.676 19545 10512413 318.80/318.90 o 1010 319.10/319.16 c 234.369 695.676 19546 10588239 319.10/319.16 o 990 319.40/319.42 c 234.557 695.676 19548 10647895 319.40/319.42 o 986 320.60/320.62 c 235.418 695.676 19788 10692189 320.60/320.62 o 984 322.21/322.25 c 236.606 695.676 20208 10796652 322.21/322.25 o 956 323.11/323.18 c 237.27 695.676 20281 10835534 323.11/323.18 o 951 334.10/334.18 c 245.319 695.676 13308 10994531 334.10/334.19 o 883 336.40/336.48 c 246.916 695.676 13617 11037929 336.40/336.48 o 881 339.51/339.54 c 249.144 695.676 14174 11123998 339.51/339.54 o 796 339.81/339.82 c 249.348 695.676 14250 11204769 339.81/339.82 o 783 358.70/358.77 c 263.326 695.676 18457 11393649 358.70/358.77 o 760 359.00/359.00 c 263.488 695.676 18468 11469139 359.00/359.00 o 718 378.90/378.95 c 278.273 695.676 21208 11625800 378.90/378.95 o 705 428.40/428.41 c 312.93 695.676 26915 11742253 428.40/428.41 o 701 437.90/437.95 c 319.922 695.676 28517 11870262 437.90/437.95 o 654 448.21/448.22 c 327.616 695.676 29667 11961996 448.21/448.22 o 638 450.60/450.64 c 329.378 695.676 29924 12040502 450.60/450.64 o 594 479.80/479.81 c 350.657 696.062 32949 12151502 479.80/479.81 o 592 496.61/496.66 c 363.616 695.816 34557 12277199 496.61/496.67 o 504 513.00/513.05 c 375.633 696.086 36661 12370873 513.00/513.05 o 501 528.01/528.03 c 386.955 696.484 39188 12539524 528.01/528.03 o 480 562.21/562.25 c 411.898 697.141 43812 12729613 562.21/562.25 o 469 562.71/562.76 c 412.286 697.152 43844 12805791 562.71/562.76 o 448 563.01/563.09 c 412.527 697.164 43868 12806416 563.01/563.09 o 447 563.40/563.46 c 412.807 697.176 43913 12845261 563.40/563.46 o 437 584.31/584.37 c 428.914 697.574 47037 13016778 584.31/584.37 o 395 584.51/584.59 c 429.077 697.586 47043 13091619 584.51/584.59 o 384 584.81/584.81 c 429.236 697.598 47044 13166426 584.81/584.81 o 373 585.11/585.14 c 429.467 697.609 47057 13241326 585.11/585.14 o 362 600.91/600.93 c 439.822 697.879 48655 13321959 600.91/600.93 o 358 717.31/717.34 c 500.778 700.34 57784 13471371 717.31/717.34 o 352 757.61/757.64 c 523.069 701.371 66390 13751117 757.61/757.64 o 337 777.11/777.16 c 534.646 701.371 15566 13862855 777.11/777.16 o 320 851.51/851.56 c 581.848 701.371 25204 14091901 851.51/851.56 o 307 1078.93/1078.95 c 716.967 701.371 43020 14396900 1078.93/1078.95 o 284 1396.43/1396.48 c 901.662 701.629 15915 14586580 1396.43/1396.48 o 283 1398.93/1398.92 c 903.115 701.629 15990 14622905 1398.93/1398.92 o 280 1588.64/1588.63 c 1019.12 701.629 28249 14750420 1588.64/1588.63 o 279 1800.05/1800.00 s SATISFIABLE 1800.05/1800.00 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
OK 279
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701261-1278538400/watcher-2701261-1278538400 -o /tmp/evaluation-result-2701261-1278538400/solver-2701261-1278538400 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701261-1278538400.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.98 1.94 4/196 21256 /proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=2136 CPUtime=0 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 267 0 0 0 0 0 0 0 25 0 1 0 22054138 2187264 187 4089446400 134512640 136421960 4288098000 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21256/statm: 534 187 144 467 0 65 0 [startup+0.084576 s] /proc/loadavg: 1.94 1.98 1.94 4/196 21256 /proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=3736 CPUtime=0.08 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 671 0 0 0 8 0 0 0 25 0 1 0 22054138 3825664 493 4089446400 134512640 136421960 4288098000 18446744073709551615 135878161 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21256/statm: 934 493 144 467 0 465 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3736 [startup+0.100574 s] /proc/loadavg: 1.94 1.98 1.94 4/196 21256 /proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=3736 CPUtime=0.09 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 683 0 0 0 9 0 0 0 25 0 1 0 22054138 3825664 505 4089446400 134512640 136421960 4288098000 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21256/statm: 934 505 144 467 0 465 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3736 [startup+0.300536 s] /proc/loadavg: 1.94 1.98 1.94 4/196 21256 /proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=5964 CPUtime=0.29 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 1412 0 0 0 29 0 0 0 25 0 1 0 22054138 6107136 1105 4089446400 134512640 136421960 4288098000 18446744073709551615 135717567 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21256/statm: 1491 1105 144 467 0 1022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5964 [startup+0.700461 s] /proc/loadavg: 1.94 1.98 1.94 4/196 21256 /proc/meminfo: memFree=28636128/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=30652 CPUtime=0.69 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 7774 0 0 0 69 0 0 0 25 0 1 0 22054138 31387648 7210 4089446400 134512640 136421960 4288098000 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 7749 7227 194 467 0 7280 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30652 [startup+1.50032 s] /proc/loadavg: 1.94 1.98 1.94 3/197 21257 /proc/meminfo: memFree=28535552/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=219452 CPUtime=1.49 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 57226 0 0 0 143 6 0 0 25 0 1 0 22054138 224718848 53842 4089446400 134512640 136421960 4288098000 18446744073709551615 134632344 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 54863 53842 194 467 0 54394 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 219452 [startup+3.10102 s] /proc/loadavg: 1.94 1.98 1.94 3/197 21257 /proc/meminfo: memFree=28277880/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=655628 CPUtime=3.09 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 171262 0 0 0 291 18 0 0 25 0 1 0 22054138 671363072 158092 4089446400 134512640 136421960 4288098000 18446744073709551615 134587680 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 163907 158093 201 467 0 163438 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 655628 [startup+6.30044 s] /proc/loadavg: 1.94 1.98 1.94 3/197 21257 /proc/meminfo: memFree=27990084/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=669080 CPUtime=6.29 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 174985 0 0 0 611 18 0 0 25 0 1 0 22054138 685137920 161694 4089446400 134512640 136421960 4288098000 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 167270 161694 209 467 0 166801 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 669080 [startup+12.7002 s] /proc/loadavg: 2.03 2.00 1.95 3/197 21257 /proc/meminfo: memFree=27984896/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=672908 CPUtime=12.69 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 175955 0 0 0 1250 19 0 0 25 0 1 0 22054138 689057792 162664 4089446400 134512640 136421960 4288098000 18446744073709551615 135017499 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 168227 162664 209 467 0 167758 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 672908 [startup+25.5009 s] /proc/loadavg: 2.02 2.00 1.95 3/197 21257 /proc/meminfo: memFree=27973592/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=700684 CPUtime=25.49 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 183252 0 0 0 2405 144 0 0 25 0 1 0 22054138 717500416 165579 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 175171 165579 237 467 0 174702 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 700684 [startup+51.1011 s] /proc/loadavg: 2.01 2.00 1.95 3/197 21258 /proc/meminfo: memFree=27971144/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=703084 CPUtime=51.09 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 187513 0 0 0 4253 856 0 0 25 0 1 0 22054138 719958016 166115 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 175771 166115 238 467 0 175302 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 703084 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.95 3/197 21259 /proc/meminfo: memFree=27969204/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=704096 CPUtime=102.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 188837 0 0 0 7886 2344 0 0 25 0 1 0 22054138 720994304 166402 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 176024 166402 238 467 0 175555 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 704096 [startup+162.3 s] /proc/loadavg: 2.06 2.02 1.95 3/197 21261 /proc/meminfo: memFree=27966680/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=707204 CPUtime=162.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 190520 0 0 0 12145 4085 0 0 25 0 1 0 22054138 724176896 167166 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 176801 167166 238 467 0 176332 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 707204 [startup+222.3 s] /proc/loadavg: 2.02 2.01 1.95 3/197 21263 /proc/meminfo: memFree=27963528/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=710208 CPUtime=222.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 192149 0 0 0 16460 5770 0 0 25 0 1 0 22054138 727252992 167943 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 177552 167943 238 467 0 177083 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 710208 [startup+282.301 s] /proc/loadavg: 2.01 2.00 1.95 3/197 21264 /proc/meminfo: memFree=27961264/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=712368 CPUtime=282.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193413 0 0 0 20803 7427 0 0 25 0 1 0 22054138 729464832 168471 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 178092 168471 238 467 0 177623 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 712368 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 21266 /proc/meminfo: memFree=27961196/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=712368 CPUtime=342.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193433 0 0 0 25121 9109 0 0 25 0 1 0 22054138 729464832 168478 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 178092 168478 238 467 0 177623 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 712368 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 21267 /proc/meminfo: memFree=27960420/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=712368 CPUtime=402.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193436 0 0 0 29476 10754 0 0 25 0 1 0 22054138 729464832 168478 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 178092 168478 238 467 0 177623 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 712368 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.95 3/197 21269 /proc/meminfo: memFree=27960508/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=712368 CPUtime=462.31 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193440 0 0 0 33810 12421 0 0 25 0 1 0 22054138 729464832 168478 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 178092 168478 238 467 0 177623 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 712368 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 21271 /proc/meminfo: memFree=27959724/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=713052 CPUtime=522.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 193866 0 0 0 38281 13949 0 0 25 0 1 0 22054138 730165248 168625 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 178263 168625 238 467 0 177794 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 713052 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.95 3/197 21272 /proc/meminfo: memFree=27958692/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=714036 CPUtime=582.3 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 194819 0 0 0 42725 15505 0 0 25 0 1 0 22054138 731172864 168895 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21256/statm: 178509 168895 238 467 0 178040 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 714036 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21304 /proc/meminfo: memFree=27987992/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=715284 CPUtime=642.32 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 195934 0 0 0 46478 17754 0 0 25 0 1 0 22054138 732450816 169237 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 178821 169237 238 467 0 178352 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 715284 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21309 /proc/meminfo: memFree=27975220/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=822.31 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196950 0 0 0 56334 25897 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 718200 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21310 /proc/meminfo: memFree=27975204/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=882.32 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 59950 28282 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135005945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 718200 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 21312 /proc/meminfo: memFree=27974924/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=942.32 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 63555 30677 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135005984 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 718200 [startup+1002.3 s] /proc/loadavg: 2.07 2.02 1.96 3/179 21313 /proc/meminfo: memFree=27974888/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1002.32 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 67358 32874 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135022200 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 718200 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 1.96 3/179 21315 /proc/meminfo: memFree=27973488/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1062.32 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196951 0 0 0 70765 35467 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 718200 [startup+1122.3 s] /proc/loadavg: 2.04 2.02 1.96 3/179 21317 /proc/meminfo: memFree=27973464/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1122.33 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 74170 38063 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 718200 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 1.96 3/179 21318 /proc/meminfo: memFree=27973316/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1182.33 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 77559 40674 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 718200 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 1.96 3/179 21320 /proc/meminfo: memFree=27973028/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1242.32 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 80628 43604 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 718200 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21321 /proc/meminfo: memFree=27972512/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1302.34 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 84466 45768 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 718200 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21323 /proc/meminfo: memFree=27970372/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718200 CPUtime=1362.33 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196952 0 0 0 88154 48079 0 0 25 0 1 0 22054138 735436800 169951 4089446400 134512640 136421960 4288098000 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179550 169951 238 467 0 179081 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 718200 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21325 /proc/meminfo: memFree=27970700/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1422.34 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196996 0 0 0 91573 50661 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 718464 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21326 /proc/meminfo: memFree=27970656/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1482.34 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196996 0 0 0 95258 52976 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 718464 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21328 /proc/meminfo: memFree=27967404/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1542.34 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196996 0 0 0 99230 55004 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 718464 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 21329 /proc/meminfo: memFree=27966856/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1602.33 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 102663 57570 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 718464 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 1.97 3/179 21340 /proc/meminfo: memFree=27964580/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1662.35 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 105979 60256 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 718464 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.97 3/179 21342 /proc/meminfo: memFree=27965732/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1722.34 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 109009 63225 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 718464 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 21343 /proc/meminfo: memFree=27962460/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1782.35 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 111830 66405 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 718464 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.97 3/179 21344 /proc/meminfo: memFree=27960344/32951124 swapFree=67111528/67111528 [pid=21256] ppid=21254 vsize=718464 CPUtime=1800.05 /proc/21256/stat : 21256 (pbct) R 21254 21256 19096 0 -1 4202496 196997 0 0 0 112580 67425 0 0 25 0 1 0 22054138 735707136 169993 4089446400 134512640 136421960 4288098000 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/21256/statm: 179616 169993 238 467 0 179147 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 718464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.03 CPU time (s): 1800.09 CPU user time (s): 1125.81 CPU system time (s): 674.28 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 718848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1125.81 system time used= 674.28 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 196998 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= 1 involuntary context switches= 2613 runsolver used 3.16452 second user time and 6.46002 second system time The end
Begin job on node111 at 2010-07-07 23:33:20 IDJOB=2701261 IDBENCH=79550 IDSOLVER=1208 FILE ID=node111/2701261-1278538400 PBS_JOBID= 11239256 Free space on /tmp= 73612 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar6-sub0_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701261-1278538400/watcher-2701261-1278538400 -o /tmp/evaluation-result-2701261-1278538400/solver-2701261-1278538400 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701261-1278538400.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c315664b873ce8198536ea2fe9f11ce RANDOM SEED=1846553854 node111.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5233.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28636656 kB Buffers: 145056 kB Cached: 3555716 kB SwapCached: 0 kB Active: 2448272 kB Inactive: 1719016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28636656 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5684 kB Writeback: 0 kB AnonPages: 466624 kB Mapped: 20344 kB Slab: 84388 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1640872 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73612 MiB End job on node111 at 2010-07-08 00:03:22