Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -15 | 1800.16 | 1800.93 |
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.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/455556-1178045487/instance-455556-1178045487.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.02/0.04 c Var: 5384 Constr: 10570 5184/402/4984 Lit: 36088 Watch. Lit: 30706 0.02/0.04 c Obj. Vars: 200 (3.71471 % of total variables) 2.09/2.18 c Pre-processing Time: 2.184 s 2.09/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.18 c 0 5384 10570 36088 3 30706 53330 0 0 2.18 2.09/2.18 c Switching off LPR mode. 2.09/2.19 o -1 2.189 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.19 2.09/2.19 o -2 2.195 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 0 5384 10572 36488 3 30713 53663 2 0 2.20 2.09/2.20 o -3 2.2 2.19/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.21 c 0 5384 10573 36688 3 30718 53930 3 0 2.20 2.19/2.21 o -4 2.206 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.21 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.217 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 0 5384 10576 37288 3 30739 55130 6 0 2.22 2.19/2.22 o -7 2.223 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 0 5384 10577 37488 3 30748 55663 7 0 2.23 2.19/2.23 o -8 2.229 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 0 5384 10578 37688 3 30758 56263 8 0 2.23 2.19/2.23 o -9 2.234 2.19/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.24 c 0 5384 10579 37888 3 30769 56930 9 0 2.24 2.19/2.24 o -10 2.24 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 0 5384 10580 38088 3 30781 57663 10 0 2.24 2.19/2.25 o -11 2.246 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 0 5384 10581 38288 3 30794 58463 11 0 2.25 2.19/2.25 o -12 2.252 2.19/2.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.26 c 0 5384 10582 38488 3 30808 59330 12 0 2.25 2.19/2.26 o -13 2.261 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 5 5384 10588 39782 3 30833 59397 18 2 2.26 2.69/2.79 c 105 5384 10688 62775 5 31033 65337 118 43 2.40 2.69/2.79 c 355 5384 10938 127579 11 31533 71871 368 136 2.59 2.69/2.79 o -14 2.789 154.33/154.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 154.33/154.49 c 785 5384 11369 263803 23 32409 59463 799 281 2.79 154.33/154.49 c 885 5384 11469 286943 25 32609 65410 899 300 2.95 154.33/154.49 c 1135 5384 11719 357319 30 33109 71952 1149 351 3.23 154.33/154.49 c 1610 5384 12194 486671 39 34059 79148 1624 416 3.87 154.33/154.49 c 2423 5384 13007 700248 53 35685 87063 2437 503 4.81 154.33/154.49 c 3743 5384 14327 1071905 74 38325 95770 3757 568 6.58 154.33/154.49 c 5824 5384 16408 1648450 100 42487 105348 5838 669 8.70 154.33/154.49 c 9047 5384 19631 2567095 130 48933 115883 9061 757 11.94 154.33/154.49 c 13983 5384 24567 4019020 163 58805 127472 13997 860 16.25 154.33/154.49 c 21489 5384 32073 5952930 185 73817 140220 21503 711 30.21 154.33/154.49 c 32850 5384 43434 9254691 213 96539 154243 32864 674 48.72 154.33/154.49 c 49994 5384 60578 13884250 229 130827 169668 50008 601 83.06 154.33/154.49 c 75813 5384 86397 21089701 244 182465 186635 75827 505 150.00 154.33/154.49 o -15 154.431 1800.03/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.80 c 78502 5384 89087 21679665 243 187860 59463 78517 508 154.44 1800.03/1800.80 c 78602 5384 22737 3225374 141 55055 65410 12167 354 221.55 1800.03/1800.80 c 78853 5384 22988 3293279 143 55557 71952 12418 355 221.90 1800.03/1800.80 c 79328 5384 23463 3393613 144 56507 79148 12893 356 222.24 1800.03/1800.80 c 80141 5384 24276 3585632 147 58133 87063 13706 359 223.01 1800.03/1800.80 c 81461 5384 25596 3916878 153 60773 95770 15026 362 224.77 1800.03/1800.80 c 83542 5384 27677 4449849 160 64935 105348 17107 367 227.31 1800.03/1800.80 c 86765 5384 30900 5322028 172 71381 115883 20330 376 230.59 1800.03/1800.80 c 91701 5384 35836 6734265 187 81253 127472 25266 389 235.14 1800.03/1800.80 c 99207 5384 43342 8236769 190 96265 140220 32772 413 239.88 1800.03/1800.80 c 110568 5384 54703 10651702 194 118987 154243 44133 436 253.57 1800.03/1800.80 c 127712 5384 71847 15010770 208 153275 169668 61277 455 280.40 1800.03/1800.80 c 153531 5384 97666 21708653 222 204913 186635 87096 449 341.49 1800.03/1800.80 c 192363 5384 136498 31902500 233 282577 205299 125928 387 496.67 1800.03/1800.80 c 250715 5384 194850 47621083 244 399281 225829 184280 261 957.12 1800.03/1800.80 c Caught signal: 15 1800.03/1800.80 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 1800.03/1800.80 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 1800.03/1800.80 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 1800.03/1800.80 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 1800.03/1800.80 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.03/1800.80 v -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.03/1800.80 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.03/1800.80 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.03/1800.80 v -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x221 -x222 1800.03/1800.80 v -x264 -x201 x343 -x380 -x350 x294 -x238 x250 x255 -x374 -x368 x331 -x210 -x219 x229 -x245 x280 x300 -x322 -x332 -x202 -x373 1800.03/1800.80 v -x370 -x316 -x392 -x211 -x231 -x297 -x214 -x204 -x225 -x248 -x270 -x274 -x310 -x335 -x203 -x387 -x383 -x362 -x397 -x253 -x378 1800.03/1800.80 v -x398 -x358 -x236 -x237 -x385 -x329 -x307 -x261 -x366 -x357 -x315 -x276 -x208 -x259 -x293 -x321 -x344 -x205 -x246 -x400 -x367 1800.03/1800.80 v -x361 -x324 -x349 -x363 -x235 -x338 -x359 -x379 x206 -x317 -x257 -x318 -x369 -x391 -x311 -x288 -x371 -x207 x386 x234 x254 1800.03/1800.80 v -x277 -x282 -x304 -x252 -x218 -x224 -x242 -x260 -x209 -x356 -x309 -x319 -x215 -x239 -x355 x384 -x283 -x347 -x212 -x284 -x233 1800.03/1800.80 v -x273 -x390 -x393 -x275 -x336 -x306 -x342 -x382 -x333 -x232 -x305 -x213 -x351 -x292 -x269 -x285 -x340 -x345 -x323 -x217 -x399 1800.03/1800.80 v -x268 -x372 -x267 -x341 -x241 -x339 -x216 -x353 -x327 -x279 -x220 -x240 -x281 -x290 -x312 -x223 -x365 -x272 -x352 x314 -x266 1800.03/1800.80 v -x301 -x230 -x364 -x354 -x348 -x226 -x388 -x286 -x302 -x308 -x381 -x263 -x289 -x251 -x249 -x227 -x287 x377 -x258 -x326 -x328 1800.03/1800.80 v -x313 -x394 -x244 -x256 -x296 -x298 -x295 -x330 -x396 -x303 -x360 -x395 -x247 -x334 -x375 -x325 -x243 -x271 -x337 1800.03/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.80 c 43 307665 203 372618 34096 6473530 23526 170 1800.04 1800.03/1800.80 c Objective: -15 1800.03/1800.80 s SATISFIABLE 1800.03/1800.80 c Total time: 1800.04 s
OK -15
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-455556-1178045487 -o ROOT/results/node66/solver-455556-1178045487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455556-1178045487/instance-455556-1178045487.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.91 0.97 0.99 3/64 5928 /proc/meminfo: memFree=1887664/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=11812 CPUtime=0 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 280538253 12095488 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 2953 331 279 324 0 2004 0 [startup+0.034716 s] /proc/loadavg: 0.91 0.97 0.99 3/64 5928 /proc/meminfo: memFree=1887664/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=5436 CPUtime=0.02 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 788 0 0 0 2 0 0 0 18 0 1 0 280538253 5566464 739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 1359 739 299 324 0 429 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5436 [startup+0.101698 s] /proc/loadavg: 0.91 0.97 0.99 3/64 5928 /proc/meminfo: memFree=1887664/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=6768 CPUtime=0.09 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 1082 0 0 0 9 0 0 0 18 0 1 0 280538253 6930432 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 1692 1033 304 324 0 762 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6768 [startup+0.301737 s] /proc/loadavg: 0.91 0.97 0.99 3/64 5928 /proc/meminfo: memFree=1887664/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=6768 CPUtime=0.29 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 1082 0 0 0 29 0 0 0 19 0 1 0 280538253 6930432 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 1692 1033 304 324 0 762 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6768 [startup+0.701816 s] /proc/loadavg: 0.91 0.97 0.99 3/64 5928 /proc/meminfo: memFree=1887664/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=6768 CPUtime=0.69 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 1082 0 0 0 69 0 0 0 22 0 1 0 280538253 6930432 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 1692 1033 304 324 0 762 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6768 [startup+1.50198 s] /proc/loadavg: 0.92 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1884712/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=6768 CPUtime=1.49 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 1082 0 0 0 149 0 0 0 25 0 1 0 280538253 6930432 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 1692 1033 304 324 0 762 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6768 [startup+3.1013 s] /proc/loadavg: 0.92 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1884328/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=10664 CPUtime=3.09 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 2307 0 0 0 307 2 0 0 25 0 1 0 280538253 10919936 2024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 2666 2024 311 324 0 1736 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10664 [startup+6.30193 s] /proc/loadavg: 0.92 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1873896/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=19548 CPUtime=6.29 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 4551 0 0 0 626 3 0 0 25 0 1 0 280538253 20017152 4268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 4887 4268 311 324 0 3957 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19548 [startup+12.7022 s] /proc/loadavg: 0.93 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1850792/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=43220 CPUtime=12.69 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 10448 0 0 0 1262 7 0 0 25 0 1 0 280538253 44257280 10165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 10805 10165 311 324 0 9875 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43220 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1815016/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=76536 CPUtime=25.48 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 18799 0 0 0 2535 13 0 0 25 0 1 0 280538253 78372864 18516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10274427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 19134 18516 311 324 0 18204 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76536 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1760488/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=131320 CPUtime=51.07 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 32490 0 0 0 5084 23 0 0 25 0 1 0 280538253 134471680 32207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 32830 32207 311 324 0 31900 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 131320 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1668200/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=222756 CPUtime=102.26 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 55349 0 0 0 10184 42 0 0 25 0 1 0 280538253 228102144 55066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 55689 55066 311 324 0 54759 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 222756 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1599784/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=290584 CPUtime=162.23 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 72388 0 0 0 16168 55 0 0 25 0 1 0 280538253 297558016 72028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 72646 72028 311 324 0 71716 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 290584 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1599784/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=290584 CPUtime=222.2 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 72388 0 0 0 22165 55 0 0 25 0 1 0 280538253 297558016 72028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 72646 72028 311 324 0 71716 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 290584 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1599784/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=290584 CPUtime=282.18 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 72388 0 0 0 28163 55 0 0 25 0 1 0 280538253 297558016 72028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10273163 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 72646 72028 311 324 0 71716 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 290584 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1597608/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=293300 CPUtime=342.16 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 73042 0 0 0 34161 55 0 0 25 0 1 0 280538253 300339200 72682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 73325 72682 311 324 0 72395 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 293300 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1537960/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=353000 CPUtime=402.14 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 87979 0 0 0 40147 67 0 0 25 0 1 0 280538253 361472000 87619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 88250 87619 311 324 0 87320 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 353000 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1485416/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=405084 CPUtime=462.12 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 100995 0 0 0 46131 81 0 0 25 0 1 0 280538253 414806016 100635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 101271 100635 311 324 0 100341 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 405084 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5929 /proc/meminfo: memFree=1443432/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=447524 CPUtime=522.1 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 111609 0 0 0 52120 90 0 0 25 0 1 0 280538253 458264576 111249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10272484 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 111881 111249 311 324 0 110951 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 447524 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/71 6001 /proc/meminfo: memFree=1417720/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=471448 CPUtime=582.05 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 117607 0 0 0 58107 98 0 0 25 0 1 0 280538253 482762752 117247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 117862 117247 311 324 0 116932 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 471448 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1392168/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=497700 CPUtime=641.97 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 124152 0 0 0 64092 105 0 0 25 0 1 0 280538253 509644800 123792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 124425 123792 311 324 0 123495 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 497700 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1283752/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=605880 CPUtime=881.87 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 151205 0 0 0 88057 130 0 0 25 0 1 0 280538253 620421120 150845 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 151470 150845 311 324 0 150540 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 605880 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1262696/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=627264 CPUtime=941.85 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 156550 0 0 0 94051 134 0 0 25 0 1 0 280538253 642318336 156190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 156816 156190 311 324 0 155886 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 627264 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1239016/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=650564 CPUtime=1001.82 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 162365 0 0 0 100041 141 0 0 25 0 1 0 280538253 666177536 162005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 162641 162005 311 324 0 161711 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 650564 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1221736/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=668052 CPUtime=1061.8 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 166741 0 0 0 106034 146 0 0 25 0 1 0 280538253 684085248 166381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 167013 166381 311 324 0 166083 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 668052 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1203816/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=685796 CPUtime=1121.78 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 171186 0 0 0 112029 149 0 0 25 0 1 0 280538253 702255104 170826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 171449 170826 311 324 0 170519 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 685796 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1174632/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=715232 CPUtime=1181.76 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 178530 0 0 0 118020 156 0 0 25 0 1 0 280538253 732397568 178170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 178808 178170 311 324 0 177878 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 715232 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1157352/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=732072 CPUtime=1241.73 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 182765 0 0 0 124014 159 0 0 25 0 1 0 280538253 749641728 182405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 183018 182405 311 324 0 182088 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 732072 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1138920/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=750332 CPUtime=1301.71 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 187320 0 0 0 130008 163 0 0 25 0 1 0 280538253 768339968 186960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 187583 186960 311 324 0 186653 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 750332 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1113960/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=775680 CPUtime=1361.69 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 193638 0 0 0 136000 169 0 0 25 0 1 0 280538253 794296320 193278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 193920 193278 311 324 0 192990 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 775680 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1093608/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1421.67 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 141994 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 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.99 2/65 6127 /proc/meminfo: memFree=1093608/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1481.65 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 147992 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 795272 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1093608/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1541.62 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 153989 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 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.99 2/65 6127 /proc/meminfo: memFree=1093672/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1601.6 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 159987 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 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.99 2/65 6127 /proc/meminfo: memFree=1093800/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1661.58 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 165985 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 795272 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1093800/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1721.55 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 171982 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 795272 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1093800/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1781.53 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 177980 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 0 Current children cumulated CPU time (s) 1781.53 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.99 2/65 6127 /proc/meminfo: memFree=1093736/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=795272 CPUtime=1800.03 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194304 198790 0 0 0 179830 173 0 0 25 0 1 0 280538253 814358528 198204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 198818 198204 311 324 0 197888 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 795272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.97 0.99 2/65 6127 /proc/meminfo: memFree=1093736/2055920 swapFree=4183004/4192956 [pid=5928] ppid=5926 vsize=0 CPUtime=1800.13 /proc/5928/stat : 5928 (bsolo3.0.17) R 5926 5928 4705 0 -1 4194308 198794 0 0 0 179830 183 0 0 25 0 1 0 280538253 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/5928/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.93 CPU time (s): 1800.16 CPU user time (s): 1798.3 CPU system time (s): 1.86172 CPU usage (%): 99.9573 Max. virtual memory (cumulated for all children) (KiB): 796176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.3 system time used= 1.86172 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= 3225 runsolver used 1.52777 second user time and 3.44448 second system time The end
Begin job on node66 on Tue May 1 18:51:27 UTC 2007 IDJOB= 455556 IDBENCH= 48271 IDSOLVER= 199 FILE ID= node66/455556-1178045487 PBS_JOBID= 4728438 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455556-1178045487/instance-455556-1178045487.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-455556-1178045487 -o ROOT/results/node66/solver-455556-1178045487 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455556-1178045487/instance-455556-1178045487.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480 RANDOM SEED= 814033178 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1888136 kB Buffers: 22292 kB Cached: 70304 kB SwapCached: 3624 kB Active: 76272 kB Inactive: 28052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1888136 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 6740 kB Writeback: 0 kB Mapped: 17532 kB Slab: 49548 kB Committed_AS: 4057720 kB PageTables: 1384 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 node66 on Tue May 1 19:21:30 UTC 2007