Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 1085.24 | 1085.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=47-P1=43-P2=53-P3=59-P4=67-P5=71-P6=53-P7=67-B.opb |
MD5SUM | e58f2c3753b703f4a66371ee4fd516c9 |
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 | 8.08077 |
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 | 147 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 343 |
Sum of products size (including duplicates) | 686 |
Number of different products | 343 |
Sum of products size | 686 |
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-1879547-1245245317.opb 0.00/0.00 c File size is 25526 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843 0.00/0.00 c Obj. Vars: 7 (1.42857 % of total variables) 0.00/0.00 c Pre-processing Time: 0.008 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 490 708 2982 4 2557 4020 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 768.09/768.43 c 100 490 907 12308 13 5612 4423 199 3846 0.03 768.09/768.43 c 251 490 1194 26012 21 9200 4866 486 2436 0.10 768.09/768.43 c 476 490 1635 48928 29 15697 5353 927 2586 0.18 768.09/768.43 c 814 490 2279 80541 35 25147 5889 1571 1746 0.47 768.09/768.43 c 1323 490 3230 137891 42 32946 6478 2522 1795 0.74 768.09/768.43 c 2086 490 4619 206466 44 40752 7126 3911 1232 1.69 768.09/768.43 c 3233 490 6727 322347 47 59182 7839 6019 1098 2.94 768.09/768.43 c 4954 490 5604 277196 49 51595 8623 4896 796 6.22 768.09/768.43 c 7538 490 5427 269440 49 35984 9486 4719 770 9.79 768.09/768.43 c 11417 490 7584 404099 53 73755 10435 6876 555 20.57 768.09/768.43 c 17241 489 7355 370334 50 53207 11479 6647 541 31.85 768.09/768.43 c 25979 489 11530 590959 51 117372 12627 10822 514 50.50 768.09/768.43 c 39089 489 8765 448672 51 64573 13890 8057 267 145.91 768.09/768.43 c 58759 489 10076 501377 49 103547 15280 9368 173 339.29 768.09/768.43 c 88269 488 10796 567710 52 79068 16809 10088 123 716.70 768.09/768.43 o 33 944.23/944.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 944.23/944.63 c 93709 488 12517 670977 53 135339 4034 11809 121 768.14 944.23/944.63 c 93810 488 2922 133350 45 21424 4438 2214 121 771.84 944.23/944.63 c 94060 488 3406 156186 45 25564 4882 2698 121 771.96 944.23/944.63 c 94535 488 4341 207212 47 50284 5371 3633 122 772.51 944.23/944.63 c 95348 488 5928 295792 49 74470 5909 5220 123 773.64 944.23/944.63 c 96671 488 5179 244098 47 61464 6500 4471 124 775.93 944.23/944.63 c 98753 488 5708 269954 47 74823 7151 5000 125 784.30 944.23/944.63 c 101976 488 7583 377930 49 67875 7867 6875 128 791.27 944.23/944.63 c 106912 479 8364 424730 50 46734 8654 7656 133 801.37 944.23/944.63 c 114418 479 9049 452688 50 101318 9520 8341 135 841.68 944.23/944.63 c 125779 478 6022 276092 45 28975 10473 5314 138 905.18 944.23/944.63 o 9 987.80/988.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 987.80/988.24 c 136078 478 8699 431281 49 78484 4032 7991 144 944.27 987.80/988.24 c 136178 478 2936 121445 41 27519 4436 2228 144 944.68 987.80/988.24 c 136428 478 3421 147893 43 35756 4880 2713 144 944.82 987.80/988.24 c 136904 478 4330 203033 46 53773 5369 3622 144 945.47 987.80/988.24 c 137719 478 5920 290594 49 85512 5906 5212 145 946.88 987.80/988.24 c 139040 478 5292 249788 47 51511 6497 4584 146 949.19 987.80/988.24 c 141123 478 5919 283401 47 91950 7147 5211 147 955.86 987.80/988.24 c 144349 478 4510 207276 45 45969 7862 3802 147 975.49 987.80/988.24 o 3 1085.17/1085.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1085.17/1085.66 c 147197 460 5699 262409 46 64787 4028 4991 149 987.85 1085.17/1085.66 c 147297 460 2948 115864 39 25565 4431 2240 149 988.17 1085.17/1085.66 c 147548 460 3401 140524 41 29760 4875 2693 149 988.37 1085.17/1085.66 c 148023 460 4257 186921 43 33825 5363 3549 149 988.86 1085.17/1085.66 c 148837 432 5800 268998 46 53931 5900 5092 150 990.20 1085.17/1085.66 c 150157 432 4732 213643 45 36404 6491 4024 151 993.37 1085.17/1085.66 c 152241 432 5023 227866 45 44809 7141 4315 152 999.84 1085.17/1085.66 c 155464 432 7135 335011 46 60390 7856 6427 153 1012.34 1085.17/1085.66 c 160401 431 8425 406781 48 93314 8642 7717 155 1032.67 1085.17/1085.66 c 167908 428 5140 225658 43 33683 9507 4432 156 1075.43 1085.17/1085.66 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 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 x99 -x100 -x101 -x102 -x103 -x104 -x105 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 x64 x65 -x66 -x67 -x68 -x69 -x70 -x106 -x107 -x108 -x109 -x110 -x111 -x112 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 x71 -x72 -x73 -x74 x75 -x76 -x77 -x113 x114 -x115 -x116 -x117 -x118 -x119 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 x337 -x338 -x339 -x340 x341 -x342 -x343 x78 -x79 -x80 -x81 -x82 -x83 -x84 x120 x121 x122 x123 -x124 -x125 -x126 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 x85 x86 -x87 -x88 -x89 -x90 -x91 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 x92 -x93 -x94 -x95 -x96 -x97 -x98 x134 -x135 -x136 -x137 -x138 -x139 -x140 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -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 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1085.17/1085.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1085.17/1085.66 c 44 169716 2625 183615 8288 367367 7580 156 1085.23 1085.17/1085.66 c Objective: 3 1085.17/1085.66 s OPTIMUM FOUND 1085.17/1085.66 c Total time: 1085.23 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-1879547-1245245317/watcher-1879547-1245245317 -o /tmp/evaluation-result-1879547-1245245317/solver-1879547-1245245317 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879547-1245245317.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.50 0.15 0.05 3/64 2655 /proc/meminfo: memFree=1952808/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=10840 CPUtime=0 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 7626 11100160 266 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 2710 268 186 640 0 2066 0 [startup+0.045871 s] /proc/loadavg: 0.50 0.15 0.05 3/64 2655 /proc/meminfo: memFree=1952808/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=11104 CPUtime=0.04 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 390 0 0 0 4 0 0 0 18 0 1 0 7626 11370496 367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 2776 367 198 640 0 2132 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11104 [startup+0.101868 s] /proc/loadavg: 0.50 0.15 0.05 3/64 2655 /proc/meminfo: memFree=1952808/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=11364 CPUtime=0.09 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 443 0 0 0 9 0 0 0 18 0 1 0 7626 11636736 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 2841 420 198 640 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11364 [startup+0.301861 s] /proc/loadavg: 0.50 0.15 0.05 3/64 2655 /proc/meminfo: memFree=1952808/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=12260 CPUtime=0.29 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 674 0 0 0 29 0 0 0 19 0 1 0 7626 12554240 651 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 3065 651 198 640 0 2421 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12260 [startup+0.701847 s] /proc/loadavg: 0.50 0.15 0.05 3/64 2655 /proc/meminfo: memFree=1952808/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=13424 CPUtime=0.69 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 955 0 0 0 69 0 0 0 23 0 1 0 7626 13746176 932 1992294400 134512640 137136520 4294956256 18446744073709551615 136502046 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 3356 933 198 640 0 2712 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13424 [startup+1.50182 s] /proc/loadavg: 0.50 0.15 0.05 2/65 2656 /proc/meminfo: memFree=1949216/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=14736 CPUtime=1.49 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 1281 0 0 0 149 0 0 0 25 0 1 0 7626 15089664 1258 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 3684 1258 198 640 0 3040 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14736 [startup+3.10276 s] /proc/loadavg: 0.50 0.15 0.05 2/65 2656 /proc/meminfo: memFree=1947552/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=16808 CPUtime=3.09 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 1825 0 0 0 309 0 0 0 25 0 1 0 7626 17211392 1802 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 4202 1802 198 640 0 3558 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16808 [startup+6.30166 s] /proc/loadavg: 0.54 0.16 0.05 2/65 2656 /proc/meminfo: memFree=1943336/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=19652 CPUtime=6.28 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 2512 0 0 0 627 1 0 0 25 0 1 0 7626 20123648 2489 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2655/statm: 4913 2489 198 640 0 4269 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19652 [startup+12.7014 s] /proc/loadavg: 0.58 0.17 0.06 2/65 2656 /proc/meminfo: memFree=1942504/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=20692 CPUtime=12.67 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 2780 0 0 0 1265 2 0 0 25 0 1 0 7626 21188608 2757 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 5173 2757 198 640 0 4529 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 20692 [startup+25.502 s] /proc/loadavg: 0.67 0.21 0.07 2/65 2656 /proc/meminfo: memFree=1941352/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=21848 CPUtime=25.46 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 3062 0 0 0 2544 2 0 0 25 0 1 0 7626 22372352 3039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 5462 3039 198 640 0 4818 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 21848 [startup+51.1011 s] /proc/loadavg: 0.78 0.28 0.10 2/65 2656 /proc/meminfo: memFree=1940456/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=22960 CPUtime=51.05 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 3343 0 0 0 5101 4 0 0 25 0 1 0 7626 23511040 3320 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 5740 3320 198 640 0 5096 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 22960 [startup+102.305 s] /proc/loadavg: 0.90 0.39 0.14 2/65 2656 /proc/meminfo: memFree=1938472/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=24968 CPUtime=102.22 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 3846 0 0 0 10216 6 0 0 25 0 1 0 7626 25567232 3823 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 6242 3823 198 640 0 5598 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 24968 [startup+162.301 s] /proc/loadavg: 0.96 0.49 0.19 2/65 2656 /proc/meminfo: memFree=1937256/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=26144 CPUtime=162.21 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4141 0 0 0 16212 9 0 0 25 0 1 0 7626 26771456 4118 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 6536 4118 198 640 0 5892 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 26144 [startup+222.301 s] /proc/loadavg: 0.98 0.58 0.24 2/65 2656 /proc/meminfo: memFree=1937256/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=26144 CPUtime=222.18 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4141 0 0 0 22208 10 0 0 25 0 1 0 7626 26771456 4118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 6536 4118 198 640 0 5892 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 26144 [startup+282.301 s] /proc/loadavg: 0.99 0.66 0.28 2/65 2656 /proc/meminfo: memFree=1937192/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=26144 CPUtime=282.16 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4145 0 0 0 28205 11 0 0 25 0 1 0 7626 26771456 4122 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 6536 4122 198 640 0 5892 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 26144 [startup+342.302 s] /proc/loadavg: 0.99 0.72 0.32 2/65 2656 /proc/meminfo: memFree=1937064/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=26264 CPUtime=342.14 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4171 0 0 0 34201 13 0 0 25 0 1 0 7626 26894336 4148 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 6566 4148 198 640 0 5922 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 26264 [startup+402.301 s] /proc/loadavg: 0.99 0.77 0.37 2/65 2656 /proc/meminfo: memFree=1935336/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=28028 CPUtime=402.11 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4613 0 0 0 40196 15 0 0 25 0 1 0 7626 28700672 4590 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7007 4590 198 640 0 6363 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 28028 [startup+462.302 s] /proc/loadavg: 0.99 0.81 0.40 2/65 2656 /proc/meminfo: memFree=1935272/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=28028 CPUtime=462.09 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4613 0 0 0 46193 16 0 0 25 0 1 0 7626 28700672 4590 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7007 4590 198 640 0 6363 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 28028 [startup+522.302 s] /proc/loadavg: 0.99 0.84 0.44 2/65 2656 /proc/meminfo: memFree=1934312/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29084 CPUtime=522.07 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4880 0 0 0 52190 17 0 0 25 0 1 0 7626 29782016 4857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7271 4857 198 640 0 6627 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 29084 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.47 2/65 2656 /proc/meminfo: memFree=1934248/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29084 CPUtime=582.05 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4882 0 0 0 58187 18 0 0 25 0 1 0 7626 29782016 4859 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7271 4859 198 640 0 6627 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 29084 [startup+642.302 s] /proc/loadavg: 0.99 0.89 0.50 2/65 2656 /proc/meminfo: memFree=1934184/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29084 CPUtime=642.03 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4882 0 0 0 64184 19 0 0 25 0 1 0 7626 29782016 4859 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7271 4859 198 640 0 6627 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 29084 [startup+702.301 s] /proc/loadavg: 0.99 0.90 0.53 2/65 2656 /proc/meminfo: memFree=1934120/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29084 CPUtime=702.01 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4882 0 0 0 70180 21 0 0 25 0 1 0 7626 29782016 4859 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7271 4859 198 640 0 6627 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 29084 [startup+762.305 s] /proc/loadavg: 0.99 0.92 0.55 2/65 2656 /proc/meminfo: memFree=1934056/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=762 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 76176 24 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 29092 [startup+822.302 s] /proc/loadavg: 0.99 0.93 0.58 2/65 2656 /proc/meminfo: memFree=1934056/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=821.98 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 82172 26 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134544184 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 29092 [startup+882.301 s] /proc/loadavg: 0.99 0.94 0.60 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=881.95 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 88166 29 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 29092 [startup+942.301 s] /proc/loadavg: 0.99 0.95 0.62 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=941.93 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 94160 33 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 29092 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.65 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1001.9 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 100154 36 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 29092 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.66 2/65 2656 /proc/meminfo: memFree=1933928/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1061.88 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 106149 39 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 29092 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933928/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1074.66 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 107427 39 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1074.66 Current children cumulated vsize (KiB) 29092 [startup+1081.5 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1081.07 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 108067 40 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1081.07 Current children cumulated vsize (KiB) 29092 [startup+1083.1 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1082.67 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 108227 40 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1082.67 Current children cumulated vsize (KiB) 29092 [startup+1084.7 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1084.27 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 108387 40 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1084.27 Current children cumulated vsize (KiB) 29092 [startup+1085.1 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1084.67 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 108427 40 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1084.67 Current children cumulated vsize (KiB) 29092 [startup+1085.5 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1085.07 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 108467 40 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134616565 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1085.07 Current children cumulated vsize (KiB) 29092 [startup+1085.6 s] /proc/loadavg: 0.99 0.96 0.67 2/65 2656 /proc/meminfo: memFree=1933992/2055920 swapFree=4192956/4192956 [pid=2655] ppid=2653 vsize=29092 CPUtime=1085.17 /proc/2655/stat : 2655 (bsolo) R 2653 2655 2610 0 -1 4194304 4884 0 0 0 108477 40 0 0 25 0 1 0 7626 29790208 4861 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2655/statm: 7273 4861 198 640 0 6629 0 Current children cumulated CPU time (s) 1085.17 Current children cumulated vsize (KiB) 29092 Child status: 0 Real time (s): 1085.66 CPU time (s): 1085.24 CPU user time (s): 1084.83 CPU system time (s): 0.407937 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 29092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1084.83 system time used= 0.407937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4886 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= 2270 runsolver used 1.20582 second user time and 2.75158 second system time The end
Begin job on node36 at 2009-06-17 15:28:37 IDJOB=1879547 IDBENCH=48097 IDSOLVER=701 FILE ID=node36/1879547-1245245317 PBS_JOBID= 9372341 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=47-P1=43-P2=53-P3=59-P4=67-P5=71-P6=53-P7=67-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879547-1245245317/watcher-1879547-1245245317 -o /tmp/evaluation-result-1879547-1245245317/solver-1879547-1245245317 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879547-1245245317.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e58f2c3753b703f4a66371ee4fd516c9 RANDOM SEED=1088260249 node36.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.225 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.225 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: 1955464 kB Buffers: 18816 kB Cached: 40276 kB SwapCached: 0 kB Active: 49700 kB Inactive: 22052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1955464 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4856 kB Writeback: 0 kB Mapped: 22432 kB Slab: 14724 kB Committed_AS: 50168 kB PageTables: 1360 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-1879547-1245245317.opb Free space on /tmp at the end= 66168 MiB End job on node36 at 2009-06-17 15:46:43