Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 150.264 | 150.299 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb |
MD5SUM | 1cc97335e4341ed075b6e9adcc382d23 |
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.097984 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452937-1177998640/instance-452937-1177998640.opb 0.00/0.00 c File size is 4596 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.002 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.01 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.01 c Switching off LPR mode. 20.28/20.37 c 101 352 626 8521 13 2044 3244 101 7769 0.01 20.28/20.37 c 252 352 777 19733 25 2302 3569 252 10080 0.03 20.28/20.37 c 478 352 1003 35851 35 2747 3926 478 11380 0.04 20.28/20.37 c 816 352 1341 60385 45 3379 4319 816 11027 0.07 20.28/20.37 c 1324 352 1849 95649 51 4394 4751 1324 10852 0.12 20.28/20.37 c 2088 352 2613 148548 56 5995 5227 2088 9447 0.22 20.28/20.37 c 3234 352 3759 231833 61 8194 5750 3234 8510 0.38 20.28/20.37 c 4955 352 5480 350847 64 11650 6326 4955 8136 0.61 20.28/20.37 c 7540 352 4592 268922 58 9910 6959 4067 6981 1.08 20.28/20.37 c 11419 352 4925 258683 52 10555 7655 4400 4567 2.50 20.28/20.37 c 17242 352 6613 410441 62 13952 8421 6088 4730 3.65 20.28/20.37 c 25979 352 6303 359775 57 13378 9264 5778 4304 6.04 20.28/20.37 c 39090 352 5327 284040 53 11454 10191 4802 3063 12.76 20.28/20.37 o 225 20.369 42.58/42.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.58/42.64 c 56950 352 7025 485137 69 14810 2965 6500 2795 20.37 42.58/42.64 c 57050 352 2109 108950 51 4993 3262 1584 2794 20.42 42.58/42.64 c 57301 352 2360 124480 52 5431 3589 1835 2803 20.44 42.58/42.64 c 57776 352 2835 153872 54 6383 3948 2310 2818 20.50 42.58/42.64 c 58589 352 3648 202880 55 8027 4343 3123 2840 20.63 42.58/42.64 c 59909 352 2698 139118 51 6149 4778 2173 2875 20.84 42.58/42.64 c 61991 352 4780 281761 58 10372 5256 4255 2936 21.11 42.58/42.64 c 65215 352 5323 315070 59 11429 5782 4798 3016 21.62 42.58/42.64 c 70153 352 4112 208002 50 8993 6361 3587 3105 22.59 42.58/42.64 c 77660 352 5125 273998 53 11009 6998 4600 3117 24.91 42.58/42.64 c 89022 352 5820 304156 52 12365 7698 5295 3107 28.65 42.58/42.64 c 106168 352 6623 395518 59 13915 8468 6098 3226 32.90 42.58/42.64 c 131987 352 6168 374347 60 13024 9315 5643 3157 41.80 42.58/42.65 o 129 42.636 51.78/51.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.78/51.84 c 137198 352 6565 377442 57 13883 2965 6040 3217 42.64 51.78/51.84 c 137299 352 2112 110236 52 4985 3262 1587 3217 42.68 51.78/51.84 c 137551 352 2364 127329 53 5494 3589 1839 3221 42.70 51.78/51.84 c 138027 352 2840 154351 54 6436 3948 2315 3228 42.75 51.78/51.84 c 138840 352 3653 199801 54 8074 4343 3128 3240 42.85 51.78/51.84 c 140163 352 2698 123816 45 6144 4778 2173 3253 43.08 51.78/51.84 c 142244 351 4779 265641 55 10295 5256 4254 3280 43.36 51.78/51.84 c 145467 351 5226 323421 61 11195 5782 4701 3291 44.20 51.78/51.84 c 150404 351 4243 243709 57 9166 6361 3718 3260 46.13 51.78/51.84 c 157910 351 5278 300206 56 11278 6998 4753 3232 48.85 51.78/51.84 o 65 51.826 60.27/60.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.27/60.38 c 167954 351 4418 274151 62 9633 2965 3893 3240 51.83 60.27/60.38 c 168054 351 2112 114006 53 4990 3262 1587 3240 51.86 60.27/60.38 c 168304 351 2362 130936 55 5472 3589 1837 3244 51.88 60.27/60.38 c 168780 351 2838 162570 57 6383 3948 2313 3249 51.94 60.27/60.38 c 169593 351 3651 216402 59 8044 4343 3126 3256 52.08 60.27/60.38 c 170914 351 2727 146566 53 6209 4778 2202 3262 52.39 60.27/60.38 c 172995 351 4808 281625 58 10358 5256 4283 3267 52.95 60.27/60.38 c 176219 351 5338 311939 58 11402 5782 4813 3260 54.04 60.27/60.38 c 181156 341 4040 236240 58 8917 6361 3515 3288 55.09 60.27/60.38 c 188662 341 5051 292739 57 10850 6998 4526 3248 58.07 60.27/60.38 o 33 60.364 65.97/66.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.97/66.04 c 197144 341 6220 362457 58 13234 2963 5695 3265 60.36 65.97/66.04 c 197244 341 2112 97120 45 5061 3260 1587 3265 60.40 65.97/66.04 c 197495 331 2363 114372 48 5508 3587 1838 3268 60.43 65.97/66.04 c 197970 331 2838 147515 51 6419 3946 2313 3273 60.47 65.97/66.04 c 198783 331 3651 203079 55 8063 4341 3126 3279 60.61 65.97/66.04 c 200103 331 2702 150315 55 6187 4776 2177 3291 60.80 65.97/66.04 c 202185 331 4784 287986 60 10340 5254 4259 3298 61.30 65.97/66.04 c 205408 331 5289 313960 59 11354 5780 4764 3291 62.40 65.97/66.04 c 210345 331 4290 241220 56 9355 6359 3765 3285 64.02 65.97/66.04 o 11 66.023 71.57/71.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.57/71.60 c 217775 331 5053 292606 57 10905 2961 4528 3298 66.02 71.57/71.60 c 217875 331 2112 100782 47 5026 3258 1587 3298 66.05 71.57/71.60 c 218127 331 2364 118716 50 5560 3584 1839 3301 66.07 71.57/71.60 c 218603 331 2840 151806 53 6504 3943 2315 3305 66.13 71.57/71.60 c 219416 331 3653 208703 57 8131 4338 3128 3311 66.27 71.57/71.60 c 220737 331 2716 151103 55 6242 4772 2191 3310 66.67 71.57/71.60 c 222818 331 4797 290529 60 10393 5250 4272 3311 67.29 71.57/71.60 c 226041 331 5305 319405 60 11424 5776 4780 3305 68.38 71.57/71.60 c 230977 322 4128 248827 60 9076 6354 3603 3323 69.50 71.57/71.60 o 5 71.584 78.47/78.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.47/78.51 c 238381 311 4907 269756 54 10638 2957 4382 3330 71.58 78.47/78.51 c 238483 301 2114 98199 46 5054 3253 1589 3330 71.61 78.47/78.51 c 238733 301 2364 112824 47 5551 3579 1839 3332 71.63 78.47/78.51 c 239208 301 2839 145042 51 6484 3937 2314 3336 71.69 78.47/78.51 c 240022 301 3653 199418 54 8113 4331 3128 3339 71.87 78.47/78.51 c 241344 301 2708 144166 53 6231 4765 2183 3339 72.27 78.47/78.51 c 243425 301 4789 277998 58 10382 5242 4264 3337 72.94 78.47/78.51 c 246649 301 5125 299284 58 11024 5767 4600 3348 73.65 78.47/78.51 c 251586 301 3922 216670 55 8657 6344 3397 3355 74.98 78.47/78.51 c 259093 301 4876 267828 54 10487 6979 4351 3329 77.81 78.47/78.51 o 3 78.491 150.16/150.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 150.16/150.29 c 262044 301 4069 230492 56 8922 2955 3544 3338 78.49 150.16/150.29 c 262145 292 2113 107621 50 5013 3251 1588 3338 78.51 150.16/150.29 c 262395 292 2363 123653 52 5481 3577 1838 3341 78.53 150.16/150.29 c 262870 292 2838 154654 54 6476 3935 2313 3345 78.58 150.16/150.29 c 263684 292 3652 209997 57 8093 4329 3127 3350 78.69 150.16/150.29 c 265004 292 2699 146444 54 6205 4762 2174 3355 78.97 150.16/150.29 c 267085 292 4780 286267 59 10365 5239 4255 3351 79.70 150.16/150.29 c 270309 292 5262 312230 59 11322 5763 4737 3338 80.97 150.16/150.29 c 275246 280 3970 224667 56 8739 6340 3445 3347 82.22 150.16/150.29 c 282753 280 4918 282126 57 10590 6975 4393 3327 84.97 150.16/150.29 c 294114 280 5012 291126 58 10772 7673 4487 3331 88.30 150.16/150.29 c 311258 280 6257 345589 55 13289 8441 5732 3274 95.05 150.16/150.29 c 337078 280 5363 326098 60 11480 9286 4838 3196 105.46 150.16/150.29 c 375910 279 5462 314558 57 11731 10215 4937 3048 123.31 150.16/150.29 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 150.16/150.29 v -x31 -x32 x33 x34 -x35 -x36 x37 x38 x39 x40 x41 -x42 -x43 -x44 -x45 x46 x47 x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50 150.16/150.29 v -x51 -x52 -x53 -x54 -x55 -x56 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 150.16/150.29 v -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 150.16/150.29 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 150.16/150.29 c 88 419507 2609 433672 7296 406121 6771 2791 150.26 150.16/150.29 c Objective: 3 150.16/150.29 s OPTIMUM FOUND 150.16/150.29 c Total time: 150.258 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-452937-1177998640 -o ROOT/results/node65/solver-452937-1177998640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452937-1177998640/instance-452937-1177998640.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.01 0.99 3/64 31576 /proc/meminfo: memFree=1795576/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=11744 CPUtime=0 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 275853671 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 2936 345 289 324 0 2004 0 [startup+0.026307 s] /proc/loadavg: 1.06 1.01 0.99 3/64 31576 /proc/meminfo: memFree=1795576/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=4320 CPUtime=0.02 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 487 0 0 0 2 0 0 0 18 0 1 0 275853671 4423680 455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 1080 455 310 324 0 150 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4320 [startup+0.101313 s] /proc/loadavg: 1.06 1.01 0.99 3/64 31576 /proc/meminfo: memFree=1795576/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=5092 CPUtime=0.09 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 696 0 0 0 9 0 0 0 18 0 1 0 275853671 5214208 664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 1273 665 310 324 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301329 s] /proc/loadavg: 1.06 1.01 0.99 3/64 31576 /proc/meminfo: memFree=1795576/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=6768 CPUtime=0.29 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 1105 0 0 0 29 0 0 0 19 0 1 0 275853671 6930432 1073 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 1692 1073 310 324 0 762 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6768 [startup+0.701362 s] /proc/loadavg: 1.06 1.01 0.99 3/64 31576 /proc/meminfo: memFree=1795576/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=9604 CPUtime=0.7 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 1819 0 0 0 69 1 0 0 22 0 1 0 275853671 9834496 1787 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 2401 1787 310 324 0 1471 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 9604 [startup+1.50143 s] /proc/loadavg: 1.05 1.01 0.99 2/65 31577 /proc/meminfo: memFree=1788592/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=10752 CPUtime=1.49 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 2086 0 0 0 148 1 0 0 25 0 1 0 275853671 11010048 2054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 2688 2054 310 324 0 1758 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10752 [startup+3.10156 s] /proc/loadavg: 1.05 1.01 0.99 2/65 31577 /proc/meminfo: memFree=1788464/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=11396 CPUtime=3.09 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 2256 0 0 0 308 1 0 0 25 0 1 0 275853671 11669504 2224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 2849 2224 310 324 0 1919 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11396 [startup+6.30183 s] /proc/loadavg: 1.05 1.01 0.99 2/65 31577 /proc/meminfo: memFree=1786416/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=12552 CPUtime=6.29 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 2539 0 0 0 628 1 0 0 25 0 1 0 275853671 12853248 2507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3138 2507 310 324 0 2208 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12552 [startup+12.7014 s] /proc/loadavg: 1.04 1.01 0.99 2/65 31577 /proc/meminfo: memFree=1786416/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=12552 CPUtime=12.69 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 2539 0 0 0 1268 1 0 0 25 0 1 0 275853671 12853248 2507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3138 2507 310 324 0 2208 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12552 [startup+25.5014 s] /proc/loadavg: 1.12 1.03 0.99 2/65 31577 /proc/meminfo: memFree=1783408/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15636 CPUtime=25.48 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 2547 1 0 0 25 0 1 0 275853671 16011264 3287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3909 3287 311 324 0 2979 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15636 [startup+51.1015 s] /proc/loadavg: 1.08 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15564 CPUtime=51.08 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 5107 1 0 0 25 0 1 0 275853671 15937536 3284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3891 3284 311 324 0 2961 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15564 [startup+102.306 s] /proc/loadavg: 1.03 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=102.27 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 10226 1 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15552 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.02 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=127.87 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 12785 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 127.87 Current children cumulated vsize (KiB) 15552 [startup+140.702 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=140.67 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 14065 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 140.67 Current children cumulated vsize (KiB) 15552 [startup+147.101 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=147.06 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 14704 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 147.06 Current children cumulated vsize (KiB) 15552 [startup+148.702 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=148.66 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 14864 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 148.66 Current children cumulated vsize (KiB) 15552 [startup+149.502 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=149.46 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 14944 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 149.46 Current children cumulated vsize (KiB) 15552 [startup+149.902 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=149.86 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 14984 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550777 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 149.86 Current children cumulated vsize (KiB) 15552 [startup+150.102 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=150.06 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 15004 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6117271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 150.06 Current children cumulated vsize (KiB) 15552 [startup+150.203 s] /proc/loadavg: 1.01 1.02 0.99 2/65 31577 /proc/meminfo: memFree=1783472/2055920 swapFree=4184072/4192956 [pid=31576] ppid=31574 vsize=15552 CPUtime=150.16 /proc/31576/stat : 31576 (bsolo3.0.17) R 31574 31576 30526 0 -1 4194304 3319 0 0 0 15014 2 0 0 25 0 1 0 275853671 15925248 3281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31576/statm: 3888 3281 311 324 0 2958 0 Current children cumulated CPU time (s) 150.16 Current children cumulated vsize (KiB) 15552 Child status: 0 Real time (s): 150.299 CPU time (s): 150.264 CPU user time (s): 150.24 CPU system time (s): 0.023996 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 15636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 150.24 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3323 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= 11 involuntary context switches= 103 runsolver used 0.113982 second user time and 0.303953 second system time The end
Begin job on node65 on Tue May 1 05:50:41 UTC 2007 IDJOB= 452937 IDBENCH= 48004 IDSOLVER= 199 FILE ID= node65/452937-1177998640 PBS_JOBID= 4728259 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452937-1177998640/instance-452937-1177998640.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-452937-1177998640 -o ROOT/results/node65/solver-452937-1177998640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452937-1177998640/instance-452937-1177998640.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1cc97335e4341ed075b6e9adcc382d23 RANDOM SEED= 170524436 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1796048 kB Buffers: 25936 kB Cached: 157320 kB SwapCached: 2860 kB Active: 37356 kB Inactive: 155560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796048 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 15696 kB Slab: 52852 kB Committed_AS: 2639476 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node65 on Tue May 1 05:53:11 UTC 2007