Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -62 | 1800.12 | 1800.74 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454221-1178022759/instance-454221-1178022759.opb 0.00/0.00 c File size is 203060 bytes. 0.07/0.10 c Highest Coefficient sum: 500 0.07/0.10 c Parsing was ok!! 0.07/0.10 c Total parsing time: 0.096 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.57 c Pre-processing Time: 0.568 s 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 500 7853 23559 3 15706 2617 0 0 0.57 0.49/0.57 c Switching off LPR mode. 0.49/0.57 o -61 0.571 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.575 1800.08/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.70 c 11 500 7866 29361 3 15855 3617 13 19 0.58 1800.08/1800.70 c 111 500 7966 72823 9 16055 3979 113 184 0.60 1800.08/1800.70 c 361 500 8216 181447 22 16555 4377 363 534 0.68 1800.08/1800.70 c 836 500 8691 387633 44 17505 4815 838 1018 0.82 1800.08/1800.70 c 1651 500 9506 741880 78 19135 5297 1653 1483 1.11 1800.08/1800.70 c 2971 500 10826 1315275 121 21775 5827 2973 1823 1.63 1800.08/1800.70 c 5052 500 12907 2219768 171 25937 6410 5054 1850 2.73 1800.08/1800.70 c 8276 500 16131 3621145 224 32385 7052 8278 1841 4.50 1800.08/1800.70 c 13213 500 21068 5768304 273 42259 7758 13215 1514 8.72 1800.08/1800.70 c 20719 500 28574 9031403 316 57271 8534 20721 1253 16.53 1800.08/1800.70 c 32080 500 19502 5084138 260 39066 9388 11649 798 40.19 1800.08/1800.70 c 49224 500 15784 3468428 219 31630 10327 7931 711 69.23 1800.08/1800.70 c 75044 500 20266 5417074 267 40594 11360 12413 579 129.53 1800.08/1800.70 c 113876 500 15388 3297530 214 30838 12497 7535 478 237.81 1800.08/1800.70 c 172228 500 28920 9175132 317 57902 13747 21067 425 405.22 1800.08/1800.70 c 259860 500 24391 7209282 295 48844 15122 16538 359 723.07 1800.08/1800.70 c 391412 500 37286 12818337 343 74634 16635 29433 328 1190.50 1800.08/1800.70 c Caught signal: 15 1800.08/1800.71 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.08/1800.71 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.08/1800.71 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.08/1800.71 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.08/1800.71 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.08/1800.71 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.08/1800.71 v x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.08/1800.71 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.08/1800.71 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 1800.08/1800.71 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.08/1800.71 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.08/1800.71 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 1800.08/1800.71 v x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.08/1800.71 v -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.08/1800.71 v -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 1800.08/1800.71 v -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 1800.08/1800.71 v -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1800.08/1800.71 v x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 1800.08/1800.71 v -x401 -x402 -x403 -x404 x405 x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 1800.08/1800.71 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 1800.08/1800.71 v -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 x458 x459 x460 -x461 x462 x463 -x464 1800.08/1800.71 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.08/1800.71 v x488 -x489 x490 x491 x492 x493 x494 x495 -x496 -x497 x498 x499 x500 1800.08/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.71 c 18 559027 79745 675310 33491 11166791 25638 310 1800.09 1800.08/1800.71 c Objective: -62 1800.08/1800.71 s SATISFIABLE 1800.08/1800.71 c Total time: 1800.09 s
OK -62
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-454221-1178022759 -o ROOT/results/node24/solver-454221-1178022759 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454221-1178022759/instance-454221-1178022759.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.99 1.00 1.00 3/77 26861 /proc/meminfo: memFree=1848072/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=11936 CPUtime=0 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 250193988 12222464 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 2984 334 279 324 0 2004 0 [startup+0.0855999 s] /proc/loadavg: 0.99 1.00 1.00 3/77 26861 /proc/meminfo: memFree=1848072/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=8356 CPUtime=0.07 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 1475 0 0 0 7 0 0 0 18 0 1 0 250193988 8556544 1445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 2089 1446 331 324 0 1109 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8356 [startup+0.102601 s] /proc/loadavg: 0.99 1.00 1.00 3/77 26861 /proc/meminfo: memFree=1848072/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=8976 CPUtime=0.09 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 1687 0 0 0 9 0 0 0 18 0 1 0 250193988 9191424 1607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3037034 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 2244 1607 299 324 0 1314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8976 [startup+0.301623 s] /proc/loadavg: 0.99 1.00 1.00 3/77 26861 /proc/meminfo: memFree=1848072/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=12836 CPUtime=0.29 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 2589 0 0 0 28 1 0 0 19 0 1 0 250193988 13144064 2509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 3209 2509 304 324 0 2279 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12836 [startup+0.701666 s] /proc/loadavg: 0.99 1.00 1.00 3/77 26861 /proc/meminfo: memFree=1848072/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=14992 CPUtime=0.69 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 3331 0 0 0 67 2 0 0 22 0 1 0 250193988 15351808 3059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 3748 3059 311 324 0 2818 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14992 [startup+1.50175 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1832192/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=26532 CPUtime=1.49 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 6209 0 0 0 145 4 0 0 25 0 1 0 250193988 27168768 5937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 6633 5937 311 324 0 5703 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26532 [startup+3.10192 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1817856/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=44528 CPUtime=3.09 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 10716 0 0 0 304 5 0 0 25 0 1 0 250193988 45596672 10444 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 11132 10444 311 324 0 10202 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44528 [startup+6.30127 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1786816/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=71776 CPUtime=6.29 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 17544 0 0 0 620 9 0 0 25 0 1 0 250193988 73498624 17272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 17944 17272 311 324 0 17014 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71776 [startup+12.702 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1743816/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=110232 CPUtime=12.68 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 27165 0 0 0 1255 13 0 0 25 0 1 0 250193988 112877568 26893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 27558 26893 311 324 0 26628 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 110232 [startup+25.5023 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1703496/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=147928 CPUtime=25.49 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 36589 0 0 0 2531 18 0 0 25 0 1 0 250193988 151478272 36317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 36982 36317 311 324 0 36052 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 147928 [startup+51.1021 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1703432/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=147928 CPUtime=51.07 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 36589 0 0 0 5089 18 0 0 25 0 1 0 250193988 151478272 36317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 36982 36317 311 324 0 36052 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 147928 [startup+102.307 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1697096/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=154300 CPUtime=102.26 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 38180 0 0 0 10207 19 0 0 25 0 1 0 250193988 158003200 37908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 38575 37908 311 324 0 37645 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 154300 [startup+162.303 s] /proc/loadavg: 0.99 1.00 1.00 3/78 26862 /proc/meminfo: memFree=1685576/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=165748 CPUtime=162.24 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 41039 0 0 0 16203 21 0 0 25 0 1 0 250193988 169725952 40767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 41437 40767 311 324 0 40507 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 165748 [startup+222.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1685512/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=165748 CPUtime=222.22 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 41039 0 0 0 22201 21 0 0 25 0 1 0 250193988 169725952 40767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 41437 40767 311 324 0 40507 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 165748 [startup+282.303 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1686152/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=164936 CPUtime=282.21 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 41039 0 0 0 28199 22 0 0 25 0 1 0 250193988 168894464 40569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 41234 40569 311 324 0 40304 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 164936 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1679240/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=172004 CPUtime=342.19 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 42802 0 0 0 34195 24 0 0 25 0 1 0 250193988 176132096 42332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 43001 42332 311 324 0 42071 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 172004 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1678792/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=172412 CPUtime=402.17 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 42904 0 0 0 40193 24 0 0 25 0 1 0 250193988 176549888 42434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 43103 42434 311 324 0 42173 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 172412 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26862 /proc/meminfo: memFree=1672136/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=179148 CPUtime=462.16 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 44589 0 0 0 46190 26 0 0 25 0 1 0 250193988 183447552 44119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 44787 44119 311 324 0 43857 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 179148 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1671944/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=179340 CPUtime=522.14 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 44637 0 0 0 52188 26 0 0 25 0 1 0 250193988 183644160 44167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 44835 44167 311 324 0 43905 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 179340 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1671944/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=179340 CPUtime=582.12 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 44637 0 0 0 58186 26 0 0 25 0 1 0 250193988 183644160 44167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 44835 44167 311 324 0 43905 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 179340 [startup+642.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 26864 /proc/meminfo: memFree=1671944/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=179148 CPUtime=642.11 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 44637 0 0 0 64184 27 0 0 25 0 1 0 250193988 183447552 44122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 44787 44122 311 324 0 43857 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 179148 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1664072/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=187184 CPUtime=882.03 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 46648 0 0 0 88174 29 0 0 25 0 1 0 250193988 191676416 46130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3039001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46796 46130 311 324 0 45866 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 187184 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1664328/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=186788 CPUtime=942.01 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 46648 0 0 0 94172 29 0 0 25 0 1 0 250193988 191270912 46032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46697 46032 311 324 0 45767 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 186788 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1664328/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=186788 CPUtime=1002 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 46648 0 0 0 100170 30 0 0 25 0 1 0 250193988 191270912 46032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46697 46032 311 324 0 45767 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 186788 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1664328/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=186944 CPUtime=1061.98 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 46685 0 0 0 106168 30 0 0 25 0 1 0 250193988 191430656 46069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46736 46069 311 324 0 45806 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 186944 [startup+1122.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 26864 /proc/meminfo: memFree=1664520/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=186544 CPUtime=1121.97 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 46685 0 0 0 112166 31 0 0 25 0 1 0 250193988 191021056 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46636 45971 311 324 0 45706 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 186544 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 26864 /proc/meminfo: memFree=1665224/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=185860 CPUtime=1181.94 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 46685 0 0 0 118163 31 0 0 25 0 1 0 250193988 190320640 45800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46465 45800 311 324 0 45535 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 185860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1655944/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=195284 CPUtime=1241.93 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 49055 0 0 0 124160 33 0 0 25 0 1 0 250193988 199970816 48137 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48821 48137 311 324 0 47891 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 195284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1665224/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=185856 CPUtime=1301.92 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 49088 0 0 0 130158 34 0 0 25 0 1 0 250193988 190316544 45799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46464 45799 311 324 0 45534 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 185856 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1665224/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=185856 CPUtime=1361.9 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 49088 0 0 0 136155 35 0 0 25 0 1 0 250193988 190316544 45799 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3047141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 46464 45799 311 324 0 45534 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 185856 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1655816/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=195292 CPUtime=1421.88 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 51460 0 0 0 142152 36 0 0 25 0 1 0 250193988 199979008 48138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48823 48138 311 324 0 47893 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 195292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1657672/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=193240 CPUtime=1481.86 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 51460 0 0 0 148149 37 0 0 25 0 1 0 250193988 197877760 47645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48310 47645 311 324 0 47380 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 193240 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1657736/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=193240 CPUtime=1541.85 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 51460 0 0 0 154147 38 0 0 25 0 1 0 250193988 197877760 47645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48310 47645 311 324 0 47380 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 193240 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1655752/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=195404 CPUtime=1601.82 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 52006 0 0 0 160144 38 0 0 25 0 1 0 250193988 200093696 48158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48851 48158 311 324 0 47921 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 195404 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26864 /proc/meminfo: memFree=1657800/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=193164 CPUtime=1661.81 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 52039 0 0 0 166142 39 0 0 25 0 1 0 250193988 197799936 47626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3038976 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48291 47626 311 324 0 47361 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 193164 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 26980 /proc/meminfo: memFree=1656720/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=193060 CPUtime=1721.74 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 52039 0 0 0 172134 40 0 0 25 0 1 0 250193988 197693440 47600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48265 47600 311 324 0 47335 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 193060 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27062 /proc/meminfo: memFree=1655688/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=195352 CPUtime=1781.68 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 52630 0 0 0 178127 41 0 0 25 0 1 0 250193988 200040448 48158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48838 48158 311 324 0 47908 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 195352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27062 /proc/meminfo: memFree=1655688/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=195352 CPUtime=1800.08 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 52630 0 0 0 179967 41 0 0 25 0 1 0 250193988 200040448 48158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48838 48158 311 324 0 47908 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 195352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27062 /proc/meminfo: memFree=1655688/2055920 swapFree=4143588/4192956 [pid=26861] ppid=26859 vsize=195352 CPUtime=1800.08 /proc/26861/stat : 26861 (bsolo3.0.17) R 26859 26861 19478 0 -1 4194304 52630 0 0 0 179967 41 0 0 25 0 1 0 250193988 200040448 48158 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26861/statm: 48838 48158 311 324 0 47908 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 195352 Child status: 15 Real time (s): 1800.74 CPU time (s): 1800.12 CPU user time (s): 1799.68 CPU system time (s): 0.446932 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 195484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.446932 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= 2151 runsolver used 1.40079 second user time and 4.05538 second system time The end
Begin job on node24 on Tue May 1 12:32:40 UTC 2007 IDJOB= 454221 IDBENCH= 48182 IDSOLVER= 199 FILE ID= node24/454221-1178022759 PBS_JOBID= 4728336 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454221-1178022759/instance-454221-1178022759.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-454221-1178022759 -o ROOT/results/node24/solver-454221-1178022759 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454221-1178022759/instance-454221-1178022759.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b RANDOM SEED= 740207660 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1848480 kB Buffers: 52236 kB Cached: 69576 kB SwapCached: 17044 kB Active: 86032 kB Inactive: 62320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848480 kB SwapTotal: 4192956 kB SwapFree: 4143588 kB Dirty: 6868 kB Writeback: 0 kB Mapped: 33308 kB Slab: 44544 kB Committed_AS: 5253184 kB PageTables: 1820 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 node24 on Tue May 1 13:02:42 UTC 2007