Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 1603.01 | 1603.43 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb |
MD5SUM | e04f59e7146720276551350f74bab120 |
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 | 0.460929 |
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 | 96 |
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 | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670513-1276702281.opb 0.00/0.00 c File size is 18984 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.00 c Pre-processing Time: 0.007 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 4.19/4.22 c 102 352 717 11382 15 2377 3244 192 3517 0.03 4.19/4.22 c 252 352 1011 33116 32 3164 3569 486 3652 0.07 4.19/4.22 c 477 352 1433 59261 41 4102 3926 908 3697 0.13 4.19/4.22 c 816 352 2084 96996 46 5697 4319 1559 3532 0.23 4.19/4.22 c 1325 352 2982 153140 51 7757 4751 2457 3025 0.44 4.19/4.22 c 2088 352 4408 242644 55 11003 5227 3883 2844 0.73 4.19/4.22 c 3235 352 3781 193337 51 9708 5750 3256 2590 1.25 4.19/4.22 c 4956 352 4065 211795 52 10449 6326 3540 2390 2.07 4.19/4.22 c 7542 352 5782 275111 47 14602 6959 5257 2234 3.38 4.19/4.22 o 7 4.40/4.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.45 c 9479 352 5684 280544 49 14712 2965 5159 2246 4.22 4.40/4.45 c 9580 343 2208 100596 45 5817 3262 1683 2249 4.26 4.40/4.45 c 9831 343 2695 126235 46 7049 3589 2170 2273 4.32 4.40/4.45 o 3 1602.97/1603.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1602.97/1603.43 c 10225 343 3442 169703 49 8854 3013 2917 2297 4.45 1602.97/1603.43 c 10326 343 2034 92871 45 5133 3315 1509 2299 4.49 1602.97/1603.43 c 10576 343 2497 118088 47 6192 3647 1972 2313 4.57 1602.97/1603.43 c 11053 333 3402 163686 48 8557 4012 2877 2332 4.74 1602.97/1603.43 c 11866 315 2868 123889 43 7457 4414 2343 2343 5.06 1602.97/1603.43 c 13187 315 3050 130878 42 7984 4856 2525 2312 5.70 1602.97/1603.43 c 15273 281 4525 210442 46 11485 5342 4000 2262 6.75 1602.97/1603.43 c 18496 281 5098 233777 45 12893 5877 4573 2133 8.67 1602.97/1603.43 c 23432 281 5093 264967 52 12440 6465 4568 2051 11.42 1602.97/1603.43 c 30939 281 5468 268504 49 14139 7112 4943 2043 15.14 1602.97/1603.43 c 42301 281 7660 402211 52 18869 7824 7135 1802 23.47 1602.97/1603.43 c 59445 280 6892 346949 50 17639 8607 6367 1693 35.11 1602.97/1603.43 c 85265 280 5398 261774 48 13666 9468 4873 1476 57.75 1602.97/1603.43 c 124097 280 8982 502633 55 22096 10415 8457 1324 93.72 1602.97/1603.43 c 182449 280 6420 322977 50 16599 11457 5895 1282 142.25 1602.97/1603.43 c 270082 280 9790 494521 50 25861 12603 9265 1223 220.81 1602.97/1603.43 c 401635 271 10806 558502 51 27479 13864 10281 1034 388.22 1602.97/1603.43 c 599068 271 13545 630465 46 34949 15251 13020 894 669.76 1602.97/1603.43 c 895321 271 14701 719043 48 40236 16777 14176 817 1095.39 1602.97/1603.43 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 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -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 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 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 -x352 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 1602.97/1603.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1602.97/1603.43 c 31 1202910 6677 1220595 13578 530978 13053 750 1603.01 1602.97/1603.43 c Objective: 3 1602.97/1603.43 s OPTIMUM FOUND 1602.97/1603.43 c Total time: 1603.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-2670513-1276702281/watcher-2670513-1276702281 -o /tmp/evaluation-result-2670513-1276702281/solver-2670513-1276702281 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670513-1276702281.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.01 1.02 1.00 3/106 17106 /proc/meminfo: memFree=1815772/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=10924 CPUtime=0 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11520631 11186176 272 1992294400 134512640 137138936 4287227056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 2731 272 185 642 0 2087 0 [startup+0.0895159 s] /proc/loadavg: 1.01 1.02 1.00 3/106 17106 /proc/meminfo: memFree=1815772/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=11440 CPUtime=0.08 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 497 0 0 0 8 0 0 0 20 0 1 0 11520631 11714560 411 1992294400 134512640 137138936 4287227056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 2860 411 192 642 0 2216 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11440 [startup+0.101517 s] /proc/loadavg: 1.01 1.02 1.00 3/106 17106 /proc/meminfo: memFree=1815772/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=11440 CPUtime=0.09 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 516 0 0 0 9 0 0 0 20 0 1 0 11520631 11714560 430 1992294400 134512640 137138936 4287227056 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 2860 430 192 642 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11440 [startup+0.301539 s] /proc/loadavg: 1.01 1.02 1.00 3/106 17106 /proc/meminfo: memFree=1815772/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=12604 CPUtime=0.29 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 785 0 0 0 29 0 0 0 20 0 1 0 11520631 12906496 699 1992294400 134512640 137138936 4287227056 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 3151 699 192 642 0 2507 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12604 [startup+0.701582 s] /proc/loadavg: 1.01 1.02 1.00 3/106 17106 /proc/meminfo: memFree=1815772/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=14160 CPUtime=0.69 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 1202 0 0 0 69 0 0 0 20 0 1 0 11520631 14499840 1116 1992294400 134512640 137138936 4287227056 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 3540 1116 192 642 0 2896 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14160 [startup+1.50067 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17107 /proc/meminfo: memFree=1811052/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=15708 CPUtime=1.49 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 1588 0 0 0 148 1 0 0 23 0 1 0 11520631 16084992 1502 1992294400 134512640 137138936 4287227056 18446744073709551615 134602915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 3927 1502 192 642 0 3283 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15708 [startup+3.10085 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17107 /proc/meminfo: memFree=1810184/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=16204 CPUtime=3.09 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 1708 0 0 0 308 1 0 0 25 0 1 0 11520631 16592896 1622 1992294400 134512640 137138936 4287227056 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 4051 1622 192 642 0 3407 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16204 [startup+6.3012 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17107 /proc/meminfo: memFree=1809440/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=16720 CPUtime=6.29 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 1828 0 0 0 626 3 0 0 25 0 1 0 11520631 17121280 1742 1992294400 134512640 137138936 4287227056 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 4180 1742 192 642 0 3536 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16720 [startup+12.7009 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17107 /proc/meminfo: memFree=1809316/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=16720 CPUtime=12.69 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 1828 0 0 0 1264 5 0 0 25 0 1 0 11520631 17121280 1742 1992294400 134512640 137138936 4287227056 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 4180 1742 192 642 0 3536 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16720 [startup+25.5013 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17107 /proc/meminfo: memFree=1808448/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=17632 CPUtime=25.49 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 2066 0 0 0 2541 8 0 0 25 0 1 0 11520631 18055168 1980 1992294400 134512640 137138936 4287227056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 4408 1980 192 642 0 3764 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17632 [startup+51.1011 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17110 /proc/meminfo: memFree=1807448/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=18124 CPUtime=51.08 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 2170 0 0 0 5096 12 0 0 25 0 1 0 11520631 18558976 2084 1992294400 134512640 137138936 4287227056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 4531 2084 192 642 0 3887 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18124 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17112 /proc/meminfo: memFree=1805596/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=20300 CPUtime=102.27 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 2715 0 0 0 10204 23 0 0 25 0 1 0 11520631 20787200 2629 1992294400 134512640 137138936 4287227056 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5075 2629 192 642 0 4431 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20300 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17114 /proc/meminfo: memFree=1805224/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=20600 CPUtime=162.25 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 2806 0 0 0 16187 38 0 0 25 0 1 0 11520631 21094400 2720 1992294400 134512640 137138936 4287227056 18446744073709551615 134539117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5150 2720 192 642 0 4506 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20600 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17116 /proc/meminfo: memFree=1805100/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=20732 CPUtime=222.23 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 2835 0 0 0 22173 50 0 0 25 0 1 0 11520631 21229568 2749 1992294400 134512640 137138936 4287227056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5183 2749 192 642 0 4539 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20732 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17116 /proc/meminfo: memFree=1803984/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=21848 CPUtime=282.22 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3106 0 0 0 28160 62 0 0 25 0 1 0 11520631 22372352 3020 1992294400 134512640 137138936 4287227056 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5462 3020 192 642 0 4818 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 21848 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17118 /proc/meminfo: memFree=1803984/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=21844 CPUtime=342.2 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3106 0 0 0 34147 73 0 0 25 0 1 0 11520631 22368256 3020 1992294400 134512640 137138936 4287227056 18446744073709551615 136501679 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5461 3020 192 642 0 4817 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 21844 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17120 /proc/meminfo: memFree=1803240/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=22440 CPUtime=402.18 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3255 0 0 0 40134 84 0 0 25 0 1 0 11520631 22978560 3169 1992294400 134512640 137138936 4287227056 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5610 3169 192 642 0 4966 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22440 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17122 /proc/meminfo: memFree=1803240/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=22428 CPUtime=462.16 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3255 0 0 0 46121 95 0 0 25 0 1 0 11520631 22966272 3169 1992294400 134512640 137138936 4287227056 18446744073709551615 134606617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5607 3169 192 642 0 4963 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 22428 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17124 /proc/meminfo: memFree=1803240/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=22424 CPUtime=522.16 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3255 0 0 0 52110 106 0 0 25 0 1 0 11520631 22962176 3169 1992294400 134512640 137138936 4287227056 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5606 3169 192 642 0 4962 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 22424 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17124 /proc/meminfo: memFree=1803240/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=22424 CPUtime=582.13 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3255 0 0 0 58096 117 0 0 25 0 1 0 11520631 22962176 3169 1992294400 134512640 137138936 4287227056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 5606 3169 192 642 0 4962 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 22424 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17126 /proc/meminfo: memFree=1800388/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25232 CPUtime=642.13 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3954 0 0 0 64085 128 0 0 25 0 1 0 11520631 25837568 3868 1992294400 134512640 137138936 4287227056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6308 3868 192 642 0 5664 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 25232 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1800388/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25228 CPUtime=702.11 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 70072 139 0 0 25 0 1 0 11520631 25833472 3869 1992294400 134512640 137138936 4287227056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6307 3869 192 642 0 5663 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 25228 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17130 /proc/meminfo: memFree=1800388/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25224 CPUtime=762.1 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 76060 150 0 0 25 0 1 0 11520631 25829376 3869 1992294400 134512640 137138936 4287227056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6306 3869 192 642 0 5662 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 25224 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17132 /proc/meminfo: memFree=1800388/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25220 CPUtime=822.08 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 82045 163 0 0 25 0 1 0 11520631 25825280 3869 1992294400 134512640 137138936 4287227056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6305 3869 192 642 0 5661 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 25220 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17132 /proc/meminfo: memFree=1800388/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25156 CPUtime=882.05 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 88031 174 0 0 25 0 1 0 11520631 25759744 3865 1992294400 134512640 137138936 4287227056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6289 3865 192 642 0 5645 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 25156 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17134 /proc/meminfo: memFree=1800388/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25152 CPUtime=942.04 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 94017 187 0 0 25 0 1 0 11520631 25755648 3864 1992294400 134512640 137138936 4287227056 18446744073709551615 134607231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6288 3864 192 642 0 5644 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 25152 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17136 /proc/meminfo: memFree=1800264/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25152 CPUtime=1002.02 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 100004 198 0 0 25 0 1 0 11520631 25755648 3864 1992294400 134512640 137138936 4287227056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6288 3864 192 642 0 5644 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 25152 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17138 /proc/meminfo: memFree=1800264/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25152 CPUtime=1062.01 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3955 0 0 0 105991 210 0 0 25 0 1 0 11520631 25755648 3864 1992294400 134512640 137138936 4287227056 18446744073709551615 136502588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6288 3864 192 642 0 5644 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 25152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17140 /proc/meminfo: memFree=1800264/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25160 CPUtime=1122 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 111980 220 0 0 25 0 1 0 11520631 25763840 3866 1992294400 134512640 137138936 4287227056 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6290 3866 192 642 0 5646 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 25160 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17140 /proc/meminfo: memFree=1800140/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25156 CPUtime=1181.98 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 117969 229 0 0 25 0 1 0 11520631 25759744 3865 1992294400 134512640 137138936 4287227056 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6289 3865 192 642 0 5645 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 25156 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17142 /proc/meminfo: memFree=1799892/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25152 CPUtime=1241.96 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 123956 240 0 0 25 0 1 0 11520631 25755648 3864 1992294400 134512640 137138936 4287227056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6288 3864 192 642 0 5644 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 25152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17144 /proc/meminfo: memFree=1799892/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25148 CPUtime=1301.96 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 129943 253 0 0 25 0 1 0 11520631 25751552 3863 1992294400 134512640 137138936 4287227056 18446744073709551615 134604390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6287 3863 192 642 0 5643 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 25148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17146 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25144 CPUtime=1361.93 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 135929 264 0 0 25 0 1 0 11520631 25747456 3862 1992294400 134512640 137138936 4287227056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6286 3862 192 642 0 5642 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 25144 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17148 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25108 CPUtime=1421.93 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 141921 272 0 0 25 0 1 0 11520631 25710592 3853 1992294400 134512640 137138936 4287227056 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6277 3853 192 642 0 5633 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 25108 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17148 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25108 CPUtime=1481.9 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 147909 281 0 0 25 0 1 0 11520631 25710592 3853 1992294400 134512640 137138936 4287227056 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6277 3853 192 642 0 5633 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 25108 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17150 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25108 CPUtime=1541.88 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 153896 292 0 0 25 0 1 0 11520631 25710592 3853 1992294400 134512640 137138936 4287227056 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6277 3853 192 642 0 5633 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 25108 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17152 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25104 CPUtime=1601.87 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 159885 302 0 0 25 0 1 0 11520631 25706496 3852 1992294400 134512640 137138936 4287227056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6276 3852 192 642 0 5632 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 25104 Solver just ended. Dumping a history of the last processes samples [startup+1603.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17152 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25104 CPUtime=1602.67 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 159965 302 0 0 25 0 1 0 11520631 25706496 3852 1992294400 134512640 137138936 4287227056 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6276 3852 192 642 0 5632 0 Current children cumulated CPU time (s) 1602.67 Current children cumulated vsize (KiB) 25104 [startup+1603.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17152 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25104 CPUtime=1602.87 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 159985 302 0 0 25 0 1 0 11520631 25706496 3852 1992294400 134512640 137138936 4287227056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6276 3852 192 642 0 5632 0 Current children cumulated CPU time (s) 1602.87 Current children cumulated vsize (KiB) 25104 [startup+1603.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17152 /proc/meminfo: memFree=1799768/2059040 swapFree=4140124/4192956 [pid=17106] ppid=17104 vsize=25104 CPUtime=1602.97 /proc/17106/stat : 17106 (bsolo_pb10) R 17104 17106 16765 0 -1 4202496 3957 0 0 0 159995 302 0 0 25 0 1 0 11520631 25706496 3852 1992294400 134512640 137138936 4287227056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17106/statm: 6276 3852 192 642 0 5632 0 Current children cumulated CPU time (s) 1602.97 Current children cumulated vsize (KiB) 25104 Child status: 0 Real time (s): 1603.43 CPU time (s): 1603.01 CPU user time (s): 1599.98 CPU system time (s): 3.02654 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 25236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1599.98 system time used= 3.02654 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3958 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= 1 involuntary context switches= 2457 runsolver used 2.56861 second user time and 7.64384 second system time The end
Begin job on node042 at 2010-06-16 17:31:21 IDJOB=2670513 IDBENCH=47973 IDSOLVER=1162 FILE ID=node042/2670513-1276702281 PBS_JOBID= 11174101 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670513-1276702281/watcher-2670513-1276702281 -o /tmp/evaluation-result-2670513-1276702281/solver-2670513-1276702281 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670513-1276702281.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED=40355874 node042.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1816548 kB Buffers: 43332 kB Cached: 119816 kB SwapCached: 6424 kB Active: 85348 kB Inactive: 90968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1816548 kB SwapTotal: 4192956 kB SwapFree: 4140124 kB Dirty: 3948 kB Writeback: 0 kB AnonPages: 10764 kB Mapped: 13000 kB Slab: 44328 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183988 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670513-1276702281.opb Free space on /tmp at the end= 62576 MiB End job on node042 at 2010-06-16 17:58:05