Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 3 | 50.8393 | 50.852 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb |
MD5SUM | feb866c77c1922bd09324402c14b21f3 |
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.473927 |
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 | 105 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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-2670713-1276705037.opb 0.00/0.00 c File size is 18218 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % of total variables) 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 2.39/2.48 c 100 350 685 8172 11 2240 3154 179 4347 0.02 2.39/2.48 c 252 350 982 20496 20 2957 3470 476 4846 0.05 2.39/2.48 c 478 350 1406 39325 27 3834 3818 900 4927 0.10 2.39/2.48 c 816 350 2059 69406 33 5405 4200 1553 4610 0.18 2.39/2.48 c 1324 350 3026 106955 35 7759 4621 2520 4189 0.32 2.39/2.48 c 2088 350 4497 171937 38 11400 5084 3991 3762 0.56 2.39/2.48 c 3234 350 3991 158601 39 9799 5593 3485 3565 0.91 2.39/2.48 c 4955 350 4443 156623 35 10796 6153 3937 3096 1.60 2.39/2.48 o 33 4.30/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.39 c 7049 350 5020 196998 39 11994 2881 4514 2834 2.49 4.30/4.39 c 7149 341 2121 80568 37 5325 3170 1615 2825 2.53 4.30/4.39 c 7400 341 2608 98093 37 6506 3488 2102 2861 2.59 4.30/4.39 c 7875 341 3518 132140 37 8662 3837 3012 2894 2.72 4.30/4.39 c 8689 341 3088 105463 34 7667 4221 2582 2905 2.99 4.30/4.39 c 10009 341 3187 134711 42 8002 4644 2681 2913 3.44 4.30/4.39 c 12091 341 4484 179460 40 10973 5109 3978 2951 4.10 4.30/4.39 o 17 11.59/11.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.59/11.64 c 13104 341 3414 130158 38 8592 2879 2908 2986 4.39 11.59/11.64 c 13205 341 2142 78638 36 5567 3167 1636 2967 4.45 11.59/11.64 c 13456 341 2644 101592 38 6817 3484 2138 2984 4.51 11.59/11.64 c 13931 341 3510 139414 39 8852 3833 3004 3010 4.63 11.59/11.64 c 14744 341 3070 115572 37 7301 4217 2564 3011 4.90 11.59/11.64 c 16064 341 3414 116614 34 8397 4639 2908 2967 5.41 11.59/11.64 c 18146 332 4607 210392 45 11014 5103 4101 3007 6.03 11.59/11.64 c 21369 331 5267 231223 43 12442 5614 4761 2803 7.62 11.59/11.64 c 26306 331 5184 204949 39 12797 6176 4678 2511 10.47 11.59/11.64 o 11 23.19/23.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.19/23.21 c 28322 331 5595 224296 40 13570 2877 5089 2433 11.64 23.19/23.21 c 28424 322 2119 78500 37 5225 3165 1613 2430 11.70 23.19/23.21 c 28675 322 2592 97959 37 6495 3482 2086 2436 11.77 23.19/23.21 c 29151 322 3471 134554 38 8779 3831 2965 2438 11.96 23.19/23.21 c 29965 322 2768 108208 39 6866 4215 2262 2451 12.22 23.19/23.21 c 31285 322 2681 100046 37 6433 4637 2175 2462 12.71 23.19/23.21 c 33367 322 3760 142795 37 9115 5101 3254 2403 13.88 23.19/23.21 c 36591 322 3992 151458 37 9782 5612 3486 2302 15.89 23.19/23.21 c 41528 322 4097 173221 42 10294 6174 3591 2254 18.42 23.19/23.21 o 7 23.19/23.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.19/23.28 c 48511 321 4141 168477 40 10253 2875 3635 2090 23.20 23.19/23.28 c 48611 312 2147 75011 34 5478 3163 1641 2091 23.24 23.19/23.28 o 5 23.39/23.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.39/23.49 c 48794 312 2467 88314 35 6242 2873 1961 2095 23.28 23.39/23.49 c 48895 312 2656 96995 36 6681 3161 2150 2097 23.31 23.39/23.49 c 49146 312 3128 119693 38 7883 3478 2622 2103 23.37 23.39/23.49 o 3 50.78/50.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.78/50.85 c 49565 312 3890 150192 38 9853 2873 3384 2110 23.48 50.78/50.85 c 49665 293 2141 73791 34 5550 3161 1635 2111 23.52 50.78/50.85 c 49915 293 2618 98929 37 6732 3478 2112 2116 23.59 50.78/50.85 c 50393 293 3510 142573 40 8892 3826 3004 2120 23.76 50.78/50.85 c 51206 293 2995 119500 39 7522 4209 2489 2121 24.14 50.78/50.85 c 52526 293 3127 120427 38 7647 4630 2621 2113 24.86 50.78/50.85 c 54607 293 4546 176046 38 11544 5094 4040 2120 25.75 50.78/50.85 c 57830 293 5226 206429 39 12685 5604 4720 2121 27.26 50.78/50.85 c 62766 293 5251 208549 39 12986 6165 4745 2128 29.48 50.78/50.85 c 70272 293 6041 247720 41 14245 6782 5535 2072 33.90 50.78/50.85 c 81634 292 4303 175875 40 10396 7461 3797 2020 40.41 50.78/50.85 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 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 x43 -x44 x45 -x46 -x47 -x48 -x49 -x71 x72 -x73 -x74 -x75 -x76 -x77 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 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 x50 -x51 -x52 -x53 -x54 -x55 -x56 x78 x79 -x80 -x81 -x82 -x83 -x84 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 x57 x58 -x59 -x60 -x61 -x62 -x63 -x85 -x86 -x87 -x88 -x89 -x90 -x91 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 x64 -x65 -x66 -x67 -x68 x69 -x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 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 -x99 x100 x101 -x102 -x103 -x104 -x105 50.78/50.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 50.78/50.85 c 49 94962 955 101408 4625 169588 4119 1867 50.84 50.78/50.85 c Objective: 3 50.78/50.85 s OPTIMUM FOUND 50.78/50.85 c Total time: 50.837 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-2670713-1276705037/watcher-2670713-1276705037 -o /tmp/evaluation-result-2670713-1276705037/solver-2670713-1276705037 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670713-1276705037.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.02 1.03 1.00 3/106 19013 /proc/meminfo: memFree=1706292/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=10924 CPUtime=0 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 11796575 11186176 270 1992294400 134512640 137138936 4288090656 18446744073709551615 136621744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 2731 270 186 642 0 2087 0 [startup+0.0564791 s] /proc/loadavg: 1.02 1.03 1.00 3/106 19013 /proc/meminfo: memFree=1706292/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=11184 CPUtime=0.05 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 432 0 0 0 5 0 0 0 20 0 1 0 11796575 11452416 345 1992294400 134512640 137138936 4288090656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 2796 345 192 642 0 2152 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11184 [startup+0.101484 s] /proc/loadavg: 1.02 1.03 1.00 3/106 19013 /proc/meminfo: memFree=1706292/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=11440 CPUtime=0.09 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 505 0 0 0 9 0 0 0 20 0 1 0 11796575 11714560 418 1992294400 134512640 137138936 4288090656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 2860 418 192 642 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11440 [startup+0.301503 s] /proc/loadavg: 1.02 1.03 1.00 3/106 19013 /proc/meminfo: memFree=1706292/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=12468 CPUtime=0.29 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 751 0 0 0 29 0 0 0 20 0 1 0 11796575 12767232 664 1992294400 134512640 137138936 4288090656 18446744073709551615 134551107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 3117 664 192 642 0 2473 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12468 [startup+0.701542 s] /proc/loadavg: 1.02 1.03 1.00 3/106 19013 /proc/meminfo: memFree=1706292/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=14148 CPUtime=0.69 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1192 0 0 0 68 1 0 0 20 0 1 0 11796575 14487552 1105 1992294400 134512640 137138936 4288090656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 3537 1105 192 642 0 2893 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14148 [startup+1.50162 s] /proc/loadavg: 1.02 1.03 1.00 2/107 19014 /proc/meminfo: memFree=1702440/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=14652 CPUtime=1.49 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1299 0 0 0 148 1 0 0 23 0 1 0 11796575 15003648 1212 1992294400 134512640 137138936 4288090656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 3663 1212 192 642 0 3019 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14652 [startup+3.10178 s] /proc/loadavg: 1.02 1.02 1.00 2/107 19014 /proc/meminfo: memFree=1702192/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=14912 CPUtime=3.09 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1387 0 0 0 307 2 0 0 25 0 1 0 11796575 15269888 1300 1992294400 134512640 137138936 4288090656 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 3728 1300 192 642 0 3084 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14912 [startup+6.30109 s] /proc/loadavg: 1.02 1.02 1.00 2/107 19014 /proc/meminfo: memFree=1701572/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=14912 CPUtime=6.29 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1387 0 0 0 626 3 0 0 25 0 1 0 11796575 15269888 1300 1992294400 134512640 137138936 4288090656 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 3728 1300 192 642 0 3084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14912 [startup+12.7017 s] /proc/loadavg: 1.02 1.02 1.00 2/107 19014 /proc/meminfo: memFree=1701448/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=15044 CPUtime=12.69 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1420 0 0 0 1263 6 0 0 25 0 1 0 11796575 15405056 1333 1992294400 134512640 137138936 4288090656 18446744073709551615 136365016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 3761 1333 192 642 0 3117 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15044 [startup+25.501 s] /proc/loadavg: 1.08 1.04 1.00 2/107 19014 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16072 CPUtime=25.49 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1678 0 0 0 2540 9 0 0 25 0 1 0 11796575 16457728 1591 1992294400 134512640 137138936 4288090656 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4018 1591 192 642 0 3374 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16072 Solver just ended. Dumping a history of the last processes samples [startup+38.3012 s] /proc/loadavg: 1.06 1.04 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16076 CPUtime=38.28 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1679 0 0 0 3816 12 0 0 25 0 1 0 11796575 16461824 1592 1992294400 134512640 137138936 4288090656 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4019 1592 192 642 0 3375 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 16076 [startup+44.7008 s] /proc/loadavg: 1.06 1.03 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16204 CPUtime=44.68 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1712 0 0 0 4454 14 0 0 25 0 1 0 11796575 16592896 1625 1992294400 134512640 137138936 4288090656 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4051 1625 192 642 0 3407 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 16204 [startup+47.9012 s] /proc/loadavg: 1.05 1.03 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16204 CPUtime=47.88 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1712 0 0 0 4774 14 0 0 25 0 1 0 11796575 16592896 1625 1992294400 134512640 137138936 4288090656 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4051 1625 192 642 0 3407 0 Current children cumulated CPU time (s) 47.88 Current children cumulated vsize (KiB) 16204 [startup+49.5083 s] /proc/loadavg: 1.05 1.03 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16204 CPUtime=49.49 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1712 0 0 0 4934 15 0 0 25 0 1 0 11796575 16592896 1625 1992294400 134512640 137138936 4288090656 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4051 1625 192 642 0 3407 0 Current children cumulated CPU time (s) 49.49 Current children cumulated vsize (KiB) 16204 [startup+50.3014 s] /proc/loadavg: 1.05 1.03 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16204 CPUtime=50.28 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1712 0 0 0 5013 15 0 0 25 0 1 0 11796575 16592896 1625 1992294400 134512640 137138936 4288090656 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4051 1625 192 642 0 3407 0 Current children cumulated CPU time (s) 50.28 Current children cumulated vsize (KiB) 16204 [startup+50.7014 s] /proc/loadavg: 1.05 1.03 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16204 CPUtime=50.68 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1712 0 0 0 5053 15 0 0 25 0 1 0 11796575 16592896 1625 1992294400 134512640 137138936 4288090656 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4051 1625 192 642 0 3407 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 16204 [startup+50.8014 s] /proc/loadavg: 1.05 1.03 1.00 2/107 19016 /proc/meminfo: memFree=1700456/2059040 swapFree=4192952/4192956 [pid=19013] ppid=19011 vsize=16204 CPUtime=50.78 /proc/19013/stat : 19013 (bsolo_pb10) R 19011 19013 18278 0 -1 4202496 1712 0 0 0 5063 15 0 0 25 0 1 0 11796575 16592896 1625 1992294400 134512640 137138936 4288090656 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19013/statm: 4051 1625 192 642 0 3407 0 Current children cumulated CPU time (s) 50.78 Current children cumulated vsize (KiB) 16204 Child status: 0 Real time (s): 50.852 CPU time (s): 50.8393 CPU user time (s): 50.6823 CPU system time (s): 0.156976 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 16204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 50.6823 system time used= 0.156976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1713 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= 122 runsolver used 0.083987 second user time and 0.251961 second system time The end
Begin job on node036 at 2010-06-16 18:17:17 IDJOB=2670713 IDBENCH=48073 IDSOLVER=1162 FILE ID=node036/2670713-1276705037 PBS_JOBID= 11174106 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670713-1276705037/watcher-2670713-1276705037 -o /tmp/evaluation-result-2670713-1276705037/solver-2670713-1276705037 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670713-1276705037.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= feb866c77c1922bd09324402c14b21f3 RANDOM SEED=1377781634 node036.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.251 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.50 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.251 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: 1707192 kB Buffers: 74032 kB Cached: 136384 kB SwapCached: 4 kB Active: 133828 kB Inactive: 136024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1707192 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 4024 kB Writeback: 0 kB AnonPages: 59484 kB Mapped: 15468 kB Slab: 60296 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181800 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-2670713-1276705037.opb Free space on /tmp at the end= 62520 MiB End job on node036 at 2010-06-16 18:18:08