Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 226 | 1800.03 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
MD5SUM | 7db364152f2aec17f16cb8adef9dc3c7 |
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.03 |
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 | 470 |
Total number of constraints | 469 |
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 | 469 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 470 |
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 | 470 |
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 | 470 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/352214-1176626213/instance-352214-1176626213.opb 0.00/0.01 c File size is 42910 bytes. 0.00/0.02 c Highest Coefficient sum: 470 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.015 s 0.00/0.02 c Var: 470 Constr: 469 0/0/469 Lit: 4245 Watch. Lit: 1518 0.00/0.02 c Obj. Vars: 470 (100 % of total variables) 0.00/0.03 c Pre-processing Time: 0.019 s 0.48/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.56 c 0 470 469 4245 9 1995 8490 0 0 0.02 0.48/0.56 c Initial Lower Bound: 142 0.48/0.56 c Initial Path Cost: 0 0.48/0.56 o 226 0.552 1799.91/1800.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.78 c 0 470 470 4715 10 2415 9490 1 0 0.55 1799.91/1800.78 c 100 470 638 44884 70 2768 10440 169 14 6.91 1799.91/1800.78 c 350 470 1026 136293 132 3534 11485 557 23 14.79 1799.91/1800.78 c 825 470 1931 361729 187 5327 12634 1462 33 24.48 1799.91/1800.78 c 1638 470 3351 723039 215 8193 13898 2882 46 35.15 1799.91/1800.78 c 2958 470 5608 1273601 227 12683 15288 5139 62 47.34 1799.91/1800.78 c 5041 470 8452 1957405 231 18425 16817 7983 81 61.50 1799.91/1800.78 c 8264 470 14012 3376789 240 29550 18499 13543 102 80.73 1799.91/1800.78 c 13201 470 13415 3314558 247 28356 20349 12946 121 108.82 1799.91/1800.78 c 20707 470 15857 3921883 247 33229 22384 15388 137 150.71 1799.91/1800.78 c 32068 470 20578 4889906 237 42692 24623 20109 155 205.89 1799.91/1800.78 c 49212 470 23547 5926238 251 48588 27086 23078 148 331.35 1799.91/1800.78 c 75031 470 18523 4408714 238 38517 29795 18054 155 482.85 1799.91/1800.78 c 113863 470 27881 6864039 246 57280 32775 27412 156 729.79 1799.91/1800.78 c 172215 470 14671 3351490 228 30796 36053 14202 168 1019.31 1799.91/1800.78 c 259847 470 26023 6081855 233 53497 39659 25554 156 1664.29 1799.91/1800.78 c Resources Exceeded 1799.91/1800.78 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 1799.91/1800.78 v 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 1799.91/1800.78 v -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 1799.91/1800.78 v 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 1799.91/1800.78 v x124 x125 x126 x127 -x128 x129 x130 -x131 x132 x133 -x134 x135 x136 -x137 -x138 x139 x140 x141 -x142 -x143 x144 x145 x146 -x147 1799.91/1800.78 v -x148 -x149 -x150 x151 -x152 x153 x154 x155 -x156 x157 -x158 x159 -x160 -x161 x162 x163 x164 x165 x166 -x167 -x168 x169 -x170 1799.91/1800.78 v -x171 x172 x173 x174 x175 -x176 -x177 x178 -x179 x180 x181 x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -x190 x191 x192 -x193 1799.91/1800.78 v -x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 -x204 -x205 -x206 x207 x208 x209 -x210 x211 x212 -x213 x214 x215 -x216 -x217 1799.91/1800.78 v -x218 -x219 x220 x221 -x222 -x223 x224 -x225 x226 x227 x228 x229 -x230 x231 x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 1799.91/1800.78 v x241 -x242 -x243 -x244 x245 x246 x247 -x248 x249 x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 -x259 x260 x261 -x262 x263 1799.91/1800.78 v -x264 x265 -x266 -x267 x268 -x269 x270 x271 x272 x273 x274 -x275 x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 x285 x286 1799.91/1800.78 v -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 1799.91/1800.78 v -x308 -x309 -x310 x311 x312 -x313 -x314 -x315 x316 x317 -x318 x319 x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 1799.91/1800.78 v -x330 -x331 -x332 -x333 x334 x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 x349 -x350 -x351 1799.91/1800.78 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 1799.91/1800.78 v -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 x389 -x390 -x391 -x392 x393 x394 1799.91/1800.78 v x395 -x396 -x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 1799.91/1800.78 v -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 1799.91/1800.78 v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1799.91/1800.78 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1799.91/1800.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.78 c 16 284641 19529 335458 37279 9249821 36810 158 1800.00 1799.91/1800.78 c Objective: 226 1799.91/1800.78 s SATISFIABLE 1799.91/1800.78 c Total time: 1800 s
OK 226
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-352214-1176626213 -o ROOT/results/node20/solver-352214-1176626213 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352214-1176626213/instance-352214-1176626213.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.97 0.98 3/77 6965 /proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=2332 CPUtime=0 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 110538669 2387968 26 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7623687 0 0 4096 0 0 0 0 17 1 0 0 /proc/6965/statm: 583 26 20 324 0 3 0 [startup+0.051593 s] /proc/loadavg: 0.92 0.97 0.98 3/77 6965 /proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=5632 CPUtime=0.03 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 722 0 3 0 3 0 0 0 18 0 1 0 110538669 5767168 682 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1408 682 387 324 0 477 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5632 [startup+0.101601 s] /proc/loadavg: 0.92 0.97 0.98 3/77 6965 /proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=5824 CPUtime=0.08 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 832 0 3 0 8 0 0 0 18 0 1 0 110538669 5963776 785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135311815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1456 786 389 324 0 525 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5824 [startup+0.301641 s] /proc/loadavg: 0.92 0.97 0.98 3/77 6965 /proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=6356 CPUtime=0.28 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1090 0 3 0 28 0 0 0 19 0 1 0 110538669 6508544 835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227519 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1589 835 389 324 0 658 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6356 [startup+0.701721 s] /proc/loadavg: 0.92 0.97 0.98 3/77 6965 /proc/meminfo: memFree=1839104/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=6664 CPUtime=0.68 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2181 0 3 0 68 0 0 0 23 0 1 0 110538669 6823936 783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134941752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1666 783 392 324 0 735 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6664 [startup+1.50188 s] /proc/loadavg: 0.92 0.97 0.98 2/78 6966 /proc/meminfo: memFree=1836536/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=6792 CPUtime=1.48 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4853 0 3 0 147 1 0 0 25 0 1 0 110538669 6955008 793 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135324489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1698 793 392 324 0 767 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6792 [startup+3.1012 s] /proc/loadavg: 0.92 0.97 0.98 2/78 6966 /proc/meminfo: memFree=1836472/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=7084 CPUtime=3.08 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 11153 0 3 0 305 3 0 0 25 0 1 0 110538669 7254016 778 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1771 778 392 324 0 840 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7084 [startup+6.30185 s] /proc/loadavg: 1.01 0.99 0.98 2/78 6966 /proc/meminfo: memFree=1836984/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=6768 CPUtime=6.28 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 27365 0 3 0 618 10 0 0 25 0 1 0 110538669 6930432 681 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134948767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1692 681 392 324 0 761 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6768 [startup+12.7011 s] /proc/loadavg: 1.01 0.99 0.98 2/78 6966 /proc/meminfo: memFree=1836152/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=7852 CPUtime=12.68 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 64830 0 3 0 1242 26 0 0 25 0 1 0 110538669 8040448 866 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 1963 866 393 324 0 1032 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7852 [startup+25.5017 s] /proc/loadavg: 1.07 1.00 0.99 2/78 6966 /proc/meminfo: memFree=1831800/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=13012 CPUtime=25.47 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 144926 0 3 0 2486 61 0 0 25 0 1 0 110538669 13324288 2085 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 3253 2085 393 324 0 2322 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 13012 [startup+51.1018 s] /proc/loadavg: 1.05 1.00 0.99 2/78 6968 /proc/meminfo: memFree=1819960/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=24944 CPUtime=51.06 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 293503 0 3 0 4973 133 0 0 25 0 1 0 110538669 25542656 4928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135336585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 6236 4928 393 324 0 5305 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 24944 [startup+102.305 s] /proc/loadavg: 1.07 1.01 0.99 3/78 6968 /proc/meminfo: memFree=1774200/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=67416 CPUtime=102.24 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 680865 0 3 0 9888 336 0 0 25 0 1 0 110538669 69033984 16329 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 16854 16329 393 324 0 15923 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 67416 [startup+162.301 s] /proc/loadavg: 1.07 1.02 1.00 2/78 6968 /proc/meminfo: memFree=1767736/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=73804 CPUtime=162.22 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1011787 0 3 0 15672 550 0 0 25 0 1 0 110538669 75575296 17926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 18451 17926 393 324 0 17520 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 73804 [startup+222.302 s] /proc/loadavg: 1.06 1.03 1.00 2/78 6968 /proc/meminfo: memFree=1758840/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=82976 CPUtime=222.2 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1368356 0 3 0 21432 788 0 0 25 0 1 0 110538669 84967424 20219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 20744 20219 393 324 0 19813 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 82976 [startup+282.301 s] /proc/loadavg: 1.34 1.10 1.02 2/78 6968 /proc/meminfo: memFree=1750904/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=91036 CPUtime=282.18 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1612731 0 3 0 27259 959 0 0 25 0 1 0 110538669 93220864 22234 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 22759 22234 393 324 0 21828 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 91036 [startup+342.301 s] /proc/loadavg: 1.16 1.10 1.02 2/78 6968 /proc/meminfo: memFree=1747576/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=93840 CPUtime=342.16 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1642053 0 3 0 33240 976 0 0 25 0 1 0 110538669 96092160 22935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135188187 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 23460 22935 393 324 0 22529 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 93840 [startup+402.301 s] /proc/loadavg: 1.17 1.10 1.03 2/78 6968 /proc/meminfo: memFree=1744760/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=96520 CPUtime=402.13 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 1906692 0 3 0 39044 1169 0 0 25 0 1 0 110538669 98836480 23605 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 24130 23605 393 324 0 23199 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 96520 [startup+462.301 s] /proc/loadavg: 1.13 1.10 1.03 2/78 6968 /proc/meminfo: memFree=1744760/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=96516 CPUtime=462.11 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2120309 0 3 0 44862 1349 0 0 25 0 1 0 110538669 98832384 23604 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 24129 23604 393 324 0 23198 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 96516 [startup+522.302 s] /proc/loadavg: 1.11 1.09 1.03 2/78 6968 /proc/meminfo: memFree=1736824/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=104376 CPUtime=522.08 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2428850 0 3 0 50652 1556 0 0 25 0 1 0 110538669 106881024 25569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 26094 25569 393 324 0 25163 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 104376 [startup+582.302 s] /proc/loadavg: 1.10 1.09 1.03 2/78 6968 /proc/meminfo: memFree=1736824/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=104376 CPUtime=582.06 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2638215 0 3 0 56483 1723 0 0 25 0 1 0 110538669 106881024 25569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 26094 25569 393 324 0 25163 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 104376 [startup+642.302 s] /proc/loadavg: 1.09 1.09 1.02 2/78 6968 /proc/meminfo: memFree=1735160/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=105916 CPUtime=642.05 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 2853795 0 3 0 62317 1888 0 0 25 0 1 0 110538669 108457984 25954 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 26479 25954 393 324 0 25548 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 105916 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.07 1.08 1.02 2/78 6968 /proc/meminfo: memFree=1728056/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=114896 CPUtime=821.97 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 3585799 0 3 0 79750 2447 0 0 25 0 1 0 110538669 117653504 27673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 28847 27675 393 324 0 27916 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 114896 [startup+882.302 s] /proc/loadavg: 1.07 1.08 1.02 2/78 6968 /proc/meminfo: memFree=1727992/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=114404 CPUtime=881.95 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 3746799 0 3 0 85603 2592 0 0 25 0 1 0 110538669 117149696 27671 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 28683 27672 393 324 0 27752 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 114404 [startup+942.302 s] /proc/loadavg: 1.10 1.09 1.03 2/78 6968 /proc/meminfo: memFree=1727992/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=115056 CPUtime=941.93 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 3911212 0 3 0 91459 2734 0 0 25 0 1 0 110538669 117817344 27673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 28764 27673 393 324 0 27833 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 115056 [startup+1002.3 s] /proc/loadavg: 1.04 1.07 1.02 2/78 6968 /proc/meminfo: memFree=1727992/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=112764 CPUtime=1001.9 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4112898 0 3 0 97290 2900 0 0 25 0 1 0 110538669 115470336 27666 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134710053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 28191 27666 393 324 0 27260 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 112764 [startup+1062.3 s] /proc/loadavg: 1.01 1.06 1.02 2/78 6968 /proc/meminfo: memFree=1727800/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=115084 CPUtime=1061.88 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4311074 0 3 0 103138 3050 0 0 25 0 1 0 110538669 117846016 27673 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135333533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 28771 27672 393 324 0 27840 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 115084 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.01 2/78 6968 /proc/meminfo: memFree=1721656/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=121580 CPUtime=1121.86 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4498618 0 3 0 108991 3195 0 0 25 0 1 0 110538669 124497920 29223 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29781 29215 393 324 0 28850 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 121580 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 6968 /proc/meminfo: memFree=1721080/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=119448 CPUtime=1181.84 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4782164 0 3 0 114766 3418 0 0 25 0 1 0 110538669 122314752 29336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29862 29336 393 324 0 28931 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 119448 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6968 /proc/meminfo: memFree=1720888/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=119448 CPUtime=1241.81 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4782164 0 3 0 120760 3421 0 0 25 0 1 0 110538669 122314752 29336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29862 29336 393 324 0 28931 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 119448 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6968 /proc/meminfo: memFree=1721272/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=118960 CPUtime=1301.79 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 4816180 0 3 0 126724 3455 0 0 25 0 1 0 110538669 121815040 29215 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29740 29215 393 324 0 28809 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 118960 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6968 /proc/meminfo: memFree=1721272/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=121232 CPUtime=1361.77 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5016425 0 3 0 132562 3615 0 0 25 0 1 0 110538669 124141568 29222 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 30308 29223 393 324 0 29377 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 121232 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6968 /proc/meminfo: memFree=1720952/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=119172 CPUtime=1421.75 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5126855 0 3 0 138476 3699 0 0 25 0 1 0 110538669 122032128 29268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29793 29268 393 324 0 28862 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 119172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 7132 /proc/meminfo: memFree=1719552/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=119172 CPUtime=1481.65 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5126855 0 3 0 144462 3703 0 0 25 0 1 0 110538669 122032128 29268 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134706780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29793 29268 393 324 0 28862 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 119172 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7166 /proc/meminfo: memFree=1720760/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=118964 CPUtime=1541.61 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5232135 0 3 0 150362 3799 0 0 25 0 1 0 110538669 121819136 29216 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29741 29216 393 324 0 28810 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 118964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7166 /proc/meminfo: memFree=1720120/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=119464 CPUtime=1601.58 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5437187 0 3 0 156197 3961 0 0 25 0 1 0 110538669 122331136 29341 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8053087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29866 29341 393 324 0 28935 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 119464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7166 /proc/meminfo: memFree=1720248/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=119464 CPUtime=1661.56 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5437211 0 3 0 162193 3963 0 0 25 0 1 0 110538669 122331136 29341 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134802386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 29866 29341 393 324 0 28935 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 119464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7166 /proc/meminfo: memFree=1707704/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=133352 CPUtime=1721.53 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5576309 0 3 0 168098 4055 0 0 25 0 1 0 110538669 136552448 32448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8055886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 33338 32448 393 324 0 32407 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 133352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7166 /proc/meminfo: memFree=1707704/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=131876 CPUtime=1781.51 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194304 5715538 0 3 0 173981 4170 0 0 25 0 1 0 110538669 135041024 32443 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 32969 32443 393 324 0 32038 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 131876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7166 /proc/meminfo: memFree=1783608/2055920 swapFree=4156512/4192956 [pid=6965] ppid=6963 vsize=0 CPUtime=1800.01 /proc/6965/stat : 6965 (bsolo3.0.16) R 6963 6965 6613 0 -1 4194308 5768004 0 3 0 175782 4219 0 0 25 0 1 0 110538669 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6965/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 0 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.81 CPU time (s): 1800.03 CPU user time (s): 1757.83 CPU system time (s): 42.2026 CPU usage (%): 99.9565 Max. virtual memory (cumulated for all children) (KiB): 134112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.83 system time used= 42.2026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5768004 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 37343 runsolver used 2.08968 second user time and 4.14437 second system time The end
Begin job on node20 on Sun Apr 15 08:36:53 UTC 2007 IDJOB= 352214 IDBENCH= 1958 IDSOLVER= 163 FILE ID= node20/352214-1176626213 PBS_JOBID= 4559785 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352214-1176626213/instance-352214-1176626213.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-352214-1176626213 -o ROOT/results/node20/solver-352214-1176626213 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352214-1176626213/instance-352214-1176626213.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED= 995631397 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1839576 kB Buffers: 18392 kB Cached: 135052 kB SwapCached: 18120 kB Active: 57332 kB Inactive: 122008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839576 kB SwapTotal: 4192956 kB SwapFree: 4156512 kB Dirty: 4448 kB Writeback: 0 kB Mapped: 29372 kB Slab: 22704 kB Committed_AS: 709048 kB PageTables: 1688 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= 66560 MiB End job on node20 on Sun Apr 15 09:06:56 UTC 2007