Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1801.15 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb |
MD5SUM | d36c8f083b4352ee7b6379767e1c28ad |
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 | 113.471 |
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 | 727 |
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.073 0.08 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.11 c Restart #1 #Var: 231 LB: 0 @ 0.108 0.22 c Restart #2 #Var: 231 LB: 0 @ 0.217 0.37 c Restart #3 #Var: 231 LB: 0 @ 0.366 0.57 c Restart #4 #Var: 231 LB: 0 @ 0.564 0.81 c Restart #5 #Var: 231 LB: 0 @ 0.809 1.11 c Restart #6 #Var: 231 LB: 0 @ 1.103 1.40 c Restart #7 #Var: 231 LB: 0 @ 1.396 1.72 c Restart #8 #Var: 231 LB: 0 @ 1.714 2.15 c Restart #9 #Var: 231 LB: 0 @ 2.147 2.59 c Restart #10 #Var: 231 LB: 0 @ 2.584 3.25 c Restart #11 #Var: 231 LB: 0 @ 3.241 3.88 c Restart #12 #Var: 231 LB: 0 @ 3.875 4.53 c Restart #13 #Var: 231 LB: 0 @ 4.52 5.53 c Restart #14 #Var: 231 LB: 0 @ 5.522 6.91 c Restart #15 #Var: 231 LB: 0 @ 6.899 8.26 c Restart #16 #Var: 231 LB: 0 @ 8.253 9.64 c Restart #17 #Var: 231 LB: 0 @ 9.631 11.46 c Restart #18 #Var: 231 LB: 0 @ 11.456 13.14 c Restart #19 #Var: 231 LB: 0 @ 13.131 15.06 c Restart #20 #Var: 231 LB: 0 @ 15.046 17.66 c Restart #21 #Var: 231 LB: 0 @ 17.648 20.65 c Restart #22 #Var: 231 LB: 0 @ 20.634 23.98 c Restart #23 #Var: 231 LB: 0 @ 23.965 27.60 c Restart #24 #Var: 231 LB: 0 @ 27.58 31.32 c Restart #25 #Var: 231 LB: 0 @ 31.294 35.51 c Restart #26 #Var: 231 LB: 0 @ 35.482 39.98 c Restart #27 #Var: 231 LB: 0 @ 39.951 47.68 c Restart #28 #Var: 231 LB: 0 @ 47.652 55.54 c Restart #29 #Var: 231 LB: 0 @ 55.506 63.99 c Restart #30 #Var: 231 LB: 0 @ 63.954 71.28 c Restart #31 #Var: 231 LB: 0 @ 71.236 77.58 c Restart #32 #Var: 231 LB: 0 @ 77.528 87.28 c Restart #33 #Var: 231 LB: 0 @ 87.219 95.82 c Restart #34 #Var: 231 LB: 0 @ 95.763 106.79 c Restart #35 #Var: 231 LB: 0 @ 106.73 118.28 c Restart #36 #Var: 231 LB: 0 @ 118.21 131.39 c Restart #37 #Var: 231 LB: 0 @ 131.31 148.77 c Restart #38 #Var: 231 LB: 0 @ 148.69 162.33 c Restart #39 #Var: 231 LB: 0 @ 162.24 172.71 c Restart #40 #Var: 231 LB: 0 @ 172.6 185.20 c Restart #41 #Var: 231 LB: 0 @ 185.09 199.57 c Restart #42 #Var: 231 LB: 0 @ 199.46 212.39 c Restart #43 #Var: 231 LB: 0 @ 212.26 228.20 c Restart #44 #Var: 231 LB: 0 @ 228.07 248.21 c Restart #45 #Var: 231 LB: 0 @ 248.06 266.63 c Restart #46 #Var: 231 LB: 0 @ 266.47 281.56 c Restart #47 #Var: 231 LB: 0 @ 281.4 300.77 c Restart #48 #Var: 231 LB: 0 @ 300.6 318.96 c Restart #49 #Var: 231 LB: 0 @ 318.78 336.41 c Restart #50 #Var: 231 LB: 0 @ 336.22 357.97 c Restart #51 #Var: 231 LB: 0 @ 357.77 382.36 c Restart #52 #Var: 231 LB: 0 @ 382.15 407.27 c Restart #53 #Var: 231 LB: 0 @ 407.04 429.43 c Restart #54 #Var: 231 LB: 0 @ 429.19 461.85 c Restart #55 #Var: 231 LB: 0 @ 461.59 483.75 c Restart #56 #Var: 231 LB: 0 @ 483.49 518.64 c Restart #57 #Var: 231 LB: 0 @ 518.36 557.13 c Restart #58 #Var: 231 LB: 0 @ 556.84 585.96 c Restart #59 #Var: 231 LB: 0 @ 585.65 628.27 c Restart #60 #Var: 231 LB: 0 @ 627.94 671.82 c Restart #61 #Var: 231 LB: 0 @ 671.47 700.37 c Restart #62 #Var: 231 LB: 0 @ 700 737.64 c Restart #63 #Var: 231 LB: 0 @ 737.26 765.35 c Restart #64 #Var: 231 LB: 0 @ 764.95 821.95 c Restart #65 #Var: 231 LB: 0 @ 821.52 859.36 c Restart #66 #Var: 231 LB: 0 @ 858.91 914.28 c CHANGE Heuristic... 914.28 c Restart #0 #Var: 231 LB: 0 @ 913.8 921.32 c Restart #1 #Var: 231 LB: 0 @ 920.84 926.42 c Restart #2 #Var: 231 LB: 0 @ 925.93 932.26 c Restart #3 #Var: 231 LB: 0 @ 931.77 940.40 c Restart #4 #Var: 231 LB: 0 @ 939.9 945.46 c Restart #5 #Var: 231 LB: 0 @ 944.96 954.20 c Restart #6 #Var: 231 LB: 0 @ 953.7 963.06 c Restart #7 #Var: 231 LB: 0 @ 962.55 978.74 c Restart #8 #Var: 231 LB: 0 @ 978.23 993.67 c Restart #9 #Var: 231 LB: 0 @ 993.14 1005.72 c Restart #10 #Var: 231 LB: 0 @ 1005.2 1016.41 c Restart #11 #Var: 231 LB: 0 @ 1015.9 1029.35 c Restart #12 #Var: 231 LB: 0 @ 1028.8 1042.76 c Restart #13 #Var: 231 LB: 0 @ 1042.1 1054.84 c Restart #14 #Var: 231 LB: 0 @ 1054.2 1070.57 c Restart #15 #Var: 231 LB: 0 @ 1069.9 1084.79 c Restart #16 #Var: 231 LB: 0 @ 1084.2 1113.04 c Restart #17 #Var: 231 LB: 0 @ 1112.4 1133.80 c Restart #18 #Var: 231 LB: 0 @ 1133.1 1150.26 c Restart #19 #Var: 231 LB: 0 @ 1149.6 1164.25 c Restart #20 #Var: 231 LB: 0 @ 1163.6 1182.65 c Restart #21 #Var: 231 LB: 0 @ 1182 1204.72 c Restart #22 #Var: 231 LB: 0 @ 1204 1230.98 c Restart #23 #Var: 231 LB: 0 @ 1230.3 1260.89 c Restart #24 #Var: 231 LB: 0 @ 1260.1 1280.43 c Restart #25 #Var: 231 LB: 0 @ 1279.7 1306.48 c Restart #26 #Var: 231 LB: 0 @ 1305.7 1331.34 c Restart #27 #Var: 231 LB: 0 @ 1330.5 1354.97 c Restart #28 #Var: 231 LB: 0 @ 1354.2 1378.46 c Restart #29 #Var: 231 LB: 0 @ 1377.6 1410.19 c Restart #30 #Var: 231 LB: 0 @ 1409.3 1437.10 c Restart #31 #Var: 231 LB: 0 @ 1436.2 1459.10 c Restart #32 #Var: 231 LB: 0 @ 1458.2 1488.68 c Restart #33 #Var: 231 LB: 0 @ 1487.8 1515.52 c Restart #34 #Var: 231 LB: 0 @ 1514.6 1553.75 c Restart #35 #Var: 231 LB: 0 @ 1552.8 1601.02 c Restart #36 #Var: 231 LB: 0 @ 1600.1 1629.35 c Restart #37 #Var: 231 LB: 0 @ 1628.4 1677.63 c Restart #38 #Var: 231 LB: 0 @ 1676.6 1718.01 c Restart #39 #Var: 231 LB: 0 @ 1717 1771.68 c Restart #40 #Var: 231 LB: 0 @ 1770.6 1801.08 s UNKNOWN 1801.08 c Exit Code: 0 1801.08 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/node81/watcher-39605-1149223433 -o ROOT/results/node81/solver-39605-1149223433 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39605-1149223433/instance-39605-1149223433.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1312200/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=4936 CPUtime=0 /proc/19376/stat : 19376 (bsolo) D 19374 19376 19331 0 -1 0 365 0 0 0 0 0 0 0 19 0 1 0 187982752 5054464 328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072100015398 0 0 17 0 0 0 /proc/19376/statm: 1234 328 224 55 0 125 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1291920/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=24812 CPUtime=9.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 5458 0 0 0 993 5 0 0 25 0 1 0 187982752 25407488 5374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718481 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 6203 5374 293 55 0 5094 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 24812 [startup+20.0085 s] /proc/loadavg: 0.94 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1280216/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=36568 CPUtime=19.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 8400 0 0 0 1990 8 0 0 25 0 1 0 187982752 37445632 8316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 9142 8316 293 55 0 8033 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 36568 [startup+30.0146 s] /proc/loadavg: 0.95 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1271256/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=45552 CPUtime=29.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 10644 0 0 0 2987 11 0 0 25 0 1 0 187982752 46645248 10560 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 11388 10560 293 55 0 10279 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 45552 [startup+40.0207 s] /proc/loadavg: 0.95 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1263128/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=53608 CPUtime=39.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 12667 0 0 0 3984 14 0 0 25 0 1 0 187982752 54894592 12583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 13402 12583 293 55 0 12293 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 53608 [startup+50.0278 s] /proc/loadavg: 0.96 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1258712/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=58108 CPUtime=49.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 13770 0 0 0 4982 17 0 0 25 0 1 0 187982752 59502592 13686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 14527 13686 293 55 0 13418 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 58108 [startup+60.0329 s] /proc/loadavg: 0.97 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1253720/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=63128 CPUtime=59.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 15034 0 0 0 5981 18 0 0 25 0 1 0 187982752 64643072 14950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 15782 14950 293 55 0 14673 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 63128 [startup+70.0381 s] /proc/loadavg: 0.97 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1248408/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=68408 CPUtime=69.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 16345 0 0 0 6979 19 0 0 25 0 1 0 187982752 70049792 16261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 17102 16261 293 55 0 15993 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 68408 [startup+80.0442 s] /proc/loadavg: 0.98 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1242008/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=74748 CPUtime=79.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 17941 0 0 0 7977 21 0 0 25 0 1 0 187982752 76541952 17856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533920 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 18687 17856 293 55 0 17578 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 74748 [startup+90.0503 s] /proc/loadavg: 0.98 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1236888/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=80028 CPUtime=89.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 19233 0 0 0 8974 24 0 0 25 0 1 0 187982752 81948672 19148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 20007 19148 293 55 0 18898 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 80028 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1232664/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=84152 CPUtime=99.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 20277 0 0 0 9974 25 0 0 25 0 1 0 187982752 86171648 20192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 21038 20192 293 55 0 19929 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 84152 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1228376/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=88516 CPUtime=109.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 21347 0 0 0 10971 27 0 0 25 0 1 0 187982752 90640384 21261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19376/statm: 22129 21261 293 55 0 21020 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 88516 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1224152/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=92760 CPUtime=119.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 22399 0 0 0 11969 30 0 0 25 0 1 0 187982752 94986240 22313 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 23190 22313 293 55 0 22081 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 92760 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1220632/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=96356 CPUtime=129.98 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 23291 0 0 0 12967 31 0 0 25 0 1 0 187982752 98668544 23205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 24089 23205 293 55 0 22980 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 96356 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1218008/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=99000 CPUtime=139.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 23946 0 0 0 13966 33 0 0 25 0 1 0 187982752 101376000 23860 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 24750 23860 293 55 0 23641 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 99000 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1215064/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=101904 CPUtime=150 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 24690 0 0 0 14965 35 0 0 25 0 1 0 187982752 104349696 24604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 25476 24604 293 55 0 24367 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 101904 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1210968/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=105996 CPUtime=159.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 25697 0 0 0 15963 36 0 0 25 0 1 0 187982752 108539904 25611 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 26499 25611 293 55 0 25390 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 105996 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1206040/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=110896 CPUtime=169.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 26924 0 0 0 16961 38 0 0 25 0 1 0 187982752 113557504 26838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19376/statm: 27724 26838 293 55 0 26615 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 110896 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1202200/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=114856 CPUtime=179.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 27881 0 0 0 17960 39 0 0 25 0 1 0 187982752 117612544 27795 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 28714 27795 293 55 0 27605 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 114856 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1197720/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=119380 CPUtime=189.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 29005 0 0 0 18959 40 0 0 25 0 1 0 187982752 122245120 28917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 29845 28917 293 55 0 28736 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 119380 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1192856/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=124304 CPUtime=199.99 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 30223 0 0 0 19956 43 0 0 25 0 1 0 187982752 127287296 30133 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 31076 30133 293 55 0 29967 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 124304 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.96 2/68 19376 /proc/meminfo: memFree=1188248/2055892 swapFree=4085344/4096564 ################ # More data... # ################ /proc/19376/statm: 110661 109089 293 55 0 109552 0 Current children cumulated CPU time (s) 1760.01 Current children cumulated vsize (Kb) 442644 [startup+1771.07 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=875096/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=443700 CPUtime=1770.01 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109559 0 0 0 176808 193 0 0 25 0 1 0 187982752 454348800 109358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 110925 109358 293 55 0 109816 0 Current children cumulated CPU time (s) 1770.01 Current children cumulated vsize (Kb) 443700 [startup+1781.08 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874520/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444228 CPUtime=1780.01 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109702 0 0 0 177808 193 0 0 25 0 1 0 187982752 454889472 109501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111057 109501 293 55 0 109948 0 Current children cumulated CPU time (s) 1780.01 Current children cumulated vsize (Kb) 444228 [startup+1782.08 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874520/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444228 CPUtime=1781.01 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109711 0 0 0 177908 193 0 0 25 0 1 0 187982752 454889472 109510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111057 109510 293 55 0 109948 0 Current children cumulated CPU time (s) 1781.01 Current children cumulated vsize (Kb) 444228 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874392/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444360 CPUtime=1782.01 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109730 0 0 0 178008 193 0 0 25 0 1 0 187982752 455024640 109529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111090 109529 293 55 0 109981 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (Kb) 444360 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874392/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444492 CPUtime=1783.02 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109743 0 0 0 178109 193 0 0 25 0 1 0 187982752 455159808 109542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111123 109542 293 55 0 110014 0 Current children cumulated CPU time (s) 1783.02 Current children cumulated vsize (Kb) 444492 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874328/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444492 CPUtime=1784.02 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109758 0 0 0 178209 193 0 0 25 0 1 0 187982752 455159808 109557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111123 109557 293 55 0 110014 0 Current children cumulated CPU time (s) 1784.02 Current children cumulated vsize (Kb) 444492 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874264/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444492 CPUtime=1785.02 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109771 0 0 0 178309 193 0 0 25 0 1 0 187982752 455159808 109570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111123 109570 293 55 0 110014 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (Kb) 444492 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874200/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444624 CPUtime=1786.03 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109791 0 0 0 178410 193 0 0 25 0 1 0 187982752 455294976 109590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111156 109590 293 55 0 110047 0 Current children cumulated CPU time (s) 1786.03 Current children cumulated vsize (Kb) 444624 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=874008/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444756 CPUtime=1787.03 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109827 0 0 0 178510 193 0 0 25 0 1 0 187982752 455430144 109626 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111189 109626 293 55 0 110080 0 Current children cumulated CPU time (s) 1787.03 Current children cumulated vsize (Kb) 444756 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873880/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=444888 CPUtime=1788.04 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109860 0 0 0 178611 193 0 0 25 0 1 0 187982752 455565312 109659 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111222 109659 293 55 0 110113 0 Current children cumulated CPU time (s) 1788.04 Current children cumulated vsize (Kb) 444888 [startup+1790.12 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873752/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445020 CPUtime=1789.04 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109890 0 0 0 178711 193 0 0 25 0 1 0 187982752 455700480 109689 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111255 109689 293 55 0 110146 0 Current children cumulated CPU time (s) 1789.04 Current children cumulated vsize (Kb) 445020 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873624/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445152 CPUtime=1790.05 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109923 0 0 0 178812 193 0 0 25 0 1 0 187982752 455835648 109722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111288 109722 293 55 0 110179 0 Current children cumulated CPU time (s) 1790.05 Current children cumulated vsize (Kb) 445152 [startup+1792.13 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873496/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445284 CPUtime=1791.05 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109957 0 0 0 178912 193 0 0 25 0 1 0 187982752 455970816 109756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111321 109756 293 55 0 110212 0 Current children cumulated CPU time (s) 1791.05 Current children cumulated vsize (Kb) 445284 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873368/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445416 CPUtime=1792.05 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 109994 0 0 0 179012 193 0 0 25 0 1 0 187982752 456105984 109793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111354 109793 293 55 0 110245 0 Current children cumulated CPU time (s) 1792.05 Current children cumulated vsize (Kb) 445416 [startup+1794.14 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873240/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445548 CPUtime=1793.06 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110017 0 0 0 179113 193 0 0 25 0 1 0 187982752 456241152 109816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111387 109816 293 55 0 110278 0 Current children cumulated CPU time (s) 1793.06 Current children cumulated vsize (Kb) 445548 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873048/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445876 CPUtime=1794.06 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110065 0 0 0 179213 193 0 0 25 0 1 0 187982752 456577024 109863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111469 109863 293 55 0 110360 0 Current children cumulated CPU time (s) 1794.06 Current children cumulated vsize (Kb) 445876 [startup+1796.15 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=873048/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445876 CPUtime=1795.07 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110066 0 0 0 179314 193 0 0 25 0 1 0 187982752 456577024 109864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111469 109864 293 55 0 110360 0 Current children cumulated CPU time (s) 1795.07 Current children cumulated vsize (Kb) 445876 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=872920/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=445876 CPUtime=1796.07 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110097 0 0 0 179414 193 0 0 25 0 1 0 187982752 456577024 109895 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111469 109895 293 55 0 110360 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (Kb) 445876 [startup+1798.16 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=872792/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=446140 CPUtime=1797.07 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110145 0 0 0 179514 193 0 0 25 0 1 0 187982752 456847360 109943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10537003 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111535 109943 293 55 0 110426 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (Kb) 446140 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=872600/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=446272 CPUtime=1798.08 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110180 0 0 0 179615 193 0 0 25 0 1 0 187982752 456982528 109978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111568 109978 293 55 0 110459 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (Kb) 446272 [startup+1800.17 s] /proc/loadavg: 1.00 0.99 0.96 2/68 19571 /proc/meminfo: memFree=872536/2055892 swapFree=4085344/4096564 [pid=19376] ppid=19374 vsize=446404 CPUtime=1799.08 /proc/19376/stat : 19376 (bsolo) R 19374 19376 19331 0 -1 0 110202 0 0 0 179715 193 0 0 25 0 1 0 187982752 457117696 110000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19376/statm: 111601 110000 293 55 0 110492 0 Current children cumulated CPU time (s) 1799.08 Current children cumulated vsize (Kb) 446404 Child status: 0 Real time (s): 1801.15 CPU time (s): 1800.07 CPU user time (s): 1798.07 CPU system time (s): 2.00369 CPU usage (%): 99.94 Max. virtual memory (cumulated for all children) (Kb): 446404
Begin job on node81 on Fri Jun 2 04:43:53 UTC 2006 FILE ID= 39605-1149223433 PBS_JOBID= 295611 BENCH NAME= ROOT/tmp/node81/39605-1149223433/instance-39605-1149223433.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39605-1149223433/instance-39605-1149223433.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-39605-1149223433 -o ROOT/results/node81/solver-39605-1149223433 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39605-1149223433/instance-39605-1149223433.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d36c8f083b4352ee7b6379767e1c28ad RANDOM SEED= 67963651 /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.248 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.19 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.248 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1312472 kB Buffers: 43604 kB Cached: 622112 kB SwapCached: 2656 kB Active: 160108 kB Inactive: 514484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1312472 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 144 kB Writeback: 0 kB Mapped: 16508 kB Slab: 55440 kB Committed_AS: 212556 kB PageTables: 1288 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node81 on Fri Jun 2 05:13:54 UTC 2006