Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -15 | 1800.13 | 1800.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_2.opb |
MD5SUM | b5a23f46b7c8ffe564ae87cb51d69480 |
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 | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
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) | 4984 |
Sum of products size (including duplicates) | 9968 |
Number of different products | 2492 |
Sum of products size | 4984 |
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/455550-1178045378/instance-455550-1178045378.opb 0.00/0.00 c File size is 74483 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.03 s 0.00/0.04 c Var: 5384 Constr: 10570 5184/402/4984 Lit: 36088 Watch. Lit: 30706 0.00/0.04 c Obj. Vars: 200 (3.71471 % of total variables) 2.09/2.17 c Pre-processing Time: 2.166 s 2.09/2.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.17 c 0 5384 10570 36088 3 30706 53330 0 0 2.17 2.09/2.17 c Switching off LPR mode. 2.09/2.18 o -1 2.175 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 0 5384 10571 36288 3 30709 53463 1 0 2.18 2.09/2.19 o -2 2.184 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 0 5384 10572 36488 3 30713 53663 2 0 2.19 2.09/2.19 o -3 2.193 2.19/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.20 c 0 5384 10573 36688 3 30718 53930 3 0 2.19 2.19/2.20 o -4 2.202 2.19/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.21 c 0 5384 10574 36888 3 30724 54263 4 0 2.20 2.19/2.21 o -5 2.211 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 0 5384 10575 37088 3 30731 54663 5 0 2.21 2.19/2.22 o -6 2.22 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 0 5384 10576 37288 3 30739 55130 6 0 2.22 2.19/2.23 o -7 2.229 2.19/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.24 c 0 5384 10577 37488 3 30748 55663 7 0 2.23 2.19/2.24 o -8 2.238 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 0 5384 10578 37688 3 30758 56263 8 0 2.24 2.19/2.25 o -9 2.247 2.19/2.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.26 c 0 5384 10579 37888 3 30769 56930 9 0 2.25 2.19/2.26 o -10 2.256 2.19/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.27 c 0 5384 10580 38088 3 30781 57663 10 0 2.26 2.19/2.27 o -11 2.264 2.19/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.27 c 0 5384 10581 38288 3 30794 58463 11 0 2.27 2.19/2.27 o -12 2.273 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 0 5384 10582 38488 3 30808 59330 12 0 2.27 2.19/2.29 o -13 2.285 2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.82 c 5 5384 10588 39782 3 30833 59397 18 2 2.29 2.79/2.82 c 105 5384 10688 62775 5 31033 65337 118 43 2.42 2.79/2.82 c 355 5384 10938 127579 11 31533 71871 368 135 2.62 2.79/2.82 o -14 2.814 154.43/154.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 154.43/154.57 c 785 5384 11369 263803 23 32409 59463 799 278 2.82 154.43/154.57 c 885 5384 11469 286943 25 32609 65410 899 297 2.97 154.43/154.57 c 1135 5384 11719 357319 30 33109 71952 1149 349 3.25 154.43/154.57 c 1610 5384 12194 486671 39 34059 79148 1624 413 3.89 154.43/154.57 c 2423 5384 13007 700248 53 35685 87063 2437 500 4.84 154.43/154.57 c 3743 5384 14327 1071905 74 38325 95770 3757 565 6.62 154.43/154.57 c 5824 5384 16408 1648450 100 42487 105348 5838 667 8.72 154.43/154.57 c 9047 5384 19631 2567095 130 48933 115883 9061 757 11.94 154.43/154.57 c 13983 5384 24567 4019020 163 58805 127472 13997 861 16.23 154.43/154.57 c 21489 5384 32073 5952930 185 73817 140220 21503 711 30.21 154.43/154.57 c 32850 5384 43434 9254691 213 96539 154243 32864 675 48.64 154.43/154.57 c 49994 5384 60578 13884250 229 130827 169668 50008 602 82.95 154.43/154.57 c 75813 5384 86397 21089701 244 182465 186635 75827 505 150.05 154.43/154.57 o -15 154.504 1799.93/1800.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.76 c 78502 5384 89087 21679665 243 187860 59463 78517 508 154.51 1799.93/1800.76 c 78602 5384 22737 3225374 141 55055 65410 12167 353 222.11 1799.93/1800.76 c 78853 5384 22988 3293279 143 55557 71952 12418 354 222.46 1799.93/1800.76 c 79328 5384 23463 3393613 144 56507 79148 12893 356 222.81 1799.93/1800.76 c 80141 5384 24276 3585632 147 58133 87063 13706 358 223.59 1799.93/1800.76 c 81461 5384 25596 3916878 153 60773 95770 15026 361 225.36 1799.93/1800.76 c 83542 5384 27677 4449849 160 64935 105348 17107 366 227.91 1799.93/1800.76 c 86765 5384 30900 5322028 172 71381 115883 20330 375 231.20 1799.93/1800.76 c 91701 5384 35836 6734265 187 81253 127472 25266 388 235.76 1799.93/1800.76 c 99207 5384 43342 8236769 190 96265 140220 32772 412 240.53 1799.93/1800.76 c 110568 5384 54703 10651702 194 118987 154243 44133 434 254.28 1799.93/1800.76 c 127712 5384 71847 15010770 208 153275 169668 61277 454 281.19 1799.93/1800.76 c 153531 5384 97666 21708653 222 204913 186635 87096 448 342.41 1799.93/1800.76 c 192363 5384 136498 31902500 233 282577 205299 125928 386 498.14 1799.93/1800.76 c 250715 5384 194850 47621083 244 399281 225829 184280 261 959.85 1799.93/1800.76 c Resources Exceeded 1799.93/1800.76 v x1 -x2 x3 x4 x5 -x6 x7 -x8 x9 x10 -x11 -x12 x13 -x14 x15 x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 1799.93/1800.76 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1799.93/1800.76 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1799.93/1800.76 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1799.93/1800.76 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.93/1800.76 v -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.93/1800.76 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.93/1800.76 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.93/1800.76 v -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x221 -x222 1799.93/1800.76 v -x264 -x201 x343 -x380 -x350 x294 -x238 x250 x255 -x374 -x368 x331 -x210 -x219 x229 -x245 x280 x300 -x322 -x332 -x202 -x373 1799.93/1800.76 v -x370 -x316 -x392 -x211 -x231 -x297 -x214 -x204 -x225 -x248 -x270 -x274 -x310 -x335 -x203 -x387 -x383 -x362 -x397 -x253 -x378 1799.93/1800.76 v -x398 -x358 -x236 -x237 -x385 -x329 -x307 -x261 -x366 -x357 -x315 -x276 -x208 -x259 -x293 -x321 -x344 -x205 -x246 -x400 -x367 1799.93/1800.76 v -x361 -x324 -x349 -x363 -x235 -x338 -x359 -x379 x206 -x317 -x257 -x318 -x369 -x391 -x311 -x288 -x371 -x207 x386 x234 x254 1799.93/1800.76 v -x277 -x282 -x304 -x252 -x218 -x224 -x242 -x260 -x209 -x356 -x309 -x319 -x215 -x239 -x355 x384 -x283 -x347 -x212 -x284 -x233 1799.93/1800.76 v -x273 -x390 -x393 -x275 -x336 -x306 -x342 -x382 -x333 -x232 -x305 -x213 -x351 -x292 -x269 -x285 -x340 -x345 -x323 -x217 -x399 1799.93/1800.76 v -x268 -x372 -x267 -x341 -x241 -x339 -x216 -x353 -x327 -x279 -x220 -x240 -x281 -x290 -x312 -x223 -x365 -x272 -x352 x314 -x266 1799.93/1800.76 v -x301 -x230 -x364 -x354 -x348 -x226 -x388 -x286 -x302 -x308 -x381 -x263 -x289 -x251 -x249 -x227 -x287 x377 -x258 -x326 -x328 1799.93/1800.76 v -x313 -x394 -x244 -x256 -x296 -x298 -x295 -x330 -x396 -x303 -x360 -x395 -x247 -x334 -x375 -x325 -x243 -x271 -x337 1799.93/1800.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.76 c 43 304689 203 369642 31120 5736036 20550 169 1800.00 1799.93/1800.76 c Objective: -15 1799.93/1800.76 s SATISFIABLE 1799.93/1800.76 c Total time: 1800 s
OK -15
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-455550-1178045378 -o ROOT/results/node46/solver-455550-1178045378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455550-1178045378/instance-455550-1178045378.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.85 0.94 0.97 3/78 14295 /proc/meminfo: memFree=1822056/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=3828 CPUtime=0 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 159220808 3919872 141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7764856 0 0 4096 0 0 0 0 17 1 0 0 /proc/14295/statm: 957 141 118 324 0 14 0 [startup+0.0898279 s] /proc/loadavg: 0.85 0.94 0.97 3/78 14295 /proc/meminfo: memFree=1822056/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=6768 CPUtime=0.07 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 1085 0 0 0 7 0 0 0 18 0 1 0 159220808 6930432 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 1692 1035 306 324 0 761 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6768 [startup+0.101831 s] /proc/loadavg: 0.85 0.94 0.97 3/78 14295 /proc/meminfo: memFree=1822056/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=6768 CPUtime=0.09 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 1085 0 0 0 9 0 0 0 18 0 1 0 159220808 6930432 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 1692 1035 306 324 0 761 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6768 [startup+0.301866 s] /proc/loadavg: 0.85 0.94 0.97 3/78 14295 /proc/meminfo: memFree=1822056/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=6768 CPUtime=0.29 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 1085 0 0 0 29 0 0 0 19 0 1 0 159220808 6930432 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 1692 1035 306 324 0 761 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6768 [startup+0.701941 s] /proc/loadavg: 0.85 0.94 0.97 3/78 14295 /proc/meminfo: memFree=1822056/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=6768 CPUtime=0.68 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 1085 0 0 0 68 0 0 0 23 0 1 0 159220808 6930432 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 1692 1035 306 324 0 761 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6768 [startup+1.50109 s] /proc/loadavg: 0.85 0.94 0.97 2/79 14296 /proc/meminfo: memFree=1818976/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=6768 CPUtime=1.48 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 1085 0 0 0 148 0 0 0 25 0 1 0 159220808 6930432 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 1692 1035 306 324 0 761 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6768 [startup+3.10139 s] /proc/loadavg: 0.85 0.94 0.97 2/79 14296 /proc/meminfo: memFree=1818848/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=10532 CPUtime=3.09 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 2299 0 0 0 303 6 0 0 25 0 1 0 159220808 10784768 2015 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 2633 2015 313 324 0 1702 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10532 [startup+6.30198 s] /proc/loadavg: 0.94 0.96 0.98 2/79 14296 /proc/meminfo: memFree=1808160/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=19548 CPUtime=6.29 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 4539 0 0 0 621 8 0 0 25 0 1 0 159220808 20017152 4255 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 4887 4255 313 324 0 3956 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19548 [startup+12.7012 s] /proc/loadavg: 0.94 0.96 0.98 2/79 14296 /proc/meminfo: memFree=1785136/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=43220 CPUtime=12.69 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 10451 0 0 0 1257 12 0 0 25 0 1 0 159220808 44257280 10167 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 10805 10167 313 324 0 9874 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43220 [startup+25.5015 s] /proc/loadavg: 0.96 0.96 0.98 2/79 14296 /proc/meminfo: memFree=1749432/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=76536 CPUtime=25.48 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 18797 0 0 0 2531 17 0 0 25 0 1 0 159220808 78372864 18513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 19134 18513 313 324 0 18203 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76536 [startup+51.1013 s] /proc/loadavg: 0.97 0.96 0.98 2/79 14296 /proc/meminfo: memFree=1694904/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=131448 CPUtime=51.06 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 32518 0 0 0 5077 29 0 0 25 0 1 0 159220808 134602752 32234 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 32862 32234 313 324 0 31931 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 131448 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1602488/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=222888 CPUtime=102.25 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 55381 0 0 0 10174 51 0 0 25 0 1 0 159220808 228237312 55097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 55722 55097 313 324 0 54791 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 222888 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1534136/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=290584 CPUtime=162.23 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 72391 0 0 0 16156 67 0 0 25 0 1 0 159220808 297558016 72030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 72646 72030 313 324 0 71715 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 290584 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1534136/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=290584 CPUtime=222.2 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 72391 0 0 0 22153 67 0 0 25 0 1 0 159220808 297558016 72030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 72646 72030 313 324 0 71715 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 290584 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1534200/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=290584 CPUtime=282.17 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 72391 0 0 0 28144 73 0 0 25 0 1 0 159220808 297558016 72030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 72646 72030 313 324 0 71715 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 290584 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1533048/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=292152 CPUtime=342.16 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 72766 0 0 0 34138 78 0 0 25 0 1 0 159220808 299163648 72405 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 73038 72405 313 324 0 72107 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 292152 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1473400/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=352100 CPUtime=402.13 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 87760 0 0 0 40120 93 0 0 25 0 1 0 159220808 360550400 87399 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 88025 87399 313 324 0 87094 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 352100 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1420536/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=404316 CPUtime=462.11 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 100825 0 0 0 46105 106 0 0 25 0 1 0 159220808 414019584 100464 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 101079 100464 313 324 0 100148 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 404316 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1379512/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=446112 CPUtime=522.09 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 111263 0 0 0 52090 119 0 0 25 0 1 0 159220808 456818688 110902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 111528 110902 313 324 0 110597 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 446112 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1353912/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=470672 CPUtime=582.07 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 117417 0 0 0 58079 128 0 0 25 0 1 0 159220808 481968128 117056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 117668 117056 313 324 0 116737 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 470672 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14296 /proc/meminfo: memFree=1327800/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=496540 CPUtime=642.06 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 123885 0 0 0 64070 136 0 0 25 0 1 0 159220808 508456960 123524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8228596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 124135 123524 313 324 0 123204 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 496540 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1244280/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=580060 CPUtime=821.88 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 144736 0 0 0 82027 161 0 0 25 0 1 0 159220808 593981440 144375 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 145015 144375 313 324 0 144084 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 580060 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1219000/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=604980 CPUtime=881.86 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 150975 0 0 0 88016 170 0 0 25 0 1 0 159220808 619499520 150614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 151245 150614 313 324 0 150314 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 604980 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1197880/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=626224 CPUtime=941.83 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 156295 0 0 0 94007 176 0 0 25 0 1 0 159220808 641253376 155934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 156556 155934 313 324 0 155625 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 626224 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1174072/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=649800 CPUtime=1001.81 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 162190 0 0 0 99997 184 0 0 25 0 1 0 159220808 665395200 161829 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 162450 161829 313 324 0 161519 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 649800 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1157304/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=667152 CPUtime=1061.8 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 166510 0 0 0 105989 191 0 0 25 0 1 0 159220808 683163648 166149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 166788 166149 313 324 0 165857 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 667152 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1139064/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=685024 CPUtime=1121.77 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 170976 0 0 0 111980 197 0 0 25 0 1 0 159220808 701464576 170615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 171256 170615 313 324 0 170325 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 685024 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1109816/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=714204 CPUtime=1181.75 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 178276 0 0 0 117969 206 0 0 25 0 1 0 159220808 731344896 177915 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 178551 177915 313 324 0 177620 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 714204 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1092664/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=731172 CPUtime=1241.73 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 182543 0 0 0 123962 211 0 0 25 0 1 0 159220808 748720128 182182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 182793 182182 313 324 0 181862 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 731172 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1074488/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=749180 CPUtime=1301.71 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 187040 0 0 0 129955 216 0 0 25 0 1 0 159220808 767160320 186679 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 187295 186679 313 324 0 186364 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 749180 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1050360/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=773744 CPUtime=1361.69 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 193168 0 0 0 135945 224 0 0 25 0 1 0 159220808 792313856 192807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 193436 192807 313 324 0 192505 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 773744 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028088/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1421.67 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 141935 232 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 795272 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028152/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1481.64 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 147932 232 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 795272 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028216/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1541.62 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 153929 233 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 795272 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028216/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1601.6 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 159927 233 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 795272 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028216/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1661.57 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 165924 233 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 795272 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028216/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1721.56 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 171922 234 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 795272 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1028152/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=795272 CPUtime=1781.54 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194304 198793 0 0 0 177920 234 0 0 25 0 1 0 159220808 814358528 198206 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 198818 198206 313 324 0 197887 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 795272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.98 2/79 14494 /proc/meminfo: memFree=1244152/2055920 swapFree=4159404/4192956 [pid=14295] ppid=14293 vsize=0 CPUtime=1800.03 /proc/14295/stat : 14295 (bsolo3.0.16) R 14293 14295 13960 0 -1 4194308 198794 0 0 0 179764 239 0 0 25 0 1 0 159220808 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14295/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.9 CPU time (s): 1800.13 CPU user time (s): 1797.65 CPU system time (s): 2.47962 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (KiB): 796176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.65 system time used= 2.47962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198794 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= 38299 runsolver used 1.73174 second user time and 4.15337 second system time The end
Begin job on node46 on Tue May 1 18:49:38 UTC 2007 IDJOB= 455550 IDBENCH= 48271 IDSOLVER= 163 FILE ID= node46/455550-1178045378 PBS_JOBID= 4728453 Free space on /tmp= 66214 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455550-1178045378/instance-455550-1178045378.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-455550-1178045378 -o ROOT/results/node46/solver-455550-1178045378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455550-1178045378/instance-455550-1178045378.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480 RANDOM SEED= 837975738 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1822400 kB Buffers: 75756 kB Cached: 73964 kB SwapCached: 2804 kB Active: 128428 kB Inactive: 45868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822400 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 6844 kB Writeback: 0 kB Mapped: 30940 kB Slab: 44576 kB Committed_AS: 5093096 kB PageTables: 1992 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= 66214 MiB End job on node46 on Tue May 1 19:19:41 UTC 2007