Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 3 | 1798 | 1798.44 |
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 | 0.488925 |
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.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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670446-1276702223.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.004 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.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 2.29/2.33 c 101 432 762 9928 13 2559 4058 101 4809 0.02 2.29/2.33 c 252 432 913 23634 25 2855 4464 252 6300 0.04 2.29/2.33 c 477 432 1138 42087 36 3255 4911 477 7119 0.07 2.29/2.33 c 816 432 1477 72077 48 3975 5403 816 7486 0.11 2.29/2.33 c 1324 432 1985 115343 58 4872 5944 1324 6860 0.19 2.29/2.33 c 2088 432 2749 178325 64 6413 6539 2088 6424 0.33 2.29/2.33 c 3235 432 3896 257967 66 8745 7193 3235 5436 0.59 2.29/2.33 c 4957 432 5618 396849 70 12209 7913 4957 4986 0.99 2.29/2.33 c 7541 432 8202 604300 73 17387 8705 7541 3476 2.17 2.29/2.33 o 3 1797.97/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.43 c 7958 432 8620 638617 74 18202 3707 7959 3413 2.33 1797.97/1798.43 c 8059 411 2617 154324 58 6247 4078 1956 3374 2.39 1797.97/1798.43 c 8309 401 2867 175485 61 6722 4486 2206 3406 2.44 1797.97/1798.43 c 8784 390 3342 215516 64 7677 4935 2681 3466 2.53 1797.97/1798.43 c 9598 390 4156 277087 66 9293 5429 3495 3532 2.72 1797.97/1798.43 c 10919 390 5477 377608 68 11933 5972 4816 3402 3.21 1797.97/1798.43 c 13001 366 4456 289887 65 9928 6570 3795 3265 3.98 1797.97/1798.43 c 16227 366 4072 272752 66 9155 7228 3411 3372 4.81 1797.97/1798.43 c 21164 366 5174 355083 68 11313 7951 4513 3362 6.29 1797.97/1798.43 c 28671 343 8319 599998 72 17560 8747 7658 3065 9.35 1797.97/1798.43 c 40032 343 5435 398088 73 11834 9622 4774 2834 14.12 1797.97/1798.43 c 57178 343 7113 541942 76 15242 10585 6452 2801 20.41 1797.97/1798.43 c 82997 343 10343 827012 79 21676 11644 9682 2371 35.00 1797.97/1798.43 c 121829 343 11967 846722 70 24931 12809 11306 2043 59.62 1797.97/1798.43 c 180181 343 11068 927955 83 23105 14090 10407 1782 101.10 1797.97/1798.43 c 267813 343 10018 718782 71 21022 15500 9357 1594 167.94 1797.97/1798.43 c 399366 343 11822 934754 79 24627 17051 11161 1370 291.36 1797.97/1798.43 c 596799 343 13879 974682 70 28720 18757 13218 1250 477.26 1797.97/1798.43 c 893051 333 17945 1328852 74 36882 20633 17284 1115 800.55 1797.97/1798.43 c 1337534 333 14141 1002726 70 29202 22697 13480 963 1388.39 1797.97/1798.43 c Resources Exceeded 1797.97/1798.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 -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.97/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.43 c 29 1642390 13237 1670976 16024 1142480 15363 913 1798.00 1797.97/1798.43 c Objective: 3 1797.97/1798.43 s SATISFIABLE 1797.97/1798.43 c Total time: 1798 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-2670446-1276702223/watcher-2670446-1276702223 -o /tmp/evaluation-result-2670446-1276702223/solver-2670446-1276702223 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670446-1276702223.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 1.01 1.00 3/106 16131 /proc/meminfo: memFree=1830028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=10924 CPUtime=0 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11513896 11186176 284 1992294400 134512640 137138936 4292880352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 2731 284 185 642 0 2087 0 [startup+0.055397 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16131 /proc/meminfo: memFree=1830028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=11304 CPUtime=0.04 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 476 0 0 0 4 0 0 0 20 0 1 0 11513896 11575296 388 1992294400 134512640 137138936 4292880352 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 2826 388 190 642 0 2182 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11304 [startup+0.1014 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16131 /proc/meminfo: memFree=1830028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=11800 CPUtime=0.09 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 590 0 0 0 9 0 0 0 20 0 1 0 11513896 12083200 502 1992294400 134512640 137138936 4292880352 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 2950 502 190 642 0 2306 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11800 [startup+0.300418 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16131 /proc/meminfo: memFree=1830028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=13176 CPUtime=0.29 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 942 0 0 0 29 0 0 0 20 0 1 0 11513896 13492224 854 1992294400 134512640 137138936 4292880352 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 3294 854 190 642 0 2650 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13176 [startup+0.700453 s] /proc/loadavg: 1.00 1.01 1.00 3/106 16131 /proc/meminfo: memFree=1830028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=14816 CPUtime=0.69 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 1357 0 0 0 68 1 0 0 20 0 1 0 11513896 15171584 1269 1992294400 134512640 137138936 4292880352 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 3704 1269 190 642 0 3060 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14816 [startup+1.50152 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16132 /proc/meminfo: memFree=1824068/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=17948 CPUtime=1.49 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 2140 0 0 0 148 1 0 0 23 0 1 0 11513896 18378752 2052 1992294400 134512640 137138936 4292880352 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 4487 2052 190 642 0 3843 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17948 [startup+3.10166 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16132 /proc/meminfo: memFree=1821092/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=19956 CPUtime=3.1 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 2628 0 0 0 307 3 0 0 25 0 1 0 11513896 20434944 2540 1992294400 134512640 137138936 4292880352 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 4989 2540 191 642 0 4345 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 19956 [startup+6.30194 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16132 /proc/meminfo: memFree=1820348/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=19956 CPUtime=6.29 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 2628 0 0 0 625 4 0 0 25 0 1 0 11513896 20434944 2540 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 4989 2540 191 642 0 4345 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19956 [startup+12.7015 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16132 /proc/meminfo: memFree=1818876/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=21460 CPUtime=12.69 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 3009 0 0 0 1263 6 0 0 25 0 1 0 11513896 21975040 2921 1992294400 134512640 137138936 4292880352 18446744073709551615 134577898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 5365 2921 191 642 0 4721 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21460 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16132 /proc/meminfo: memFree=1817016/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=23340 CPUtime=25.48 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 3494 0 0 0 2537 11 0 0 25 0 1 0 11513896 23900160 3406 1992294400 134512640 137138936 4292880352 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 5835 3406 191 642 0 5191 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23340 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16132 /proc/meminfo: memFree=1815156/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=25216 CPUtime=51.08 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 3967 0 0 0 5090 18 0 0 25 0 1 0 11513896 25821184 3879 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 6304 3879 191 642 0 5660 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25216 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16134 /proc/meminfo: memFree=1812304/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=28352 CPUtime=102.27 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 4739 0 0 0 10194 33 0 0 25 0 1 0 11513896 29032448 4651 1992294400 134512640 137138936 4292880352 18446744073709551615 134540724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 7088 4651 191 642 0 6444 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28352 [startup+162.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 16139 /proc/meminfo: memFree=1811436/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=28348 CPUtime=162.25 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 4739 0 0 0 16175 50 0 0 25 0 1 0 11513896 29028352 4651 1992294400 134512640 137138936 4292880352 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 7087 4651 191 642 0 6443 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28348 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 16141 /proc/meminfo: memFree=1810320/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=29640 CPUtime=222.24 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5058 0 0 0 22156 68 0 0 25 0 1 0 11513896 30351360 4970 1992294400 134512640 137138936 4292880352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 7410 4970 191 642 0 6766 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29640 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16141 /proc/meminfo: memFree=1810320/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=29640 CPUtime=282.22 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5058 0 0 0 28140 82 0 0 25 0 1 0 11513896 30351360 4970 1992294400 134512640 137138936 4292880352 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 7410 4970 191 642 0 6766 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 29640 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16143 /proc/meminfo: memFree=1808584/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=31392 CPUtime=342.21 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5502 0 0 0 34123 98 0 0 25 0 1 0 11513896 32145408 5414 1992294400 134512640 137138936 4292880352 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 7848 5414 191 642 0 7204 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 31392 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16145 /proc/meminfo: memFree=1808584/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=31392 CPUtime=402.2 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5504 0 0 0 40108 112 0 0 25 0 1 0 11513896 32145408 5416 1992294400 134512640 137138936 4292880352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 7848 5416 191 642 0 7204 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 31392 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16147 /proc/meminfo: memFree=1807468/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=32400 CPUtime=462.17 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5756 0 0 0 46090 127 0 0 25 0 1 0 11513896 33177600 5668 1992294400 134512640 137138936 4292880352 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8100 5668 191 642 0 7456 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 32400 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16149 /proc/meminfo: memFree=1806724/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33216 CPUtime=522.16 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5954 0 0 0 52074 142 0 0 25 0 1 0 11513896 34013184 5866 1992294400 134512640 137138936 4292880352 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8304 5866 191 642 0 7660 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 33216 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16149 /proc/meminfo: memFree=1806724/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33272 CPUtime=582.16 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5969 0 0 0 58060 156 0 0 25 0 1 0 11513896 34070528 5881 1992294400 134512640 137138936 4292880352 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8318 5881 191 642 0 7674 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 33272 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16151 /proc/meminfo: memFree=1806600/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33332 CPUtime=642.14 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 5983 0 0 0 64044 170 0 0 25 0 1 0 11513896 34131968 5895 1992294400 134512640 137138936 4292880352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8333 5895 191 642 0 7689 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 33332 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1805732/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33988 CPUtime=1122.02 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 6162 0 0 0 111922 280 0 0 25 0 1 0 11513896 34803712 6068 1992294400 134512640 137138936 4292880352 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8497 6068 191 642 0 7853 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 33988 [startup+1182.3 s] /proc/loadavg: 1.14 1.04 1.01 2/107 16165 /proc/meminfo: memFree=1805732/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33988 CPUtime=1182.01 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 6162 0 0 0 117909 292 0 0 25 0 1 0 11513896 34803712 6068 1992294400 134512640 137138936 4292880352 18446744073709551615 136511215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8497 6068 191 642 0 7853 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 33988 [startup+1242.3 s] /proc/loadavg: 1.11 1.05 1.01 2/107 16167 /proc/meminfo: memFree=1805608/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33988 CPUtime=1241.99 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 6162 0 0 0 123895 304 0 0 25 0 1 0 11513896 34803712 6068 1992294400 134512640 137138936 4292880352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8497 6068 191 642 0 7853 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 33988 [startup+1302.3 s] /proc/loadavg: 1.17 1.07 1.01 2/107 16169 /proc/meminfo: memFree=1805484/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33988 CPUtime=1301.99 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 6162 0 0 0 129882 317 0 0 25 0 1 0 11513896 34803712 6068 1992294400 134512640 137138936 4292880352 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8497 6068 191 642 0 7853 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 33988 [startup+1362.3 s] /proc/loadavg: 1.06 1.05 1.01 2/107 16171 /proc/meminfo: memFree=1805484/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=33988 CPUtime=1361.96 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 6162 0 0 0 135866 330 0 0 25 0 1 0 11513896 34803712 6068 1992294400 134512640 137138936 4292880352 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 8497 6068 191 642 0 7853 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 33988 [startup+1422.31 s] /proc/loadavg: 1.02 1.04 1.00 2/107 16173 /proc/meminfo: memFree=1802136/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=37432 CPUtime=1421.96 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7018 0 0 0 141852 344 0 0 25 0 1 0 11513896 38330368 6924 1992294400 134512640 137138936 4292880352 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9358 6924 191 642 0 8714 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 37432 [startup+1482.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 16173 /proc/meminfo: memFree=1801268/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=38364 CPUtime=1481.93 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7250 0 0 0 147834 359 0 0 25 0 1 0 11513896 39284736 7156 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9591 7156 191 642 0 8947 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 38364 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16175 /proc/meminfo: memFree=1800400/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39240 CPUtime=1541.92 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7478 0 0 0 153818 374 0 0 25 0 1 0 11513896 40181760 7384 1992294400 134512640 137138936 4292880352 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9810 7384 191 642 0 9166 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 39240 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 16177 /proc/meminfo: memFree=1800028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39448 CPUtime=1601.9 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 159802 388 0 0 25 0 1 0 11513896 40394752 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9862 7430 191 642 0 9218 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 39448 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16179 /proc/meminfo: memFree=1800028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39444 CPUtime=1661.89 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 165789 400 0 0 25 0 1 0 11513896 40390656 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9861 7430 191 642 0 9217 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 39444 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 16181 /proc/meminfo: memFree=1800028/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1721.87 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 171774 413 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 39440 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16181 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1781.86 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 177761 425 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 39440 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1791.47 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 178720 427 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 39440 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1794.67 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 179039 428 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 39440 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1796.26 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 179198 428 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 39440 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1797.06 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 179278 428 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 39440 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1797.46 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 179318 428 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (KiB) 39440 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1797.86 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 179358 428 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 39440 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 16183 /proc/meminfo: memFree=1799780/2059040 swapFree=4141108/4192956 [pid=16131] ppid=16129 vsize=39440 CPUtime=1797.97 /proc/16131/stat : 16131 (bsolo_pb10) R 16129 16131 15714 0 -1 4202496 7524 0 0 0 179369 428 0 0 25 0 1 0 11513896 40386560 7430 1992294400 134512640 137138936 4292880352 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16131/statm: 9860 7430 191 642 0 9216 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 39440 Child status: 0 Real time (s): 1798.44 CPU time (s): 1798 CPU user time (s): 1793.72 CPU system time (s): 4.28735 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 39456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.72 system time used= 4.28735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7525 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= 4907 runsolver used 2.84357 second user time and 8.62069 second system time The end
Begin job on node050 at 2010-06-16 17:30:23 IDJOB=2670446 IDBENCH=47939 IDSOLVER=1163 FILE ID=node050/2670446-1276702223 PBS_JOBID= 11174094 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Cl 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_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670446-1276702223/watcher-2670446-1276702223 -o /tmp/evaluation-result-2670446-1276702223/solver-2670446-1276702223 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670446-1276702223.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a RANDOM SEED=1775035633 node050.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.215 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.43 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.215 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: 1830804 kB Buffers: 20020 kB Cached: 117756 kB SwapCached: 6568 kB Active: 80300 kB Inactive: 71684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830804 kB SwapTotal: 4192956 kB SwapFree: 4141108 kB Dirty: 3960 kB Writeback: 0 kB AnonPages: 11856 kB Mapped: 13048 kB Slab: 54396 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181440 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-2670446-1276702223.opb Free space on /tmp at the end= 62568 MiB End job on node050 at 2010-06-16 18:00:21