Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.04 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb |
MD5SUM | ce5e0345d0e70478396f95e2ebabfc80 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.35958 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654768 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654768 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 5.44 c Initial problem consists of 155000 variables and 5300 constraints. 5.87 c No problem reductions applied in OPT. instance. 5.87 c preprocess terminated. Elapsed time: 5.833 5.87 c After prepocess the problem consists of 94472 variables and 5300 constraints. 5.87 c Initial Lower Bound: 0 8.08 c Restart #1 #Var: 94472 LB: 0 @ 8.047 11.12 c Restart #2 #Var: 94472 LB: 0 @ 11.078 15.06 c Restart #3 #Var: 94472 LB: 0 @ 15.018 19.90 c Restart #4 #Var: 94472 LB: 0 @ 19.859 26.05 c Restart #5 #Var: 94472 LB: 0 @ 26.003 33.24 c Restart #6 #Var: 94472 LB: 0 @ 33.194 41.26 c Restart #7 #Var: 94472 LB: 0 @ 41.205 50.44 c Restart #8 #Var: 94472 LB: 0 @ 50.383 61.87 c Restart #9 #Var: 94472 LB: 0 @ 61.806 81.18 c Restart #10 #Var: 94472 LB: 0 @ 81.063 108.96 c Restart #11 #Var: 94472 LB: 0 @ 108.84 211.01 c Restart #12 #Var: 94472 LB: 0 @ 210.85 245.76 c Restart #13 #Var: 94472 LB: 0 @ 245.59 293.14 c Restart #14 #Var: 94472 LB: 0 @ 292.95 312.35 c Restart #15 #Var: 94472 LB: 0 @ 312.15 332.26 c Restart #16 #Var: 94472 LB: 0 @ 332.05 359.85 c Restart #17 #Var: 94472 LB: 0 @ 359.64 392.70 c Restart #18 #Var: 94472 LB: 0 @ 392.47 438.73 c Restart #19 #Var: 94472 LB: 0 @ 438.48 478.36 c Restart #20 #Var: 94472 LB: 0 @ 478.11 582.18 c Restart #21 #Var: 94472 LB: 0 @ 581.88 630.57 c Restart #22 #Var: 94472 LB: 0 @ 630.26 681.15 c Restart #23 #Var: 94472 LB: 0 @ 680.81 711.22 c Restart #24 #Var: 94472 LB: 0 @ 710.88 800.91 c Restart #25 #Var: 94472 LB: 0 @ 800.54 860.49 c Restart #26 #Var: 94472 LB: 0 @ 860.1 899.47 c Restart #27 #Var: 94472 LB: 0 @ 899.06 950.80 c CHANGE Heuristic... 950.80 c Restart #0 #Var: 94472 LB: 0 @ 950.37 951.87 c Restart #1 #Var: 94472 LB: 0 @ 951.44 954.72 c Restart #2 #Var: 94472 LB: 0 @ 954.29 961.72 c Restart #3 #Var: 94472 LB: 0 @ 961.29 966.63 c Restart #4 #Var: 94472 LB: 0 @ 966.2 972.96 c Restart #5 #Var: 94472 LB: 0 @ 972.53 987.91 c Restart #6 #Var: 94472 LB: 0 @ 987.47 996.27 c Restart #7 #Var: 94472 LB: 0 @ 995.83 1006.52 c Restart #8 #Var: 94472 LB: 0 @ 1006.1 1026.74 c Restart #9 #Var: 94472 LB: 0 @ 1026.3 1049.71 c Restart #10 #Var: 94472 LB: 0 @ 1049.2 1069.58 c Restart #11 #Var: 94472 LB: 0 @ 1069.1 1085.40 c Restart #12 #Var: 94472 LB: 0 @ 1084.9 1113.00 c Restart #13 #Var: 94472 LB: 0 @ 1112.5 1132.75 c Restart #14 #Var: 94472 LB: 0 @ 1132.3 1165.23 c Restart #15 #Var: 94472 LB: 0 @ 1164.7 1200.74 c Restart #16 #Var: 94472 LB: 0 @ 1200.2 1230.18 c Restart #17 #Var: 94472 LB: 0 @ 1229.7 1321.59 c Restart #18 #Var: 94472 LB: 0 @ 1321 1363.46 c Restart #19 #Var: 94472 LB: 0 @ 1362.9 1405.27 c Restart #20 #Var: 94472 LB: 0 @ 1404.7 1455.33 c Restart #21 #Var: 94472 LB: 0 @ 1454.7 1487.07 c Restart #22 #Var: 94472 LB: 0 @ 1486.4 1521.42 c Restart #23 #Var: 94472 LB: 0 @ 1520.8 1625.61 c Restart #24 #Var: 94472 LB: 0 @ 1624.9 1672.60 c Restart #25 #Var: 94472 LB: 0 @ 1671.9 1729.50 c Restart #26 #Var: 94472 LB: 0 @ 1728.8 1768.73 c Restart #27 #Var: 94472 LB: 0 @ 1768 1800.74 s UNKNOWN 1800.74 c Exit Code: 0 1800.74 c Total time: 1800 s
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node80/watcher-39799-1149249601 -o ROOT/results/node80/solver-39799-1149249601 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39799-1149249601/instance-39799-1149249601.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1670472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=2952 CPUtime=0 /proc/29852/stat : 29852 (bsolo) D 29850 29852 29806 0 -1 0 49 0 0 0 0 0 0 0 18 0 1 0 190598646 3022848 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11408308 0 0 4096 0 18446744071563611212 0 0 17 1 0 0 /proc/29852/statm: 738 34 26 55 0 38 0 [startup+10.0024 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1490000/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=190908 CPUtime=9.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 165232 0 0 0 930 65 0 0 25 0 1 0 190598646 195489792 45313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 47727 45313 294 55 0 46618 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 190908 [startup+20.0085 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1490000/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=191076 CPUtime=19.96 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 165329 0 0 0 1919 77 0 0 25 0 1 0 190598646 195661824 45343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 47769 45343 294 55 0 46660 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 191076 [startup+30.0146 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1490064/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=190964 CPUtime=29.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 165519 0 0 0 2906 89 0 0 25 0 1 0 190598646 195547136 45333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 47741 45333 294 55 0 46632 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 190964 [startup+40.0196 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1489872/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=191184 CPUtime=39.96 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 165645 0 0 0 3897 99 0 0 25 0 1 0 190598646 195772416 45389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 47796 45389 294 55 0 46687 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 191184 [startup+50.0267 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1489808/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=191296 CPUtime=49.96 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 165741 0 0 0 4887 109 0 0 25 0 1 0 190598646 195887104 45403 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 47824 45403 294 55 0 46715 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 191296 [startup+60.0328 s] /proc/loadavg: 1.00 1.00 0.92 2/67 29852 /proc/meminfo: memFree=1487696/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=193204 CPUtime=59.97 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 166459 0 0 0 5879 118 0 0 25 0 1 0 190598646 197840896 45896 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 48301 45896 294 55 0 47192 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 193204 [startup+70.0389 s] /proc/loadavg: 1.00 1.00 0.92 2/73 29973 /proc/meminfo: memFree=1482272/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197660 CPUtime=69.93 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167637 0 0 0 6871 122 0 0 25 0 1 0 190598646 202403840 46940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49415 46940 294 55 0 48306 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 197660 [startup+80.0469 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483280/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=79.93 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 7871 122 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 197504 [startup+90.054 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483408/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=89.93 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 8868 125 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 197504 [startup+100.06 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483408/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=99.93 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 9868 125 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 197504 [startup+110.066 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483408/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=109.94 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 10868 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 197504 [startup+120.072 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=119.94 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 11868 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 119.94 Current children cumulated vsize (Kb) 197504 [startup+130.078 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=129.94 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 12868 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 197504 [startup+140.084 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=139.94 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 13868 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 197504 [startup+150.09 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=149.94 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 14868 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 197504 [startup+160.097 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=159.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 15869 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 197504 [startup+170.103 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=169.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 16869 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 197504 [startup+180.109 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=179.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 17869 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 197504 [startup+190.115 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=189.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 18869 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 197504 [startup+200.121 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=197504 CPUtime=199.95 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 167649 0 0 0 19869 126 0 0 25 0 1 0 190598646 202244096 46945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 49376 46945 294 55 0 48267 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 197504 [startup+210.127 s] /proc/loadavg: 1.00 1.00 0.92 2/67 30047 /proc/meminfo: memFree=1483472/2055888 swapFree=4085432/4096564 ################ # More data... # ################ /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 214196 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1770.35 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 176883 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1770.35 Current children cumulated vsize (Kb) 214196 [startup+1781.08 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1780.35 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 177883 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1780.35 Current children cumulated vsize (Kb) 214196 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1781.35 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 177983 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 214196 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1782.36 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178084 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 214196 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1783.36 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178184 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 214196 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1784.36 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178284 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 214196 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1785.37 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178385 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 214196 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1786.37 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178485 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1786.37 Current children cumulated vsize (Kb) 214196 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1787.38 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178586 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 214196 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1788.38 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178686 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 214196 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1789.39 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178787 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 214196 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1790.39 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178887 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134695658 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 214196 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1791.4 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 178988 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 214196 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1792.4 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179088 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 214196 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1793.4 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179188 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 214196 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1794.41 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179289 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 214196 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1795.41 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179389 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 214196 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1796.42 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179490 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 214196 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1797.42 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179590 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 214196 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1798.43 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179691 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 214196 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.93 2/67 30047 /proc/meminfo: memFree=1466448/2055888 swapFree=4085432/4096564 [pid=29852] ppid=29850 vsize=214196 CPUtime=1799.43 /proc/29852/stat : 29852 (bsolo) R 29850 29852 29806 0 -1 0 173613 0 0 0 179791 152 0 0 25 0 1 0 190598646 219336704 51132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29852/statm: 53549 51132 294 55 0 52440 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 214196 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.04 CPU user time (s): 1798.48 CPU system time (s): 1.55376 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (Kb): 214196
Begin job on node80 on Fri Jun 2 12:00:01 UTC 2006 FILE ID= 39799-1149249601 PBS_JOBID= 297998 BENCH NAME= ROOT/tmp/node80/39799-1149249601/instance-39799-1149249601.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39799-1149249601/instance-39799-1149249601.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-39799-1149249601 -o ROOT/results/node80/solver-39799-1149249601 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39799-1149249601/instance-39799-1149249601.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= ce5e0345d0e70478396f95e2ebabfc80 RANDOM SEED= 519679657 /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.264 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 : 6006.16 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.264 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1670744 kB Buffers: 11852 kB Cached: 302944 kB SwapCached: 2356 kB Active: 36468 kB Inactive: 286972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1670744 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16584 kB Slab: 48400 kB Committed_AS: 278356 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Fri Jun 2 12:30:02 UTC 2006