Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 622.318 | 622.56 |
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.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/452818-1177981132/instance-452818-1177981132.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.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 324 496 2070 4 1781 2762 0 0 0.01 0.00/0.01 c Switching off LPR mode. 0.09/0.19 c 100 324 596 10223 17 1949 3039 100 6250 0.01 0.09/0.19 c 250 324 746 22947 30 2183 3343 250 9615 0.03 0.09/0.19 c 475 324 971 41438 42 2665 3678 475 10326 0.05 0.09/0.19 c 814 324 1310 67511 51 3377 4046 814 10710 0.08 0.09/0.19 c 1322 324 1818 105247 57 4363 4451 1322 9309 0.14 0.09/0.19 o 205 0.195 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 8866 0.20 1.69/1.77 c 1829 313 2326 144000 61 5434 3059 1830 8793 0.21 1.69/1.77 c 2079 313 2576 165839 64 5905 3365 2080 8961 0.23 1.69/1.77 c 2555 313 3052 202362 66 6880 3702 2556 8460 0.30 1.69/1.77 c 3368 313 3865 263486 68 8466 4073 3369 6656 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 4779 1.42 1.69/1.77 o 27 1.769 5.69/5.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.74 c 8357 313 4406 297818 67 9569 2778 3910 4721 1.77 5.69/5.74 c 8458 313 1988 114477 57 4769 3056 1492 4683 1.81 5.69/5.74 c 8709 313 2239 137127 61 5205 3362 1743 4722 1.84 5.69/5.74 c 9184 313 2714 174455 64 6184 3699 2218 4734 1.94 5.69/5.74 c 9998 313 3528 241012 68 7803 4069 3032 4886 2.05 5.69/5.74 c 11318 280 2624 170069 64 6030 4476 2128 4832 2.34 5.69/5.74 c 13400 280 4706 327440 69 10167 4924 4210 4598 2.91 5.69/5.74 c 16623 280 5341 363223 68 11433 5417 4845 4092 4.06 5.69/5.74 c 21560 280 4659 309140 66 10063 5959 4163 3865 5.58 5.69/5.74 o 19 5.74 90.67/90.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.67/90.71 c 22478 280 5578 380366 68 11917 2772 5082 3916 5.74 90.67/90.71 c 22579 280 1988 113085 56 4719 3050 1492 3903 5.78 90.67/90.71 c 22830 280 2239 131979 58 5201 3356 1743 3924 5.82 90.67/90.71 c 23306 280 2715 166399 61 6154 3692 2219 3953 5.89 90.67/90.71 c 24120 280 3529 225114 63 7779 4062 3033 3965 6.08 90.67/90.71 c 25441 280 2696 160338 59 6125 4469 2200 3959 6.42 90.67/90.71 c 27522 280 4777 312268 65 10292 4916 4281 3920 7.02 90.67/90.71 c 30745 280 5417 360605 66 11559 5408 4921 3814 8.06 90.67/90.71 c 35682 280 4550 327814 72 9869 5949 4054 3834 9.30 90.67/90.71 c 43188 280 5731 405143 70 12158 6544 5235 3890 11.10 90.67/90.71 c 54549 280 6912 490369 70 14499 7199 6416 3614 15.09 90.67/90.71 c 71693 280 4850 365010 75 10445 7919 4354 3351 21.39 90.67/90.71 c 97512 280 5735 392675 68 12244 8711 5239 3162 30.84 90.67/90.71 c 136344 280 7818 614936 78 16365 9583 7322 2842 47.96 90.67/90.71 c 194696 280 6751 468769 69 14172 10542 6255 2556 76.14 90.67/90.71 o 5 90.689 91.17/91.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.17/91.24 c 225345 280 10474 769166 73 21663 2772 9978 2484 90.69 91.17/91.24 c 225446 280 1988 111856 56 4642 3050 1492 2483 90.78 91.17/91.24 c 225696 270 2238 134490 60 5201 3356 1742 2485 90.81 91.17/91.24 c 226171 270 2713 178174 65 6139 3692 2217 2488 90.88 91.17/91.24 c 226985 258 3527 241139 68 7769 4062 3031 2493 91.01 91.17/91.24 o 3 91.217 622.25/622.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 622.25/622.55 c 227905 258 4448 319497 71 9628 2768 3952 2498 91.22 622.25/622.55 c 228006 248 1990 123547 62 4729 3045 1494 2499 91.24 622.25/622.55 c 228257 248 2241 145510 64 5218 3350 1745 2500 91.28 622.25/622.55 c 228732 248 2716 187167 68 6152 3686 2220 2503 91.35 622.25/622.55 c 229546 248 3530 250336 70 7799 4055 3034 2509 91.47 622.25/622.55 c 230867 248 2672 164147 61 6084 4461 2176 2515 91.77 622.25/622.55 c 232948 248 4753 324323 68 10246 4908 4257 2524 92.28 622.25/622.55 c 236171 248 5371 366132 68 11476 5399 4875 2529 93.37 622.25/622.55 c 241107 235 4631 307598 66 9978 5939 4135 2543 94.79 622.25/622.55 c 248613 235 5877 435441 74 12511 6533 5381 2566 96.86 622.25/622.55 c 259975 235 6756 481362 71 14215 7187 6260 2592 100.29 622.25/622.55 c 277119 235 4698 356236 75 10112 7906 4202 2606 106.31 622.25/622.55 c 302938 235 5535 377611 68 11790 8697 5039 2604 116.31 622.25/622.55 c 341771 235 7416 583742 78 15499 9567 6920 2582 132.33 622.25/622.55 c 400123 235 6040 412229 68 12783 10524 5544 2491 160.60 622.25/622.55 c 487756 235 6689 522791 78 14053 11577 6193 2377 205.17 622.25/622.55 c 619308 232 11898 842491 70 24523 12735 11402 2201 281.29 622.25/622.55 c 816740 232 13014 1001318 76 26725 14009 12518 1928 423.45 622.25/622.55 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 622.25/622.55 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 622.25/622.55 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 622.25/622.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 622.25/622.55 c 59 1054980 2652 1065385 7702 455667 7206 1695 622.31 622.25/622.55 c Objective: 3 622.25/622.55 s OPTIMUM FOUND 622.25/622.55 c Total time: 622.312 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-452818-1177981132 -o ROOT/results/node65/solver-452818-1177981132 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452818-1177981132/instance-452818-1177981132.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.13 1.02 0.83 3/64 28215 /proc/meminfo: memFree=1785824/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=19556 CPUtime=0 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 274102819 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 4889 342 288 324 0 3957 0 [startup+0.00716908 s] /proc/loadavg: 1.13 1.02 0.83 3/64 28215 /proc/meminfo: memFree=1785824/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=4056 CPUtime=0 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 274102819 4153344 393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 1014 393 305 324 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4056 [startup+0.101175 s] /proc/loadavg: 1.13 1.02 0.83 3/64 28215 /proc/meminfo: memFree=1785824/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=5208 CPUtime=0.09 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 274102819 5332992 679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 1302 679 310 324 0 372 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5208 [startup+0.301192 s] /proc/loadavg: 1.13 1.02 0.83 3/64 28215 /proc/meminfo: memFree=1785824/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=6896 CPUtime=0.29 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 1135 0 0 0 29 0 0 0 19 0 1 0 274102819 7061504 1103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 1724 1103 311 324 0 794 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6896 [startup+0.701227 s] /proc/loadavg: 1.13 1.02 0.83 3/64 28215 /proc/meminfo: memFree=1785824/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=8580 CPUtime=0.69 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 1560 0 0 0 69 0 0 0 22 0 1 0 274102819 8785920 1528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 2145 1528 311 324 0 1215 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8580 [startup+1.50129 s] /proc/loadavg: 1.13 1.02 0.83 2/65 28216 /proc/meminfo: memFree=1780632/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=9088 CPUtime=1.49 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 1674 0 0 0 149 0 0 0 25 0 1 0 274102819 9306112 1642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 2272 1642 311 324 0 1342 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9088 [startup+3.10142 s] /proc/loadavg: 1.13 1.02 0.83 2/65 28216 /proc/meminfo: memFree=1780248/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=9220 CPUtime=3.09 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 1707 0 0 0 309 0 0 0 25 0 1 0 274102819 9441280 1675 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 2305 1675 311 324 0 1375 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9220 [startup+6.30169 s] /proc/loadavg: 1.12 1.02 0.83 2/65 28216 /proc/meminfo: memFree=1779288/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=9988 CPUtime=6.29 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 1908 0 0 0 629 0 0 0 25 0 1 0 274102819 10227712 1876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 2497 1876 311 324 0 1567 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9988 [startup+12.7012 s] /proc/loadavg: 1.11 1.02 0.83 2/65 28216 /proc/meminfo: memFree=1777888/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=11392 CPUtime=12.69 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 2263 0 0 0 1268 1 0 0 25 0 1 0 274102819 11665408 2231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 2848 2231 311 324 0 1918 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11392 [startup+25.5023 s] /proc/loadavg: 1.09 1.02 0.84 2/65 28216 /proc/meminfo: memFree=1775912/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=13316 CPUtime=25.48 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 2754 0 0 0 2547 1 0 0 25 0 1 0 274102819 13635584 2722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 3329 2722 311 324 0 2399 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13316 [startup+51.1024 s] /proc/loadavg: 1.06 1.01 0.84 2/65 28216 /proc/meminfo: memFree=1773800/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=15560 CPUtime=51.07 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 3292 0 0 0 5106 1 0 0 25 0 1 0 274102819 15933440 3260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6117278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 3890 3260 311 324 0 2960 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15560 [startup+102.306 s] /proc/loadavg: 1.02 1.01 0.84 2/65 28216 /proc/meminfo: memFree=1773672/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=15612 CPUtime=102.27 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 3317 0 0 0 10225 2 0 0 25 0 1 0 274102819 15986688 3285 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6119204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 3903 3285 311 324 0 2973 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15612 [startup+162.303 s] /proc/loadavg: 1.01 1.00 0.85 2/71 28380 /proc/meminfo: memFree=1772208/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=15564 CPUtime=162.19 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 3317 0 0 0 16212 7 0 0 25 0 1 0 274102819 15937536 3284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 3891 3284 311 324 0 2961 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 15564 [startup+222.303 s] /proc/loadavg: 1.00 1.00 0.86 2/65 28414 /proc/meminfo: memFree=1771624/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=17368 CPUtime=222.15 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 3763 0 0 0 22208 7 0 0 25 0 1 0 274102819 17784832 3730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 4342 3730 311 324 0 3412 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 17368 [startup+282.303 s] /proc/loadavg: 1.00 1.00 0.86 2/65 28414 /proc/meminfo: memFree=1771240/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=17948 CPUtime=282.14 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 3900 0 0 0 28206 8 0 0 25 0 1 0 274102819 18378752 3867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 4487 3867 311 324 0 3557 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 17948 [startup+342.302 s] /proc/loadavg: 1.07 1.02 0.87 2/65 28414 /proc/meminfo: memFree=1769960/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=19104 CPUtime=342.12 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4213 0 0 0 34204 8 0 0 25 0 1 0 274102819 19562496 4169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 4776 4169 311 324 0 3846 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 19104 [startup+402.302 s] /proc/loadavg: 1.08 1.03 0.88 2/65 28414 /proc/meminfo: memFree=1769960/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=19104 CPUtime=402.1 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4213 0 0 0 40202 8 0 0 25 0 1 0 274102819 19562496 4169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 4776 4169 311 324 0 3846 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 19104 [startup+462.302 s] /proc/loadavg: 1.03 1.02 0.89 2/65 28414 /proc/meminfo: memFree=1768488/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20552 CPUtime=462.1 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4575 0 0 0 46201 9 0 0 25 0 1 0 274102819 21045248 4530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5138 4530 311 324 0 4208 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 20552 [startup+522.302 s] /proc/loadavg: 1.01 1.01 0.90 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20772 CPUtime=522.08 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 52199 9 0 0 25 0 1 0 274102819 21270528 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5193 4570 311 324 0 4263 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 20772 [startup+582.302 s] /proc/loadavg: 1.00 1.01 0.90 2/65 28414 /proc/meminfo: memFree=1768360/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20756 CPUtime=582.06 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 58197 9 0 0 25 0 1 0 274102819 21254144 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5189 4570 311 324 0 4259 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 20756 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 1.00 1.01 0.90 2/65 28414 /proc/meminfo: memFree=1768360/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20756 CPUtime=588.46 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 58837 9 0 0 25 0 1 0 274102819 21254144 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5189 4570 311 324 0 4259 0 Current children cumulated CPU time (s) 588.46 Current children cumulated vsize (KiB) 20756 [startup+601.501 s] /proc/loadavg: 1.00 1.01 0.90 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20756 CPUtime=601.25 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 60116 9 0 0 25 0 1 0 274102819 21254144 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5189 4570 311 324 0 4259 0 Current children cumulated CPU time (s) 601.25 Current children cumulated vsize (KiB) 20756 [startup+614.301 s] /proc/loadavg: 1.00 1.01 0.90 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20756 CPUtime=614.05 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 61396 9 0 0 25 0 1 0 274102819 21254144 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5189 4570 311 324 0 4259 0 Current children cumulated CPU time (s) 614.05 Current children cumulated vsize (KiB) 20756 [startup+617.502 s] /proc/loadavg: 1.00 1.01 0.90 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20756 CPUtime=617.25 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 61716 9 0 0 25 0 1 0 274102819 21254144 4570 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5189 4570 311 324 0 4259 0 Current children cumulated CPU time (s) 617.25 Current children cumulated vsize (KiB) 20756 [startup+620.702 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20604 CPUtime=620.45 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 62036 9 0 0 25 0 1 0 274102819 21098496 4544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5151 4544 311 324 0 4221 0 Current children cumulated CPU time (s) 620.45 Current children cumulated vsize (KiB) 20604 [startup+621.506 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20604 CPUtime=621.25 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 62116 9 0 0 25 0 1 0 274102819 21098496 4544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5151 4544 311 324 0 4221 0 Current children cumulated CPU time (s) 621.25 Current children cumulated vsize (KiB) 20604 [startup+622.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20604 CPUtime=622.05 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 62196 9 0 0 25 0 1 0 274102819 21098496 4544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5151 4544 311 324 0 4221 0 Current children cumulated CPU time (s) 622.05 Current children cumulated vsize (KiB) 20604 [startup+622.502 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28414 /proc/meminfo: memFree=1768296/2055920 swapFree=4184072/4192956 [pid=28215] ppid=28213 vsize=20604 CPUtime=622.25 /proc/28215/stat : 28215 (bsolo3.0.17) R 28213 28215 27543 0 -1 4194304 4615 0 0 0 62216 9 0 0 25 0 1 0 274102819 21098496 4544 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6119076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28215/statm: 5151 4544 311 324 0 4221 0 Current children cumulated CPU time (s) 622.25 Current children cumulated vsize (KiB) 20604 Child status: 0 Real time (s): 622.56 CPU time (s): 622.318 CPU user time (s): 622.218 CPU system time (s): 0.099984 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 20772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 622.218 system time used= 0.099984 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= 11 involuntary context switches= 702 runsolver used 0.484926 second user time and 1.27181 second system time The end
Begin job on node65 on Tue May 1 00:58:52 UTC 2007 IDJOB= 452818 IDBENCH= 47885 IDSOLVER= 199 FILE ID= node65/452818-1177981132 PBS_JOBID= 4728193 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=9-P0=149-P1=419-P2=307-P3=223-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452818-1177981132/instance-452818-1177981132.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-452818-1177981132 -o ROOT/results/node65/solver-452818-1177981132 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452818-1177981132/instance-452818-1177981132.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c4226b2f0998740abfed6a5c474083dd RANDOM SEED= 733189104 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: 1786296 kB Buffers: 23508 kB Cached: 170084 kB SwapCached: 2860 kB Active: 57424 kB Inactive: 145956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786296 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 6668 kB Writeback: 0 kB Mapped: 15756 kB Slab: 52300 kB Committed_AS: 2627840 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 01:09:15 UTC 2007