Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.27 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
MD5SUM | 4618b6422bdc12197131d1d37f567363 |
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 | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3589 |
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.04 c Time Limit set via PBTIMEOUT to 1800 0.11 c INFO: OSL Context initialized. 0.11 c Initial problem consists of 41 variables and 11 constraints. 0.11 c No problem reductions applied in OPT. instance. 0.11 c preprocess terminated. Elapsed time: 0.005 0.11 c After prepocess the problem consists of 40 variables and 10 constraints. 0.11 c Initial Lower Bound: 0 0.12 c Restart #1 #Var: 40 LB: 0 @ 0.012 0.13 c Restart #2 #Var: 40 LB: 0 @ 0.03 0.16 c Restart #3 #Var: 40 LB: 0 @ 0.058 0.21 c Restart #4 #Var: 40 LB: 0 @ 0.102 0.27 c Restart #5 #Var: 40 LB: 0 @ 0.163 0.34 c Restart #6 #Var: 40 LB: 0 @ 0.237 0.41 c Restart #7 #Var: 40 LB: 0 @ 0.309 0.50 c Restart #8 #Var: 40 LB: 0 @ 0.398 0.64 c Restart #9 #Var: 40 LB: 0 @ 0.535 0.76 c Restart #10 #Var: 40 LB: 0 @ 0.66 0.95 c Restart #11 #Var: 40 LB: 0 @ 0.845 1.26 c Restart #12 #Var: 40 LB: 0 @ 1.156 1.79 c Restart #13 #Var: 40 LB: 0 @ 1.687 2.56 c Restart #14 #Var: 40 LB: 0 @ 2.459 2.96 c Restart #15 #Var: 40 LB: 0 @ 2.852 3.55 c Restart #16 #Var: 40 LB: 0 @ 3.446 5.52 c Restart #17 #Var: 40 LB: 0 @ 5.412 6.15 c Restart #18 #Var: 40 LB: 0 @ 6.051 6.84 c Restart #19 #Var: 40 LB: 0 @ 6.737 7.88 c Restart #20 #Var: 40 LB: 0 @ 7.776 9.15 c Restart #21 #Var: 40 LB: 0 @ 9.043 10.46 c Restart #22 #Var: 40 LB: 0 @ 10.347 11.60 c Restart #23 #Var: 40 LB: 0 @ 11.489 12.83 c Restart #24 #Var: 40 LB: 0 @ 12.722 14.00 c Restart #25 #Var: 40 LB: 0 @ 13.894 15.46 c Restart #26 #Var: 40 LB: 0 @ 15.354 17.13 c Restart #27 #Var: 40 LB: 0 @ 17.019 18.50 c Restart #28 #Var: 40 LB: 0 @ 18.388 20.01 c Restart #29 #Var: 40 LB: 0 @ 19.895 21.46 c Restart #30 #Var: 40 LB: 0 @ 21.348 23.27 c Restart #31 #Var: 40 LB: 0 @ 23.158 25.24 c Restart #32 #Var: 40 LB: 0 @ 25.124 27.34 c Restart #33 #Var: 40 LB: 0 @ 27.223 29.28 c Restart #34 #Var: 40 LB: 0 @ 29.169 31.78 c Restart #35 #Var: 40 LB: 0 @ 31.665 34.45 c Restart #36 #Var: 40 LB: 0 @ 34.338 36.68 c Restart #37 #Var: 40 LB: 0 @ 36.566 39.63 c Restart #38 #Var: 40 LB: 0 @ 39.513 42.50 c Restart #39 #Var: 40 LB: 0 @ 42.378 45.24 c Restart #40 #Var: 40 LB: 0 @ 45.121 48.60 c Restart #41 #Var: 40 LB: 0 @ 48.485 53.93 c Restart #42 #Var: 40 LB: 0 @ 53.805 58.57 c Restart #43 #Var: 40 LB: 0 @ 58.453 64.06 c Restart #44 #Var: 40 LB: 0 @ 63.936 66.73 c Restart #45 #Var: 40 LB: 0 @ 66.609 69.81 c Restart #46 #Var: 40 LB: 0 @ 69.687 73.79 c Restart #47 #Var: 40 LB: 0 @ 73.666 77.06 c Restart #48 #Var: 40 LB: 0 @ 76.93 79.58 c Restart #49 #Var: 40 LB: 0 @ 79.456 81.50 c Restart #50 #Var: 40 LB: 0 @ 81.377 84.38 c Restart #51 #Var: 40 LB: 0 @ 84.254 87.28 c Restart #52 #Var: 40 LB: 0 @ 87.153 90.26 c Restart #53 #Var: 40 LB: 0 @ 90.127 93.37 c Restart #54 #Var: 40 LB: 0 @ 93.237 96.98 c Restart #55 #Var: 40 LB: 0 @ 96.849 99.73 c Restart #56 #Var: 40 LB: 0 @ 99.596 105.53 c Restart #57 #Var: 40 LB: 0 @ 105.4 111.90 c Restart #58 #Var: 40 LB: 0 @ 111.76 115.85 c Restart #59 #Var: 40 LB: 0 @ 115.72 119.44 c Restart #60 #Var: 40 LB: 0 @ 119.3 123.51 c Restart #61 #Var: 40 LB: 0 @ 123.37 127.72 c Restart #62 #Var: 40 LB: 0 @ 127.58 131.39 c Restart #63 #Var: 40 LB: 0 @ 131.25 137.04 c Restart #64 #Var: 40 LB: 0 @ 136.9 142.72 c Restart #65 #Var: 40 LB: 0 @ 142.58 147.45 c Restart #66 #Var: 40 LB: 0 @ 147.31 152.55 c Restart #67 #Var: 40 LB: 0 @ 152.4 156.75 c Restart #68 #Var: 40 LB: 0 @ 156.61 159.89 c Restart #69 #Var: 40 LB: 0 @ 159.74 163.24 c Restart #70 #Var: 40 LB: 0 @ 163.09 169.55 c Restart #71 #Var: 40 LB: 0 @ 169.4 173.51 c Restart #72 #Var: 40 LB: 0 @ 173.36 177.39 c Restart #73 #Var: 40 LB: 0 @ 177.24 181.26 c Restart #74 #Var: 40 LB: 0 @ 181.11 185.38 c Restart #75 #Var: 40 LB: 0 @ 185.22 190.11 c Restart #76 #Var: 40 LB: 0 @ 189.95 196.03 c Restart #77 #Var: 40 LB: 0 @ 195.88 202.53 c Restart #78 #Var: 40 LB: 0 @ 202.37 206.92 c Restart #79 #Var: 40 LB: 0 @ 206.76 211.52 c Restart #80 #Var: 40 LB: 0 @ 211.36 217.93 c Restart #81 #Var: 40 LB: 0 @ 217.77 225.44 c Restart #82 #Var: 40 LB: 0 @ 225.27 231.21 c Restart #83 #Var: 40 LB: 0 @ 231.05 237.29 c Restart #84 #Var: 40 LB: 0 @ 237.12 243.98 c Restart #85 #Var: 40 LB: 0 @ 243.81 250.42 c Restart #86 #Var: 40 LB: 0 @ 250.25 258.21 c Restart #87 #Var: 40 LB: 0 @ 258.04 265.43 c Restart #88 #Var: 40 LB: 0 @ 265.25 274.88 c Restart #89 #Var: 40 LB: 0 @ 274.71 283.78 c Restart #90 #Var: 40 LB: 0 @ 283.61 293.61 c Restart #91 #Var: 40 LB: 0 @ 293.43 303.19 c Restart #92 #Var: 40 LB: 0 @ 303.01 315.41 c Restart #93 #Var: 40 LB: 0 @ 315.23 325.05 c Restart #94 #Var: 40 LB: 0 @ 324.86 335.21 c Restart #95 #Var: 40 LB: 0 @ 335.02 346.33 c Restart #96 #Var: 40 LB: 0 @ 346.13 356.00 c Restart #97 #Var: 40 LB: 0 @ 355.81 363.91 c Restart #98 #Var: 40 LB: 0 @ 363.72 371.59 c Restart #99 #Var: 40 LB: 0 @ 371.39 379.21 c Restart #100 #Var: 40 LB: 0 @ 379.01 388.46 c Restart #101 #Var: 40 LB: 0 @ 388.26 399.24 c Restart #102 #Var: 40 LB: 0 @ 399.03 408.60 c Restart #103 #Var: 40 LB: 0 @ 408.39 418.73 c Restart #104 #Var: 40 LB: 0 @ 418.52 430.08 c Restart #105 #Var: 40 LB: 0 @ 429.87 438.88 c Restart #106 #Var: 40 LB: 0 @ 438.66 449.64 c Restart #107 #Var: 40 LB: 0 @ 449.42 464.12 c Restart #108 #Var: 40 LB: 0 @ 463.89 488.23 c Restart #109 #Var: 40 LB: 0 @ 488 513.38 c Restart #110 #Var: 40 LB: 0 @ 513.15 546.17 c Restart #111 #Var: 40 LB: 0 @ 545.92 574.68 c Restart #112 #Var: 40 LB: 0 @ 574.42 593.34 c Restart #113 #Var: 40 LB: 0 @ 593.09 606.99 c Restart #114 #Var: 40 LB: 0 @ 606.74 629.18 c Restart #115 #Var: 40 LB: 0 @ 628.91 658.65 c Restart #116 #Var: 40 LB: 0 @ 658.38 680.77 c Restart #117 #Var: 40 LB: 0 @ 680.49 707.39 c Restart #118 #Var: 40 LB: 0 @ 707.1 723.05 c Restart #119 #Var: 40 LB: 0 @ 722.77 739.33 c Restart #120 #Var: 40 LB: 0 @ 739.04 755.41 c Restart #121 #Var: 40 LB: 0 @ 755.12 771.57 c Restart #122 #Var: 40 LB: 0 @ 771.27 787.67 c Restart #123 #Var: 40 LB: 0 @ 787.37 800.77 c Restart #124 #Var: 40 LB: 0 @ 800.46 819.10 c Restart #125 #Var: 40 LB: 0 @ 818.79 832.91 c Restart #126 #Var: 40 LB: 0 @ 832.6 847.00 c Restart #127 #Var: 40 LB: 0 @ 846.69 862.70 c Restart #128 #Var: 40 LB: 0 @ 862.38 880.69 c Restart #129 #Var: 40 LB: 0 @ 880.36 901.18 c CHANGE Heuristic... 901.18 c Restart #0 #Var: 40 LB: 0 @ 900.85 905.65 c Restart #1 #Var: 40 LB: 0 @ 905.32 910.51 c Restart #2 #Var: 40 LB: 0 @ 910.18 915.07 c Restart #3 #Var: 40 LB: 0 @ 914.74 918.78 c Restart #4 #Var: 40 LB: 0 @ 918.45 922.44 c Restart #5 #Var: 40 LB: 0 @ 922.1 926.38 c Restart #6 #Var: 40 LB: 0 @ 926.04 930.43 c Restart #7 #Var: 40 LB: 0 @ 930.1 933.62 c Restart #8 #Var: 40 LB: 0 @ 933.29 936.75 c Restart #9 #Var: 40 LB: 0 @ 936.41 940.22 c Restart #10 #Var: 40 LB: 0 @ 939.88 943.86 c Restart #11 #Var: 40 LB: 0 @ 943.51 947.39 c Restart #12 #Var: 40 LB: 0 @ 947.05 950.87 c Restart #13 #Var: 40 LB: 0 @ 950.52 955.33 c Restart #14 #Var: 40 LB: 0 @ 954.98 959.74 c Restart #15 #Var: 40 LB: 0 @ 959.4 963.95 c Restart #16 #Var: 40 LB: 0 @ 963.6 968.42 c Restart #17 #Var: 40 LB: 0 @ 968.08 972.35 c Restart #18 #Var: 40 LB: 0 @ 972 976.50 c Restart #19 #Var: 40 LB: 0 @ 976.15 979.98 c Restart #20 #Var: 40 LB: 0 @ 979.63 983.53 c Restart #21 #Var: 40 LB: 0 @ 983.18 987.97 c Restart #22 #Var: 40 LB: 0 @ 987.61 992.25 c Restart #23 #Var: 40 LB: 0 @ 991.89 996.05 c Restart #24 #Var: 40 LB: 0 @ 995.7 1000.00 c Restart #25 #Var: 40 LB: 0 @ 999.65 1004.11 c Restart #26 #Var: 40 LB: 0 @ 1003.8 1008.93 c Restart #27 #Var: 40 LB: 0 @ 1008.6 1013.60 c Restart #28 #Var: 40 LB: 0 @ 1013.2 1019.00 c Restart #29 #Var: 40 LB: 0 @ 1018.6 1023.59 c Restart #30 #Var: 40 LB: 0 @ 1023.2 1028.86 c Restart #31 #Var: 40 LB: 0 @ 1028.5 1035.00 c Restart #32 #Var: 40 LB: 0 @ 1034.6 1042.03 c Restart #33 #Var: 40 LB: 0 @ 1041.7 1047.23 c Restart #34 #Var: 40 LB: 0 @ 1046.9 1054.32 c Restart #35 #Var: 40 LB: 0 @ 1054 1060.30 c Restart #36 #Var: 40 LB: 0 @ 1059.9 1066.04 c Restart #37 #Var: 40 LB: 0 @ 1065.7 1072.62 c Restart #38 #Var: 40 LB: 0 @ 1072.2 1078.98 c Restart #39 #Var: 40 LB: 0 @ 1078.6 1086.68 c Restart #40 #Var: 40 LB: 0 @ 1086.3 1095.80 c Restart #41 #Var: 40 LB: 0 @ 1095.4 1103.93 c Restart #42 #Var: 40 LB: 0 @ 1103.6 1111.78 c Restart #43 #Var: 40 LB: 0 @ 1111.4 1119.93 c Restart #44 #Var: 40 LB: 0 @ 1119.5 1128.28 c Restart #45 #Var: 40 LB: 0 @ 1127.9 1135.90 c Restart #46 #Var: 40 LB: 0 @ 1135.5 1142.64 c Restart #47 #Var: 40 LB: 0 @ 1142.3 1149.15 c Restart #48 #Var: 40 LB: 0 @ 1148.8 1157.25 c Restart #49 #Var: 40 LB: 0 @ 1156.9 1164.91 c Restart #50 #Var: 40 LB: 0 @ 1164.5 1174.38 c Restart #51 #Var: 40 LB: 0 @ 1174 1184.90 c Restart #52 #Var: 40 LB: 0 @ 1184.5 1193.56 c Restart #53 #Var: 40 LB: 0 @ 1193.2 1208.68 c Restart #54 #Var: 40 LB: 0 @ 1208.3 1223.39 c Restart #55 #Var: 40 LB: 0 @ 1223 1239.02 c Restart #56 #Var: 40 LB: 0 @ 1238.6 1250.60 c Restart #57 #Var: 40 LB: 0 @ 1250.2 1263.43 c Restart #58 #Var: 40 LB: 0 @ 1263 1283.32 c Restart #59 #Var: 40 LB: 0 @ 1282.9 1300.11 c Restart #60 #Var: 40 LB: 0 @ 1299.7 1316.39 c Restart #61 #Var: 40 LB: 0 @ 1316 1341.62 c Restart #62 #Var: 40 LB: 0 @ 1341.2 1379.02 c Restart #63 #Var: 40 LB: 0 @ 1378.6 1408.87 c Restart #64 #Var: 40 LB: 0 @ 1408.4 1440.46 c Restart #65 #Var: 40 LB: 0 @ 1440 1458.59 c Restart #66 #Var: 40 LB: 0 @ 1458.1 1482.60 c Restart #67 #Var: 40 LB: 0 @ 1482.1 1499.10 c Restart #68 #Var: 40 LB: 0 @ 1498.6 1520.91 c Restart #69 #Var: 40 LB: 0 @ 1520.4 1538.19 c Restart #70 #Var: 40 LB: 0 @ 1537.7 1560.28 c Restart #71 #Var: 40 LB: 0 @ 1559.8 1583.26 c Restart #72 #Var: 40 LB: 0 @ 1582.8 1604.90 c Restart #73 #Var: 40 LB: 0 @ 1604.4 1617.97 c Restart #74 #Var: 40 LB: 0 @ 1617.5 1631.84 c Restart #75 #Var: 40 LB: 0 @ 1631.3 1647.72 c Restart #76 #Var: 40 LB: 0 @ 1647.2 1661.08 c Restart #77 #Var: 40 LB: 0 @ 1660.6 1691.59 c Restart #78 #Var: 40 LB: 0 @ 1691.1 1743.47 c Restart #79 #Var: 40 LB: 0 @ 1742.9 1783.89 c Restart #80 #Var: 40 LB: 0 @ 1783.3 1800.56 s UNKNOWN 1800.56 c Exit Code: 0 1800.56 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 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/node18/watcher-50308-1154099526 -o ROOT/results/node18/solver-50308-1154099526 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/50308-1154099526/instance-50308-1154099526.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.98 3/64 10135 /proc/meminfo: memFree=519504/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=436 CPUtime=0 /proc/10135/stat : 10135 (bsolo) D 10133 10135 10086 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156813238 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7861156 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/10135/statm: 109 23 18 55 0 18 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=484816/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=36884 CPUtime=9.89 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 8419 0 10 0 983 6 0 0 25 0 1 0 156813238 37769216 8341 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134599035 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 9221 8341 297 55 0 8113 0 Current children cumulated CPU time (s) 9.89 Current children cumulated vsize (Kb) 36884 [startup+20.0095 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=460880/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=61020 CPUtime=19.89 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 14403 0 10 0 1977 12 0 0 25 0 1 0 156813238 62484480 14318 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 15255 14318 297 55 0 14147 0 Current children cumulated CPU time (s) 19.89 Current children cumulated vsize (Kb) 61020 [startup+30.0155 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=439568/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=82564 CPUtime=29.9 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 19728 0 10 0 2973 17 0 0 25 0 1 0 156813238 84545536 19633 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 20641 19633 297 55 0 19533 0 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 82564 [startup+40.0215 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=421584/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=100632 CPUtime=39.9 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 24225 0 10 0 3968 22 0 0 25 0 1 0 156813238 103047168 24115 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 25158 24115 297 55 0 24050 0 Current children cumulated CPU time (s) 39.9 Current children cumulated vsize (Kb) 100632 [startup+50.0274 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=405008/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=117188 CPUtime=49.9 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 28383 0 10 0 4964 26 0 0 25 0 1 0 156813238 120000512 28261 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 29297 28261 297 55 0 28189 0 Current children cumulated CPU time (s) 49.9 Current children cumulated vsize (Kb) 117188 [startup+60.0334 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=393424/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=129140 CPUtime=59.9 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 31297 0 10 0 5961 29 0 0 25 0 1 0 156813238 132239360 31159 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 32285 31159 297 55 0 31177 0 Current children cumulated CPU time (s) 59.9 Current children cumulated vsize (Kb) 129140 [startup+70.0394 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=378704/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=144248 CPUtime=69.91 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 34985 0 10 0 6959 32 0 0 25 0 1 0 156813238 147709952 34828 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 36062 34828 297 55 0 34954 0 Current children cumulated CPU time (s) 69.91 Current children cumulated vsize (Kb) 144248 [startup+80.0464 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=358928/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=164336 CPUtime=79.91 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 40008 0 10 0 7955 36 0 0 25 0 1 0 156813238 168280064 39758 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 41084 39758 297 55 0 39976 0 Current children cumulated CPU time (s) 79.91 Current children cumulated vsize (Kb) 164336 [startup+90.0523 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=334352/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=189244 CPUtime=89.91 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 46187 0 10 0 8950 41 0 0 25 0 1 0 156813238 193785856 45924 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 47311 45924 297 55 0 46203 0 Current children cumulated CPU time (s) 89.91 Current children cumulated vsize (Kb) 189244 [startup+100.058 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=312080/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=211532 CPUtime=99.92 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 51811 0 10 0 9945 47 0 0 25 0 1 0 156813238 216608768 51461 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 52883 51461 297 55 0 51775 0 Current children cumulated CPU time (s) 99.92 Current children cumulated vsize (Kb) 211532 [startup+110.064 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=299920/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=223808 CPUtime=109.93 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 54869 0 10 0 10943 50 0 0 25 0 1 0 156813238 229179392 54499 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 55952 54499 297 55 0 54844 0 Current children cumulated CPU time (s) 109.93 Current children cumulated vsize (Kb) 223808 [startup+120.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=281296/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=243084 CPUtime=119.93 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 59700 0 10 0 11938 55 0 0 25 0 1 0 156813238 248918016 59145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 60771 59145 297 55 0 59663 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 243084 [startup+130.076 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=260176/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=263972 CPUtime=129.93 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 64967 0 10 0 12932 61 0 0 25 0 1 0 156813238 270307328 64410 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 65993 64410 297 55 0 64885 0 Current children cumulated CPU time (s) 129.93 Current children cumulated vsize (Kb) 263972 [startup+140.082 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=244112/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=280404 CPUtime=139.94 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 69000 0 10 0 13929 65 0 0 25 0 1 0 156813238 287133696 68412 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 70101 68412 297 55 0 68993 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 280404 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=227728/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=296640 CPUtime=149.94 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 73100 0 10 0 14926 68 0 0 25 0 1 0 156813238 303759360 72512 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 74160 72512 297 55 0 73052 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 296640 [startup+160.094 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=203920/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=320584 CPUtime=159.94 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 79121 0 10 0 15922 72 0 0 25 0 1 0 156813238 328278016 78437 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 80146 78437 297 55 0 79038 0 Current children cumulated CPU time (s) 159.94 Current children cumulated vsize (Kb) 320584 [startup+170.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=184848/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=339844 CPUtime=169.95 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 83975 0 10 0 16919 76 0 0 25 0 1 0 156813238 348000256 83206 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 84961 83206 297 55 0 83853 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 339844 [startup+180.106 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=157840/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=366908 CPUtime=179.94 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 90728 0 10 0 17911 83 0 0 25 0 1 0 156813238 375713792 89949 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 91727 89949 297 55 0 90619 0 Current children cumulated CPU time (s) 179.94 Current children cumulated vsize (Kb) 366908 [startup+190.112 s] /proc/loadavg: 1.00 1.00 0.98 3/64 10135 /proc/meminfo: memFree=136400/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=388288 CPUtime=189.95 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 96085 0 10 0 18906 89 0 0 25 0 1 0 156813238 397606912 95295 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 97072 95295 297 55 0 95964 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 388288 [startup+200.118 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 /proc/meminfo: memFree=121296/2055920 swapFree=4152732/4192956 [pid=10135] ppid=10133 vsize=403524 CPUtime=199.95 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 99867 0 10 0 19902 93 0 0 25 0 1 0 156813238 413208576 99065 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 100881 99065 297 55 0 99773 0 Current children cumulated CPU time (s) 199.95 Current children cumulated vsize (Kb) 403524 [startup+210.124 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10135 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 1551440 [startup+1771.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16080/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1555136 CPUtime=1770.52 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394070 0 10 0 176639 413 0 0 25 0 1 0 156813238 1592459264 383875 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 388784 383875 297 55 0 387676 0 Current children cumulated CPU time (s) 1770.52 Current children cumulated vsize (Kb) 1555136 [startup+1781.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15504/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1558020 CPUtime=1780.53 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394816 0 10 0 177639 414 0 0 25 0 1 0 156813238 1595412480 384459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 389505 384459 297 55 0 388397 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 1558020 [startup+1782.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=14992/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1558548 CPUtime=1781.53 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394942 0 10 0 177739 414 0 0 25 0 1 0 156813238 1595953152 384585 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 389637 384585 297 55 0 388529 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 1558548 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=14864/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1558680 CPUtime=1782.53 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394973 0 10 0 177839 414 0 0 25 0 1 0 156813238 1596088320 384616 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 389670 384616 297 55 0 388562 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 1558680 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=14864/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1558680 CPUtime=1783.54 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394973 0 10 0 177940 414 0 0 25 0 1 0 156813238 1596088320 384616 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 389670 384616 297 55 0 388562 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 1558680 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16336/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1558680 CPUtime=1784.54 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394985 0 10 0 178040 414 0 0 25 0 1 0 156813238 1596088320 384628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 389670 384628 297 55 0 388562 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 1558680 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15952/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1559960 CPUtime=1785.55 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395385 0 10 0 178140 415 0 0 25 0 1 0 156813238 1597399040 384706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 389990 384706 297 55 0 388882 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 1559960 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15312/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1560620 CPUtime=1786.56 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395557 0 10 0 178241 415 0 0 25 0 1 0 156813238 1598074880 384878 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390155 384878 297 55 0 389047 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 1560620 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16272/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1561280 CPUtime=1787.56 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395705 0 10 0 178341 415 0 0 25 0 1 0 156813238 1598750720 385026 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390320 385026 297 55 0 389212 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 1561280 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16016/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1561544 CPUtime=1788.56 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395767 0 10 0 178441 415 0 0 25 0 1 0 156813238 1599021056 385088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390386 385088 297 55 0 389278 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 1561544 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15440/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1562072 CPUtime=1789.57 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395913 0 10 0 178541 416 0 0 25 0 1 0 156813238 1599561728 385234 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390518 385234 297 55 0 389410 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 1562072 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15376/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1562204 CPUtime=1790.58 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395933 0 10 0 178642 416 0 0 25 0 1 0 156813238 1599696896 385254 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390551 385254 297 55 0 389443 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 1562204 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15120/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1562468 CPUtime=1791.58 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395996 0 10 0 178742 416 0 0 25 0 1 0 156813238 1599967232 385317 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390617 385317 297 55 0 389509 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 1562468 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=14928/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1562600 CPUtime=1792.59 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396041 0 10 0 178843 416 0 0 25 0 1 0 156813238 1600102400 385362 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390650 385362 297 55 0 389542 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 1562600 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16272/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1562864 CPUtime=1793.59 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396090 0 10 0 178943 416 0 0 25 0 1 0 156813238 1600372736 385411 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390716 385411 297 55 0 389608 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 1562864 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16208/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1562864 CPUtime=1794.59 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396110 0 10 0 179043 416 0 0 25 0 1 0 156813238 1600372736 385431 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390716 385431 297 55 0 389608 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 1562864 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=16016/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1563128 CPUtime=1795.6 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396159 0 10 0 179144 416 0 0 25 0 1 0 156813238 1600643072 385480 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390782 385480 297 55 0 389674 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 1563128 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15440/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1563656 CPUtime=1796.6 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396298 0 10 0 179244 416 0 0 25 0 1 0 156813238 1601183744 385619 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390914 385619 297 55 0 389806 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 1563656 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15120/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1563920 CPUtime=1797.6 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396375 0 10 0 179344 416 0 0 25 0 1 0 156813238 1601454080 385696 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 390980 385696 297 55 0 389872 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 1563920 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15888/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1564712 CPUtime=1798.61 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396563 0 10 0 179444 417 0 0 25 0 1 0 156813238 1602265088 385884 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 391178 385884 297 55 0 390070 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 1564712 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.98 2/64 10137 /proc/meminfo: memFree=15184/2055920 swapFree=4184084/4192956 [pid=10135] ppid=10133 vsize=1565372 CPUtime=1799.62 /proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396737 0 10 0 179545 417 0 0 25 0 1 0 156813238 1602940928 386058 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10135/statm: 391343 386058 297 55 0 390235 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 1565372 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.27 CPU user time (s): 1795.84 CPU system time (s): 4.43933 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (Kb): 1565372 The end
Begin job on node18 on Fri Jul 28 15:12:06 UTC 2006 FILE ID= 50308-1154099526 PBS_JOBID= 886059 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/50308-1154099526/instance-50308-1154099526.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-50308-1154099526 -o ROOT/results/node18/solver-50308-1154099526 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/50308-1154099526/instance-50308-1154099526.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363 RANDOM SEED= 699384834 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.236 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.236 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: 519648 kB Buffers: 36988 kB Cached: 1406152 kB SwapCached: 33956 kB Active: 304100 kB Inactive: 1178900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 519648 kB SwapTotal: 4192956 kB SwapFree: 4152732 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14556 kB Slab: 39280 kB Committed_AS: 630320 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 node18 on Fri Jul 28 15:42:07 UTC 2006