Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -34 | 1800.07 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_2.opb |
MD5SUM | fecc1e3404707b1609ea9647c91fc73f |
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 | -36 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 105 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37488 |
Sum of products size (including duplicates) | 74976 |
Number of different products | 18744 |
Sum of products size | 37488 |
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/454170-1178022343/instance-454170-1178022343.opb 0.00/0.00 c File size is 475041 bytes. 0.19/0.22 c Highest Coefficient sum: 500 0.19/0.22 c Parsing was ok!! 0.19/0.22 c Total parsing time: 0.217 s 0.19/0.28 c Var: 37988 Constr: 75976 37988/500/37488 Lit: 299904 Watch. Lit: 224928 0.19/0.28 c Obj. Vars: 500 (1.31621 % of total variables) 2.88/2.99 c Pre-processing Time: 2.984 s 2.88/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.88/2.99 c 0 500 18744 56232 3 37488 6248 0 0 2.98 2.88/2.99 c Switching off LPR mode. 2.88/2.99 o -31 2.993 2.98/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.00 c 0 500 18745 56732 3 37521 7248 1 0 3.00 2.98/3.00 o -32 2.998 1056.32/1056.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1056.32/1056.61 c 6 500 18752 60027 3 37567 7248 8 2 3.00 1056.32/1056.61 c 106 500 18852 106477 5 37767 7973 108 35 3.03 1056.32/1056.61 c 356 500 19102 222625 11 38267 8771 358 114 3.12 1056.32/1056.61 c 831 500 19577 443208 22 39217 9649 833 251 3.31 1056.32/1056.61 c 1644 500 20390 820848 40 40843 10614 1646 445 3.69 1056.32/1056.61 c 2964 500 21710 1433498 66 43483 11676 2966 648 4.57 1056.32/1056.61 c 5045 500 23791 2399341 100 47645 12844 5047 771 6.54 1056.32/1056.61 c 8269 500 27015 3895645 144 54093 14129 8271 856 9.66 1056.32/1056.61 c 13206 500 31952 6186052 193 63967 15542 13208 736 17.93 1056.32/1056.61 c 20712 500 39458 9668692 245 78979 17097 20714 687 30.13 1056.32/1056.61 c 32073 500 50819 14939136 293 101701 18807 32075 518 61.82 1056.32/1056.61 c 49218 500 67964 22896215 336 135991 20688 49220 453 108.65 1056.32/1056.61 c 75037 500 45472 12462214 274 90976 22757 26728 254 294.94 1056.32/1056.61 c 113870 500 34971 7584758 216 69974 25033 16227 208 547.39 1056.32/1056.61 c 172222 500 42502 11081118 260 85036 27537 23758 164 1049.11 1056.32/1056.61 o -33 1056.34 1778.74/1779.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1778.74/1779.22 c 174175 500 44456 11988759 269 88977 7248 25712 164 1056.35 1778.74/1779.22 c 174275 500 44556 12035072 270 89177 7973 25812 164 1056.45 1778.74/1779.22 c 174525 500 44806 12150958 271 89677 8771 26062 165 1056.75 1778.74/1779.22 c 175000 500 45281 12371150 273 90627 9649 26537 165 1056.99 1778.74/1779.22 c 175813 500 46094 12747601 276 92253 10614 27350 166 1057.54 1778.74/1779.22 c 177133 500 47414 13358945 281 94893 11676 28670 166 1060.99 1778.74/1779.22 c 179215 500 49496 14322298 289 99057 12844 30752 168 1063.16 1778.74/1779.22 c 182439 500 52720 15815202 299 105505 14129 33976 170 1069.01 1778.74/1779.22 c 187375 500 57656 18098768 313 115377 15542 38912 173 1078.68 1778.74/1779.22 c 194881 500 65162 21575209 331 130389 17097 46418 177 1098.53 1778.74/1779.22 c 206243 500 30016 5274197 175 60065 18807 11272 179 1147.23 1778.74/1779.22 c 223387 500 47160 13210569 280 94353 20688 28416 184 1212.11 1778.74/1779.22 c 249206 500 72979 25165410 344 145991 22757 54235 187 1328.80 1778.74/1779.22 c 288038 500 62470 20295827 324 124973 25033 43726 179 1600.53 1778.74/1779.22 o -34 1778.78 1799.94/1800.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.45 c 311993 500 35558 7839400 220 71183 7248 16814 175 1778.78 1799.94/1800.45 c 312093 500 35658 7885668 221 71383 7973 16914 175 1778.87 1799.94/1800.45 c 312345 500 35910 8002148 222 71887 8771 17166 175 1779.02 1799.94/1800.45 c 312821 500 36386 8222011 225 72839 9649 17642 175 1779.27 1799.94/1800.45 c 313634 500 37199 8597576 231 74465 10614 18455 176 1779.74 1799.94/1800.45 c 314954 500 38519 9207177 239 77105 11676 19775 176 1782.60 1799.94/1800.45 c 317035 500 40600 10168542 250 81267 12844 21856 177 1784.62 1799.94/1800.45 c 320258 500 43823 11657901 266 87713 14129 25079 179 1788.26 1799.94/1800.45 c 325194 500 48759 13937929 285 97585 15542 30015 181 1794.22 1799.94/1800.45 c Resources Exceeded 1799.94/1800.45 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 1799.94/1800.45 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1799.94/1800.45 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1799.94/1800.45 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1799.94/1800.45 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1799.94/1800.45 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1799.94/1800.45 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1799.94/1800.45 v -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1799.94/1800.45 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1799.94/1800.45 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 1799.94/1800.45 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1799.94/1800.45 v -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1799.94/1800.45 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1799.94/1800.45 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1799.94/1800.45 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 1799.94/1800.45 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1799.94/1800.45 v x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1799.94/1800.45 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 1799.94/1800.45 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 1799.94/1800.45 v x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1799.94/1800.45 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1799.94/1800.45 v -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 1799.94/1800.45 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 -x500 1799.94/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.45 c 39 329430 27542 363973 52995 15894788 34251 183 1800.00 1799.94/1800.45 c Objective: -34 1799.94/1800.45 s SATISFIABLE 1799.94/1800.45 c Total time: 1800 s
OK -34
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-454170-1178022343 -o ROOT/results/node4/solver-454170-1178022343 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454170-1178022343/instance-454170-1178022343.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.93 0.98 0.99 3/77 29020 /proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=12200 CPUtime=0 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 278272088 12492800 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 3050 334 281 324 0 2003 0 [startup+0.00895189 s] /proc/loadavg: 0.93 0.98 0.99 3/77 29020 /proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=4664 CPUtime=0 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 437 0 0 0 0 0 0 0 18 0 1 0 278272088 4775936 406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 1166 407 294 324 0 119 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4664 [startup+0.101961 s] /proc/loadavg: 0.93 0.98 0.99 3/77 29020 /proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=9956 CPUtime=0.09 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 1817 0 0 0 9 0 0 0 18 0 1 0 278272088 10194944 1786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 2489 1786 345 324 0 1442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9956 [startup+0.30198 s] /proc/loadavg: 0.93 0.98 0.99 3/77 29020 /proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=24420 CPUtime=0.29 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 5606 0 0 0 27 2 0 0 19 0 1 0 278272088 25006080 5419 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 6105 5419 307 324 0 5174 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24420 [startup+0.702018 s] /proc/loadavg: 0.93 0.98 0.99 3/77 29020 /proc/meminfo: memFree=1792016/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=24860 CPUtime=0.69 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 5646 0 0 0 67 2 0 0 23 0 1 0 278272088 25456640 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 6215 5459 307 324 0 5284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24860 [startup+1.50109 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29021 /proc/meminfo: memFree=1771336/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=24860 CPUtime=1.49 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 5646 0 0 0 147 2 0 0 25 0 1 0 278272088 25456640 5459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 6215 5459 307 324 0 5284 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24860 [startup+3.10125 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29021 /proc/meminfo: memFree=1771144/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=25020 CPUtime=3.08 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 6193 0 0 0 303 5 0 0 25 0 1 0 278272088 25620480 5484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 6255 5484 313 324 0 5324 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 25020 [startup+6.30155 s] /proc/loadavg: 1.01 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1749832/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=49724 CPUtime=6.29 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 12390 0 0 0 619 10 0 0 25 0 1 0 278272088 50917376 11681 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 12431 11681 313 324 0 11500 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49724 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1712584/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=85988 CPUtime=12.68 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 21453 0 0 0 1253 15 0 0 25 0 1 0 278272088 88051712 20744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 21497 20744 313 324 0 20566 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85988 [startup+25.5014 s] /proc/loadavg: 1.01 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1663880/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=132752 CPUtime=25.48 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 33122 0 0 0 2527 21 0 0 25 0 1 0 278272088 135938048 32413 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 33188 32413 313 324 0 32257 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 132752 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1601864/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=194868 CPUtime=51.08 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 48646 0 0 0 5076 32 0 0 25 0 1 0 278272088 199544832 47937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 48717 47937 313 324 0 47786 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 194868 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1491336/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=304304 CPUtime=102.26 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 76022 0 0 0 10174 52 0 0 25 0 1 0 278272088 311607296 75313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 76076 75313 313 324 0 75145 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 304304 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1436168/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=359656 CPUtime=162.24 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 89858 0 0 0 16160 64 0 0 25 0 1 0 278272088 368287744 89149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 89914 89149 313 324 0 88983 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 359656 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367416 CPUtime=222.23 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 22157 66 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91854 91101 313 324 0 90923 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 367416 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367416 CPUtime=282.21 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 28151 70 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91854 91101 313 324 0 90923 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 367416 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367416 CPUtime=342.2 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 34146 74 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91854 91101 313 324 0 90923 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 367416 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1427784/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367416 CPUtime=402.18 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 40141 77 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91854 91101 313 324 0 90923 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 367416 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29021 /proc/meminfo: memFree=1427720/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367416 CPUtime=462.17 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 91868 0 0 0 46138 79 0 0 25 0 1 0 278272088 376233984 91101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91854 91101 313 324 0 90923 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 367416 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384260 CPUtime=522.16 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 52131 85 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96065 95289 313 324 0 95134 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 384260 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384260 CPUtime=582.13 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 58125 88 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96065 95289 313 324 0 95134 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 384260 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384260 CPUtime=642.12 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 64122 90 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96065 95289 313 324 0 95134 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 384260 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410760/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384260 CPUtime=882.07 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 96116 0 0 0 88108 99 0 0 25 0 1 0 278272088 393482240 95289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96065 95289 313 324 0 95134 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 384260 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1399944/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=395628 CPUtime=942.04 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 98962 0 0 0 94103 101 0 0 25 0 1 0 278272088 405123072 98135 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 98907 98135 313 324 0 97976 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 395628 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1396872/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=398124 CPUtime=1002.03 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 100099 104 0 0 25 0 1 0 278272088 407678976 98760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 99531 98760 313 324 0 98600 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 398124 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1396872/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=398124 CPUtime=1062.02 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 106095 107 0 0 25 0 1 0 278272088 407678976 98760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 99531 98760 313 324 0 98600 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 398124 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1396872/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=398124 CPUtime=1122.01 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 112090 111 0 0 25 0 1 0 278272088 407678976 98760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 99531 98760 313 324 0 98600 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 398124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1427528/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367364 CPUtime=1181.99 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 118083 116 0 0 25 0 1 0 278272088 376180736 91092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91841 91092 313 324 0 90910 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 367364 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1427528/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367364 CPUtime=1241.98 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 124079 119 0 0 25 0 1 0 278272088 376180736 91092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91841 91092 313 324 0 90910 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 367364 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1427528/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=367364 CPUtime=1301.96 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 99649 0 0 0 130075 121 0 0 25 0 1 0 278272088 376180736 91092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 91841 91092 313 324 0 90910 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 367364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384176 CPUtime=1361.94 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 136069 125 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96044 95294 313 324 0 95113 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 384176 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384176 CPUtime=1421.94 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 142065 129 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96044 95294 313 324 0 95113 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 384176 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384176 CPUtime=1481.91 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 148060 131 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96044 95294 313 324 0 95113 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 384176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384176 CPUtime=1541.9 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 154057 133 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11030158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96044 95294 313 324 0 95113 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 384176 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384176 CPUtime=1601.88 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 160053 135 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96044 95294 313 324 0 95113 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 384176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1410696/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=384176 CPUtime=1661.87 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 103911 0 0 0 166048 139 0 0 25 0 1 0 278272088 393396224 95294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 96044 95294 313 324 0 95113 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 384176 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1397576/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=397332 CPUtime=1721.86 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 107244 0 0 0 172043 143 0 0 25 0 1 0 278272088 406867968 98565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 99333 98565 313 324 0 98402 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 397332 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1397512/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=397332 CPUtime=1781.84 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194304 107244 0 0 0 178039 145 0 0 25 0 1 0 278272088 406867968 98565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 99333 98565 313 324 0 98402 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 397332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1664840/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=0 CPUtime=1800.04 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194308 107245 0 0 0 179852 152 0 0 25 0 1 0 278272088 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29023 /proc/meminfo: memFree=1664840/2055920 swapFree=4141168/4192956 [pid=29020] ppid=29018 vsize=0 CPUtime=1800.04 /proc/29020/stat : 29020 (bsolo3.0.16) R 29018 29020 12435 0 -1 4194308 107245 0 0 0 179852 152 0 0 25 0 1 0 278272088 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29020/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1798.52 CPU system time (s): 1.54277 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 398124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.52 system time used= 1.54276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107245 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= 36585 runsolver used 1.41478 second user time and 3.87141 second system time The end
Begin job on node4 on Tue May 1 12:25:43 UTC 2007 IDJOB= 454170 IDBENCH= 48179 IDSOLVER= 163 FILE ID= node4/454170-1178022343 PBS_JOBID= 4728362 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/mis/normalized-mis_500_60_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454170-1178022343/instance-454170-1178022343.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-454170-1178022343 -o ROOT/results/node4/solver-454170-1178022343 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454170-1178022343/instance-454170-1178022343.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED= 6411738 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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.218 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: 1792488 kB Buffers: 64340 kB Cached: 109572 kB SwapCached: 14856 kB Active: 130076 kB Inactive: 70376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792488 kB SwapTotal: 4192956 kB SwapFree: 4141168 kB Dirty: 7184 kB Writeback: 0 kB Mapped: 32772 kB Slab: 48476 kB Committed_AS: 8500204 kB PageTables: 1828 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 node4 on Tue May 1 12:55:46 UTC 2007