Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 1240.8 | 1241.16 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb |
MD5SUM | 1d3dc680e7fede194f84acfa61415e9b |
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 | 3.72943 |
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 | 120 |
Total number of constraints | 11 |
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 | 11 |
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) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
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-2670564-1276702649.opb 0.00/0.00 c File size is 23753 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.004 s 0.00/0.00 c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.01 c Pre-processing Time: 0.008 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 11.00/11.05 c 100 440 756 9027 11 2512 4060 100 5555 0.02 11.00/11.05 c 250 440 906 22617 24 2819 4467 250 5434 0.05 11.00/11.05 c 477 440 1133 38182 33 3295 4914 477 6625 0.07 11.00/11.05 c 815 440 1471 60311 41 3964 5406 815 7409 0.11 11.00/11.05 c 1323 440 1979 94142 47 4957 5947 1323 7647 0.17 11.00/11.05 c 2086 440 2742 140352 51 6488 6542 2086 7023 0.30 11.00/11.05 c 3233 440 3889 218760 56 8751 7197 3233 6952 0.47 11.00/11.05 c 4954 440 5610 346381 61 12246 7917 4954 6676 0.74 11.00/11.05 c 7539 440 8195 515605 62 17402 8709 7539 4963 1.52 11.00/11.05 c 11418 440 7599 434095 57 16205 9580 6943 4252 2.69 11.00/11.05 c 17242 440 8572 479091 55 18123 10539 7916 3397 5.08 11.00/11.05 c 25980 440 6154 326025 52 13273 11593 5498 2512 10.34 11.00/11.05 o 3 1240.73/1241.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1240.73/1241.16 c 28230 440 8405 462881 55 17746 3706 7749 2553 11.05 1240.73/1241.16 c 28331 369 2611 122513 46 6230 4077 1955 2547 11.12 1240.73/1241.16 c 28582 369 2862 139399 48 6697 4485 2206 2561 11.16 1240.73/1241.16 c 29059 369 3339 170151 50 7652 4934 2683 2584 11.24 1240.73/1241.16 c 29874 369 4154 220508 53 9313 5428 3498 2622 11.39 1240.73/1241.16 c 31195 369 5475 292133 53 11946 5971 4819 2670 11.68 1240.73/1241.16 c 33276 369 4449 217533 48 9849 6569 3793 2725 12.21 1240.73/1241.16 c 36499 369 4066 232122 57 9129 7226 3410 2775 13.15 1240.73/1241.16 c 41436 369 5029 275408 54 11014 7949 4373 2855 14.51 1240.73/1241.16 c 48945 369 8231 568160 69 17476 8744 7575 2682 18.24 1240.73/1241.16 c 60306 369 5333 284275 53 11639 9619 4677 2539 23.74 1240.73/1241.16 c 77450 369 7157 444362 62 15271 10581 6501 2383 32.49 1240.73/1241.16 c 103269 369 10472 625256 59 21892 11640 9816 2326 44.39 1240.73/1241.16 c 142101 369 6604 396285 60 14178 12805 5948 2205 64.43 1240.73/1241.16 c 200453 369 11007 658261 59 22993 14086 10351 1882 106.49 1240.73/1241.16 c 288086 359 10283 620754 60 21552 15495 9627 1567 183.74 1240.73/1241.16 c 419638 359 12666 689637 54 26314 17045 12010 1369 306.37 1240.73/1241.16 c 617071 358 15401 844969 54 31792 18750 14745 1225 503.48 1240.73/1241.16 c 913324 358 15232 850410 55 31457 20626 14576 1063 858.50 1240.73/1241.16 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x38 x39 x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 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 x49 x50 -x51 x52 x53 -x54 -x55 -x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 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 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 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 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x73 x74 x75 x76 x77 x78 -x79 x80 x105 -x106 x107 x108 -x109 -x110 -x111 -x112 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 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x113 x114 x115 -x116 -x117 -x118 -x119 -x120 1240.73/1241.16 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1240.73/1241.16 c 31 1231170 7718 1253553 18863 1012176 18207 992 1240.79 1240.73/1241.16 c Objective: 3 1240.73/1241.16 s OPTIMUM FOUND 1240.73/1241.16 c Total time: 1240.79 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-2670564-1276702649/watcher-2670564-1276702649 -o /tmp/evaluation-result-2670564-1276702649/solver-2670564-1276702649 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670564-1276702649.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.03 1.01 0.92 3/106 16896 /proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=10924 CPUtime=0 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 363 0 0 0 0 0 0 0 18 0 1 0 11552955 11186176 276 1992294400 134512640 137138936 4291743456 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 2731 278 185 642 0 2087 0 [startup+0.0234241 s] /proc/loadavg: 1.03 1.01 0.92 3/106 16896 /proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=11052 CPUtime=0.02 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 394 0 0 0 2 0 0 0 20 0 1 0 11552955 11317248 307 1992294400 134512640 137138936 4291743456 18446744073709551615 134544876 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 2763 307 190 642 0 2119 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11052 [startup+0.100437 s] /proc/loadavg: 1.03 1.01 0.92 3/106 16896 /proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=11684 CPUtime=0.09 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 552 0 0 0 9 0 0 0 20 0 1 0 11552955 11964416 465 1992294400 134512640 137138936 4291743456 18446744073709551615 134576119 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 2921 465 190 642 0 2277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11684 [startup+0.300465 s] /proc/loadavg: 1.03 1.01 0.92 3/106 16896 /proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=12824 CPUtime=0.29 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 866 0 0 0 29 0 0 0 20 0 1 0 11552955 13131776 779 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 3206 779 190 642 0 2562 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12824 [startup+0.700521 s] /proc/loadavg: 1.03 1.01 0.92 3/106 16896 /proc/meminfo: memFree=1715784/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=15592 CPUtime=0.69 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 1556 0 0 0 68 1 0 0 20 0 1 0 11552955 15966208 1469 1992294400 134512640 137138936 4291743456 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 3898 1469 190 642 0 3254 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15592 [startup+1.50064 s] /proc/loadavg: 1.03 1.01 0.92 2/107 16897 /proc/meminfo: memFree=1709700/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=18240 CPUtime=1.48 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2206 0 0 0 147 1 0 0 23 0 1 0 11552955 18677760 2119 1992294400 134512640 137138936 4291743456 18446744073709551615 134601106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 4560 2119 190 642 0 3916 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18240 [startup+3.10086 s] /proc/loadavg: 1.03 1.01 0.92 2/107 16897 /proc/meminfo: memFree=1706972/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=19488 CPUtime=3.09 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2509 0 0 0 307 2 0 0 25 0 1 0 11552955 19955712 2422 1992294400 134512640 137138936 4291743456 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 4872 2422 190 642 0 4228 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19488 [startup+6.30131 s] /proc/loadavg: 1.02 1.01 0.92 2/107 16897 /proc/meminfo: memFree=1706848/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=19852 CPUtime=6.29 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2612 0 0 0 626 3 0 0 25 0 1 0 11552955 20328448 2525 1992294400 134512640 137138936 4291743456 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 4963 2525 190 642 0 4319 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19852 [startup+12.7012 s] /proc/loadavg: 1.02 1.01 0.92 2/107 16897 /proc/meminfo: memFree=1705608/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=20736 CPUtime=12.68 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2843 0 0 0 1263 5 0 0 25 0 1 0 11552955 21233664 2756 1992294400 134512640 137138936 4291743456 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 5184 2756 191 642 0 4540 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20736 [startup+25.501 s] /proc/loadavg: 1.02 1.01 0.92 2/107 16897 /proc/meminfo: memFree=1705608/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=20736 CPUtime=25.48 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 2843 0 0 0 2538 10 0 0 25 0 1 0 11552955 21233664 2756 1992294400 134512640 137138936 4291743456 18446744073709551615 134542918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 5184 2756 191 642 0 4540 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20736 [startup+51.1007 s] /proc/loadavg: 1.01 1.01 0.92 2/107 16897 /proc/meminfo: memFree=1703500/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=22952 CPUtime=51.07 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 3394 0 0 0 5088 19 0 0 25 0 1 0 11552955 23502848 3307 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 5738 3307 191 642 0 5094 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22952 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16899 /proc/meminfo: memFree=1702880/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=23460 CPUtime=102.27 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 3526 0 0 0 10193 34 0 0 25 0 1 0 11552955 24023040 3439 1992294400 134512640 137138936 4291743456 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 5865 3439 191 642 0 5221 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23460 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16901 /proc/meminfo: memFree=1701516/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=24692 CPUtime=162.25 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 3827 0 0 0 16174 51 0 0 25 0 1 0 11552955 25284608 3740 1992294400 134512640 137138936 4291743456 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 6173 3740 191 642 0 5529 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 24692 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16903 /proc/meminfo: memFree=1700772/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=25520 CPUtime=222.22 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4030 0 0 0 22159 63 0 0 25 0 1 0 11552955 26132480 3943 1992294400 134512640 137138936 4291743456 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 6380 3943 191 642 0 5736 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 25520 [startup+282.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16903 /proc/meminfo: memFree=1700772/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=25516 CPUtime=282.2 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4030 0 0 0 28140 80 0 0 25 0 1 0 11552955 26128384 3943 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 6379 3943 191 642 0 5735 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 25516 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16905 /proc/meminfo: memFree=1699160/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=27072 CPUtime=342.19 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4416 0 0 0 34122 97 0 0 25 0 1 0 11552955 27721728 4329 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 6768 4329 191 642 0 6124 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 27072 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16907 /proc/meminfo: memFree=1699160/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=27072 CPUtime=402.17 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4416 0 0 0 40105 112 0 0 25 0 1 0 11552955 27721728 4329 1992294400 134512640 137138936 4291743456 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 6768 4329 191 642 0 6124 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 27072 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16909 /proc/meminfo: memFree=1699160/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=27020 CPUtime=462.15 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4416 0 0 0 46090 125 0 0 25 0 1 0 11552955 27668480 4329 1992294400 134512640 137138936 4291743456 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 6755 4329 191 642 0 6111 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 27020 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16911 /proc/meminfo: memFree=1697672/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=28512 CPUtime=522.14 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 52076 138 0 0 25 0 1 0 11552955 29196288 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7128 4690 191 642 0 6484 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 28512 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16911 /proc/meminfo: memFree=1697672/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=28472 CPUtime=582.12 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 58061 151 0 0 25 0 1 0 11552955 29155328 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7118 4690 191 642 0 6474 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 28472 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16913 /proc/meminfo: memFree=1697548/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=28472 CPUtime=642.11 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 64049 162 0 0 25 0 1 0 11552955 29155328 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7118 4690 191 642 0 6474 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 28472 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16915 /proc/meminfo: memFree=1697548/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=28472 CPUtime=702.08 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4777 0 0 0 70035 173 0 0 25 0 1 0 11552955 29155328 4690 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7118 4690 191 642 0 6474 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 28472 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16917 /proc/meminfo: memFree=1697424/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=28588 CPUtime=762.07 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4796 0 0 0 76021 186 0 0 25 0 1 0 11552955 29274112 4709 1992294400 134512640 137138936 4291743456 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7147 4709 191 642 0 6503 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 28588 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16919 /proc/meminfo: memFree=1697424/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=28580 CPUtime=822.04 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 4796 0 0 0 82005 199 0 0 25 0 1 0 11552955 29265920 4709 1992294400 134512640 137138936 4291743456 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7145 4709 191 642 0 6501 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 28580 [startup+882.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16919 /proc/meminfo: memFree=1695564/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30448 CPUtime=882.03 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5265 0 0 0 87989 214 0 0 25 0 1 0 11552955 31178752 5178 1992294400 134512640 137138936 4291743456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7612 5178 191 642 0 6968 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 30448 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16921 /proc/meminfo: memFree=1695440/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30452 CPUtime=942.01 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 93973 228 0 0 25 0 1 0 11552955 31182848 5179 1992294400 134512640 137138936 4291743456 18446744073709551615 136502662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7613 5179 191 642 0 6969 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 30452 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16923 /proc/meminfo: memFree=1695440/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30452 CPUtime=1001.99 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 99956 243 0 0 25 0 1 0 11552955 31182848 5179 1992294400 134512640 137138936 4291743456 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7613 5179 191 642 0 6969 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 30452 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16925 /proc/meminfo: memFree=1695440/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30448 CPUtime=1061.98 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 105943 255 0 0 25 0 1 0 11552955 31178752 5179 1992294400 134512640 137138936 4291743456 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7612 5179 191 642 0 6968 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 30448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16927 /proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30380 CPUtime=1121.95 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 111927 268 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7595 5170 191 642 0 6951 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 30380 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16927 /proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30380 CPUtime=1181.94 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 117913 281 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7595 5170 191 642 0 6951 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 30380 Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695316/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30380 CPUtime=1202.74 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 119987 287 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7595 5170 191 642 0 6951 0 Current children cumulated CPU time (s) 1202.74 Current children cumulated vsize (KiB) 30380 [startup+1215.9 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30380 CPUtime=1215.53 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 121264 289 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7595 5170 191 642 0 6951 0 Current children cumulated CPU time (s) 1215.53 Current children cumulated vsize (KiB) 30380 [startup+1228.71 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30380 CPUtime=1228.33 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 122541 292 0 0 25 0 1 0 11552955 31109120 5170 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7595 5170 191 642 0 6951 0 Current children cumulated CPU time (s) 1228.33 Current children cumulated vsize (KiB) 30380 [startup+1235.1 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30376 CPUtime=1234.73 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123179 294 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7594 5169 191 642 0 6950 0 Current children cumulated CPU time (s) 1234.73 Current children cumulated vsize (KiB) 30376 [startup+1238.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30376 CPUtime=1237.93 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123498 295 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 135984584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7594 5169 191 642 0 6950 0 Current children cumulated CPU time (s) 1237.93 Current children cumulated vsize (KiB) 30376 [startup+1239.9 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30376 CPUtime=1239.52 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123657 295 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7594 5169 191 642 0 6950 0 Current children cumulated CPU time (s) 1239.52 Current children cumulated vsize (KiB) 30376 [startup+1240.7 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30376 CPUtime=1240.33 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123738 295 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7594 5169 191 642 0 6950 0 Current children cumulated CPU time (s) 1240.33 Current children cumulated vsize (KiB) 30376 [startup+1241.1 s] /proc/loadavg: 1.00 1.00 0.92 2/107 16929 /proc/meminfo: memFree=1695192/2059040 swapFree=4144492/4192956 [pid=16896] ppid=16894 vsize=30376 CPUtime=1240.73 /proc/16896/stat : 16896 (bsolo_pb10) R 16894 16896 16430 0 -1 4202496 5266 0 0 0 123777 296 0 0 25 0 1 0 11552955 31105024 5169 1992294400 134512640 137138936 4291743456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16896/statm: 7594 5169 191 642 0 6950 0 Current children cumulated CPU time (s) 1240.73 Current children cumulated vsize (KiB) 30376 Child status: 0 Real time (s): 1241.16 CPU time (s): 1240.8 CPU user time (s): 1237.83 CPU system time (s): 2.96355 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 30452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1237.83 system time used= 2.96355 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5267 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= 2133 runsolver used 1.9827 second user time and 5.9261 second system time The end
Begin job on node049 at 2010-06-16 17:37:29 IDJOB=2670564 IDBENCH=47998 IDSOLVER=1163 FILE ID=node049/2670564-1276702649 PBS_JOBID= 11174095 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670564-1276702649/watcher-2670564-1276702649 -o /tmp/evaluation-result-2670564-1276702649/solver-2670564-1276702649 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670564-1276702649.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d3dc680e7fede194f84acfa61415e9b RANDOM SEED=1385474976 node049.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.244 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.48 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.244 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: 1716684 kB Buffers: 124816 kB Cached: 119968 kB SwapCached: 5920 kB Active: 108104 kB Inactive: 153692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1716684 kB SwapTotal: 4192956 kB SwapFree: 4144492 kB Dirty: 3956 kB Writeback: 0 kB AnonPages: 14200 kB Mapped: 13088 kB Slab: 58428 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182860 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670564-1276702649.opb Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-16 17:58:10