Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 33 | 1798.02 | 1798.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb |
MD5SUM | c4232b649086935e0cf725c77927c83f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 9.81251 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning 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 HOME/instance-1879369-1245243538.opb 0.00/0.00 c File size is 28515 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 29.37/29.47 c 100 528 981 14402 14 6107 4875 194 2564 0.04 29.37/29.47 c 250 528 1278 31952 25 12074 5363 491 2577 0.10 29.37/29.47 c 475 528 1699 64638 38 20009 5900 912 2375 0.20 29.37/29.47 c 813 528 2257 128510 56 24874 6491 1470 1616 0.50 29.37/29.47 c 1322 528 3213 219668 68 37963 7141 2426 981 1.35 29.37/29.47 c 2085 528 4674 319847 68 60512 7856 3887 910 2.29 29.37/29.47 c 3231 528 6897 459924 66 97180 8642 6110 639 5.05 29.37/29.47 c 4952 528 5707 328400 57 72538 9507 4920 427 11.57 29.37/29.47 c 7538 528 5633 320222 56 69701 10458 4846 279 26.95 29.37/29.47 o 65 451.95/452.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 451.95/452.21 c 9285 528 8903 541387 60 112704 4447 8116 315 29.47 451.95/452.21 c 9385 528 3200 168692 52 37901 4892 2413 306 30.63 451.95/452.21 c 9636 528 3677 198360 53 43183 5382 2890 312 30.88 451.95/452.21 c 10112 528 4580 256640 56 52536 5921 3793 319 31.65 451.95/452.21 c 10926 528 6113 351417 57 63875 6514 5326 321 33.97 451.95/452.21 c 12246 528 4840 292138 60 62393 7166 4053 326 37.53 451.95/452.21 c 14327 528 5014 325849 64 52152 7883 4227 337 42.46 451.95/452.21 c 17550 528 7034 421197 59 78325 8672 6247 325 53.96 451.95/452.21 c 22486 528 6792 444858 65 71761 9540 6005 295 75.99 451.95/452.21 c 29993 528 6453 405333 62 88157 10495 5666 250 119.92 451.95/452.21 c 41354 518 11052 761942 68 105484 11545 10265 234 176.30 451.95/452.21 c 58499 518 7436 441598 59 99127 12700 6649 181 322.87 451.95/452.21 o 33 1797.99/1798.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.92 c 79060 518 11157 831165 74 110742 4445 10370 174 451.98 1797.99/1798.92 c 79161 508 3206 182507 56 27852 4890 2419 174 453.36 1797.99/1798.92 c 79411 508 3690 217680 58 32572 5380 2903 175 453.57 1797.99/1798.92 c 79887 508 4617 282849 61 46678 5919 3830 175 454.01 1797.99/1798.92 c 80700 508 6081 386410 63 68197 6511 5294 177 454.54 1797.99/1798.92 c 82020 508 4976 300057 60 39730 7163 4189 180 455.60 1797.99/1798.92 c 84101 508 5083 290711 57 45193 7880 4296 182 461.45 1797.99/1798.92 c 87324 508 6733 420489 62 72209 8669 5946 187 466.14 1797.99/1798.92 c 92260 508 6463 374411 57 77863 9536 5676 188 490.18 1797.99/1798.92 c 99767 508 9497 622523 65 101296 10490 8710 192 519.50 1797.99/1798.92 c 111130 508 8957 547722 61 96600 11540 8170 185 600.05 1797.99/1798.92 c 128275 508 9386 597546 63 93871 12695 8599 185 692.35 1797.99/1798.92 c 154095 507 12595 810737 64 244218 13965 11808 165 931.08 1797.99/1798.92 c 192927 507 14338 1019365 71 120285 15362 13551 167 1154.25 1797.99/1798.92 c Resources Exceeded 1797.99/1798.92 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 -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 x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x65 x66 -x67 -x68 -x69 -x70 x71 -x72 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x73 x74 x75 x76 -x77 -x78 x79 -x80 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x337 x338 x339 x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 -x357 -x358 x359 -x360 x361 x362 x363 x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x89 x90 x91 -x92 x93 x94 -x95 x96 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x465 x466 x467 -x468 x469 x470 -x471 x472 x473 x474 x475 -x476 x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 1797.99/1798.92 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.92 c 35 225723 3552 243784 12885 861969 12098 125 1798.02 1797.99/1798.92 c Objective: 33 1797.99/1798.92 s SATISFIABLE 1797.99/1798.92 c Total time: 1798.02 s
OK 33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879369-1245243538/watcher-1879369-1245243538 -o /tmp/evaluation-result-1879369-1245243538/solver-1879369-1245243538 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879369-1245243538.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.91 3/64 7217 /proc/meminfo: memFree=1735560/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=10708 CPUtime=0 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 272 0 0 0 0 0 0 0 18 0 1 0 191954731 10964992 249 1992294400 134512640 137136520 4294956256 18446744073709551615 134549040 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 2677 254 184 640 0 2033 0 [startup+0.0547651 s] /proc/loadavg: 0.99 0.98 0.91 3/64 7217 /proc/meminfo: memFree=1735560/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=11244 CPUtime=0.05 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 410 0 0 0 5 0 0 0 18 0 1 0 191954731 11513856 387 1992294400 134512640 137136520 4294956256 18446744073709551615 134571621 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 2811 387 197 640 0 2167 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11244 [startup+0.101774 s] /proc/loadavg: 0.99 0.98 0.91 3/64 7217 /proc/meminfo: memFree=1735560/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=11504 CPUtime=0.09 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 492 0 0 0 9 0 0 0 18 0 1 0 191954731 11780096 469 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 2876 469 197 640 0 2232 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11504 [startup+0.301812 s] /proc/loadavg: 0.99 0.98 0.91 3/64 7217 /proc/meminfo: memFree=1735560/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=12548 CPUtime=0.29 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 732 0 0 0 29 0 0 0 19 0 1 0 191954731 12849152 709 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 3137 709 198 640 0 2493 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12548 [startup+0.70189 s] /proc/loadavg: 0.99 0.98 0.91 3/64 7217 /proc/meminfo: memFree=1735560/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=13708 CPUtime=0.69 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 1020 0 0 0 69 0 0 0 23 0 1 0 191954731 14036992 997 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 3427 997 198 640 0 2783 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13708 [startup+1.50104 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1731904/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=15260 CPUtime=1.49 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 1417 0 0 0 149 0 0 0 25 0 1 0 191954731 15626240 1394 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 3815 1394 198 640 0 3171 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15260 [startup+3.10135 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1729408/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=18120 CPUtime=3.09 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 2133 0 0 0 308 1 0 0 25 0 1 0 191954731 18554880 2110 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 4530 2110 198 640 0 3886 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18120 [startup+6.30196 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1725632/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=20596 CPUtime=6.29 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 2767 0 0 0 627 2 0 0 25 0 1 0 191954731 21090304 2744 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 5149 2744 198 640 0 4505 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20596 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1722112/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=23572 CPUtime=12.68 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 3492 0 0 0 1266 2 0 0 25 0 1 0 191954731 24137728 3469 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 5893 3469 198 640 0 5249 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23572 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1722112/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=23576 CPUtime=25.48 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 3493 0 0 0 2545 3 0 0 25 0 1 0 191954731 24141824 3470 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 5894 3470 198 640 0 5250 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23576 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1722112/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=23548 CPUtime=51.07 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 3493 0 0 0 5102 5 0 0 25 0 1 0 191954731 24113152 3470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 5887 3470 198 640 0 5243 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23548 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7218 /proc/meminfo: memFree=1721984/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=23680 CPUtime=102.24 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 3523 0 0 0 10218 6 0 0 25 0 1 0 191954731 24248320 3500 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 5920 3500 198 640 0 5276 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 23680 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1719488/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=26020 CPUtime=162.21 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4122 0 0 0 16212 9 0 0 25 0 1 0 191954731 26644480 4099 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 6505 4099 198 640 0 5861 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 26020 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1718592/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=27012 CPUtime=222.17 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4355 0 0 0 22206 11 0 0 25 0 1 0 191954731 27660288 4332 1992294400 134512640 137136520 4294956256 18446744073709551615 134573563 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 6753 4332 198 640 0 6109 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 27012 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1718592/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=27012 CPUtime=282.14 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4355 0 0 0 28203 11 0 0 25 0 1 0 191954731 27660288 4332 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 6753 4332 198 640 0 6109 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 27012 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1717696/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=27796 CPUtime=342.11 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4568 0 0 0 34196 15 0 0 25 0 1 0 191954731 28463104 4545 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 6949 4545 198 640 0 6305 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 27796 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1717696/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=27796 CPUtime=402.08 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4568 0 0 0 40191 17 0 0 25 0 1 0 191954731 28463104 4545 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 6949 4545 198 640 0 6305 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 27796 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1716480/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=28960 CPUtime=462.04 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4860 0 0 0 46185 19 0 0 25 0 1 0 191954731 29655040 4837 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 7240 4837 198 640 0 6596 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 28960 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1716416/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=28960 CPUtime=522.01 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4860 0 0 0 52179 22 0 0 25 0 1 0 191954731 29655040 4837 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 7240 4837 198 640 0 6596 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 28960 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1716416/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=28960 CPUtime=581.99 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4860 0 0 0 58175 24 0 0 25 0 1 0 191954731 29655040 4837 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7217/statm: 7240 4837 198 640 0 6596 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 28960 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1716416/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=28960 CPUtime=641.96 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 4860 0 0 0 64169 27 0 0 25 0 1 0 191954731 29655040 4837 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 7240 4837 198 640 0 6596 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 28960 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1712512/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=32736 CPUtime=1061.75 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 5796 0 0 0 106134 41 0 0 25 0 1 0 191954731 33521664 5773 1992294400 134512640 137136520 4294956256 18446744073709551615 134605682 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 8184 5773 198 640 0 7540 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 32736 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1712448/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=32736 CPUtime=1121.73 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 5796 0 0 0 112129 44 0 0 25 0 1 0 191954731 33521664 5773 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 8184 5773 198 640 0 7540 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 32736 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1712384/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=32872 CPUtime=1181.69 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 5813 0 0 0 118122 47 0 0 25 0 1 0 191954731 33660928 5790 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 8218 5790 198 640 0 7574 0 Current children cumulated CPU time (s) 1181.69 Current children cumulated vsize (KiB) 32872 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1708096/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1241.66 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6863 0 0 0 124117 49 0 0 25 0 1 0 191954731 37896192 6837 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6837 198 640 0 8608 0 Current children cumulated CPU time (s) 1241.66 Current children cumulated vsize (KiB) 37008 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707968/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1301.64 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 130114 50 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1301.64 Current children cumulated vsize (KiB) 37008 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707904/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1361.61 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 136110 51 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1361.61 Current children cumulated vsize (KiB) 37008 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707904/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1421.58 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 142106 52 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1421.58 Current children cumulated vsize (KiB) 37008 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707904/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1481.54 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 148102 52 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 37008 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707904/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1541.52 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 154099 53 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1541.52 Current children cumulated vsize (KiB) 37008 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707840/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1601.48 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 160095 53 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 37008 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707776/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1661.45 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 166091 54 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1661.45 Current children cumulated vsize (KiB) 37008 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707712/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1721.42 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 172088 54 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1721.42 Current children cumulated vsize (KiB) 37008 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1781.4 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 178085 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 37008 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1790.99 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 179044 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1790.99 Current children cumulated vsize (KiB) 37008 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1794.19 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 179364 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134543840 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1794.19 Current children cumulated vsize (KiB) 37008 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1795.79 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 179524 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544408 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1795.79 Current children cumulated vsize (KiB) 37008 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1797.39 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 179684 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (KiB) 37008 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1797.79 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 179724 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 37008 [startup+1798.9 s] /proc/loadavg: 0.99 0.98 0.91 2/65 7224 /proc/meminfo: memFree=1707584/2055920 swapFree=4181928/4192956 [pid=7217] ppid=7215 vsize=37008 CPUtime=1797.99 /proc/7217/stat : 7217 (bsolo) R 7215 7217 6989 0 -1 4194304 6878 0 0 0 179744 55 0 0 25 0 1 0 191954731 37896192 6852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7217/statm: 9252 6852 198 640 0 8608 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 37008 Child status: 0 Real time (s): 1798.93 CPU time (s): 1798.02 CPU user time (s): 1797.46 CPU system time (s): 0.559914 CPU usage (%): 99.9497 Max. virtual memory (cumulated for all children) (KiB): 37008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.46 system time used= 0.559914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6880 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= 2 involuntary context switches= 6060 runsolver used 1.65575 second user time and 4.89326 second system time The end
Begin job on node5 at 2009-06-17 14:58:58 IDJOB=1879369 IDBENCH=47919 IDSOLVER=701 FILE ID=node5/1879369-1245243538 PBS_JOBID= 9372331 Free space on /tmp= 66256 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879369-1245243538/watcher-1879369-1245243538 -o /tmp/evaluation-result-1879369-1245243538/solver-1879369-1245243538 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879369-1245243538.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c4232b649086935e0cf725c77927c83f RANDOM SEED=1061664969 node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 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.259 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: 1736040 kB Buffers: 26584 kB Cached: 204180 kB SwapCached: 4788 kB Active: 61260 kB Inactive: 177300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1736040 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14388 kB Slab: 67300 kB Committed_AS: 170688 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879369-1245243538.opb Free space on /tmp at the end= 66252 MiB End job on node5 at 2009-06-17 15:28:57