Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 626.51 | 626.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb |
MD5SUM | c4226b2f0998740abfed6a5c474083dd |
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/429106-1177981063/instance-429106-1177981063.opb 0.00/0.00 c File size is 4315 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.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 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.00 c Switching off LPR mode. 0.09/0.20 c 100 324 596 10223 17 1949 3039 100 6666 0.01 0.09/0.20 c 250 324 746 22947 30 2183 3343 250 9615 0.03 0.09/0.20 c 475 324 971 41438 42 2665 3678 475 10326 0.05 0.09/0.20 c 814 324 1310 67511 51 3377 4046 814 10571 0.08 0.09/0.20 c 1322 324 1818 105247 57 4363 4451 1322 9180 0.14 0.09/0.20 o 205 0.197 1.69/1.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.77 c 1729 324 2226 135586 60 5199 2780 1730 8776 0.20 1.69/1.77 c 1829 313 2326 144000 61 5434 3059 1830 8668 0.21 1.69/1.77 c 2079 313 2576 165839 64 5905 3365 2080 8884 0.23 1.69/1.77 c 2555 313 3052 202362 66 6880 3702 2556 8377 0.30 1.69/1.77 c 3368 313 3865 263486 68 8466 4073 3369 6629 0.51 1.69/1.77 c 4688 313 3078 196893 63 6913 4481 2582 5580 0.84 1.69/1.77 c 6772 313 2820 179365 63 6385 4930 2324 4775 1.42 1.69/1.77 o 27 1.773 5.69/5.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.78 c 8357 313 4406 297818 67 9569 2778 3910 4710 1.77 5.69/5.78 c 8458 313 1988 114477 57 4769 3056 1492 4670 1.81 5.69/5.78 c 8709 313 2239 137127 61 5205 3362 1743 4710 1.85 5.69/5.78 c 9184 313 2714 174455 64 6184 3699 2218 4719 1.95 5.69/5.78 c 9998 313 3528 241012 68 7803 4069 3032 4869 2.05 5.69/5.78 c 11318 280 2624 170069 64 6030 4476 2128 4814 2.35 5.69/5.78 c 13400 280 4706 327440 69 10167 4924 4210 4578 2.93 5.69/5.78 c 16623 280 5341 363223 68 11433 5417 4845 4065 4.09 5.69/5.78 c 21560 280 4659 309140 66 10063 5959 4163 3841 5.61 5.69/5.78 o 19 5.777 91.46/91.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.46/91.50 c 22478 280 5578 380366 68 11917 2772 5082 3890 5.78 91.46/91.50 c 22579 280 1988 113085 56 4719 3050 1492 3878 5.82 91.46/91.50 c 22830 280 2239 131979 58 5201 3356 1743 3899 5.85 91.46/91.50 c 23306 280 2715 166399 61 6154 3692 2219 3928 5.93 91.46/91.50 c 24120 280 3529 225114 63 7779 4062 3033 3941 6.12 91.46/91.50 c 25441 280 2696 160338 59 6125 4469 2200 3935 6.46 91.46/91.50 c 27522 280 4777 312268 65 10292 4916 4281 3896 7.06 91.46/91.50 c 30745 280 5417 360605 66 11559 5408 4921 3792 8.11 91.46/91.50 c 35682 280 4550 327814 72 9869 5949 4054 3813 9.36 91.46/91.50 c 43188 280 5731 405143 70 12158 6544 5235 3870 11.16 91.46/91.50 c 54549 280 6912 490369 70 14499 7199 6416 3595 15.17 91.46/91.50 c 71693 280 4850 365010 75 10445 7919 4354 3327 21.55 91.46/91.50 c 97512 280 5735 392675 68 12244 8711 5239 3140 31.05 91.46/91.50 c 136344 280 7818 614936 78 16365 9583 7322 2818 48.37 91.46/91.50 c 194696 280 6751 468769 69 14172 10542 6255 2535 76.79 91.46/91.50 o 5 91.466 91.96/92.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.96/92.03 c 225345 280 10474 769166 73 21663 2772 9978 2463 91.47 91.96/92.03 c 225446 280 1988 111856 56 4642 3050 1492 2462 91.55 91.96/92.03 c 225696 270 2238 134490 60 5201 3356 1742 2464 91.58 91.96/92.03 c 226171 270 2713 178174 65 6139 3692 2217 2467 91.66 91.96/92.03 c 226985 258 3527 241139 68 7769 4062 3031 2472 91.79 91.96/92.03 o 3 91.997 626.41/626.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 626.41/626.78 c 227905 258 4448 319497 71 9628 2768 3952 2477 92.00 626.41/626.78 c 228006 248 1990 123547 62 4729 3045 1494 2477 92.02 626.41/626.78 c 228257 248 2241 145510 64 5218 3350 1745 2479 92.06 626.41/626.78 c 228732 248 2716 187167 68 6152 3686 2220 2482 92.13 626.41/626.78 c 229546 248 3530 250336 70 7799 4055 3034 2488 92.25 626.41/626.78 c 230867 248 2672 164147 61 6084 4461 2176 2494 92.56 626.41/626.78 c 232948 248 4753 324323 68 10246 4908 4257 2502 93.07 626.41/626.78 c 236171 248 5371 366132 68 11476 5399 4875 2507 94.17 626.41/626.78 c 241107 235 4631 307598 66 9978 5939 4135 2521 95.61 626.41/626.78 c 248613 235 5877 435441 74 12511 6533 5381 2544 97.72 626.41/626.78 c 259975 235 6756 481362 71 14215 7187 6260 2568 101.22 626.41/626.78 c 277119 235 4698 356236 75 10112 7906 4202 2581 107.33 626.41/626.78 c 302938 235 5535 377611 68 11790 8697 5039 2578 117.48 626.41/626.78 c 341771 235 7416 583742 78 15499 9567 6920 2555 133.74 626.41/626.78 c 400123 235 6040 412229 68 12783 10524 5544 2463 162.39 626.41/626.78 c 487756 235 6689 522791 78 14053 11577 6193 2350 207.52 626.41/626.78 c 619308 232 11898 842491 70 24523 12735 11402 2179 284.17 626.41/626.78 c 816740 232 13014 1001318 76 26725 14009 12518 1912 427.09 626.41/626.78 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 626.41/626.78 v -x31 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 626.41/626.78 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 626.41/626.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 626.41/626.78 c 59 1054980 2652 1065385 7702 455667 7206 1683 626.50 626.41/626.78 c Objective: 3 626.41/626.78 s OPTIMUM FOUND 626.41/626.78 c Total time: 626.503 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-429106-1177981063 -o ROOT/results/node15/solver-429106-1177981063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429106-1177981063/instance-429106-1177981063.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.89 1.07 0.99 3/77 25215 /proc/meminfo: memFree=1720512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=19556 CPUtime=0 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 246023935 20025344 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 4889 344 290 324 0 3956 0 [startup+0.0793901 s] /proc/loadavg: 0.89 1.07 0.99 3/77 25215 /proc/meminfo: memFree=1720512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=4952 CPUtime=0.07 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 662 0 0 0 7 0 0 0 18 0 1 0 246023935 5070848 629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 1238 630 312 324 0 307 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4952 [startup+0.10139 s] /proc/loadavg: 0.89 1.07 0.99 3/77 25215 /proc/meminfo: memFree=1720512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=5208 CPUtime=0.09 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 246023935 5332992 678 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 1302 678 312 324 0 371 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5208 [startup+0.301408 s] /proc/loadavg: 0.89 1.07 0.99 3/77 25215 /proc/meminfo: memFree=1720512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=6896 CPUtime=0.29 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 1131 0 0 0 29 0 0 0 19 0 1 0 246023935 7061504 1098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 1724 1098 313 324 0 793 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6896 [startup+0.701445 s] /proc/loadavg: 0.89 1.07 0.99 3/77 25215 /proc/meminfo: memFree=1720512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=8580 CPUtime=0.69 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 1562 0 0 0 68 1 0 0 23 0 1 0 246023935 8785920 1529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 2145 1529 313 324 0 1214 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8580 [startup+1.50152 s] /proc/loadavg: 0.89 1.07 0.99 2/78 25216 /proc/meminfo: memFree=1715576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=9088 CPUtime=1.49 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 1677 0 0 0 148 1 0 0 25 0 1 0 246023935 9306112 1644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 2272 1644 313 324 0 1341 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9088 [startup+3.10166 s] /proc/loadavg: 0.89 1.07 0.99 2/78 25216 /proc/meminfo: memFree=1715064/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=9092 CPUtime=3.09 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 1700 0 0 0 307 2 0 0 25 0 1 0 246023935 9310208 1667 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 2273 1667 313 324 0 1342 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9092 [startup+6.30196 s] /proc/loadavg: 0.90 1.07 0.99 2/78 25216 /proc/meminfo: memFree=1713984/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=9988 CPUtime=6.29 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 1911 0 0 0 626 3 0 0 25 0 1 0 246023935 10227712 1878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 2497 1878 313 324 0 1566 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9988 [startup+12.7015 s] /proc/loadavg: 0.91 1.07 0.99 3/78 25216 /proc/meminfo: memFree=1712656/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=11392 CPUtime=12.69 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 2266 0 0 0 1264 5 0 0 25 0 1 0 246023935 11665408 2233 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 2848 2233 313 324 0 1917 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11392 [startup+25.5017 s] /proc/loadavg: 0.93 1.07 0.99 2/78 25216 /proc/meminfo: memFree=1710936/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=13316 CPUtime=25.48 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 2757 0 0 0 2541 7 0 0 25 0 1 0 246023935 13635584 2724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 3329 2724 313 324 0 2398 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13316 [startup+51.101 s] /proc/loadavg: 0.95 1.06 0.99 2/78 25216 /proc/meminfo: memFree=1708824/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=15560 CPUtime=51.06 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 3295 0 0 0 5093 13 0 0 25 0 1 0 246023935 15933440 3262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 3890 3262 313 324 0 2959 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 15560 [startup+102.306 s] /proc/loadavg: 0.98 1.05 0.99 2/78 25216 /proc/meminfo: memFree=1708760/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=15612 CPUtime=102.26 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 3320 0 0 0 10201 25 0 0 25 0 1 0 246023935 15986688 3287 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 3903 3287 313 324 0 2972 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15612 [startup+162.301 s] /proc/loadavg: 0.99 1.04 0.99 2/78 25216 /proc/meminfo: memFree=1708760/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=15564 CPUtime=162.24 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 3320 0 0 0 16188 36 0 0 25 0 1 0 246023935 15937536 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 3891 3286 313 324 0 2960 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15564 [startup+222.302 s] /proc/loadavg: 0.99 1.03 0.99 2/84 25354 /proc/meminfo: memFree=1705576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=17368 CPUtime=222.14 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 3766 0 0 0 22167 47 0 0 25 0 1 0 246023935 17784832 3732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 4342 3732 313 324 0 3411 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 17368 [startup+282.301 s] /proc/loadavg: 0.99 1.02 0.99 2/78 25414 /proc/meminfo: memFree=1706200/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=17944 CPUtime=282.11 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 3897 0 0 0 28154 57 0 0 25 0 1 0 246023935 18374656 3863 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 4486 3863 313 324 0 3555 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 17944 [startup+342.302 s] /proc/loadavg: 0.99 1.02 0.99 2/78 25414 /proc/meminfo: memFree=1704984/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=19104 CPUtime=342.09 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4216 0 0 0 34143 66 0 0 25 0 1 0 246023935 19562496 4171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 4776 4171 313 324 0 3845 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 19104 [startup+402.301 s] /proc/loadavg: 0.99 1.01 0.99 2/78 25414 /proc/meminfo: memFree=1705048/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=19104 CPUtime=402.07 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4216 0 0 0 40134 73 0 0 25 0 1 0 246023935 19562496 4171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 4776 4171 313 324 0 3845 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 19104 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20552 CPUtime=462.05 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4578 0 0 0 46123 82 0 0 25 0 1 0 246023935 21045248 4532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5138 4532 313 324 0 4207 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 20552 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20772 CPUtime=522.04 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 52113 91 0 0 25 0 1 0 246023935 21270528 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5193 4572 313 324 0 4262 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 20772 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20756 CPUtime=582.02 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 58102 100 0 0 25 0 1 0 246023935 21254144 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5189 4572 313 324 0 4258 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 20756 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20756 CPUtime=588.42 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 58742 100 0 0 25 0 1 0 246023935 21254144 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5189 4572 313 324 0 4258 0 Current children cumulated CPU time (s) 588.42 Current children cumulated vsize (KiB) 20756 [startup+601.501 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20756 CPUtime=601.21 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 60020 101 0 0 25 0 1 0 246023935 21254144 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5189 4572 313 324 0 4258 0 Current children cumulated CPU time (s) 601.21 Current children cumulated vsize (KiB) 20756 [startup+614.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703576/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20756 CPUtime=614.02 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 61299 103 0 0 25 0 1 0 246023935 21254144 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5189 4572 313 324 0 4258 0 Current children cumulated CPU time (s) 614.02 Current children cumulated vsize (KiB) 20756 [startup+620.701 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20756 CPUtime=620.41 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 61938 103 0 0 25 0 1 0 246023935 21254144 4572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5189 4572 313 324 0 4258 0 Current children cumulated CPU time (s) 620.41 Current children cumulated vsize (KiB) 20756 [startup+623.901 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20604 CPUtime=623.61 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 62257 104 0 0 25 0 1 0 246023935 21098496 4546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5151 4546 313 324 0 4220 0 Current children cumulated CPU time (s) 623.61 Current children cumulated vsize (KiB) 20604 [startup+625.501 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20604 CPUtime=625.21 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 62417 104 0 0 25 0 1 0 246023935 21098496 4546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7945748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5151 4546 313 324 0 4220 0 Current children cumulated CPU time (s) 625.21 Current children cumulated vsize (KiB) 20604 [startup+626.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20604 CPUtime=626.01 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 62497 104 0 0 25 0 1 0 246023935 21098496 4546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5151 4546 313 324 0 4220 0 Current children cumulated CPU time (s) 626.01 Current children cumulated vsize (KiB) 20604 [startup+626.702 s] /proc/loadavg: 0.99 1.00 0.99 2/78 25414 /proc/meminfo: memFree=1703512/2055920 swapFree=4169108/4192956 [pid=25215] ppid=25213 vsize=20604 CPUtime=626.41 /proc/25215/stat : 25215 (bsolo3.0.16) R 25213 25215 31750 0 -1 4194304 4618 0 0 0 62537 104 0 0 25 0 1 0 246023935 21098496 4546 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25215/statm: 5151 4546 313 324 0 4220 0 Current children cumulated CPU time (s) 626.41 Current children cumulated vsize (KiB) 20604 Child status: 0 Real time (s): 626.79 CPU time (s): 626.51 CPU user time (s): 625.463 CPU system time (s): 1.04684 CPU usage (%): 99.9553 Max. virtual memory (cumulated for all children) (KiB): 20772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 625.463 system time used= 1.04684 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4619 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= 10 involuntary context switches= 13355 runsolver used 0.479927 second user time and 1.37979 second system time The end
Begin job on node15 on Tue May 1 00:57:43 UTC 2007 IDJOB= 429106 IDBENCH= 47885 IDSOLVER= 163 FILE ID= node15/429106-1177981063 PBS_JOBID= 4728077 Free space on /tmp= 66558 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=149-P1=419-P2=307-P3=223-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429106-1177981063/instance-429106-1177981063.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-429106-1177981063 -o ROOT/results/node15/solver-429106-1177981063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429106-1177981063/instance-429106-1177981063.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c4226b2f0998740abfed6a5c474083dd RANDOM SEED= 682705904 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1721048 kB Buffers: 52692 kB Cached: 188864 kB SwapCached: 2360 kB Active: 128188 kB Inactive: 140060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1721048 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6792 kB Writeback: 0 kB Mapped: 34108 kB Slab: 52080 kB Committed_AS: 7596668 kB PageTables: 1880 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 node15 on Tue May 1 01:08:10 UTC 2007