Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -15 | 1800.14 | 1800.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb |
MD5SUM | f7dd1b6b0a4946caf4c26a82905ed8fe |
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 | -34 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
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) | 12520 |
Sum of products size (including duplicates) | 25040 |
Number of different products | 6260 |
Sum of products size | 12520 |
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/455715-1178047708/instance-455715-1178047708.opb 0.00/0.00 c File size is 167828 bytes. 0.03/0.07 c Highest Coefficient sum: 400 0.03/0.07 c Parsing was ok!! 0.03/0.07 c Total parsing time: 0.072 s 0.03/0.09 c Var: 12920 Constr: 25642 12720/402/12520 Lit: 88840 Watch. Lit: 75922 0.03/0.09 c Obj. Vars: 200 (1.54799 % of total variables) 65.07/65.19 c Pre-processing Time: 65.167 s 65.07/65.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.07/65.19 c 0 12920 25642 88840 3 75922 211334 0 0 65.17 65.07/65.19 c Switching off LPR mode. 65.16/65.21 o -1 65.192 65.16/65.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.24 c 0 12920 25643 89040 3 75925 211467 1 0 65.20 65.16/65.24 o -2 65.222 65.16/65.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.27 c 0 12920 25644 89240 3 75929 211667 2 0 65.23 65.16/65.27 o -3 65.252 65.27/65.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.27/65.30 c 0 12920 25645 89440 3 75934 211934 3 0 65.26 65.27/65.30 o -4 65.282 65.27/65.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.27/65.33 c 0 12920 25646 89640 3 75940 212267 4 0 65.29 65.27/65.33 o -5 65.312 65.27/65.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.27/65.36 c 0 12920 25647 89840 3 75947 212667 5 0 65.32 65.27/65.36 o -6 65.343 65.27/65.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.27/65.39 c 0 12920 25648 90040 3 75955 213134 6 0 65.35 65.27/65.39 o -7 65.373 65.37/65.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.37/65.42 c 0 12920 25649 90240 3 75964 213667 7 0 65.38 65.37/65.42 o -8 65.403 65.37/65.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.37/65.45 c 0 12920 25650 90440 3 75974 214267 8 0 65.41 65.37/65.45 o -9 65.433 65.37/65.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.37/65.48 c 0 12920 25651 90640 3 75985 214934 9 0 65.44 65.37/65.48 o -10 65.463 65.46/65.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.46/65.51 c 0 12920 25652 90840 3 75997 215667 10 0 65.47 65.46/65.51 o -11 65.493 65.46/65.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.46/65.54 c 0 12920 25653 91040 3 76010 216467 11 0 65.50 65.46/65.54 o -12 65.523 65.56/65.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.56/65.60 c 0 12920 25654 91240 3 76024 217334 12 0 65.53 65.56/65.60 o -13 65.579 67.06/67.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.06/67.16 c 12 12920 25667 94202 3 76063 217401 25 0 65.59 67.06/67.16 c 112 12920 25767 117663 4 76263 239142 125 1 65.80 67.06/67.16 c 362 12920 26017 186696 7 76763 263057 375 5 66.27 67.06/67.16 c 837 12920 26492 314462 11 77713 289363 850 12 66.68 67.06/67.16 o -14 67.137 809.22/809.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 809.22/809.60 c 1240 12920 26896 408288 15 78535 217467 1254 18 67.15 809.22/809.60 c 1340 12920 26996 431827 15 78735 239214 1354 19 67.32 809.22/809.60 c 1590 12920 27246 484729 17 79235 263136 1604 23 67.43 809.22/809.60 c 2065 12920 27721 592095 21 80185 289450 2079 30 67.83 809.22/809.60 c 2878 12920 28534 763900 26 81811 318396 2892 42 68.41 809.22/809.60 c 4198 12920 29854 1066132 35 84451 350236 4212 60 69.46 809.22/809.60 c 6279 12920 31935 1539016 48 88613 385260 6293 88 71.02 809.22/809.60 c 9502 12920 35158 2297341 65 95059 423787 9516 130 72.84 809.22/809.60 c 14438 12920 40094 3285116 81 104931 466166 14452 193 74.53 809.22/809.60 c 21944 12920 47600 4791356 100 119943 512783 21958 282 77.77 809.22/809.60 c 33305 12920 58961 7079228 120 142665 564062 33319 398 83.53 809.22/809.60 c 50449 12920 76105 10676293 140 176953 620469 50463 487 103.40 809.22/809.60 c 76268 12920 101924 16302545 159 228591 682516 76282 518 147.03 809.32/809.62 c 115100 12920 140756 24898329 176 306255 750768 115114 502 228.92 809.32/809.62 c 173452 12920 199108 38321212 192 422959 825845 173466 464 373.73 809.32/809.62 c 261084 12920 286740 60590839 211 598223 908430 261098 360 723.60 809.32/809.62 o -15 809.333 1799.89/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.89/1800.60 c 278003 12920 303660 66047826 217 632078 217467 278018 343 809.34 1799.89/1800.60 c 278103 12920 39234 4453646 113 103121 239214 13592 188 1473.10 1799.89/1800.60 c 278353 12920 39484 4508116 114 103621 263136 13842 188 1473.48 1799.89/1800.60 c 278828 12920 39959 4603866 115 104571 289450 14317 189 1474.18 1799.89/1800.60 c 279641 12920 40772 4767982 116 106197 318396 15130 189 1475.40 1799.89/1800.60 c 280961 12920 42092 5046549 119 108837 350236 16450 190 1477.57 1799.89/1800.60 c 283042 12920 44173 5477964 124 112999 385260 18531 191 1480.12 1799.89/1800.60 c 286265 12920 47396 6161686 130 119445 423787 21754 192 1484.32 1799.89/1800.60 c 291201 12920 52332 7246313 138 129317 466166 26690 195 1489.26 1799.89/1800.60 c 298707 12920 59838 8931830 149 144329 512783 34196 199 1500.23 1799.89/1800.60 c 310068 12920 71199 11284083 158 167051 564062 45557 204 1512.96 1799.89/1800.60 c 327212 12920 88343 14812296 167 201339 620469 62701 213 1533.28 1799.89/1800.60 c 353031 12920 114162 20106445 176 252977 682516 88520 224 1570.32 1799.89/1800.60 c 391864 12920 152995 28924906 189 330643 750768 127353 236 1653.59 1799.89/1800.60 c Resources Exceeded 1799.89/1800.60 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.89/1800.60 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.89/1800.60 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.89/1800.60 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.89/1800.60 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1799.89/1800.60 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.89/1800.60 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1799.89/1800.60 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.89/1800.60 v x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x302 -x284 -x275 -x327 -x364 -x338 -x226 -x229 -x386 -x345 -x355 -x315 1799.89/1800.60 v -x365 -x204 -x215 -x303 -x342 -x202 -x350 -x318 -x205 -x369 -x280 -x374 -x319 -x238 -x240 -x253 -x262 -x263 -x267 -x309 -x322 1799.89/1800.60 v -x335 -x393 -x399 -x201 x323 x283 -x321 x221 x231 -x305 -x257 -x300 -x220 -x395 -x325 x384 -x223 x377 -x376 x245 -x332 -x343 1799.89/1800.60 v x299 -x273 -x344 -x210 -x212 -x219 -x227 -x244 -x248 -x278 x290 -x292 -x294 -x304 -x312 -x314 -x367 -x372 -x388 -x390 -x348 1799.89/1800.60 v -x368 -x222 -x287 -x296 -x207 -x317 -x373 -x394 -x232 -x392 -x340 -x308 -x362 -x370 -x291 -x297 -x239 -x250 -x266 -x270 -x334 1799.89/1800.60 v -x381 -x203 -x301 -x247 -x233 -x268 -x361 -x306 -x264 -x249 -x378 -x286 -x213 -x214 -x235 -x251 -x260 -x269 -x279 -x298 -x341 1799.89/1800.60 v -x356 -x380 -x397 -x379 -x313 -x265 -x389 -x385 -x217 -x258 -x259 -x329 -x339 -x357 -x363 x391 -x271 x310 x360 -x387 -x352 1799.89/1800.60 v -x237 -x324 -x228 x246 -x255 -x274 -x288 -x398 -x206 -x333 -x382 -x330 -x347 -x211 x254 -x331 -x241 -x225 -x358 -x230 -x243 1799.89/1800.60 v -x285 -x252 -x337 -x208 -x261 -x359 -x396 -x281 -x276 -x218 -x277 -x293 -x346 -x349 -x209 -x366 -x328 -x242 -x307 -x316 -x289 1799.89/1800.60 v -x234 -x256 -x236 -x354 x400 -x311 -x375 -x216 -x351 -x295 -x272 -x353 -x282 -x326 -x320 -x224 -x336 -x383 -x371 1799.89/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.89/1800.60 c 46 437894 368 581573 199025 39922098 173383 243 1800.00 1799.89/1800.60 c Objective: -15 1799.89/1800.60 s SATISFIABLE 1799.89/1800.60 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/node22/watcher-455715-1178047708 -o ROOT/results/node22/solver-455715-1178047708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455715-1178047708/instance-455715-1178047708.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.80 0.95 0.98 3/77 4665 /proc/meminfo: memFree=1859768/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=11900 CPUtime=0 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252688451 12185600 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2975 345 291 324 0 2003 0 [startup+0.041038 s] /proc/loadavg: 0.80 0.95 0.98 3/77 4665 /proc/meminfo: memFree=1859768/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=6140 CPUtime=0.03 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 886 0 0 0 3 0 0 0 18 0 1 0 252688451 6287360 855 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5113413 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 1535 856 311 324 0 563 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6140 [startup+0.101046 s] /proc/loadavg: 0.80 0.95 0.98 3/77 4665 /proc/meminfo: memFree=1859768/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10840 CPUtime=0.08 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2097 0 0 0 8 0 0 0 18 0 1 0 252688451 11100160 2025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2710 2025 306 324 0 1779 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10840 [startup+0.301077 s] /proc/loadavg: 0.80 0.95 0.98 3/77 4665 /proc/meminfo: memFree=1859768/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10840 CPUtime=0.29 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2128 0 0 0 28 1 0 0 19 0 1 0 252688451 11100160 2056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2710 2056 306 324 0 1779 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10840 [startup+0.701138 s] /proc/loadavg: 0.80 0.95 0.98 3/77 4665 /proc/meminfo: memFree=1859768/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10972 CPUtime=0.69 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2131 0 0 0 68 1 0 0 23 0 1 0 252688451 11235328 2059 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2743 2059 306 324 0 1812 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10972 [startup+1.50126 s] /proc/loadavg: 0.80 0.95 0.98 2/78 4666 /proc/meminfo: memFree=1852656/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10968 CPUtime=1.49 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2132 0 0 0 148 1 0 0 25 0 1 0 252688451 11231232 2060 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2742 2060 306 324 0 1811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10968 [startup+3.1025 s] /proc/loadavg: 0.80 0.95 0.98 2/78 4666 /proc/meminfo: memFree=1852528/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10968 CPUtime=3.09 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2133 0 0 0 308 1 0 0 25 0 1 0 252688451 11231232 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2742 2061 306 324 0 1811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10968 [startup+6.30199 s] /proc/loadavg: 0.82 0.95 0.98 2/78 4666 /proc/meminfo: memFree=1852336/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10968 CPUtime=6.29 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2133 0 0 0 628 1 0 0 25 0 1 0 252688451 11231232 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2742 2061 306 324 0 1811 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10968 [startup+12.702 s] /proc/loadavg: 0.83 0.95 0.98 2/78 4666 /proc/meminfo: memFree=1852400/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10968 CPUtime=12.68 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2133 0 0 0 1267 1 0 0 25 0 1 0 252688451 11231232 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2742 2061 306 324 0 1811 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10968 [startup+25.5019 s] /proc/loadavg: 0.87 0.95 0.98 2/78 4666 /proc/meminfo: memFree=1852464/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10968 CPUtime=25.49 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2133 0 0 0 2547 2 0 0 25 0 1 0 252688451 11231232 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5119682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2742 2061 306 324 0 1811 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10968 [startup+51.1018 s] /proc/loadavg: 0.91 0.96 0.98 2/78 4666 /proc/meminfo: memFree=1852528/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=10968 CPUtime=51.07 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 2133 0 0 0 5104 3 0 0 25 0 1 0 252688451 11231232 2061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 2742 2061 306 324 0 1811 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10968 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 4666 /proc/meminfo: memFree=1714992/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=148280 CPUtime=102.26 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 36909 0 0 0 10189 37 0 0 25 0 1 0 252688451 151838720 36445 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 37070 36445 312 324 0 36139 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 148280 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 4666 /proc/meminfo: memFree=1606704/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=258148 CPUtime=162.23 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 64363 0 0 0 16163 60 0 0 25 0 1 0 252688451 264343552 63899 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 64537 63899 312 324 0 63606 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 258148 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4666 /proc/meminfo: memFree=1528560/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=334044 CPUtime=222.21 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 83342 0 0 0 22142 79 0 0 25 0 1 0 252688451 342061056 82878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 83511 82878 312 324 0 82580 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 334044 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4666 /proc/meminfo: memFree=1458800/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=404952 CPUtime=282.19 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 101070 0 0 0 28120 99 0 0 25 0 1 0 252688451 414670848 100606 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 101238 100606 312 324 0 100307 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 404952 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4666 /proc/meminfo: memFree=1384880/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=477572 CPUtime=342.17 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 119228 0 0 0 34096 121 0 0 25 0 1 0 252688451 489033728 118764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 119393 118764 312 324 0 118462 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 477572 [startup+402.301 s] /proc/loadavg: 1.21 1.03 1.00 2/78 4666 /proc/meminfo: memFree=1323696/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=539096 CPUtime=402.15 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 134586 0 0 0 40076 139 0 0 25 0 1 0 252688451 552034304 134122 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 134774 134122 312 324 0 133843 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 539096 [startup+462.301 s] /proc/loadavg: 1.11 1.04 1.00 2/78 4666 /proc/meminfo: memFree=1268016/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=594036 CPUtime=462.13 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 148323 0 0 0 46057 156 0 0 25 0 1 0 252688451 608292864 147859 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 148509 147859 312 324 0 147578 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 594036 [startup+522.302 s] /proc/loadavg: 1.04 1.03 1.00 2/78 4666 /proc/meminfo: memFree=1220272/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=641896 CPUtime=522.12 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 160310 0 0 0 52040 172 0 0 25 0 1 0 252688451 657301504 159846 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 160474 159846 312 324 0 159543 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 641896 [startup+582.303 s] /proc/loadavg: 1.01 1.02 1.00 2/78 4666 /proc/meminfo: memFree=1174512/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=687456 CPUtime=582.09 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 171701 0 0 0 58024 185 0 0 25 0 1 0 252688451 703954944 171237 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 171864 171237 312 324 0 170933 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 687456 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 4666 /proc/meminfo: memFree=1124400/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=737068 CPUtime=642.08 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 184094 0 0 0 64008 200 0 0 25 0 1 0 252688451 754757632 183630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 184267 183630 312 324 0 183336 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 737068 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980144/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=882 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 87957 243 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 880560 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980144/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=941.97 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 93954 243 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 880560 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980208/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1001.96 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 99952 244 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 880560 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980208/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1061.94 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 105950 244 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 880560 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980208/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1121.92 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 111947 245 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 880560 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980144/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1181.9 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 117945 245 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 880560 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=980016/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1241.87 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 123942 245 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 880560 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979952/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1301.86 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 129940 246 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 880560 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979952/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1361.83 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 135937 246 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 880560 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979888/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1421.82 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 141935 247 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 880560 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979824/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1481.8 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 147932 248 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5111510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 880560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979760/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1541.78 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 153923 255 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 880560 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979760/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1601.75 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 159915 260 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 880560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979696/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1661.73 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 165908 265 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4795505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 880560 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979632/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1721.71 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 171902 269 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 880560 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=979568/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=880560 CPUtime=1781.7 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194304 220238 0 0 0 177896 274 0 0 25 0 1 0 252688451 901693440 219502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571998 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 220140 219502 312 324 0 219209 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 880560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=1620208/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=0 CPUtime=1800.1 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194308 220239 0 0 0 179724 286 0 0 25 0 1 0 252688451 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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.00 1.00 1.00 2/78 4668 /proc/meminfo: memFree=1620208/2055920 swapFree=4163572/4192956 [pid=4665] ppid=4663 vsize=0 CPUtime=1800.1 /proc/4665/stat : 4665 (bsolo3.0.16) R 4663 4665 3994 0 -1 4194308 220239 0 0 0 179724 286 0 0 25 0 1 0 252688451 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4665/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.14 CPU user time (s): 1797.25 CPU system time (s): 2.89356 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 881648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.25 system time used= 2.89356 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 220239 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= 38589 runsolver used 1.41578 second user time and 3.79642 second system time The end
Begin job on node22 on Tue May 1 19:28:28 UTC 2007 IDJOB= 455715 IDBENCH= 48282 IDSOLVER= 163 FILE ID= node22/455715-1178047708 PBS_JOBID= 4728479 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_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455715-1178047708/instance-455715-1178047708.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-455715-1178047708 -o ROOT/results/node22/solver-455715-1178047708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455715-1178047708/instance-455715-1178047708.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe RANDOM SEED= 357436991 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1860120 kB Buffers: 40504 kB Cached: 64820 kB SwapCached: 7080 kB Active: 52744 kB Inactive: 76656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860120 kB SwapTotal: 4192956 kB SwapFree: 4163572 kB Dirty: 6964 kB Writeback: 0 kB Mapped: 29732 kB Slab: 51988 kB Committed_AS: 4099404 kB PageTables: 1676 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 node22 on Tue May 1 19:58:31 UTC 2007