Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1800.77 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb |
MD5SUM | 6281627dc4c435fe3011d1036bb94900 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 82.7284 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.06 c Initial problem consists of 231 variables and 2707 constraints. 0.07 c Using non-optimization problem switches. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.07 0.07 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.12 c Restart #1 #Var: 231 LB: 0 @ 0.113 0.25 c Restart #2 #Var: 231 LB: 0 @ 0.251 0.51 c Restart #3 #Var: 231 LB: 0 @ 0.511 0.68 c Restart #4 #Var: 231 LB: 0 @ 0.68 0.89 c Restart #5 #Var: 231 LB: 0 @ 0.889 1.15 c Restart #6 #Var: 231 LB: 0 @ 1.144 1.46 c Restart #7 #Var: 231 LB: 0 @ 1.454 1.84 c Restart #8 #Var: 231 LB: 0 @ 1.833 2.23 c Restart #9 #Var: 231 LB: 0 @ 2.23 2.80 c Restart #10 #Var: 231 LB: 0 @ 2.792 3.45 c Restart #11 #Var: 231 LB: 0 @ 3.445 4.28 c Restart #12 #Var: 231 LB: 0 @ 4.281 5.13 c Restart #13 #Var: 231 LB: 0 @ 5.127 6.18 c Restart #14 #Var: 231 LB: 0 @ 6.178 7.40 c Restart #15 #Var: 231 LB: 0 @ 7.39 8.64 c Restart #16 #Var: 231 LB: 0 @ 8.636 9.97 c Restart #17 #Var: 231 LB: 0 @ 9.963 11.48 c Restart #18 #Var: 231 LB: 0 @ 11.473 13.21 c Restart #19 #Var: 231 LB: 0 @ 13.2 15.16 c Restart #20 #Var: 231 LB: 0 @ 15.152 17.30 c Restart #21 #Var: 231 LB: 0 @ 17.293 20.04 c Restart #22 #Var: 231 LB: 0 @ 20.024 22.56 c Restart #23 #Var: 231 LB: 0 @ 22.544 25.29 c Restart #24 #Var: 231 LB: 0 @ 25.273 28.03 c Restart #25 #Var: 231 LB: 0 @ 28.018 31.47 c Restart #26 #Var: 231 LB: 0 @ 31.457 36.77 c Restart #27 #Var: 231 LB: 0 @ 36.754 41.05 c Restart #28 #Var: 231 LB: 0 @ 41.027 46.17 c Restart #29 #Var: 231 LB: 0 @ 46.153 51.26 c Restart #30 #Var: 231 LB: 0 @ 51.235 55.45 c Restart #31 #Var: 231 LB: 0 @ 55.429 61.59 c Restart #32 #Var: 231 LB: 0 @ 61.563 69.91 c Restart #33 #Var: 231 LB: 0 @ 69.88 77.40 c Restart #34 #Var: 231 LB: 0 @ 77.366 85.12 c Restart #35 #Var: 231 LB: 0 @ 85.083 92.69 c Restart #36 #Var: 231 LB: 0 @ 92.655 101.11 c Restart #37 #Var: 231 LB: 0 @ 101.07 112.06 c Restart #38 #Var: 231 LB: 0 @ 112.02 119.91 c Restart #39 #Var: 231 LB: 0 @ 119.86 134.31 c Restart #40 #Var: 231 LB: 0 @ 134.26 146.29 c Restart #41 #Var: 231 LB: 0 @ 146.23 161.14 c Restart #42 #Var: 231 LB: 0 @ 161.08 181.28 c Restart #43 #Var: 231 LB: 0 @ 181.21 194.46 c Restart #44 #Var: 231 LB: 0 @ 194.38 207.97 c Restart #45 #Var: 231 LB: 0 @ 207.89 224.38 c Restart #46 #Var: 231 LB: 0 @ 224.29 241.15 c Restart #47 #Var: 231 LB: 0 @ 241.06 258.95 c Restart #48 #Var: 231 LB: 0 @ 258.85 278.60 c Restart #49 #Var: 231 LB: 0 @ 278.49 301.42 c Restart #50 #Var: 231 LB: 0 @ 301.3 325.31 c Restart #51 #Var: 231 LB: 0 @ 325.19 346.46 c Restart #52 #Var: 231 LB: 0 @ 346.33 372.40 c Restart #53 #Var: 231 LB: 0 @ 372.26 399.54 c Restart #54 #Var: 231 LB: 0 @ 399.39 424.26 c Restart #55 #Var: 231 LB: 0 @ 424.11 452.42 c Restart #56 #Var: 231 LB: 0 @ 452.26 486.31 c Restart #57 #Var: 231 LB: 0 @ 486.13 510.73 c Restart #58 #Var: 231 LB: 0 @ 510.54 554.95 c Restart #59 #Var: 231 LB: 0 @ 554.74 587.04 c Restart #60 #Var: 231 LB: 0 @ 586.81 614.26 c Restart #61 #Var: 231 LB: 0 @ 614.02 650.97 c Restart #62 #Var: 231 LB: 0 @ 650.72 695.44 c Restart #63 #Var: 231 LB: 0 @ 695.17 737.31 c Restart #64 #Var: 231 LB: 0 @ 737.03 783.80 c Restart #65 #Var: 231 LB: 0 @ 783.5 820.75 c Restart #66 #Var: 231 LB: 0 @ 820.43 861.10 c Restart #67 #Var: 231 LB: 0 @ 860.77 910.94 c CHANGE Heuristic... 910.94 c Restart #0 #Var: 231 LB: 0 @ 910.59 918.11 c Restart #1 #Var: 231 LB: 0 @ 917.76 923.46 c Restart #2 #Var: 231 LB: 0 @ 923.11 931.72 c Restart #3 #Var: 231 LB: 0 @ 931.36 940.94 c Restart #4 #Var: 231 LB: 0 @ 940.58 948.51 c Restart #5 #Var: 231 LB: 0 @ 948.15 960.02 c Restart #6 #Var: 231 LB: 0 @ 959.66 967.22 c Restart #7 #Var: 231 LB: 0 @ 966.86 974.18 c Restart #8 #Var: 231 LB: 0 @ 973.81 985.50 c Restart #9 #Var: 231 LB: 0 @ 985.13 995.46 c Restart #10 #Var: 231 LB: 0 @ 995.09 1004.97 c Restart #11 #Var: 231 LB: 0 @ 1004.6 1012.42 c Restart #12 #Var: 231 LB: 0 @ 1012 1028.90 c Restart #13 #Var: 231 LB: 0 @ 1028.5 1040.51 c Restart #14 #Var: 231 LB: 0 @ 1040.1 1053.41 c Restart #15 #Var: 231 LB: 0 @ 1053 1073.28 c Restart #16 #Var: 231 LB: 0 @ 1072.9 1092.86 c Restart #17 #Var: 231 LB: 0 @ 1092.4 1107.81 c Restart #18 #Var: 231 LB: 0 @ 1107.4 1135.68 c Restart #19 #Var: 231 LB: 0 @ 1135.3 1156.71 c Restart #20 #Var: 231 LB: 0 @ 1156.3 1176.58 c Restart #21 #Var: 231 LB: 0 @ 1176.1 1196.62 c Restart #22 #Var: 231 LB: 0 @ 1196.2 1216.49 c Restart #23 #Var: 231 LB: 0 @ 1216 1251.83 c Restart #24 #Var: 231 LB: 0 @ 1251.4 1269.22 c Restart #25 #Var: 231 LB: 0 @ 1268.7 1295.96 c Restart #26 #Var: 231 LB: 0 @ 1295.5 1324.17 c Restart #27 #Var: 231 LB: 0 @ 1323.7 1355.41 c Restart #28 #Var: 231 LB: 0 @ 1354.9 1377.85 c Restart #29 #Var: 231 LB: 0 @ 1377.3 1402.92 c Restart #30 #Var: 231 LB: 0 @ 1402.4 1433.73 c Restart #31 #Var: 231 LB: 0 @ 1433.2 1457.28 c Restart #32 #Var: 231 LB: 0 @ 1456.7 1499.76 c Restart #33 #Var: 231 LB: 0 @ 1499.2 1539.93 c Restart #34 #Var: 231 LB: 0 @ 1539.4 1590.51 c Restart #35 #Var: 231 LB: 0 @ 1589.9 1623.44 c Restart #36 #Var: 231 LB: 0 @ 1622.8 1657.30 c Restart #37 #Var: 231 LB: 0 @ 1656.7 1699.70 c Restart #38 #Var: 231 LB: 0 @ 1699.1 1741.00 c Restart #39 #Var: 231 LB: 0 @ 1740.4 1776.08 c Restart #40 #Var: 231 LB: 0 @ 1775.4 1800.69 s UNKNOWN 1800.69 c Exit Code: 0 1800.69 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/node70/watcher-39547-1149216694 -o ROOT/results/node70/solver-39547-1149216694 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39547-1149216694/instance-39547-1149216694.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.91 2/64 27869 /proc/meminfo: memFree=1600128/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=4928 CPUtime=0 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 297 0 0 0 0 0 0 0 18 0 1 0 187339020 5046272 267 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 1232 277 184 55 0 124 0 [startup+10.0022 s] /proc/loadavg: 0.87 0.94 0.91 2/64 27869 /proc/meminfo: memFree=1580632/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=24148 CPUtime=9.99 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 5309 0 0 0 993 6 0 0 25 0 1 0 187339020 24727552 5224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 6037 5224 296 55 0 4929 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 24148 [startup+20.009 s] /proc/loadavg: 0.89 0.94 0.91 2/64 27869 /proc/meminfo: memFree=1568344/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=36424 CPUtime=19.98 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 8374 0 0 0 1988 10 0 0 25 0 1 0 187339020 37298176 8289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 9106 8290 296 55 0 7998 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 36424 [startup+30.0148 s] /proc/loadavg: 0.90 0.94 0.91 2/64 27869 /proc/meminfo: memFree=1557080/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=47780 CPUtime=29.99 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 11187 0 0 0 2985 14 0 0 25 0 1 0 187339020 48926720 11102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 11945 11102 296 55 0 10837 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 47780 [startup+40.0207 s] /proc/loadavg: 0.92 0.94 0.91 2/64 27869 /proc/meminfo: memFree=1549272/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=55436 CPUtime=40 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 13122 0 0 0 3984 16 0 0 25 0 1 0 187339020 56766464 13037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 13859 13037 296 55 0 12751 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 55436 [startup+50.0265 s] /proc/loadavg: 0.93 0.94 0.91 2/64 27869 /proc/meminfo: memFree=1541976/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=62832 CPUtime=49.99 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 14948 0 0 0 4981 18 0 0 25 0 1 0 187339020 64339968 14863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529291 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 15708 14863 296 55 0 14600 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 62832 [startup+60.0323 s] /proc/loadavg: 0.94 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1533272/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=71420 CPUtime=59.99 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 17116 0 0 0 5978 21 0 0 25 0 1 0 187339020 73134080 17031 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 17855 17031 296 55 0 16747 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 71420 [startup+70.0381 s] /proc/loadavg: 0.95 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1527128/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=77636 CPUtime=70 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 18649 0 0 0 6976 24 0 0 25 0 1 0 187339020 79499264 18563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 19409 18563 296 55 0 18301 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 77636 [startup+80.0439 s] /proc/loadavg: 0.96 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1520984/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=83712 CPUtime=80 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 20184 0 0 0 7973 27 0 0 25 0 1 0 187339020 85721088 20097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 20928 20097 296 55 0 19820 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 83712 [startup+90.0497 s] /proc/loadavg: 0.96 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1515544/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=89268 CPUtime=90 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 21546 0 0 0 8971 29 0 0 25 0 1 0 187339020 91410432 21458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 22317 21458 296 55 0 21209 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 89268 [startup+100.056 s] /proc/loadavg: 0.97 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1509656/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=95088 CPUtime=100 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 23015 0 0 0 9969 31 0 0 25 0 1 0 187339020 97370112 22927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 23772 22927 296 55 0 22664 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 95088 [startup+110.061 s] /proc/loadavg: 0.97 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1504472/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=100364 CPUtime=110 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 24321 0 0 0 10967 33 0 0 25 0 1 0 187339020 102772736 24233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 25091 24233 296 55 0 23983 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 100364 [startup+120.067 s] /proc/loadavg: 0.98 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1497560/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=107236 CPUtime=120.01 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 26033 0 0 0 11965 36 0 0 25 0 1 0 187339020 109809664 25945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 26809 25945 296 55 0 25701 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 107236 [startup+130.073 s] /proc/loadavg: 0.98 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1493720/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=111208 CPUtime=130.01 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 26988 0 0 0 12963 38 0 0 25 0 1 0 187339020 113876992 26900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 27802 26900 296 55 0 26694 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 111208 [startup+140.079 s] /proc/loadavg: 0.98 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1489560/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=115304 CPUtime=140.01 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 28026 0 0 0 13961 40 0 0 25 0 1 0 187339020 118071296 27938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 28826 27938 296 55 0 27718 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 115304 [startup+150.085 s] /proc/loadavg: 0.98 0.95 0.91 2/64 27869 /proc/meminfo: memFree=1485016/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=119808 CPUtime=150.02 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 29157 0 0 0 14959 43 0 0 25 0 1 0 187339020 122683392 29069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 29952 29069 296 55 0 28844 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 119808 [startup+160.09 s] /proc/loadavg: 0.99 0.96 0.91 2/64 27869 /proc/meminfo: memFree=1480536/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=124428 CPUtime=160.02 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 30279 0 0 0 15958 44 0 0 25 0 1 0 187339020 127414272 30190 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 31107 30190 296 55 0 29999 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 124428 [startup+170.096 s] /proc/loadavg: 0.99 0.96 0.91 2/64 27869 /proc/meminfo: memFree=1477208/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=127768 CPUtime=170.02 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 31113 0 0 0 16956 46 0 0 25 0 1 0 187339020 130834432 31024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 31942 31024 296 55 0 30834 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 127768 [startup+180.102 s] /proc/loadavg: 0.99 0.96 0.91 2/64 27869 /proc/meminfo: memFree=1474264/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=130692 CPUtime=180.02 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 31843 0 0 0 17954 48 0 0 25 0 1 0 187339020 133828608 31753 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 32673 31753 296 55 0 31565 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 130692 [startup+190.108 s] /proc/loadavg: 0.99 0.96 0.91 2/64 27869 /proc/meminfo: memFree=1470104/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=134928 CPUtime=190.02 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 32897 0 0 0 18953 49 0 0 25 0 1 0 187339020 138166272 32807 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 33732 32807 296 55 0 32624 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 134928 [startup+200.114 s] /proc/loadavg: 0.99 0.96 0.91 2/64 27869 /proc/meminfo: memFree=1466392/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=138624 CPUtime=200.03 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 33821 0 0 0 19952 51 0 0 25 0 1 0 187339020 141950976 33730 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 34656 33730 296 55 0 33548 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 138624 [startup+210.121 s] /proc/loadavg: 0.99 0.96 0.91 2/64 27869 /proc/meminfo: memFree=1460888/2055920 swapFree=4182240/4192956 ################ # More data... # ################ /proc/27869/statm: 114629 112791 296 55 0 113521 0 Current children cumulated CPU time (s) 1760.42 Current children cumulated vsize (Kb) 458516 [startup+1771.09 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1146776/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=460892 CPUtime=1770.43 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 113611 0 0 0 176837 206 0 0 25 0 1 0 187339020 471953408 113405 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115223 113405 296 55 0 114115 0 Current children cumulated CPU time (s) 1770.43 Current children cumulated vsize (Kb) 460892 [startup+1781.09 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144920/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=462608 CPUtime=1780.42 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114069 0 0 0 177836 206 0 0 25 0 1 0 187339020 473710592 113863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115652 113863 296 55 0 114544 0 Current children cumulated CPU time (s) 1780.42 Current children cumulated vsize (Kb) 462608 [startup+1782.1 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144856/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=462740 CPUtime=1781.44 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114093 0 0 0 177937 207 0 0 25 0 1 0 187339020 473845760 113887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115685 113887 296 55 0 114577 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 462740 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144600/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463004 CPUtime=1782.44 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114148 0 0 0 178037 207 0 0 25 0 1 0 187339020 474116096 113942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115751 113942 296 55 0 114643 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 463004 [startup+1784.11 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144344/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463320 CPUtime=1783.45 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114221 0 0 0 178138 207 0 0 25 0 1 0 187339020 474439680 114014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115830 114014 296 55 0 114722 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 463320 [startup+1785.11 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144280/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463320 CPUtime=1784.45 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114227 0 0 0 178238 207 0 0 25 0 1 0 187339020 474439680 114020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115830 114020 296 55 0 114722 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 463320 [startup+1786.12 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144216/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463452 CPUtime=1785.45 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114249 0 0 0 178338 207 0 0 25 0 1 0 187339020 474574848 114042 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115863 114042 296 55 0 114755 0 Current children cumulated CPU time (s) 1785.45 Current children cumulated vsize (Kb) 463452 [startup+1787.12 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1144088/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463584 CPUtime=1786.46 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114281 0 0 0 178439 207 0 0 25 0 1 0 187339020 474710016 114074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115896 114074 296 55 0 114788 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 463584 [startup+1788.13 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1143768/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463848 CPUtime=1787.46 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114356 0 0 0 178539 207 0 0 25 0 1 0 187339020 474980352 114149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115962 114149 296 55 0 114854 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 463848 [startup+1789.13 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1143640/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=463980 CPUtime=1788.46 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114387 0 0 0 178639 207 0 0 25 0 1 0 187339020 475115520 114180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 115995 114180 296 55 0 114887 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 463980 [startup+1790.14 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1143512/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=464112 CPUtime=1789.47 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114428 0 0 0 178740 207 0 0 25 0 1 0 187339020 475250688 114221 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116028 114221 296 55 0 114920 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (Kb) 464112 [startup+1791.14 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1143256/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=464376 CPUtime=1790.47 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114490 0 0 0 178840 207 0 0 25 0 1 0 187339020 475521024 114283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116094 114283 296 55 0 114986 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 464376 [startup+1792.15 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1142872/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=464772 CPUtime=1791.47 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114580 0 0 0 178940 207 0 0 25 0 1 0 187339020 475926528 114373 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116193 114373 296 55 0 115085 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 464772 [startup+1793.15 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1142744/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=464904 CPUtime=1792.48 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114621 0 0 0 179041 207 0 0 25 0 1 0 187339020 476061696 114414 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116226 114414 296 55 0 115118 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 464904 [startup+1794.16 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1142616/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=465036 CPUtime=1793.48 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114639 0 0 0 179141 207 0 0 25 0 1 0 187339020 476196864 114432 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116259 114432 296 55 0 115151 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 465036 [startup+1795.16 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1142552/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=465036 CPUtime=1794.5 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114665 0 0 0 179242 208 0 0 25 0 1 0 187339020 476196864 114458 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116259 114458 296 55 0 115151 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 465036 [startup+1796.17 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1142424/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=465168 CPUtime=1795.5 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114699 0 0 0 179342 208 0 0 25 0 1 0 187339020 476332032 114492 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116292 114492 296 55 0 115184 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 465168 [startup+1797.17 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1142232/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=465432 CPUtime=1796.5 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114745 0 0 0 179442 208 0 0 25 0 1 0 187339020 476602368 114538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116358 114538 296 55 0 115250 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 465432 [startup+1798.18 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1141912/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=465696 CPUtime=1797.51 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114817 0 0 0 179543 208 0 0 25 0 1 0 187339020 476872704 114610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116424 114610 296 55 0 115316 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 465696 [startup+1799.18 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1141784/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=465828 CPUtime=1798.51 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114854 0 0 0 179643 208 0 0 25 0 1 0 187339020 477007872 114647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116457 114647 296 55 0 115349 0 Current children cumulated CPU time (s) 1798.51 Current children cumulated vsize (Kb) 465828 [startup+1800.19 s] /proc/loadavg: 1.00 0.99 0.92 2/64 28064 /proc/meminfo: memFree=1141528/2055920 swapFree=4182240/4192956 [pid=27869] ppid=27867 vsize=466092 CPUtime=1799.51 /proc/27869/stat : 27869 (bsolo) R 27867 27869 27824 0 -1 0 114910 0 0 0 179743 208 0 0 25 0 1 0 187339020 477278208 114703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27869/statm: 116523 114703 296 55 0 115415 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 466092 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.1 CPU user time (s): 1797.95 CPU system time (s): 2.15567 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 466092
Begin job on node70 on Fri Jun 2 02:51:34 UTC 2006 FILE ID= 39547-1149216694 PBS_JOBID= 294863 BENCH NAME= ROOT/tmp/node70/39547-1149216694/instance-39547-1149216694.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39547-1149216694/instance-39547-1149216694.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-39547-1149216694 -o ROOT/results/node70/solver-39547-1149216694 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39547-1149216694/instance-39547-1149216694.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 6281627dc4c435fe3011d1036bb94900 RANDOM SEED= 653271014 /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.265 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.265 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: 1600464 kB Buffers: 35948 kB Cached: 346272 kB SwapCached: 2456 kB Active: 111236 kB Inactive: 279660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1600464 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 160 kB Writeback: 0 kB Mapped: 15400 kB Slab: 50584 kB Committed_AS: 163828 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node70 on Fri Jun 2 03:21:35 UTC 2006