Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 527.558 | 527.751 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb |
MD5SUM | fb1c97600aa303ca13bb2482d5ad3e27 |
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.099984 |
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 | 81 |
Total number of constraints | 7 |
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 | 7 |
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) | 243 |
Sum of products size (including duplicates) | 486 |
Number of different products | 243 |
Sum of products size | 486 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/429974-1177990263/instance-429974-1177990263.opb 0.00/0.00 c File size is 4313 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.002 s 0.00/0.00 c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271 0.00/0.00 c Obj. Vars: 9 (2.77778 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off LPR mode. 38.08/38.10 c 101 324 597 9742 16 1968 3039 101 6733 0.01 38.08/38.10 c 252 324 748 22395 29 2207 3343 252 9000 0.03 38.08/38.10 c 478 324 974 39682 40 2660 3678 478 9560 0.05 38.08/38.10 c 817 324 1313 65905 50 3330 4046 817 9077 0.09 38.08/38.10 c 1325 324 1821 105759 58 4340 4451 1325 8603 0.15 38.08/38.10 c 2088 324 2584 163862 63 5868 4897 2088 6735 0.31 38.08/38.10 c 3234 324 3730 250399 67 8178 5387 3234 5444 0.59 38.08/38.10 c 4955 324 5451 379229 69 11560 5926 4955 4435 1.12 38.08/38.10 c 7539 324 4936 341500 69 10525 6519 4440 3844 1.96 38.08/38.10 c 11420 324 5488 383265 69 11637 7171 4992 3681 3.10 38.08/38.10 c 17242 324 7538 544416 72 15749 7889 7042 3211 5.37 38.08/38.10 c 25980 324 8199 584125 71 17054 8678 7703 2967 8.76 38.08/38.10 c 39090 324 8078 560507 69 16823 9546 7582 2674 14.62 38.08/38.10 c 58760 324 8334 590374 70 17256 10501 7838 2423 24.25 38.08/38.10 o 265 38.091 147.74/147.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 147.74/147.90 c 87046 324 9368 739143 78 19441 2780 8872 2285 38.09 147.74/147.90 c 87146 324 1987 126673 63 4747 3059 1491 2282 38.18 147.74/147.90 c 87396 324 2237 147114 65 5181 3365 1741 2287 38.20 147.74/147.90 c 87871 324 2712 186198 68 6172 3702 2216 2296 38.26 147.74/147.90 c 88685 324 3526 251169 71 7761 4073 3030 2308 38.42 147.74/147.90 c 90006 324 2731 177964 65 6176 4481 2235 2323 38.74 147.74/147.90 c 92087 324 4812 339626 70 10320 4930 4316 2346 39.25 147.74/147.90 c 95311 324 5289 396445 74 11306 5424 4793 2388 39.90 147.74/147.90 c 100248 324 4491 302978 67 9735 5967 3995 2439 41.10 147.74/147.90 c 107754 324 5872 413250 70 12433 6564 5376 2477 43.50 147.74/147.90 c 119115 324 3779 245792 65 8264 7221 3283 2487 47.88 147.74/147.90 c 136259 324 5524 429162 77 11732 7944 5028 2540 53.63 147.74/147.90 c 162079 324 6815 474814 69 14290 8739 6319 2586 62.67 147.84/147.90 c 200911 324 5103 379044 74 10907 9613 4607 2577 77.93 147.84/147.90 c 259264 324 9172 626009 68 19028 10575 8676 2473 104.81 147.84/147.90 o 35 147.844 351.36/351.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 351.36/351.54 c 342378 324 10729 847169 78 22136 2780 10233 2315 147.84 351.36/351.54 c 342480 324 1989 125470 63 4665 3059 1493 2314 147.96 351.36/351.54 c 342731 324 2240 146248 65 5161 3365 1744 2315 147.99 351.36/351.54 c 343207 324 2716 185013 68 6101 3702 2220 2318 148.06 351.36/351.54 c 344020 324 3529 249611 70 7740 4073 3033 2321 148.21 351.36/351.54 c 345340 324 2731 178290 65 6156 4481 2235 2324 148.54 351.36/351.54 c 347423 324 4814 339934 70 10319 4930 4318 2330 149.08 351.36/351.54 c 350646 324 2962 193794 65 6633 5424 2466 2337 150.03 351.36/351.54 c 355583 324 4916 373986 76 10577 5967 4420 2351 151.19 351.36/351.54 c 363090 324 6174 433004 70 13068 6564 5678 2369 153.25 351.36/351.54 c 374451 324 4077 277454 68 8813 7221 3581 2375 157.61 351.36/351.54 c 391595 314 6293 437841 69 13243 7944 5797 2391 163.77 351.36/351.54 c 417414 291 7298 589922 80 15303 8739 6802 2398 174.00 351.36/351.54 c 456246 291 5420 380239 70 11481 9613 4924 2374 192.18 351.36/351.54 c 514598 291 9224 738533 80 19174 10575 8728 2334 220.41 351.36/351.54 c 602230 291 9932 692207 69 20584 11633 9436 2274 264.74 351.36/351.54 c 733783 291 8878 689983 77 18483 12797 8382 2128 344.81 351.36/351.54 o 17 351.413 428.14/428.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 428.14/428.32 c 749950 291 11997 894501 74 24679 2774 11501 2134 351.41 428.14/428.32 c 750050 291 1987 127220 64 4661 3052 1491 2133 351.61 428.14/428.32 c 750300 291 2237 147399 65 5182 3358 1741 2133 351.64 428.14/428.32 c 750776 291 2713 184673 68 6141 3694 2217 2134 351.70 428.14/428.32 c 751589 291 3526 249146 70 7737 4064 3030 2136 351.85 428.14/428.32 c 752909 291 2694 174029 64 6074 4471 2198 2137 352.18 428.14/428.32 c 754990 291 4775 335416 70 10220 4919 4279 2139 352.91 428.14/428.32 c 758214 291 5430 384690 70 11542 5411 4934 2142 353.85 428.14/428.32 c 763151 291 4737 324833 68 10161 5953 4241 2147 355.29 428.14/428.32 c 770658 291 6064 417758 68 12827 6549 5568 2153 357.83 428.14/428.32 c 782020 291 6995 507335 72 14699 7204 6499 2162 361.68 428.14/428.32 c 799164 291 5391 372068 69 11433 7925 4895 2173 367.61 428.14/428.32 c 824983 291 6806 473185 69 14283 8718 6310 2178 378.76 428.14/428.32 c 863816 291 5493 373786 68 11699 9590 4997 2188 394.65 428.14/428.32 c 922168 279 9571 662617 69 19810 10550 9075 2173 424.28 428.14/428.32 o 9 428.162 428.44/428.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 428.44/428.64 c 931529 279 7863 626356 79 16431 2772 7367 2175 428.16 428.44/428.64 c 931630 268 1990 123761 62 4699 3050 1494 2175 428.27 428.44/428.64 c 931881 268 2241 145326 64 5208 3356 1745 2175 428.31 428.44/428.64 c 932356 268 2716 188084 69 6153 3692 2220 2176 428.39 428.44/428.64 o 3 428.483 527.50/527.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 527.50/527.74 c 932916 268 3277 225706 68 7308 2770 2781 2177 428.48 527.50/527.74 c 933016 258 1888 111322 58 4481 3048 1392 2177 428.51 527.50/527.74 c 933266 258 2138 134417 62 5035 3353 1642 2177 428.55 527.50/527.74 c 933741 258 2613 175923 67 5970 3689 2117 2178 428.66 527.50/527.74 c 934555 258 3427 244154 71 7575 4058 2931 2178 428.91 527.50/527.74 c 935875 258 2574 174194 67 5876 4464 2078 2179 429.43 527.50/527.74 c 937956 234 4655 347992 74 10037 4911 4159 2181 429.99 527.50/527.74 c 941179 234 5272 399319 75 11270 5403 4776 2182 431.26 527.50/527.74 c 946115 234 4465 330961 74 9668 5944 3969 2184 433.16 527.50/527.74 c 953622 234 5690 425018 74 12127 6539 5194 2187 435.96 527.50/527.74 c 964984 234 6735 509332 75 14202 7193 6239 2187 441.23 527.50/527.74 c 982128 234 5126 372808 72 10987 7913 4630 2188 448.80 527.50/527.74 c 1007948 234 6261 463341 74 13248 8705 5765 2189 460.29 527.50/527.74 c 1046781 234 8993 675375 75 18726 9576 8497 2177 480.70 527.50/527.74 c 1105133 231 7948 585191 73 16592 10534 7452 2161 511.22 527.50/527.74 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 527.50/527.74 v -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 -x47 -x48 527.50/527.74 v -x49 -x50 x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 527.50/527.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 527.50/527.74 c 80 1128348 2805 1140050 9499 653840 9003 2138 527.55 527.50/527.74 c Objective: 3 527.50/527.74 s OPTIMUM FOUND 527.50/527.74 c Total time: 527.552 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-429974-1177990263 -o ROOT/results/node40/solver-429974-1177990263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429974-1177990263/instance-429974-1177990263.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: 0.88 0.97 0.99 3/77 17834 /proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=3932 CPUtime=0 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 127905845 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7027828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 983 348 291 324 0 50 0 [startup+0.00868296 s] /proc/loadavg: 0.88 0.97 0.99 3/77 17834 /proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=4188 CPUtime=0 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 439 0 0 0 0 0 0 0 18 0 1 0 127905845 4288512 406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 1047 406 309 324 0 116 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4188 [startup+0.101704 s] /proc/loadavg: 0.88 0.97 0.99 3/77 17834 /proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=5084 CPUtime=0.09 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 127905845 5206016 640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 1271 640 312 324 0 340 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5084 [startup+0.301745 s] /proc/loadavg: 0.88 0.97 0.99 3/77 17834 /proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=6248 CPUtime=0.29 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 985 0 0 0 29 0 0 0 19 0 1 0 127905845 6397952 952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 1562 952 312 324 0 631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6248 [startup+0.701828 s] /proc/loadavg: 0.88 0.97 0.99 3/77 17834 /proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=7940 CPUtime=0.69 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 1387 0 0 0 69 0 0 0 22 0 1 0 127905845 8130560 1354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 1985 1354 312 324 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7940 [startup+1.502 s] /proc/loadavg: 0.88 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1806608/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=10668 CPUtime=1.49 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2077 0 0 0 148 1 0 0 25 0 1 0 127905845 10924032 2044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 2667 2045 312 324 0 1736 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10668 [startup+3.10133 s] /proc/loadavg: 0.89 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1804240/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=11184 CPUtime=3.09 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2223 0 0 0 307 2 0 0 25 0 1 0 127905845 11452416 2190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 2796 2190 312 324 0 1865 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11184 [startup+6.302 s] /proc/loadavg: 0.89 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1803040/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=12868 CPUtime=6.29 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2623 0 0 0 626 3 0 0 25 0 1 0 127905845 13176832 2590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 3217 2590 312 324 0 2286 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12868 [startup+12.7013 s] /proc/loadavg: 0.90 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1801632/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=13516 CPUtime=12.68 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2797 0 0 0 1264 4 0 0 25 0 1 0 127905845 13840384 2764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 3379 2764 312 324 0 2448 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13516 [startup+25.502 s] /proc/loadavg: 0.92 0.97 0.99 3/78 17835 /proc/meminfo: memFree=1800680/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=15160 CPUtime=25.48 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3190 0 0 0 2540 8 0 0 25 0 1 0 127905845 15523840 3157 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 3790 3157 312 324 0 2859 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15160 [startup+51.1014 s] /proc/loadavg: 0.95 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1798312/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=16972 CPUtime=51.08 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3659 0 0 0 5094 14 0 0 25 0 1 0 127905845 17379328 3626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4243 3626 313 324 0 3312 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16972 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1798376/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=16972 CPUtime=102.26 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3659 0 0 0 10201 25 0 0 25 0 1 0 127905845 17379328 3626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4243 3626 313 324 0 3312 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16972 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1798312/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=16972 CPUtime=162.23 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3660 0 0 0 16187 36 0 0 25 0 1 0 127905845 17379328 3627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4243 3627 313 324 0 3312 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 16972 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1798312/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=16972 CPUtime=222.21 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3660 0 0 0 22171 50 0 0 25 0 1 0 127905845 17379328 3627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4243 3627 313 324 0 3312 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 16972 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1797416/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=17876 CPUtime=282.19 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3894 0 0 0 28159 60 0 0 25 0 1 0 127905845 18305024 3861 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4469 3861 313 324 0 3538 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 17876 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796904/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18392 CPUtime=342.17 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4012 0 0 0 34147 70 0 0 25 0 1 0 127905845 18833408 3979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4598 3979 313 324 0 3667 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 18392 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796520/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=402.15 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 40131 84 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 18444 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=462.12 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 46116 96 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 18444 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=522.1 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52103 107 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 18444 Solver just ended. Dumping a history of the last processes samples [startup+524.706 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=524.5 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52343 107 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 524.5 Current children cumulated vsize (KiB) 18444 [startup+526.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=526.1 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52502 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 526.1 Current children cumulated vsize (KiB) 18444 [startup+527.102 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=526.9 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52582 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 526.9 Current children cumulated vsize (KiB) 18444 [startup+527.501 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=527.3 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52622 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 527.3 Current children cumulated vsize (KiB) 18444 [startup+527.701 s] /proc/loadavg: 0.99 0.97 0.99 2/78 17835 /proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956 [pid=17834] ppid=17832 vsize=18444 CPUtime=527.5 /proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52642 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17834/statm: 4611 4006 313 324 0 3680 0 Current children cumulated CPU time (s) 527.5 Current children cumulated vsize (KiB) 18444 Child status: 0 Real time (s): 527.751 CPU time (s): 527.558 CPU user time (s): 526.472 CPU system time (s): 1.08583 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 18780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 526.472 system time used= 1.08583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4104 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= 12 involuntary context switches= 1158 runsolver used 0.403938 second user time and 1.10183 second system time The end
Begin job on node40 on Tue May 1 03:31:03 UTC 2007 IDJOB= 429974 IDBENCH= 47947 IDSOLVER= 163 FILE ID= node40/429974-1177990263 PBS_JOBID= 4728180 Free space on /tmp= 66538 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429974-1177990263/instance-429974-1177990263.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-429974-1177990263 -o ROOT/results/node40/solver-429974-1177990263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429974-1177990263/instance-429974-1177990263.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fb1c97600aa303ca13bb2482d5ad3e27 RANDOM SEED= 209896488 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1812144 kB Buffers: 20220 kB Cached: 135288 kB SwapCached: 14968 kB Active: 31400 kB Inactive: 147684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812144 kB SwapTotal: 4192956 kB SwapFree: 4157412 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 30552 kB Slab: 50044 kB Committed_AS: 1170424 kB PageTables: 1936 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= 66538 MiB End job on node40 on Tue May 1 03:39:51 UTC 2007