Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -28 | 1800.1 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb |
MD5SUM | 907943cf03e4e0f899b19858f5690e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -35 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | NO |
Number of variables | 595 |
Total number of constraints | 27847 |
Number of constraints which are clauses | 27847 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 595 |
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 | 595 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 595 |
Number of bits of the biggest sum of numbers | 10 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433122-1177955210/instance-433122-1177955210.opb 0.00/0.00 c File size is 662246 bytes. 0.09/0.11 c Highest Coefficient sum: 595 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.111 s 0.09/0.12 c Var: 595 Constr: 27847 27847/0/0 Lit: 55694 Watch. Lit: 55694 0.09/0.12 c Obj. Vars: 595 (100 % of total variables) 0.39/0.45 c Pre-processing Time: 0.455 s 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 595 27847 55694 2 55694 9282 0 0 0.46 0.39/0.46 c Switching off LPR mode. 0.39/0.46 o -24 0.459 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 595 27848 56289 2 55720 10282 1 0 0.46 0.39/0.49 c 101 595 27949 113661 4 55922 11311 102 206 0.49 0.39/0.49 o -25 0.491 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 101 595 27950 114256 4 55949 10282 103 205 0.49 0.39/0.49 o -27 0.494 16.78/16.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.78/16.85 c 101 595 27951 114851 4 55978 10282 104 204 0.49 16.78/16.85 c 202 595 28052 171917 6 56180 11311 205 382 0.53 16.78/16.85 c 452 595 28302 312862 11 56680 12443 455 726 0.62 16.78/16.85 c 927 595 28777 580445 20 57630 13688 930 1104 0.84 16.78/16.85 c 1740 595 29590 1038643 35 59256 15057 1743 1425 1.22 16.78/16.85 c 3060 595 30910 1783131 57 61896 16563 3063 1566 1.95 16.78/16.85 c 5143 595 32993 2956386 89 66062 18220 5146 1453 3.54 16.78/16.85 c 8367 595 36217 4774244 131 72510 20043 8370 1011 8.27 16.78/16.85 c 13304 595 41154 7556410 183 82384 22048 13307 790 16.82 16.78/16.85 o -28 16.843 1800.04/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.80 c 13311 595 41162 7560945 183 82428 10282 13315 790 16.84 1800.04/1800.80 c 13411 595 33089 3009397 90 66206 11311 5242 768 17.46 1800.04/1800.80 c 13661 595 33339 3150170 94 66706 12443 5492 772 17.68 1800.04/1800.80 c 14137 595 33815 3418133 101 67658 13688 5968 778 18.15 1800.04/1800.80 c 14950 595 34628 3875883 111 69284 15057 6781 778 19.20 1800.04/1800.80 c 16271 595 35949 4619966 128 71926 16563 8102 816 19.92 1800.04/1800.80 c 18352 595 38030 5790676 152 76088 18220 10183 833 22.01 1800.04/1800.80 c 21575 595 41253 7604526 184 82534 20043 13406 883 24.41 1800.04/1800.80 c 26511 595 46189 10384360 224 92406 22048 18342 829 31.98 1800.04/1800.80 c 34017 595 41941 7992505 190 83910 24253 14094 703 48.38 1800.04/1800.80 c 45378 595 39347 6526970 165 78722 26679 11500 398 113.89 1800.04/1800.80 c 62522 595 40275 7041363 174 80578 29347 12428 368 169.52 1800.04/1800.80 c 88341 595 47292 11005744 232 94612 32282 19445 318 277.47 1800.04/1800.80 c 127173 595 43081 8621235 200 86190 35511 15234 209 606.04 1800.04/1800.80 c 185525 595 52062 13679708 262 104152 39063 24215 162 1139.62 1800.04/1800.80 c Caught signal: 15 1800.04/1800.80 v -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 1800.04/1800.80 v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 1800.04/1800.80 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 1800.04/1800.80 v x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512 1800.04/1800.80 v -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 1800.04/1800.80 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 1800.04/1800.80 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 1800.04/1800.80 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 1800.04/1800.80 v -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 1800.04/1800.80 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 1800.04/1800.80 v -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 1800.04/1800.80 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 1800.04/1800.80 v -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 1800.04/1800.80 v x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 1800.04/1800.80 v -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 1800.04/1800.80 v -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 1800.04/1800.80 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 1800.04/1800.80 v -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 1800.04/1800.80 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 1800.04/1800.80 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1800.04/1800.80 v -x175 -x174 -x173 -x172 x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 1800.04/1800.80 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 1800.04/1800.80 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 1800.04/1800.80 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 1800.04/1800.80 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 1800.04/1800.80 v x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 1800.04/1800.80 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 1800.04/1800.80 v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 1800.04/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.80 c 27 264874 25238 296797 46955 10810866 19108 147 1800.04 1800.04/1800.80 c Objective: -28 1800.04/1800.80 s SATISFIABLE 1800.04/1800.80 c Total time: 1800.04 s
OK -28
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-433122-1177955210 -o ROOT/results/node37/solver-433122-1177955210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433122-1177955210/instance-433122-1177955210.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.91 3/78 1236 /proc/meminfo: memFree=1857744/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=12384 CPUtime=0 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243433479 12681216 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 3096 335 279 324 0 2004 0 [startup+0.0353909 s] /proc/loadavg: 0.91 0.95 0.91 3/78 1236 /proc/meminfo: memFree=1857744/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=5396 CPUtime=0.03 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 601 0 0 0 3 0 0 0 18 0 1 0 243433479 5525504 571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 1349 572 323 324 0 257 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5396 [startup+0.102404 s] /proc/loadavg: 0.91 0.95 0.91 3/78 1236 /proc/meminfo: memFree=1857744/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=7048 CPUtime=0.09 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 1113 0 0 0 9 0 0 0 18 0 1 0 243433479 7217152 1083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 1762 1083 422 324 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7048 [startup+0.302451 s] /proc/loadavg: 0.91 0.95 0.91 3/78 1236 /proc/meminfo: memFree=1857744/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=8928 CPUtime=0.29 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 1800 0 0 0 28 1 0 0 20 0 1 0 243433479 9142272 1608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 2232 1608 305 324 0 1302 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8928 [startup+0.701517 s] /proc/loadavg: 0.91 0.95 0.91 3/78 1236 /proc/meminfo: memFree=1857744/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=12796 CPUtime=0.7 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 2960 0 0 0 67 3 0 0 23 0 1 0 243433479 13103104 2581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 3199 2581 310 324 0 2269 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 12796 [startup+1.50167 s] /proc/loadavg: 0.91 0.95 0.91 2/79 1237 /proc/meminfo: memFree=1843720/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=25136 CPUtime=1.49 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 6024 0 0 0 145 4 0 0 25 0 1 0 243433479 25739264 5645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 6284 5645 310 324 0 5354 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25136 [startup+3.10197 s] /proc/loadavg: 0.91 0.95 0.91 2/79 1237 /proc/meminfo: memFree=1828552/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=42024 CPUtime=3.1 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 10275 0 0 0 304 6 0 0 25 0 1 0 243433479 43032576 9896 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 10506 9896 310 324 0 9576 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 42024 [startup+6.30157 s] /proc/loadavg: 0.92 0.95 0.91 2/79 1237 /proc/meminfo: memFree=1803016/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=61664 CPUtime=6.29 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 15186 0 0 0 620 9 0 0 25 0 1 0 243433479 63143936 14807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 15416 14807 310 324 0 14486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61664 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.91 2/79 1237 /proc/meminfo: memFree=1770320/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=92960 CPUtime=12.69 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 22984 0 0 0 1256 13 0 0 25 0 1 0 243433479 95191040 22605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 23240 22605 310 324 0 22310 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92960 [startup+25.5022 s] /proc/loadavg: 0.94 0.96 0.91 2/79 1237 /proc/meminfo: memFree=1746704/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=116324 CPUtime=25.48 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 28835 0 0 0 2533 15 0 0 25 0 1 0 243433479 119115776 28456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 29081 28456 310 324 0 28151 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 116324 [startup+51.103 s] /proc/loadavg: 0.96 0.96 0.91 2/79 1237 /proc/meminfo: memFree=1688464/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=172476 CPUtime=51.07 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 42879 0 0 0 5084 23 0 0 25 0 1 0 243433479 176615424 42500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 43119 42500 310 324 0 42189 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 172476 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/79 1237 /proc/meminfo: memFree=1675920/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=185156 CPUtime=102.26 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 46037 0 0 0 10200 26 0 0 25 0 1 0 243433479 189599744 45658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 46289 45658 310 324 0 45359 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 185156 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1655312/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=205928 CPUtime=162.23 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 51246 0 0 0 16194 29 0 0 25 0 1 0 243433479 210870272 50867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 51482 50867 310 324 0 50552 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 205928 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1639952/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=221228 CPUtime=222.21 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 55069 0 0 0 22189 32 0 0 25 0 1 0 243433479 226537472 54690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 55307 54690 310 324 0 54377 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 221228 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1635472/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=225244 CPUtime=282.19 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 56078 0 0 0 28186 33 0 0 25 0 1 0 243433479 230649856 55699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 56311 55699 310 324 0 55381 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 225244 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1613904/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=246716 CPUtime=342.16 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 61463 0 0 0 34179 37 0 0 25 0 1 0 243433479 252637184 61051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 61679 61051 310 324 0 60749 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 246716 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1613904/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=246716 CPUtime=402.15 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 61463 0 0 0 40177 38 0 0 25 0 1 0 243433479 252637184 61051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 61679 61051 310 324 0 60749 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 246716 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1613904/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=246716 CPUtime=462.12 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 61463 0 0 0 46174 38 0 0 25 0 1 0 243433479 252637184 61051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 61679 61051 310 324 0 60749 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 246716 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1613904/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=246716 CPUtime=522.1 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 61463 0 0 0 52172 38 0 0 25 0 1 0 243433479 252637184 61051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 61679 61051 310 324 0 60749 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 246716 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1613968/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=246716 CPUtime=582.08 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 61463 0 0 0 58169 39 0 0 25 0 1 0 243433479 252637184 61051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 61679 61051 310 324 0 60749 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 246716 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1613968/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=246716 CPUtime=642.06 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 61463 0 0 0 64167 39 0 0 25 0 1 0 243433479 252637184 61051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 61679 61051 310 324 0 60749 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 246716 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1237 /proc/meminfo: memFree=1590480/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=269924 CPUtime=822 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67317 0 0 0 82153 47 0 0 25 0 1 0 243433479 276402176 66869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67481 66869 310 324 0 66551 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 269924 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/85 1402 /proc/meminfo: memFree=1589384/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=269924 CPUtime=881.9 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67317 0 0 0 88143 47 0 0 25 0 1 0 243433479 276402176 66869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67481 66869 310 324 0 66551 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 269924 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1590352/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=269924 CPUtime=941.84 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67317 0 0 0 94137 47 0 0 25 0 1 0 243433479 276402176 66869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67481 66869 310 324 0 66551 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 269924 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1590416/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=269924 CPUtime=1001.82 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67317 0 0 0 100134 48 0 0 25 0 1 0 243433479 276402176 66869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67481 66869 310 324 0 66551 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 269924 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1590480/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=270052 CPUtime=1061.8 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67360 0 0 0 106132 48 0 0 25 0 1 0 243433479 276533248 66876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67513 66876 310 324 0 66583 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 270052 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1590480/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=270052 CPUtime=1121.78 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67360 0 0 0 112129 49 0 0 25 0 1 0 243433479 276533248 66876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67513 66876 310 324 0 66583 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 270052 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1590608/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=270052 CPUtime=1181.76 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 67360 0 0 0 118126 50 0 0 25 0 1 0 243433479 276533248 66876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 67513 66876 310 324 0 66583 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 270052 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564560/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1241.74 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73866 0 0 0 124119 55 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134560023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 295848 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564560/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1301.72 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73866 0 0 0 130117 55 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 295848 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564560/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1361.69 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73866 0 0 0 136113 56 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 295848 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564560/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1421.67 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73866 0 0 0 142111 56 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 295848 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564432/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1481.65 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73905 0 0 0 148108 57 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 295848 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564624/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1541.62 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73905 0 0 0 154105 57 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 295848 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564624/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1601.6 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73905 0 0 0 160102 58 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 295848 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564688/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1661.58 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73905 0 0 0 166100 58 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 295848 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564752/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1721.56 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73905 0 0 0 172097 59 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 295848 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564560/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1781.54 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73944 0 0 0 178094 60 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 295848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.91 2/79 1436 /proc/meminfo: memFree=1564624/2055920 swapFree=4145572/4192956 [pid=1236] ppid=1234 vsize=295848 CPUtime=1800.04 /proc/1236/stat : 1236 (bsolo3.0.17) R 1234 1236 32645 0 -1 4194304 73944 0 0 0 179944 60 0 0 25 0 1 0 243433479 302948352 73343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1236/statm: 73962 73343 310 324 0 73032 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 295848 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.86 CPU time (s): 1800.1 CPU user time (s): 1799.44 CPU system time (s): 0.6519 CPU usage (%): 99.9577 Max. virtual memory (cumulated for all children) (KiB): 296004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.44 system time used= 0.6519 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73948 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= 12 involuntary context switches= 21711 runsolver used 1.70274 second user time and 4.25735 second system time The end
Begin job on node37 on Mon Apr 30 17:46:50 UTC 2007 IDJOB= 433122 IDBENCH= 2274 IDSOLVER= 199 FILE ID= node37/433122-1177955210 PBS_JOBID= 4727668 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433122-1177955210/instance-433122-1177955210.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-433122-1177955210 -o ROOT/results/node37/solver-433122-1177955210 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433122-1177955210/instance-433122-1177955210.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e RANDOM SEED= 388675631 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.281 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.281 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: 1858152 kB Buffers: 34340 kB Cached: 75844 kB SwapCached: 15276 kB Active: 63188 kB Inactive: 71408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858152 kB SwapTotal: 4192956 kB SwapFree: 4145572 kB Dirty: 7248 kB Writeback: 0 kB Mapped: 31376 kB Slab: 48436 kB Committed_AS: 2168644 kB PageTables: 2004 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node37 on Mon Apr 30 18:16:53 UTC 2007