Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? (TO) | 1800.05 | 1801.36 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb |
MD5SUM | b656932a938990470d09f3771b5047c2 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 5.54416 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1650 |
Total number of constraints | 113164 |
Number of constraints which are clauses | 112614 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
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 | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 9 |
Number of bits of the biggest sum of numbers | 4 |
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. 2.96 c Initial problem consists of 1650 variables and 113714 constraints. 27.00 c Using non-optimization problem switches. 27.00 c No problem reductions applied in OPT. instance. 27.00 c preprocess terminated. Elapsed time: 26.977 27.00 c After prepocess the problem consists of 1650 variables and 113714 constraints. 28.24 c Restart #1 #Var: 1650 LB: 0 @ 28.214 31.08 c Restart #2 #Var: 1650 LB: 0 @ 31.055 34.70 c Restart #3 #Var: 1650 LB: 0 @ 34.678 42.12 c Restart #4 #Var: 1650 LB: 0 @ 42.092 52.30 c Restart #5 #Var: 1650 LB: 0 @ 52.258 59.30 c Restart #6 #Var: 1650 LB: 0 @ 59.258 66.12 c Restart #7 #Var: 1650 LB: 0 @ 66.068 76.51 c Restart #8 #Var: 1650 LB: 0 @ 76.456 87.82 c Restart #9 #Var: 1650 LB: 0 @ 87.766 102.07 c Restart #10 #Var: 1650 LB: 0 @ 102 113.41 c Restart #11 #Var: 1650 LB: 0 @ 113.34 128.87 c Restart #12 #Var: 1650 LB: 0 @ 128.79 143.49 c Restart #13 #Var: 1650 LB: 0 @ 143.4 161.77 c Restart #14 #Var: 1650 LB: 0 @ 161.68 179.03 c Restart #15 #Var: 1650 LB: 0 @ 178.93 200.75 c Restart #16 #Var: 1650 LB: 0 @ 200.63 221.54 c Restart #17 #Var: 1650 LB: 0 @ 221.41 245.05 c Restart #18 #Var: 1650 LB: 0 @ 244.91 266.86 c Restart #19 #Var: 1650 LB: 0 @ 266.7 294.28 c Restart #20 #Var: 1650 LB: 0 @ 294.1 320.57 c Restart #21 #Var: 1650 LB: 0 @ 320.38 349.86 c Restart #22 #Var: 1650 LB: 0 @ 349.65 374.93 c Restart #23 #Var: 1650 LB: 0 @ 374.7 405.59 c Restart #24 #Var: 1650 LB: 0 @ 405.35 434.70 c Restart #25 #Var: 1650 LB: 0 @ 434.44 474.87 c Restart #26 #Var: 1650 LB: 0 @ 474.59 508.06 c Restart #27 #Var: 1650 LB: 0 @ 507.76 547.01 c Restart #28 #Var: 1650 LB: 0 @ 546.7 581.03 c Restart #29 #Var: 1650 LB: 0 @ 580.7 606.51 c Restart #30 #Var: 1650 LB: 0 @ 606.17 643.67 c Restart #31 #Var: 1650 LB: 0 @ 643.31 676.45 c Restart #32 #Var: 1650 LB: 0 @ 676.08 724.27 c Restart #33 #Var: 1650 LB: 0 @ 723.87 764.56 c Restart #34 #Var: 1650 LB: 0 @ 764.13 809.75 c Restart #35 #Var: 1650 LB: 0 @ 809.29 856.29 c Restart #36 #Var: 1650 LB: 0 @ 855.81 907.87 c CHANGE Heuristic... 907.87 c Restart #0 #Var: 1650 LB: 0 @ 907.37 910.31 c Restart #1 #Var: 1650 LB: 0 @ 909.8 913.30 c Restart #2 #Var: 1650 LB: 0 @ 912.79 918.04 c Restart #3 #Var: 1650 LB: 0 @ 917.52 925.86 c Restart #4 #Var: 1650 LB: 0 @ 925.34 934.80 c Restart #5 #Var: 1650 LB: 0 @ 934.27 944.16 c Restart #6 #Var: 1650 LB: 0 @ 943.63 954.52 c Restart #7 #Var: 1650 LB: 0 @ 953.99 964.49 c Restart #8 #Var: 1650 LB: 0 @ 963.96 977.10 c Restart #9 #Var: 1650 LB: 0 @ 976.56 988.90 c Restart #10 #Var: 1650 LB: 0 @ 988.36 1004.90 c Restart #11 #Var: 1650 LB: 0 @ 1004.3 1021.65 c Restart #12 #Var: 1650 LB: 0 @ 1021.1 1039.49 c Restart #13 #Var: 1650 LB: 0 @ 1038.9 1057.04 c Restart #14 #Var: 1650 LB: 0 @ 1056.5 1076.40 c Restart #15 #Var: 1650 LB: 0 @ 1075.8 1097.63 c Restart #16 #Var: 1650 LB: 0 @ 1097 1121.16 c Restart #17 #Var: 1650 LB: 0 @ 1120.5 1142.95 c Restart #18 #Var: 1650 LB: 0 @ 1142.3 1170.47 c Restart #19 #Var: 1650 LB: 0 @ 1169.8 1196.03 c Restart #20 #Var: 1650 LB: 0 @ 1195.4 1225.57 c Restart #21 #Var: 1650 LB: 0 @ 1224.9 1254.55 c Restart #22 #Var: 1650 LB: 0 @ 1253.9 1290.25 c Restart #23 #Var: 1650 LB: 0 @ 1289.5 1321.76 c Restart #24 #Var: 1650 LB: 0 @ 1321 1357.21 c Restart #25 #Var: 1650 LB: 0 @ 1356.5 1393.51 c Restart #26 #Var: 1650 LB: 0 @ 1392.7 1432.34 c Restart #27 #Var: 1650 LB: 0 @ 1431.5 1468.73 c Restart #28 #Var: 1650 LB: 0 @ 1467.9 1509.72 c Restart #29 #Var: 1650 LB: 0 @ 1508.9 1547.08 c Restart #30 #Var: 1650 LB: 0 @ 1546.2 1589.31 c Restart #31 #Var: 1650 LB: 0 @ 1588.4 1629.77 c Restart #32 #Var: 1650 LB: 0 @ 1628.8 1678.77 c Restart #33 #Var: 1650 LB: 0 @ 1677.8 1727.65 c Restart #34 #Var: 1650 LB: 0 @ 1726.7 1779.49 c Restart #35 #Var: 1650 LB: 0 @ 1778.5 1801.06 s UNKNOWN 1801.06 c Exit Code: 0 1801.06 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-39618-1149225255 -o ROOT/results/node81/solver-39618-1149225255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 0.95 0.95 2/68 19689 /proc/meminfo: memFree=1300888/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=4936 CPUtime=0 /proc/19689/stat : 19689 (bsolo) D 19687 19689 19644 0 -1 0 365 0 0 0 0 0 0 0 19 0 1 0 188164949 5054464 328 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072100015398 0 0 17 0 0 0 /proc/19689/statm: 1234 328 224 55 0 125 0 [startup+10.0016 s] /proc/loadavg: 0.88 0.95 0.95 2/68 19689 /proc/meminfo: memFree=1232984/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=72348 CPUtime=9.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 17311 0 0 0 991 7 0 0 25 0 1 0 188164949 74084352 17227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19689/statm: 18087 17227 284 55 0 16978 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 72348 [startup+20.0077 s] /proc/loadavg: 0.90 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1233176/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=72348 CPUtime=19.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 17311 0 0 0 1991 7 0 0 25 0 1 0 188164949 74084352 17227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644871 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 18087 17227 284 55 0 16978 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 72348 [startup+30.0138 s] /proc/loadavg: 0.91 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1230488/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=75284 CPUtime=29.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18067 0 0 0 2991 8 0 0 25 0 1 0 188164949 77090816 17983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 18821 17983 293 55 0 17712 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 75284 [startup+40.0199 s] /proc/loadavg: 0.93 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1229720/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=75944 CPUtime=39.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18239 0 0 0 3989 9 0 0 25 0 1 0 188164949 77766656 18155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 18986 18155 293 55 0 17877 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 75944 [startup+50.027 s] /proc/loadavg: 0.94 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1229208/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=76472 CPUtime=49.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18369 0 0 0 4990 9 0 0 25 0 1 0 188164949 78307328 18285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 19118 18285 293 55 0 18009 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 76472 [startup+60.0322 s] /proc/loadavg: 0.95 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1228568/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=77132 CPUtime=59.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18541 0 0 0 5989 9 0 0 25 0 1 0 188164949 78983168 18457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 19283 18457 293 55 0 18174 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 77132 [startup+70.0383 s] /proc/loadavg: 0.95 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1227544/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=78188 CPUtime=69.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18790 0 0 0 6988 10 0 0 25 0 1 0 188164949 80064512 18706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 19547 18706 293 55 0 18438 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 78188 [startup+80.0444 s] /proc/loadavg: 0.96 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1226840/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=78844 CPUtime=79.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 18966 0 0 0 7988 10 0 0 25 0 1 0 188164949 80736256 18882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 19711 18882 293 55 0 18602 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 78844 [startup+90.0505 s] /proc/loadavg: 0.97 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1226264/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=79488 CPUtime=89.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19113 0 0 0 8988 11 0 0 25 0 1 0 188164949 81395712 19029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19689/statm: 19872 19029 293 55 0 18763 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 79488 [startup+100.057 s] /proc/loadavg: 0.97 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1225432/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=80276 CPUtime=99.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19303 0 0 0 9987 11 0 0 25 0 1 0 188164949 82202624 19219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 20069 19219 293 55 0 18960 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 80276 [startup+110.064 s] /proc/loadavg: 0.97 0.96 0.95 2/68 19689 /proc/meminfo: memFree=1224600/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=81068 CPUtime=109.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19524 0 0 0 10987 11 0 0 25 0 1 0 188164949 83013632 19440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 20267 19440 293 55 0 19158 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 81068 [startup+120.069 s] /proc/loadavg: 0.98 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1223896/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=81852 CPUtime=119.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19701 0 0 0 11987 12 0 0 25 0 1 0 188164949 83816448 19617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 20463 19617 293 55 0 19354 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 81852 [startup+130.074 s] /proc/loadavg: 0.98 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1223320/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=82380 CPUtime=129.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 19843 0 0 0 12986 12 0 0 25 0 1 0 188164949 84357120 19759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 20595 19759 293 55 0 19486 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 82380 [startup+140.08 s] /proc/loadavg: 0.98 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1222488/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=83172 CPUtime=139.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20053 0 0 0 13986 12 0 0 25 0 1 0 188164949 85168128 19969 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 20793 19969 293 55 0 19684 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 83172 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1221720/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=83964 CPUtime=149.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20240 0 0 0 14986 12 0 0 25 0 1 0 188164949 85979136 20156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 20991 20156 293 55 0 19882 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 83964 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1221016/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=84752 CPUtime=159.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20421 0 0 0 15986 13 0 0 25 0 1 0 188164949 86786048 20337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 21188 20337 293 55 0 20079 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 84752 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1220312/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=85400 CPUtime=169.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20581 0 0 0 16985 14 0 0 25 0 1 0 188164949 87449600 20497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 21350 20497 293 55 0 20241 0 Current children cumulated CPU time (s) 169.99 Current children cumulated vsize (Kb) 85400 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1219672/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=86052 CPUtime=179.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20755 0 0 0 17985 14 0 0 25 0 1 0 188164949 88117248 20671 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540808 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 21513 20671 293 55 0 20404 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 86052 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1218968/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=86708 CPUtime=189.99 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 20921 0 0 0 18984 15 0 0 25 0 1 0 188164949 88788992 20837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 21677 20837 293 55 0 20568 0 Current children cumulated CPU time (s) 189.99 Current children cumulated vsize (Kb) 86708 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1218520/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=87236 CPUtime=199.98 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 21042 0 0 0 19983 15 0 0 25 0 1 0 188164949 89329664 20958 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 21809 20958 293 55 0 20700 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 87236 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19689 /proc/meminfo: memFree=1217880/2055892 swapFree=4085344/4096564 ################ # More data... # ################ [pid=19689] ppid=19687 vsize=182772 CPUtime=1781.07 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 44952 0 0 0 178028 79 0 0 25 0 1 0 188164949 187158528 44868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45693 44868 293 55 0 44584 0 Current children cumulated CPU time (s) 1781.07 Current children cumulated vsize (Kb) 182772 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122520/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=182904 CPUtime=1782.07 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 44974 0 0 0 178128 79 0 0 25 0 1 0 188164949 187293696 44890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45726 44890 293 55 0 44617 0 Current children cumulated CPU time (s) 1782.07 Current children cumulated vsize (Kb) 182904 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122392/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=182904 CPUtime=1783.07 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 44983 0 0 0 178228 79 0 0 25 0 1 0 188164949 187293696 44899 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537903 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19689/statm: 45726 44899 293 55 0 44617 0 Current children cumulated CPU time (s) 1783.07 Current children cumulated vsize (Kb) 182904 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122264/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183036 CPUtime=1784.07 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45020 0 0 0 178328 79 0 0 25 0 1 0 188164949 187428864 44936 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45759 44936 293 55 0 44650 0 Current children cumulated CPU time (s) 1784.07 Current children cumulated vsize (Kb) 183036 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122264/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183168 CPUtime=1785.07 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45034 0 0 0 178428 79 0 0 25 0 1 0 188164949 187564032 44950 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45792 44950 293 55 0 44683 0 Current children cumulated CPU time (s) 1785.07 Current children cumulated vsize (Kb) 183168 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122136/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183300 CPUtime=1786.07 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45060 0 0 0 178528 79 0 0 25 0 1 0 188164949 187699200 44976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45825 44976 293 55 0 44716 0 Current children cumulated CPU time (s) 1786.07 Current children cumulated vsize (Kb) 183300 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122136/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183300 CPUtime=1787.08 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45068 0 0 0 178629 79 0 0 25 0 1 0 188164949 187699200 44984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541583 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45825 44984 293 55 0 44716 0 Current children cumulated CPU time (s) 1787.08 Current children cumulated vsize (Kb) 183300 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1122008/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183432 CPUtime=1788.08 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45092 0 0 0 178729 79 0 0 25 0 1 0 188164949 187834368 45008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528687 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45858 45008 293 55 0 44749 0 Current children cumulated CPU time (s) 1788.08 Current children cumulated vsize (Kb) 183432 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121944/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183432 CPUtime=1789.09 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45112 0 0 0 178830 79 0 0 25 0 1 0 188164949 187834368 45028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45858 45028 293 55 0 44749 0 Current children cumulated CPU time (s) 1789.09 Current children cumulated vsize (Kb) 183432 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121816/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183564 CPUtime=1790.09 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45142 0 0 0 178930 79 0 0 25 0 1 0 188164949 187969536 45058 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45891 45058 293 55 0 44782 0 Current children cumulated CPU time (s) 1790.09 Current children cumulated vsize (Kb) 183564 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121752/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183696 CPUtime=1791.09 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45166 0 0 0 179030 79 0 0 25 0 1 0 188164949 188104704 45082 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45924 45082 293 55 0 44815 0 Current children cumulated CPU time (s) 1791.09 Current children cumulated vsize (Kb) 183696 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121688/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183696 CPUtime=1792.1 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45181 0 0 0 179131 79 0 0 25 0 1 0 188164949 188104704 45097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45924 45097 293 55 0 44815 0 Current children cumulated CPU time (s) 1792.1 Current children cumulated vsize (Kb) 183696 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121624/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183828 CPUtime=1793.1 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45201 0 0 0 179231 79 0 0 25 0 1 0 188164949 188239872 45117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541539 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45957 45117 293 55 0 44848 0 Current children cumulated CPU time (s) 1793.1 Current children cumulated vsize (Kb) 183828 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121496/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183960 CPUtime=1794.1 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45233 0 0 0 179331 79 0 0 25 0 1 0 188164949 188375040 45149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45990 45149 293 55 0 44881 0 Current children cumulated CPU time (s) 1794.1 Current children cumulated vsize (Kb) 183960 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121432/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=183960 CPUtime=1795.11 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45249 0 0 0 179432 79 0 0 25 0 1 0 188164949 188375040 45165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 45990 45165 293 55 0 44881 0 Current children cumulated CPU time (s) 1795.11 Current children cumulated vsize (Kb) 183960 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121368/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=184092 CPUtime=1796.11 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45261 0 0 0 179532 79 0 0 25 0 1 0 188164949 188510208 45177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 46023 45177 293 55 0 44914 0 Current children cumulated CPU time (s) 1796.11 Current children cumulated vsize (Kb) 184092 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121304/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=184092 CPUtime=1797.12 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45267 0 0 0 179633 79 0 0 25 0 1 0 188164949 188510208 45183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524334 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 46023 45183 293 55 0 44914 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (Kb) 184092 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121304/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=184092 CPUtime=1798.12 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45275 0 0 0 179733 79 0 0 25 0 1 0 188164949 188510208 45191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 46023 45191 293 55 0 44914 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (Kb) 184092 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.95 2/68 19691 /proc/meminfo: memFree=1121240/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=184224 CPUtime=1799.13 /proc/19689/stat : 19689 (bsolo) R 19687 19689 19644 0 -1 0 45296 0 0 0 179834 79 0 0 25 0 1 0 188164949 188645376 45212 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541547 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19689/statm: 46056 45212 293 55 0 44947 0 Current children cumulated CPU time (s) 1799.13 Current children cumulated vsize (Kb) 184224 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.95 1/67 19691 /proc/meminfo: memFree=1301088/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=0 CPUtime=1800.03 /proc/19689/stat : 19689 (bsolo) D 19687 19689 19644 0 -1 4 45320 0 0 0 179921 82 0 0 25 0 1 0 188164949 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100303002 0 0 17 0 0 0 /proc/19689/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (Kb) 0 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.95 1/67 19691 /proc/meminfo: memFree=1301088/2055892 swapFree=4085344/4096564 [pid=19689] ppid=19687 vsize=0 CPUtime=1800.03 /proc/19689/stat : 19689 (bsolo) D 19687 19689 19644 0 -1 4 45320 0 0 0 179921 82 0 0 25 0 1 0 188164949 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100303002 0 0 17 0 0 0 /proc/19689/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (Kb) 0 Sending SIGTERM to -19689 Sleeping 2 seconds Child status: 0 Real time (s): 1801.36 CPU time (s): 1800.05 CPU user time (s): 1799.22 CPU system time (s): 0.827874 CPU usage (%): 99.9269 Max. virtual memory (cumulated for all children) (Kb): 184224
Begin job on node81 on Fri Jun 2 05:14:15 UTC 2006 FILE ID= 39618-1149225255 PBS_JOBID= 295785 BENCH NAME= ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node81/watcher-39618-1149225255 -o ROOT/results/node81/solver-39618-1149225255 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node81/39618-1149225255/instance-39618-1149225255.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b656932a938990470d09f3771b5047c2 RANDOM SEED= 852794864 /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: 1301096 kB Buffers: 43700 kB Cached: 632964 kB SwapCached: 2656 kB Active: 171200 kB Inactive: 514424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1301096 kB SwapTotal: 4096564 kB SwapFree: 4085344 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16508 kB Slab: 55712 kB Committed_AS: 217484 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:44:17 UTC 2006