Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 78 | 1800.08 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb |
MD5SUM | f7e9965e006e5669c3252afd9a68998d |
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 | 67 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 67 |
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 | 11 |
Maximum length of a constraint | 22 |
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) | 6328 |
Sum of products size (including duplicates) | 12656 |
Number of different products | 6328 |
Sum of products size | 12656 |
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/453456-1178138941/instance-453456-1178138941.opb 0.00/0.00 c File size is 96738 bytes. 0.01/0.04 c Highest Coefficient sum: 500 0.01/0.04 c Parsing was ok!! 0.01/0.04 c Total parsing time: 0.038 s 0.01/0.05 c Var: 6828 Constr: 13156 6828/0/6328 Lit: 44796 Watch. Lit: 32640 0.01/0.05 c Obj. Vars: 500 (7.32279 % of total variables) 0.19/0.26 c Pre-processing Time: 0.263 s 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 6828 13156 44796 3 32640 40243 0 0 0.26 0.19/0.26 c Switching off LPR mode. 0.19/0.27 o 499 0.269 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 6828 13157 45296 3 32643 40577 1 0 0.27 0.19/0.28 o 498 0.279 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 6828 13158 45796 3 32647 41077 2 0 0.28 0.19/0.29 o 497 0.288 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 6828 13159 46296 3 32652 41743 3 0 0.29 0.29/0.30 o 496 0.299 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 6828 13160 46796 3 32658 42577 4 0 0.30 0.29/0.31 o 495 0.306 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 6828 13161 47296 3 32665 43577 5 0 0.31 0.29/0.32 o 494 0.318 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 6828 13162 47796 3 32673 44577 6 0 0.32 0.29/0.33 o 493 0.329 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 6828 13163 48296 3 32682 45577 7 0 0.33 0.29/0.34 o 492 0.34 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 6828 13164 48796 3 32692 46577 8 0 0.34 0.29/0.35 o 491 0.351 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 6828 13165 49296 3 32703 47577 9 0 0.35 0.29/0.36 o 490 0.359 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 1 6828 13167 50287 3 32717 47577 11 2 0.36 0.29/0.37 o 79 0.371 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 1 6828 13168 50787 3 33140 47577 12 2 0.38 0.39/0.41 c 102 6828 13269 62787 4 33342 52335 113 251 0.41 0.39/0.41 o 78 0.415 1800.01/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.61 c 102 6828 13270 63287 4 33766 47577 114 243 0.42 1800.01/1800.61 c 203 6828 13371 74454 5 33968 52335 215 451 0.45 1800.01/1800.61 c 454 6828 13622 102580 7 34470 57569 466 868 0.52 1800.01/1800.61 c 930 6828 14098 161431 11 35422 63326 942 1428 0.65 1800.01/1800.61 c 1744 6828 14912 245550 16 37050 69659 1756 2016 0.86 1800.01/1800.61 c 3065 6828 16233 396991 24 39692 76625 3077 2500 1.23 1800.01/1800.61 c 5147 6828 18315 645811 35 43856 84288 5159 2606 1.98 1800.01/1800.61 c 8370 6828 21538 988327 45 50302 92717 8382 2772 3.02 1800.01/1800.61 c 13307 6828 26475 1594333 60 60176 101989 13319 2483 5.36 1800.01/1800.61 c 20813 6828 33981 2443340 71 75188 112188 20825 2331 8.93 1800.01/1800.61 c 32174 6828 45342 3692926 81 97910 123407 32186 2070 15.54 1800.01/1800.61 c 49318 6828 62486 5744870 91 132198 135748 49330 1823 27.05 1800.01/1800.61 c 75137 6828 88305 9027295 102 183836 149323 75149 1210 62.07 1800.01/1800.61 c 113969 6828 127137 14602893 114 261500 164256 113981 834 136.55 1800.01/1800.61 c 172322 6828 28738 2305977 80 64226 180682 15582 623 276.46 1800.01/1800.61 c 259954 6828 116370 13122133 112 239490 198751 103214 604 429.86 1800.01/1800.61 c 391506 6828 58412 5636725 96 123574 218627 45256 350 1116.67 1800.01/1800.61 c Caught signal: 15 1800.01/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.01/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.01/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.01/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 -x106 -x107 1800.01/1800.61 v -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 1800.01/1800.61 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.01/1800.61 v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 x171 1800.01/1800.61 v -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 x187 x188 -x189 -x190 -x191 -x192 -x193 1800.01/1800.61 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 x213 -x214 1800.01/1800.61 v x215 x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.01/1800.61 v -x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 x257 1800.01/1800.61 v -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 x277 -x278 1800.01/1800.61 v x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.01/1800.61 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.01/1800.61 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.01/1800.61 v -x342 x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 x359 x360 -x361 x362 -x363 1800.01/1800.61 v -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 -x375 x376 x377 -x378 -x379 -x380 x381 x382 -x383 x384 x385 1800.01/1800.61 v -x386 -x387 -x388 x389 x390 x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 1800.01/1800.61 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 1800.01/1800.61 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 1800.01/1800.61 v -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 x459 -x460 x461 -x462 x463 -x464 -x465 x466 -x467 -x468 x469 -x470 1800.01/1800.61 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 1800.01/1800.61 v -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 x500 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 29 564479 219961 1061832 231385 27305987 218229 313 1800.01 1800.01/1800.61 c Objective: 78 1800.01/1800.61 s SATISFIABLE 1800.01/1800.61 c Total time: 1800.01 s
OK 78
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453456-1178138941 -o ROOT/results/node1/solver-453456-1178138941 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453456-1178138941/instance-453456-1178138941.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.84 0.94 0.95 3/77 24838 /proc/meminfo: memFree=1552432/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=11832 CPUtime=0 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 289931973 12115968 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 2958 334 279 324 0 2004 0 [startup+0.0195769 s] /proc/loadavg: 0.84 0.94 0.95 3/77 24838 /proc/meminfo: memFree=1552432/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=4844 CPUtime=0.01 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 574 0 0 0 1 0 0 0 18 0 1 0 289931973 4960256 544 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 1212 544 298 324 0 258 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4844 [startup+0.101586 s] /proc/loadavg: 0.84 0.94 0.95 3/77 24838 /proc/meminfo: memFree=1552432/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=7332 CPUtime=0.09 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 1219 0 0 0 9 0 0 0 18 0 1 0 289931973 7507968 1165 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 1833 1165 303 324 0 903 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7332 [startup+0.301611 s] /proc/loadavg: 0.84 0.94 0.95 3/77 24838 /proc/meminfo: memFree=1552432/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=7476 CPUtime=0.29 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 1588 0 0 0 28 1 0 0 19 0 1 0 289931973 7655424 1218 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 1869 1218 309 324 0 939 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7476 [startup+0.701657 s] /proc/loadavg: 0.84 0.94 0.95 3/77 24838 /proc/meminfo: memFree=1552432/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=9276 CPUtime=0.69 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 2047 0 0 0 67 2 0 0 22 0 1 0 289931973 9498624 1677 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 2319 1677 310 324 0 1389 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9276 [startup+1.50175 s] /proc/loadavg: 0.85 0.94 0.95 2/78 24839 /proc/meminfo: memFree=1545192/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=13692 CPUtime=1.49 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 3151 0 0 0 147 2 0 0 25 0 1 0 289931973 14020608 2781 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 3423 2781 310 324 0 2493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13692 [startup+3.10194 s] /proc/loadavg: 0.85 0.94 0.95 2/78 24839 /proc/meminfo: memFree=1539688/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=20828 CPUtime=3.09 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 4945 0 0 0 306 3 0 0 25 0 1 0 289931973 21327872 4575 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 5207 4575 310 324 0 4277 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20828 [startup+6.30131 s] /proc/loadavg: 0.85 0.94 0.95 2/78 24839 /proc/meminfo: memFree=1526960/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=32852 CPUtime=6.29 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 7935 0 0 0 625 4 0 0 25 0 1 0 289931973 33640448 7565 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 8213 7565 310 324 0 7283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32852 [startup+12.7021 s] /proc/loadavg: 0.88 0.94 0.95 2/78 24839 /proc/meminfo: memFree=1505392/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=51900 CPUtime=12.69 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 12717 0 0 0 1261 8 0 0 25 0 1 0 289931973 53145600 12347 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 12975 12347 310 324 0 12045 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51900 [startup+25.5016 s] /proc/loadavg: 0.89 0.94 0.95 2/78 24839 /proc/meminfo: memFree=1473072/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=83368 CPUtime=25.48 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 20569 0 0 0 2535 13 0 0 25 0 1 0 289931973 85368832 20199 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 20842 20199 310 324 0 19912 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83368 [startup+51.1016 s] /proc/loadavg: 0.93 0.94 0.95 2/78 24839 /proc/meminfo: memFree=1435952/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=120344 CPUtime=51.07 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 29813 0 0 0 5087 20 0 0 25 0 1 0 289931973 123232256 29443 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 30086 29443 310 324 0 29156 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 120344 [startup+102.306 s] /proc/loadavg: 0.97 0.95 0.95 2/78 24839 /proc/meminfo: memFree=1374320/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=181496 CPUtime=102.27 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 45101 0 0 0 10193 34 0 0 25 0 1 0 289931973 185851904 44731 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6260641 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 45374 44731 310 324 0 44444 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 181496 [startup+162.302 s] /proc/loadavg: 0.99 0.96 0.95 2/78 24839 /proc/meminfo: memFree=1315056/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=241312 CPUtime=162.25 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 60064 0 0 0 16176 49 0 0 25 0 1 0 289931973 247103488 59694 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6258978 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 60328 59694 310 324 0 59398 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 241312 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.95 2/78 24839 /proc/meminfo: memFree=1250608/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=222.23 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 22163 60 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 304284 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1251056/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=282.22 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 28161 61 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572885 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 304284 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1251064/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=342.2 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 34159 61 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 304284 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1251064/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=402.18 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 40157 61 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 304284 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1251064/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=462.16 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 46154 62 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 304284 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1251064/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=522.14 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 52152 62 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 304284 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1251064/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=304284 CPUtime=582.13 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 75952 0 0 0 58150 63 0 0 25 0 1 0 289931973 311586816 75415 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 76071 75415 310 324 0 75141 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 304284 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 24839 /proc/meminfo: memFree=1237688/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=317716 CPUtime=642.12 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 79326 0 0 0 64145 67 0 0 25 0 1 0 289931973 325341184 78789 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 79429 78789 310 324 0 78499 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 317716 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 25037 /proc/meminfo: memFree=1184824/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=821.96 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 82113 83 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 370332 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=881.94 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 88111 83 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 370332 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=941.93 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 94109 84 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 370332 [startup+1002.3 s] /proc/loadavg: 1.04 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1001.91 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 100107 84 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 370332 [startup+1062.3 s] /proc/loadavg: 1.01 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1061.9 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 106105 85 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 370332 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1121.88 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 112103 85 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 370332 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1181.86 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 118100 86 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 370332 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184440/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1241.84 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 124098 86 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 370332 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184440/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1301.84 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 130097 87 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 370332 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1361.82 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 136094 88 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 370332 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1421.8 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 142092 88 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 370332 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1481.79 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 148090 89 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 370332 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1541.76 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 154087 89 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 370332 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1601.75 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 160086 89 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 370332 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370332 CPUtime=1661.73 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92670 0 0 0 166083 90 0 0 25 0 1 0 289931973 379219968 91932 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92583 91932 310 324 0 91653 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 370332 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1184504/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=370344 CPUtime=1721.72 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 92673 0 0 0 172081 91 0 0 25 0 1 0 289931973 379232256 91935 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 92586 91935 310 324 0 91656 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 370344 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1182584/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=372300 CPUtime=1781.71 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 93167 0 0 0 178079 92 0 0 25 0 1 0 289931973 381235200 92429 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 93075 92429 310 324 0 92145 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 372300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.95 2/78 25037 /proc/meminfo: memFree=1175608/2055920 swapFree=4145736/4192956 [pid=24838] ppid=24836 vsize=379124 CPUtime=1800.01 /proc/24838/stat : 24838 (bsolo3.0.17) R 24836 24838 24773 0 -1 4194304 94878 0 0 0 179908 93 0 0 25 0 1 0 289931973 388222976 94140 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24838/statm: 94781 94140 310 324 0 93851 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 379124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.68 CPU time (s): 1800.08 CPU user time (s): 1799.08 CPU system time (s): 1.00085 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 379124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.08 system time used= 1.00085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94882 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= 1291 runsolver used 1.40679 second user time and 4.08438 second system time The end
Begin job on node1 on Wed May 2 20:49:01 UTC 2007 IDJOB= 453456 IDBENCH= 48131 IDSOLVER= 199 FILE ID= node1/453456-1178138941 PBS_JOBID= 4751068 Free space on /tmp= 54608 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453456-1178138941/instance-453456-1178138941.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453456-1178138941 -o ROOT/results/node1/solver-453456-1178138941 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453456-1178138941/instance-453456-1178138941.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d RANDOM SEED= 51045064 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1552904 kB Buffers: 34576 kB Cached: 360132 kB SwapCached: 14788 kB Active: 74800 kB Inactive: 343196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1552904 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6892 kB Writeback: 0 kB Mapped: 29436 kB Slab: 70516 kB Committed_AS: 9403540 kB PageTables: 1832 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= 54608 MiB End job on node1 on Wed May 2 21:19:04 UTC 2007