Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 224 | 1800.04 | 1801.13 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
MD5SUM | 85de1910ead9431952046fc8a55b274b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 185 |
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 | 185 |
Optimality of the best value was proved | NO |
Number of variables | 478 |
Total number of constraints | 478 |
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 | 478 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 478 |
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 | 478 |
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 | 478 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb 0.00/0.01 c File size is 43685 bytes. 0.00/0.02 c Highest Coefficient sum: 478 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.007 s 0.00/0.02 c Var: 478 Constr: 478 0/0/478 Lit: 4304 Watch. Lit: 1544 0.00/0.02 c Obj. Vars: 478 (100 % of total variables) 0.00/0.02 c Pre-processing Time: 0.011 s 0.47/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.47/0.54 c 0 478 478 4304 9 1971 8608 0 0 0.01 0.47/0.54 c Initial Lower Bound: 142 0.47/0.54 c Initial Path Cost: 0 0.47/0.54 o 233 0.529 7.47/7.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.47/7.52 c 0 478 479 4782 9 2433 9608 1 0 0.53 7.47/7.52 o 232 7.497 * 24.07/24.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.07/24.11 c 12 478 504 10908 21 2735 9608 26 1 7.50 24.07/24.11 c 114 478 684 54492 79 3090 10569 206 6 16.65 24.07/24.11 o 231 24.089 * 60.53/60.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.53/60.69 c 114 478 685 54970 80 3349 9608 207 4 24.09 60.53/60.69 c 214 478 885 102803 116 3730 10569 407 6 33.66 60.53/60.69 c 464 478 1385 224346 161 4736 11626 907 10 43.34 60.53/60.69 c 940 478 1861 334300 179 5649 12789 1383 17 52.85 60.53/60.69 o 228 60.629 * 96.71/96.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.71/96.80 c 940 478 1862 334778 179 5949 9608 1384 15 60.63 96.71/96.80 c 1042 478 2066 384626 186 6351 10569 1588 14 69.94 96.71/96.80 c 1292 478 2566 502804 195 7360 11626 2088 16 78.64 96.71/96.80 c 1768 478 3510 736011 209 9268 12789 3032 19 89.60 96.71/96.80 o 227 96.721 * 120.91/121.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.91/121.08 c 1768 478 3511 736489 209 9507 9608 3033 18 96.72 120.91/121.08 c 1868 478 3711 785843 211 9902 10569 3233 17 104.54 120.91/121.08 c 2118 478 4211 905554 215 10900 11626 3733 18 113.55 120.91/121.08 o 225 120.995 * 204.36/204.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 204.36/204.51 c 2118 478 4212 906032 215 11171 9608 3734 17 121.00 204.36/204.51 c 2218 478 4412 956241 216 11581 10569 3934 17 128.97 204.36/204.51 c 2469 478 4914 1077103 219 12580 11626 4436 17 137.84 204.36/204.51 c 2945 478 5790 1279723 221 14298 12789 5312 19 148.14 204.36/204.51 c 3758 478 7416 1699621 229 17567 14068 6938 23 161.55 204.36/204.51 c 5079 478 10042 2325885 231 22813 15475 9564 28 175.64 204.36/204.51 c 7160 478 14204 3357529 236 31119 17023 13726 36 195.58 204.36/204.51 o 224 204.368 * 1800.01/1801.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1801.10 c 7483 478 14592 3446299 236 32124 9608 14114 36 204.37 1800.01/1801.10 c 7584 478 5485 1228911 224 12436 10569 5007 35 214.81 1800.01/1801.10 c 7836 478 5989 1356713 226 13476 11626 5511 34 225.99 1800.01/1801.10 c 8312 478 6941 1588043 228 15362 12789 6463 35 236.91 1800.01/1801.10 c 9128 478 8573 2004818 233 18640 14068 8095 36 250.85 1800.01/1801.10 c 10449 478 11215 2714311 242 23915 15475 10737 39 267.43 1800.01/1801.10 c 12530 478 15377 3746736 243 32264 17023 14899 43 286.61 1800.01/1801.10 c 15753 478 12979 3127414 240 27459 18726 12501 48 322.72 1800.01/1801.10 c 20689 478 12874 3108897 241 27235 20599 12396 56 365.66 1800.01/1801.10 c 28198 478 17249 4210672 244 36007 22659 16771 65 430.31 1800.01/1801.10 c 39563 478 16121 3957066 245 33774 24925 15643 74 533.12 1800.01/1801.10 c 56709 478 21968 5371010 244 45483 27418 21490 79 712.29 1800.01/1801.10 c 82529 478 23354 5834375 249 48233 30160 22876 83 987.99 1800.01/1801.10 c 121361 478 23976 5878849 245 49433 33177 23498 86 1398.84 1800.01/1801.10 c Caught signal: 15 1800.01/1801.10 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 1800.01/1801.10 v -x33 x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 -x58 -x59 x60 -x61 x62 1800.01/1801.10 v -x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 x91 1800.01/1801.10 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.01/1801.10 v x117 x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 x127 -x128 -x129 x130 -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 1800.01/1801.10 v x140 -x141 x142 x143 -x144 -x145 x146 -x147 -x148 x149 -x150 x151 x152 -x153 -x154 x155 -x156 x157 x158 x159 x160 -x161 x162 1800.01/1801.10 v x163 -x164 x165 -x166 x167 -x168 -x169 -x170 x171 -x172 x173 -x174 x175 x176 -x177 -x178 x179 x180 x181 -x182 -x183 x184 -x185 1800.01/1801.10 v -x186 -x187 x188 -x189 x190 -x191 x192 x193 x194 x195 -x196 x197 -x198 -x199 x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 1800.01/1801.10 v x209 x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 x227 x228 -x229 x230 1800.01/1801.10 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252 1800.01/1801.10 v -x253 x254 x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 x272 -x273 -x274 1800.01/1801.10 v -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 x294 -x295 x296 1800.01/1801.10 v -x297 -x298 x299 -x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 x313 x314 x315 -x316 -x317 x318 1800.01/1801.10 v x319 -x320 x321 x322 x323 x324 -x325 -x326 x327 -x328 -x329 -x330 x331 -x332 x333 x334 -x335 x336 -x337 x338 -x339 -x340 -x341 1800.01/1801.10 v -x342 -x343 -x344 x345 -x346 -x347 x348 x349 -x350 -x351 x352 x353 -x354 -x355 x356 x357 -x358 -x359 x360 x361 -x362 -x363 1800.01/1801.10 v -x364 -x365 x366 x367 -x368 x369 -x370 -x371 -x372 -x373 x374 x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 x384 x385 x386 1800.01/1801.10 v x387 -x388 -x389 -x390 x391 x392 x393 x394 -x395 -x396 -x397 x398 -x399 -x400 x401 -x402 x403 x404 x405 -x406 -x407 -x408 -x409 1800.01/1801.10 v -x410 -x411 x412 x413 x414 -x415 x416 -x417 x418 -x419 -x420 x421 x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 x431 -x432 1800.01/1801.10 v x433 -x434 -x435 x436 x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 x450 -x451 -x452 x453 -x454 1800.01/1801.10 v -x455 -x456 x457 x458 x459 -x460 x461 -x462 x463 x464 x465 x466 -x467 -x468 -x469 x470 x471 -x472 x473 x474 -x475 x476 x477 1800.01/1801.10 v x478 1800.01/1801.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1801.10 c 35 156464 13963 186477 28845 7176328 28367 86 1800.02 1800.01/1801.10 c Objective: 224 1800.01/1801.10 s SATISFIABLE 1800.01/1801.10 c Total time: 1800.02 s
OK 224
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-432853-1177950896 -o ROOT/results/node57/solver-432853-1177950896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432853-1177950896/instance-432853-1177950896.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.87 0.97 0.93 3/64 4779 /proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=2380 CPUtime=0 /proc/4779/stat : 4779 (bsolo3.0.17) D 4777 4779 4070 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 236225630 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7394212 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/4779/statm: 595 36 28 324 0 9 0 [startup+0.053147 s] /proc/loadavg: 0.87 0.97 0.93 3/64 4779 /proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=5640 CPUtime=0.03 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 737 0 2 0 3 0 0 0 18 0 1 0 236225630 5775360 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311252 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1410 698 389 324 0 480 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5640 [startup+0.101148 s] /proc/loadavg: 0.87 0.97 0.93 3/64 4779 /proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=5832 CPUtime=0.08 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 850 0 2 0 8 0 0 0 18 0 1 0 236225630 5971968 803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324207 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1458 803 390 324 0 528 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5832 [startup+0.30117 s] /proc/loadavg: 0.87 0.97 0.93 3/64 4779 /proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=6364 CPUtime=0.27 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 1118 0 2 0 27 0 0 0 19 0 1 0 236225630 6516736 868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4779/statm: 1591 868 390 324 0 661 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 6364 [startup+0.701205 s] /proc/loadavg: 0.87 0.97 0.93 3/64 4779 /proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=6704 CPUtime=0.68 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2123 0 2 0 67 1 0 0 23 0 1 0 236225630 6864896 851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694796 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4779/statm: 1676 851 393 324 0 746 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6704 [startup+1.50227 s] /proc/loadavg: 0.87 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1831240/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=6648 CPUtime=1.47 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5635 0 2 0 145 2 0 0 25 0 1 0 236225630 6807552 809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326178 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1662 809 393 324 0 732 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 6648 [startup+3.10141 s] /proc/loadavg: 0.87 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1831112/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=6800 CPUtime=3.07 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 12220 0 2 0 303 4 0 0 25 0 1 0 236225630 6963200 839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331823 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1700 839 393 324 0 770 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 6800 [startup+6.30168 s] /proc/loadavg: 0.88 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1831376/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=6744 CPUtime=6.27 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 26742 0 2 0 618 9 0 0 25 0 1 0 236225630 6905856 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134720801 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1686 698 393 324 0 756 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 6744 [startup+12.7012 s] /proc/loadavg: 0.89 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1831376/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=7572 CPUtime=12.67 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 62489 0 2 0 1246 21 0 0 25 0 1 0 236225630 7753728 810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1893 810 394 324 0 963 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 7572 [startup+25.5013 s] /proc/loadavg: 0.91 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1830928/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=8380 CPUtime=25.47 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 139396 0 2 0 2499 48 0 0 25 0 1 0 236225630 8581120 992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135235240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 2095 992 394 324 0 1165 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 8380 [startup+51.1016 s] /proc/loadavg: 0.94 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1829328/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=7680 CPUtime=51.03 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 287842 0 2 0 4999 104 0 0 25 0 1 0 236225630 7864320 1367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 1920 1371 394 324 0 990 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 7680 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1822288/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=17360 CPUtime=102.21 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 592781 0 2 0 9998 223 0 0 25 0 1 0 236225630 17776640 3185 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 4340 3185 394 324 0 3410 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 17360 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1809808/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=30816 CPUtime=162.17 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 906566 0 2 0 15850 367 0 0 25 0 1 0 236225630 31555584 6412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202713 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 7704 6412 394 324 0 6774 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 30816 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1786576/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=53104 CPUtime=222.13 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 1322260 0 2 0 21654 559 0 0 25 0 1 0 236225630 54378496 12059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331848 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 13276 12059 394 324 0 12346 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 53104 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1786704/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=50000 CPUtime=282.09 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 1657234 0 2 0 27468 741 0 0 25 0 1 0 236225630 51200000 11976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7835434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 12500 11976 394 324 0 11570 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 50000 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1774672/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=62076 CPUtime=342.06 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2028810 0 2 0 33244 962 0 0 25 0 1 0 236225630 63565824 14995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707046 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 15519 14995 394 324 0 14589 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 62076 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1762896/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=73816 CPUtime=402.02 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2489272 0 2 0 38983 1219 0 0 25 0 1 0 236225630 75587584 17930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 18454 17930 394 324 0 17524 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 73816 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1756048/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=80696 CPUtime=461.99 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2870647 0 2 0 44751 1448 0 0 25 0 1 0 236225630 82632704 19650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 20174 19650 394 324 0 19244 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 80696 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1754768/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=84264 CPUtime=521.95 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 3186408 0 2 0 50527 1668 0 0 25 0 1 0 236225630 86286336 19950 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694783 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 21066 19950 394 324 0 20136 0 Current children cumulated CPU time (s) 521.95 Current children cumulated vsize (KiB) 84264 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1748432/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=88252 CPUtime=581.92 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 3612625 0 2 0 56264 1928 0 0 25 0 1 0 236225630 90370048 21539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552512 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 22063 21539 394 324 0 21133 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 88252 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1748368/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=89904 CPUtime=641.89 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 3968814 0 2 0 62026 2163 0 0 25 0 1 0 236225630 92061696 21545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 22664 21548 394 324 0 21734 0 Current children cumulated CPU time (s) 641.89 Current children cumulated vsize (KiB) 89904 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1735120/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=103824 CPUtime=881.74 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5116531 0 2 0 85277 2897 0 0 25 0 1 0 236225630 106315776 24833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 25956 24833 394 324 0 25026 0 Current children cumulated CPU time (s) 881.74 Current children cumulated vsize (KiB) 103824 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1735120/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=101392 CPUtime=941.71 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5403113 0 2 0 91076 3095 0 0 25 0 1 0 236225630 103825408 24824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 25348 24824 394 324 0 24418 0 Current children cumulated CPU time (s) 941.71 Current children cumulated vsize (KiB) 101392 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1735056/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=101392 CPUtime=1001.68 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5729185 0 2 0 96861 3307 0 0 25 0 1 0 236225630 103825408 24824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765487 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 25348 24824 394 324 0 24418 0 Current children cumulated CPU time (s) 1001.68 Current children cumulated vsize (KiB) 101392 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4780 /proc/meminfo: memFree=1729808/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=108516 CPUtime=1061.65 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6046860 0 2 0 102663 3502 0 0 25 0 1 0 236225630 111120384 26151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 26666 26142 394 324 0 25736 0 Current children cumulated CPU time (s) 1061.65 Current children cumulated vsize (KiB) 108516 [startup+1122.3 s] /proc/loadavg: 1.03 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1729808/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=108636 CPUtime=1121.61 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6386206 0 2 0 108429 3732 0 0 25 0 1 0 236225630 111243264 26149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 27159 26149 394 324 0 26229 0 Current children cumulated CPU time (s) 1121.61 Current children cumulated vsize (KiB) 108636 [startup+1182.3 s] /proc/loadavg: 1.01 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1729808/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=109132 CPUtime=1181.58 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6607645 0 2 0 114263 3895 0 0 25 0 1 0 236225630 111751168 26151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 27283 26151 394 324 0 26353 0 Current children cumulated CPU time (s) 1181.58 Current children cumulated vsize (KiB) 109132 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1727504/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=108848 CPUtime=1241.54 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6894338 0 2 0 120069 4085 0 0 25 0 1 0 236225630 111460352 26688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4779/statm: 27212 26688 394 324 0 26282 0 Current children cumulated CPU time (s) 1241.54 Current children cumulated vsize (KiB) 108848 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1727440/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=111280 CPUtime=1301.51 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7121580 0 2 0 125900 4251 0 0 25 0 1 0 236225630 113950720 26697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 27820 26697 394 324 0 26890 0 Current children cumulated CPU time (s) 1301.51 Current children cumulated vsize (KiB) 111280 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1727504/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=108848 CPUtime=1361.48 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7316711 0 2 0 131748 4400 0 0 25 0 1 0 236225630 111460352 26688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 27212 26688 394 324 0 26282 0 Current children cumulated CPU time (s) 1361.48 Current children cumulated vsize (KiB) 108848 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1727376/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=108848 CPUtime=1421.45 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7551142 0 2 0 137584 4561 0 0 25 0 1 0 236225630 111460352 26688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706871 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 27212 26688 394 324 0 26282 0 Current children cumulated CPU time (s) 1421.45 Current children cumulated vsize (KiB) 108848 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1720272/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=116048 CPUtime=1481.4 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7797639 0 2 0 143426 4714 0 0 25 0 1 0 236225630 118833152 28488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 29012 28488 394 324 0 28082 0 Current children cumulated CPU time (s) 1481.4 Current children cumulated vsize (KiB) 116048 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4780 /proc/meminfo: memFree=1720272/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=117720 CPUtime=1541.38 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8004345 0 2 0 149275 4863 0 0 25 0 1 0 236225630 120545280 28494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 29430 28494 394 324 0 28500 0 Current children cumulated CPU time (s) 1541.38 Current children cumulated vsize (KiB) 117720 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.94 2/71 4948 /proc/meminfo: memFree=1714848/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=120104 CPUtime=1601.33 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8261126 0 2 0 155104 5029 0 0 25 0 1 0 236225630 122986496 29502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706536 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 30026 29502 394 324 0 29096 0 Current children cumulated CPU time (s) 1601.33 Current children cumulated vsize (KiB) 120104 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4978 /proc/meminfo: memFree=1715792/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=122532 CPUtime=1661.29 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8479719 0 2 0 160940 5189 0 0 25 0 1 0 236225630 125472768 29511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 30633 29511 394 324 0 29703 0 Current children cumulated CPU time (s) 1661.29 Current children cumulated vsize (KiB) 122532 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4978 /proc/meminfo: memFree=1715792/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=120104 CPUtime=1721.27 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8752282 0 2 0 166750 5377 0 0 25 0 1 0 236225630 122986496 29502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 30026 29502 394 324 0 29096 0 Current children cumulated CPU time (s) 1721.27 Current children cumulated vsize (KiB) 120104 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4978 /proc/meminfo: memFree=1715728/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=120104 CPUtime=1781.23 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 9020644 0 2 0 172559 5564 0 0 25 0 1 0 236225630 122986496 29502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 30026 29502 394 324 0 29096 0 Current children cumulated CPU time (s) 1781.23 Current children cumulated vsize (KiB) 120104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4978 /proc/meminfo: memFree=1715664/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=122536 CPUtime=1800.01 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 9119527 0 2 0 174368 5633 0 0 25 0 1 0 236225630 125476864 29511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 30634 29511 394 324 0 29704 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 122536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 0.99 0.94 2/65 4978 /proc/meminfo: memFree=1715664/2055920 swapFree=4183136/4192956 [pid=4779] ppid=4777 vsize=122536 CPUtime=1800.01 /proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 9119527 0 2 0 174368 5633 0 0 25 0 1 0 236225630 125476864 29511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4779/statm: 30634 29511 394 324 0 29704 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 122536 Child status: 15 Real time (s): 1801.13 CPU time (s): 1800.04 CPU user time (s): 1743.68 CPU system time (s): 56.3564 CPU usage (%): 99.9397 Max. virtual memory (cumulated for all children) (KiB): 122636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.68 system time used= 56.3564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9119530 page faults= 2 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= 6583 runsolver used 2.02869 second user time and 4.01239 second system time The end
Begin job on node57 on Mon Apr 30 16:34:57 UTC 2007 IDJOB= 432853 IDBENCH= 1955 IDSOLVER= 199 FILE ID= node57/432853-1177950896 PBS_JOBID= 4727812 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_21.opb.PB06.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-432853-1177950896 -o ROOT/results/node57/solver-432853-1177950896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b RANDOM SEED= 269984793 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1834024 kB Buffers: 4956 kB Cached: 116664 kB SwapCached: 3704 kB Active: 61152 kB Inactive: 98208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834024 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 6708 kB Writeback: 0 kB Mapped: 43692 kB Slab: 48552 kB Committed_AS: 2798396 kB PageTables: 1488 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 node57 on Mon Apr 30 17:05:00 UTC 2007