Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -62 | 1800.04 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb |
MD5SUM | 40141f2f083fa5e1f8a41aa043de0b1b |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -69 |
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 | -69 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15706 |
Sum of products size (including duplicates) | 31412 |
Number of different products | 7853 |
Sum of products size | 15706 |
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/454215-1178022718/instance-454215-1178022718.opb 0.00/0.00 c File size is 203060 bytes. 0.04/0.09 c Highest Coefficient sum: 500 0.04/0.09 c Parsing was ok!! 0.04/0.09 c Total parsing time: 0.091 s 0.09/0.12 c Var: 16206 Constr: 32412 16206/500/15706 Lit: 125648 Watch. Lit: 94236 0.09/0.12 c Obj. Vars: 500 (3.08528 % of total variables) 0.49/0.56 c Pre-processing Time: 0.562 s 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 500 7853 23559 3 15706 2617 0 0 0.56 0.49/0.56 c Switching off LPR mode. 0.49/0.57 o -61 0.565 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 500 7854 24059 3 15769 3617 1 0 0.57 0.49/0.57 o -62 0.57 1799.89/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.89/1800.60 c 11 500 7866 29361 3 15855 3617 13 19 0.57 1799.89/1800.60 c 111 500 7966 72823 9 16055 3979 113 185 0.60 1799.89/1800.60 c 361 500 8216 181447 22 16555 4377 363 538 0.67 1799.89/1800.60 c 836 500 8691 387633 44 17505 4815 838 1023 0.82 1799.89/1800.60 c 1651 500 9506 741880 78 19135 5297 1653 1487 1.11 1799.89/1800.60 c 2971 500 10826 1315275 121 21775 5827 2973 1824 1.63 1799.89/1800.60 c 5052 500 12907 2219768 171 25937 6410 5054 1849 2.73 1799.89/1800.60 c 8276 500 16131 3621145 224 32385 7052 8278 1839 4.50 1799.89/1800.60 c 13213 500 21068 5768304 273 42259 7758 13215 1517 8.71 1799.89/1800.60 c 20719 500 28574 9031403 316 57271 8534 20721 1252 16.54 1799.89/1800.60 c 32080 500 19502 5084138 260 39066 9388 11649 798 40.19 1799.89/1800.60 c 49224 500 15784 3468428 219 31630 10327 7931 711 69.22 1799.89/1800.60 c 75044 500 20266 5417074 267 40594 11360 12413 579 129.57 1800.00/1800.61 c 113876 500 15388 3297530 214 30838 12497 7535 478 237.96 1800.00/1800.61 c 172228 500 28920 9175132 317 57902 13747 21067 424 405.70 1800.00/1800.61 c 259860 500 24391 7209282 295 48844 15122 16538 359 723.72 1800.00/1800.61 c 391412 500 37286 12818337 343 74634 16635 29433 328 1191.21 1800.00/1800.61 c Resources Exceeded 1800.00/1800.61 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 1800.00/1800.61 v -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 1800.00/1800.61 v -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 1800.00/1800.61 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.00/1800.61 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.00/1800.61 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.00/1800.61 v x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.00/1800.61 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.00/1800.61 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 1800.00/1800.61 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.00/1800.61 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.00/1800.61 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 1800.00/1800.61 v x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.00/1800.61 v -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.00/1800.61 v -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 1800.00/1800.61 v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 1800.00/1800.61 v -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.00/1800.61 v x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.00/1800.61 v -x401 -x402 -x403 -x404 x405 x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 1800.00/1800.61 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 1800.00/1800.61 v -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 x458 x459 x460 -x461 x462 x463 -x464 1800.00/1800.61 v x465 -x466 -x467 -x468 x469 x470 x471 -x472 x473 -x474 x475 -x476 -x477 x478 x479 -x480 x481 x482 x483 x484 x485 x486 -x487 1800.00/1800.61 v x488 -x489 x490 x491 x492 x493 x494 x495 -x496 -x497 x498 x499 x500 1800.00/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.61 c 18 558652 79653 674765 33116 11003654 25263 310 1800.00 1800.00/1800.61 c Objective: -62 1800.00/1800.61 s SATISFIABLE 1800.00/1800.61 c Total time: 1800 s
OK -62
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-454215-1178022718 -o ROOT/results/node12/solver-454215-1178022718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454215-1178022718/instance-454215-1178022718.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.99 0.99 3/77 5810 /proc/meminfo: memFree=1808672/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=11936 CPUtime=0 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 278309159 12222464 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 2984 334 281 324 0 2003 0 [startup+0.059154 s] /proc/loadavg: 0.87 0.99 0.99 3/77 5810 /proc/meminfo: memFree=1808672/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=7300 CPUtime=0.04 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 1192 0 0 0 4 0 0 0 18 0 1 0 278309159 7475200 1161 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 1825 1161 322 324 0 844 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7300 [startup+0.102158 s] /proc/loadavg: 0.87 0.99 0.99 3/77 5810 /proc/meminfo: memFree=1808672/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=8976 CPUtime=0.09 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 1691 0 0 0 9 0 0 0 18 0 1 0 278309159 9191424 1610 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 2244 1610 302 324 0 1313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.302178 s] /proc/loadavg: 0.87 0.99 0.99 3/77 5810 /proc/meminfo: memFree=1808672/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=12836 CPUtime=0.29 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 2592 0 0 0 28 1 0 0 19 0 1 0 278309159 13144064 2511 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 3209 2511 306 324 0 2278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12836 [startup+0.701218 s] /proc/loadavg: 0.87 0.99 0.99 3/77 5810 /proc/meminfo: memFree=1808672/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=14992 CPUtime=0.68 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 3350 0 0 0 66 2 0 0 23 0 1 0 278309159 15351808 3077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 3748 3077 313 324 0 2817 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14992 [startup+1.5013 s] /proc/loadavg: 0.87 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1792664/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=26532 CPUtime=1.49 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 6214 0 0 0 145 4 0 0 25 0 1 0 278309159 27168768 5941 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 6633 5941 313 324 0 5702 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26532 [startup+3.10146 s] /proc/loadavg: 0.88 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1778456/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=44400 CPUtime=3.09 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 10700 0 0 0 303 6 0 0 25 0 1 0 278309159 45465600 10427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 11100 10427 313 324 0 10169 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44400 [startup+6.30178 s] /proc/loadavg: 0.88 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1747416/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=71776 CPUtime=6.29 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 17537 0 0 0 620 9 0 0 25 0 1 0 278309159 73498624 17264 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 17944 17264 313 324 0 17013 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71776 [startup+12.7014 s] /proc/loadavg: 0.90 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1704408/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=110360 CPUtime=12.68 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 27169 0 0 0 1253 15 0 0 25 0 1 0 278309159 113008640 26896 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 27590 26896 313 324 0 26659 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 110360 [startup+25.5017 s] /proc/loadavg: 0.91 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1664152/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=147928 CPUtime=25.48 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 36592 0 0 0 2526 22 0 0 25 0 1 0 278309159 151478272 36319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 36982 36319 313 324 0 36051 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 147928 [startup+51.1012 s] /proc/loadavg: 0.94 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1664280/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=147928 CPUtime=51.08 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 36592 0 0 0 5082 26 0 0 25 0 1 0 278309159 151478272 36319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 36982 36319 313 324 0 36051 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 147928 [startup+102.305 s] /proc/loadavg: 0.97 0.99 0.99 2/78 5811 /proc/meminfo: memFree=1657880/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=154300 CPUtime=102.27 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 38183 0 0 0 10197 30 0 0 25 0 1 0 278309159 158003200 37910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 38575 37910 313 324 0 37644 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 154300 [startup+162.301 s] /proc/loadavg: 1.04 1.00 0.99 2/78 5813 /proc/meminfo: memFree=1646360/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=165748 CPUtime=162.24 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 41042 0 0 0 16187 37 0 0 25 0 1 0 278309159 169725952 40769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 41437 40769 313 324 0 40506 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 165748 [startup+222.302 s] /proc/loadavg: 1.06 1.01 1.00 2/78 5813 /proc/meminfo: memFree=1646296/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=165748 CPUtime=222.23 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 41042 0 0 0 22181 42 0 0 25 0 1 0 278309159 169725952 40769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 41437 40769 313 324 0 40506 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 165748 [startup+282.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 5813 /proc/meminfo: memFree=1646872/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=164936 CPUtime=282.21 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 41042 0 0 0 28174 47 0 0 25 0 1 0 278309159 168894464 40571 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 41234 40571 313 324 0 40303 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 164936 [startup+342.302 s] /proc/loadavg: 1.15 1.06 1.01 2/78 5813 /proc/meminfo: memFree=1640024/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=172004 CPUtime=342.19 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 42805 0 0 0 34168 51 0 0 25 0 1 0 278309159 176132096 42334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 43001 42334 313 324 0 42070 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 172004 [startup+402.302 s] /proc/loadavg: 1.05 1.05 1.01 2/78 5813 /proc/meminfo: memFree=1639576/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=172412 CPUtime=402.18 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 42907 0 0 0 40163 55 0 0 25 0 1 0 278309159 176549888 42436 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 43103 42436 313 324 0 42172 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 172412 [startup+462.302 s] /proc/loadavg: 1.02 1.04 1.00 2/78 5813 /proc/meminfo: memFree=1632792/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=179148 CPUtime=462.16 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 44592 0 0 0 46156 60 0 0 25 0 1 0 278309159 183447552 44121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 44787 44121 313 324 0 43856 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 179148 [startup+522.302 s] /proc/loadavg: 1.00 1.03 1.00 2/78 5813 /proc/meminfo: memFree=1632664/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=179340 CPUtime=522.14 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 44640 0 0 0 52151 63 0 0 25 0 1 0 278309159 183644160 44169 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 44835 44169 313 324 0 43904 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 179340 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 5813 /proc/meminfo: memFree=1632600/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=179340 CPUtime=582.12 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 44640 0 0 0 58146 66 0 0 25 0 1 0 278309159 183644160 44169 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 44835 44169 313 324 0 43904 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 179340 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 5813 /proc/meminfo: memFree=1632600/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=179148 CPUtime=642.11 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 44640 0 0 0 64142 69 0 0 25 0 1 0 278309159 183447552 44124 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 44787 44124 313 324 0 43856 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 179148 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1625176/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=186788 CPUtime=822.06 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46551 0 0 0 82124 82 0 0 25 0 1 0 278309159 191270912 46032 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46697 46032 313 324 0 45766 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 186788 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1624728/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=187184 CPUtime=882.04 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46651 0 0 0 88119 85 0 0 25 0 1 0 278309159 191676416 46132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46796 46132 313 324 0 45865 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 187184 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1624984/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=186788 CPUtime=942.03 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46651 0 0 0 94114 89 0 0 25 0 1 0 278309159 191270912 46034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46697 46034 313 324 0 45766 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 186788 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1624984/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=186788 CPUtime=1002.01 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46651 0 0 0 100108 93 0 0 25 0 1 0 278309159 191270912 46034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46697 46034 313 324 0 45766 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 186788 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1624984/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=186944 CPUtime=1061.99 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46688 0 0 0 106103 96 0 0 25 0 1 0 278309159 191430656 46071 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46736 46071 313 324 0 45805 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 186944 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1625176/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=186544 CPUtime=1121.98 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46688 0 0 0 112099 99 0 0 25 0 1 0 278309159 191021056 45973 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46636 45973 313 324 0 45705 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 186544 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1625880/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=185860 CPUtime=1181.96 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 46688 0 0 0 118094 102 0 0 25 0 1 0 278309159 190320640 45802 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46465 45802 313 324 0 45534 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 185860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1616600/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=195284 CPUtime=1241.95 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 49058 0 0 0 124088 107 0 0 25 0 1 0 278309159 199970816 48139 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48821 48139 313 324 0 47890 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 195284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1625880/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=185856 CPUtime=1301.93 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 49091 0 0 0 130081 112 0 0 25 0 1 0 278309159 190316544 45801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46464 45801 313 324 0 45533 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 185856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1625880/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=185856 CPUtime=1361.91 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 49091 0 0 0 136075 116 0 0 25 0 1 0 278309159 190316544 45801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 46464 45801 313 324 0 45533 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 185856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1616600/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=195292 CPUtime=1421.9 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 51463 0 0 0 142068 122 0 0 25 0 1 0 278309159 199979008 48140 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48823 48140 313 324 0 47892 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 195292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1618520/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=193240 CPUtime=1481.88 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 51463 0 0 0 148063 125 0 0 25 0 1 0 278309159 197877760 47647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48310 47647 313 324 0 47379 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 193240 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1618584/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=193240 CPUtime=1541.87 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 51463 0 0 0 154058 129 0 0 25 0 1 0 278309159 197877760 47647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48310 47647 313 324 0 47379 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 193240 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1616536/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=195404 CPUtime=1601.84 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 52009 0 0 0 160051 133 0 0 25 0 1 0 278309159 200093696 48160 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48851 48160 313 324 0 47920 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 195404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1618584/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=193164 CPUtime=1661.83 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 52042 0 0 0 166047 136 0 0 25 0 1 0 278309159 197799936 47628 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48291 47628 313 324 0 47360 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 193164 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 5813 /proc/meminfo: memFree=1618648/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=193060 CPUtime=1721.81 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 52042 0 0 0 172042 139 0 0 25 0 1 0 278309159 197693440 47602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48265 47602 313 324 0 47334 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 193060 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 5981 /proc/meminfo: memFree=1615144/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=195352 CPUtime=1781.71 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194304 52633 0 0 0 178028 143 0 0 25 0 1 0 278309159 200040448 48160 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 48838 48160 313 324 0 47907 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 195352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 6011 /proc/meminfo: memFree=1631760/2055920 swapFree=4160052/4192956 [pid=5810] ppid=5808 vsize=0 CPUtime=1800 /proc/5810/stat : 5810 (bsolo3.0.16) R 5808 5810 5450 0 -1 4194308 52634 0 0 0 179854 146 0 0 25 0 1 0 278309159 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5810/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.04 CPU user time (s): 1798.54 CPU system time (s): 1.49077 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 195536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.54 system time used= 1.49077 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52634 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= 12 involuntary context switches= 37735 runsolver used 1.3288 second user time and 3.9474 second system time The end
Begin job on node12 on Tue May 1 12:31:58 UTC 2007 IDJOB= 454215 IDBENCH= 48182 IDSOLVER= 163 FILE ID= node12/454215-1178022718 PBS_JOBID= 4728383 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454215-1178022718/instance-454215-1178022718.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-454215-1178022718 -o ROOT/results/node12/solver-454215-1178022718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454215-1178022718/instance-454215-1178022718.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b RANDOM SEED= 236720610 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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: 1809080 kB Buffers: 58328 kB Cached: 100480 kB SwapCached: 11532 kB Active: 113988 kB Inactive: 69220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809080 kB SwapTotal: 4192956 kB SwapFree: 4160052 kB Dirty: 6940 kB Writeback: 0 kB Mapped: 30412 kB Slab: 49180 kB Committed_AS: 8999872 kB PageTables: 1796 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 node12 on Tue May 1 13:02:01 UTC 2007