Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.03 | 1800.65 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2754 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2754 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 900 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 29 |
Number of constraints which are nor clauses,nor cardinality constraints | 871 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 555 |
Number of terms in the objective function | 421 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 72290 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 3334110 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.19 c Initial problem consists of 7195 variables and 958 constraints. 0.22 c No problem reductions applied in OPT. instance. 0.22 c preprocess terminated. Elapsed time: 0.207 0.22 c After prepocess the problem consists of 7195 variables and 958 constraints. 0.22 c Initial Lower Bound: 0 0.48 c Restart #1 #Var: 7195 LB: 0 @ 0.469 0.91 c Restart #2 #Var: 7195 LB: 0 @ 0.9 1.52 c Restart #3 #Var: 7195 LB: 0 @ 1.511 2.28 c Restart #4 #Var: 7195 LB: 0 @ 2.266 3.12 c Restart #5 #Var: 7195 LB: 0 @ 3.109 4.06 c Restart #6 #Var: 7195 LB: 0 @ 4.049 6.00 c Restart #7 #Var: 7195 LB: 0 @ 5.992 7.98 c Restart #8 #Var: 7195 LB: 0 @ 7.963 9.20 c Restart #9 #Var: 7195 LB: 0 @ 9.183 11.17 c Restart #10 #Var: 7195 LB: 0 @ 11.156 12.18 c Restart #11 #Var: 7195 LB: 0 @ 12.166 12.95 c Restart #12 #Var: 7195 LB: 0 @ 12.932 14.27 c Restart #13 #Var: 7195 LB: 0 @ 14.249 18.37 c Restart #14 #Var: 7195 LB: 0 @ 18.351 19.24 c Restart #15 #Var: 7195 LB: 0 @ 19.217 20.63 c Restart #16 #Var: 7195 LB: 0 @ 20.611 22.96 c Restart #17 #Var: 7195 LB: 0 @ 22.937 24.67 c Restart #18 #Var: 7195 LB: 0 @ 24.653 25.95 c Restart #19 #Var: 7195 LB: 0 @ 25.924 27.78 c Restart #20 #Var: 7195 LB: 0 @ 27.756 29.49 c Restart #21 #Var: 7195 LB: 0 @ 29.466 31.68 c Restart #22 #Var: 7195 LB: 0 @ 31.653 33.59 c Restart #23 #Var: 7195 LB: 0 @ 33.568 35.99 c Restart #24 #Var: 7195 LB: 0 @ 35.963 38.65 c Restart #25 #Var: 7195 LB: 0 @ 38.627 40.71 c Restart #26 #Var: 7195 LB: 0 @ 40.679 43.90 c Restart #27 #Var: 7195 LB: 0 @ 43.871 48.41 c Restart #28 #Var: 7195 LB: 0 @ 48.381 50.92 c Restart #29 #Var: 7195 LB: 0 @ 50.893 54.91 c Restart #30 #Var: 7195 LB: 0 @ 54.878 58.31 c Restart #31 #Var: 7195 LB: 0 @ 58.275 61.55 c Restart #32 #Var: 7195 LB: 0 @ 61.515 64.36 c Restart #33 #Var: 7195 LB: 0 @ 64.326 67.56 c Restart #34 #Var: 7195 LB: 0 @ 67.524 71.16 c Restart #35 #Var: 7195 LB: 0 @ 71.124 74.85 c Restart #36 #Var: 7195 LB: 0 @ 74.813 80.94 c Restart #37 #Var: 7195 LB: 0 @ 80.898 86.08 c Restart #38 #Var: 7195 LB: 0 @ 86.042 89.46 c Restart #39 #Var: 7195 LB: 0 @ 89.421 96.92 c Restart #40 #Var: 7195 LB: 0 @ 96.879 101.15 c Restart #41 #Var: 7195 LB: 0 @ 101.11 103.87 c Restart #42 #Var: 7195 LB: 0 @ 103.82 108.68 c Restart #43 #Var: 7195 LB: 0 @ 108.63 114.22 c Restart #44 #Var: 7195 LB: 0 @ 114.17 120.33 c Restart #45 #Var: 7195 LB: 0 @ 120.27 125.32 c Restart #46 #Var: 7195 LB: 0 @ 125.27 134.82 c Restart #47 #Var: 7195 LB: 0 @ 134.76 140.62 c Restart #48 #Var: 7195 LB: 0 @ 140.56 144.61 c Restart #49 #Var: 7195 LB: 0 @ 144.54 149.67 c Restart #50 #Var: 7195 LB: 0 @ 149.61 155.66 c Restart #51 #Var: 7195 LB: 0 @ 155.6 161.75 c Restart #52 #Var: 7195 LB: 0 @ 161.68 171.04 c Restart #53 #Var: 7195 LB: 0 @ 170.97 176.52 c Restart #54 #Var: 7195 LB: 0 @ 176.44 186.55 c Restart #55 #Var: 7195 LB: 0 @ 186.48 192.33 c Restart #56 #Var: 7195 LB: 0 @ 192.25 201.13 c Restart #57 #Var: 7195 LB: 0 @ 201.05 212.67 c Restart #58 #Var: 7195 LB: 0 @ 212.58 218.57 c Restart #59 #Var: 7195 LB: 0 @ 218.49 225.29 c Restart #60 #Var: 7195 LB: 0 @ 225.21 249.65 c Restart #61 #Var: 7195 LB: 0 @ 249.56 255.79 c Restart #62 #Var: 7195 LB: 0 @ 255.69 263.88 c Restart #63 #Var: 7195 LB: 0 @ 263.78 271.46 c Restart #64 #Var: 7195 LB: 0 @ 271.35 278.86 c Restart #65 #Var: 7195 LB: 0 @ 278.75 289.07 c Restart #66 #Var: 7195 LB: 0 @ 288.96 304.56 c Restart #67 #Var: 7195 LB: 0 @ 304.44 316.84 c Restart #68 #Var: 7195 LB: 0 @ 316.72 340.98 c Restart #69 #Var: 7195 LB: 0 @ 340.85 349.25 c Restart #70 #Var: 7195 LB: 0 @ 349.12 362.88 c Restart #71 #Var: 7195 LB: 0 @ 362.75 370.57 c Restart #72 #Var: 7195 LB: 0 @ 370.43 387.22 c Restart #73 #Var: 7195 LB: 0 @ 387.08 401.12 c Restart #74 #Var: 7195 LB: 0 @ 400.98 416.29 c Restart #75 #Var: 7195 LB: 0 @ 416.13 432.17 c Restart #76 #Var: 7195 LB: 0 @ 432.01 451.01 c Restart #77 #Var: 7195 LB: 0 @ 450.85 461.53 c Restart #78 #Var: 7195 LB: 0 @ 461.37 481.48 c Restart #79 #Var: 7195 LB: 0 @ 481.31 493.70 c Restart #80 #Var: 7195 LB: 0 @ 493.52 514.19 c Restart #81 #Var: 7195 LB: 0 @ 514.01 536.96 c Restart #82 #Var: 7195 LB: 0 @ 536.77 549.23 c Restart #83 #Var: 7195 LB: 0 @ 549.03 559.24 c Restart #84 #Var: 7195 LB: 0 @ 559.04 572.07 c Restart #85 #Var: 7195 LB: 0 @ 571.87 588.36 c Restart #86 #Var: 7195 LB: 0 @ 588.15 600.91 c Restart #87 #Var: 7195 LB: 0 @ 600.7 628.53 c Restart #88 #Var: 7195 LB: 0 @ 628.31 644.68 c Restart #89 #Var: 7195 LB: 0 @ 644.45 689.54 c Restart #90 #Var: 7195 LB: 0 @ 689.29 713.15 c Restart #91 #Var: 7195 LB: 0 @ 712.9 730.95 c Restart #92 #Var: 7195 LB: 0 @ 730.69 742.70 c Restart #93 #Var: 7195 LB: 0 @ 742.44 762.19 c Restart #94 #Var: 7195 LB: 0 @ 761.92 777.43 c Restart #95 #Var: 7195 LB: 0 @ 777.16 808.65 c Restart #96 #Var: 7194 LB: 0 @ 808.37 823.03 c Restart #97 #Var: 7194 LB: 0 @ 822.74 851.75 c Restart #98 #Var: 7194 LB: 0 @ 851.46 869.00 c Restart #99 #Var: 7194 LB: 0 @ 868.7 909.28 c CHANGE Heuristic... 909.28 c Restart #0 #Var: 7194 LB: 0 @ 908.96 909.67 c Restart #1 #Var: 7194 LB: 0 @ 909.36 909.99 c Restart #2 #Var: 7194 LB: 0 @ 909.68 910.44 c Restart #3 #Var: 7194 LB: 0 @ 910.12 911.13 c Restart #4 #Var: 7194 LB: 0 @ 910.82 914.18 c Restart #5 #Var: 7194 LB: 0 @ 913.86 916.37 c Restart #6 #Var: 7194 LB: 0 @ 916.05 918.71 c Restart #7 #Var: 7193 LB: 0 @ 918.39 921.08 c Restart #8 #Var: 7193 LB: 0 @ 920.76 922.77 c Restart #9 #Var: 7193 LB: 0 @ 922.45 923.96 c Restart #10 #Var: 7193 LB: 0 @ 923.64 926.57 c Restart #11 #Var: 7192 LB: 0 @ 926.25 930.36 c Restart #12 #Var: 7191 LB: 0 @ 930.04 931.78 c Restart #13 #Var: 7191 LB: 0 @ 931.46 942.64 c Restart #14 #Var: 7190 LB: 0 @ 942.31 944.87 c Restart #15 #Var: 7190 LB: 0 @ 944.55 947.38 c Restart #16 #Var: 7190 LB: 0 @ 947.05 951.24 c Restart #17 #Var: 7185 LB: 0 @ 950.91 959.44 c Restart #18 #Var: 7185 LB: 0 @ 959.11 964.69 c Restart #19 #Var: 7185 LB: 0 @ 964.35 971.06 c Restart #20 #Var: 7185 LB: 0 @ 970.72 976.12 c Restart #21 #Var: 7185 LB: 0 @ 975.78 981.84 c Restart #22 #Var: 7185 LB: 0 @ 981.5 987.55 c Restart #23 #Var: 7185 LB: 0 @ 987.21 996.06 c Restart #24 #Var: 7185 LB: 0 @ 995.72 1000.90 c Restart #25 #Var: 7185 LB: 0 @ 1000.5 1006.03 c Restart #26 #Var: 7185 LB: 0 @ 1005.7 1010.85 c Restart #27 #Var: 7185 LB: 0 @ 1010.5 1017.55 c Restart #28 #Var: 7185 LB: 0 @ 1017.2 1025.60 c Restart #29 #Var: 7185 LB: 0 @ 1025.2 1034.85 c Restart #30 #Var: 7184 LB: 0 @ 1034.5 1042.59 c Restart #31 #Var: 7184 LB: 0 @ 1042.2 1048.29 c Restart #32 #Var: 7184 LB: 0 @ 1047.9 1056.13 c Restart #33 #Var: 7184 LB: 0 @ 1055.8 1061.80 c Restart #34 #Var: 7184 LB: 0 @ 1061.4 1074.49 c Restart #35 #Var: 7184 LB: 0 @ 1074.1 1084.10 c Restart #36 #Var: 7184 LB: 0 @ 1083.7 1087.56 c Restart #37 #Var: 7184 LB: 0 @ 1087.2 1095.31 c Restart #38 #Var: 7184 LB: 0 @ 1094.9 1118.04 c Restart #39 #Var: 7184 LB: 0 @ 1117.7 1124.80 c Restart #40 #Var: 7184 LB: 0 @ 1124.4 1131.39 c Restart #41 #Var: 7184 LB: 0 @ 1131 1139.36 c Restart #42 #Var: 7184 LB: 0 @ 1139 1146.63 c Restart #43 #Var: 7184 LB: 0 @ 1146.2 1156.47 c Restart #44 #Var: 7184 LB: 0 @ 1156.1 1166.67 c Restart #45 #Var: 7184 LB: 0 @ 1166.3 1172.99 c Restart #46 #Var: 7184 LB: 0 @ 1172.6 1186.46 c Restart #47 #Var: 7184 LB: 0 @ 1186.1 1195.34 c Restart #48 #Var: 7184 LB: 0 @ 1194.9 1206.19 c Restart #49 #Var: 7184 LB: 0 @ 1205.8 1213.93 c Restart #50 #Var: 7184 LB: 0 @ 1213.5 1223.14 c Restart #51 #Var: 7184 LB: 0 @ 1222.7 1240.00 c Restart #52 #Var: 7184 LB: 0 @ 1239.6 1256.28 c Restart #53 #Var: 7184 LB: 0 @ 1255.9 1272.32 c Restart #54 #Var: 7184 LB: 0 @ 1271.9 1296.22 c Restart #55 #Var: 7184 LB: 0 @ 1295.8 1307.94 c Restart #56 #Var: 7184 LB: 0 @ 1307.5 1318.15 c Restart #57 #Var: 7184 LB: 0 @ 1317.7 1336.94 c Restart #58 #Var: 7184 LB: 0 @ 1336.5 1351.69 c Restart #59 #Var: 7184 LB: 0 @ 1351.2 1362.77 c Restart #60 #Var: 7184 LB: 0 @ 1362.3 1372.77 c Restart #61 #Var: 7184 LB: 0 @ 1372.3 1390.89 c Restart #62 #Var: 7184 LB: 0 @ 1390.4 1405.96 c Restart #63 #Var: 7184 LB: 0 @ 1405.5 1421.23 c Restart #64 #Var: 7184 LB: 0 @ 1420.7 1435.01 c Restart #65 #Var: 7184 LB: 0 @ 1434.5 1446.74 c Restart #66 #Var: 7183 LB: 0 @ 1446.2 1455.48 c Restart #67 #Var: 7183 LB: 0 @ 1455 1484.62 c Restart #68 #Var: 7183 LB: 0 @ 1484.1 1500.15 c Restart #69 #Var: 7183 LB: 0 @ 1499.6 1520.43 c Restart #70 #Var: 7183 LB: 0 @ 1519.9 1531.04 c Restart #71 #Var: 7183 LB: 0 @ 1530.5 1542.97 c Restart #72 #Var: 7183 LB: 0 @ 1542.4 1553.38 c Restart #73 #Var: 7183 LB: 0 @ 1552.8 1565.72 c Restart #74 #Var: 7183 LB: 0 @ 1565.2 1579.17 c Restart #75 #Var: 7183 LB: 0 @ 1578.6 1592.26 c Restart #76 #Var: 7183 LB: 0 @ 1591.7 1602.94 c Restart #77 #Var: 7183 LB: 0 @ 1602.4 1615.53 c Restart #78 #Var: 7183 LB: 0 @ 1615 1627.01 c Restart #79 #Var: 7183 LB: 0 @ 1626.5 1640.42 c Restart #80 #Var: 7183 LB: 0 @ 1639.9 1651.91 c Restart #81 #Var: 7183 LB: 0 @ 1651.3 1665.07 c Restart #82 #Var: 7183 LB: 0 @ 1664.5 1677.14 c Restart #83 #Var: 7183 LB: 0 @ 1676.6 1691.22 c Restart #84 #Var: 7183 LB: 0 @ 1690.7 1703.38 c Restart #85 #Var: 7183 LB: 0 @ 1702.8 1717.17 c Restart #86 #Var: 7183 LB: 0 @ 1716.6 1729.61 c Restart #87 #Var: 7183 LB: 0 @ 1729 1742.92 c Restart #88 #Var: 7183 LB: 0 @ 1742.3 1756.49 c Restart #89 #Var: 7183 LB: 0 @ 1755.9 1770.16 c Restart #90 #Var: 7183 LB: 0 @ 1769.6 1784.22 c Restart #91 #Var: 7183 LB: 0 @ 1783.6 1798.68 c Restart #92 #Var: 7183 LB: 0 @ 1798.1 1800.61 s UNKNOWN 1800.61 c Exit Code: 0 1800.61 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/node60/watcher-39773-1149537816 -o ROOT/results/node60/solver-39773-1149537816 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39773-1149537816/instance-39773-1149537816.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.09 0.38 3/64 9082 /proc/meminfo: memFree=1558648/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=4664 CPUtime=0 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 159 0 0 0 0 0 0 0 18 0 1 0 219449416 4775936 140 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5504289 0 0 4096 0 0 0 0 17 1 0 0 /proc/9082/statm: 1166 146 108 55 0 46 0 [startup+10.0018 s] /proc/loadavg: 0.15 0.12 0.38 2/64 9082 /proc/meminfo: memFree=1548096/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=15228 CPUtime=9.97 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 3205 0 0 0 992 5 0 0 25 0 1 0 219449416 15593472 2951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 3807 2951 297 55 0 2699 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 15228 [startup+20.0076 s] /proc/loadavg: 0.28 0.15 0.39 2/64 9082 /proc/meminfo: memFree=1546368/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=16996 CPUtime=19.98 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 3650 0 0 0 1991 7 0 0 25 0 1 0 219449416 17403904 3393 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718707 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 4249 3393 297 55 0 3141 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 16996 [startup+30.0134 s] /proc/loadavg: 0.39 0.17 0.39 2/64 9082 /proc/meminfo: memFree=1543616/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=19864 CPUtime=29.98 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 4352 0 0 0 2988 10 0 0 25 0 1 0 219449416 20340736 4092 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 4966 4092 297 55 0 3858 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 19864 [startup+40.0192 s] /proc/loadavg: 0.49 0.20 0.40 2/64 9082 /proc/meminfo: memFree=1537152/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=26252 CPUtime=39.99 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 6001 0 0 0 3983 16 0 0 25 0 1 0 219449416 26882048 5692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 6563 5692 297 55 0 5455 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 26252 [startup+50.025 s] /proc/loadavg: 0.56 0.23 0.40 2/64 9082 /proc/meminfo: memFree=1534080/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=29404 CPUtime=49.98 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 6787 0 0 0 4977 21 0 0 25 0 1 0 219449416 30109696 6478 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 7351 6478 297 55 0 6243 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 29404 [startup+60.0308 s] /proc/loadavg: 0.63 0.25 0.41 2/64 9082 /proc/meminfo: memFree=1528896/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=34536 CPUtime=59.98 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 8104 0 0 0 5970 28 0 0 25 0 1 0 219449416 35364864 7770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 8634 7770 297 55 0 7526 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 34536 [startup+70.0366 s] /proc/loadavg: 0.69 0.28 0.42 2/64 9082 /proc/meminfo: memFree=1526080/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=37332 CPUtime=69.99 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 8849 0 0 0 6967 32 0 0 25 0 1 0 219449416 38227968 8466 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 9333 8466 297 55 0 8225 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 37332 [startup+80.0424 s] /proc/loadavg: 0.73 0.30 0.42 2/64 9082 /proc/meminfo: memFree=1521984/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=41408 CPUtime=79.99 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 9865 0 0 0 7963 36 0 0 25 0 1 0 219449416 42401792 9482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 10352 9482 297 55 0 9244 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 41408 [startup+90.0482 s] /proc/loadavg: 0.77 0.32 0.43 2/64 9082 /proc/meminfo: memFree=1518656/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=44672 CPUtime=90 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 10701 0 0 0 8959 41 0 0 25 0 1 0 219449416 45744128 10311 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 11168 10311 297 55 0 10060 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 44672 [startup+100.054 s] /proc/loadavg: 0.81 0.34 0.43 2/64 9082 /proc/meminfo: memFree=1516224/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=47164 CPUtime=100 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 11368 0 0 0 9958 42 0 0 25 0 1 0 219449416 48295936 10932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 11791 10932 297 55 0 10683 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 47164 [startup+110.06 s] /proc/loadavg: 0.84 0.37 0.44 2/64 9082 /proc/meminfo: memFree=1515968/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=47368 CPUtime=110 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 11419 0 0 0 10954 46 0 0 25 0 1 0 219449416 48504832 10983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 11842 10983 297 55 0 10734 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 47368 [startup+120.066 s] /proc/loadavg: 0.86 0.39 0.45 2/64 9082 /proc/meminfo: memFree=1514176/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=49224 CPUtime=120 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 11947 0 0 0 11951 49 0 0 25 0 1 0 219449416 50405376 11427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 12306 11427 297 55 0 11198 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 49224 [startup+130.071 s] /proc/loadavg: 0.88 0.41 0.45 2/64 9082 /proc/meminfo: memFree=1511680/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=51600 CPUtime=130.01 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 12579 0 0 0 12950 51 0 0 25 0 1 0 219449416 52838400 12044 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 12900 12044 297 55 0 11792 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 51600 [startup+140.077 s] /proc/loadavg: 0.90 0.42 0.46 2/64 9082 /proc/meminfo: memFree=1511424/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=52028 CPUtime=140 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 12681 0 0 0 13948 52 0 0 25 0 1 0 219449416 53276672 12121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5963819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 13007 12121 297 55 0 11899 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 52028 [startup+150.083 s] /proc/loadavg: 0.92 0.44 0.46 2/64 9082 /proc/meminfo: memFree=1507648/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=55720 CPUtime=150.02 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 13627 0 0 0 14947 55 0 0 25 0 1 0 219449416 57057280 13059 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 13930 13059 297 55 0 12822 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 55720 [startup+160.09 s] /proc/loadavg: 0.93 0.46 0.47 2/64 9082 /proc/meminfo: memFree=1506304/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=57056 CPUtime=160.02 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 13969 0 0 0 15944 58 0 0 25 0 1 0 219449416 58425344 13401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 14264 13401 297 55 0 13156 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 57056 [startup+170.097 s] /proc/loadavg: 0.94 0.48 0.47 2/64 9082 /proc/meminfo: memFree=1502784/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=60396 CPUtime=170.02 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 14894 0 0 0 16942 60 0 0 25 0 1 0 219449416 61845504 14243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548211 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 15099 14243 297 55 0 13991 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 60396 [startup+180.102 s] /proc/loadavg: 0.95 0.50 0.48 2/64 9082 /proc/meminfo: memFree=1501760/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=61588 CPUtime=180.02 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 15182 0 0 0 17940 62 0 0 25 0 1 0 219449416 63066112 14531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 15397 14531 297 55 0 14289 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 61588 [startup+190.108 s] /proc/loadavg: 0.95 0.51 0.48 2/64 9082 /proc/meminfo: memFree=1501376/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=61788 CPUtime=190.02 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 15266 0 0 0 18938 64 0 0 25 0 1 0 219449416 63270912 14591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 15447 14591 297 55 0 14339 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 61788 [startup+200.115 s] /proc/loadavg: 0.96 0.53 0.49 2/64 9082 /proc/meminfo: memFree=1497600/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=65728 CPUtime=200.03 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 16283 0 0 0 19935 68 0 0 25 0 1 0 219449416 67305472 15576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 16432 15576 297 55 0 15324 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 65728 [startup+210.121 s] /proc/loadavg: 0.97 0.54 0.49 2/64 9082 /proc/meminfo: memFree=1495488/2055920 swapFree=4181460/4192956 ################ # More data... # ################ /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1760.43 Current children cumulated vsize (Kb) 170592 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1770.43 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 176781 262 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1770.43 Current children cumulated vsize (Kb) 170592 [startup+1781.05 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1780.44 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 177781 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1780.44 Current children cumulated vsize (Kb) 170592 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1781.44 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 177881 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 170592 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1782.44 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 177981 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1782.44 Current children cumulated vsize (Kb) 170592 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1783.45 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178082 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 170592 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1784.45 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178182 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 170592 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1785.46 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178283 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 170592 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1786.46 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178383 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 170592 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1787.46 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178483 263 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1787.46 Current children cumulated vsize (Kb) 170592 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1788.47 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178583 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 170592 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1789.48 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178684 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 170592 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1790.48 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178784 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 170592 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1791.49 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178885 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 170592 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1792.49 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 178985 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 170592 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1793.49 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179085 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 170592 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1794.5 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179186 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 170592 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1795.5 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179286 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 170592 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1796.51 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179387 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 170592 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1797.51 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179487 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 170592 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1798.52 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179588 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 170592 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.86 2/64 9082 /proc/meminfo: memFree=1392384/2055920 swapFree=4181460/4192956 [pid=9082] ppid=9080 vsize=170592 CPUtime=1799.52 /proc/9082/stat : 9082 (bsolo) R 9080 9082 9036 0 -1 0 45323 0 0 0 179688 264 0 0 25 0 1 0 219449416 174686208 41781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9082/statm: 42648 41781 297 55 0 41540 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 170592 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.03 CPU user time (s): 1797.36 CPU system time (s): 2.67359 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 170592
Begin job on node60 on Mon Jun 5 20:03:36 UTC 2006 FILE ID= 39773-1149537816 PBS_JOBID= 315914 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39773-1149537816/instance-39773-1149537816.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-39773-1149537816 -o ROOT/results/node60/solver-39773-1149537816 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node60/39773-1149537816/instance-39773-1149537816.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED= 166783436 /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.257 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.257 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: 1559048 kB Buffers: 31764 kB Cached: 388824 kB SwapCached: 3188 kB Active: 76728 kB Inactive: 352564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1559048 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 224 kB Writeback: 0 kB Mapped: 14744 kB Slab: 53536 kB Committed_AS: 420476 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Mon Jun 5 20:33:37 UTC 2006