Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.05 | 1798.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb |
MD5SUM | 66c115908fb4694df4d314e4daf7ce17 |
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 | 6.81996 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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-1879414-1245243677.opb 0.00/0.00 c File size is 23752 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.002 s 0.00/0.00 c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 538.10/538.36 c 104 440 828 13631 16 4458 4060 172 3714 0.03 538.10/538.36 c 263 440 1114 32702 29 8603 4467 458 2435 0.11 538.10/538.36 c 488 440 1537 61017 39 9799 4914 881 2131 0.23 538.10/538.36 c 826 440 2157 102099 47 16430 5406 1501 1811 0.46 538.10/538.36 c 1334 440 3115 171148 54 31249 5947 2459 1549 0.86 538.10/538.36 c 2097 440 4562 285560 62 45777 6542 3906 747 2.81 538.10/538.36 c 3244 440 6648 429323 64 60674 7197 5992 643 5.04 538.10/538.36 c 4966 440 6017 379341 63 51536 7917 5361 485 10.23 538.10/538.36 c 7551 440 6460 400957 62 58533 8709 5804 443 17.02 538.10/538.36 c 11430 440 9290 578417 62 122722 9580 8634 290 39.40 538.10/538.36 c 17252 440 9954 655459 65 98534 10539 9298 231 74.62 538.10/538.36 c 25989 440 9573 573665 59 118985 11593 8917 184 141.10 538.10/538.36 c 39101 440 9779 689349 70 119112 12753 9123 157 248.10 538.10/538.36 c 58772 440 12470 748331 60 174705 14029 11814 129 452.35 538.10/538.36 o 37 569.29/569.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.29/569.51 c 68949 440 8048 515978 64 85248 3706 7392 128 538.18 569.29/569.51 c 69049 440 2700 143083 52 31150 4077 2044 127 539.57 569.29/569.51 c 69299 440 3172 173572 54 34968 4485 2516 128 539.68 569.29/569.51 c 69776 440 4107 232471 56 54306 4934 3451 129 540.18 569.29/569.51 c 70590 440 3124 164382 52 37285 5428 2468 130 541.65 569.29/569.51 c 71912 440 5673 329550 58 70303 5971 5017 132 544.76 569.29/569.51 c 73994 440 6591 384025 58 93275 6569 5935 133 553.26 569.29/569.51 c 77218 440 5821 327163 56 62744 7226 5165 135 568.68 569.29/569.51 o 3 1798.00/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.64 c 77842 440 6978 404720 57 83670 3706 6322 136 569.32 1798.00/1798.64 c 77944 369 2710 135824 50 32389 4077 2054 136 570.05 1798.00/1798.64 c 78195 369 3185 165979 52 39259 4485 2529 137 570.39 1798.00/1798.64 c 78672 369 4111 222531 54 55852 4934 3455 137 571.36 1798.00/1798.64 c 79485 369 3128 163133 52 39543 5428 2472 138 572.81 1798.00/1798.64 c 80806 369 5639 325943 57 65999 5971 4983 140 576.34 1798.00/1798.64 c 82888 369 6343 379562 59 67036 6569 5687 142 582.35 1798.00/1798.64 c 86112 369 5071 291759 57 50738 7226 4415 145 593.58 1798.00/1798.64 c 91048 369 6522 417679 64 69478 7949 5866 149 608.70 1798.00/1798.64 c 98554 369 7709 467368 60 92262 8744 7053 151 649.03 1798.00/1798.64 c 109916 369 5033 315715 62 44924 9619 4377 154 711.05 1798.00/1798.64 c 127060 369 7115 460726 64 78362 10581 6459 150 846.22 1798.00/1798.64 c 152879 369 10954 731726 66 131639 11640 10298 140 1087.84 1798.00/1798.64 c 191711 368 9689 635042 65 123600 12805 9033 127 1507.76 1798.00/1798.64 c Resources Exceeded 1798.00/1798.64 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 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -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 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 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 x57 x58 x59 -x60 -x61 -x62 -x63 x64 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x249 x250 x251 -x252 -x253 -x254 -x255 x256 x257 x258 x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -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 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 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 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -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 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1798.00/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.64 c 36 207761 2137 217315 13708 889962 13052 115 1798.05 1798.00/1798.64 c Objective: 3 1798.00/1798.64 s SATISFIABLE 1798.00/1798.64 c Total time: 1798.05 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879414-1245243677/watcher-1879414-1245243677 -o /tmp/evaluation-result-1879414-1245243677/solver-1879414-1245243677 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879414-1245243677.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: 1.00 1.00 0.94 3/64 15937 /proc/meminfo: memFree=1836648/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=10708 CPUtime=0 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 191967434 10964992 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 2677 257 186 640 0 2033 0 [startup+0.0256991 s] /proc/loadavg: 1.00 1.00 0.94 3/64 15937 /proc/meminfo: memFree=1836648/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=10976 CPUtime=0.02 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 350 0 0 0 2 0 0 0 18 0 1 0 191967434 11239424 328 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 2744 328 197 640 0 2100 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10976 [startup+0.101712 s] /proc/loadavg: 1.00 1.00 0.94 3/64 15937 /proc/meminfo: memFree=1836648/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=11372 CPUtime=0.09 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 439 0 0 0 9 0 0 0 18 0 1 0 191967434 11644928 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 2843 417 198 640 0 2199 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11372 [startup+0.301743 s] /proc/loadavg: 1.00 1.00 0.94 3/64 15937 /proc/meminfo: memFree=1836648/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=11888 CPUtime=0.29 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 586 0 0 0 29 0 0 0 19 0 1 0 191967434 12173312 564 1992294400 134512640 137136520 4294956256 18446744073709551615 134544638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 2972 564 198 640 0 2328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11888 [startup+0.701805 s] /proc/loadavg: 1.00 1.00 0.94 3/64 15937 /proc/meminfo: memFree=1836648/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=13580 CPUtime=0.69 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 1012 0 0 0 69 0 0 0 22 0 1 0 191967434 13905920 990 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 3395 990 198 640 0 2751 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13580 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15938 /proc/meminfo: memFree=1832608/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=15012 CPUtime=1.49 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 1372 0 0 0 149 0 0 0 25 0 1 0 191967434 15372288 1350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 3753 1350 198 640 0 3109 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15012 [startup+3.10227 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15938 /proc/meminfo: memFree=1831136/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=16180 CPUtime=3.09 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 1657 0 0 0 308 1 0 0 25 0 1 0 191967434 16568320 1635 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 4045 1635 198 640 0 3401 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16180 [startup+6.3017 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15938 /proc/meminfo: memFree=1827560/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=19440 CPUtime=6.29 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 2459 0 0 0 628 1 0 0 25 0 1 0 191967434 19906560 2437 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 4860 2437 198 640 0 4216 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19440 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15938 /proc/meminfo: memFree=1826024/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=20608 CPUtime=12.69 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 2754 0 0 0 1267 2 0 0 25 0 1 0 191967434 21102592 2732 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 5152 2732 198 640 0 4508 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20608 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.94 2/65 15938 /proc/meminfo: memFree=1824232/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=22320 CPUtime=25.49 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 3199 0 0 0 2546 3 0 0 25 0 1 0 191967434 22855680 3177 1992294400 134512640 137136520 4294956256 18446744073709551615 134573563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 5580 3177 198 640 0 4936 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22320 [startup+51.1019 s] /proc/loadavg: 1.07 1.02 0.94 2/65 15938 /proc/meminfo: memFree=1822568/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=24104 CPUtime=51.07 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 3626 0 0 0 5103 4 0 0 25 0 1 0 191967434 24682496 3604 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 6026 3604 198 640 0 5382 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24104 [startup+102.305 s] /proc/loadavg: 1.11 1.03 0.95 2/65 15938 /proc/meminfo: memFree=1821480/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=25264 CPUtime=102.26 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 3917 0 0 0 10220 6 0 0 25 0 1 0 191967434 25870336 3895 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 6316 3895 198 640 0 5672 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25264 [startup+162.302 s] /proc/loadavg: 1.04 1.02 0.95 2/65 15938 /proc/meminfo: memFree=1820712/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=25912 CPUtime=162.23 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 4086 0 0 0 16215 8 0 0 25 0 1 0 191967434 26533888 4064 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 6478 4064 198 640 0 5834 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 25912 [startup+222.301 s] /proc/loadavg: 1.01 1.02 0.95 2/65 15938 /proc/meminfo: memFree=1820072/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=26556 CPUtime=222.21 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 4245 0 0 0 22211 10 0 0 25 0 1 0 191967434 27193344 4223 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 6639 4223 198 640 0 5995 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 26556 [startup+282.302 s] /proc/loadavg: 1.00 1.01 0.95 2/65 15938 /proc/meminfo: memFree=1817576/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=28984 CPUtime=282.19 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 4861 0 0 0 28206 13 0 0 25 0 1 0 191967434 29679616 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7246 4839 198 640 0 6602 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 28984 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1817520/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=28984 CPUtime=342.17 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 4861 0 0 0 34203 14 0 0 25 0 1 0 191967434 29679616 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7246 4839 198 640 0 6602 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 28984 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1817456/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=28984 CPUtime=402.15 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 4861 0 0 0 40200 15 0 0 25 0 1 0 191967434 29679616 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7246 4839 198 640 0 6602 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 28984 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1817392/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=28984 CPUtime=462.13 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 4861 0 0 0 46196 17 0 0 25 0 1 0 191967434 29679616 4839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7246 4839 198 640 0 6602 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 28984 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815472/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30992 CPUtime=522.11 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 52191 20 0 0 25 0 1 0 191967434 31735808 5348 1992294400 134512640 137136520 4294956256 18446744073709551615 136295553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7748 5348 198 640 0 7104 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 30992 [startup+582.303 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815472/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=582.09 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 58186 23 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 30976 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815408/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=642.08 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 64182 26 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 30976 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1815088/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1121.91 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 112148 43 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 30976 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815088/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1181.89 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 118144 45 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 30976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815024/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1241.86 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 124139 47 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 30976 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815024/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1301.86 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 130136 50 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 30976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814960/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1361.83 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 136132 51 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 30976 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814960/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1421.82 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 142129 53 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 30976 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814896/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1481.79 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 148125 54 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 30976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1815024/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=30976 CPUtime=1541.78 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5370 0 0 0 154122 56 0 0 25 0 1 0 191967434 31719424 5344 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7744 5344 198 640 0 7100 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 30976 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814384/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31620 CPUtime=1601.75 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 160118 57 0 0 25 0 1 0 191967434 32378880 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7905 5486 198 640 0 7261 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 31620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814320/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31620 CPUtime=1661.73 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 166115 58 0 0 25 0 1 0 191967434 32378880 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7905 5486 198 640 0 7261 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 31620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814320/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1721.71 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 172112 59 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 31616 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1781.7 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 178110 60 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 31616 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1791.29 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179069 60 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 31616 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1794.5 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179389 61 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 31616 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1796.1 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179549 61 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 31616 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1796.9 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179629 61 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 31616 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1797.7 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179709 61 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543918 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 31616 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1797.9 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179729 61 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 31616 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 0.95 2/65 15938 /proc/meminfo: memFree=1814192/2055920 swapFree=4181976/4192956 [pid=15937] ppid=15935 vsize=31616 CPUtime=1798 /proc/15937/stat : 15937 (bsolo) R 15935 15937 15569 0 -1 4194304 5512 0 0 0 179739 61 0 0 25 0 1 0 191967434 32374784 5486 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15937/statm: 7904 5486 198 640 0 7260 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 31616 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.05 CPU user time (s): 1797.44 CPU system time (s): 0.615906 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 31620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.44 system time used= 0.615906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5514 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= 3 involuntary context switches= 2871 runsolver used 1.39279 second user time and 3.70444 second system time The end
Begin job on node26 at 2009-06-17 15:01:17 IDJOB=1879414 IDBENCH=47964 IDSOLVER=701 FILE ID=node26/1879414-1245243677 PBS_JOBID= 9372312 Free space on /tmp= 66156 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=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879414-1245243677/watcher-1879414-1245243677 -o /tmp/evaluation-result-1879414-1245243677/solver-1879414-1245243677 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879414-1245243677.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66c115908fb4694df4d314e4daf7ce17 RANDOM SEED=992580995 node26.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.263 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.263 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: 1837064 kB Buffers: 6968 kB Cached: 153976 kB SwapCached: 4976 kB Active: 29324 kB Inactive: 139728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1837064 kB SwapTotal: 4192956 kB SwapFree: 4181976 kB Dirty: 4044 kB Writeback: 0 kB Mapped: 14292 kB Slab: 35872 kB Committed_AS: 189760 kB PageTables: 1372 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-1879414-1245243677.opb Free space on /tmp at the end= 66152 MiB End job on node26 at 2009-06-17 15:31:16