Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.08 | 1800.77 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb |
MD5SUM | c118a5f7f4e95d7123e302378befd6ff |
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 | 55.0486 |
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 | 671 |
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.07 c Initial problem consists of 231 variables and 2707 constraints. 0.08 c Using non-optimization problem switches. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.076 0.08 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.12 c Restart #1 #Var: 231 LB: 0 @ 0.113 0.23 c Restart #2 #Var: 231 LB: 0 @ 0.23 0.36 c Restart #3 #Var: 231 LB: 0 @ 0.361 0.54 c Restart #4 #Var: 231 LB: 0 @ 0.532 0.75 c Restart #5 #Var: 231 LB: 0 @ 0.751 1.03 c Restart #6 #Var: 231 LB: 0 @ 1.025 1.38 c Restart #7 #Var: 231 LB: 0 @ 1.376 1.77 c Restart #8 #Var: 231 LB: 0 @ 1.767 2.29 c Restart #9 #Var: 231 LB: 0 @ 2.284 2.80 c Restart #10 #Var: 231 LB: 0 @ 2.797 3.36 c Restart #11 #Var: 231 LB: 0 @ 3.352 4.12 c Restart #12 #Var: 231 LB: 0 @ 4.113 5.00 c Restart #13 #Var: 231 LB: 0 @ 4.999 5.90 c Restart #14 #Var: 231 LB: 0 @ 5.898 7.07 c Restart #15 #Var: 231 LB: 0 @ 7.068 8.26 c Restart #16 #Var: 231 LB: 0 @ 8.249 9.64 c Restart #17 #Var: 231 LB: 0 @ 9.635 12.11 c Restart #18 #Var: 231 LB: 0 @ 12.098 14.08 c Restart #19 #Var: 231 LB: 0 @ 14.073 16.59 c Restart #20 #Var: 231 LB: 0 @ 16.576 20.03 c Restart #21 #Var: 231 LB: 0 @ 20.013 24.39 c Restart #22 #Var: 231 LB: 0 @ 24.374 27.65 c Restart #23 #Var: 231 LB: 0 @ 27.63 30.97 c Restart #24 #Var: 231 LB: 0 @ 30.951 34.77 c Restart #25 #Var: 231 LB: 0 @ 34.748 39.10 c Restart #26 #Var: 231 LB: 0 @ 39.077 43.73 c Restart #27 #Var: 231 LB: 0 @ 43.706 47.98 c Restart #28 #Var: 231 LB: 0 @ 47.952 53.44 c Restart #29 #Var: 231 LB: 0 @ 53.416 58.70 c Restart #30 #Var: 231 LB: 0 @ 58.672 64.10 c Restart #31 #Var: 231 LB: 0 @ 64.065 69.91 c Restart #32 #Var: 231 LB: 0 @ 69.875 76.88 c Restart #33 #Var: 231 LB: 0 @ 76.839 85.13 c Restart #34 #Var: 231 LB: 0 @ 85.092 93.09 c Restart #35 #Var: 231 LB: 0 @ 93.045 99.23 c Restart #36 #Var: 231 LB: 0 @ 99.18 108.92 c Restart #37 #Var: 231 LB: 0 @ 108.87 117.44 c Restart #38 #Var: 231 LB: 0 @ 117.39 131.47 c Restart #39 #Var: 231 LB: 0 @ 131.41 141.47 c Restart #40 #Var: 231 LB: 0 @ 141.41 154.68 c Restart #41 #Var: 231 LB: 0 @ 154.61 171.74 c Restart #42 #Var: 231 LB: 0 @ 171.67 185.67 c Restart #43 #Var: 231 LB: 0 @ 185.59 198.72 c Restart #44 #Var: 231 LB: 0 @ 198.64 213.57 c Restart #45 #Var: 231 LB: 0 @ 213.48 231.44 c Restart #46 #Var: 231 LB: 0 @ 231.34 244.92 c Restart #47 #Var: 231 LB: 0 @ 244.81 263.98 c Restart #48 #Var: 231 LB: 0 @ 263.87 284.23 c Restart #49 #Var: 231 LB: 0 @ 284.12 299.94 c Restart #50 #Var: 231 LB: 0 @ 299.82 314.63 c Restart #51 #Var: 231 LB: 0 @ 314.5 342.68 c Restart #52 #Var: 231 LB: 0 @ 342.54 363.80 c Restart #53 #Var: 231 LB: 0 @ 363.65 397.46 c Restart #54 #Var: 231 LB: 0 @ 397.3 420.96 c Restart #55 #Var: 231 LB: 0 @ 420.8 455.06 c Restart #56 #Var: 231 LB: 0 @ 454.88 476.36 c Restart #57 #Var: 231 LB: 0 @ 476.17 505.29 c Restart #58 #Var: 231 LB: 0 @ 505.09 547.70 c Restart #59 #Var: 231 LB: 0 @ 547.49 582.19 c Restart #60 #Var: 231 LB: 0 @ 581.96 614.82 c Restart #61 #Var: 231 LB: 0 @ 614.58 641.56 c Restart #62 #Var: 231 LB: 0 @ 641.31 676.84 c Restart #63 #Var: 231 LB: 0 @ 676.58 729.61 c Restart #64 #Var: 231 LB: 0 @ 729.33 766.39 c Restart #65 #Var: 231 LB: 0 @ 766.1 800.90 c Restart #66 #Var: 231 LB: 0 @ 800.59 842.47 c Restart #67 #Var: 231 LB: 0 @ 842.15 875.59 c Restart #68 #Var: 231 LB: 0 @ 875.25 917.81 c CHANGE Heuristic... 917.81 c Restart #0 #Var: 231 LB: 0 @ 917.45 927.31 c Restart #1 #Var: 231 LB: 0 @ 926.95 933.56 c Restart #2 #Var: 231 LB: 0 @ 933.2 937.67 c Restart #3 #Var: 231 LB: 0 @ 937.31 944.42 c Restart #4 #Var: 231 LB: 0 @ 944.05 948.95 c Restart #5 #Var: 231 LB: 0 @ 948.58 957.04 c Restart #6 #Var: 231 LB: 0 @ 956.68 963.83 c Restart #7 #Var: 231 LB: 0 @ 963.46 973.12 c Restart #8 #Var: 231 LB: 0 @ 972.75 982.53 c Restart #9 #Var: 231 LB: 0 @ 982.15 999.22 c Restart #10 #Var: 231 LB: 0 @ 998.83 1009.64 c Restart #11 #Var: 231 LB: 0 @ 1009.2 1019.18 c Restart #12 #Var: 231 LB: 0 @ 1018.8 1031.20 c Restart #13 #Var: 231 LB: 0 @ 1030.8 1044.47 c Restart #14 #Var: 231 LB: 0 @ 1044.1 1062.71 c Restart #15 #Var: 231 LB: 0 @ 1062.3 1079.56 c Restart #16 #Var: 231 LB: 0 @ 1079.1 1098.97 c Restart #17 #Var: 231 LB: 0 @ 1098.5 1113.31 c Restart #18 #Var: 231 LB: 0 @ 1112.9 1130.82 c Restart #19 #Var: 231 LB: 0 @ 1130.4 1144.25 c Restart #20 #Var: 231 LB: 0 @ 1143.8 1163.78 c Restart #21 #Var: 231 LB: 0 @ 1163.3 1180.15 c Restart #22 #Var: 231 LB: 0 @ 1179.7 1202.14 c Restart #23 #Var: 231 LB: 0 @ 1201.7 1221.48 c Restart #24 #Var: 231 LB: 0 @ 1221 1241.43 c Restart #25 #Var: 231 LB: 0 @ 1241 1263.47 c Restart #26 #Var: 231 LB: 0 @ 1263 1285.21 c Restart #27 #Var: 231 LB: 0 @ 1284.7 1305.52 c Restart #28 #Var: 231 LB: 0 @ 1305 1321.96 c Restart #29 #Var: 231 LB: 0 @ 1321.5 1350.58 c Restart #30 #Var: 231 LB: 0 @ 1350.1 1378.21 c Restart #31 #Var: 231 LB: 0 @ 1377.7 1409.69 c Restart #32 #Var: 231 LB: 0 @ 1409.1 1434.41 c Restart #33 #Var: 231 LB: 0 @ 1433.9 1459.03 c Restart #34 #Var: 231 LB: 0 @ 1458.5 1492.11 c Restart #35 #Var: 231 LB: 0 @ 1491.5 1523.48 c Restart #36 #Var: 231 LB: 0 @ 1522.9 1555.55 c Restart #37 #Var: 231 LB: 0 @ 1555 1590.94 c Restart #38 #Var: 231 LB: 0 @ 1590.3 1628.17 c Restart #39 #Var: 231 LB: 0 @ 1627.6 1669.88 c Restart #40 #Var: 231 LB: 0 @ 1669.2 1723.37 c Restart #41 #Var: 231 LB: 0 @ 1722.7 1763.85 c Restart #42 #Var: 231 LB: 0 @ 1763.2 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/node91/watcher-39556-1149217858 -o ROOT/results/node91/solver-39556-1149217858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/39556-1149217858/instance-39556-1149217858.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.93 3/68 21623 /proc/meminfo: memFree=1695472/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=4672 CPUtime=0 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 154 0 0 0 0 0 0 0 18 0 1 0 187424765 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1252660 0 0 4096 0 0 0 0 17 1 0 0 /proc/21623/statm: 1168 135 105 55 0 46 0 [startup+10.0024 s] /proc/loadavg: 0.94 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1675192/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=24944 CPUtime=9.98 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 5485 0 0 0 994 4 0 0 25 0 1 0 187424765 25542656 5401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 6236 5401 293 55 0 5127 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 24944 [startup+20.0083 s] /proc/loadavg: 0.95 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1665784/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=34316 CPUtime=19.98 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 7823 0 0 0 1991 7 0 0 25 0 1 0 187424765 35139584 7739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 8579 7739 293 55 0 7470 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 34316 [startup+30.0143 s] /proc/loadavg: 0.96 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1658360/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=41712 CPUtime=29.98 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 9685 0 0 0 2988 10 0 0 25 0 1 0 187424765 42713088 9601 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 10428 9601 293 55 0 9319 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 41712 [startup+40.0203 s] /proc/loadavg: 0.96 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1650552/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=49504 CPUtime=39.99 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 11615 0 0 0 3986 13 0 0 25 0 1 0 187424765 50692096 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 12376 11531 293 55 0 11267 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 49504 [startup+50.0272 s] /proc/loadavg: 0.97 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1642936/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=57180 CPUtime=49.99 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 13539 0 0 0 4983 16 0 0 25 0 1 0 187424765 58552320 13455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 14295 13455 293 55 0 13186 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 57180 [startup+60.0332 s] /proc/loadavg: 0.97 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1635896/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=64204 CPUtime=59.99 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 15287 0 0 0 5981 18 0 0 25 0 1 0 187424765 65744896 15203 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 16051 15203 293 55 0 14942 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 64204 [startup+70.0392 s] /proc/loadavg: 0.98 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1628472/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=71604 CPUtime=70 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 17137 0 0 0 6979 21 0 0 25 0 1 0 187424765 73322496 17053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1718315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 17901 17053 293 55 0 16792 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 71604 [startup+80.0461 s] /proc/loadavg: 0.98 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1622840/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=77304 CPUtime=80 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 18552 0 0 0 7976 24 0 0 25 0 1 0 187424765 79159296 18468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 19326 18468 293 55 0 18217 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 77304 [startup+90.0521 s] /proc/loadavg: 0.98 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1617016/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=83136 CPUtime=90.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 20004 0 0 0 8974 27 0 0 25 0 1 0 187424765 85131264 19920 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 20784 19920 293 55 0 19675 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 83136 [startup+100.058 s] /proc/loadavg: 0.98 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1609976/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=90140 CPUtime=100.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 21763 0 0 0 9971 30 0 0 25 0 1 0 187424765 92303360 21679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 22535 21679 293 55 0 21426 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 90140 [startup+110.064 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1605048/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=95036 CPUtime=110 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 22990 0 0 0 10969 31 0 0 25 0 1 0 187424765 97316864 22906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 23759 22906 293 55 0 22650 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 95036 [startup+120.07 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1599544/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=100588 CPUtime=120.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 24365 0 0 0 11967 34 0 0 25 0 1 0 187424765 103002112 24281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 25147 24281 293 55 0 24038 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 100588 [startup+130.076 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1595896/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=104284 CPUtime=130.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 25283 0 0 0 12966 35 0 0 25 0 1 0 187424765 106786816 25199 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 26071 25199 293 55 0 24962 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 104284 [startup+140.082 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1590840/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=109428 CPUtime=140.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 26538 0 0 0 13964 37 0 0 25 0 1 0 187424765 112054272 26454 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1718315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 27357 26454 293 55 0 26248 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 109428 [startup+150.088 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1586232/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=114056 CPUtime=150.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 27694 0 0 0 14961 40 0 0 25 0 1 0 187424765 116793344 27610 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 28514 27610 293 55 0 27405 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 114056 [startup+160.094 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1582520/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=117644 CPUtime=160.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 28609 0 0 0 15960 41 0 0 25 0 1 0 187424765 120467456 28525 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 29411 28525 293 55 0 28302 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 117644 [startup+170.1 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1579000/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=121212 CPUtime=170.01 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 29478 0 0 0 16958 43 0 0 25 0 1 0 187424765 124121088 29393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 30303 29393 293 55 0 29194 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 121212 [startup+180.106 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1575352/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=124904 CPUtime=180.02 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 30396 0 0 0 17957 45 0 0 25 0 1 0 187424765 127901696 30311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 31226 30311 293 55 0 30117 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 124904 [startup+190.112 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1571256/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=129028 CPUtime=190.02 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 31432 0 0 0 18956 46 0 0 25 0 1 0 187424765 132124672 31346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 32257 31346 293 55 0 31148 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 129028 [startup+200.118 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1566328/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=134048 CPUtime=200.02 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 32658 0 0 0 19953 49 0 0 25 0 1 0 187424765 137265152 32570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 33512 32570 293 55 0 32403 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 134048 [startup+210.124 s] /proc/loadavg: 0.99 0.99 0.93 2/68 21623 /proc/meminfo: memFree=1562360/2055892 swapFree=4085380/4096564 ################ # More data... # ################ /proc/21623/statm: 121356 119649 293 55 0 120247 0 Current children cumulated CPU time (s) 1760.38 Current children cumulated vsize (Kb) 485424 [startup+1771.06 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1215672/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=486744 CPUtime=1770.37 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120170 0 0 0 176828 209 0 0 25 0 1 0 187424765 498425856 119993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 121686 119993 293 55 0 120577 0 Current children cumulated CPU time (s) 1770.37 Current children cumulated vsize (Kb) 486744 [startup+1781.07 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1213752/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=488720 CPUtime=1780.38 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120664 0 0 0 177828 210 0 0 25 0 1 0 187424765 500449280 120487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122180 120487 293 55 0 121071 0 Current children cumulated CPU time (s) 1780.38 Current children cumulated vsize (Kb) 488720 [startup+1782.07 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1213496/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=488984 CPUtime=1781.38 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120725 0 0 0 177928 210 0 0 25 0 1 0 187424765 500719616 120548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122246 120548 293 55 0 121137 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 488984 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1213240/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=489248 CPUtime=1782.39 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120803 0 0 0 178029 210 0 0 25 0 1 0 187424765 500989952 120626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122312 120626 293 55 0 121203 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 489248 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1212920/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=489644 CPUtime=1783.39 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120873 0 0 0 178129 210 0 0 25 0 1 0 187424765 501395456 120696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122411 120696 293 55 0 121302 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 489644 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1212600/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=489908 CPUtime=1784.39 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 120967 0 0 0 178229 210 0 0 25 0 1 0 187424765 501665792 120790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122477 120790 293 55 0 121368 0 Current children cumulated CPU time (s) 1784.39 Current children cumulated vsize (Kb) 489908 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1212152/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=490304 CPUtime=1785.39 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121066 0 0 0 178329 210 0 0 25 0 1 0 187424765 502071296 120889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122576 120889 293 55 0 121467 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (Kb) 490304 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1211640/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=490832 CPUtime=1786.41 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121193 0 0 0 178430 211 0 0 25 0 1 0 187424765 502611968 121016 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122708 121016 293 55 0 121599 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 490832 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1211384/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491096 CPUtime=1787.41 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121256 0 0 0 178530 211 0 0 25 0 1 0 187424765 502882304 121079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122774 121079 293 55 0 121665 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 491096 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1211320/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491228 CPUtime=1788.41 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121283 0 0 0 178630 211 0 0 25 0 1 0 187424765 503017472 121106 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122807 121106 293 55 0 121698 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 491228 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1211192/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491360 CPUtime=1789.42 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121306 0 0 0 178731 211 0 0 25 0 1 0 187424765 503152640 121129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122840 121129 293 55 0 121731 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 491360 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1211064/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491492 CPUtime=1790.42 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121340 0 0 0 178831 211 0 0 25 0 1 0 187424765 503287808 121163 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122873 121163 293 55 0 121764 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 491492 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210936/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491624 CPUtime=1791.43 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121374 0 0 0 178932 211 0 0 25 0 1 0 187424765 503422976 121197 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122906 121197 293 55 0 121797 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 491624 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210808/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491624 CPUtime=1792.43 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121403 0 0 0 179032 211 0 0 25 0 1 0 187424765 503422976 121226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122906 121226 293 55 0 121797 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 491624 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210744/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491756 CPUtime=1793.43 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121426 0 0 0 179132 211 0 0 25 0 1 0 187424765 503558144 121249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122939 121249 293 55 0 121830 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 491756 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210616/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=491888 CPUtime=1794.44 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121457 0 0 0 179233 211 0 0 25 0 1 0 187424765 503693312 121280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 122972 121280 293 55 0 121863 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 491888 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210296/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=492348 CPUtime=1795.44 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121528 0 0 0 179333 211 0 0 25 0 1 0 187424765 504164352 121350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 123087 121350 293 55 0 121978 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 492348 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210296/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=492348 CPUtime=1796.45 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121528 0 0 0 179434 211 0 0 25 0 1 0 187424765 504164352 121350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 123087 121350 293 55 0 121978 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 492348 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210232/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=492480 CPUtime=1797.45 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121554 0 0 0 179534 211 0 0 25 0 1 0 187424765 504299520 121376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 123120 121376 293 55 0 122011 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 492480 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210168/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=492480 CPUtime=1798.45 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121570 0 0 0 179634 211 0 0 25 0 1 0 187424765 504299520 121392 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 123120 121392 293 55 0 122011 0 Current children cumulated CPU time (s) 1798.45 Current children cumulated vsize (Kb) 492480 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.94 2/68 21625 /proc/meminfo: memFree=1210040/2055892 swapFree=4085380/4096564 [pid=21623] ppid=21621 vsize=492612 CPUtime=1799.46 /proc/21623/stat : 21623 (bsolo) R 21621 21623 21578 0 -1 0 121599 0 0 0 179735 211 0 0 25 0 1 0 187424765 504434688 121421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21623/statm: 123153 121421 293 55 0 122044 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 492612 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.08 CPU user time (s): 1797.89 CPU system time (s): 2.18767 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (Kb): 492612
Begin job on node91 on Fri Jun 2 03:10:58 UTC 2006 FILE ID= 39556-1149217858 PBS_JOBID= 294980 BENCH NAME= ROOT/tmp/node91/39556-1149217858/instance-39556-1149217858.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/39556-1149217858/instance-39556-1149217858.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-39556-1149217858 -o ROOT/results/node91/solver-39556-1149217858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node91/39556-1149217858/instance-39556-1149217858.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= c118a5f7f4e95d7123e302378befd6ff RANDOM SEED= 932312149 /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.279 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.18 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.279 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1695680 kB Buffers: 33660 kB Cached: 252984 kB SwapCached: 2968 kB Active: 88092 kB Inactive: 207776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1695680 kB SwapTotal: 4096564 kB SwapFree: 4085380 kB Dirty: 180 kB Writeback: 0 kB Mapped: 16596 kB Slab: 50864 kB Committed_AS: 240488 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Fri Jun 2 03:40:59 UTC 2006