Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 1746.19 | 1746.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb |
MD5SUM | 153ea7f27a80a18c7caefc8ed55018be |
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 | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3621 |
Number of bits of the biggest sum of numbers | 12 |
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.04 c INFO: OSL Context initialized. 0.04 c Initial problem consists of 41 variables and 11 constraints. 0.04 c No problem reductions applied in OPT. instance. 0.04 c preprocess terminated. Elapsed time: 0.004 0.04 c After prepocess the problem consists of 40 variables and 10 constraints. 0.04 c Initial Lower Bound: 0 0.05 c Restart #1 #Var: 40 LB: 0 @ 0.012 0.06 c Restart #2 #Var: 40 LB: 0 @ 0.029 0.09 c Restart #3 #Var: 40 LB: 0 @ 0.056 0.13 c Restart #4 #Var: 40 LB: 0 @ 0.098 0.18 c Restart #5 #Var: 40 LB: 0 @ 0.146 0.25 c Restart #6 #Var: 40 LB: 0 @ 0.214 0.32 c Restart #7 #Var: 40 LB: 0 @ 0.289 0.43 c Restart #8 #Var: 40 LB: 0 @ 0.39 0.52 c Restart #9 #Var: 40 LB: 0 @ 0.482 0.62 c Restart #10 #Var: 40 LB: 0 @ 0.589 0.81 c Restart #11 #Var: 40 LB: 0 @ 0.779 1.06 c Restart #12 #Var: 40 LB: 0 @ 1.024 1.54 c Restart #13 #Var: 40 LB: 0 @ 1.508 2.03 c Restart #14 #Var: 40 LB: 0 @ 1.995 2.41 c Restart #15 #Var: 40 LB: 0 @ 2.37 2.87 c Restart #16 #Var: 40 LB: 0 @ 2.831 3.16 c Restart #17 #Var: 40 LB: 0 @ 3.126 3.57 c Restart #18 #Var: 40 LB: 0 @ 3.533 4.46 c Restart #19 #Var: 40 LB: 0 @ 4.423 4.87 c Restart #20 #Var: 40 LB: 0 @ 4.831 5.26 c Restart #21 #Var: 40 LB: 0 @ 5.226 5.81 c Restart #22 #Var: 40 LB: 0 @ 5.775 6.57 c Restart #23 #Var: 40 LB: 0 @ 6.538 7.45 c Restart #24 #Var: 40 LB: 0 @ 7.409 7.90 c Restart #25 #Var: 40 LB: 0 @ 7.865 8.36 c Restart #26 #Var: 40 LB: 0 @ 8.322 9.08 c Restart #27 #Var: 40 LB: 0 @ 9.043 10.13 c Restart #28 #Var: 40 LB: 0 @ 10.091 11.16 c Restart #29 #Var: 40 LB: 0 @ 11.115 11.94 c Restart #30 #Var: 40 LB: 0 @ 11.898 12.85 c Restart #31 #Var: 40 LB: 0 @ 12.807 13.72 c Restart #32 #Var: 40 LB: 0 @ 13.672 14.43 c Restart #33 #Var: 40 LB: 0 @ 14.385 15.46 c Restart #34 #Var: 40 LB: 0 @ 15.411 16.35 c Restart #35 #Var: 40 LB: 0 @ 16.305 17.32 c Restart #36 #Var: 40 LB: 0 @ 17.274 18.39 c Restart #37 #Var: 40 LB: 0 @ 18.342 19.36 c Restart #38 #Var: 40 LB: 0 @ 19.314 20.27 c Restart #39 #Var: 40 LB: 0 @ 20.224 21.27 c Restart #40 #Var: 40 LB: 0 @ 21.22 22.41 c Restart #41 #Var: 40 LB: 0 @ 22.366 23.78 c Restart #42 #Var: 40 LB: 0 @ 23.729 25.01 c Restart #43 #Var: 40 LB: 0 @ 24.96 26.39 c Restart #44 #Var: 40 LB: 0 @ 26.347 27.51 c Restart #45 #Var: 40 LB: 0 @ 27.458 28.67 c Restart #46 #Var: 40 LB: 0 @ 28.619 29.83 c Restart #47 #Var: 40 LB: 0 @ 29.784 31.07 c Restart #48 #Var: 40 LB: 0 @ 31.016 32.69 c Restart #49 #Var: 40 LB: 0 @ 32.645 34.86 c Restart #50 #Var: 40 LB: 0 @ 34.805 36.13 c Restart #51 #Var: 40 LB: 0 @ 36.079 37.84 c Restart #52 #Var: 40 LB: 0 @ 37.786 39.52 c Restart #53 #Var: 40 LB: 0 @ 39.464 41.36 c Restart #54 #Var: 40 LB: 0 @ 41.312 43.31 c Restart #55 #Var: 40 LB: 0 @ 43.256 45.25 c Restart #56 #Var: 40 LB: 0 @ 45.194 47.05 c Restart #57 #Var: 40 LB: 0 @ 46.997 49.23 c Restart #58 #Var: 40 LB: 0 @ 49.177 51.71 c Restart #59 #Var: 40 LB: 0 @ 51.651 54.07 c Restart #60 #Var: 40 LB: 0 @ 54.012 57.07 c Restart #61 #Var: 40 LB: 0 @ 57.014 60.23 c Restart #62 #Var: 40 LB: 0 @ 60.168 66.21 c Restart #63 #Var: 40 LB: 0 @ 66.153 70.78 c Restart #64 #Var: 40 LB: 0 @ 70.717 76.47 c Restart #65 #Var: 40 LB: 0 @ 76.41 80.12 c Restart #66 #Var: 40 LB: 0 @ 80.05 84.35 c Restart #67 #Var: 40 LB: 0 @ 84.287 89.41 c Restart #68 #Var: 40 LB: 0 @ 89.343 95.98 c Restart #69 #Var: 40 LB: 0 @ 95.913 102.15 c Restart #70 #Var: 40 LB: 0 @ 102.08 108.15 c Restart #71 #Var: 40 LB: 0 @ 108.07 113.42 c Restart #72 #Var: 40 LB: 0 @ 113.34 119.02 c Restart #73 #Var: 40 LB: 0 @ 118.94 124.22 c Restart #74 #Var: 40 LB: 0 @ 124.14 130.46 c Restart #75 #Var: 40 LB: 0 @ 130.38 137.35 c Restart #76 #Var: 40 LB: 0 @ 137.26 142.16 c Restart #77 #Var: 40 LB: 0 @ 142.07 147.84 c Restart #78 #Var: 40 LB: 0 @ 147.75 153.99 c Restart #79 #Var: 40 LB: 0 @ 153.9 159.24 c Restart #80 #Var: 40 LB: 0 @ 159.15 165.45 c Restart #81 #Var: 40 LB: 0 @ 165.36 170.13 c Restart #82 #Var: 40 LB: 0 @ 170.04 174.48 c Restart #83 #Var: 40 LB: 0 @ 174.38 179.97 c Restart #84 #Var: 40 LB: 0 @ 179.88 187.05 c Restart #85 #Var: 40 LB: 0 @ 186.95 194.26 c Restart #86 #Var: 40 LB: 0 @ 194.16 207.23 c Restart #87 #Var: 40 LB: 0 @ 207.12 215.61 c Restart #88 #Var: 40 LB: 0 @ 215.5 223.31 c Restart #89 #Var: 40 LB: 0 @ 223.2 230.62 c Restart #90 #Var: 40 LB: 0 @ 230.5 237.88 c Restart #91 #Var: 40 LB: 0 @ 237.76 243.57 c Restart #92 #Var: 40 LB: 0 @ 243.45 249.28 c Restart #93 #Var: 40 LB: 0 @ 249.16 255.79 c Restart #94 #Var: 40 LB: 0 @ 255.67 262.10 c Restart #95 #Var: 40 LB: 0 @ 261.98 270.17 c Restart #96 #Var: 40 LB: 0 @ 270.05 278.10 c Restart #97 #Var: 40 LB: 0 @ 277.97 285.62 c Restart #98 #Var: 40 LB: 0 @ 285.49 292.33 c Restart #99 #Var: 40 LB: 0 @ 292.2 297.87 c Restart #100 #Var: 40 LB: 0 @ 297.73 304.12 c Restart #101 #Var: 40 LB: 0 @ 303.98 310.63 c Restart #102 #Var: 40 LB: 0 @ 310.49 316.00 c Restart #103 #Var: 40 LB: 0 @ 315.86 320.46 c Restart #104 #Var: 40 LB: 0 @ 320.32 326.98 c Restart #105 #Var: 40 LB: 0 @ 326.83 332.94 c Restart #106 #Var: 40 LB: 0 @ 332.8 338.95 c Restart #107 #Var: 40 LB: 0 @ 338.8 345.92 c Restart #108 #Var: 40 LB: 0 @ 345.77 353.97 c Restart #109 #Var: 40 LB: 0 @ 353.82 361.44 c Restart #110 #Var: 40 LB: 0 @ 361.29 368.27 c Restart #111 #Var: 40 LB: 0 @ 368.11 377.65 c Restart #112 #Var: 40 LB: 0 @ 377.49 391.85 c Restart #113 #Var: 40 LB: 0 @ 391.69 402.77 c Restart #114 #Var: 40 LB: 0 @ 402.61 413.30 c Restart #115 #Var: 40 LB: 0 @ 413.13 421.60 c Restart #116 #Var: 40 LB: 0 @ 421.43 435.29 c Restart #117 #Var: 40 LB: 0 @ 435.12 472.62 c Restart #118 #Var: 40 LB: 0 @ 472.43 494.08 c Restart #119 #Var: 40 LB: 0 @ 493.88 512.63 c Restart #120 #Var: 40 LB: 0 @ 512.43 545.73 c Restart #121 #Var: 40 LB: 0 @ 545.51 581.98 c Restart #122 #Var: 40 LB: 0 @ 581.75 651.85 c Restart #123 #Var: 40 LB: 0 @ 651.6 672.19 c Restart #124 #Var: 40 LB: 0 @ 671.94 687.88 c Restart #125 #Var: 40 LB: 0 @ 687.62 704.78 c Restart #126 #Var: 40 LB: 0 @ 704.51 719.58 c Restart #127 #Var: 40 LB: 0 @ 719.31 738.73 c Restart #128 #Var: 40 LB: 0 @ 738.46 773.15 c Restart #129 #Var: 40 LB: 0 @ 772.86 806.90 c Restart #130 #Var: 40 LB: 0 @ 806.6 842.48 c Restart #131 #Var: 40 LB: 0 @ 842.17 871.37 c Restart #132 #Var: 40 LB: 0 @ 871.05 884.26 c Restart #133 #Var: 40 LB: 0 @ 883.94 901.00 c CHANGE Heuristic... 901.00 c Restart #0 #Var: 40 LB: 0 @ 900.68 905.70 c Restart #1 #Var: 40 LB: 0 @ 905.37 910.46 c Restart #2 #Var: 40 LB: 0 @ 910.13 913.69 c Restart #3 #Var: 40 LB: 0 @ 913.36 916.85 c Restart #4 #Var: 40 LB: 0 @ 916.51 919.80 c Restart #5 #Var: 40 LB: 0 @ 919.47 922.93 c Restart #6 #Var: 40 LB: 0 @ 922.59 925.97 c Restart #7 #Var: 40 LB: 0 @ 925.64 929.41 c Restart #8 #Var: 40 LB: 0 @ 929.08 933.04 c Restart #9 #Var: 40 LB: 0 @ 932.7 936.24 c Restart #10 #Var: 40 LB: 0 @ 935.91 939.33 c Restart #11 #Var: 40 LB: 0 @ 938.99 942.59 c Restart #12 #Var: 40 LB: 0 @ 942.25 945.74 c Restart #13 #Var: 40 LB: 0 @ 945.4 948.91 c Restart #14 #Var: 40 LB: 0 @ 948.57 952.06 c Restart #15 #Var: 40 LB: 0 @ 951.71 955.34 c Restart #16 #Var: 40 LB: 0 @ 955 958.71 c Restart #17 #Var: 40 LB: 0 @ 958.36 962.00 c Restart #18 #Var: 40 LB: 0 @ 961.65 965.23 c Restart #19 #Var: 40 LB: 0 @ 964.89 968.55 c Restart #20 #Var: 40 LB: 0 @ 968.2 972.93 c Restart #21 #Var: 40 LB: 0 @ 972.58 977.28 c Restart #22 #Var: 40 LB: 0 @ 976.93 981.35 c Restart #23 #Var: 40 LB: 0 @ 981 985.59 c Restart #24 #Var: 40 LB: 0 @ 985.24 989.27 c Restart #25 #Var: 40 LB: 0 @ 988.92 992.77 c Restart #26 #Var: 40 LB: 0 @ 992.42 996.11 c Restart #27 #Var: 40 LB: 0 @ 995.75 999.80 c Restart #28 #Var: 40 LB: 0 @ 999.44 1003.33 c Restart #29 #Var: 40 LB: 0 @ 1003 1007.17 c Restart #30 #Var: 40 LB: 0 @ 1006.8 1011.13 c Restart #31 #Var: 40 LB: 0 @ 1010.8 1015.25 c Restart #32 #Var: 40 LB: 0 @ 1014.9 1020.27 c Restart #33 #Var: 40 LB: 0 @ 1019.9 1029.48 c Restart #34 #Var: 40 LB: 0 @ 1029.1 1037.47 c Restart #35 #Var: 40 LB: 0 @ 1037.1 1048.47 c Restart #36 #Var: 40 LB: 0 @ 1048.1 1058.86 c Restart #37 #Var: 40 LB: 0 @ 1058.5 1068.89 c Restart #38 #Var: 40 LB: 0 @ 1068.5 1075.94 c Restart #39 #Var: 40 LB: 0 @ 1075.6 1083.50 c Restart #40 #Var: 40 LB: 0 @ 1083.1 1090.81 c Restart #41 #Var: 40 LB: 0 @ 1090.4 1097.32 c Restart #42 #Var: 40 LB: 0 @ 1096.9 1104.67 c Restart #43 #Var: 40 LB: 0 @ 1104.3 1111.39 c Restart #44 #Var: 40 LB: 0 @ 1111 1120.47 c Restart #45 #Var: 40 LB: 0 @ 1120.1 1129.28 c Restart #46 #Var: 40 LB: 0 @ 1128.9 1139.65 c Restart #47 #Var: 40 LB: 0 @ 1139.2 1148.03 c Restart #48 #Var: 40 LB: 0 @ 1147.6 1158.89 c Restart #49 #Var: 40 LB: 0 @ 1158.5 1167.68 c Restart #50 #Var: 40 LB: 0 @ 1167.3 1177.41 c Restart #51 #Var: 40 LB: 0 @ 1177 1186.60 c Restart #52 #Var: 40 LB: 0 @ 1186.2 1193.84 c Restart #53 #Var: 40 LB: 0 @ 1193.4 1201.20 c Restart #54 #Var: 40 LB: 0 @ 1200.8 1209.12 c Restart #55 #Var: 40 LB: 0 @ 1208.7 1216.96 c Restart #56 #Var: 40 LB: 0 @ 1216.5 1224.90 c Restart #57 #Var: 40 LB: 0 @ 1224.5 1232.24 c Restart #58 #Var: 40 LB: 0 @ 1231.8 1242.35 c Restart #59 #Var: 40 LB: 0 @ 1241.9 1251.94 c Restart #60 #Var: 40 LB: 0 @ 1251.5 1265.48 c Restart #61 #Var: 40 LB: 0 @ 1265 1285.40 c Restart #62 #Var: 40 LB: 0 @ 1285 1297.56 c Restart #63 #Var: 40 LB: 0 @ 1297.1 1308.87 c Restart #64 #Var: 40 LB: 0 @ 1308.4 1323.28 c Restart #65 #Var: 40 LB: 0 @ 1322.8 1336.51 c Restart #66 #Var: 40 LB: 0 @ 1336 1348.85 c Restart #67 #Var: 40 LB: 0 @ 1348.4 1366.44 c Restart #68 #Var: 40 LB: 0 @ 1366 1378.40 c Restart #69 #Var: 40 LB: 0 @ 1377.9 1390.35 c Restart #70 #Var: 40 LB: 0 @ 1389.9 1403.00 c Restart #71 #Var: 40 LB: 0 @ 1402.5 1411.56 c Restart #72 #Var: 40 LB: 0 @ 1411.1 1421.90 c Restart #73 #Var: 40 LB: 0 @ 1421.4 1434.69 c Restart #74 #Var: 40 LB: 0 @ 1434.2 1449.30 c Restart #75 #Var: 40 LB: 0 @ 1448.8 1463.63 c Restart #76 #Var: 40 LB: 0 @ 1463.1 1489.98 c Restart #77 #Var: 40 LB: 0 @ 1489.5 1520.51 c Restart #78 #Var: 40 LB: 0 @ 1520 1530.18 c Restart #79 #Var: 40 LB: 0 @ 1529.7 1540.32 c Restart #80 #Var: 40 LB: 0 @ 1539.8 1552.29 c Restart #81 #Var: 40 LB: 0 @ 1551.8 1576.00 c Restart #82 #Var: 40 LB: 0 @ 1575.5 1599.06 c Restart #83 #Var: 40 LB: 0 @ 1598.5 1608.48 c Restart #84 #Var: 40 LB: 0 @ 1607.9 1618.39 c Restart #85 #Var: 40 LB: 0 @ 1617.8 1629.83 c Restart #86 #Var: 40 LB: 0 @ 1629.3 1642.97 c Restart #87 #Var: 40 LB: 0 @ 1642.4 1655.92 c Restart #88 #Var: 40 LB: 0 @ 1655.3 1672.37 c Restart #89 #Var: 40 LB: 0 @ 1671.8 1687.04 c Restart #90 #Var: 40 LB: 0 @ 1686.5 1699.03 c Restart #91 #Var: 40 LB: 0 @ 1698.4 1711.51 c Restart #92 #Var: 40 LB: 0 @ 1710.9 1724.34 c Restart #93 #Var: 40 LB: 0 @ 1723.7 1736.65 c Restart #94 #Var: 40 LB: 0 @ 1736.1
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 runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node64/watcher-50334-1149930490 -o ROOT/results/node64/solver-50334-1149930490 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50334-1149930490/instance-50334-1149930490.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.03 1.03 0.94 2/64 9371 /proc/meminfo: memFree=1833648/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=2900 CPUtime=0 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 5737720 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6959908 0 0 4096 0 0 0 0 17 1 0 0 /proc/9371/statm: 725 27 19 55 0 38 0 [startup+10.0022 s] /proc/loadavg: 1.03 1.03 0.94 2/64 9371 /proc/meminfo: memFree=1779632/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=58992 CPUtime=9.95 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 13906 0 0 0 986 9 0 0 25 0 1 0 5737720 60407808 13812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 14748 13812 297 55 0 13640 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 58992 [startup+20.0078 s] /proc/loadavg: 1.02 1.03 0.94 2/64 9371 /proc/meminfo: memFree=1729968/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=108908 CPUtime=19.95 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 26329 0 0 0 1976 19 0 0 25 0 1 0 5737720 111521792 26207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 27227 26207 297 55 0 26119 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 108908 [startup+30.0135 s] /proc/loadavg: 1.02 1.03 0.94 2/64 9371 /proc/meminfo: memFree=1681392/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=157584 CPUtime=29.96 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 38464 0 0 0 2967 29 0 0 25 0 1 0 5737720 161366016 38315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 39396 38315 297 55 0 38288 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 157584 [startup+40.0192 s] /proc/loadavg: 1.02 1.03 0.94 2/64 9371 /proc/meminfo: memFree=1638896/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=200300 CPUtime=39.95 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 49109 0 0 0 3960 35 0 0 25 0 1 0 5737720 205107200 48925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 50075 48925 297 55 0 48967 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 200300 [startup+50.0258 s] /proc/loadavg: 1.01 1.03 0.94 2/64 9371 /proc/meminfo: memFree=1599792/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=239656 CPUtime=49.96 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 58909 0 0 0 4954 42 0 0 25 0 1 0 5737720 245407744 58703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 59914 58703 297 55 0 58806 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 239656 [startup+60.0325 s] /proc/loadavg: 1.01 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1568176/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=271904 CPUtime=59.97 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 67060 0 0 0 5947 50 0 0 25 0 1 0 5737720 278429696 66591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 67976 66591 297 55 0 66868 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 271904 [startup+70.0392 s] /proc/loadavg: 1.01 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1551472/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=289280 CPUtime=69.97 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 71263 0 0 0 6944 53 0 0 25 0 1 0 5737720 296222720 70756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 72320 70756 297 55 0 71212 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 289280 [startup+80.0458 s] /proc/loadavg: 1.01 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1532592/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=308024 CPUtime=79.97 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 75969 0 0 0 7940 57 0 0 25 0 1 0 5737720 315416576 75461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 77006 75461 297 55 0 75898 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 308024 [startup+90.0515 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1513392/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=327512 CPUtime=89.98 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 80848 0 0 0 8936 62 0 0 25 0 1 0 5737720 335372288 80255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 81878 80255 297 55 0 80770 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 327512 [startup+100.057 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1497840/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=343336 CPUtime=99.97 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 84884 0 0 0 9933 64 0 0 25 0 1 0 5737720 351576064 84127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 85834 84127 297 55 0 84726 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 343336 [startup+110.064 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1480816/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=360540 CPUtime=109.98 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 89295 0 0 0 10928 70 0 0 25 0 1 0 5737720 369192960 88371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 90135 88371 297 55 0 89027 0 Current children cumulated CPU time (s) 109.98 Current children cumulated vsize (Kb) 360540 [startup+120.071 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1463984/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=377360 CPUtime=119.98 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 93579 0 0 0 11924 74 0 0 25 0 1 0 5737720 386416640 92573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 94340 92573 297 55 0 93232 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 377360 [startup+130.076 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1445744/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=395984 CPUtime=129.99 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 98256 0 0 0 12921 78 0 0 25 0 1 0 5737720 405487616 97127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 98996 97127 297 55 0 97888 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 395984 [startup+140.082 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1429808/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=412212 CPUtime=139.99 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 102312 0 0 0 13917 82 0 0 25 0 1 0 5737720 422105088 101101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533602 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 103053 101101 297 55 0 101945 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 412212 [startup+150.089 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1410800/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=430832 CPUtime=149.99 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 107053 0 0 0 14914 85 0 0 25 0 1 0 5737720 441171968 105842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 107708 105842 297 55 0 106600 0 Current children cumulated CPU time (s) 149.99 Current children cumulated vsize (Kb) 430832 [startup+160.094 s] /proc/loadavg: 1.00 1.02 0.94 2/64 9371 /proc/meminfo: memFree=1392432/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=449624 CPUtime=160 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 111875 0 0 0 15911 89 0 0 25 0 1 0 5737720 460414976 110417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 112406 110417 297 55 0 111298 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 449624 [startup+170.1 s] /proc/loadavg: 1.00 1.01 0.94 2/64 9371 /proc/meminfo: memFree=1371312/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=470744 CPUtime=170 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 117167 0 0 0 16905 95 0 0 25 0 1 0 5737720 482041856 115709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534980 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 117686 115709 297 55 0 116578 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 470744 [startup+180.106 s] /proc/loadavg: 1.00 1.01 0.94 2/64 9371 /proc/meminfo: memFree=1348592/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=493140 CPUtime=180 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 122862 0 0 0 17900 100 0 0 25 0 1 0 5737720 504975360 121363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 123285 121363 297 55 0 122177 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 493140 [startup+190.111 s] /proc/loadavg: 1.00 1.01 0.94 2/64 9371 /proc/meminfo: memFree=1332208/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=509112 CPUtime=190 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 126960 0 0 0 18896 104 0 0 25 0 1 0 5737720 521330688 125461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 127278 125461 297 55 0 126170 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 509112 [startup+200.117 s] /proc/loadavg: 1.00 1.01 0.94 2/64 9371 /proc/meminfo: memFree=1320176/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=521636 CPUtime=200.01 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 130122 0 0 0 19894 107 0 0 25 0 1 0 5737720 534155264 128461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 130409 128461 297 55 0 129301 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 521636 [startup+210.123 s] /proc/loadavg: 1.00 1.01 0.94 2/64 9371 ################ # More data... # ################ Current children cumulated CPU time (s) 1530.37 Current children cumulated vsize (Kb) 1658516 [startup+1540.91 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=184240/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1668812 CPUtime=1540.36 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 422072 0 0 0 153653 383 0 0 25 0 1 0 5737720 1708863488 411837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 417203 411837 297 55 0 416095 0 Current children cumulated CPU time (s) 1540.36 Current children cumulated vsize (Kb) 1668812 [startup+1550.91 s] /proc/loadavg: 1.00 1.00 0.95 3/64 9373 /proc/meminfo: memFree=173488/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1679240 CPUtime=1550.37 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 424752 0 0 0 154650 387 0 0 25 0 1 0 5737720 1719541760 414517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 419810 414517 297 55 0 418702 0 Current children cumulated CPU time (s) 1550.37 Current children cumulated vsize (Kb) 1679240 [startup+1560.92 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=167408/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1685500 CPUtime=1560.37 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 426354 0 0 0 155649 388 0 0 25 0 1 0 5737720 1725952000 416037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 421375 416037 297 55 0 420267 0 Current children cumulated CPU time (s) 1560.37 Current children cumulated vsize (Kb) 1685500 [startup+1570.92 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=164080/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1688800 CPUtime=1570.37 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 427184 0 0 0 156648 389 0 0 25 0 1 0 5737720 1729331200 416867 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 422200 416867 297 55 0 421092 0 Current children cumulated CPU time (s) 1570.37 Current children cumulated vsize (Kb) 1688800 [startup+1580.93 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=161008/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1691836 CPUtime=1580.38 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 427946 0 0 0 157648 390 0 0 25 0 1 0 5737720 1732440064 417629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 422959 417629 297 55 0 421851 0 Current children cumulated CPU time (s) 1580.38 Current children cumulated vsize (Kb) 1691836 [startup+1590.93 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=159792/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1693024 CPUtime=1590.38 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 428259 0 0 0 158647 391 0 0 25 0 1 0 5737720 1733656576 417942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 423256 417942 297 55 0 422148 0 Current children cumulated CPU time (s) 1590.38 Current children cumulated vsize (Kb) 1693024 [startup+1600.94 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=152048/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1701056 CPUtime=1600.38 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 430335 0 0 0 159645 393 0 0 25 0 1 0 5737720 1741881344 419856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 425264 419856 297 55 0 424156 0 Current children cumulated CPU time (s) 1600.38 Current children cumulated vsize (Kb) 1701056 [startup+1610.94 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=140656/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1712144 CPUtime=1610.38 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 433179 0 0 0 160643 395 0 0 25 0 1 0 5737720 1753235456 422700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 428036 422700 297 55 0 426928 0 Current children cumulated CPU time (s) 1610.38 Current children cumulated vsize (Kb) 1712144 [startup+1620.95 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=128944/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1724400 CPUtime=1620.39 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 436276 0 0 0 161641 398 0 0 25 0 1 0 5737720 1765785600 425635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 431100 425635 297 55 0 429992 0 Current children cumulated CPU time (s) 1620.39 Current children cumulated vsize (Kb) 1724400 [startup+1630.96 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=118704/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1734696 CPUtime=1630.39 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 438829 0 0 0 162639 400 0 0 25 0 1 0 5737720 1776328704 428188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 433674 428188 297 55 0 432566 0 Current children cumulated CPU time (s) 1630.39 Current children cumulated vsize (Kb) 1734696 [startup+1640.96 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=107568/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1745652 CPUtime=1640.39 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 441607 0 0 0 163637 402 0 0 25 0 1 0 5737720 1787547648 430966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 436413 430966 297 55 0 435305 0 Current children cumulated CPU time (s) 1640.39 Current children cumulated vsize (Kb) 1745652 [startup+1650.97 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=100528/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1752780 CPUtime=1650.39 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 443383 0 0 0 164634 405 0 0 25 0 1 0 5737720 1794846720 432742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 438195 432742 297 55 0 437087 0 Current children cumulated CPU time (s) 1650.39 Current children cumulated vsize (Kb) 1752780 [startup+1660.97 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=91056/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1762020 CPUtime=1660.39 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 445735 0 0 0 165632 407 0 0 25 0 1 0 5737720 1804308480 435094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 440505 435094 297 55 0 439397 0 Current children cumulated CPU time (s) 1660.39 Current children cumulated vsize (Kb) 1762020 [startup+1670.98 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=84272/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1769260 CPUtime=1670.4 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 447586 0 0 0 166631 409 0 0 25 0 1 0 5737720 1811722240 436783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 442315 436783 297 55 0 441207 0 Current children cumulated CPU time (s) 1670.4 Current children cumulated vsize (Kb) 1769260 [startup+1680.99 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=76208/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1778392 CPUtime=1680.4 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 449913 0 0 0 167629 411 0 0 25 0 1 0 5737720 1821073408 438787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 444598 438787 297 55 0 443490 0 Current children cumulated CPU time (s) 1680.4 Current children cumulated vsize (Kb) 1778392 [startup+1690.99 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=69232/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1785388 CPUtime=1690.4 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 451668 0 0 0 168627 413 0 0 25 0 1 0 5737720 1828237312 440542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 446347 440542 297 55 0 445239 0 Current children cumulated CPU time (s) 1690.4 Current children cumulated vsize (Kb) 1785388 [startup+1701 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=60528/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1793836 CPUtime=1700.41 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 453826 0 0 0 169626 415 0 0 25 0 1 0 5737720 1836888064 442700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 448459 442700 297 55 0 447351 0 Current children cumulated CPU time (s) 1700.41 Current children cumulated vsize (Kb) 1793836 [startup+1711 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=48496/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1805716 CPUtime=1710.41 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 456822 0 0 0 170623 418 0 0 25 0 1 0 5737720 1849053184 445696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 451429 445696 297 55 0 450321 0 Current children cumulated CPU time (s) 1710.41 Current children cumulated vsize (Kb) 1805716 [startup+1721.01 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=38640/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1815616 CPUtime=1720.42 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 459292 0 0 0 171622 420 0 0 25 0 1 0 5737720 1859190784 448166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 453904 448166 297 55 0 452796 0 Current children cumulated CPU time (s) 1720.42 Current children cumulated vsize (Kb) 1815616 [startup+1731.02 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=29552/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1825612 CPUtime=1730.41 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 461879 0 0 0 172619 422 0 0 25 0 1 0 5737720 1869426688 450431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 456403 450431 297 55 0 455295 0 Current children cumulated CPU time (s) 1730.41 Current children cumulated vsize (Kb) 1825612 [startup+1741.02 s] /proc/loadavg: 1.00 1.00 0.95 2/64 9373 /proc/meminfo: memFree=20784/2055920 swapFree=4192956/4192956 [pid=9371] ppid=9369 vsize=1834192 CPUtime=1740.42 /proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 464054 0 0 0 173618 424 0 0 25 0 1 0 5737720 1878212608 452606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9371/statm: 458548 452606 297 55 0 457440 0 Current children cumulated CPU time (s) 1740.42 Current children cumulated vsize (Kb) 1834192 Child ended because it received signal 6 (SIGABRT) Real time (s): 1746.79 CPU time (s): 1746.19 CPU user time (s): 1741.64 CPU system time (s): 4.54631 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (Kb): 1834192 The end
Begin job on node64 on Sat Jun 10 09:08:10 UTC 2006 FILE ID= 50334-1149930490 PBS_JOBID= 385591 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50334-1149930490/instance-50334-1149930490.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node64/watcher-50334-1149930490 -o ROOT/results/node64/solver-50334-1149930490 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50334-1149930490/instance-50334-1149930490.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED= 893841768 /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.263 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.263 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: 1833856 kB Buffers: 28440 kB Cached: 138908 kB SwapCached: 0 kB Active: 76372 kB Inactive: 105504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833856 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 208 kB Writeback: 0 kB Mapped: 24920 kB Slab: 26172 kB Committed_AS: 113128 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node64 on Sat Jun 10 09:37:17 UTC 2006