Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.23 | 1801.02 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb |
MD5SUM | 825fd1904b2d777401b7be7f08c7951c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 20611 |
Total number of constraints | 3921 |
Number of constraints which are clauses | 563 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3358 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 262118 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524354 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262118 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524354 |
Number of bits of the biggest sum of numbers | 20 |
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.10 c INFO: OSL Context initialized. 0.93 c Initial problem consists of 20611 variables and 3922 constraints. 1.04 c No problem reductions applied in OPT. instance. 1.04 c preprocess terminated. Elapsed time: 0.945 1.04 c After prepocess the problem consists of 20598 variables and 3922 constraints. 1.04 c Initial Lower Bound: -41 1.70 c Restart #1 #Var: 20598 LB: -41 @ 1.607 4.26 c Restart #2 #Var: 20598 LB: -41 @ 4.161 6.59 c Restart #3 #Var: 20598 LB: -41 @ 6.494 11.25 c Restart #4 #Var: 20598 LB: -41 @ 11.148 16.61 c Restart #5 #Var: 20598 LB: -41 @ 16.504 23.58 c Restart #6 #Var: 20598 LB: -41 @ 23.477 32.50 c Restart #7 #Var: 20598 LB: -41 @ 32.389 40.25 c Restart #8 #Var: 20598 LB: -41 @ 40.142 49.74 c Restart #9 #Var: 20598 LB: -41 @ 49.629 54.42 c Restart #10 #Var: 20598 LB: -41 @ 54.299 59.92 c Restart #11 #Var: 20598 LB: -41 @ 59.803 65.37 c Restart #12 #Var: 20598 LB: -41 @ 65.246 71.92 c Restart #13 #Var: 20598 LB: -41 @ 71.796 78.54 c Restart #14 #Var: 20598 LB: -41 @ 78.417 85.18 c Restart #15 #Var: 20598 LB: -41 @ 85.054 92.41 c Restart #16 #Var: 20598 LB: -41 @ 92.283 99.70 c Restart #17 #Var: 20598 LB: -41 @ 99.57 107.91 c Restart #18 #Var: 20598 LB: -41 @ 107.77 116.03 c Restart #19 #Var: 20598 LB: -41 @ 115.89 125.09 c Restart #20 #Var: 20598 LB: -41 @ 124.95 134.13 c Restart #21 #Var: 20598 LB: -41 @ 133.99 144.07 c Restart #22 #Var: 20598 LB: -41 @ 143.91 153.62 c Restart #23 #Var: 20598 LB: -41 @ 153.44 164.30 c Restart #24 #Var: 20598 LB: -41 @ 164.11 174.92 c Restart #25 #Var: 20598 LB: -41 @ 174.72 187.08 c Restart #26 #Var: 20598 LB: -41 @ 186.88 199.39 c Restart #27 #Var: 20598 LB: -41 @ 199.18 212.89 c Restart #28 #Var: 20598 LB: -41 @ 212.68 225.41 c Restart #29 #Var: 20598 LB: -41 @ 225.2 238.97 c Restart #30 #Var: 20598 LB: -41 @ 238.75 252.03 c Restart #31 #Var: 20598 LB: -41 @ 251.8 266.35 c Restart #32 #Var: 20598 LB: -41 @ 266.12 280.10 c Restart #33 #Var: 20598 LB: -41 @ 279.86 295.38 c Restart #34 #Var: 20598 LB: -41 @ 295.14 310.00 c Restart #35 #Var: 20598 LB: -41 @ 309.75 326.08 c Restart #36 #Var: 20598 LB: -41 @ 325.83 341.38 c Restart #37 #Var: 20598 LB: -41 @ 341.12 358.29 c Restart #38 #Var: 20598 LB: -41 @ 358.03 374.35 c Restart #39 #Var: 20598 LB: -41 @ 374.08 392.10 c Restart #40 #Var: 20598 LB: -41 @ 391.83 408.87 c Restart #41 #Var: 20598 LB: -41 @ 408.58 427.35 c Restart #42 #Var: 20598 LB: -41 @ 427.06 444.88 c Restart #43 #Var: 20598 LB: -41 @ 444.58 464.16 c Restart #44 #Var: 20598 LB: -41 @ 463.85 482.33 c Restart #45 #Var: 20598 LB: -41 @ 482.02 496.76 c Restart #46 #Var: 20598 LB: -41 @ 496.44 509.44 c Restart #47 #Var: 20598 LB: -41 @ 509.12 517.92 c Restart #48 #Var: 20598 LB: -41 @ 517.6 530.98 c Restart #49 #Var: 20598 LB: -41 @ 530.65 538.77 c Restart #50 #Var: 20598 LB: -41 @ 538.44 554.38 c Restart #51 #Var: 20598 LB: -41 @ 554.04 558.90 c Restart #52 #Var: 20598 LB: -41 @ 558.56 564.12 c Restart #53 #Var: 20598 LB: -41 @ 563.78 566.93 c Restart #54 #Var: 20598 LB: -41 @ 566.59 569.24 c Restart #55 #Var: 20598 LB: -41 @ 568.9 570.90 c Restart #56 #Var: 20598 LB: -41 @ 570.56 572.77 c Restart #57 #Var: 20598 LB: -41 @ 572.43 574.57 c Restart #58 #Var: 20598 LB: -41 @ 574.23 577.37 c Restart #59 #Var: 20598 LB: -41 @ 577.03 579.40 c Restart #60 #Var: 20598 LB: -41 @ 579.06 582.64 c Restart #61 #Var: 20598 LB: -41 @ 582.29 584.86 c Restart #62 #Var: 20598 LB: -41 @ 584.52 588.15 c Restart #63 #Var: 20598 LB: -41 @ 587.8 589.99 c Restart #64 #Var: 20598 LB: -41 @ 589.65 596.69 c Restart #65 #Var: 20598 LB: -41 @ 596.34 598.68 c Restart #66 #Var: 20598 LB: -41 @ 598.33 605.86 c Restart #67 #Var: 20598 LB: -41 @ 605.5 607.94 c Restart #68 #Var: 20598 LB: -41 @ 607.59 626.28 c Restart #69 #Var: 20598 LB: -41 @ 625.91 628.61 c Restart #70 #Var: 20598 LB: -41 @ 628.25 631.95 c Restart #71 #Var: 20598 LB: -41 @ 631.59 636.05 c Restart #72 #Var: 20598 LB: -41 @ 635.68 639.76 c Restart #73 #Var: 20598 LB: -41 @ 639.39 643.42 c Restart #74 #Var: 20598 LB: -41 @ 643.05 647.87 c Restart #75 #Var: 20598 LB: -41 @ 647.5 652.26 c Restart #76 #Var: 20598 LB: -41 @ 651.89 656.20 c Restart #77 #Var: 20598 LB: -41 @ 655.83 660.77 c Restart #78 #Var: 20598 LB: -41 @ 660.4 673.74 c Restart #79 #Var: 20598 LB: -41 @ 673.37 694.58 c Restart #80 #Var: 20598 LB: -41 @ 694.2 699.17 c Restart #81 #Var: 20598 LB: -41 @ 698.78 704.69 c Restart #82 #Var: 20598 LB: -41 @ 704.3 711.06 c Restart #83 #Var: 20598 LB: -41 @ 710.66 712.88 c Restart #84 #Var: 20598 LB: -41 @ 712.49 750.41 c Restart #85 #Var: 20598 LB: -41 @ 750.01 765.76 c Restart #86 #Var: 20598 LB: -41 @ 765.35 782.34 c Restart #87 #Var: 20598 LB: -41 @ 781.92 819.57 c Restart #88 #Var: 20598 LB: -41 @ 819.13 838.33 c Restart #89 #Var: 20598 LB: -41 @ 837.89 845.59 c Restart #90 #Var: 20598 LB: -41 @ 845.15 873.37 c Restart #91 #Var: 20598 LB: -41 @ 872.92 906.62 c CHANGE Heuristic... 906.62 c Restart #0 #Var: 20598 LB: -41 @ 906.15 906.64 c Restart #1 #Var: 20598 LB: -41 @ 906.18 906.67 c Restart #2 #Var: 20598 LB: -41 @ 906.21 906.73 c Restart #3 #Var: 20598 LB: -41 @ 906.27 906.80 c Restart #4 #Var: 20598 LB: -41 @ 906.34 906.90 c Restart #5 #Var: 20598 LB: -41 @ 906.43 907.02 c Restart #6 #Var: 20598 LB: -41 @ 906.56 907.34 c Restart #7 #Var: 20598 LB: -41 @ 906.88 907.58 c Restart #8 #Var: 20598 LB: -41 @ 907.12 907.73 c Restart #9 #Var: 20598 LB: -41 @ 907.27 907.93 c Restart #10 #Var: 20598 LB: -41 @ 907.46 908.56 c Restart #11 #Var: 20598 LB: -41 @ 908.1 908.94 c Restart #12 #Var: 20598 LB: -41 @ 908.47 909.42 c Restart #13 #Var: 20598 LB: -41 @ 908.96 909.95 c Restart #14 #Var: 20598 LB: -41 @ 909.49 910.41 c Restart #15 #Var: 20598 LB: -41 @ 909.95 911.01 c Restart #16 #Var: 20598 LB: -41 @ 910.54 912.80 c Restart #17 #Var: 20598 LB: -41 @ 912.34 913.68 c Restart #18 #Var: 20598 LB: -41 @ 913.21 915.34 c Restart #19 #Var: 20598 LB: -41 @ 914.87 915.74 c Restart #20 #Var: 20598 LB: -41 @ 915.28 916.63 c Restart #21 #Var: 20598 LB: -41 @ 916.16 918.07 c Restart #22 #Var: 20598 LB: -41 @ 917.6 918.78 c Restart #23 #Var: 20598 LB: -41 @ 918.31 919.26 c Restart #24 #Var: 20598 LB: -41 @ 918.79 919.74 c Restart #25 #Var: 20598 LB: -41 @ 919.27 920.35 c Restart #26 #Var: 20598 LB: -41 @ 919.88 921.23 c Restart #27 #Var: 20598 LB: -41 @ 920.76 922.19 c Restart #28 #Var: 20598 LB: -41 @ 921.73 923.02 c Restart #29 #Var: 20598 LB: -41 @ 922.55 923.77 c Restart #30 #Var: 20598 LB: -41 @ 923.3 924.67 c Restart #31 #Var: 20598 LB: -41 @ 924.2 925.43 c Restart #32 #Var: 20598 LB: -41 @ 924.96 926.36 c Restart #33 #Var: 20598 LB: -41 @ 925.89 927.51 c Restart #34 #Var: 20598 LB: -41 @ 927.04 930.28 c Restart #35 #Var: 20598 LB: -41 @ 929.81 943.43 c Restart #36 #Var: 20598 LB: -41 @ 942.95 944.91 c Restart #37 #Var: 20598 LB: -41 @ 944.43 948.23 c Restart #38 #Var: 20598 LB: -41 @ 947.75 951.85 c Restart #39 #Var: 20598 LB: -41 @ 951.37 956.54 c Restart #40 #Var: 20598 LB: -41 @ 956.06 967.93 c Restart #41 #Var: 20598 LB: -41 @ 967.44 971.99 c Restart #42 #Var: 20598 LB: -41 @ 971.51 980.63 c Restart #43 #Var: 20598 LB: -41 @ 980.14 985.70 c Restart #44 #Var: 20598 LB: -41 @ 985.21 989.12 c Restart #45 #Var: 20598 LB: -41 @ 988.63 991.48 c Restart #46 #Var: 20598 LB: -41 @ 990.99 993.54 c Restart #47 #Var: 20598 LB: -41 @ 993.05 996.73 c Restart #48 #Var: 20598 LB: -41 @ 996.24 999.61 c Restart #49 #Var: 20598 LB: -41 @ 999.11 1007.88 c Restart #50 #Var: 20598 LB: -41 @ 1007.4 1013.35 c Restart #51 #Var: 20598 LB: -41 @ 1012.8 1023.62 c Restart #52 #Var: 20598 LB: -41 @ 1023.1 1027.65 c Restart #53 #Var: 20598 LB: -41 @ 1027.1 1032.33 c Restart #54 #Var: 20598 LB: -41 @ 1031.8 1035.92 c Restart #55 #Var: 20598 LB: -41 @ 1035.4 1039.12 c Restart #56 #Var: 20598 LB: -41 @ 1038.6 1045.22 c Restart #57 #Var: 20598 LB: -41 @ 1044.7 1064.71 c Restart #58 #Var: 20598 LB: -41 @ 1064.2 1068.23 c Restart #59 #Var: 20598 LB: -41 @ 1067.7 1072.01 c Restart #60 #Var: 20598 LB: -41 @ 1071.5 1073.81 c Restart #61 #Var: 20598 LB: -41 @ 1073.3 1079.24 c Restart #62 #Var: 20598 LB: -41 @ 1078.7 1082.85 c Restart #63 #Var: 20598 LB: -41 @ 1082.3 1088.62 c Restart #64 #Var: 20598 LB: -41 @ 1088.1 1093.45 c Restart #65 #Var: 20598 LB: -41 @ 1092.9 1097.64 c Restart #66 #Var: 20598 LB: -41 @ 1097.1 1116.69 c Restart #67 #Var: 20598 LB: -41 @ 1116.2 1130.32 c Restart #68 #Var: 20598 LB: -41 @ 1129.8 1136.38 c Restart #69 #Var: 20598 LB: -41 @ 1135.8 1140.76 c Restart #70 #Var: 20598 LB: -41 @ 1140.2 1145.40 c Restart #71 #Var: 20598 LB: -41 @ 1144.8 1149.58 c Restart #72 #Var: 20598 LB: -41 @ 1149 1164.57 c Restart #73 #Var: 20598 LB: -41 @ 1164 1167.32 c Restart #74 #Var: 20598 LB: -41 @ 1166.8 1172.80 c Restart #75 #Var: 20598 LB: -41 @ 1172.2 1180.87 c Restart #76 #Var: 20598 LB: -41 @ 1180.3 1249.67 c Restart #77 #Var: 20598 LB: -41 @ 1249.1 1289.56 c Restart #78 #Var: 20598 LB: -41 @ 1289 1298.49 c Restart #79 #Var: 20598 LB: -41 @ 1297.9 1301.78 c Restart #80 #Var: 20598 LB: -41 @ 1301.2 1309.88 c Restart #81 #Var: 20598 LB: -41 @ 1309.3 1333.64 c Restart #82 #Var: 20598 LB: -41 @ 1333 1355.63 c Restart #83 #Var: 20598 LB: -41 @ 1355 1376.81 c Restart #84 #Var: 20598 LB: -41 @ 1376.2 1400.05 c Restart #85 #Var: 20598 LB: -41 @ 1399.4 1422.20 c Restart #86 #Var: 20598 LB: -41 @ 1421.6 1430.71 c Restart #87 #Var: 20598 LB: -41 @ 1430.1 1434.69 c Restart #88 #Var: 20598 LB: -41 @ 1434 1445.07 c Restart #89 #Var: 20598 LB: -41 @ 1444.4 1466.54 c Restart #90 #Var: 20598 LB: -41 @ 1465.9 1468.36 c Restart #91 #Var: 20598 LB: -41 @ 1467.7 1534.34 c Restart #92 #Var: 20598 LB: -41 @ 1533.7 1544.63 c Restart #93 #Var: 20598 LB: -41 @ 1543.9 1553.38 c Restart #94 #Var: 20598 LB: -41 @ 1552.7 1576.80 c Restart #95 #Var: 20598 LB: -41 @ 1576.1 1619.35 c Restart #96 #Var: 20598 LB: -41 @ 1618.6 1648.89 c Restart #97 #Var: 20598 LB: -41 @ 1648.2 1666.31 c Restart #98 #Var: 20598 LB: -41 @ 1665.6 1685.36 c Restart #99 #Var: 20598 LB: -41 @ 1684.6 1701.98 c Restart #100 #Var: 20598 LB: -41 @ 1701.2 1705.28 c Restart #101 #Var: 20598 LB: -41 @ 1704.5 1800.80 s UNKNOWN 1800.80 c Exit Code: 0 1800.80 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/node44/watcher-39869-1149267523 -o ROOT/results/node44/solver-39869-1149267523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 3/64 14450 /proc/meminfo: memFree=1310680/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=2900 CPUtime=0 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 192419093 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11281188 0 0 4096 0 0 0 0 17 1 0 0 /proc/14450/statm: 725 27 19 55 0 38 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1275992/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=9.89 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 980 9 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 39744 [startup+20.0083 s] /proc/loadavg: 0.94 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276064/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=19.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 1977 13 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 19.9 Current children cumulated vsize (Kb) 39744 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276128/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=29.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 2975 15 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 39744 [startup+40.02 s] /proc/loadavg: 0.95 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276128/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=39.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 3971 19 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 39744 [startup+50.0258 s] /proc/loadavg: 0.96 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276128/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=49.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 4964 26 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 39744 [startup+60.0317 s] /proc/loadavg: 0.97 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=59.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 5963 27 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 39744 [startup+70.0375 s] /proc/loadavg: 0.97 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=69.91 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 6963 28 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 39744 [startup+80.0444 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=79.91 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 7962 29 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 39744 [startup+90.0502 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=89.91 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 8962 29 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 39744 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=99.91 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 9961 30 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 99.91 Current children cumulated vsize (Kb) 39744 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=109.92 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 10961 31 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 39744 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276192/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=119.92 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 11961 31 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 39744 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14450 /proc/meminfo: memFree=1276256/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=129.92 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 12961 31 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 39744 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/70 14505 /proc/meminfo: memFree=1274992/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=139.92 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 13960 32 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 39744 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/70 14563 /proc/meminfo: memFree=1274864/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=149.91 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 14957 34 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 149.91 Current children cumulated vsize (Kb) 39744 [startup+160.096 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=1275864/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=159.89 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 15954 35 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 159.89 Current children cumulated vsize (Kb) 39744 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=169.89 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 16954 35 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 169.89 Current children cumulated vsize (Kb) 39744 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=179.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 17954 36 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 179.9 Current children cumulated vsize (Kb) 39744 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=189.9 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 18954 36 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 189.9 Current children cumulated vsize (Kb) 39744 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=39744 CPUtime=199.91 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 9159 0 0 0 19954 37 0 0 25 0 1 0 192419093 40697856 8948 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 9936 8948 297 55 0 8828 0 Current children cumulated CPU time (s) 199.91 Current children cumulated vsize (Kb) 39744 [startup+210.127 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=1275872/2055920 swapFree=4181400/4192956 ################ # More data... # ################ /proc/14450/statm: 343075 340241 297 55 0 341967 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 1372300 [startup+1771.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15208/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1372828 CPUtime=1770.34 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341172 0 0 0 176633 401 0 0 25 0 1 0 192419093 1405775872 340389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343207 340389 297 55 0 342099 0 Current children cumulated CPU time (s) 1770.34 Current children cumulated vsize (Kb) 1372828 [startup+1781.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=16104/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373488 CPUtime=1780.34 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341321 0 0 0 177633 401 0 0 25 0 1 0 192419093 1406451712 340538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343372 340538 297 55 0 342264 0 Current children cumulated CPU time (s) 1780.34 Current children cumulated vsize (Kb) 1373488 [startup+1782.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=16104/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373488 CPUtime=1781.34 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341333 0 0 0 177733 401 0 0 25 0 1 0 192419093 1406451712 340550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343372 340550 297 55 0 342264 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 1373488 [startup+1783.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=16040/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373620 CPUtime=1782.35 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341345 0 0 0 177834 401 0 0 25 0 1 0 192419093 1406586880 340562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343405 340562 297 55 0 342297 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 1373620 [startup+1784.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15976/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373620 CPUtime=1783.35 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341357 0 0 0 177934 401 0 0 25 0 1 0 192419093 1406586880 340574 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343405 340574 297 55 0 342297 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 1373620 [startup+1785.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15912/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373620 CPUtime=1784.36 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341368 0 0 0 178035 401 0 0 25 0 1 0 192419093 1406586880 340585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343405 340585 297 55 0 342297 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 1373620 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15848/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373752 CPUtime=1785.36 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341382 0 0 0 178135 401 0 0 25 0 1 0 192419093 1406722048 340599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343438 340599 297 55 0 342330 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 1373752 [startup+1787.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15784/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373752 CPUtime=1786.36 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341397 0 0 0 178235 401 0 0 25 0 1 0 192419093 1406722048 340614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343438 340614 297 55 0 342330 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 1373752 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15720/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1373884 CPUtime=1787.37 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341419 0 0 0 178336 401 0 0 25 0 1 0 192419093 1406857216 340636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343471 340636 297 55 0 342363 0 Current children cumulated CPU time (s) 1787.37 Current children cumulated vsize (Kb) 1373884 [startup+1789.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15656/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374016 CPUtime=1788.37 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341441 0 0 0 178436 401 0 0 25 0 1 0 192419093 1406992384 340658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343504 340658 297 55 0 342396 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 1374016 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15592/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374016 CPUtime=1789.38 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341458 0 0 0 178537 401 0 0 25 0 1 0 192419093 1406992384 340675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343504 340675 297 55 0 342396 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 1374016 [startup+1791.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15528/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374016 CPUtime=1790.38 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341469 0 0 0 178637 401 0 0 25 0 1 0 192419093 1406992384 340686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343504 340686 297 55 0 342396 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 1374016 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15464/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374148 CPUtime=1791.39 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341482 0 0 0 178738 401 0 0 25 0 1 0 192419093 1407127552 340699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343537 340699 297 55 0 342429 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 1374148 [startup+1793.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15400/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374148 CPUtime=1792.39 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341493 0 0 0 178838 401 0 0 25 0 1 0 192419093 1407127552 340710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343537 340710 297 55 0 342429 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 1374148 [startup+1794.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15400/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374148 CPUtime=1793.39 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341505 0 0 0 178938 401 0 0 25 0 1 0 192419093 1407127552 340722 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343537 340722 297 55 0 342429 0 Current children cumulated CPU time (s) 1793.39 Current children cumulated vsize (Kb) 1374148 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15336/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374280 CPUtime=1794.4 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341517 0 0 0 179039 401 0 0 25 0 1 0 192419093 1407262720 340734 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343570 340734 297 55 0 342462 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 1374280 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15272/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374280 CPUtime=1795.4 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341529 0 0 0 179139 401 0 0 25 0 1 0 192419093 1407262720 340746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343570 340746 297 55 0 342462 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (Kb) 1374280 [startup+1797.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15208/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374412 CPUtime=1796.41 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341541 0 0 0 179240 401 0 0 25 0 1 0 192419093 1407397888 340758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343603 340758 297 55 0 342495 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 1374412 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15208/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374412 CPUtime=1797.41 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341552 0 0 0 179340 401 0 0 25 0 1 0 192419093 1407397888 340769 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343603 340769 297 55 0 342495 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 1374412 [startup+1799.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=15080/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374544 CPUtime=1798.43 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341577 0 0 0 179441 402 0 0 25 0 1 0 192419093 1407533056 340794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343636 340794 297 55 0 342528 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 1374544 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14645 /proc/meminfo: memFree=14952/2055920 swapFree=4181400/4192956 [pid=14450] ppid=14448 vsize=1374676 CPUtime=1799.43 /proc/14450/stat : 14450 (bsolo) R 14448 14450 14404 0 -1 0 341608 0 0 0 179541 402 0 0 25 0 1 0 192419093 1407668224 340825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14450/statm: 343669 340825 297 55 0 342561 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 1374676 Child status: 0 Real time (s): 1801.02 CPU time (s): 1800.23 CPU user time (s): 1796 CPU system time (s): 4.22936 CPU usage (%): 99.9562 Max. virtual memory (cumulated for all children) (Kb): 1374676
Begin job on node44 on Fri Jun 2 16:58:43 UTC 2006 FILE ID= 39869-1149267523 PBS_JOBID= 298910 BENCH NAME= ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-39869-1149267523 -o ROOT/results/node44/solver-39869-1149267523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node44/39869-1149267523/instance-39869-1149267523.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 825fd1904b2d777401b7be7f08c7951c RANDOM SEED= 745595522 /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.261 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.261 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: 1310824 kB Buffers: 28272 kB Cached: 644704 kB SwapCached: 3488 kB Active: 72852 kB Inactive: 609024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1310824 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14948 kB Slab: 49184 kB Committed_AS: 245420 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Fri Jun 2 17:28:44 UTC 2006