Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.07 | 1800.53 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb |
MD5SUM | 23d2095f3ee13b7452c309e9137df723 |
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 | 240.165 |
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 | 649 |
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.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.064 0.08 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.11 c Restart #1 #Var: 231 LB: 0 @ 0.099 0.22 c Restart #2 #Var: 231 LB: 0 @ 0.212 0.34 c Restart #3 #Var: 231 LB: 0 @ 0.326 0.49 c Restart #4 #Var: 231 LB: 0 @ 0.48 0.66 c Restart #5 #Var: 231 LB: 0 @ 0.649 0.92 c Restart #6 #Var: 231 LB: 0 @ 0.912 1.24 c Restart #7 #Var: 231 LB: 0 @ 1.231 1.63 c Restart #8 #Var: 231 LB: 0 @ 1.615 2.10 c Restart #9 #Var: 231 LB: 0 @ 2.083 2.70 c Restart #10 #Var: 231 LB: 0 @ 2.69 3.20 c Restart #11 #Var: 231 LB: 0 @ 3.183 4.12 c Restart #12 #Var: 231 LB: 0 @ 4.102 4.90 c Restart #13 #Var: 231 LB: 0 @ 4.89 6.31 c Restart #14 #Var: 231 LB: 0 @ 6.299 7.30 c Restart #15 #Var: 231 LB: 0 @ 7.28 9.14 c Restart #16 #Var: 231 LB: 0 @ 9.122 10.39 c Restart #17 #Var: 231 LB: 0 @ 10.371 11.88 c Restart #18 #Var: 231 LB: 0 @ 11.867 13.48 c Restart #19 #Var: 231 LB: 0 @ 13.467 15.77 c Restart #20 #Var: 231 LB: 0 @ 15.749 17.55 c Restart #21 #Var: 231 LB: 0 @ 17.534 21.12 c Restart #22 #Var: 231 LB: 0 @ 21.099 23.71 c Restart #23 #Var: 231 LB: 0 @ 23.691 27.55 c Restart #24 #Var: 231 LB: 0 @ 27.531 32.25 c Restart #25 #Var: 231 LB: 0 @ 32.225 35.95 c Restart #26 #Var: 231 LB: 0 @ 35.928 40.48 c Restart #27 #Var: 231 LB: 0 @ 40.453 44.27 c Restart #28 #Var: 231 LB: 0 @ 44.244 49.67 c Restart #29 #Var: 231 LB: 0 @ 49.649 55.15 c Restart #30 #Var: 231 LB: 0 @ 55.121 60.06 c Restart #31 #Var: 231 LB: 0 @ 60.035 65.84 c Restart #32 #Var: 231 LB: 0 @ 65.807 73.48 c Restart #33 #Var: 231 LB: 0 @ 73.444 80.48 c Restart #34 #Var: 231 LB: 0 @ 80.444 88.73 c Restart #35 #Var: 231 LB: 0 @ 88.695 97.77 c Restart #36 #Var: 231 LB: 0 @ 97.737 107.12 c Restart #37 #Var: 231 LB: 0 @ 107.08 119.43 c Restart #38 #Var: 231 LB: 0 @ 119.39 130.58 c Restart #39 #Var: 231 LB: 0 @ 130.54 141.63 c Restart #40 #Var: 231 LB: 0 @ 141.59 154.13 c Restart #41 #Var: 231 LB: 0 @ 154.08 171.71 c Restart #42 #Var: 231 LB: 0 @ 171.66 185.85 c Restart #43 #Var: 231 LB: 0 @ 185.79 200.62 c Restart #44 #Var: 231 LB: 0 @ 200.56 218.72 c Restart #45 #Var: 231 LB: 0 @ 218.66 236.10 c Restart #46 #Var: 231 LB: 0 @ 236.03 256.33 c Restart #47 #Var: 231 LB: 0 @ 256.26 275.06 c Restart #48 #Var: 231 LB: 0 @ 274.98 295.94 c Restart #49 #Var: 231 LB: 0 @ 295.85 329.34 c Restart #50 #Var: 231 LB: 0 @ 329.25 349.14 c Restart #51 #Var: 231 LB: 0 @ 349.04 375.24 c Restart #52 #Var: 231 LB: 0 @ 375.13 403.37 c Restart #53 #Var: 231 LB: 0 @ 403.25 430.00 c Restart #54 #Var: 231 LB: 0 @ 429.88 467.32 c Restart #55 #Var: 231 LB: 0 @ 467.2 495.02 c Restart #56 #Var: 231 LB: 0 @ 494.89 525.51 c Restart #57 #Var: 231 LB: 0 @ 525.37 559.94 c Restart #58 #Var: 231 LB: 0 @ 559.79 601.90 c Restart #59 #Var: 231 LB: 0 @ 601.74 637.31 c Restart #60 #Var: 231 LB: 0 @ 637.14 674.16 c Restart #61 #Var: 231 LB: 0 @ 673.98 723.53 c Restart #62 #Var: 231 LB: 0 @ 723.34 778.65 c Restart #63 #Var: 231 LB: 0 @ 778.44 829.42 c Restart #64 #Var: 231 LB: 0 @ 829.2 898.88 c Restart #65 #Var: 231 LB: 0 @ 898.64 950.12 c CHANGE Heuristic... 950.12 c Restart #0 #Var: 231 LB: 0 @ 949.87 956.32 c Restart #1 #Var: 231 LB: 0 @ 956.07 961.46 c Restart #2 #Var: 231 LB: 0 @ 961.21 967.45 c Restart #3 #Var: 231 LB: 0 @ 967.2 971.74 c Restart #4 #Var: 231 LB: 0 @ 971.49 980.02 c Restart #5 #Var: 231 LB: 0 @ 979.76 986.00 c Restart #6 #Var: 231 LB: 0 @ 985.74 995.80 c Restart #7 #Var: 231 LB: 0 @ 995.54 1007.13 c Restart #8 #Var: 231 LB: 0 @ 1006.9 1021.04 c Restart #9 #Var: 231 LB: 0 @ 1020.8 1035.85 c Restart #10 #Var: 231 LB: 0 @ 1035.6 1044.83 c Restart #11 #Var: 231 LB: 0 @ 1044.6 1059.23 c Restart #12 #Var: 231 LB: 0 @ 1059 1069.73 c Restart #13 #Var: 231 LB: 0 @ 1069.5 1092.97 c Restart #14 #Var: 231 LB: 0 @ 1092.7 1105.74 c Restart #15 #Var: 231 LB: 0 @ 1105.5 1121.30 c Restart #16 #Var: 231 LB: 0 @ 1121 1140.89 c Restart #17 #Var: 231 LB: 0 @ 1140.6 1160.99 c Restart #18 #Var: 231 LB: 0 @ 1160.7 1179.13 c Restart #19 #Var: 231 LB: 0 @ 1178.8 1207.01 c Restart #20 #Var: 231 LB: 0 @ 1206.7 1230.22 c Restart #21 #Var: 231 LB: 0 @ 1229.9 1262.31 c Restart #22 #Var: 231 LB: 0 @ 1262 1286.46 c Restart #23 #Var: 231 LB: 0 @ 1286.1 1320.13 c Restart #24 #Var: 231 LB: 0 @ 1319.8 1346.31 c Restart #25 #Var: 231 LB: 0 @ 1346 1377.32 c Restart #26 #Var: 231 LB: 0 @ 1377 1408.97 c Restart #27 #Var: 231 LB: 0 @ 1408.6 1445.65 c Restart #28 #Var: 231 LB: 0 @ 1445.3 1470.00 c Restart #29 #Var: 231 LB: 0 @ 1469.6 1498.82 c Restart #30 #Var: 231 LB: 0 @ 1498.4 1531.19 c Restart #31 #Var: 231 LB: 0 @ 1530.8 1567.57 c Restart #32 #Var: 231 LB: 0 @ 1567.2 1593.85 c Restart #33 #Var: 231 LB: 0 @ 1593.4 1655.32 c Restart #34 #Var: 231 LB: 0 @ 1654.9 1694.12 c Restart #35 #Var: 231 LB: 0 @ 1693.7 1735.47 c Restart #36 #Var: 231 LB: 0 @ 1735 1770.18 c Restart #37 #Var: 231 LB: 0 @ 1769.7 1800.46 s UNKNOWN 1800.46 c Exit Code: 0 1800.46 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/node8/watcher-39594-1149222022 -o ROOT/results/node8/solver-39594-1149222022 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node8/39594-1149222022/instance-39594-1149222022.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.98 0.97 1/64 15758 /proc/meminfo: memFree=1440360/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=4664 CPUtime=0 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 155 0 0 0 0 0 0 0 19 0 1 0 187864425 4775936 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10591508 0 0 4096 0 0 0 0 17 1 0 0 /proc/15758/statm: 1166 136 106 55 0 46 0 [startup+10.0022 s] /proc/loadavg: 0.94 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1420392/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=24416 CPUtime=9.97 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 5362 0 0 0 993 4 0 0 25 0 1 0 187864425 25001984 5277 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 6104 5277 296 55 0 4996 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 24416 [startup+20.0081 s] /proc/loadavg: 0.95 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1408168/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=36560 CPUtime=19.98 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 8418 0 0 0 1990 8 0 0 25 0 1 0 187864425 37437440 8333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 9140 8333 296 55 0 8032 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 36560 [startup+30.0141 s] /proc/loadavg: 0.96 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1399784/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=45008 CPUtime=29.99 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 10525 0 0 0 2987 12 0 0 25 0 1 0 187864425 46088192 10440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 11252 10440 296 55 0 10144 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 45008 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1391400/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=53464 CPUtime=39.99 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 12611 0 0 0 3985 14 0 0 25 0 1 0 187864425 54747136 12526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 13366 12526 296 55 0 12258 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 53464 [startup+50.0259 s] /proc/loadavg: 0.97 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1383848/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=61124 CPUtime=49.99 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 14518 0 0 0 4981 18 0 0 25 0 1 0 187864425 62590976 14433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 15281 14433 296 55 0 14173 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 61124 [startup+60.0318 s] /proc/loadavg: 0.97 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1375848/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=69040 CPUtime=59.99 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 16506 0 0 0 5979 20 0 0 25 0 1 0 187864425 70696960 16421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 17260 16421 296 55 0 16152 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 69040 [startup+70.0377 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1369128/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=75916 CPUtime=70 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 18192 0 0 0 6977 23 0 0 25 0 1 0 187864425 77737984 18107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 18979 18107 296 55 0 17871 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 75916 [startup+80.0437 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1362728/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=82136 CPUtime=80 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 19776 0 0 0 7975 25 0 0 25 0 1 0 187864425 84107264 19690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 20534 19690 296 55 0 19426 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 82136 [startup+90.0496 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1357224/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=87680 CPUtime=90 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 21159 0 0 0 8974 26 0 0 25 0 1 0 187864425 89784320 21073 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 21920 21073 296 55 0 20812 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 87680 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1351656/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=93364 CPUtime=100.01 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 22553 0 0 0 9972 29 0 0 25 0 1 0 187864425 95604736 22466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 23341 22466 296 55 0 22233 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 93364 [startup+110.061 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1347176/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=97724 CPUtime=110.01 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 23660 0 0 0 10971 30 0 0 25 0 1 0 187864425 100069376 23573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 24431 23573 296 55 0 23323 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 97724 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1342760/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=102236 CPUtime=120.02 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 24768 0 0 0 11970 32 0 0 25 0 1 0 187864425 104689664 24681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551582 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 25559 24681 296 55 0 24451 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 102236 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1337896/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=106992 CPUtime=130.02 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 25974 0 0 0 12967 35 0 0 25 0 1 0 187864425 109559808 25887 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 26748 25887 296 55 0 25640 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 106992 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1332520/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=112404 CPUtime=140.03 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 27316 0 0 0 13966 37 0 0 25 0 1 0 187864425 115101696 27229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 28101 27229 296 55 0 26993 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 112404 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1327848/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=117024 CPUtime=150.03 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 28481 0 0 0 14964 39 0 0 25 0 1 0 187864425 119832576 28394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 29256 28394 296 55 0 28148 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 117024 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1324008/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=120984 CPUtime=160.03 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 29437 0 0 0 15962 41 0 0 25 0 1 0 187864425 123887616 29350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 30246 29350 296 55 0 29138 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 120984 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1320168/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=124812 CPUtime=170.03 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 30397 0 0 0 16961 42 0 0 25 0 1 0 187864425 127807488 30310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 31203 30310 296 55 0 30095 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 124812 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1315368/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=129724 CPUtime=180.04 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 31615 0 0 0 17959 45 0 0 25 0 1 0 187864425 132837376 31527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 32431 31527 296 55 0 31323 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 129724 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1311720/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=133320 CPUtime=190.04 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 32507 0 0 0 18958 46 0 0 25 0 1 0 187864425 136519680 32419 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 33330 32419 296 55 0 32222 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 133320 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1307048/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=138072 CPUtime=200.04 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 33678 0 0 0 19957 47 0 0 25 0 1 0 187864425 141385728 33589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 34518 33589 296 55 0 33410 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 138072 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.97 2/64 15758 /proc/meminfo: memFree=1303848/2055920 swapFree=4181412/4192956 ################ # More data... # ################ /proc/15758/statm: 106058 104447 296 55 0 104950 0 Current children cumulated CPU time (s) 1760.59 Current children cumulated vsize (Kb) 424232 [startup+1771.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1021352/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=425552 CPUtime=1770.6 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 104967 0 0 0 176884 176 0 0 25 0 1 0 187864425 435765248 104792 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106388 104792 296 55 0 105280 0 Current children cumulated CPU time (s) 1770.6 Current children cumulated vsize (Kb) 425552 [startup+1781.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1020520/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=426480 CPUtime=1780.6 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105180 0 0 0 177884 176 0 0 25 0 1 0 187864425 436715520 105005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106620 105005 296 55 0 105512 0 Current children cumulated CPU time (s) 1780.6 Current children cumulated vsize (Kb) 426480 [startup+1782.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1020456/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=426480 CPUtime=1781.61 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105199 0 0 0 177985 176 0 0 25 0 1 0 187864425 436715520 105024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106620 105024 296 55 0 105512 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 426480 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1020328/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=426612 CPUtime=1782.61 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105220 0 0 0 178085 176 0 0 25 0 1 0 187864425 436850688 105045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548490 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106653 105045 296 55 0 105545 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 426612 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1020264/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=426744 CPUtime=1783.62 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105246 0 0 0 178186 176 0 0 25 0 1 0 187864425 436985856 105071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106686 105071 296 55 0 105578 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 426744 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1020136/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=426876 CPUtime=1784.62 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105273 0 0 0 178286 176 0 0 25 0 1 0 187864425 437121024 105098 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106719 105098 296 55 0 105611 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 426876 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1020072/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=426876 CPUtime=1785.63 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105292 0 0 0 178387 176 0 0 25 0 1 0 187864425 437121024 105117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540566 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106719 105117 296 55 0 105611 0 Current children cumulated CPU time (s) 1785.63 Current children cumulated vsize (Kb) 426876 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1019944/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=427008 CPUtime=1786.63 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105320 0 0 0 178487 176 0 0 25 0 1 0 187864425 437256192 105145 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106752 105145 296 55 0 105644 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 427008 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1019688/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=427272 CPUtime=1787.63 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105380 0 0 0 178587 176 0 0 25 0 1 0 187864425 437526528 105205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106818 105205 296 55 0 105710 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 427272 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1019560/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=427404 CPUtime=1788.64 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105417 0 0 0 178688 176 0 0 25 0 1 0 187864425 437661696 105242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534923 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106851 105242 296 55 0 105743 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 427404 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1019368/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=427536 CPUtime=1789.64 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105459 0 0 0 178788 176 0 0 25 0 1 0 187864425 437796864 105284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106884 105284 296 55 0 105776 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 427536 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1019176/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=427800 CPUtime=1790.65 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105507 0 0 0 178889 176 0 0 25 0 1 0 187864425 438067200 105332 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106950 105332 296 55 0 105842 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 427800 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1019112/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=427800 CPUtime=1791.65 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105528 0 0 0 178989 176 0 0 25 0 1 0 187864425 438067200 105353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11056763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 106950 105353 296 55 0 105842 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 427800 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018920/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428064 CPUtime=1792.65 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105572 0 0 0 179089 176 0 0 25 0 1 0 187864425 438337536 105397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107016 105397 296 55 0 105908 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 428064 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018856/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428252 CPUtime=1793.66 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105603 0 0 0 179190 176 0 0 25 0 1 0 187864425 438530048 105425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107063 105425 296 55 0 105955 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 428252 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018792/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428252 CPUtime=1794.67 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105616 0 0 0 179290 177 0 0 25 0 1 0 187864425 438530048 105438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107063 105438 296 55 0 105955 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 428252 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018664/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428384 CPUtime=1795.68 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105650 0 0 0 179391 177 0 0 25 0 1 0 187864425 438665216 105472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107096 105473 296 55 0 105988 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 428384 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018536/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428516 CPUtime=1796.68 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105672 0 0 0 179491 177 0 0 25 0 1 0 187864425 438800384 105494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107129 105494 296 55 0 106021 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 428516 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018408/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428648 CPUtime=1797.68 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105707 0 0 0 179591 177 0 0 25 0 1 0 187864425 438935552 105529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107162 105529 296 55 0 106054 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 428648 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018216/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428780 CPUtime=1798.69 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105760 0 0 0 179692 177 0 0 25 0 1 0 187864425 439070720 105582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107195 105582 296 55 0 106087 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 428780 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.98 2/64 15760 /proc/meminfo: memFree=1018088/2055920 swapFree=4181412/4192956 [pid=15758] ppid=15756 vsize=428944 CPUtime=1799.69 /proc/15758/stat : 15758 (bsolo) R 15756 15758 15713 0 -1 0 105786 0 0 0 179792 177 0 0 25 0 1 0 187864425 439238656 105608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15758/statm: 107236 105608 296 55 0 106128 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 428944 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.07 CPU user time (s): 1798.23 CPU system time (s): 1.83872 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (Kb): 428944
Begin job on node8 on Fri Jun 2 04:20:22 UTC 2006 FILE ID= 39594-1149222022 PBS_JOBID= 295476 BENCH NAME= ROOT/tmp/node8/39594-1149222022/instance-39594-1149222022.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node8/39594-1149222022/instance-39594-1149222022.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node8/watcher-39594-1149222022 -o ROOT/results/node8/solver-39594-1149222022 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node8/39594-1149222022/instance-39594-1149222022.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 23d2095f3ee13b7452c309e9137df723 RANDOM SEED= 662979790 /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.220 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.220 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: 1440568 kB Buffers: 16448 kB Cached: 529636 kB SwapCached: 3424 kB Active: 163716 kB Inactive: 391300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1440568 kB SwapTotal: 4192956 kB SwapFree: 4181412 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14860 kB Slab: 46264 kB Committed_AS: 197412 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node8 on Fri Jun 2 04:50:23 UTC 2006