Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 218 | 1798.03 | 1798.5 |
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 | 195 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
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.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 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 HOME/instance-1878547-1245138005.opb 0.00/0.00 c File size is 43685 bytes. 0.00/0.00 c Highest Coefficient sum: 478 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 478 Constr: 478 0/0/478 Lit: 4304 Watch. Lit: 1544 0.00/0.00 c Obj. Vars: 478 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 478 478 4304 9 1971 8608 0 0 0.01 0.69/0.72 c Initial Lower Bound: 142 0.69/0.72 c Initial Path Cost: 0 0.69/0.72 o 233 7.59/7.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.59/7.64 c 0 478 479 4782 9 2433 9608 1 0 0.72 7.59/7.64 o 232 15.18/15.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.18/15.28 c 4 478 484 6207 12 2693 9608 6 0 7.64 15.18/15.28 o 224 60.97/61.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.97/61.03 c 4 478 485 6685 13 3008 9608 7 0 15.28 60.97/61.03 c 105 478 687 60984 88 3456 10569 209 4 22.78 60.97/61.03 c 355 478 983 131678 133 3993 11626 505 11 31.63 60.97/61.03 c 830 478 1920 399862 208 5870 12789 1442 19 41.67 60.97/61.03 c 1644 478 3478 788890 226 8988 14068 3000 30 54.43 60.97/61.03 o 223 68.47/68.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.47/68.53 c 1644 478 3479 789368 226 9285 9608 3001 26 61.02 68.47/68.53 o 222 172.55/172.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 172.55/172.61 c 1656 478 3504 795428 227 9574 9608 3026 24 68.52 172.55/172.61 c 1757 478 3704 854999 230 10017 10569 3226 22 76.50 172.55/172.61 c 2007 478 4200 992671 236 10996 11626 3722 23 85.10 172.55/172.61 c 2482 478 5098 1214246 238 12759 12789 4620 26 95.34 172.55/172.61 c 3296 478 6696 1639696 244 15915 14068 6218 30 107.28 172.55/172.61 c 4617 478 9338 2333351 249 21226 15475 8860 37 121.85 172.55/172.61 c 6699 478 13250 3317262 250 29026 17023 12772 48 139.53 172.55/172.61 c 9922 478 10401 2559742 246 22341 18726 9923 60 164.51 172.55/172.61 o 221 180.35/180.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.35/180.48 c 9923 478 10403 2560445 246 22605 9608 9925 57 172.57 180.35/180.48 o 220 231.13/231.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 231.13/231.21 c 9927 478 5288 1228467 232 12386 9608 4810 55 180.44 231.13/231.21 c 10028 478 5490 1279555 233 12817 10569 5012 53 188.50 231.13/231.21 c 10278 478 5981 1419623 237 13791 11626 5503 52 197.09 231.13/231.21 c 10753 478 6925 1695122 244 15672 12789 6447 51 206.85 231.13/231.21 c 11567 478 8551 2151604 251 18904 14068 8073 52 219.61 231.13/231.21 o 219 369.20/369.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 369.20/369.31 c 12316 478 10044 2522922 251 22158 9608 9566 53 231.15 369.20/369.31 c 12416 478 5283 1283206 242 12071 10569 4805 51 239.24 369.20/369.31 c 12666 478 5774 1414108 244 13100 11626 5296 50 248.71 369.20/369.31 c 13142 478 6716 1661564 247 14951 12789 6238 51 257.51 369.20/369.31 c 13955 478 8329 2102872 252 18207 14068 7851 51 269.18 369.20/369.31 c 15275 478 10932 2869871 262 23414 15475 10454 53 284.31 369.20/369.31 c 17357 478 15077 4042742 268 31759 17023 14599 57 303.26 369.20/369.31 c 20582 478 12451 3195823 256 26432 18726 11973 62 328.73 369.20/369.31 c 25518 478 12342 3066132 248 26298 20599 11864 70 361.65 369.20/369.31 o 218 1797.93/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.47 c 25519 478 12345 3067097 248 26466 9608 11867 69 369.22 1797.93/1798.47 c 25620 478 5485 1284623 234 12524 10569 5007 67 377.25 1797.93/1798.47 c 25870 478 5977 1426187 238 13512 11626 5499 67 385.94 1797.93/1798.47 c 26347 478 6917 1690485 244 15397 12789 6439 66 397.15 1797.93/1798.47 c 27162 478 8529 2128886 249 18596 14068 8051 66 408.83 1797.93/1798.47 c 28483 478 11113 2845090 256 23754 15475 10635 67 424.59 1797.93/1798.47 c 30564 478 15246 3994182 261 32041 17023 14768 69 442.94 1797.93/1798.47 c 33788 478 12335 3041743 246 26213 18726 11857 72 467.12 1797.93/1798.47 c 38724 478 11936 3026379 253 25415 20599 11458 77 502.34 1797.93/1798.47 c 46230 478 15913 4143879 260 33376 22659 15435 83 552.69 1797.93/1798.47 c 57592 478 14441 3930493 272 30449 24925 13963 90 633.79 1797.93/1798.47 c 74736 478 20307 5646682 278 42198 27418 19829 99 749.54 1797.93/1798.47 c 100556 478 21887 6067291 277 45311 30160 21409 108 929.29 1797.93/1798.47 c 139389 478 22177 6143104 277 45918 33177 21699 117 1186.33 1797.93/1798.47 c 197742 478 27021 7269036 269 55572 36495 26543 121 1629.04 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 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 -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 -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 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 x124 x125 -x126 -x127 x128 -x129 x130 x131 -x132 x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 x149 -x150 -x151 x152 x153 x154 -x155 x156 -x157 x158 x159 x160 x161 -x162 x163 -x164 x165 x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 x187 -x188 x189 x190 -x191 -x192 -x193 x194 x195 x196 x197 x198 x199 x200 x201 -x202 -x203 -x204 -x205 x206 -x207 x208 x209 x210 x211 x212 -x213 x214 -x215 x216 x217 -x218 x219 -x220 x221 x222 -x223 -x224 x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 x233 x234 -x235 x236 x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 x257 x258 x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273 -x274 -x275 x276 x277 -x278 -x279 -x280 x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 x295 -x296 x297 x298 x299 x300 x301 x302 x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 -x312 x313 x314 -x315 x316 -x317 -x318 x319 x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 x334 x335 -x336 -x337 x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 x350 -x351 x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 x367 x368 x369 x370 -x371 x372 x373 -x374 x375 x376 -x377 x378 -x379 -x380 x381 x382 x383 -x384 -x385 x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 x397 -x398 -x399 x400 x401 x402 x403 x404 x405 -x406 x407 -x408 -x409 x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 x428 x429 x430 x431 -x432 x433 x434 x435 -x436 x437 -x438 -x439 x440 -x441 x442 -x443 -x444 x445 -x446 x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 x456 x457 -x458 -x459 x460 x461 -x462 x463 -x464 -x465 x466 -x467 x468 -x469 x470 x471 x472 -x473 -x474 x475 x476 -x477 -x478 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 46 221972 37621 295484 24349 6651368 23871 123 1798.00 1797.93/1798.47 c Objective: 218 1797.93/1798.47 s SATISFIABLE 1797.93/1798.47 c Total time: 1798 s
OK 218
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878547-1245138005/watcher-1878547-1245138005 -o /tmp/evaluation-result-1878547-1245138005/solver-1878547-1245138005 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878547-1245138005.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 638 /proc/meminfo: memFree=1856792/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=10756 CPUtime=0 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181400743 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 2689 227 174 640 0 2034 0 [startup+0.041543 s] /proc/loadavg: 0.92 0.98 0.99 3/64 638 /proc/meminfo: memFree=1856792/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=12016 CPUtime=0.03 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 530 0 0 0 3 0 0 0 18 0 1 0 181400743 12304384 503 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3004 503 281 640 0 2360 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12016 [startup+0.101547 s] /proc/loadavg: 0.92 0.98 0.99 3/64 638 /proc/meminfo: memFree=1856792/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=12236 CPUtime=0.09 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 650 0 0 0 9 0 0 0 18 0 1 0 181400743 12529664 615 1992294400 134512640 137136520 4294956256 18446744073709551615 135454333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3059 615 284 640 0 2415 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12236 [startup+0.301568 s] /proc/loadavg: 0.92 0.98 0.99 3/64 638 /proc/meminfo: memFree=1856792/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=12732 CPUtime=0.29 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 869 0 0 0 29 0 0 0 19 0 1 0 181400743 13037568 680 1992294400 134512640 137136520 4294956256 18446744073709551615 135068894 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3183 680 284 640 0 2539 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12732 [startup+0.701608 s] /proc/loadavg: 0.92 0.98 0.99 3/64 638 /proc/meminfo: memFree=1856792/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=13152 CPUtime=0.69 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 1380 0 0 0 69 0 0 0 22 0 1 0 181400743 13467648 749 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3288 749 284 640 0 2644 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13152 [startup+1.50169 s] /proc/loadavg: 0.92 0.98 0.99 2/65 639 /proc/meminfo: memFree=1854992/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=13244 CPUtime=1.49 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 3796 0 0 0 149 0 0 0 25 0 1 0 181400743 13561856 637 1992294400 134512640 137136520 4294956256 18446744073709551615 135438861 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3311 637 289 640 0 2667 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13244 [startup+3.10185 s] /proc/loadavg: 0.92 0.98 0.99 2/65 639 /proc/meminfo: memFree=1854800/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=13196 CPUtime=3.09 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 6337 0 0 0 308 1 0 0 25 0 1 0 181400743 13512704 648 1992294400 134512640 137136520 4294956256 18446744073709551615 135464201 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3299 648 289 640 0 2655 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13196 [startup+6.30118 s] /proc/loadavg: 1.01 1.00 1.00 2/65 639 /proc/meminfo: memFree=1855312/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=13360 CPUtime=6.29 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 18270 0 0 0 623 6 0 0 25 0 1 0 181400743 13680640 526 1992294400 134512640 137136520 4294956256 18446744073709551615 135079030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3340 526 289 640 0 2696 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13360 [startup+12.7018 s] /proc/loadavg: 1.01 1.00 1.00 2/65 639 /proc/meminfo: memFree=1855448/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=13760 CPUtime=12.69 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 43206 0 0 0 1255 14 0 0 25 0 1 0 181400743 14090240 623 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3440 623 292 640 0 2796 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13760 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1854040/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=14892 CPUtime=25.48 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 105254 0 0 0 2512 36 0 0 25 0 1 0 181400743 15249408 813 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 3723 813 292 640 0 3079 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14892 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1850392/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=19128 CPUtime=51.08 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 301306 0 0 0 5006 102 0 0 25 0 1 0 181400743 19587072 1965 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 4782 1967 295 640 0 4138 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19128 [startup+102.305 s] /proc/loadavg: 1.04 1.01 1.00 2/65 639 /proc/meminfo: memFree=1839448/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=30252 CPUtime=102.26 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 692066 0 0 0 9985 241 0 0 25 0 1 0 181400743 30978048 4541 1992294400 134512640 137136520 4294956256 18446744073709551615 135079058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 7563 4541 295 640 0 6919 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30252 [startup+162.302 s] /proc/loadavg: 1.01 1.01 1.00 2/65 639 /proc/meminfo: memFree=1796376/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=72552 CPUtime=162.25 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 1813818 0 0 0 15596 629 0 0 25 0 1 0 181400743 74293248 15235 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 18138 15235 295 640 0 17494 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72552 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1796056/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=73556 CPUtime=222.23 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 2069797 0 0 0 21492 731 0 0 25 0 1 0 181400743 75321344 15426 1992294400 134512640 137136520 4294956256 18446744073709551615 135454327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 18389 15428 295 640 0 17745 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73556 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1796248/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=72264 CPUtime=282.22 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 2329127 0 0 0 27374 848 0 0 25 0 1 0 181400743 73998336 15232 1992294400 134512640 137136520 4294956256 18446744073709551615 135249032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 18066 15232 295 640 0 17422 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 72264 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1793112/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=74916 CPUtime=342.2 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 2710265 0 0 0 33192 1028 0 0 25 0 1 0 181400743 76713984 16009 1992294400 134512640 137136520 4294956256 18446744073709551615 135377180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 18804 16010 295 640 0 18160 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 74916 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1787608/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=81660 CPUtime=402.19 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 3063956 0 0 0 39037 1182 0 0 25 0 1 0 181400743 83619840 17350 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 20415 17350 295 640 0 19771 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 81660 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1787928/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=78380 CPUtime=462.18 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 3418389 0 0 0 44867 1351 0 0 25 0 1 0 181400743 80261120 17292 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 19595 17292 295 640 0 18951 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 78380 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1786648/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=79596 CPUtime=522.15 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 3810195 0 0 0 50663 1552 0 0 25 0 1 0 181400743 81506304 17596 1992294400 134512640 137136520 4294956256 18446744073709551615 134826730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 19899 17596 295 640 0 19255 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 79596 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1769432/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=97316 CPUtime=582.14 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 4380139 0 0 0 56413 1801 0 0 25 0 1 0 181400743 99651584 22000 1992294400 134512640 137136520 4294956256 18446744073709551615 135258679 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 24646 22003 295 640 0 24002 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 97316 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 639 /proc/meminfo: memFree=1765976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=100200 CPUtime=642.13 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 4786804 0 0 0 62201 2012 0 0 25 0 1 0 181400743 102604800 22747 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 25050 22747 295 640 0 24406 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 100200 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1737496/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=128268 CPUtime=1122.01 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 8101687 0 0 0 108487 3714 0 0 25 0 1 0 181400743 131346432 29764 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 32067 29764 295 640 0 31423 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 128268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 641 /proc/meminfo: memFree=1737496/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=128268 CPUtime=1181.99 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 8470283 0 0 0 114276 3923 0 0 25 0 1 0 181400743 131346432 29764 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 32067 29764 295 640 0 31423 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 128268 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 641 /proc/meminfo: memFree=1729944/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=137468 CPUtime=1241.98 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 8886569 0 0 0 120071 4127 0 0 25 0 1 0 181400743 140767232 31650 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 34443 31651 295 640 0 33799 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 137468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1729880/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=135788 CPUtime=1301.95 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 9229474 0 0 0 125874 4321 0 0 25 0 1 0 181400743 139046912 31644 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 33947 31644 295 640 0 33303 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 135788 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1729880/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=135788 CPUtime=1361.93 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 9554173 0 0 0 131689 4504 0 0 25 0 1 0 181400743 139046912 31644 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 33947 31644 295 640 0 33303 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 135788 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1729432/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=136152 CPUtime=1421.92 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 9879765 0 0 0 137506 4686 0 0 25 0 1 0 181400743 139419648 31735 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 34038 31735 295 640 0 33394 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 136152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1729432/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=136284 CPUtime=1481.9 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 10188581 0 0 0 143326 4864 0 0 25 0 1 0 181400743 139554816 31736 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 34071 31736 295 640 0 33427 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 136284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1729432/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=137812 CPUtime=1541.89 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 10538093 0 0 0 149126 5063 0 0 25 0 1 0 181400743 141119488 31739 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 34453 31739 295 640 0 33809 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 137812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1729432/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=136140 CPUtime=1601.87 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 10853692 0 0 0 154946 5241 0 0 25 0 1 0 181400743 139407360 31732 1992294400 134512640 137136520 4294956256 18446744073709551615 134616620 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 34035 31732 295 640 0 33391 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 136140 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1724184/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=141560 CPUtime=1661.86 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 11253445 0 0 0 160744 5442 0 0 25 0 1 0 181400743 144957440 33087 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 35390 33087 295 640 0 34746 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 141560 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=149940 CPUtime=1721.84 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 11646141 0 0 0 166557 5627 0 0 25 0 1 0 181400743 153538560 34584 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37485 34584 295 640 0 36841 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 149940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=148092 CPUtime=1781.83 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12056879 0 0 0 172344 5839 0 0 25 0 1 0 181400743 151646208 34568 1992294400 134512640 137136520 4294956256 18446744073709551615 136505509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37290 34573 295 640 0 36646 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 148092 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=149160 CPUtime=1791.42 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12123837 0 0 0 173272 5870 0 0 25 0 1 0 181400743 152739840 34573 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37442 34575 295 640 0 36798 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 149160 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=149892 CPUtime=1794.62 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12146280 0 0 0 173581 5881 0 0 25 0 1 0 181400743 153489408 34577 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37473 34577 295 640 0 36829 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 149892 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=149960 CPUtime=1796.22 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12157353 0 0 0 173735 5887 0 0 25 0 1 0 181400743 153559040 34576 1992294400 134512640 137136520 4294956256 18446744073709551615 134730253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37490 34576 295 640 0 36846 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 149960 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=149928 CPUtime=1797.03 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12162943 0 0 0 173813 5890 0 0 25 0 1 0 181400743 153526272 34577 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37482 34577 295 640 0 36838 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 149928 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=147480 CPUtime=1797.43 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12165403 0 0 0 173852 5891 0 0 25 0 1 0 181400743 151019520 34567 1992294400 134512640 137136520 4294956256 18446744073709551615 135566005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 36870 34567 295 640 0 36226 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 147480 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=149168 CPUtime=1797.82 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12167883 0 0 0 173891 5891 0 0 25 0 1 0 181400743 152748032 34573 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 37292 34573 295 640 0 36648 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 149168 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 647 /proc/meminfo: memFree=1717976/2055920 swapFree=4182564/4192956 [pid=638] ppid=636 vsize=147480 CPUtime=1797.93 /proc/638/stat : 638 (bsolo) R 636 638 342 0 -1 4194304 12168535 0 0 0 173901 5892 0 0 25 0 1 0 181400743 151019520 34567 1992294400 134512640 137136520 4294956256 18446744073709551615 136501957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/638/statm: 36870 34567 295 640 0 36226 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 147480 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798.03 CPU user time (s): 1739.08 CPU system time (s): 58.947 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 150220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1739.08 system time used= 58.947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12168878 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= 2 involuntary context switches= 3205 runsolver used 1.45478 second user time and 3.52046 second system time The end
Begin job on node17 at 2009-06-16 09:40:05 IDJOB=1878547 IDBENCH=1955 IDSOLVER=700 FILE ID=node17/1878547-1245138005 PBS_JOBID= 9363690 Free space on /tmp= 66356 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878547-1245138005/watcher-1878547-1245138005 -o /tmp/evaluation-result-1878547-1245138005/solver-1878547-1245138005 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878547-1245138005.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b RANDOM SEED=270525029 node17.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.214 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.214 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: 1857208 kB Buffers: 20348 kB Cached: 109252 kB SwapCached: 4224 kB Active: 31068 kB Inactive: 106472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857208 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 3984 kB Writeback: 0 kB Mapped: 13748 kB Slab: 47148 kB Committed_AS: 159300 kB PageTables: 1456 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= 66352 MiB End job on node17 at 2009-06-16 10:10:03