Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 129.012 | 129.071 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=53-P1=53-P2=41-P3=41-P4=41-P5=53-P6=41-P7=47-P8=17-B.opb |
MD5SUM | 0eba974a59288ae5bf4b2b37c5eda4fb |
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 | 5.48417 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 288 |
Sum of products size (including duplicates) | 576 |
Number of different products | 288 |
Sum of products size | 576 |
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-1879535-1245245167.opb 0.00/0.00 c File size is 21534 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 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: 432 Constr: 601 288/0/313 Lit: 2538 Watch. Lit: 1586 0.00/0.00 c Obj. Vars: 6 (1.38889 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 432 601 2538 4 2172 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 15.29/15.34 c 101 432 796 9483 11 3987 3788 195 4590 0.02 15.29/15.34 c 251 432 1082 22971 21 6517 4167 481 4327 0.06 15.29/15.34 c 477 432 1502 38082 25 8761 4584 901 4416 0.11 15.29/15.34 c 815 432 2093 62984 30 12504 5043 1492 4158 0.20 15.29/15.34 c 1325 432 2993 101079 33 17181 5548 2392 2951 0.45 15.29/15.34 c 2091 432 4374 156587 35 26034 6103 3773 2255 0.93 15.29/15.34 c 3237 432 6496 256376 39 40681 6714 5895 1794 1.80 15.29/15.34 c 4959 432 5913 228015 38 32862 7386 5312 1574 3.15 15.29/15.34 c 7544 432 6601 273693 41 35859 8125 6000 1001 7.54 15.29/15.34 c 11423 432 5009 195564 39 28315 8938 4408 909 12.56 15.29/15.34 o 41 20.18/20.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.18/20.20 c 13470 431 8680 342260 39 55471 3455 8079 878 15.34 20.18/20.20 c 13571 431 2518 78651 31 16145 3801 1917 868 15.63 20.18/20.20 c 13821 431 2994 99108 33 19551 4182 2393 878 15.74 20.18/20.20 c 14296 431 3826 133342 34 22739 4601 3225 896 15.95 20.18/20.20 c 15109 431 2906 97565 33 20987 5062 2305 901 16.75 20.18/20.20 c 16429 431 5369 193773 36 34525 5569 4768 826 19.87 20.18/20.20 o 39 25.48/25.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.48/25.54 c 17013 431 3390 113144 33 21417 3455 2789 836 20.33 25.48/25.54 c 17113 431 3552 119692 33 21392 3801 2951 840 20.36 25.48/25.54 c 17363 431 3917 135324 34 24275 4182 3316 848 20.45 25.48/25.54 c 17838 430 2696 88426 32 16929 4601 2095 859 20.75 25.48/25.54 c 18651 430 4221 150795 35 30147 5062 3620 856 21.77 25.48/25.54 c 19972 430 3889 132998 34 23627 5569 3288 874 22.83 25.48/25.54 c 22053 430 4733 175966 37 31010 6126 4132 886 24.87 25.48/25.54 o 11 29.98/30.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.98/30.05 c 22830 430 6108 251010 41 37658 3455 5507 893 25.54 29.98/30.05 c 22931 414 2521 97654 38 14371 3801 1920 894 25.64 29.98/30.05 c 23181 414 2966 115631 38 16850 4182 2365 900 25.75 29.98/30.05 c 23657 414 3848 150503 39 23051 4601 3247 907 26.07 29.98/30.05 c 24470 414 2910 100225 34 20837 5062 2309 900 27.16 29.98/30.05 c 25791 413 5354 213616 39 33016 5569 4753 907 28.43 29.98/30.05 o 3 128.94/129.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.94/129.06 c 27584 413 5649 210823 37 30898 3451 5048 918 30.05 128.94/129.06 c 27686 388 2497 77526 31 13494 3797 1896 918 30.13 128.94/129.06 c 27938 388 2962 98512 33 14993 4177 2361 923 30.25 128.94/129.06 c 28413 388 3851 159985 41 23046 4595 3250 931 30.50 128.94/129.06 c 29227 388 2914 127257 43 16100 5055 2313 944 30.93 128.94/129.06 c 30548 388 5355 293107 54 35942 5561 4754 950 32.13 128.94/129.06 c 32630 388 6141 288164 46 40429 6118 5540 938 34.78 128.94/129.06 c 35853 388 5498 258782 47 38392 6730 4897 871 41.15 128.94/129.06 c 40789 381 3984 150323 37 23710 7404 3383 864 47.18 128.94/129.06 c 48296 381 4794 162597 33 27588 8145 4193 833 57.95 128.94/129.06 c 59657 380 7058 246216 34 32809 8960 6457 756 78.84 128.94/129.06 c 76801 379 9120 333237 36 43898 9857 8519 665 115.37 128.94/129.06 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 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 x55 -x56 -x57 -x58 -x59 x60 -x97 -x98 -x99 -x100 -x101 -x102 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 x61 -x62 -x63 x64 -x65 x66 -x103 -x104 x105 -x106 -x107 -x108 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 x67 -x68 x69 x70 -x71 -x72 x109 x110 -x111 -x112 -x113 -x114 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 x73 -x74 -x75 -x76 -x77 -x78 x115 -x116 -x117 -x118 -x119 -x120 x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x79 x80 -x81 -x82 -x83 -x84 -x121 -x122 -x123 -x124 -x125 -x126 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 x85 -x86 -x87 -x88 -x89 -x90 -x127 x128 -x129 -x130 -x131 -x132 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x91 -x92 -x93 x94 -x95 -x96 -x133 -x134 -x135 -x136 -x137 -x138 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 x139 x140 -x141 -x142 -x143 -x144 128.94/129.07 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 128.94/129.07 c 41 82417 1989 94073 8637 287215 8036 638 129.01 128.94/129.07 c Objective: 3 128.94/129.07 s OPTIMUM FOUND 128.94/129.07 c Total time: 129.01 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-1879535-1245245167/watcher-1879535-1245245167 -o /tmp/evaluation-result-1879535-1245245167/solver-1879535-1245245167 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879535-1245245167.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.91 3/65 19938 /proc/meminfo: memFree=1745976/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=10844 CPUtime=0 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 192115994 11104256 271 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 2711 271 189 640 0 2067 0 [startup+0.088704 s] /proc/loadavg: 0.99 0.97 0.91 3/65 19938 /proc/meminfo: memFree=1745976/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=11360 CPUtime=0.08 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 456 0 0 0 8 0 0 0 18 0 1 0 192115994 11632640 434 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 2840 434 198 640 0 2196 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11360 [startup+0.101704 s] /proc/loadavg: 0.99 0.97 0.91 3/65 19938 /proc/meminfo: memFree=1745976/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=11488 CPUtime=0.09 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 471 0 0 0 9 0 0 0 18 0 1 0 192115994 11763712 449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 2872 449 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.301727 s] /proc/loadavg: 0.99 0.97 0.91 3/65 19938 /proc/meminfo: memFree=1745976/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=12136 CPUtime=0.29 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 645 0 0 0 29 0 0 0 19 0 1 0 192115994 12427264 623 1992294400 134512640 137136520 4294956256 18446744073709551615 136500542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 3034 623 198 640 0 2390 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12136 [startup+0.701772 s] /proc/loadavg: 0.99 0.97 0.91 3/65 19938 /proc/meminfo: memFree=1745976/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=13176 CPUtime=0.69 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 897 0 0 0 69 0 0 0 23 0 1 0 192115994 13492224 875 1992294400 134512640 137136520 4294956256 18446744073709551615 136509126 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 3294 875 198 640 0 2650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13176 [startup+1.50186 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1742576/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=15004 CPUtime=1.49 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 1351 0 0 0 149 0 0 0 25 0 1 0 192115994 15364096 1329 1992294400 134512640 137136520 4294956256 18446744073709551615 134543840 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 3751 1329 198 640 0 3107 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15004 [startup+3.10105 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1739888/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=16440 CPUtime=3.09 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 1719 0 0 0 308 1 0 0 25 0 1 0 192115994 16834560 1697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4110 1697 198 640 0 3466 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16440 [startup+6.30142 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1739184/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=16832 CPUtime=6.29 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 1828 0 0 0 628 1 0 0 25 0 1 0 192115994 17235968 1806 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4208 1806 198 640 0 3564 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16832 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1738416/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=17600 CPUtime=12.69 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2004 0 0 0 1267 2 0 0 25 0 1 0 192115994 18022400 1982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4400 1982 198 640 0 3756 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17600 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1738416/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=17600 CPUtime=25.48 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2004 0 0 0 2545 3 0 0 25 0 1 0 192115994 18022400 1982 1992294400 134512640 137136520 4294956256 18446744073709551615 136502105 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4400 1982 198 640 0 3756 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17600 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1738480/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=17600 CPUtime=51.06 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2004 0 0 0 5100 6 0 0 25 0 1 0 192115994 18022400 1982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4400 1982 198 640 0 3756 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 17600 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=102.25 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2230 0 0 0 10214 11 0 0 25 0 1 0 192115994 18968576 2208 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2208 198 640 0 3987 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 18524 Solver just ended. Dumping a history of the last processes samples [startup+115.102 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=115.04 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2230 0 0 0 11492 12 0 0 25 0 1 0 192115994 18968576 2208 1992294400 134512640 137136520 4294956256 18446744073709551615 134544297 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2208 198 640 0 3987 0 Current children cumulated CPU time (s) 115.04 Current children cumulated vsize (KiB) 18524 [startup+121.502 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=121.43 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12131 12 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 121.43 Current children cumulated vsize (KiB) 18524 [startup+124.701 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=124.63 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12451 12 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 124.63 Current children cumulated vsize (KiB) 18524 [startup+126.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=126.24 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12611 13 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 126.24 Current children cumulated vsize (KiB) 18524 [startup+127.901 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=127.84 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12771 13 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 127.84 Current children cumulated vsize (KiB) 18524 [startup+128.706 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=128.64 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12851 13 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 128.64 Current children cumulated vsize (KiB) 18524 [startup+128.902 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=128.84 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12871 13 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 136502397 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 128.84 Current children cumulated vsize (KiB) 18524 [startup+129.002 s] /proc/loadavg: 0.99 0.97 0.91 2/66 19939 /proc/meminfo: memFree=1737648/2055920 swapFree=4176004/4192956 [pid=19938] ppid=19936 vsize=18524 CPUtime=128.94 /proc/19938/stat : 19938 (bsolo) R 19936 19938 19570 0 -1 4194304 2231 0 0 0 12881 13 0 0 25 0 1 0 192115994 18968576 2209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19938/statm: 4631 2209 198 640 0 3987 0 Current children cumulated CPU time (s) 128.94 Current children cumulated vsize (KiB) 18524 Child status: 0 Real time (s): 129.071 CPU time (s): 129.012 CPU user time (s): 128.879 CPU system time (s): 0.132979 CPU usage (%): 99.9543 Max. virtual memory (cumulated for all children) (KiB): 18528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 128.879 system time used= 0.132979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2233 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= 457 runsolver used 0.098984 second user time and 0.379942 second system time The end
Begin job on node74 at 2009-06-17 15:26:07 IDJOB=1879535 IDBENCH=48085 IDSOLVER=701 FILE ID=node74/1879535-1245245167 PBS_JOBID= 9372277 Free space on /tmp= 103016 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=53-P2=41-P3=41-P4=41-P5=53-P6=41-P7=47-P8=17-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879535-1245245167/watcher-1879535-1245245167 -o /tmp/evaluation-result-1879535-1245245167/solver-1879535-1245245167 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879535-1245245167.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0eba974a59288ae5bf4b2b37c5eda4fb RANDOM SEED=926351331 node74.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.218 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.218 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: 1746520 kB Buffers: 35980 kB Cached: 207924 kB SwapCached: 10348 kB Active: 39384 kB Inactive: 218496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1746520 kB SwapTotal: 4192956 kB SwapFree: 4176004 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 14248 kB Slab: 37340 kB Committed_AS: 97812 kB PageTables: 1444 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-1879535-1245245167.opb Free space on /tmp at the end= 103016 MiB End job on node74 at 2009-06-17 15:28:16