Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 226 | 1800.11 | 1802.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
MD5SUM | bddc7a1ce44c83fc28f6e299cbaaf04c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 184 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 184 |
Optimality of the best value was proved | NO |
Number of variables | 476 |
Total number of constraints | 476 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 476 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 476 |
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 | 476 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 476 |
Number of bits of the biggest sum of numbers | 9 |
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/432852-1177950892/instance-432852-1177950892.opb 0.00/0.00 c File size is 43258 bytes. 0.00/0.01 c Highest Coefficient sum: 476 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 476 Constr: 476 0/0/476 Lit: 4258 Watch. Lit: 1519 0.00/0.01 c Obj. Vars: 476 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 476 476 4258 8 1968 8516 0 0 0.01 0.59/0.61 c Initial Lower Bound: 142 0.59/0.61 c Initial Path Cost: 0 0.59/0.61 o 230 0.606 17.78/17.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.78/17.89 c 0 476 477 4734 9 2419 9516 1 0 0.61 17.78/17.89 c 101 476 679 56440 83 2878 10468 203 11 8.98 17.78/17.89 o 226 17.886 * 1800.07/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.60 c 101 476 680 56916 83 3165 9516 204 5 17.89 1800.07/1800.60 c 201 476 834 92247 110 3401 10468 358 7 27.57 1800.07/1800.60 c 452 476 1336 220559 165 4420 11515 860 12 37.64 1800.07/1800.60 c 928 476 2288 462703 202 6341 12667 1812 19 48.72 1800.07/1800.60 c 1742 476 3910 884301 226 9597 13934 3434 28 62.10 1800.07/1800.60 c 3064 476 6545 1552043 237 14840 15328 6069 39 77.44 1800.07/1800.60 c 5146 476 10709 2570168 240 23177 16861 10233 52 97.78 1800.07/1800.60 c 8369 476 17147 4220837 246 36070 18548 16671 66 125.83 1800.07/1800.60 c 13307 476 17409 4254405 244 36357 20403 16933 74 179.09 1800.07/1800.60 c 20814 476 11345 2818723 248 24236 22444 10869 82 252.49 1800.07/1800.60 c 32176 476 20679 4959463 239 42887 24689 20203 89 359.69 1800.07/1800.60 c 49321 476 11829 2855423 241 25181 27158 11353 88 557.99 1800.07/1800.60 c 75140 476 13913 3443282 247 29354 29874 13437 86 868.88 1800.07/1800.60 c 113972 476 15203 3571109 234 31904 32862 14727 87 1305.95 1800.07/1800.60 c Caught signal: 15 1800.07/1800.60 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 1800.07/1800.60 v 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 1800.07/1800.60 v -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 1800.07/1800.60 v 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 1800.07/1800.60 v -x117 -x118 -x119 x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 -x134 x135 x136 x137 -x138 1800.07/1800.60 v x139 -x140 -x141 x142 x143 -x144 -x145 x146 x147 x148 x149 x150 -x151 -x152 -x153 x154 -x155 -x156 x157 x158 x159 -x160 x161 1800.07/1800.60 v -x162 -x163 x164 -x165 -x166 x167 x168 x169 -x170 x171 x172 -x173 -x174 x175 x176 x177 -x178 x179 -x180 x181 x182 -x183 -x184 1800.07/1800.60 v x185 -x186 -x187 -x188 -x189 x190 x191 -x192 x193 x194 x195 x196 x197 x198 x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 x207 1800.07/1800.60 v -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 x217 x218 x219 x220 -x221 -x222 x223 x224 x225 -x226 -x227 x228 -x229 -x230 1800.07/1800.60 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 x249 x250 -x251 -x252 1800.07/1800.60 v -x253 -x254 x255 -x256 -x257 x258 x259 -x260 x261 x262 -x263 x264 -x265 x266 -x267 x268 x269 x270 x271 x272 x273 x274 -x275 1800.07/1800.60 v x276 -x277 x278 -x279 x280 x281 -x282 x283 x284 -x285 x286 -x287 x288 x289 x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 1800.07/1800.60 v -x299 -x300 x301 -x302 x303 x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 x313 x314 -x315 x316 -x317 -x318 x319 x320 -x321 1800.07/1800.60 v -x322 x323 -x324 x325 -x326 -x327 -x328 x329 -x330 x331 -x332 x333 x334 -x335 x336 x337 x338 -x339 x340 x341 -x342 x343 -x344 1800.07/1800.60 v x345 x346 -x347 x348 x349 x350 -x351 x352 x353 x354 -x355 -x356 x357 x358 -x359 -x360 x361 x362 -x363 x364 -x365 x366 x367 -x368 1800.07/1800.60 v -x369 x370 x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 x389 -x390 1800.07/1800.60 v -x391 x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 x401 x402 -x403 x404 x405 -x406 x407 -x408 x409 -x410 -x411 -x412 1800.07/1800.60 v -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 x433 x434 1800.07/1800.60 v x435 -x436 x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 1800.07/1800.60 v -x457 -x458 -x459 x460 x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 x473 x474 x475 x476 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 16 154706 13295 172538 31674 7703161 31198 85 1800.08 1800.07/1800.61 c Objective: 226 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 c Total time: 1800.08 s
OK 226
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-432852-1177950892 -o ROOT/results/node30/solver-432852-1177950892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432852-1177950892/instance-432852-1177950892.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.92 0.98 0.94 3/77 16881 /proc/meminfo: memFree=1716872/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=11780 CPUtime=0 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243004941 12062720 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 2945 333 279 324 0 2004 0 [startup+0.077881 s] /proc/loadavg: 0.92 0.98 0.94 3/77 16881 /proc/meminfo: memFree=1716872/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=5832 CPUtime=0.07 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 822 0 0 0 7 0 0 0 18 0 1 0 243004941 5971968 773 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1458 773 390 324 0 528 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5832 [startup+0.101882 s] /proc/loadavg: 0.92 0.98 0.94 3/77 16881 /proc/meminfo: memFree=1716872/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=5832 CPUtime=0.09 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 857 0 0 0 9 0 0 0 18 0 1 0 243004941 5971968 808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135315574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1458 808 390 324 0 528 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5832 [startup+0.301894 s] /proc/loadavg: 0.92 0.98 0.94 3/77 16881 /proc/meminfo: memFree=1716872/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=6376 CPUtime=0.29 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 1141 0 0 0 29 0 0 0 19 0 1 0 243004941 6529024 895 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1594 895 390 324 0 664 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6376 [startup+0.701919 s] /proc/loadavg: 0.92 0.98 0.94 3/77 16881 /proc/meminfo: memFree=1716872/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=7084 CPUtime=0.69 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2128 0 0 0 69 0 0 0 23 0 1 0 243004941 7254016 851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311577 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1771 851 393 324 0 841 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7084 [startup+1.50197 s] /proc/loadavg: 0.92 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1715264/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=6868 CPUtime=1.49 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 5371 0 0 0 147 2 0 0 25 0 1 0 243004941 7032832 799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1717 799 393 324 0 787 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6868 [startup+3.10107 s] /proc/loadavg: 0.92 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1715072/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=6804 CPUtime=3.09 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 11483 0 0 0 305 4 0 0 25 0 1 0 243004941 6967296 879 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135315574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1701 879 393 324 0 771 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6804 [startup+6.30126 s] /proc/loadavg: 0.93 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1715008/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=6860 CPUtime=6.29 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 24567 0 0 0 622 7 0 0 25 0 1 0 243004941 7024640 787 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 1715 787 393 324 0 785 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6860 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1714048/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=8668 CPUtime=12.69 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 62854 0 0 0 1246 23 0 0 25 0 1 0 243004941 8876032 1064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 2167 1064 394 324 0 1237 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8668 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1714368/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=8336 CPUtime=25.48 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 108239 0 0 0 2509 39 0 0 25 0 1 0 243004941 8536064 959 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 2084 959 394 324 0 1154 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8336 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1709056/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=14284 CPUtime=51.07 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 266323 0 0 0 4997 110 0 0 25 0 1 0 243004941 14626816 2355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 3571 2355 394 324 0 2641 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14284 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1680704/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=41960 CPUtime=102.27 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 620148 0 0 0 9933 294 0 0 25 0 1 0 243004941 42967040 9311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 10490 9311 394 324 0 9560 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 41960 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1652416/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=69612 CPUtime=162.25 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 1039779 0 0 0 15685 540 0 0 25 0 1 0 243004941 71282688 16393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 17403 16393 394 324 0 16473 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 69612 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16882 /proc/meminfo: memFree=1646016/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=73908 CPUtime=222.24 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 1433825 0 0 0 21443 781 0 0 25 0 1 0 243004941 75681792 17953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 18477 17953 394 324 0 17547 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 73908 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16884 /proc/meminfo: memFree=1642944/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=76916 CPUtime=282.21 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 1762404 0 0 0 27220 1001 0 0 25 0 1 0 243004941 78761984 18705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 19229 18705 394 324 0 18299 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 76916 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.94 3/78 16884 /proc/meminfo: memFree=1638848/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=83000 CPUtime=342.2 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2132601 0 0 0 32962 1258 0 0 25 0 1 0 243004941 84992000 19745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 20825 19745 394 324 0 19895 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 83000 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16884 /proc/meminfo: memFree=1632320/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=87568 CPUtime=402.19 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2482087 0 0 0 38738 1481 0 0 25 0 1 0 243004941 89669632 21367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 21892 21367 394 324 0 20962 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 87568 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16884 /proc/meminfo: memFree=1632384/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=87568 CPUtime=462.17 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2726532 0 0 0 44562 1655 0 0 25 0 1 0 243004941 89669632 21367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 21892 21367 394 324 0 20962 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 87568 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16884 /proc/meminfo: memFree=1627456/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=92452 CPUtime=522.16 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2820226 0 0 0 50511 1705 0 0 25 0 1 0 243004941 94670848 22588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134792549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 23113 22588 394 324 0 22183 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 92452 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16884 /proc/meminfo: memFree=1627520/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=92452 CPUtime=582.14 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2821554 0 0 0 56508 1706 0 0 25 0 1 0 243004941 94670848 22588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 23113 22588 394 324 0 22183 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 92452 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.94 2/78 16884 /proc/meminfo: memFree=1627520/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=92452 CPUtime=642.13 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 2821786 0 0 0 62506 1707 0 0 25 0 1 0 243004941 94670848 22588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 23113 22588 394 324 0 22183 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 92452 ################ # More data... # ################ /proc/meminfo: memFree=1615040/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=107268 CPUtime=1002.05 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 4250264 0 0 0 97455 2750 0 0 25 0 1 0 243004941 109842432 25693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134688384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26817 25693 394 324 0 25887 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 107268 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1615104/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=104836 CPUtime=1062.03 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 4548319 0 0 0 103244 2959 0 0 25 0 1 0 243004941 107352064 25684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26209 25684 394 324 0 25279 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 104836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1615104/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=107264 CPUtime=1122.01 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 4793710 0 0 0 109051 3150 0 0 25 0 1 0 243004941 109838336 25693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26816 25693 394 324 0 25886 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 107264 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1615104/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=104820 CPUtime=1182 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 5032321 0 0 0 114872 3328 0 0 25 0 1 0 243004941 107335680 25680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26205 25680 394 324 0 25275 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 104820 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1615040/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=106768 CPUtime=1241.99 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 5289784 0 0 0 120679 3520 0 0 25 0 1 0 243004941 109330432 25687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26805 25689 394 324 0 25875 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 106768 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 0.95 2/78 16884 /proc/meminfo: memFree=1615040/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=104820 CPUtime=1301.98 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 5488594 0 0 0 126524 3674 0 0 25 0 1 0 243004941 107335680 25680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26205 25680 394 324 0 25275 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 104820 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 0.95 2/78 16884 /proc/meminfo: memFree=1614976/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=107072 CPUtime=1361.95 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 5747858 0 0 0 132337 3858 0 0 25 0 1 0 243004941 109641728 25688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 26768 25688 394 324 0 25838 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 107072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1606912/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=112876 CPUtime=1421.94 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 6032363 0 0 0 138155 4039 0 0 25 0 1 0 243004941 115585024 27695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7452316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 28219 27695 394 324 0 27289 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 112876 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1606976/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=112876 CPUtime=1481.93 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 6204828 0 0 0 144022 4171 0 0 25 0 1 0 243004941 115585024 27695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 28219 27695 394 324 0 27289 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 112876 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 16884 /proc/meminfo: memFree=1607040/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=115304 CPUtime=1541.91 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 6453780 0 0 0 149844 4347 0 0 25 0 1 0 243004941 118071296 27704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 28826 27706 394 324 0 27896 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 115304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/84 17048 /proc/meminfo: memFree=1600192/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=118416 CPUtime=1601.83 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 6626279 0 0 0 155715 4468 0 0 25 0 1 0 243004941 121257984 29080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 29604 29080 394 324 0 28674 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 118416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 17082 /proc/meminfo: memFree=1601344/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=118416 CPUtime=1661.8 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 6931940 0 0 0 161494 4686 0 0 25 0 1 0 243004941 121257984 29080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7450975 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 29604 29080 394 324 0 28674 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 118416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 17082 /proc/meminfo: memFree=1601344/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=118416 CPUtime=1721.78 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 7143442 0 0 0 167329 4849 0 0 25 0 1 0 243004941 121257984 29080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 29604 29080 394 324 0 28674 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 118416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 17082 /proc/meminfo: memFree=1601408/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=120820 CPUtime=1781.77 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 7423636 0 0 0 173118 5059 0 0 25 0 1 0 243004941 123719680 29089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7453774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 30205 29089 394 324 0 29275 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 120820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/78 17082 /proc/meminfo: memFree=1601408/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=120392 CPUtime=1800.07 /proc/16881/stat : 16881 (bsolo3.0.17) R 16879 16881 15640 0 -1 4194304 7542716 0 0 0 174867 5140 0 0 25 0 1 0 243004941 123281408 29087 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 30212 29089 394 324 0 29282 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 120392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.95 2/78 17082 /proc/meminfo: memFree=1601408/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=118416 CPUtime=1800.07 /proc/16881/stat : 16881 (bsolo3.0.17) S 16879 16881 15640 0 -1 4194304 7542718 0 0 0 174867 5140 0 0 25 0 1 0 243004941 121257984 29080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 29604 29080 394 324 0 28674 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 118416 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.95 1/79 17083 /proc/meminfo: memFree=1601400/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=118416 CPUtime=1800.07 /proc/16881/stat : 16881 (bsolo3.0.17) S 16879 16881 15640 0 -1 4194304 7542718 0 0 0 174867 5140 0 0 25 0 1 0 243004941 121257984 29080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 29604 29080 394 324 0 28674 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 118416 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.95 1/79 17083 /proc/meminfo: memFree=1601400/2055920 swapFree=4157096/4192956 [pid=16881] ppid=16879 vsize=118416 CPUtime=1800.07 /proc/16881/stat : 16881 (bsolo3.0.17) S 16879 16881 15640 0 -1 4194304 7542718 0 0 0 174867 5140 0 0 25 0 1 0 243004941 121257984 29080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/16881/statm: 29604 29080 394 324 0 28674 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 118416 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.63 CPU time (s): 1800.11 CPU user time (s): 1748.68 CPU system time (s): 51.4292 CPU usage (%): 99.8598 Max. virtual memory (cumulated for all children) (KiB): 120880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.68 system time used= 51.4292 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7542718 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= 13 involuntary context switches= 7307 runsolver used 1.46478 second user time and 3.74743 second system time The end
Begin job on node30 on Mon Apr 30 16:34:53 UTC 2007 IDJOB= 432852 IDBENCH= 1954 IDSOLVER= 199 FILE ID= node30/432852-1177950892 PBS_JOBID= 4727611 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432852-1177950892/instance-432852-1177950892.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-432852-1177950892 -o ROOT/results/node30/solver-432852-1177950892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432852-1177950892/instance-432852-1177950892.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= bddc7a1ce44c83fc28f6e299cbaaf04c RANDOM SEED= 692427631 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node30.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.218 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.218 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: 1717280 kB Buffers: 38608 kB Cached: 209376 kB SwapCached: 15448 kB Active: 124536 kB Inactive: 146788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1717280 kB SwapTotal: 4192956 kB SwapFree: 4157096 kB Dirty: 6716 kB Writeback: 0 kB Mapped: 30260 kB Slab: 52868 kB Committed_AS: 3660136 kB PageTables: 1776 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 node30 on Mon Apr 30 17:04:55 UTC 2007