Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 257 | 1798.04 | 1798.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb |
MD5SUM | 55e3096e9013fd2f39f8572a635bf07d |
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 | 2.66559 |
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 | 135 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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-1879495-1245244336.opb 0.00/0.00 c File size is 30042 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % 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 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 46.88/46.99 c 100 540 1026 19388 18 7200 5078 200 2083 0.05 46.88/46.99 c 250 540 1304 42309 32 13686 5586 478 2118 0.12 46.88/46.99 c 477 540 1737 76746 44 19834 6145 911 1407 0.34 46.88/46.99 c 815 540 2405 134459 55 37821 6760 1579 1509 0.54 46.88/46.99 c 1323 540 3383 212246 62 66161 7437 2557 1130 1.17 46.88/46.99 c 2087 540 4852 335098 69 72785 8181 4026 577 3.62 46.88/46.99 c 3233 540 7055 535786 75 113168 9000 6229 468 6.90 46.88/46.99 c 4954 540 5729 427337 74 101155 9901 4903 339 14.57 46.88/46.99 c 7538 540 10608 826926 77 192623 10892 9782 244 30.88 46.88/46.99 o 385 143.35/143.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 143.35/143.45 c 9629 540 8968 708247 78 130832 4634 8142 204 46.98 143.35/143.45 c 9730 540 3305 223908 67 27891 5098 2479 201 48.21 143.35/143.45 c 9981 540 3755 264855 70 37649 5608 2929 204 48.71 143.35/143.45 c 10457 540 4661 358960 77 52965 6169 3835 212 49.29 143.35/143.45 c 11270 540 6242 499539 80 90612 6786 5416 223 50.36 143.35/143.45 c 12591 540 5273 382429 72 65486 7465 4447 229 54.86 143.35/143.45 c 14673 540 5416 374590 69 85306 8212 4590 207 70.72 143.35/143.45 c 17898 540 7155 531127 74 114075 9034 6329 196 91.20 143.35/143.45 c 22834 540 6782 490337 72 130012 9938 5956 162 140.13 143.35/143.45 o 261 855.16/855.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 855.16/855.45 c 25104 540 5796 433680 74 70707 4634 4970 171 146.41 855.16/855.45 c 25204 540 3324 221234 66 26582 5098 2498 171 146.76 855.16/855.45 c 25454 540 3786 264810 69 34758 5608 2960 172 147.27 855.16/855.45 c 25929 540 4683 348604 74 50939 6169 3857 175 147.73 855.16/855.45 c 26743 540 6232 484604 77 89020 6786 5406 179 149.10 855.16/855.45 c 28064 540 4984 374504 75 56329 7465 4158 182 153.78 855.16/855.45 c 30146 540 4560 310777 68 39209 8212 3734 190 158.28 855.16/855.45 c 33373 540 6493 457378 70 109650 9034 5667 177 187.71 855.16/855.45 c 38310 540 6188 483725 78 79267 9938 5362 174 219.74 855.16/855.45 c 45816 540 10419 758067 72 190923 10932 9593 152 300.78 855.16/855.45 c 57177 540 9514 695383 73 196346 12026 8688 104 546.99 855.16/855.45 c 74322 540 9460 808705 85 161261 13229 8634 89 832.39 855.16/855.45 o 257 1798.01/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.01/1798.51 c 78234 540 9411 774398 82 118339 4634 8585 91 855.23 1798.01/1798.51 c 78335 540 3327 219345 65 38494 5098 2501 91 856.46 1798.01/1798.51 c 78586 540 3613 243913 67 40229 5608 2787 91 856.64 1798.01/1798.51 c 79061 540 4541 329984 72 57391 6169 3715 92 857.38 1798.01/1798.51 c 79874 540 6093 473325 77 84581 6786 5267 92 859.00 1798.01/1798.51 c 81194 540 5165 358208 69 82707 7465 4339 94 862.35 1798.01/1798.51 c 83276 540 4774 352112 73 55486 8212 3948 95 869.92 1798.01/1798.51 c 86500 540 6356 484756 76 85695 9034 5530 97 885.14 1798.01/1798.51 c 91436 540 5801 430704 74 89793 9938 4975 99 915.12 1798.01/1798.51 c 98943 540 9025 740302 82 102866 10932 8199 101 971.05 1798.01/1798.51 c 110305 540 6600 470138 71 86642 12026 5774 100 1099.80 1798.01/1798.51 c 127449 540 6990 549071 78 112077 13229 6164 96 1320.88 1798.01/1798.51 c 153269 540 12399 1036864 83 142116 14552 11573 90 1688.70 1798.01/1798.51 c Resources Exceeded 1798.01/1798.51 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 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 -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 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 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 -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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 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 -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 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -x441 x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 -x461 -x462 -x463 -x464 -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 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 1798.01/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.01/1798.51 c 43 166789 1849 178676 14311 1163662 13485 92 1798.04 1798.01/1798.51 c Objective: 257 1798.01/1798.51 s SATISFIABLE 1798.01/1798.51 c Total time: 1798.04 s
OK 257
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879495-1245244336/watcher-1879495-1245244336 -o /tmp/evaluation-result-1879495-1245244336/solver-1879495-1245244336 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879495-1245244336.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.10 1.11 1.02 3/65 11211 /proc/meminfo: memFree=1852208/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=10740 CPUtime=0 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 192033088 10997760 238 1992294400 134512640 137136520 4294956256 18446744073709551615 134520243 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 2685 238 176 640 0 2033 0 [startup+0.028803 s] /proc/loadavg: 1.10 1.11 1.02 3/65 11211 /proc/meminfo: memFree=1852208/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=10972 CPUtime=0.02 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 364 0 0 0 2 0 0 0 18 0 1 0 192033088 11235328 340 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 2743 340 197 640 0 2099 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10972 [startup+0.101811 s] /proc/loadavg: 1.10 1.11 1.02 3/65 11211 /proc/meminfo: memFree=1852208/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=11624 CPUtime=0.09 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 503 0 0 0 9 0 0 0 18 0 1 0 192033088 11902976 479 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 2906 480 198 640 0 2262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11624 [startup+0.301833 s] /proc/loadavg: 1.10 1.11 1.02 3/65 11211 /proc/meminfo: memFree=1852208/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=12140 CPUtime=0.29 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 649 0 0 0 29 0 0 0 19 0 1 0 192033088 12431360 625 1992294400 134512640 137136520 4294956256 18446744073709551615 136293438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 3035 625 198 640 0 2391 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12140 [startup+0.70188 s] /proc/loadavg: 1.10 1.11 1.02 3/65 11211 /proc/meminfo: memFree=1852208/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=14200 CPUtime=0.69 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 1154 0 0 0 69 0 0 0 22 0 1 0 192033088 14540800 1130 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 3550 1130 198 640 0 2906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14200 [startup+1.50197 s] /proc/loadavg: 1.10 1.11 1.02 2/66 11212 /proc/meminfo: memFree=1847720/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=15760 CPUtime=1.49 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 1556 0 0 0 149 0 0 0 25 0 1 0 192033088 16138240 1532 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 3940 1532 198 640 0 3296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15760 [startup+3.10115 s] /proc/loadavg: 1.10 1.11 1.02 2/66 11212 /proc/meminfo: memFree=1846120/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=17196 CPUtime=3.09 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 1910 0 0 0 309 0 0 0 25 0 1 0 192033088 17608704 1886 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 4299 1886 198 640 0 3655 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17196 [startup+6.30152 s] /proc/loadavg: 1.10 1.11 1.02 2/66 11212 /proc/meminfo: memFree=1843944/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=20800 CPUtime=6.29 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 2818 0 0 0 628 1 0 0 25 0 1 0 192033088 21299200 2773 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 5200 2773 198 640 0 4556 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20800 [startup+12.7012 s] /proc/loadavg: 1.08 1.10 1.02 2/66 11212 /proc/meminfo: memFree=1836072/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=26396 CPUtime=12.69 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 4236 0 0 0 1266 3 0 0 25 0 1 0 192033088 27029504 4191 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 6599 4191 198 640 0 5955 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26396 [startup+25.5017 s] /proc/loadavg: 1.07 1.10 1.02 2/66 11212 /proc/meminfo: memFree=1835560/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=26780 CPUtime=25.48 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 4317 0 0 0 2545 3 0 0 25 0 1 0 192033088 27422720 4272 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 6695 4272 198 640 0 6051 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26780 [startup+51.1016 s] /proc/loadavg: 1.04 1.09 1.01 2/66 11212 /proc/meminfo: memFree=1832296/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=30036 CPUtime=51.08 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5136 0 0 0 5103 5 0 0 25 0 1 0 192033088 30756864 5091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7509 5091 198 640 0 6865 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30036 [startup+102.305 s] /proc/loadavg: 1.02 1.07 1.01 2/66 11212 /proc/meminfo: memFree=1832296/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=30036 CPUtime=102.27 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5136 0 0 0 10220 7 0 0 25 0 1 0 192033088 30756864 5091 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7509 5091 198 640 0 6865 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30036 [startup+162.301 s] /proc/loadavg: 1.00 1.06 1.00 2/66 11212 /proc/meminfo: memFree=1832296/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=30032 CPUtime=162.25 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5136 0 0 0 16216 9 0 0 25 0 1 0 192033088 30752768 5091 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7508 5091 198 640 0 6864 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 30032 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.00 2/66 11212 /proc/meminfo: memFree=1832296/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=30032 CPUtime=222.23 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5136 0 0 0 22212 11 0 0 25 0 1 0 192033088 30752768 5091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7508 5091 198 640 0 6864 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30032 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.00 2/66 11212 /proc/meminfo: memFree=1832296/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=30032 CPUtime=282.21 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5136 0 0 0 28208 13 0 0 25 0 1 0 192033088 30752768 5091 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7508 5091 198 640 0 6864 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30032 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 11212 /proc/meminfo: memFree=1830760/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=31596 CPUtime=342.2 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5523 0 0 0 34205 15 0 0 25 0 1 0 192033088 32354304 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7899 5478 198 640 0 7255 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 31596 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/66 11212 /proc/meminfo: memFree=1830760/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=31596 CPUtime=402.19 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5523 0 0 0 40203 16 0 0 25 0 1 0 192033088 32354304 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7899 5478 198 640 0 7255 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 31596 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 11212 /proc/meminfo: memFree=1830760/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=31592 CPUtime=462.17 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5523 0 0 0 46200 17 0 0 25 0 1 0 192033088 32350208 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7898 5478 198 640 0 7254 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31592 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 11212 /proc/meminfo: memFree=1830760/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=31592 CPUtime=522.16 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 5523 0 0 0 52198 18 0 0 25 0 1 0 192033088 32350208 5478 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 7898 5478 198 640 0 7254 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 31592 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1828712/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=33540 CPUtime=582.13 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6023 0 0 0 58194 19 0 0 25 0 1 0 192033088 34344960 5978 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8385 5978 198 640 0 7741 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 33540 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827688/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34564 CPUtime=642.12 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6278 0 0 0 64191 21 0 0 25 0 1 0 192033088 35393536 6233 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8641 6233 198 640 0 7997 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 34564 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1827496/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1062.01 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 106167 34 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 34540 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827496/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1121.99 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 112164 35 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 34540 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827432/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1181.98 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 118161 37 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 34540 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827304/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1241.96 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 124158 38 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 34540 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1301.95 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 130156 39 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 34540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1361.93 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 136153 40 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 34540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1421.92 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 142151 41 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 34540 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1481.9 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 148148 42 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 34540 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1541.88 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 154145 43 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 34540 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1601.86 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 160142 44 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 34540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1827240/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=34540 CPUtime=1661.85 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6279 0 0 0 166140 45 0 0 25 0 1 0 192033088 35368960 6234 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 8635 6234 198 640 0 7991 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 34540 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1825064/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1721.83 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 172137 46 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 36740 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1781.81 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 178133 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 36740 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1791.41 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 179093 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 36740 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1794.62 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 179414 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 36740 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1796.21 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 179573 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 36740 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1797.01 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 179653 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 36740 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1797.81 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 179733 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 36740 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11212 /proc/meminfo: memFree=1824872/2055920 swapFree=4181080/4192956 [pid=11211] ppid=11209 vsize=36740 CPUtime=1798.01 /proc/11211/stat : 11211 (bsolo) R 11209 11211 10965 0 -1 4194304 6823 0 0 0 179753 48 0 0 25 0 1 0 192033088 37621760 6778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11211/statm: 9185 6778 198 640 0 8541 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 36740 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.04 CPU user time (s): 1797.55 CPU system time (s): 0.493924 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 36740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.55 system time used= 0.493924 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6825 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= 1874 runsolver used 1.90071 second user time and 3.59645 second system time The end
Begin job on node32 at 2009-06-17 15:12:16 IDJOB=1879495 IDBENCH=48045 IDSOLVER=701 FILE ID=node32/1879495-1245244336 PBS_JOBID= 9372306 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879495-1245244336/watcher-1879495-1245244336 -o /tmp/evaluation-result-1879495-1245244336/solver-1879495-1245244336 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879495-1245244336.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55e3096e9013fd2f39f8572a635bf07d RANDOM SEED=1782849429 node32.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.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: 1852880 kB Buffers: 16564 kB Cached: 125232 kB SwapCached: 5016 kB Active: 18780 kB Inactive: 131284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852880 kB SwapTotal: 4192956 kB SwapFree: 4181080 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14660 kB Slab: 38716 kB Committed_AS: 205152 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879495-1245244336.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-17 15:42:15