Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.54 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_3.opb |
MD5SUM | 37c74b9e914d30b1ddfc0838676dd479 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
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 | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3487 |
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.007 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.014 0.07 c Restart #2 #Var: 40 LB: 0 @ 0.032 0.09 c Restart #3 #Var: 40 LB: 0 @ 0.061 0.14 c Restart #4 #Var: 40 LB: 0 @ 0.108 0.21 c Restart #5 #Var: 40 LB: 0 @ 0.174 0.28 c Restart #6 #Var: 40 LB: 0 @ 0.249 0.37 c Restart #7 #Var: 40 LB: 0 @ 0.34 0.47 c Restart #8 #Var: 40 LB: 0 @ 0.437 0.59 c Restart #9 #Var: 40 LB: 0 @ 0.556 0.69 c Restart #10 #Var: 40 LB: 0 @ 0.659 0.82 c Restart #11 #Var: 40 LB: 0 @ 0.786 0.97 c Restart #12 #Var: 40 LB: 0 @ 0.938 1.14 c Restart #13 #Var: 40 LB: 0 @ 1.104 1.35 c Restart #14 #Var: 40 LB: 0 @ 1.316 1.75 c Restart #15 #Var: 40 LB: 0 @ 1.717 1.99 c Restart #16 #Var: 40 LB: 0 @ 1.954 2.24 c Restart #17 #Var: 40 LB: 0 @ 2.202 2.58 c Restart #18 #Var: 40 LB: 0 @ 2.547 3.02 c Restart #19 #Var: 40 LB: 0 @ 2.987 3.56 c Restart #20 #Var: 40 LB: 0 @ 3.53 4.10 c Restart #21 #Var: 40 LB: 0 @ 4.068 4.85 c Restart #22 #Var: 40 LB: 0 @ 4.814 5.98 c Restart #23 #Var: 40 LB: 0 @ 5.946 6.90 c Restart #24 #Var: 40 LB: 0 @ 6.868 7.32 c Restart #25 #Var: 40 LB: 0 @ 7.288 7.89 c Restart #26 #Var: 40 LB: 0 @ 7.855 8.57 c Restart #27 #Var: 40 LB: 0 @ 8.533 9.31 c Restart #28 #Var: 40 LB: 0 @ 9.271 9.97 c Restart #29 #Var: 40 LB: 0 @ 9.935 10.82 c Restart #30 #Var: 40 LB: 0 @ 10.784 11.84 c Restart #31 #Var: 40 LB: 0 @ 11.797 12.68 c Restart #32 #Var: 40 LB: 0 @ 12.635 13.49 c Restart #33 #Var: 40 LB: 0 @ 13.451 14.53 c Restart #34 #Var: 40 LB: 0 @ 14.487 15.88 c Restart #35 #Var: 40 LB: 0 @ 15.839 16.98 c Restart #36 #Var: 40 LB: 0 @ 16.936 18.37 c Restart #37 #Var: 40 LB: 0 @ 18.331 19.57 c Restart #38 #Var: 40 LB: 0 @ 19.523 20.77 c Restart #39 #Var: 40 LB: 0 @ 20.726 22.06 c Restart #40 #Var: 40 LB: 0 @ 22.02 23.36 c Restart #41 #Var: 40 LB: 0 @ 23.313 24.69 c Restart #42 #Var: 40 LB: 0 @ 24.645 26.08 c Restart #43 #Var: 40 LB: 0 @ 26.031 27.47 c Restart #44 #Var: 40 LB: 0 @ 27.421 29.09 c Restart #45 #Var: 40 LB: 0 @ 29.043 30.86 c Restart #46 #Var: 40 LB: 0 @ 30.818 32.36 c Restart #47 #Var: 40 LB: 0 @ 32.312 34.35 c Restart #48 #Var: 40 LB: 0 @ 34.303 36.33 c Restart #49 #Var: 40 LB: 0 @ 36.286 38.83 c Restart #50 #Var: 40 LB: 0 @ 38.782 40.57 c Restart #51 #Var: 40 LB: 0 @ 40.52 42.98 c Restart #52 #Var: 40 LB: 0 @ 42.933 46.65 c Restart #53 #Var: 40 LB: 0 @ 46.597 51.21 c Restart #54 #Var: 40 LB: 0 @ 51.159 54.00 c Restart #55 #Var: 40 LB: 0 @ 53.943 57.52 c Restart #56 #Var: 40 LB: 0 @ 57.467 61.73 c Restart #57 #Var: 40 LB: 0 @ 61.67 65.83 c Restart #58 #Var: 40 LB: 0 @ 65.773 70.21 c Restart #59 #Var: 40 LB: 0 @ 70.149 74.49 c Restart #60 #Var: 40 LB: 0 @ 74.428 81.29 c Restart #61 #Var: 40 LB: 0 @ 81.225 89.64 c Restart #62 #Var: 40 LB: 0 @ 89.556 97.04 c Restart #63 #Var: 40 LB: 0 @ 96.924 102.75 c Restart #64 #Var: 40 LB: 0 @ 102.61 107.89 c Restart #65 #Var: 40 LB: 0 @ 107.75 115.91 c Restart #66 #Var: 40 LB: 0 @ 115.76 123.25 c Restart #67 #Var: 40 LB: 0 @ 123.1 130.52 c Restart #68 #Var: 40 LB: 0 @ 130.37 138.62 c Restart #69 #Var: 40 LB: 0 @ 138.47 143.13 c Restart #70 #Var: 40 LB: 0 @ 142.97 147.99 c Restart #71 #Var: 40 LB: 0 @ 147.83 152.63 c Restart #72 #Var: 40 LB: 0 @ 152.47 156.94 c Restart #73 #Var: 40 LB: 0 @ 156.79 161.45 c Restart #74 #Var: 40 LB: 0 @ 161.29 165.40 c Restart #75 #Var: 40 LB: 0 @ 165.24 170.75 c Restart #76 #Var: 40 LB: 0 @ 170.59 176.33 c Restart #77 #Var: 40 LB: 0 @ 176.17 182.00 c Restart #78 #Var: 40 LB: 0 @ 181.84 188.55 c Restart #79 #Var: 40 LB: 0 @ 188.38 195.81 c Restart #80 #Var: 40 LB: 0 @ 195.65 203.12 c Restart #81 #Var: 40 LB: 0 @ 202.95 209.85 c Restart #82 #Var: 40 LB: 0 @ 209.68 216.98 c Restart #83 #Var: 40 LB: 0 @ 216.8 223.34 c Restart #84 #Var: 40 LB: 0 @ 223.17 229.95 c Restart #85 #Var: 40 LB: 0 @ 229.77 237.09 c Restart #86 #Var: 40 LB: 0 @ 236.91 245.76 c Restart #87 #Var: 40 LB: 0 @ 245.57 252.59 c Restart #88 #Var: 40 LB: 0 @ 252.41 261.93 c Restart #89 #Var: 40 LB: 0 @ 261.74 268.77 c Restart #90 #Var: 40 LB: 0 @ 268.58 278.80 c Restart #91 #Var: 40 LB: 0 @ 278.61 288.98 c Restart #92 #Var: 40 LB: 0 @ 288.78 299.24 c Restart #93 #Var: 40 LB: 0 @ 299.04 311.98 c Restart #94 #Var: 40 LB: 0 @ 311.78 320.67 c Restart #95 #Var: 40 LB: 0 @ 320.47 330.43 c Restart #96 #Var: 40 LB: 0 @ 330.22 341.90 c Restart #97 #Var: 40 LB: 0 @ 341.69 351.60 c Restart #98 #Var: 40 LB: 0 @ 351.39 362.56 c Restart #99 #Var: 40 LB: 0 @ 362.35 372.52 c Restart #100 #Var: 40 LB: 0 @ 372.31 382.01 c Restart #101 #Var: 40 LB: 0 @ 381.79 390.31 c Restart #102 #Var: 40 LB: 0 @ 390.09 399.76 c Restart #103 #Var: 40 LB: 0 @ 399.53 410.58 c Restart #104 #Var: 40 LB: 0 @ 410.36 418.09 c Restart #105 #Var: 40 LB: 0 @ 417.86 426.03 c Restart #106 #Var: 40 LB: 0 @ 425.79 438.53 c Restart #107 #Var: 40 LB: 0 @ 438.3 450.07 c Restart #108 #Var: 40 LB: 0 @ 449.83 461.48 c Restart #109 #Var: 40 LB: 0 @ 461.23 471.57 c Restart #110 #Var: 40 LB: 0 @ 471.32 486.92 c Restart #111 #Var: 40 LB: 0 @ 486.67 502.56 c Restart #112 #Var: 40 LB: 0 @ 502.31 523.47 c Restart #113 #Var: 40 LB: 0 @ 523.21 538.80 c Restart #114 #Var: 40 LB: 0 @ 538.54 554.20 c Restart #115 #Var: 40 LB: 0 @ 553.93 567.52 c Restart #116 #Var: 40 LB: 0 @ 567.25 580.79 c Restart #117 #Var: 40 LB: 0 @ 580.51 595.02 c Restart #118 #Var: 40 LB: 0 @ 594.73 614.49 c Restart #119 #Var: 40 LB: 0 @ 614.2 643.48 c Restart #120 #Var: 40 LB: 0 @ 643.19 679.26 c Restart #121 #Var: 40 LB: 0 @ 678.96 706.03 c Restart #122 #Var: 40 LB: 0 @ 705.72 740.14 c Restart #123 #Var: 40 LB: 0 @ 739.82 785.69 c Restart #124 #Var: 40 LB: 0 @ 785.36 817.87 c Restart #125 #Var: 40 LB: 0 @ 817.53 838.86 c Restart #126 #Var: 40 LB: 0 @ 838.51 863.70 c Restart #127 #Var: 40 LB: 0 @ 863.35 883.66 c Restart #128 #Var: 40 LB: 0 @ 883.3 910.04 c CHANGE Heuristic... 910.04 c Restart #0 #Var: 40 LB: 0 @ 909.67 924.31 c Restart #1 #Var: 40 LB: 0 @ 923.94 941.29 c Restart #2 #Var: 40 LB: 0 @ 940.91 957.30 c Restart #3 #Var: 40 LB: 0 @ 956.92 968.51 c Restart #4 #Var: 40 LB: 0 @ 968.12 980.31 c Restart #5 #Var: 40 LB: 0 @ 979.92 989.91 c Restart #6 #Var: 40 LB: 0 @ 989.52 1001.28 c Restart #7 #Var: 40 LB: 0 @ 1000.9 1009.81 c Restart #8 #Var: 40 LB: 0 @ 1009.4 1020.73 c Restart #9 #Var: 40 LB: 0 @ 1020.3 1031.64 c Restart #10 #Var: 40 LB: 0 @ 1031.2 1041.09 c Restart #11 #Var: 40 LB: 0 @ 1040.7 1050.66 c Restart #12 #Var: 40 LB: 0 @ 1050.2 1057.83 c Restart #13 #Var: 40 LB: 0 @ 1057.4 1063.74 c Restart #14 #Var: 40 LB: 0 @ 1063.3 1070.32 c Restart #15 #Var: 40 LB: 0 @ 1069.9 1076.57 c Restart #16 #Var: 40 LB: 0 @ 1076.1 1083.60 c Restart #17 #Var: 40 LB: 0 @ 1083.2 1090.77 c Restart #18 #Var: 40 LB: 0 @ 1090.3 1101.45 c Restart #19 #Var: 40 LB: 0 @ 1101 1114.20 c Restart #20 #Var: 40 LB: 0 @ 1113.8 1123.09 c Restart #21 #Var: 40 LB: 0 @ 1122.7 1130.95 c Restart #22 #Var: 40 LB: 0 @ 1130.5 1136.57 c Restart #23 #Var: 40 LB: 0 @ 1136.1 1150.01 c Restart #24 #Var: 40 LB: 0 @ 1149.6 1172.43 c Restart #25 #Var: 40 LB: 0 @ 1172 1190.03 c Restart #26 #Var: 40 LB: 0 @ 1189.6 1199.92 c Restart #27 #Var: 40 LB: 0 @ 1199.5 1208.28 c Restart #28 #Var: 40 LB: 0 @ 1207.8 1221.53 c Restart #29 #Var: 40 LB: 0 @ 1221.1 1229.85 c Restart #30 #Var: 40 LB: 0 @ 1229.4 1237.00 c Restart #31 #Var: 40 LB: 0 @ 1236.5 1242.95 c Restart #32 #Var: 40 LB: 0 @ 1242.5 1248.12 c Restart #33 #Var: 40 LB: 0 @ 1247.7 1253.11 c Restart #34 #Var: 40 LB: 0 @ 1252.6 1258.48 c Restart #35 #Var: 40 LB: 0 @ 1258 1267.16 c Restart #36 #Var: 40 LB: 0 @ 1266.7 1276.92 c Restart #37 #Var: 40 LB: 0 @ 1276.4 1283.95 c Restart #38 #Var: 40 LB: 0 @ 1283.5 1292.36 c Restart #39 #Var: 40 LB: 0 @ 1291.9 1299.58 c Restart #40 #Var: 40 LB: 0 @ 1299.1 1310.28 c Restart #41 #Var: 40 LB: 0 @ 1309.8 1322.18 c Restart #42 #Var: 40 LB: 0 @ 1321.7 1335.15 c Restart #43 #Var: 40 LB: 0 @ 1334.7 1358.00 c Restart #44 #Var: 40 LB: 0 @ 1357.5 1370.94 c Restart #45 #Var: 40 LB: 0 @ 1370.4 1381.10 c Restart #46 #Var: 40 LB: 0 @ 1380.6 1395.35 c Restart #47 #Var: 40 LB: 0 @ 1394.8 1407.75 c Restart #48 #Var: 40 LB: 0 @ 1407.2 1422.08 c Restart #49 #Var: 40 LB: 0 @ 1421.6 1442.59 c Restart #50 #Var: 40 LB: 0 @ 1442.1 1462.68 c Restart #51 #Var: 40 LB: 0 @ 1462.1 1474.38 c Restart #52 #Var: 40 LB: 0 @ 1473.8 1482.89 c Restart #53 #Var: 40 LB: 0 @ 1482.4 1490.74 c Restart #54 #Var: 40 LB: 0 @ 1490.2 1499.96 c Restart #55 #Var: 40 LB: 0 @ 1499.4 1510.38 c Restart #56 #Var: 40 LB: 0 @ 1509.8 1524.88 c Restart #57 #Var: 40 LB: 0 @ 1524.3 1534.42 c Restart #58 #Var: 40 LB: 0 @ 1533.9 1545.91 c Restart #59 #Var: 40 LB: 0 @ 1545.4 1560.26 c Restart #60 #Var: 40 LB: 0 @ 1559.7 1570.45 c Restart #61 #Var: 40 LB: 0 @ 1569.9 1581.27 c Restart #62 #Var: 40 LB: 0 @ 1580.7 1592.31 c Restart #63 #Var: 40 LB: 0 @ 1591.7 1605.94 c Restart #64 #Var: 40 LB: 0 @ 1605.4 1630.85 c Restart #65 #Var: 40 LB: 0 @ 1630.3 1656.53 c Restart #66 #Var: 40 LB: 0 @ 1655.9 1681.00 c Restart #67 #Var: 40 LB: 0 @ 1680.4 1695.66 c Restart #68 #Var: 40 LB: 0 @ 1695.1 1705.45 c Restart #69 #Var: 40 LB: 0 @ 1704.9 1715.71 c Restart #70 #Var: 40 LB: 0 @ 1715.1 1731.31 c Restart #71 #Var: 40 LB: 0 @ 1730.7 1743.08 c Restart #72 #Var: 40 LB: 0 @ 1742.5 1756.46 c Restart #73 #Var: 40 LB: 0 @ 1755.8 1768.52 c Restart #74 #Var: 40 LB: 0 @ 1767.9 1777.91 c Restart #75 #Var: 40 LB: 0 @ 1777.3 1788.34 c Restart #76 #Var: 40 LB: 0 @ 1787.7 1800.91 c Restart #77 #Var: 40 LB: 0 @ 1800.3 1800.93 s UNKNOWN 1800.93 c Exit Code: 0 1800.93 c Total time: 1800.3 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 runsolver version 3.0.3 (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/node21/watcher-50336-1154109586 -o ROOT/results/node21/solver-50336-1154109586 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/50336-1154109586/instance-50336-1154109586.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.98 3/64 23612 /proc/meminfo: memFree=1503248/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=4664 CPUtime=0 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 143 0 0 0 0 0 0 0 18 0 1 0 157819421 4775936 123 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8402112 0 0 4096 0 0 0 0 17 1 0 0 /proc/23612/statm: 1166 123 103 55 0 46 0 [startup+10.0015 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1443984/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=64400 CPUtime=9.95 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 15233 0 0 0 985 10 0 0 25 0 1 0 157819421 65945600 15130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 16100 15130 297 55 0 14992 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 64400 [startup+20.0076 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1400464/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=108060 CPUtime=19.95 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 26133 0 0 0 1976 19 0 0 25 0 1 0 157819421 110653440 26002 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 27015 26002 297 55 0 25907 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 108060 [startup+30.0137 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1359440/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=149584 CPUtime=29.96 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 36397 0 0 0 2969 27 0 0 25 0 1 0 157819421 153174016 36232 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 37396 36232 297 55 0 36288 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 149584 [startup+40.0198 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1326672/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=182584 CPUtime=39.96 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 44589 0 0 0 3961 35 0 0 25 0 1 0 157819421 186966016 44400 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 45646 44400 297 55 0 44538 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 182584 [startup+50.0259 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1304912/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=204392 CPUtime=49.97 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 50036 0 0 0 4957 40 0 0 25 0 1 0 157819421 209297408 49833 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 51098 49833 297 55 0 49990 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 204392 [startup+60.032 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1283536/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=225704 CPUtime=59.97 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 55377 0 0 0 5952 45 0 0 25 0 1 0 157819421 231120896 55164 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 56426 55164 297 55 0 55318 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 225704 [startup+70.0381 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23612 /proc/meminfo: memFree=1265104/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=244436 CPUtime=69.97 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 60071 0 0 0 6948 49 0 0 25 0 1 0 157819421 250302464 59766 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 61109 59766 297 55 0 60001 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 244436 [startup+80.0442 s] /proc/loadavg: 1.00 0.99 0.98 2/70 23678 /proc/meminfo: memFree=1248480/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=260560 CPUtime=79.97 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 64008 0 0 0 7940 57 0 0 25 0 1 0 157819421 266813440 63602 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 65140 63602 297 55 0 64032 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 260560 [startup+90.0513 s] /proc/loadavg: 1.00 0.99 0.98 2/70 23728 /proc/meminfo: memFree=1239072/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=270376 CPUtime=89.95 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 66514 0 0 0 8934 61 0 0 25 0 1 0 157819421 276865024 65944 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 67594 65944 297 55 0 66486 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 270376 [startup+100.058 s] /proc/loadavg: 1.00 0.99 0.98 2/70 23794 /proc/meminfo: memFree=1223896/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=285344 CPUtime=99.93 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 70254 0 0 0 9926 67 0 0 25 0 1 0 157819421 292192256 69682 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 71336 69683 297 55 0 70228 0 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 285344 [startup+110.066 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1211272/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=299156 CPUtime=109.92 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 73694 0 0 0 10922 70 0 0 25 0 1 0 157819421 306335744 73116 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 74789 73116 297 55 0 73681 0 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 299156 [startup+120.073 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1199632/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=310880 CPUtime=119.92 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 76618 0 0 0 11919 73 0 0 25 0 1 0 157819421 318341120 76035 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 77720 76035 297 55 0 76612 0 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 310880 [startup+130.079 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1189456/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=321044 CPUtime=129.93 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 79161 0 0 0 12918 75 0 0 25 0 1 0 157819421 328749056 78577 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 80261 78577 297 55 0 79153 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 321044 [startup+140.085 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1176336/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=334016 CPUtime=139.93 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 82430 0 0 0 13916 77 0 0 25 0 1 0 157819421 342032384 81846 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 83504 81846 297 55 0 82396 0 Current children cumulated CPU time (s) 139.93 Current children cumulated vsize (Kb) 334016 [startup+150.091 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1155856/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=354604 CPUtime=149.93 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 87554 0 0 0 14912 81 0 0 25 0 1 0 157819421 363114496 86961 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 88651 86961 297 55 0 87543 0 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 354604 [startup+160.097 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1134224/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=376220 CPUtime=159.94 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 92964 0 0 0 15907 87 0 0 25 0 1 0 157819421 385249280 92363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 94055 92363 297 55 0 92947 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 376220 [startup+170.103 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1111504/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=399428 CPUtime=169.93 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 98814 0 0 0 16901 92 0 0 25 0 1 0 157819421 409014272 98035 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 99857 98035 297 55 0 98749 0 Current children cumulated CPU time (s) 169.93 Current children cumulated vsize (Kb) 399428 [startup+180.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1093712/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=417496 CPUtime=179.94 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 103407 0 0 0 17898 96 0 0 25 0 1 0 157819421 427515904 102464 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 104374 102464 297 55 0 103266 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 417496 [startup+190.116 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1078800/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=432152 CPUtime=189.94 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 107125 0 0 0 18894 100 0 0 25 0 1 0 157819421 442523648 106182 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 108038 106182 297 55 0 106930 0 Current children cumulated CPU time (s) 189.94 Current children cumulated vsize (Kb) 432152 [startup+200.122 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=1061712/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=449824 CPUtime=199.95 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 111484 0 0 0 19891 104 0 0 25 0 1 0 157819421 460619776 110453 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 112456 110453 297 55 0 111348 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 449824 [startup+210.129 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.45 Current children cumulated vsize (Kb) 1492940 [startup+1771.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=23760/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1501180 CPUtime=1770.46 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 380424 0 0 0 176639 407 0 0 25 0 1 0 157819421 1537208320 369396 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 375295 369396 297 55 0 374187 0 Current children cumulated CPU time (s) 1770.46 Current children cumulated vsize (Kb) 1501180 [startup+1781.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16336/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1511476 CPUtime=1780.46 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 383020 0 0 0 177636 410 0 0 25 0 1 0 157819421 1547751424 371992 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 377869 371992 297 55 0 376761 0 Current children cumulated CPU time (s) 1780.46 Current children cumulated vsize (Kb) 1511476 [startup+1782.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16080/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1513324 CPUtime=1781.47 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 383476 0 0 0 177737 410 0 0 25 0 1 0 157819421 1549643776 372448 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 378331 372448 297 55 0 377223 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 1513324 [startup+1783.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15888/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1515040 CPUtime=1782.47 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 383899 0 0 0 177837 410 0 0 25 0 1 0 157819421 1551400960 372871 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 378760 372871 297 55 0 377652 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 1515040 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15952/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1516492 CPUtime=1783.47 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384272 0 0 0 177937 410 0 0 25 0 1 0 157819421 1552887808 373244 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 379123 373244 297 55 0 378015 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 1516492 [startup+1785.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15184/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1518736 CPUtime=1784.48 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384849 0 0 0 178037 411 0 0 25 0 1 0 157819421 1555185664 373821 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 379684 373821 297 55 0 378576 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 1518736 [startup+1786.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=14992/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1519000 CPUtime=1785.48 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384886 0 0 0 178137 411 0 0 25 0 1 0 157819421 1555456000 373858 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 379750 373858 297 55 0 378642 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 1519000 [startup+1787.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16208/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1519264 CPUtime=1786.49 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384962 0 0 0 178238 411 0 0 25 0 1 0 157819421 1555726336 373934 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 379816 373934 297 55 0 378708 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 1519264 [startup+1788.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16208/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1519264 CPUtime=1787.49 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384962 0 0 0 178338 411 0 0 25 0 1 0 157819421 1555726336 373934 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 379816 373934 297 55 0 378708 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 1519264 [startup+1789.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15888/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1520544 CPUtime=1788.5 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385320 0 0 0 178438 412 0 0 25 0 1 0 157819421 1557037056 373970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 380136 373970 297 55 0 379028 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 1520544 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15888/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1520544 CPUtime=1789.51 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385320 0 0 0 178539 412 0 0 25 0 1 0 157819421 1557037056 373970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 380136 373970 297 55 0 379028 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 1520544 [startup+1791.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15504/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1521072 CPUtime=1790.51 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385461 0 0 0 178639 412 0 0 25 0 1 0 157819421 1557577728 374111 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 380268 374111 297 55 0 379160 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 1521072 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16016/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1522128 CPUtime=1791.51 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385737 0 0 0 178739 412 0 0 25 0 1 0 157819421 1558659072 374387 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 380532 374387 297 55 0 379424 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 1522128 [startup+1793.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16336/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1523448 CPUtime=1792.51 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386047 0 0 0 178839 412 0 0 25 0 1 0 157819421 1560010752 374697 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 380862 374697 297 55 0 379754 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 1523448 [startup+1794.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=16080/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1525164 CPUtime=1793.52 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386496 0 0 0 178939 413 0 0 25 0 1 0 157819421 1561767936 375146 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 381291 375146 297 55 0 380183 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 1525164 [startup+1795.16 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15248/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1525956 CPUtime=1794.53 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386691 0 0 0 179040 413 0 0 25 0 1 0 157819421 1562578944 375341 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 381489 375341 297 55 0 380381 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 1525956 [startup+1796.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15952/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1526880 CPUtime=1795.53 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386898 0 0 0 179140 413 0 0 25 0 1 0 157819421 1563525120 375548 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 381720 375548 297 55 0 380612 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 1526880 [startup+1797.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15440/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1527408 CPUtime=1796.54 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387039 0 0 0 179240 414 0 0 25 0 1 0 157819421 1564065792 375689 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 381852 375689 297 55 0 380744 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 1527408 [startup+1798.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15504/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1528860 CPUtime=1797.54 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387404 0 0 0 179340 414 0 0 25 0 1 0 157819421 1565552640 376054 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 382215 376054 297 55 0 381107 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 1528860 [startup+1799.18 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15760/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1530180 CPUtime=1798.55 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387723 0 0 0 179440 415 0 0 25 0 1 0 157819421 1566904320 376373 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 382545 376373 297 55 0 381437 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 1530180 [startup+1800.18 s] /proc/loadavg: 1.00 0.99 0.98 2/64 23810 /proc/meminfo: memFree=15696/2055920 swapFree=4182912/4192956 [pid=23612] ppid=23610 vsize=1530180 CPUtime=1799.55 /proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387738 0 0 0 179540 415 0 0 25 0 1 0 157819421 1566904320 376388 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23612/statm: 382545 376388 297 55 0 381437 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 1530180 Child status: 0 Real time (s): 1801.17 CPU time (s): 1800.54 CPU user time (s): 1796.15 CPU system time (s): 4.38233 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (Kb): 1530180 The end
Begin job on node21 on Fri Jul 28 17:59:46 UTC 2006 FILE ID= 50336-1154109586 PBS_JOBID= 886423 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/50336-1154109586/instance-50336-1154109586.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-50336-1154109586 -o ROOT/results/node21/solver-50336-1154109586 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/50336-1154109586/instance-50336-1154109586.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 37c74b9e914d30b1ddfc0838676dd479 RANDOM SEED= 963920500 TIMEOUT= 1800 seconds /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.231 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.231 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: 1503456 kB Buffers: 24316 kB Cached: 478388 kB SwapCached: 3692 kB Active: 49264 kB Inactive: 461920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1503456 kB SwapTotal: 4192956 kB SwapFree: 4182912 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14464 kB Slab: 27304 kB Committed_AS: 702208 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 node21 on Fri Jul 28 18:29:48 UTC 2006