Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -8 | 1800.2 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_3.opb |
MD5SUM | 7d5c1eba9f9b9c55d272c1a8f28b465a |
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 | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12432 |
Sum of products size (including duplicates) | 24864 |
Number of different products | 6216 |
Sum of products size | 12432 |
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/454980-1178034843/instance-454980-1178034843.opb 0.00/0.00 c File size is 166870 bytes. 0.00/0.07 c Highest Coefficient sum: 400 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.074 s 0.09/0.10 c Var: 12832 Constr: 25466 12632/402/12432 Lit: 88224 Watch. Lit: 75394 0.09/0.10 c Obj. Vars: 200 (1.5586 % of total variables) 63.57/63.65 c Pre-processing Time: 63.624 s 63.57/63.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.57/63.65 c 0 12832 25466 88224 3 75394 208119 0 0 63.62 63.57/63.65 c Switching off LPR mode. 63.57/63.67 o -1 63.649 63.67/63.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.67/63.70 c 0 12832 25467 88424 3 75397 208253 1 0 63.65 63.67/63.70 o -2 63.679 63.67/63.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.67/63.73 c 0 12832 25468 88624 3 75401 208453 2 0 63.69 63.67/63.73 o -3 63.708 63.67/63.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.67/63.76 c 0 12832 25469 88824 3 75406 208719 3 0 63.72 63.67/63.76 o -4 63.739 63.67/63.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.67/63.79 c 0 12832 25470 89024 3 75412 209053 4 0 63.74 63.67/63.79 o -5 63.769 63.77/63.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.77/63.83 c 0 12832 25471 89224 3 75419 209453 5 0 63.77 63.77/63.83 o -6 63.808 64.77/64.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.77/64.86 c 2 12832 25474 89953 3 75431 209519 8 0 63.81 64.77/64.86 c 102 12832 25574 113019 4 75631 230471 108 1 64.09 64.77/64.86 c 352 12832 25824 178877 6 76131 253519 358 5 64.62 64.77/64.86 o -7 64.841 65.87/66.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.87/66.00 c 616 12832 26089 246703 9 76668 209586 623 9 64.85 65.87/66.00 c 716 12832 26189 266986 10 76868 230545 723 11 65.04 65.87/66.00 c 966 12832 26439 339385 12 77368 253600 973 14 65.46 65.87/66.00 o -8 65.973 1799.91/1800.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.58 c 1408 12832 26882 452421 16 78262 209653 1416 21 65.98 1799.91/1800.58 c 1508 12832 26982 478177 17 78462 230619 1516 22 66.26 1799.91/1800.58 c 1758 12832 27232 530904 19 78962 253681 1766 26 66.37 1799.91/1800.58 c 2233 12832 27707 635651 22 79912 279050 2241 33 66.86 1799.91/1800.58 c 3046 12832 28520 844056 29 81538 306956 3054 44 67.86 1799.91/1800.58 c 4366 12832 29840 1216513 40 84178 337652 4374 62 69.45 1799.91/1800.58 c 6447 12832 31921 1857211 58 88340 371418 6455 90 71.58 1799.91/1800.58 c 9670 12832 35144 2621871 74 94786 408560 9678 132 72.92 1799.91/1800.58 c 14606 12832 40080 3896398 97 104658 449417 14614 180 80.71 1799.91/1800.58 c 22112 12832 47586 5782247 121 119670 494359 22120 241 91.44 1799.91/1800.58 c 33473 12832 58947 8714395 147 142392 543795 33481 286 116.85 1799.91/1800.58 c 50617 12832 76091 12889104 169 176680 598175 50625 333 151.98 1799.91/1800.58 c 76436 12832 101910 18475283 181 228318 657993 76444 373 204.55 1799.91/1800.58 c 115268 12832 140742 28452506 202 305982 723793 115276 365 315.21 1799.91/1800.58 c 173620 12832 199094 43895090 220 422686 796173 173628 315 550.65 1799.91/1800.58 c 261252 12832 286726 64916029 226 597950 875791 261260 273 955.51 1799.91/1800.58 c Resources Exceeded 1799.91/1800.58 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 1799.91/1800.58 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 1799.91/1800.58 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 1799.91/1800.58 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 1799.91/1800.58 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 1799.91/1800.58 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.91/1800.58 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1799.91/1800.58 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1799.91/1800.58 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x347 -x386 -x369 -x241 -x226 -x341 -x273 -x377 -x202 -x265 1799.91/1800.58 v -x259 -x325 -x394 -x340 -x203 -x242 -x376 -x296 -x316 -x343 -x239 -x274 -x248 -x286 -x338 -x220 -x221 -x261 -x282 -x294 -x303 1799.91/1800.58 v -x319 -x321 -x332 -x337 -x349 -x353 -x357 -x393 -x396 -x201 x269 x399 x255 x215 -x375 -x207 x362 -x279 -x291 -x295 -x288 -x289 1799.91/1800.58 v -x348 -x323 -x283 -x400 -x390 -x225 -x209 -x219 -x253 -x263 -x360 -x378 -x238 -x249 -x298 -x237 -x387 -x305 -x236 -x272 -x372 1799.91/1800.58 v -x368 -x278 -x334 -x309 -x224 -x351 -x324 -x212 -x243 -x229 -x258 x284 -x285 -x350 -x356 -x317 -x254 -x267 -x307 -x327 -x392 1799.91/1800.58 v -x314 -x398 -x227 -x346 -x206 -x230 -x354 -x299 -x247 -x256 -x266 -x297 -x300 -x306 -x310 -x363 -x366 -x204 -x222 -x217 -x275 1799.91/1800.58 v -x328 -x304 -x384 -x381 -x382 -x231 -x335 -x244 -x345 -x211 -x216 -x233 -x268 -x276 -x293 -x329 -x342 -x205 -x252 -x271 -x302 1799.91/1800.58 v -x246 -x228 -x214 -x355 -x336 -x290 -x232 -x389 -x385 -x379 x213 -x262 -x397 -x311 -x333 -x344 -x234 x257 -x326 -x352 -x218 1799.91/1800.58 v -x270 -x281 -x331 -x380 -x251 -x240 -x367 -x287 -x210 -x245 -x365 -x374 -x208 -x301 -x264 -x339 -x383 -x359 -x364 -x223 -x313 1799.91/1800.58 v -x371 -x315 -x330 -x370 -x388 -x260 -x312 -x361 -x250 -x292 -x358 -x280 -x235 -x391 -x320 -x322 -x395 -x277 -x308 -x373 -x318 1799.91/1800.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.58 c 27 379245 192 450184 404719 96884055 379253 210 1800.00 1799.91/1800.58 c Objective: -8 1799.91/1800.58 s SATISFIABLE 1799.91/1800.58 c Total time: 1800 s
OK -8
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-454980-1178034843 -o ROOT/results/node34/solver-454980-1178034843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454980-1178034843/instance-454980-1178034843.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.90 0.94 0.96 3/77 23580 /proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=19712 CPUtime=0 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 251399709 20185088 332 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2975 333 281 324 0 2003 0 [startup+0.0987199 s] /proc/loadavg: 0.90 0.94 0.96 3/77 23580 /proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10648 CPUtime=0.09 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2066 0 0 0 8 1 0 0 18 0 1 0 251399709 10903552 1994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134562128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2662 1994 302 324 0 1731 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10648 [startup+0.102718 s] /proc/loadavg: 0.90 0.94 0.96 3/77 23580 /proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10792 CPUtime=0.09 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2084 0 0 0 8 1 0 0 18 0 1 0 251399709 11051008 2012 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2698 2012 306 324 0 1767 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10792 [startup+0.302734 s] /proc/loadavg: 0.90 0.94 0.96 3/77 23580 /proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10792 CPUtime=0.29 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2113 0 0 0 28 1 0 0 19 0 1 0 251399709 11051008 2041 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8152993 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2698 2041 306 324 0 1767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10792 [startup+0.701765 s] /proc/loadavg: 0.90 0.94 0.96 3/77 23580 /proc/meminfo: memFree=1859384/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10792 CPUtime=0.69 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2115 0 0 0 68 1 0 0 23 0 1 0 251399709 11051008 2043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2698 2043 306 324 0 1767 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10792 [startup+1.50183 s] /proc/loadavg: 0.90 0.94 0.96 2/78 23581 /proc/meminfo: memFree=1852336/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10792 CPUtime=1.49 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2116 0 0 0 148 1 0 0 25 0 1 0 251399709 11051008 2044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2698 2044 306 324 0 1767 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10792 [startup+3.10195 s] /proc/loadavg: 0.90 0.94 0.96 2/78 23581 /proc/meminfo: memFree=1852208/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10920 CPUtime=3.09 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 308 1 0 0 25 0 1 0 251399709 11182080 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583415 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2730 2046 306 324 0 1799 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10920 [startup+6.30121 s] /proc/loadavg: 0.91 0.94 0.96 2/78 23581 /proc/meminfo: memFree=1852080/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10920 CPUtime=6.29 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 628 1 0 0 25 0 1 0 251399709 11182080 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2730 2046 306 324 0 1799 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10920 [startup+12.7017 s] /proc/loadavg: 0.91 0.94 0.96 2/78 23581 /proc/meminfo: memFree=1852088/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10912 CPUtime=12.68 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 1266 2 0 0 25 0 1 0 251399709 11173888 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2728 2046 306 324 0 1797 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10912 [startup+25.5027 s] /proc/loadavg: 0.93 0.94 0.96 2/78 23581 /proc/meminfo: memFree=1852152/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10912 CPUtime=25.48 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 2545 3 0 0 25 0 1 0 251399709 11173888 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2728 2046 306 324 0 1797 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10912 [startup+51.1027 s] /proc/loadavg: 0.95 0.95 0.96 2/78 23581 /proc/meminfo: memFree=1852344/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=10912 CPUtime=51.07 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 2118 0 0 0 5103 4 0 0 25 0 1 0 251399709 11173888 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 2728 2046 306 324 0 1797 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10912 [startup+102.306 s] /proc/loadavg: 0.98 0.95 0.96 2/78 23581 /proc/meminfo: memFree=1763384/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=99760 CPUtime=102.26 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 24761 0 0 0 10196 30 0 0 25 0 1 0 251399709 102154240 24298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 24940 24298 312 324 0 24009 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 99760 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.96 2/78 23581 /proc/meminfo: memFree=1673080/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=190384 CPUtime=162.24 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 47417 0 0 0 16169 55 0 0 25 0 1 0 251399709 194953216 46954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 47596 46954 312 324 0 46665 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 190384 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.96 2/78 23581 /proc/meminfo: memFree=1585912/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=276888 CPUtime=222.23 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 69034 0 0 0 22143 80 0 0 25 0 1 0 251399709 283533312 68571 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 69222 68571 312 324 0 68291 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 276888 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23581 /proc/meminfo: memFree=1513720/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=349480 CPUtime=282.21 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 87188 0 0 0 28122 99 0 0 25 0 1 0 251399709 357867520 86725 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 87370 86725 312 324 0 86439 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 349480 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23581 /proc/meminfo: memFree=1457720/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=404560 CPUtime=342.2 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 100966 0 0 0 34104 116 0 0 25 0 1 0 251399709 414269440 100503 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8151192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 101140 100503 312 324 0 100209 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 404560 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23581 /proc/meminfo: memFree=1401528/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=461300 CPUtime=402.18 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 115139 0 0 0 40085 133 0 0 25 0 1 0 251399709 472371200 114676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 115325 114676 312 324 0 114394 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 461300 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/84 23753 /proc/meminfo: memFree=1353392/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=507436 CPUtime=462.07 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 126680 0 0 0 46059 148 0 0 25 0 1 0 251399709 519614464 126217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134585166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 126859 126217 312 324 0 125928 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 507436 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=1303352/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=559532 CPUtime=522.04 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 139693 0 0 0 52041 163 0 0 25 0 1 0 251399709 572960768 139230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 139883 139230 312 324 0 138952 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 559532 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=1247736/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=614124 CPUtime=582.03 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 153361 0 0 0 58022 181 0 0 25 0 1 0 251399709 628862976 152898 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 153531 152898 312 324 0 152600 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 614124 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=1200760/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=660652 CPUtime=642.02 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 164986 0 0 0 64007 195 0 0 25 0 1 0 251399709 676507648 164523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 165163 164523 312 324 0 164232 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 660652 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=1039800/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=821268 CPUtime=881.95 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 205138 0 0 0 87948 247 0 0 25 0 1 0 251399709 840978432 204675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 205317 204675 312 324 0 204386 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 821268 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=1006520/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=854716 CPUtime=941.93 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 213508 0 0 0 93935 258 0 0 25 0 1 0 251399709 875229184 213045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 213679 213045 312 324 0 212748 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 854716 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=970680/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=890208 CPUtime=1001.92 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 222382 0 0 0 99920 272 0 0 25 0 1 0 251399709 911572992 221919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 222552 221919 312 324 0 221621 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 890208 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=945080/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=915704 CPUtime=1061.9 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 228765 0 0 0 105910 280 0 0 25 0 1 0 251399709 937680896 228302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 228926 228302 312 324 0 227995 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 915704 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=924472/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=936204 CPUtime=1121.88 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 233890 0 0 0 111901 287 0 0 25 0 1 0 251399709 958672896 233427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 234051 233427 312 324 0 233120 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 936204 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=897464/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=963204 CPUtime=1181.87 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 240640 0 0 0 117890 297 0 0 25 0 1 0 251399709 986320896 240177 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 240801 240177 312 324 0 239870 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 963204 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=874680/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=985964 CPUtime=1241.85 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 246315 0 0 0 123880 305 0 0 25 0 1 0 251399709 1009627136 245852 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 246491 245852 312 324 0 245560 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 985964 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=846840/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1013396 CPUtime=1301.84 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 253170 0 0 0 129871 313 0 0 25 0 1 0 251399709 1037717504 252707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 253349 252707 312 324 0 252418 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1013396 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=812600/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1047768 CPUtime=1361.83 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 261754 0 0 0 135859 324 0 0 25 0 1 0 251399709 1072914432 261291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 261942 261291 312 324 0 261011 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1047768 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=780792/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1079360 CPUtime=1421.81 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 269651 0 0 0 141847 334 0 0 25 0 1 0 251399709 1105264640 269188 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 269840 269188 312 324 0 268909 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1079360 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=750200/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1110208 CPUtime=1481.8 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 277360 0 0 0 147836 344 0 0 25 0 1 0 251399709 1136852992 276897 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 277552 276897 312 324 0 276621 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1110208 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=716792/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1143140 CPUtime=1541.78 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 285599 0 0 0 153826 352 0 0 25 0 1 0 251399709 1170575360 285136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 285785 285136 312 324 0 284854 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1143140 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=680312/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1179732 CPUtime=1601.76 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 294757 0 0 0 159812 364 0 0 25 0 1 0 251399709 1208045568 294294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 294933 294294 312 324 0 294002 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1179732 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=649336/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1210448 CPUtime=1661.74 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 302440 0 0 0 165801 373 0 0 25 0 1 0 251399709 1239498752 301977 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 302612 301977 312 324 0 301681 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1210448 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 23779 /proc/meminfo: memFree=617784/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1242464 CPUtime=1721.73 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 310435 0 0 0 171790 383 0 0 25 0 1 0 251399709 1272283136 309972 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 310616 309972 312 324 0 309685 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1242464 [startup+1782.3 s] /proc/loadavg: 1.04 0.99 0.96 2/78 23779 /proc/meminfo: memFree=586552/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=1273092 CPUtime=1781.71 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194304 318097 0 0 0 177779 392 0 0 25 0 1 0 251399709 1303646208 317634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 318273 317634 312 324 0 317342 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1273092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.03 0.99 0.96 2/78 23779 /proc/meminfo: memFree=695556/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=0 CPUtime=1800.02 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194308 320688 0 0 0 179603 399 0 0 25 0 1 0 251399709 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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 [startup+1800.71 s] /proc/loadavg: 1.03 0.99 0.96 2/78 23779 /proc/meminfo: memFree=695556/2055920 swapFree=4158948/4192956 [pid=23580] ppid=23578 vsize=0 CPUtime=1800.12 /proc/23580/stat : 23580 (bsolo3.0.16) R 23578 23580 22931 0 -1 4194308 320688 0 0 0 179603 409 0 0 25 0 1 0 251399709 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23580/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.2 CPU user time (s): 1796.04 CPU system time (s): 4.16637 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 1283364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.04 system time used= 4.16637 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 320688 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= 39005 runsolver used 1.35479 second user time and 3.97839 second system time The end
Begin job on node34 on Tue May 1 15:54:03 UTC 2007 IDJOB= 454980 IDBENCH= 48233 IDSOLVER= 163 FILE ID= node34/454980-1178034843 PBS_JOBID= 4728413 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/bsg/normalized-bsg_200_25_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454980-1178034843/instance-454980-1178034843.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-454980-1178034843 -o ROOT/results/node34/solver-454980-1178034843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454980-1178034843/instance-454980-1178034843.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a RANDOM SEED= 608055086 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1859792 kB Buffers: 45636 kB Cached: 63244 kB SwapCached: 3048 kB Active: 46284 kB Inactive: 86460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859792 kB SwapTotal: 4192956 kB SwapFree: 4158948 kB Dirty: 7020 kB Writeback: 0 kB Mapped: 30072 kB Slab: 48692 kB Committed_AS: 4345444 kB PageTables: 1976 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 node34 on Tue May 1 16:24:05 UTC 2007