Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.13 | 1800.67 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb |
MD5SUM | 4a96a2353b6045ef15a9bfabac06d14b |
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 | 93.1108 |
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 | 737 |
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.062 0.07 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.11 c Restart #1 #Var: 231 LB: 0 @ 0.102 0.23 c Restart #2 #Var: 231 LB: 0 @ 0.219 0.36 c Restart #3 #Var: 231 LB: 0 @ 0.349 0.57 c Restart #4 #Var: 231 LB: 0 @ 0.558 0.77 c Restart #5 #Var: 231 LB: 0 @ 0.761 1.02 c Restart #6 #Var: 231 LB: 0 @ 1.009 1.41 c Restart #7 #Var: 231 LB: 0 @ 1.395 1.86 c Restart #8 #Var: 231 LB: 0 @ 1.85 2.31 c Restart #9 #Var: 231 LB: 0 @ 2.293 2.89 c Restart #10 #Var: 231 LB: 0 @ 2.878 3.45 c Restart #11 #Var: 231 LB: 0 @ 3.433 4.13 c Restart #12 #Var: 231 LB: 0 @ 4.113 4.87 c Restart #13 #Var: 231 LB: 0 @ 4.857 6.13 c Restart #14 #Var: 231 LB: 0 @ 6.121 7.28 c Restart #15 #Var: 231 LB: 0 @ 7.265 8.52 c Restart #16 #Var: 231 LB: 0 @ 8.504 10.32 c Restart #17 #Var: 231 LB: 0 @ 10.307 12.18 c Restart #18 #Var: 231 LB: 0 @ 12.161 14.07 c Restart #19 #Var: 231 LB: 0 @ 14.053 17.43 c Restart #20 #Var: 231 LB: 0 @ 17.409 20.93 c Restart #21 #Var: 231 LB: 0 @ 20.912 24.88 c Restart #22 #Var: 231 LB: 0 @ 24.861 28.41 c Restart #23 #Var: 231 LB: 0 @ 28.387 32.86 c Restart #24 #Var: 231 LB: 0 @ 32.841 36.93 c Restart #25 #Var: 231 LB: 0 @ 36.91 40.96 c Restart #26 #Var: 231 LB: 0 @ 40.934 47.01 c Restart #27 #Var: 231 LB: 0 @ 46.987 52.17 c Restart #28 #Var: 231 LB: 0 @ 52.14 58.76 c Restart #29 #Var: 231 LB: 0 @ 58.731 67.12 c Restart #30 #Var: 231 LB: 0 @ 67.09 74.84 c Restart #31 #Var: 231 LB: 0 @ 74.805 85.64 c Restart #32 #Var: 231 LB: 0 @ 85.6 96.40 c Restart #33 #Var: 231 LB: 0 @ 96.362 104.41 c Restart #34 #Var: 231 LB: 0 @ 104.37 115.60 c Restart #35 #Var: 231 LB: 0 @ 115.55 126.86 c Restart #36 #Var: 231 LB: 0 @ 126.81 138.05 c Restart #37 #Var: 231 LB: 0 @ 137.99 155.20 c Restart #38 #Var: 231 LB: 0 @ 155.15 165.52 c Restart #39 #Var: 231 LB: 0 @ 165.46 181.51 c Restart #40 #Var: 231 LB: 0 @ 181.44 199.07 c Restart #41 #Var: 231 LB: 0 @ 199 215.43 c Restart #42 #Var: 231 LB: 0 @ 215.36 237.37 c Restart #43 #Var: 231 LB: 0 @ 237.29 250.89 c Restart #44 #Var: 231 LB: 0 @ 250.8 278.45 c Restart #45 #Var: 231 LB: 0 @ 278.35 293.12 c Restart #46 #Var: 231 LB: 0 @ 293.02 314.12 c Restart #47 #Var: 231 LB: 0 @ 314.02 343.79 c Restart #48 #Var: 231 LB: 0 @ 343.68 370.23 c Restart #49 #Var: 231 LB: 0 @ 370.11 388.39 c Restart #50 #Var: 231 LB: 0 @ 388.26 415.57 c Restart #51 #Var: 231 LB: 0 @ 415.44 442.22 c Restart #52 #Var: 231 LB: 0 @ 442.08 472.22 c Restart #53 #Var: 231 LB: 0 @ 472.07 502.08 c Restart #54 #Var: 231 LB: 0 @ 501.92 530.46 c Restart #55 #Var: 231 LB: 0 @ 530.3 562.66 c Restart #56 #Var: 231 LB: 0 @ 562.48 597.70 c Restart #57 #Var: 231 LB: 0 @ 597.52 630.68 c Restart #58 #Var: 231 LB: 0 @ 630.48 677.95 c Restart #59 #Var: 231 LB: 0 @ 677.74 723.23 c Restart #60 #Var: 231 LB: 0 @ 723.01 764.05 c Restart #61 #Var: 231 LB: 0 @ 763.81 803.56 c Restart #62 #Var: 231 LB: 0 @ 803.31 840.22 c Restart #63 #Var: 231 LB: 0 @ 839.96 887.17 c Restart #64 #Var: 231 LB: 0 @ 886.9 936.55 c CHANGE Heuristic... 936.55 c Restart #0 #Var: 231 LB: 0 @ 936.27 943.94 c Restart #1 #Var: 231 LB: 0 @ 943.65 947.92 c Restart #2 #Var: 231 LB: 0 @ 947.63 953.00 c Restart #3 #Var: 231 LB: 0 @ 952.71 956.27 c Restart #4 #Var: 231 LB: 0 @ 955.98 963.37 c Restart #5 #Var: 231 LB: 0 @ 963.08 968.61 c Restart #6 #Var: 231 LB: 0 @ 968.31 979.60 c Restart #7 #Var: 231 LB: 0 @ 979.3 986.82 c Restart #8 #Var: 231 LB: 0 @ 986.52 996.05 c Restart #9 #Var: 231 LB: 0 @ 995.74 1008.40 c Restart #10 #Var: 231 LB: 0 @ 1008.1 1019.84 c Restart #11 #Var: 231 LB: 0 @ 1019.5 1029.66 c Restart #12 #Var: 231 LB: 0 @ 1029.3 1039.01 c Restart #13 #Var: 231 LB: 0 @ 1038.7 1052.87 c Restart #14 #Var: 231 LB: 0 @ 1052.6 1068.32 c Restart #15 #Var: 231 LB: 0 @ 1068 1092.09 c Restart #16 #Var: 231 LB: 0 @ 1091.8 1111.30 c Restart #17 #Var: 231 LB: 0 @ 1111 1136.73 c Restart #18 #Var: 231 LB: 0 @ 1136.4 1154.48 c Restart #19 #Var: 231 LB: 0 @ 1154.1 1169.77 c Restart #20 #Var: 231 LB: 0 @ 1169.4 1192.78 c Restart #21 #Var: 231 LB: 0 @ 1192.4 1218.01 c Restart #22 #Var: 231 LB: 0 @ 1217.6 1234.13 c Restart #23 #Var: 231 LB: 0 @ 1233.8 1251.45 c Restart #24 #Var: 231 LB: 0 @ 1251.1 1272.52 c Restart #25 #Var: 231 LB: 0 @ 1272.1 1298.66 c Restart #26 #Var: 231 LB: 0 @ 1298.3 1326.56 c Restart #27 #Var: 231 LB: 0 @ 1326.2 1350.59 c Restart #28 #Var: 231 LB: 0 @ 1350.2 1375.56 c Restart #29 #Var: 231 LB: 0 @ 1375.1 1395.42 c Restart #30 #Var: 231 LB: 0 @ 1395 1435.02 c Restart #31 #Var: 231 LB: 0 @ 1434.6 1463.03 c Restart #32 #Var: 231 LB: 0 @ 1462.6 1491.42 c Restart #33 #Var: 231 LB: 0 @ 1491 1518.65 c Restart #34 #Var: 231 LB: 0 @ 1518.2 1559.49 c Restart #35 #Var: 231 LB: 0 @ 1559 1600.09 c Restart #36 #Var: 231 LB: 0 @ 1599.6 1623.89 c Restart #37 #Var: 231 LB: 0 @ 1623.4 1664.28 c Restart #38 #Var: 231 LB: 0 @ 1663.8 1703.49 c Restart #39 #Var: 231 LB: 0 @ 1703 1743.50 c Restart #40 #Var: 231 LB: 0 @ 1743 1799.57 c Restart #41 #Var: 231 LB: 0 @ 1799 1800.60 s UNKNOWN 1800.60 c Exit Code: 0 1800.60 c Total time: 1800.1 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/node53/watcher-39557-1149218113 -o ROOT/results/node53/solver-39557-1149218113 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39557-1149218113/instance-39557-1149218113.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 2/64 12592 /proc/meminfo: memFree=1298432/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=4928 CPUtime=0 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 324 0 0 0 0 0 0 0 19 0 1 0 187478751 5046272 293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 1232 298 201 55 0 124 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.95 0.92 2/64 12592 /proc/meminfo: memFree=1279504/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=23364 CPUtime=9.98 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 5098 0 0 0 993 5 0 0 25 0 1 0 187478751 23924736 5013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534909 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 5841 5013 296 55 0 4733 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 23364 [startup+20.0087 s] /proc/loadavg: 0.94 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1270352/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=32468 CPUtime=19.98 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 7387 0 0 0 1990 8 0 0 25 0 1 0 187478751 33247232 7302 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9180795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 8117 7302 296 55 0 7009 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 32468 [startup+30.0148 s] /proc/loadavg: 0.95 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1263056/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=39732 CPUtime=29.98 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 9207 0 0 0 2987 11 0 0 25 0 1 0 187478751 40685568 9122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 9933 9122 296 55 0 8825 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 39732 [startup+40.02 s] /proc/loadavg: 0.95 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1255440/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=47396 CPUtime=39.98 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 11100 0 0 0 3985 13 0 0 25 0 1 0 187478751 48533504 11015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 11849 11015 296 55 0 10741 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 47396 [startup+50.0261 s] /proc/loadavg: 0.96 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1249616/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=53204 CPUtime=49.99 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 12550 0 0 0 4982 17 0 0 25 0 1 0 187478751 54480896 12465 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 13301 12465 296 55 0 12193 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 53204 [startup+60.0322 s] /proc/loadavg: 0.97 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1243856/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=59012 CPUtime=59.99 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 13988 0 0 0 5980 19 0 0 25 0 1 0 187478751 60428288 13903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 14753 13903 296 55 0 13645 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 59012 [startup+70.0384 s] /proc/loadavg: 0.97 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1239056/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=63772 CPUtime=70 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 15184 0 0 0 6979 21 0 0 25 0 1 0 187478751 65302528 15099 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 15943 15099 296 55 0 14835 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 63772 [startup+80.0445 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1233744/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=69052 CPUtime=80 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 16507 0 0 0 7977 23 0 0 25 0 1 0 187478751 70709248 16422 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 17263 16422 296 55 0 16155 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 69052 [startup+90.0506 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1230480/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=72356 CPUtime=90 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 17337 0 0 0 8976 24 0 0 25 0 1 0 187478751 74092544 17251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 18089 17251 296 55 0 16981 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 72356 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1226448/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=76332 CPUtime=100 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 18330 0 0 0 9974 26 0 0 25 0 1 0 187478751 78163968 18243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 19083 18243 296 55 0 17975 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 76332 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.92 2/64 12592 /proc/meminfo: memFree=1221264/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=81624 CPUtime=110.01 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 19637 0 0 0 10971 30 0 0 25 0 1 0 187478751 83582976 19550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 20406 19550 296 55 0 19298 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 81624 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1217104/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=85736 CPUtime=120.02 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 20663 0 0 0 11970 32 0 0 25 0 1 0 187478751 87793664 20575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 21434 20575 296 55 0 20326 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 85736 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1212304/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=90656 CPUtime=130.06 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 21867 0 0 0 12972 34 0 0 25 0 1 0 187478751 92831744 21777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 22664 21777 296 55 0 21556 0 Current children cumulated CPU time (s) 130.06 Current children cumulated vsize (Kb) 90656 [startup+140.122 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1208016/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=94896 CPUtime=140.06 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 22934 0 0 0 13971 35 0 0 25 0 1 0 187478751 97173504 22844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 23724 22844 296 55 0 22616 0 Current children cumulated CPU time (s) 140.06 Current children cumulated vsize (Kb) 94896 [startup+150.128 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1205136/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=97824 CPUtime=150.07 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 23649 0 0 0 14970 37 0 0 25 0 1 0 187478751 100171776 23557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 24456 23557 296 55 0 23348 0 Current children cumulated CPU time (s) 150.07 Current children cumulated vsize (Kb) 97824 [startup+160.134 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1201872/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=101148 CPUtime=160.07 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 24468 0 0 0 15969 38 0 0 25 0 1 0 187478751 103575552 24375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 25287 24375 296 55 0 24179 0 Current children cumulated CPU time (s) 160.07 Current children cumulated vsize (Kb) 101148 [startup+170.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1197712/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=105280 CPUtime=170.07 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 25510 0 0 0 16967 40 0 0 25 0 1 0 187478751 107806720 25415 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 26320 25415 296 55 0 25212 0 Current children cumulated CPU time (s) 170.07 Current children cumulated vsize (Kb) 105280 [startup+180.146 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1193872/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=109136 CPUtime=180.07 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 26470 0 0 0 17965 42 0 0 25 0 1 0 187478751 111755264 26375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 27284 26375 296 55 0 26176 0 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 109136 [startup+190.152 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1190480/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=112448 CPUtime=190.08 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 27309 0 0 0 18965 43 0 0 25 0 1 0 187478751 115146752 27214 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 28112 27214 296 55 0 27004 0 Current children cumulated CPU time (s) 190.08 Current children cumulated vsize (Kb) 112448 [startup+200.158 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1187536/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=115484 CPUtime=200.08 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 28050 0 0 0 19964 44 0 0 25 0 1 0 187478751 118255616 27955 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 28871 27955 296 55 0 27763 0 Current children cumulated CPU time (s) 200.08 Current children cumulated vsize (Kb) 115484 [startup+210.165 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12592 /proc/meminfo: memFree=1184848/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/12592/statm: 105893 104066 296 55 0 104785 0 Current children cumulated CPU time (s) 1760.58 Current children cumulated vsize (Kb) 423572 [startup+1771.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=881360/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=424496 CPUtime=1770.58 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104547 0 0 0 176875 183 0 0 25 0 1 0 187478751 434683904 104296 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533663 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106124 104296 296 55 0 105016 0 Current children cumulated CPU time (s) 1770.58 Current children cumulated vsize (Kb) 424496 [startup+1781.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=880272/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=425456 CPUtime=1780.59 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104817 0 0 0 177875 184 0 0 25 0 1 0 187478751 435666944 104566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106364 104566 296 55 0 105256 0 Current children cumulated CPU time (s) 1780.59 Current children cumulated vsize (Kb) 425456 [startup+1782.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=880208/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=425588 CPUtime=1781.59 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104828 0 0 0 177975 184 0 0 25 0 1 0 187478751 435802112 104577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106397 104577 296 55 0 105289 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 425588 [startup+1783.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=880144/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=425720 CPUtime=1782.6 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104854 0 0 0 178076 184 0 0 25 0 1 0 187478751 435937280 104603 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106430 104603 296 55 0 105322 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 425720 [startup+1784.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=880080/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=425720 CPUtime=1783.6 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104865 0 0 0 178176 184 0 0 25 0 1 0 187478751 435937280 104614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106430 104614 296 55 0 105322 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 425720 [startup+1785.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879824/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426180 CPUtime=1784.61 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104941 0 0 0 178277 184 0 0 25 0 1 0 187478751 436408320 104681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106545 104681 296 55 0 105437 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 426180 [startup+1786.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879760/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426180 CPUtime=1785.61 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104946 0 0 0 178377 184 0 0 25 0 1 0 187478751 436408320 104686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106545 104686 296 55 0 105437 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 426180 [startup+1787.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879696/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426180 CPUtime=1786.62 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104972 0 0 0 178478 184 0 0 25 0 1 0 187478751 436408320 104712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106545 104712 296 55 0 105437 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 426180 [startup+1788.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879568/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426312 CPUtime=1787.62 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 104993 0 0 0 178578 184 0 0 25 0 1 0 187478751 436543488 104733 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106578 104733 296 55 0 105470 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 426312 [startup+1789.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879440/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426444 CPUtime=1788.63 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105025 0 0 0 178679 184 0 0 25 0 1 0 187478751 436678656 104765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106611 104765 296 55 0 105503 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 426444 [startup+1790.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879312/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426576 CPUtime=1789.63 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105054 0 0 0 178779 184 0 0 25 0 1 0 187478751 436813824 104794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106644 104794 296 55 0 105536 0 Current children cumulated CPU time (s) 1789.63 Current children cumulated vsize (Kb) 426576 [startup+1791.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879248/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426708 CPUtime=1790.64 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105078 0 0 0 178880 184 0 0 25 0 1 0 187478751 436948992 104818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106677 104818 296 55 0 105569 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 426708 [startup+1792.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=879120/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426840 CPUtime=1791.64 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105114 0 0 0 178980 184 0 0 25 0 1 0 187478751 437084160 104854 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106710 104854 296 55 0 105602 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (Kb) 426840 [startup+1793.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878928/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=426972 CPUtime=1792.64 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105162 0 0 0 179080 184 0 0 25 0 1 0 187478751 437219328 104902 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557737 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106743 104902 296 55 0 105635 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 426972 [startup+1794.2 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878736/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427104 CPUtime=1793.65 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105198 0 0 0 179181 184 0 0 25 0 1 0 187478751 437354496 104938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106776 104938 296 55 0 105668 0 Current children cumulated CPU time (s) 1793.65 Current children cumulated vsize (Kb) 427104 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878672/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427236 CPUtime=1794.65 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105218 0 0 0 179281 184 0 0 25 0 1 0 187478751 437489664 104958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106809 104958 296 55 0 105701 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 427236 [startup+1796.21 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878544/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427368 CPUtime=1795.65 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105250 0 0 0 179381 184 0 0 25 0 1 0 187478751 437624832 104990 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718505 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106842 104990 296 55 0 105734 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 427368 [startup+1797.21 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878288/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427500 CPUtime=1796.67 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105305 0 0 0 179482 185 0 0 25 0 1 0 187478751 437760000 105045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528770 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106875 105045 296 55 0 105767 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 427500 [startup+1798.22 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878160/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427764 CPUtime=1797.67 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105344 0 0 0 179582 185 0 0 25 0 1 0 187478751 438030336 105084 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106941 105084 296 55 0 105833 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 427764 [startup+1799.22 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=878032/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427764 CPUtime=1798.67 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105372 0 0 0 179682 185 0 0 25 0 1 0 187478751 438030336 105112 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106941 105112 296 55 0 105833 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (Kb) 427764 [startup+1800.23 s] /proc/loadavg: 0.99 0.97 0.92 2/64 12594 /proc/meminfo: memFree=877968/2055920 swapFree=4181356/4192956 [pid=12592] ppid=12590 vsize=427968 CPUtime=1799.68 /proc/12592/stat : 12592 (bsolo) R 12590 12592 12547 0 -1 0 105400 0 0 0 179783 185 0 0 25 0 1 0 187478751 438239232 105138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12592/statm: 106992 105138 296 55 0 105884 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 427968 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.13 CPU user time (s): 1798.21 CPU system time (s): 1.91871 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (Kb): 427968
Begin job on node53 on Fri Jun 2 03:15:13 UTC 2006 FILE ID= 39557-1149218113 PBS_JOBID= 294997 BENCH NAME= ROOT/tmp/node53/39557-1149218113/instance-39557-1149218113.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39557-1149218113/instance-39557-1149218113.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node53/watcher-39557-1149218113 -o ROOT/results/node53/solver-39557-1149218113 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node53/39557-1149218113/instance-39557-1149218113.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4a96a2353b6045ef15a9bfabac06d14b RANDOM SEED= 439533506 /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.249 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.249 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: 1298640 kB Buffers: 36368 kB Cached: 647888 kB SwapCached: 3632 kB Active: 350824 kB Inactive: 342540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1298640 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14900 kB Slab: 50004 kB Committed_AS: 232432 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 node53 on Fri Jun 2 03:45:14 UTC 2006