Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 3 | 1798.02 | 1798.46 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb |
MD5SUM | e79e2db14e141163591dbcfdfed7384a |
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 | 17.0014 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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-1879389-1245243573.opb 0.00/0.00 c File size is 24020 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: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % 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 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 1.09/1.13 c 101 432 856 17816 20 6242 4058 195 2348 0.04 1.09/1.13 c 252 432 1153 45229 39 11110 4464 492 2831 0.09 1.09/1.13 c 477 432 1598 85116 53 24014 4911 937 2158 0.22 1.09/1.13 c 815 432 2271 147376 64 42778 5403 1610 2095 0.39 1.09/1.13 c 1324 432 3231 225383 69 49482 5944 2570 1425 0.93 1.09/1.13 o 57 7.99/8.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.06 c 1449 432 3478 248697 71 64073 3707 2817 1276 1.14 7.99/8.06 c 1550 432 3676 265243 72 69901 4078 3015 1209 1.28 7.99/8.06 c 1800 432 4146 321666 77 64734 4486 3485 973 1.85 7.99/8.06 c 2275 432 5076 397688 78 74716 4935 4415 780 2.92 7.99/8.06 c 3088 432 4102 295368 72 61711 5429 3441 580 5.32 7.99/8.06 o 41 188.64/188.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 188.64/188.79 c 4018 432 5836 448892 76 99404 3707 5175 498 8.07 188.64/188.79 c 4118 432 2715 180474 66 41106 4078 2054 467 8.81 188.64/188.79 c 4368 432 3195 218243 68 50609 4486 2534 472 9.25 188.64/188.79 c 4843 399 4115 283143 68 63781 4935 3454 497 9.74 188.64/188.79 c 5658 399 3132 203364 64 44840 5429 2471 498 11.34 188.64/188.79 c 6978 399 5684 406093 71 107596 5972 5023 521 13.38 188.64/188.79 c 9059 399 6574 463991 70 125208 6570 5913 322 28.08 188.64/188.79 c 12284 399 5921 415384 70 102739 7228 5260 220 55.65 188.64/188.79 c 17220 399 7376 755210 102 136533 7951 6715 180 95.21 188.64/188.79 c 24726 399 5265 375038 71 74197 8747 4604 160 153.66 188.64/188.79 o 3 1797.95/1798.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.45 c 28224 399 7502 548837 73 136196 3701 6841 149 188.74 1797.95/1798.45 c 28325 343 2715 164977 60 35606 4072 2054 148 191.14 1797.95/1798.45 c 28576 343 3202 205026 64 45884 4480 2541 149 191.54 1797.95/1798.45 c 29052 343 4103 278451 67 59677 4929 3442 150 192.67 1797.95/1798.45 c 29865 343 5666 403385 71 86490 5422 5005 152 196.19 1797.95/1798.45 c 31185 343 5266 367276 69 93798 5965 4605 151 205.20 1797.95/1798.45 c 33268 343 5943 470717 79 91529 6562 5282 159 208.57 1797.95/1798.45 c 36492 343 5128 364996 71 65362 7219 4467 163 223.19 1797.95/1798.45 c 41430 343 6868 570370 83 115826 7941 6207 164 251.35 1797.95/1798.45 c 48937 343 8110 647817 79 120614 8736 7449 160 305.43 1797.95/1798.45 c 60300 343 5843 411418 70 117921 9610 5182 140 429.33 1797.95/1798.45 c 77445 343 7129 564515 79 70600 10572 6468 129 595.86 1797.95/1798.45 c 103264 343 10027 771251 76 113696 11630 9366 113 910.53 1797.95/1798.45 c 142099 343 10755 895252 83 150397 12794 10094 93 1520.49 1797.95/1798.45 c Resources Exceeded 1797.95/1798.45 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 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 x310 -x311 -x312 -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 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1797.95/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.45 c 34 158552 1578 167858 8845 657257 8184 88 1798.02 1797.95/1798.45 c Objective: 3 1797.95/1798.45 s SATISFIABLE 1797.95/1798.45 c Total time: 1798.02 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-1879389-1245243573/watcher-1879389-1245243573 -o /tmp/evaluation-result-1879389-1245243573/solver-1879389-1245243573 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879389-1245243573.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.94 0.98 0.93 3/64 13865 /proc/meminfo: memFree=1730304/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=10708 CPUtime=0 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 191953439 10964992 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 2677 261 186 640 0 2033 0 [startup+0.0356389 s] /proc/loadavg: 0.94 0.98 0.93 3/64 13865 /proc/meminfo: memFree=1730304/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=11100 CPUtime=0.03 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 365 0 0 0 3 0 0 0 18 0 1 0 191953439 11366400 343 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 2775 343 197 640 0 2131 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11100 [startup+0.101644 s] /proc/loadavg: 0.94 0.98 0.93 3/64 13865 /proc/meminfo: memFree=1730304/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=11752 CPUtime=0.09 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 548 0 0 0 9 0 0 0 18 0 1 0 191953439 12034048 526 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 2938 526 198 640 0 2294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11752 [startup+0.301661 s] /proc/loadavg: 0.94 0.98 0.93 3/64 13865 /proc/meminfo: memFree=1730304/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=13308 CPUtime=0.29 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 924 0 0 0 29 0 0 0 19 0 1 0 191953439 13627392 902 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 3327 902 198 640 0 2683 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13308 [startup+0.701696 s] /proc/loadavg: 0.94 0.98 0.93 3/64 13865 /proc/meminfo: memFree=1730304/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=14480 CPUtime=0.69 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 1233 0 0 0 69 0 0 0 22 0 1 0 191953439 14827520 1211 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 3620 1211 198 640 0 2976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14480 [startup+1.50277 s] /proc/loadavg: 0.94 0.98 0.93 2/65 13866 /proc/meminfo: memFree=1725240/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=16432 CPUtime=1.5 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 1712 0 0 0 149 1 0 0 25 0 1 0 191953439 16826368 1690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 4108 1690 198 640 0 3464 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 16432 [startup+3.10191 s] /proc/loadavg: 0.94 0.98 0.93 2/65 13866 /proc/meminfo: memFree=1723320/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=18644 CPUtime=3.09 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 2253 0 0 0 308 1 0 0 25 0 1 0 191953439 19091456 2231 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 4661 2231 198 640 0 4017 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18644 [startup+6.30119 s] /proc/loadavg: 0.94 0.98 0.93 2/65 13866 /proc/meminfo: memFree=1721016/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=19556 CPUtime=6.28 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 2484 0 0 0 627 1 0 0 25 0 1 0 191953439 20025344 2462 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 4889 2462 198 640 0 4245 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19556 [startup+12.7018 s] /proc/loadavg: 0.95 0.98 0.93 2/65 13866 /proc/meminfo: memFree=1720768/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=19804 CPUtime=12.68 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 2546 0 0 0 1266 2 0 0 25 0 1 0 191953439 20279296 2524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 4951 2524 198 640 0 4307 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19804 [startup+25.5019 s] /proc/loadavg: 0.96 0.98 0.93 2/65 13866 /proc/meminfo: memFree=1719104/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=21364 CPUtime=25.48 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 2957 0 0 0 2545 3 0 0 25 0 1 0 191953439 21876736 2935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 5341 2935 198 640 0 4697 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21364 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.93 2/65 13866 /proc/meminfo: memFree=1717568/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=22948 CPUtime=51.07 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 3333 0 0 0 5103 4 0 0 25 0 1 0 191953439 23498752 3311 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 5737 3311 198 640 0 5093 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22948 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712696/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=27752 CPUtime=102.26 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4538 0 0 0 10219 7 0 0 25 0 1 0 191953439 28418048 4516 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 6938 4516 198 640 0 6294 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27752 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712696/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=27752 CPUtime=162.25 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4538 0 0 0 16215 10 0 0 25 0 1 0 191953439 28418048 4516 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 6938 4516 198 640 0 6294 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27752 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712632/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=27756 CPUtime=222.23 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4539 0 0 0 22211 12 0 0 25 0 1 0 191953439 28422144 4517 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 6939 4517 198 640 0 6295 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 27756 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712632/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=27756 CPUtime=282.22 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4539 0 0 0 28207 15 0 0 25 0 1 0 191953439 28422144 4517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 6939 4517 198 640 0 6295 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 27756 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712568/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=27756 CPUtime=342.2 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4539 0 0 0 34203 17 0 0 25 0 1 0 191953439 28422144 4517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 6939 4517 198 640 0 6295 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 27756 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712576/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=27756 CPUtime=402.19 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4539 0 0 0 40200 19 0 0 25 0 1 0 191953439 28422144 4517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 6939 4517 198 640 0 6295 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 27756 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1712064/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=28144 CPUtime=462.17 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4654 0 0 0 46196 21 0 0 25 0 1 0 191953439 28819456 4632 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7036 4632 198 640 0 6392 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28144 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1711936/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=28272 CPUtime=522.16 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4668 0 0 0 52194 22 0 0 25 0 1 0 191953439 28950528 4646 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7068 4646 198 640 0 6424 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 28272 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1711936/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=28268 CPUtime=582.14 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4668 0 0 0 58189 25 0 0 25 0 1 0 191953439 28946432 4646 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7067 4646 198 640 0 6423 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 28268 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1711552/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=28608 CPUtime=642.13 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 4753 0 0 0 64186 27 0 0 25 0 1 0 191953439 29294592 4731 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7152 4731 198 640 0 6508 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 28608 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1709312/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=30776 CPUtime=1122.01 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5349 0 0 0 112162 39 0 0 25 0 1 0 191953439 31514624 5289 1992294400 134512640 137136520 4294956256 18446744073709551615 134597772 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7694 5289 198 640 0 7050 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 30776 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1708928/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=31140 CPUtime=1182 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5425 0 0 0 118159 41 0 0 25 0 1 0 191953439 31887360 5365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7785 5365 198 640 0 7141 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 31140 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1708864/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=31140 CPUtime=1241.99 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5425 0 0 0 124157 42 0 0 25 0 1 0 191953439 31887360 5365 1992294400 134512640 137136520 4294956256 18446744073709551615 136503141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7785 5365 198 640 0 7141 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 31140 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1708800/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=31140 CPUtime=1301.98 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5425 0 0 0 130154 44 0 0 25 0 1 0 191953439 31887360 5365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7785 5365 198 640 0 7141 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 31140 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1708800/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=31140 CPUtime=1361.96 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5425 0 0 0 136151 45 0 0 25 0 1 0 191953439 31887360 5365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7785 5365 198 640 0 7141 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 31140 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1708736/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=31124 CPUtime=1421.95 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5425 0 0 0 142148 47 0 0 25 0 1 0 191953439 31870976 5365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7781 5365 198 640 0 7137 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 31124 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1708736/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=31124 CPUtime=1481.93 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5425 0 0 0 148145 48 0 0 25 0 1 0 191953439 31870976 5365 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 7781 5365 198 640 0 7137 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 31124 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707776/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1541.91 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 154142 49 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 32032 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707776/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1601.9 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 160139 51 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 32032 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707776/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1661.88 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 166136 52 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 32032 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707712/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1721.87 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 172133 54 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 32032 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1781.85 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 178130 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 32032 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1791.45 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179090 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 32032 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1794.65 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179410 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 32032 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1796.25 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179570 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 32032 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1797.05 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179650 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 32032 [startup+1797.9 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1797.45 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179690 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 32032 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1797.85 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179730 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 32032 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.93 2/65 13872 /proc/meminfo: memFree=1707648/2055920 swapFree=4181696/4192956 [pid=13865] ppid=13863 vsize=32032 CPUtime=1797.95 /proc/13865/stat : 13865 (bsolo) R 13863 13865 13458 0 -1 4194304 5660 0 0 0 179740 55 0 0 25 0 1 0 191953439 32800768 5600 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13865/statm: 8008 5600 198 640 0 7364 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 32032 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798.02 CPU user time (s): 1797.46 CPU system time (s): 0.561914 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 32032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.46 system time used= 0.561914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5662 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= 1602 runsolver used 1.37279 second user time and 4.03439 second system time The end
Begin job on node50 at 2009-06-17 14:59:33 IDJOB=1879389 IDBENCH=47939 IDSOLVER=701 FILE ID=node50/1879389-1245243573 PBS_JOBID= 9372290 Free space on /tmp= 66368 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=43-P1=101-P2=251-P3=307-P4=499-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879389-1245243573/watcher-1879389-1245243573 -o /tmp/evaluation-result-1879389-1245243573/solver-1879389-1245243573 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879389-1245243573.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a RANDOM SEED=1092790661 node50.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.211 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.211 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: 1730720 kB Buffers: 32152 kB Cached: 222620 kB SwapCached: 5328 kB Active: 83384 kB Inactive: 179028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1730720 kB SwapTotal: 4192956 kB SwapFree: 4181696 kB Dirty: 4116 kB Writeback: 0 kB Mapped: 13376 kB Slab: 48720 kB Committed_AS: 127360 kB PageTables: 1452 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-1879389-1245243573.opb Free space on /tmp at the end= 66364 MiB End job on node50 at 2009-06-17 15:29:32