Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -34 | 1800.1 | 1800.57 |
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.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/454176-1178022416/instance-454176-1178022416.opb 0.00/0.00 c File size is 475041 bytes. 0.19/0.24 c Highest Coefficient sum: 500 0.19/0.24 c Parsing was ok!! 0.19/0.24 c Total parsing time: 0.236 s 0.29/0.30 c Var: 37988 Constr: 75976 37988/500/37488 Lit: 299904 Watch. Lit: 224928 0.29/0.30 c Obj. Vars: 500 (1.31621 % of total variables) 2.99/3.01 c Pre-processing Time: 3.013 s 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 0 500 18744 56232 3 37488 6248 0 0 3.01 2.99/3.02 c Switching off LPR mode. 2.99/3.02 o -31 3.022 2.99/3.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.03 c 0 500 18745 56732 3 37521 7248 1 0 3.02 2.99/3.03 o -32 3.027 1054.31/1054.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1054.31/1054.64 c 6 500 18752 60027 3 37567 7248 8 1 3.03 1054.31/1054.64 c 106 500 18852 106477 5 37767 7973 108 34 3.06 1054.31/1054.64 c 356 500 19102 222625 11 38267 8771 358 113 3.15 1054.31/1054.64 c 831 500 19577 443208 22 39217 9649 833 249 3.33 1054.31/1054.64 c 1644 500 20390 820848 40 40843 10614 1646 442 3.72 1054.31/1054.64 c 2964 500 21710 1433498 66 43483 11676 2966 644 4.60 1054.31/1054.64 c 5045 500 23791 2399341 100 47645 12844 5047 766 6.58 1054.31/1054.64 c 8269 500 27015 3895645 144 54093 14129 8271 852 9.70 1054.31/1054.64 c 13206 500 31952 6186052 193 63967 15542 13208 739 17.86 1054.31/1054.64 c 20712 500 39458 9668692 245 78979 17097 20714 688 30.09 1054.31/1054.64 c 32073 500 50819 14939136 293 101701 18807 32075 520 61.62 1054.31/1054.64 c 49218 500 67964 22896215 336 135991 20688 49220 454 108.39 1054.31/1054.64 c 75037 500 45472 12462214 274 90976 22757 26728 254 294.31 1054.31/1054.64 c 113870 500 34971 7584758 216 69974 25033 16227 208 546.51 1054.31/1054.64 c 172222 500 42502 11081118 260 85036 27537 23758 164 1047.20 1054.31/1054.64 o -33 1054.37 1775.63/1776.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1775.63/1776.18 c 174175 500 44456 11988759 269 88977 7248 25712 165 1054.37 1775.63/1776.18 c 174275 500 44556 12035072 270 89177 7973 25812 165 1054.47 1775.63/1776.18 c 174525 500 44806 12150958 271 89677 8771 26062 165 1054.77 1775.63/1776.18 c 175000 500 45281 12371150 273 90627 9649 26537 165 1055.00 1775.63/1776.18 c 175813 500 46094 12747601 276 92253 10614 27350 166 1055.55 1775.63/1776.18 c 177133 500 47414 13358945 281 94893 11676 28670 167 1058.99 1775.63/1776.18 c 179215 500 49496 14322298 289 99057 12844 30752 168 1061.17 1775.63/1776.18 c 182439 500 52720 15815202 299 105505 14129 33976 170 1067.05 1775.63/1776.18 c 187375 500 57656 18098768 313 115377 15542 38912 174 1076.62 1775.63/1776.18 c 194881 500 65162 21575209 331 130389 17097 46418 177 1096.43 1775.63/1776.18 c 206243 500 30016 5274197 175 60065 18807 11272 180 1144.95 1775.63/1776.18 c 223387 500 47160 13210569 280 94353 20688 28416 184 1209.82 1775.63/1776.18 c 249206 500 72979 25165410 344 145991 22757 54235 187 1326.31 1775.63/1776.18 c 288038 500 62470 20295827 324 124973 25033 43726 180 1597.87 1775.63/1776.18 o -34 1775.72 1800.03/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.50 c 311993 500 35558 7839400 220 71183 7248 16814 175 1775.72 1800.03/1800.50 c 312093 500 35658 7885668 221 71383 7973 16914 175 1775.81 1800.03/1800.50 c 312345 500 35910 8002148 222 71887 8771 17166 175 1775.96 1800.03/1800.50 c 312821 500 36386 8222011 225 72839 9649 17642 176 1776.21 1800.03/1800.50 c 313634 500 37199 8597576 231 74465 10614 18455 176 1776.68 1800.03/1800.50 c 314954 500 38519 9207177 239 77105 11676 19775 176 1779.54 1800.03/1800.50 c 317035 500 40600 10168542 250 81267 12844 21856 177 1781.58 1800.03/1800.50 c 320258 500 43823 11657901 266 87713 14129 25079 179 1785.23 1800.03/1800.50 c 325194 500 48759 13937929 285 97585 15542 30015 181 1791.15 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 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 1800.03/1800.50 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 1800.03/1800.50 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 1800.03/1800.50 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 1800.03/1800.50 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.03/1800.50 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.03/1800.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1800.03/1800.50 v -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.03/1800.50 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1800.03/1800.50 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 1800.03/1800.50 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.03/1800.50 v -x253 -x254 -x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.03/1800.50 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.03/1800.50 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.03/1800.50 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 1800.03/1800.50 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.03/1800.50 v x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1800.03/1800.50 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 1800.03/1800.50 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 1800.03/1800.50 v x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1800.03/1800.50 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1800.03/1800.50 v -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 1800.03/1800.50 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 x498 -x499 -x500 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 39 330802 27633 365449 54367 16528655 35623 183 1800.04 1800.03/1800.50 c Objective: -34 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 c Total time: 1800.04 s
OK -34
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-454176-1178022416 -o ROOT/results/node2/solver-454176-1178022416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454176-1178022416/instance-454176-1178022416.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.92 0.98 0.99 3/77 24386 /proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=12200 CPUtime=0 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 278279406 12492800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 3050 333 279 324 0 2004 0 [startup+0.0741851 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24386 /proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=8108 CPUtime=0.06 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 1332 0 0 0 6 0 0 0 18 0 1 0 278279406 8302592 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 2027 1303 325 324 0 981 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 8108 [startup+0.102188 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24386 /proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=9544 CPUtime=0.09 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 1699 0 0 0 9 0 0 0 18 0 1 0 278279406 9773056 1669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 2386 1669 339 324 0 1340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9544 [startup+0.302209 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24386 /proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=24420 CPUtime=0.29 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 5599 0 0 0 27 2 0 0 19 0 1 0 278279406 25006080 5413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134561980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 6105 5413 301 324 0 5175 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24420 [startup+0.702262 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24386 /proc/meminfo: memFree=1864248/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=24860 CPUtime=0.69 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 5643 0 0 0 67 2 0 0 22 0 1 0 278279406 25456640 5457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 6215 5457 305 324 0 5285 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24860 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1843568/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=24860 CPUtime=1.49 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 5643 0 0 0 147 2 0 0 25 0 1 0 278279406 25456640 5457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 6215 5457 305 324 0 5285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24860 [startup+3.1015 s] /proc/loadavg: 0.92 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1843440/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=25020 CPUtime=3.09 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 6189 0 0 0 304 5 0 0 25 0 1 0 278279406 25620480 5481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 6255 5481 311 324 0 5325 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25020 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1822064/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=49592 CPUtime=6.29 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 12345 0 0 0 621 8 0 0 25 0 1 0 278279406 50782208 11637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 12398 11637 311 324 0 11468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49592 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1784816/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=86112 CPUtime=12.69 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 21458 0 0 0 1257 12 0 0 25 0 1 0 278279406 88178688 20750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 21528 20750 311 324 0 20598 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 86112 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1736048/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=132876 CPUtime=25.48 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 33159 0 0 0 2531 17 0 0 25 0 1 0 278279406 136065024 32451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 33219 32451 311 324 0 32289 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 132876 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1673968/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=194868 CPUtime=51.07 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 48669 0 0 0 5079 28 0 0 25 0 1 0 278279406 199544832 47961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 48717 47961 311 324 0 47787 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 194868 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1563120/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=304808 CPUtime=102.26 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 76149 0 0 0 10181 45 0 0 25 0 1 0 278279406 312123392 75441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 76202 75441 311 324 0 75272 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 304808 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1508144/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=360028 CPUtime=162.24 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 89935 0 0 0 16171 53 0 0 25 0 1 0 278279406 368668672 89227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 90007 89227 311 324 0 89077 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 360028 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367416 CPUtime=222.23 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 22168 55 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91854 91099 311 324 0 90924 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 367416 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367416 CPUtime=282.21 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 28166 55 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91854 91099 311 324 0 90924 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 367416 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367416 CPUtime=342.19 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 34164 55 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91854 91099 311 324 0 90924 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 367416 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24387 /proc/meminfo: memFree=1499952/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367416 CPUtime=402.18 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 40162 56 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91854 91099 311 324 0 90924 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 367416 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1500016/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367416 CPUtime=462.16 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 91865 0 0 0 46160 56 0 0 25 0 1 0 278279406 376233984 91099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91854 91099 311 324 0 90924 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 367416 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482992/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384260 CPUtime=522.15 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 52155 60 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96065 95287 311 324 0 95135 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 384260 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1483056/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384260 CPUtime=582.14 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 58153 61 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96065 95287 311 324 0 95135 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 384260 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1483056/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384260 CPUtime=642.12 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 64151 61 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96065 95287 311 324 0 95135 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 384260 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1483184/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384260 CPUtime=882.06 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 96113 0 0 0 88142 64 0 0 25 0 1 0 278279406 393482240 95287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96065 95287 311 324 0 95135 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 384260 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1471280/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=396508 CPUtime=942.04 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99186 0 0 0 94138 66 0 0 25 0 1 0 278279406 406024192 98360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99127 98360 311 324 0 98197 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 396508 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469040/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=398124 CPUtime=1002.03 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 100136 67 0 0 25 0 1 0 278279406 407678976 98758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99531 98758 311 324 0 98601 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 398124 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469040/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=398124 CPUtime=1062.02 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 106134 68 0 0 25 0 1 0 278279406 407678976 98758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99531 98758 311 324 0 98601 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 398124 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469104/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=398124 CPUtime=1122 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 112132 68 0 0 25 0 1 0 278279406 407678976 98758 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99531 98758 311 324 0 98601 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 398124 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1499696/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367364 CPUtime=1181.99 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 118129 70 0 0 25 0 1 0 278279406 376180736 91090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91841 91090 311 324 0 90911 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 367364 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1499696/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367364 CPUtime=1241.96 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 124126 70 0 0 25 0 1 0 278279406 376180736 91090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91841 91090 311 324 0 90911 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 367364 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1499696/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=367364 CPUtime=1301.96 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 99646 0 0 0 130125 71 0 0 25 0 1 0 278279406 376180736 91090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 91841 91090 311 324 0 90911 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 367364 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482800/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384176 CPUtime=1361.94 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 136120 74 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96044 95292 311 324 0 95114 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 384176 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482800/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384176 CPUtime=1421.92 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 142118 74 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96044 95292 311 324 0 95114 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 384176 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482800/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384176 CPUtime=1481.9 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 148116 74 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96044 95292 311 324 0 95114 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 384176 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482864/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384176 CPUtime=1541.89 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 154114 75 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96044 95292 311 324 0 95114 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 384176 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482864/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384176 CPUtime=1601.87 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 160112 75 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96044 95292 311 324 0 95114 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 384176 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1482864/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=384176 CPUtime=1661.86 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 103908 0 0 0 166110 76 0 0 25 0 1 0 278279406 393396224 95292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 96044 95292 311 324 0 95114 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 384176 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=397332 CPUtime=1721.84 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 172106 78 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99333 98563 311 324 0 98403 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 397332 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=397332 CPUtime=1781.83 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 178104 79 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99333 98563 311 324 0 98403 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 397332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=397332 CPUtime=1800.03 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 179924 79 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99333 98563 311 324 0 98403 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 397332 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: 0.99 0.98 0.99 2/78 24389 /proc/meminfo: memFree=1469616/2055920 swapFree=4148820/4192956 [pid=24386] ppid=24384 vsize=397332 CPUtime=1800.03 /proc/24386/stat : 24386 (bsolo3.0.17) R 24384 24386 23996 0 -1 4194304 107241 0 0 0 179924 79 0 0 25 0 1 0 278279406 406867968 98563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24386/statm: 99333 98563 311 324 0 98403 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 397332 Child status: 15 Real time (s): 1800.57 CPU time (s): 1800.1 CPU user time (s): 1799.25 CPU system time (s): 0.858869 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 398124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.25 system time used= 0.858869 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= 1790 runsolver used 1.34479 second user time and 4.00539 second system time The end
Begin job on node2 on Tue May 1 12:26:56 UTC 2007 IDJOB= 454176 IDBENCH= 48179 IDSOLVER= 199 FILE ID= node2/454176-1178022416 PBS_JOBID= 4728374 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/mis/normalized-mis_500_60_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454176-1178022416/instance-454176-1178022416.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-454176-1178022416 -o ROOT/results/node2/solver-454176-1178022416 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454176-1178022416/instance-454176-1178022416.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f RANDOM SEED= 205116284 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1864656 kB Buffers: 35272 kB Cached: 68336 kB SwapCached: 12060 kB Active: 75868 kB Inactive: 50836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864656 kB SwapTotal: 4192956 kB SwapFree: 4148820 kB Dirty: 7068 kB Writeback: 0 kB Mapped: 30072 kB Slab: 49952 kB Committed_AS: 8934704 kB PageTables: 1860 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 node2 on Tue May 1 12:56:59 UTC 2007