Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 228 | 1800.03 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
MD5SUM | 0a5749e09f3f6f40d04f442dc86d22a6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 188 |
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 | 188 |
Optimality of the best value was proved | NO |
Number of variables | 479 |
Total number of constraints | 479 |
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 | 479 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 479 |
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 | 479 |
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 | 479 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352188-1176625461/instance-352188-1176625461.opb 0.00/0.00 c File size is 43630 bytes. 0.00/0.01 c Highest Coefficient sum: 479 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 479 Constr: 479 0/0/479 Lit: 4305 Watch. Lit: 1562 0.00/0.01 c Obj. Vars: 479 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 479 479 4305 8 1998 8610 0 0 0.01 0.49/0.50 c Initial Lower Bound: 146 0.49/0.50 c Initial Path Cost: 0 0.49/0.50 o 233 0.5 95.76/95.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 95.76/95.83 c 0 479 480 4784 9 2478 9610 1 0 0.50 95.76/95.83 c 100 479 672 54247 80 2845 10572 193 11 8.84 95.76/95.83 c 351 479 1081 158273 146 3663 11630 602 19 17.94 95.76/95.83 c 826 479 1857 352435 189 5233 12794 1378 30 27.50 95.76/95.83 c 1640 479 3309 740703 223 8122 14074 2830 42 38.47 95.76/95.83 c 2960 479 5568 1320400 237 12647 15482 5089 58 50.36 95.76/95.83 c 5042 479 9425 2348059 249 20372 17031 8946 77 65.11 95.76/95.83 c 8266 479 14470 3595603 248 30488 18735 13991 96 85.61 95.76/95.83 o 232 95.803 * 155.35/155.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.35/155.49 c 8870 479 15383 3818740 248 32518 9610 14904 92 95.80 155.35/155.49 c 8970 479 5462 1251893 229 12455 10572 4983 85 104.60 155.35/155.49 c 9221 479 5885 1364258 231 13288 11630 5406 80 114.24 155.35/155.49 c 9697 479 6721 1570269 233 14947 12794 6242 77 124.84 155.35/155.49 c 10510 479 8201 1949251 237 17904 14074 7722 77 135.98 155.35/155.49 c 11830 479 10303 2472498 239 22120 15482 9824 79 148.09 155.35/155.49 o 229 155.444 * 685.60/685.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 685.60/685.85 c 11830 479 10304 2472977 240 22399 9610 9825 76 155.44 685.60/685.85 c 11930 479 5484 1255979 229 12513 10572 5005 72 164.12 685.60/685.85 c 12180 479 5946 1379818 232 13458 11630 5467 70 173.04 685.60/685.85 c 12655 479 6821 1601393 234 15169 12794 6342 69 183.19 685.60/685.85 c 13468 479 8286 1983425 239 18090 14074 7807 69 194.24 685.60/685.85 c 14789 479 10660 2592515 243 22851 15482 10181 71 207.36 685.60/685.85 c 16871 479 14319 3513816 245 30189 17031 13840 76 221.46 685.60/685.85 c 20094 479 10719 2583821 241 22978 18735 10240 82 242.50 685.60/685.85 c 25031 479 19161 4648145 242 39850 20609 18682 93 268.95 685.60/685.85 c 32537 479 10988 2662244 242 23511 22670 10509 102 316.38 685.60/685.85 c 43899 479 18867 4792976 254 39253 24938 18388 112 391.93 685.60/685.85 c 61043 479 19702 4775496 242 40902 27432 19223 125 487.89 685.60/685.85 c 86862 479 18107 4758054 262 37738 30176 17628 128 677.76 685.60/685.85 o 228 685.652 * 1799.97/1800.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.52 c 86862 479 18108 4758533 262 37980 9610 17629 126 685.65 1799.97/1800.52 c 86962 479 5473 1350590 246 12487 10572 4994 124 697.44 1799.97/1800.52 c 87212 479 5924 1466604 247 13406 11630 5445 123 706.45 1799.97/1800.52 c 87687 479 6635 1635944 246 14785 12794 6156 122 716.24 1799.97/1800.52 c 88500 479 8160 2015186 246 17824 14074 7681 121 728.96 1799.97/1800.52 c 89821 479 10517 2635969 250 22578 15482 10038 121 741.54 1799.97/1800.52 c 91902 479 14439 3658271 253 30407 17031 13960 121 757.11 1799.97/1800.52 c 95125 479 11718 2966013 253 24987 18735 11239 121 781.80 1799.97/1800.52 c 100061 479 11078 2784639 251 23706 20609 10599 123 811.22 1799.97/1800.52 c 107567 479 14299 3596195 251 30145 22670 13820 125 855.91 1799.97/1800.52 c 118928 479 11364 2872414 252 24272 24938 10885 129 921.78 1799.97/1800.52 c 136072 479 14804 3814914 257 31188 27432 14325 133 1019.50 1799.97/1800.52 c 161891 479 27308 6691968 245 56150 30176 26829 139 1162.56 1799.97/1800.52 c 200723 479 17645 4522148 256 36839 33194 17166 138 1448.46 1799.97/1800.52 c Resources Exceeded 1799.97/1800.52 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 1799.97/1800.52 v -x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 x45 x46 x47 x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 x57 x58 -x59 1799.97/1800.52 v x60 x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 x84 -x85 x86 x87 x88 1799.97/1800.52 v -x89 x90 -x91 -x92 -x93 x94 x95 x96 -x97 -x98 x99 x100 -x101 x102 x103 -x104 -x105 -x106 x107 x108 -x109 x110 -x111 x112 -x113 1799.97/1800.52 v -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 -x132 -x133 x134 -x135 1799.97/1800.52 v x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 x157 1799.97/1800.52 v -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 x172 x173 x174 -x175 -x176 -x177 x178 x179 1799.97/1800.52 v -x180 -x181 -x182 x183 x184 x185 -x186 -x187 x188 x189 x190 -x191 x192 -x193 -x194 x195 x196 x197 -x198 -x199 x200 x201 x202 1799.97/1800.52 v -x203 x204 -x205 x206 -x207 x208 x209 -x210 x211 x212 x213 x214 x215 x216 x217 -x218 -x219 x220 -x221 -x222 x223 -x224 x225 1799.97/1800.52 v -x226 x227 x228 -x229 x230 -x231 -x232 x233 -x234 -x235 x236 -x237 x238 -x239 x240 -x241 -x242 x243 x244 x245 -x246 x247 x248 1799.97/1800.52 v x249 x250 -x251 -x252 -x253 x254 -x255 x256 x257 x258 x259 x260 x261 x262 x263 -x264 x265 x266 -x267 -x268 -x269 -x270 x271 1799.97/1800.52 v x272 x273 x274 -x275 x276 -x277 -x278 x279 x280 x281 x282 x283 -x284 -x285 x286 -x287 x288 -x289 x290 -x291 -x292 x293 x294 1799.97/1800.52 v x295 x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 x305 x306 -x307 x308 -x309 -x310 -x311 x312 x313 -x314 x315 x316 -x317 1799.97/1800.52 v x318 -x319 -x320 x321 x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 x337 x338 x339 x340 1799.97/1800.52 v -x341 -x342 x343 -x344 -x345 x346 -x347 -x348 x349 -x350 x351 x352 -x353 -x354 -x355 x356 -x357 x358 -x359 x360 x361 x362 -x363 1799.97/1800.52 v -x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 x375 x376 x377 -x378 x379 -x380 -x381 -x382 -x383 x384 -x385 1799.97/1800.52 v x386 -x387 -x388 -x389 x390 x391 x392 x393 -x394 x395 -x396 x397 x398 x399 x400 x401 x402 x403 x404 -x405 -x406 x407 -x408 x409 1799.97/1800.52 v -x410 x411 x412 -x413 -x414 x415 x416 x417 x418 x419 -x420 x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 1799.97/1800.52 v -x432 x433 x434 -x435 -x436 x437 x438 x439 -x440 x441 -x442 -x443 x444 -x445 -x446 x447 x448 -x449 x450 x451 x452 x453 x454 1799.97/1800.52 v -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 x471 -x472 -x473 x474 x475 x476 1799.97/1800.52 v x477 x478 -x479 1799.97/1800.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.52 c 41 249673 4866 281623 23189 5761504 22710 138 1800.00 1799.97/1800.52 c Objective: 228 1799.97/1800.52 s SATISFIABLE 1799.97/1800.52 c Total time: 1800 s
OK 228
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-352188-1176625461 -o ROOT/results/node47/solver-352188-1176625461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352188-1176625461/instance-352188-1176625461.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20169 /proc/meminfo: memFree=1907776/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=11780 CPUtime=0 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 17391467 12062720 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 2945 335 281 324 0 2003 0 [startup+0.0664081 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20169 /proc/meminfo: memFree=1907776/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=5832 CPUtime=0.06 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 802 0 0 0 6 0 0 0 18 0 1 0 17391467 5971968 752 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134720925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1458 752 390 324 0 527 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5832 [startup+0.102407 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20169 /proc/meminfo: memFree=1907776/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=6012 CPUtime=0.09 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 858 0 0 0 9 0 0 0 18 0 1 0 17391467 6156288 789 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134721068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1503 789 390 324 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6012 [startup+0.301426 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20169 /proc/meminfo: memFree=1907776/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=6400 CPUtime=0.29 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 1153 0 0 0 29 0 0 0 19 0 1 0 17391467 6553600 904 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135307224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1600 904 390 324 0 669 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6400 [startup+0.70147 s] /proc/loadavg: 0.91 0.95 0.98 3/64 20169 /proc/meminfo: memFree=1907776/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=6868 CPUtime=0.69 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 2178 0 0 0 69 0 0 0 22 0 1 0 17391467 7032832 824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135227111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1717 824 392 324 0 786 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6868 [startup+1.50156 s] /proc/loadavg: 0.91 0.95 0.98 2/65 20170 /proc/meminfo: memFree=1906232/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=6940 CPUtime=1.49 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 5510 0 0 0 149 0 0 0 25 0 1 0 17391467 7106560 832 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135314171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1735 832 392 324 0 804 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6940 [startup+3.10173 s] /proc/loadavg: 0.91 0.95 0.98 2/65 20170 /proc/meminfo: memFree=1906232/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=6804 CPUtime=3.09 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 12446 0 0 0 307 2 0 0 25 0 1 0 17391467 6967296 842 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135324666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1701 842 392 324 0 770 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6804 [startup+6.30108 s] /proc/loadavg: 0.92 0.95 0.98 2/65 20170 /proc/meminfo: memFree=1905984/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=6868 CPUtime=6.29 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 23928 0 0 0 623 6 0 0 25 0 1 0 17391467 7032832 776 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135332517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 1717 776 392 324 0 786 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6868 [startup+12.7018 s] /proc/loadavg: 0.93 0.95 0.98 2/65 20170 /proc/meminfo: memFree=1905160/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=8204 CPUtime=12.69 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 64689 0 0 0 1248 21 0 0 25 0 1 0 17391467 8400896 1011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135310303 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 2051 1011 393 324 0 1120 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8204 [startup+25.5022 s] /proc/loadavg: 0.94 0.96 0.98 2/65 20170 /proc/meminfo: memFree=1904264/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=9476 CPUtime=25.48 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 135574 0 0 0 2499 49 0 0 25 0 1 0 17391467 9703424 1228 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135331860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 2369 1228 393 324 0 1438 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9476 [startup+51.1029 s] /proc/loadavg: 0.96 0.96 0.98 2/65 20170 /proc/meminfo: memFree=1888840/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=25744 CPUtime=51.08 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 307913 0 0 0 4976 132 0 0 25 0 1 0 17391467 26361856 5150 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135311845 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 6436 5150 393 324 0 5505 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25744 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/65 20170 /proc/meminfo: memFree=1855944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=57616 CPUtime=102.27 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 631094 0 0 0 9930 297 0 0 25 0 1 0 17391467 58998784 13293 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 14404 13293 393 324 0 13473 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 57616 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1855944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=56144 CPUtime=162.24 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 830888 0 0 0 15827 397 0 0 25 0 1 0 17391467 57491456 13209 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135303655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 14036 13209 393 324 0 13105 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 56144 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1855944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=57336 CPUtime=222.23 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 947597 0 0 0 21770 453 0 0 25 0 1 0 17391467 58712064 13358 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135324596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 14334 13358 393 324 0 13403 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 57336 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1837192/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=73692 CPUtime=282.22 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 1321284 0 0 0 27556 666 0 0 25 0 1 0 17391467 75460608 17898 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 18423 17898 393 324 0 17492 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 73692 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1830344/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=80388 CPUtime=342.19 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 1587518 0 0 0 33381 838 0 0 25 0 1 0 17391467 82317312 19572 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135447840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 20097 19572 393 324 0 19166 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 80388 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1825224/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=88168 CPUtime=402.17 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 1867486 0 0 0 39187 1030 0 0 25 0 1 0 17391467 90284032 20861 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135189323 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 22042 20861 393 324 0 21111 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 88168 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1820488/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=90240 CPUtime=462.16 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 2182716 0 0 0 44964 1252 0 0 25 0 1 0 17391467 92405760 22035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134708911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 22560 22035 393 324 0 21629 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 90240 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1812424/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=100480 CPUtime=522.14 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 2478516 0 0 0 50770 1444 0 0 25 0 1 0 17391467 102891520 24057 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 25120 24057 393 324 0 24189 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 100480 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1804936/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=106028 CPUtime=582.12 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 2691195 0 0 0 56619 1593 0 0 25 0 1 0 17391467 108572672 25982 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 26507 25982 393 324 0 25576 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 106028 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20170 /proc/meminfo: memFree=1800008/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=110684 CPUtime=642.11 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 2903633 0 0 0 62465 1746 0 0 25 0 1 0 17391467 113340416 27146 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 27671 27146 393 324 0 26740 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 110684 ################ # More data... # ################ /proc/meminfo: memFree=1799944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=110620 CPUtime=1061.99 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3100501 0 0 0 104310 1889 0 0 25 0 1 0 17391467 113274880 27130 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 27655 27130 393 324 0 26724 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 110620 [startup+1122.3 s] /proc/loadavg: 1.06 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1799944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=110616 CPUtime=1121.97 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3100501 0 0 0 110306 1891 0 0 25 0 1 0 17391467 113270784 27129 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 27654 27129 393 324 0 26723 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 110616 [startup+1182.3 s] /proc/loadavg: 1.02 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1799944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=110624 CPUtime=1181.95 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3100508 0 0 0 116302 1893 0 0 25 0 1 0 17391467 113278976 27131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 27656 27131 393 324 0 26725 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 110624 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1799944/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=110624 CPUtime=1241.94 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3100508 0 0 0 122298 1896 0 0 25 0 1 0 17391467 113278976 27131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134689364 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 27656 27131 393 324 0 26725 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 110624 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1793608/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119512 CPUtime=1301.92 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3246009 0 0 0 128196 1996 0 0 25 0 1 0 17391467 122380288 28690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29878 28690 393 324 0 28947 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 119512 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1793608/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119036 CPUtime=1361.9 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3447357 0 0 0 134038 2152 0 0 25 0 1 0 17391467 121892864 28683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135267713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29759 28683 393 324 0 28828 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 119036 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1793608/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=116804 CPUtime=1421.89 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3671084 0 0 0 139863 2326 0 0 25 0 1 0 17391467 119607296 28676 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29201 28676 393 324 0 28270 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 116804 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1793672/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=116696 CPUtime=1481.87 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 3842274 0 0 0 145721 2466 0 0 25 0 1 0 17391467 119496704 28649 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29174 28649 393 324 0 28243 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 116696 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1791048/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119352 CPUtime=1541.85 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4030547 0 0 0 151570 2615 0 0 25 0 1 0 17391467 122216448 29313 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134708925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29838 29313 393 324 0 28907 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 119352 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790280/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=120060 CPUtime=1601.83 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4217976 0 0 0 157425 2758 0 0 25 0 1 0 17391467 122941440 29490 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10953055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 30015 29490 393 324 0 29084 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 120060 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790280/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=121756 CPUtime=1661.81 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4386907 0 0 0 163281 2900 0 0 25 0 1 0 17391467 124678144 29494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 30439 29494 393 324 0 29508 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 121756 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=122184 CPUtime=1721.8 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4530497 0 0 0 169150 3030 0 0 25 0 1 0 17391467 125116416 29440 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 30546 29440 393 324 0 29615 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 122184 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=121836 CPUtime=1781.78 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4673210 0 0 0 175021 3157 0 0 25 0 1 0 17391467 124760064 29437 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 30459 29437 393 324 0 29528 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 121836 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119824 CPUtime=1791.38 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4699167 0 0 0 175956 3182 0 0 25 0 1 0 17391467 122699776 29431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29956 29431 393 324 0 29025 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 119824 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119824 CPUtime=1794.59 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4709535 0 0 0 176268 3191 0 0 25 0 1 0 17391467 122699776 29431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134707236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29956 29431 393 324 0 29025 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 119824 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119824 CPUtime=1797.78 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4721176 0 0 0 176577 3201 0 0 25 0 1 0 17391467 122699776 29431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29956 29431 393 324 0 29025 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 119824 [startup+1799.9 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=122172 CPUtime=1799.38 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4726256 0 0 0 176732 3206 0 0 25 0 1 0 17391467 125104128 29438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134689313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 30543 29438 393 324 0 29612 0 Current children cumulated CPU time (s) 1799.38 Current children cumulated vsize (KiB) 122172 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=119824 CPUtime=1799.78 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4727566 0 0 0 176771 3207 0 0 25 0 1 0 17391467 122699776 29431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 29956 29431 393 324 0 29025 0 Current children cumulated CPU time (s) 1799.78 Current children cumulated vsize (KiB) 119824 [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/65 20170 /proc/meminfo: memFree=1790408/2055920 swapFree=4183704/4192956 [pid=20169] ppid=20167 vsize=121520 CPUtime=1799.97 /proc/20169/stat : 20169 (bsolo3.0.16) R 20167 20169 19803 0 -1 4194304 4728202 0 0 0 176790 3207 0 0 25 0 1 0 17391467 124436480 29435 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10955854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20169/statm: 30380 29435 393 324 0 29449 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 121520 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.03 CPU user time (s): 1767.93 CPU system time (s): 32.0991 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 122808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1767.93 system time used= 32.0991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4728265 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= 11 involuntary context switches= 1556 runsolver used 1.25081 second user time and 3.67744 second system time The end
Begin job on node47 on Sun Apr 15 08:24:21 UTC 2007 IDJOB= 352188 IDBENCH= 1956 IDSOLVER= 163 FILE ID= node47/352188-1176625461 PBS_JOBID= 4557072 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_23.opb.PB06.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352188-1176625461/instance-352188-1176625461.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-352188-1176625461 -o ROOT/results/node47/solver-352188-1176625461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352188-1176625461/instance-352188-1176625461.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6 RANDOM SEED= 317273240 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1908248 kB Buffers: 5964 kB Cached: 87904 kB SwapCached: 3576 kB Active: 71292 kB Inactive: 32608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1908248 kB SwapTotal: 4192956 kB SwapFree: 4183704 kB Dirty: 4424 kB Writeback: 0 kB Mapped: 15284 kB Slab: 29772 kB Committed_AS: 2093692 kB PageTables: 1452 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 node47 on Sun Apr 15 08:54:22 UTC 2007