Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 1181.53 | 1181.84 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=37-P1=47-P2=17-P3=127-P4=31-P5=127-P6=17-B.opb |
MD5SUM | 844fbce0d49bf88665e134a5a6d0ad31 |
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 | 4.77927 |
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 | 126 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 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) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
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-1879531-1245245009.opb 0.00/0.00 c File size is 21871 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: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % 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 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 12.29/12.38 c 100 420 803 12224 15 5119 3788 196 3846 0.03 12.29/12.38 c 250 420 1072 26288 24 7097 4167 465 3289 0.08 12.29/12.38 c 475 420 1500 49846 33 13039 4584 893 2932 0.16 12.29/12.38 c 813 420 2140 91498 42 16897 5043 1533 2493 0.33 12.29/12.38 c 1322 420 3118 147200 47 28207 5548 2511 1955 0.68 12.29/12.38 c 2086 420 4592 219074 47 46746 6103 3985 1470 1.42 12.29/12.38 c 3232 420 3659 147185 40 23468 6714 3052 802 4.03 12.29/12.38 c 4954 420 6870 317042 46 53854 7386 6263 875 5.66 12.29/12.38 c 7539 420 7694 371900 48 62970 8125 7087 667 11.29 12.29/12.38 o 65 16.78/16.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.78/16.80 c 8657 420 5326 243835 45 42793 3457 4719 699 12.38 16.78/16.80 c 8759 420 2525 103448 40 18624 3803 1918 700 12.50 16.78/16.80 c 9009 420 3008 132352 44 24595 4184 2401 715 12.58 16.78/16.80 c 9484 420 3897 183105 46 36012 4603 3290 730 12.99 16.78/16.80 c 10297 420 2910 132259 45 23251 5064 2303 749 13.73 16.78/16.80 c 11618 420 5415 264081 48 41152 5571 4808 785 14.79 16.78/16.80 o 19 17.78/17.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.78/17.84 c 13614 420 5998 288059 48 41870 3457 5391 810 16.80 17.78/17.84 c 13714 402 2527 105770 41 18855 3803 1920 811 16.91 17.78/17.84 c 13965 402 3006 132467 44 25683 4184 2399 818 17.05 17.78/17.84 c 14440 402 3856 172445 44 33785 4603 3249 832 17.35 17.78/17.84 o 5 20.38/20.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.38/20.40 c 15010 402 4899 224433 45 41095 3453 4292 841 17.84 20.38/20.40 c 15111 384 2526 96406 38 17866 3799 1919 843 17.91 20.38/20.40 c 15363 384 2988 127281 42 23429 4179 2381 848 18.11 20.38/20.40 c 15839 384 3877 173744 44 32707 4597 3270 858 18.46 20.38/20.40 c 16653 384 2911 119149 40 23129 5057 2304 851 19.55 20.38/20.40 o 3 1181.48/1181.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1181.48/1181.83 c 17819 384 5090 237689 46 43789 3449 4483 873 20.40 1181.48/1181.83 c 17919 365 2505 104109 41 21522 3794 1898 873 20.52 1181.48/1181.83 c 18169 365 2991 133847 44 28498 4174 2384 877 20.72 1181.48/1181.83 c 18644 365 3854 178971 46 37958 4592 3247 883 21.09 1181.48/1181.83 c 19457 365 2909 128164 44 22493 5052 2302 890 21.85 1181.48/1181.83 c 20778 365 5343 258670 48 41228 5558 4736 899 23.09 1181.48/1181.83 c 22860 365 6161 298680 48 52074 6114 5554 881 25.94 1181.48/1181.83 c 26083 365 5507 287867 52 49483 6726 4900 851 30.64 1181.48/1181.83 c 31019 365 6789 337851 49 51035 7399 6182 801 38.70 1181.48/1181.83 c 38525 365 4584 222938 48 31515 8139 3977 714 53.92 1181.48/1181.83 c 49886 365 8159 403248 49 78516 8953 7552 505 98.61 1181.48/1181.83 c 67031 365 7134 344890 48 68866 9849 6527 313 213.90 1181.48/1181.83 c 92850 365 6951 353029 50 53160 10834 6344 265 349.32 1181.48/1181.83 c 131683 364 10778 560023 51 92098 11918 10171 240 548.29 1181.48/1181.83 c 190036 361 7841 388992 49 76318 13110 7234 204 931.21 1181.48/1181.83 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 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 x50 -x51 -x52 -x53 -x54 -x55 -x56 x85 -x86 -x87 -x88 -x89 -x90 -x91 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 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x57 x58 x59 -x60 -x61 -x62 -x63 -x92 -x93 -x94 -x95 -x96 -x97 -x98 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 x64 -x65 -x66 -x67 -x68 x69 -x70 x99 -x100 -x101 -x102 -x103 -x104 -x105 x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 -x308 x309 -x310 -x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 x71 -x72 -x73 -x74 x75 -x76 -x77 x106 -x107 x108 x109 x110 -x111 -x112 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 x78 -x79 -x80 -x81 -x82 x83 -x84 -x113 x114 -x115 -x116 -x117 -x118 -x119 x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x120 -x121 x122 -x123 -x124 -x125 -x126 1181.48/1181.83 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1181.48/1181.83 c 39 214228 4308 230638 12473 581923 11866 181 1181.53 1181.48/1181.83 c Objective: 3 1181.48/1181.83 s OPTIMUM FOUND 1181.48/1181.83 c Total time: 1181.53 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-1879531-1245245009/watcher-1879531-1245245009 -o /tmp/evaluation-result-1879531-1245245009/solver-1879531-1245245009 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879531-1245245009.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 0.99 0.91 3/65 15081 /proc/meminfo: memFree=1263016/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=10844 CPUtime=0 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 293 0 0 0 0 0 0 0 20 0 1 0 192098938 11104256 271 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 2711 271 189 640 0 2067 0 [startup+0.0947199 s] /proc/loadavg: 1.00 0.99 0.91 3/65 15081 /proc/meminfo: memFree=1263016/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=11368 CPUtime=0.09 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 449 0 0 0 9 0 0 0 20 0 1 0 192098938 11640832 427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 2842 427 198 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.10172 s] /proc/loadavg: 1.00 0.99 0.91 3/65 15081 /proc/meminfo: memFree=1263016/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=11368 CPUtime=0.09 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 458 0 0 0 9 0 0 0 20 0 1 0 192098938 11640832 436 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 2842 436 198 640 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11368 [startup+0.301742 s] /proc/loadavg: 1.00 0.99 0.91 3/65 15081 /proc/meminfo: memFree=1263016/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=12276 CPUtime=0.29 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 678 0 0 0 29 0 0 0 22 0 1 0 192098938 12570624 657 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 3069 657 198 640 0 2425 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12276 [startup+0.701786 s] /proc/loadavg: 1.00 0.99 0.91 3/65 15081 /proc/meminfo: memFree=1263016/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=13836 CPUtime=0.69 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 1053 0 0 0 69 0 0 0 25 0 1 0 192098938 14168064 1031 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 3459 1031 198 640 0 2815 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13836 [startup+1.50187 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1258912/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=15136 CPUtime=1.49 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 1383 0 0 0 149 0 0 0 25 0 1 0 192098938 15499264 1361 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 3784 1361 198 640 0 3140 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15136 [startup+3.10106 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1257504/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=16308 CPUtime=3.08 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 1696 0 0 0 308 0 0 0 25 0 1 0 192098938 16699392 1674 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 4077 1674 198 640 0 3433 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16308 [startup+6.30141 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1256352/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=17480 CPUtime=6.29 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 1963 0 0 0 628 1 0 0 25 0 1 0 192098938 17899520 1941 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 4370 1941 198 640 0 3726 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17480 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1253664/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=19416 CPUtime=12.69 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2471 0 0 0 1267 2 0 0 25 0 1 0 192098938 19881984 2449 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 4854 2449 198 640 0 4210 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19416 [startup+25.5015 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1253672/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=19416 CPUtime=25.49 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2471 0 0 0 2545 4 0 0 25 0 1 0 192098938 19881984 2449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 4854 2449 198 640 0 4210 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19416 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1253672/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=19416 CPUtime=51.08 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2471 0 0 0 5102 6 0 0 25 0 1 0 192098938 19881984 2449 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 4854 2449 198 640 0 4210 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19416 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1252264/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=20824 CPUtime=102.27 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2805 0 0 0 10219 8 0 0 25 0 1 0 192098938 21323776 2783 1992294400 134512640 137136520 4294956256 18446744073709551615 136502353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5206 2783 198 640 0 4562 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20824 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1252264/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=20820 CPUtime=162.25 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2805 0 0 0 16215 10 0 0 25 0 1 0 192098938 21319680 2783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5205 2783 198 640 0 4561 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20820 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1252200/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=20816 CPUtime=222.23 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2805 0 0 0 22211 12 0 0 25 0 1 0 192098938 21315584 2783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5204 2783 198 640 0 4560 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20816 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1251944/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=21056 CPUtime=282.21 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 2865 0 0 0 28206 15 0 0 25 0 1 0 192098938 21561344 2843 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5264 2843 198 640 0 4620 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21056 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1250984/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=21968 CPUtime=342.2 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3097 0 0 0 34202 18 0 0 25 0 1 0 192098938 22495232 3075 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5492 3075 198 640 0 4848 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 21968 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1250664/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=22228 CPUtime=402.18 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3167 0 0 0 40196 22 0 0 25 0 1 0 192098938 22761472 3145 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5557 3145 198 640 0 4913 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22228 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1249064/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=23792 CPUtime=462.16 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3563 0 0 0 46192 24 0 0 25 0 1 0 192098938 24363008 3541 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5948 3541 198 640 0 5304 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 23792 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1248872/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=23924 CPUtime=522.15 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3589 0 0 0 52189 26 0 0 25 0 1 0 192098938 24498176 3567 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 5981 3567 198 640 0 5337 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 23924 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247464/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25316 CPUtime=582.14 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3934 0 0 0 58184 30 0 0 25 0 1 0 192098938 25923584 3912 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6329 3912 198 640 0 5685 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 25316 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247464/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25316 CPUtime=642.13 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3934 0 0 0 64181 32 0 0 25 0 1 0 192098938 25923584 3912 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6329 3912 198 640 0 5685 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 25316 [startup+702.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247336/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25316 CPUtime=702.1 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3947 0 0 0 70177 33 0 0 25 0 1 0 192098938 25923584 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6329 3925 198 640 0 5685 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 25316 [startup+762.305 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247336/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25316 CPUtime=762.09 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3947 0 0 0 76174 35 0 0 25 0 1 0 192098938 25923584 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6329 3925 198 640 0 5685 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 25316 [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247272/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25304 CPUtime=822.07 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3947 0 0 0 82169 38 0 0 25 0 1 0 192098938 25911296 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6326 3925 198 640 0 5682 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 25304 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247272/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25304 CPUtime=882.06 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3947 0 0 0 88166 40 0 0 25 0 1 0 192098938 25911296 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134544526 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6326 3925 198 640 0 5682 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 25304 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1247208/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=25304 CPUtime=942.04 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 3947 0 0 0 94162 42 0 0 25 0 1 0 192098938 25911296 3925 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6326 3925 198 640 0 5682 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 25304 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246312/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1002.03 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 100160 43 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 26324 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246248/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1062.01 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 106157 44 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 26324 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246248/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1122 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 112154 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 26324 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246248/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1126 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 112554 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1126 Current children cumulated vsize (KiB) 26324 [startup+1151.9 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1151.59 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 115113 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1151.59 Current children cumulated vsize (KiB) 26324 [startup+1164.7 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1164.38 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 116392 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1164.38 Current children cumulated vsize (KiB) 26324 [startup+1171.1 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1170.78 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 117032 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1170.78 Current children cumulated vsize (KiB) 26324 [startup+1177.5 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1177.18 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 117672 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1177.18 Current children cumulated vsize (KiB) 26324 [startup+1179.1 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1178.78 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 117832 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1178.78 Current children cumulated vsize (KiB) 26324 [startup+1180.7 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1180.38 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 117992 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1180.38 Current children cumulated vsize (KiB) 26324 [startup+1181.5 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1181.18 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 118072 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1181.18 Current children cumulated vsize (KiB) 26324 [startup+1181.7 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1181.38 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 118092 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1181.38 Current children cumulated vsize (KiB) 26324 [startup+1181.8 s] /proc/loadavg: 1.00 0.99 0.91 2/66 15082 /proc/meminfo: memFree=1246184/2055920 swapFree=4180860/4192956 [pid=15081] ppid=15079 vsize=26324 CPUtime=1181.48 /proc/15081/stat : 15081 (bsolo) R 15079 15081 14879 0 -1 4194304 4184 0 0 0 118102 46 0 0 25 0 1 0 192098938 26955776 4162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15081/statm: 6581 4162 198 640 0 5937 0 Current children cumulated CPU time (s) 1181.48 Current children cumulated vsize (KiB) 26324 Child status: 0 Real time (s): 1181.84 CPU time (s): 1181.53 CPU user time (s): 1181.06 CPU system time (s): 0.470928 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 26324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1181.06 system time used= 0.470928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4186 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= 1253 runsolver used 1.3188 second user time and 2.83857 second system time The end
Begin job on node87 at 2009-06-17 15:23:29 IDJOB=1879531 IDBENCH=48081 IDSOLVER=701 FILE ID=node87/1879531-1245245009 PBS_JOBID= 9372338 Free space on /tmp= 66468 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=37-P1=47-P2=17-P3=127-P4=31-P5=127-P6=17-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879531-1245245009/watcher-1879531-1245245009 -o /tmp/evaluation-result-1879531-1245245009/solver-1879531-1245245009 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879531-1245245009.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 844fbce0d49bf88665e134a5a6d0ad31 RANDOM SEED=1292307906 node87.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.235 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.235 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1263496 kB Buffers: 9892 kB Cached: 720304 kB SwapCached: 5904 kB Active: 39196 kB Inactive: 699344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1263496 kB SwapTotal: 4192956 kB SwapFree: 4180860 kB Dirty: 3940 kB Writeback: 0 kB Mapped: 13932 kB Slab: 39724 kB Committed_AS: 112404 kB PageTables: 1460 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-1879531-1245245009.opb Free space on /tmp at the end= 66464 MiB End job on node87 at 2009-06-17 15:43:11