Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.01 | 1800.52 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb |
MD5SUM | 7b1cf6104f891053895193aa96c054c6 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.015997 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 900 |
Total number of constraints | 673 |
Number of constraints which are clauses | 624 |
Number of constraints which are cardinality constraints (but not clauses) | 49 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 25 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
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.06 c Initial problem consists of 900 variables and 673 constraints. 0.07 c Using non-optimization problem switches. 0.07 c No problem reductions applied in OPT. instance. 0.07 c preprocess terminated. Elapsed time: 0.054 0.07 c After prepocess the problem consists of 900 variables and 673 constraints. 0.09 c Restart #1 #Var: 900 LB: 0 @ 0.079 0.13 c Restart #2 #Var: 900 LB: 0 @ 0.12 0.20 c Restart #3 #Var: 900 LB: 0 @ 0.187 0.32 c Restart #4 #Var: 900 LB: 0 @ 0.31 0.51 c Restart #5 #Var: 900 LB: 0 @ 0.498 0.75 c Restart #6 #Var: 900 LB: 0 @ 0.739 1.04 c Restart #7 #Var: 900 LB: 0 @ 1.03 1.43 c Restart #8 #Var: 900 LB: 0 @ 1.416 1.84 c Restart #9 #Var: 900 LB: 0 @ 1.831 2.30 c Restart #10 #Var: 900 LB: 0 @ 2.283 2.85 c Restart #11 #Var: 900 LB: 0 @ 2.838 3.42 c Restart #12 #Var: 900 LB: 0 @ 3.407 4.06 c Restart #13 #Var: 900 LB: 0 @ 4.049 4.79 c Restart #14 #Var: 900 LB: 0 @ 4.778 5.56 c Restart #15 #Var: 900 LB: 0 @ 5.545 6.40 c Restart #16 #Var: 900 LB: 0 @ 6.391 7.41 c Restart #17 #Var: 900 LB: 0 @ 7.393 8.33 c Restart #18 #Var: 900 LB: 0 @ 8.314 9.36 c Restart #19 #Var: 900 LB: 0 @ 9.348 10.43 c Restart #20 #Var: 900 LB: 0 @ 10.406 11.58 c Restart #21 #Var: 900 LB: 0 @ 11.561 12.91 c Restart #22 #Var: 900 LB: 0 @ 12.893 14.23 c Restart #23 #Var: 900 LB: 0 @ 14.211 15.70 c Restart #24 #Var: 900 LB: 0 @ 15.684 17.19 c Restart #25 #Var: 900 LB: 0 @ 17.168 19.13 c Restart #26 #Var: 900 LB: 0 @ 19.106 21.20 c Restart #27 #Var: 900 LB: 0 @ 21.175 23.28 c Restart #28 #Var: 900 LB: 0 @ 23.257 25.09 c Restart #29 #Var: 900 LB: 0 @ 25.063 27.05 c Restart #30 #Var: 900 LB: 0 @ 27.031 29.17 c Restart #31 #Var: 900 LB: 0 @ 29.144 31.58 c Restart #32 #Var: 900 LB: 0 @ 31.552 34.12 c Restart #33 #Var: 900 LB: 0 @ 34.095 36.79 c Restart #34 #Var: 900 LB: 0 @ 36.761 39.61 c Restart #35 #Var: 900 LB: 0 @ 39.583 42.64 c Restart #36 #Var: 900 LB: 0 @ 42.608 45.80 c Restart #37 #Var: 900 LB: 0 @ 45.776 49.35 c Restart #38 #Var: 900 LB: 0 @ 49.319 52.86 c Restart #39 #Var: 900 LB: 0 @ 52.832 56.83 c Restart #40 #Var: 900 LB: 0 @ 56.798 60.93 c Restart #41 #Var: 900 LB: 0 @ 60.9 65.26 c Restart #42 #Var: 900 LB: 0 @ 65.226 69.71 c Restart #43 #Var: 900 LB: 0 @ 69.679 74.46 c Restart #44 #Var: 900 LB: 0 @ 74.419 79.44 c Restart #45 #Var: 900 LB: 0 @ 79.402 84.37 c Restart #46 #Var: 900 LB: 0 @ 84.328 89.39 c Restart #47 #Var: 900 LB: 0 @ 89.351 94.72 c Restart #48 #Var: 900 LB: 0 @ 94.678 100.37 c Restart #49 #Var: 900 LB: 0 @ 100.32 106.22 c Restart #50 #Var: 900 LB: 0 @ 106.18 111.87 c Restart #51 #Var: 900 LB: 0 @ 111.83 117.95 c Restart #52 #Var: 900 LB: 0 @ 117.9 124.09 c Restart #53 #Var: 900 LB: 0 @ 124.04 130.29 c Restart #54 #Var: 900 LB: 0 @ 130.24 136.97 c Restart #55 #Var: 900 LB: 0 @ 136.91 143.82 c Restart #56 #Var: 900 LB: 0 @ 143.76 154.55 c Restart #57 #Var: 900 LB: 0 @ 154.49 161.61 c Restart #58 #Var: 900 LB: 0 @ 161.55 168.58 c Restart #59 #Var: 900 LB: 0 @ 168.51 176.07 c Restart #60 #Var: 900 LB: 0 @ 176.01 184.26 c Restart #61 #Var: 900 LB: 0 @ 184.19 192.45 c Restart #62 #Var: 900 LB: 0 @ 192.38 200.58 c Restart #63 #Var: 900 LB: 0 @ 200.51 209.65 c Restart #64 #Var: 900 LB: 0 @ 209.57 218.48 c Restart #65 #Var: 900 LB: 0 @ 218.4 227.71 c Restart #66 #Var: 900 LB: 0 @ 227.63 237.11 c Restart #67 #Var: 900 LB: 0 @ 237.03 250.34 c Restart #68 #Var: 900 LB: 0 @ 250.26 260.41 c Restart #69 #Var: 900 LB: 0 @ 260.32 269.78 c Restart #70 #Var: 900 LB: 0 @ 269.69 282.80 c Restart #71 #Var: 900 LB: 0 @ 282.71 292.79 c Restart #72 #Var: 900 LB: 0 @ 292.69 304.81 c Restart #73 #Var: 900 LB: 0 @ 304.71 316.25 c Restart #74 #Var: 900 LB: 0 @ 316.14 328.35 c Restart #75 #Var: 900 LB: 0 @ 328.25 340.39 c Restart #76 #Var: 900 LB: 0 @ 340.28 352.07 c Restart #77 #Var: 900 LB: 0 @ 351.96 364.75 c Restart #78 #Var: 900 LB: 0 @ 364.63 378.59 c Restart #79 #Var: 900 LB: 0 @ 378.47 392.20 c Restart #80 #Var: 900 LB: 0 @ 392.08 405.98 c Restart #81 #Var: 900 LB: 0 @ 405.86 420.82 c Restart #82 #Var: 900 LB: 0 @ 420.69 440.50 c Restart #83 #Var: 900 LB: 0 @ 440.36 457.43 c Restart #84 #Var: 900 LB: 0 @ 457.29 472.57 c Restart #85 #Var: 900 LB: 0 @ 472.43 490.25 c Restart #86 #Var: 900 LB: 0 @ 490.1 506.83 c Restart #87 #Var: 900 LB: 0 @ 506.67 522.15 c Restart #88 #Var: 900 LB: 0 @ 521.99 539.65 c Restart #89 #Var: 900 LB: 0 @ 539.48 556.91 c Restart #90 #Var: 900 LB: 0 @ 556.74 574.52 c Restart #91 #Var: 900 LB: 0 @ 574.34 592.12 c Restart #92 #Var: 900 LB: 0 @ 591.95 611.52 c Restart #93 #Var: 900 LB: 0 @ 611.34 634.84 c Restart #94 #Var: 900 LB: 0 @ 634.65 653.34 c Restart #95 #Var: 900 LB: 0 @ 653.14 671.48 c Restart #96 #Var: 900 LB: 0 @ 671.28 691.10 c Restart #97 #Var: 900 LB: 0 @ 690.9 710.79 c Restart #98 #Var: 900 LB: 0 @ 710.58 728.59 c Restart #99 #Var: 900 LB: 0 @ 728.37 748.71 c Restart #100 #Var: 900 LB: 0 @ 748.49 769.68 c Restart #101 #Var: 900 LB: 0 @ 769.46 790.16 c Restart #102 #Var: 900 LB: 0 @ 789.93 811.75 c Restart #103 #Var: 900 LB: 0 @ 811.51 832.49 c Restart #104 #Var: 900 LB: 0 @ 832.24 853.73 c Restart #105 #Var: 900 LB: 0 @ 853.48 874.90 c Restart #106 #Var: 900 LB: 0 @ 874.64 897.06 c Restart #107 #Var: 900 LB: 0 @ 896.8 919.90 c CHANGE Heuristic... 919.90 c Restart #0 #Var: 900 LB: 0 @ 919.64 919.96 c Restart #1 #Var: 900 LB: 0 @ 919.69 920.07 c Restart #2 #Var: 900 LB: 0 @ 919.8 920.20 c Restart #3 #Var: 900 LB: 0 @ 919.93 920.46 c Restart #4 #Var: 900 LB: 0 @ 920.19 920.71 c Restart #5 #Var: 900 LB: 0 @ 920.44 921.11 c Restart #6 #Var: 900 LB: 0 @ 920.84 921.60 c Restart #7 #Var: 900 LB: 0 @ 921.34 922.11 c Restart #8 #Var: 900 LB: 0 @ 921.84 922.61 c Restart #9 #Var: 900 LB: 0 @ 922.35 923.32 c Restart #10 #Var: 900 LB: 0 @ 923.05 924.15 c Restart #11 #Var: 900 LB: 0 @ 923.88 924.98 c Restart #12 #Var: 900 LB: 0 @ 924.71 925.93 c Restart #13 #Var: 900 LB: 0 @ 925.66 926.94 c Restart #14 #Var: 900 LB: 0 @ 926.67 928.07 c Restart #15 #Var: 900 LB: 0 @ 927.8 929.40 c Restart #16 #Var: 900 LB: 0 @ 929.13 930.74 c Restart #17 #Var: 900 LB: 0 @ 930.47 932.21 c Restart #18 #Var: 900 LB: 0 @ 931.93 933.49 c Restart #19 #Var: 900 LB: 0 @ 933.21 935.17 c Restart #20 #Var: 900 LB: 0 @ 934.9 937.00 c Restart #21 #Var: 900 LB: 0 @ 936.73 938.93 c Restart #22 #Var: 900 LB: 0 @ 938.66 940.70 c Restart #23 #Var: 900 LB: 0 @ 940.43 942.78 c Restart #24 #Var: 900 LB: 0 @ 942.5 944.63 c Restart #25 #Var: 900 LB: 0 @ 944.35 946.97 c Restart #26 #Var: 900 LB: 0 @ 946.69 949.33 c Restart #27 #Var: 900 LB: 0 @ 949.05 951.83 c Restart #28 #Var: 900 LB: 0 @ 951.55 954.65 c Restart #29 #Var: 900 LB: 0 @ 954.37 957.53 c Restart #30 #Var: 900 LB: 0 @ 957.25 960.59 c Restart #31 #Var: 900 LB: 0 @ 960.31 963.66 c Restart #32 #Var: 900 LB: 0 @ 963.38 966.83 c Restart #33 #Var: 900 LB: 0 @ 966.54 970.04 c Restart #34 #Var: 900 LB: 0 @ 969.76 973.48 c Restart #35 #Var: 900 LB: 0 @ 973.19 976.53 c Restart #36 #Var: 900 LB: 0 @ 976.25 980.17 c Restart #37 #Var: 900 LB: 0 @ 979.89 983.90 c Restart #38 #Var: 900 LB: 0 @ 983.61 987.82 c Restart #39 #Var: 900 LB: 0 @ 987.53 991.77 c Restart #40 #Var: 900 LB: 0 @ 991.48 996.31 c Restart #41 #Var: 900 LB: 0 @ 996.02 1000.97 c Restart #42 #Var: 900 LB: 0 @ 1000.7 1005.50 c Restart #43 #Var: 900 LB: 0 @ 1005.2 1010.57 c Restart #44 #Var: 900 LB: 0 @ 1010.3 1016.59 c Restart #45 #Var: 900 LB: 0 @ 1016.3 1022.17 c Restart #46 #Var: 900 LB: 0 @ 1021.9 1027.37 c Restart #47 #Var: 900 LB: 0 @ 1027.1 1032.89 c Restart #48 #Var: 900 LB: 0 @ 1032.6 1039.81 c Restart #49 #Var: 900 LB: 0 @ 1039.5 1045.68 c Restart #50 #Var: 900 LB: 0 @ 1045.4 1052.99 c Restart #51 #Var: 900 LB: 0 @ 1052.7 1059.39 c Restart #52 #Var: 900 LB: 0 @ 1059.1 1066.00 c Restart #53 #Var: 900 LB: 0 @ 1065.7 1073.64 c Restart #54 #Var: 900 LB: 0 @ 1073.3 1081.08 c Restart #55 #Var: 900 LB: 0 @ 1080.8 1088.39 c Restart #56 #Var: 900 LB: 0 @ 1088.1 1095.71 c Restart #57 #Var: 900 LB: 0 @ 1095.4 1103.41 c Restart #58 #Var: 900 LB: 0 @ 1103.1 1111.05 c Restart #59 #Var: 900 LB: 0 @ 1110.7 1120.24 c Restart #60 #Var: 900 LB: 0 @ 1119.9 1128.65 c Restart #61 #Var: 900 LB: 0 @ 1128.3 1137.22 c Restart #62 #Var: 900 LB: 0 @ 1136.9 1147.23 c Restart #63 #Var: 900 LB: 0 @ 1146.9 1156.22 c Restart #64 #Var: 900 LB: 0 @ 1155.9 1165.47 c Restart #65 #Var: 900 LB: 0 @ 1165.1 1174.71 c Restart #66 #Var: 900 LB: 0 @ 1174.4 1184.56 c Restart #67 #Var: 900 LB: 0 @ 1184.2 1195.52 c Restart #68 #Var: 900 LB: 0 @ 1195.2 1204.72 c Restart #69 #Var: 900 LB: 0 @ 1204.4 1215.41 c Restart #70 #Var: 900 LB: 0 @ 1215.1 1226.47 c Restart #71 #Var: 900 LB: 0 @ 1226.1 1237.96 c Restart #72 #Var: 900 LB: 0 @ 1237.6 1249.36 c Restart #73 #Var: 900 LB: 0 @ 1249 1263.27 c Restart #74 #Var: 900 LB: 0 @ 1262.9 1274.53 c Restart #75 #Var: 900 LB: 0 @ 1274.2 1286.79 c Restart #76 #Var: 900 LB: 0 @ 1286.4 1298.86 c Restart #77 #Var: 900 LB: 0 @ 1298.5 1312.37 c Restart #78 #Var: 900 LB: 0 @ 1312 1324.60 c Restart #79 #Var: 900 LB: 0 @ 1324.2 1340.73 c Restart #80 #Var: 900 LB: 0 @ 1340.3 1355.21 c Restart #81 #Var: 900 LB: 0 @ 1354.8 1369.49 c Restart #82 #Var: 900 LB: 0 @ 1369.1 1384.37 c Restart #83 #Var: 900 LB: 0 @ 1384 1399.66 c Restart #84 #Var: 900 LB: 0 @ 1399.3 1414.47 c Restart #85 #Var: 900 LB: 0 @ 1414.1 1431.42 c Restart #86 #Var: 900 LB: 0 @ 1431 1450.73 c Restart #87 #Var: 900 LB: 0 @ 1450.3 1468.01 c Restart #88 #Var: 900 LB: 0 @ 1467.6 1484.13 c Restart #89 #Var: 900 LB: 0 @ 1483.7 1502.02 c Restart #90 #Var: 900 LB: 0 @ 1501.6 1519.02 c Restart #91 #Var: 900 LB: 0 @ 1518.6 1537.16 c Restart #92 #Var: 900 LB: 0 @ 1536.7 1559.00 c Restart #93 #Var: 900 LB: 0 @ 1558.6 1578.04 c Restart #94 #Var: 900 LB: 0 @ 1577.6 1600.63 c Restart #95 #Var: 900 LB: 0 @ 1600.2 1622.23 c Restart #96 #Var: 900 LB: 0 @ 1621.8 1643.47 c Restart #97 #Var: 900 LB: 0 @ 1643 1665.39 c Restart #98 #Var: 900 LB: 0 @ 1664.9 1688.64 c Restart #99 #Var: 900 LB: 0 @ 1688.2 1714.40 c Restart #100 #Var: 900 LB: 0 @ 1713.9 1736.12 c Restart #101 #Var: 900 LB: 0 @ 1735.6 1760.25 c Restart #102 #Var: 900 LB: 0 @ 1759.8 1788.14 c Restart #103 #Var: 900 LB: 0 @ 1787.6 1800.51 s UNKNOWN 1800.51 c Exit Code: 0 1800.51 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/node35/watcher-39677-1149232575 -o ROOT/results/node35/solver-39677-1149232575 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/39677-1149232575/instance-39677-1149232575.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.76 0.91 0.89 2/64 27558 /proc/meminfo: memFree=1293136/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=3224 CPUtime=0 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 55 0 0 0 0 0 0 0 19 0 1 0 188921388 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0 /proc/27558/statm: 806 39 29 55 0 40 0 [startup+10.0023 s] /proc/loadavg: 0.80 0.91 0.89 2/64 27558 /proc/meminfo: memFree=1285792/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=11940 CPUtime=9.97 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 2240 0 0 0 995 2 0 0 25 0 1 0 188921388 12226560 2155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 2985 2155 297 55 0 1877 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 11940 [startup+20.0095 s] /proc/loadavg: 0.83 0.92 0.89 2/64 27558 /proc/meminfo: memFree=1284512/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=13200 CPUtime=19.98 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 2559 0 0 0 1993 5 0 0 25 0 1 0 188921388 13516800 2474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 3300 2474 297 55 0 2192 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 13200 [startup+30.0157 s] /proc/loadavg: 0.85 0.92 0.89 2/64 27558 /proc/meminfo: memFree=1283488/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=14240 CPUtime=29.98 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 2821 0 0 0 2991 7 0 0 25 0 1 0 188921388 14581760 2736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 3560 2736 297 55 0 2452 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 14240 [startup+40.0209 s] /proc/loadavg: 0.88 0.92 0.90 2/64 27558 /proc/meminfo: memFree=1280992/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=16676 CPUtime=39.98 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 3442 0 0 0 3989 9 0 0 25 0 1 0 188921388 17076224 3357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 4169 3357 297 55 0 3061 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16676 [startup+50.0271 s] /proc/loadavg: 0.89 0.92 0.90 2/64 27558 /proc/meminfo: memFree=1279264/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=18380 CPUtime=49.99 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 3862 0 0 0 4988 11 0 0 25 0 1 0 188921388 18821120 3777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 4595 3777 297 55 0 3487 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 18380 [startup+60.0333 s] /proc/loadavg: 0.91 0.92 0.90 2/64 27558 /proc/meminfo: memFree=1278176/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=19568 CPUtime=59.99 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4135 0 0 0 5986 13 0 0 25 0 1 0 188921388 20037632 4050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 4892 4050 297 55 0 3784 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 19568 [startup+70.0395 s] /proc/loadavg: 0.92 0.93 0.90 2/64 27558 /proc/meminfo: memFree=1277280/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=20340 CPUtime=69.99 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4359 0 0 0 6985 14 0 0 25 0 1 0 188921388 20828160 4274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5085 4274 297 55 0 3977 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 20340 [startup+80.0457 s] /proc/loadavg: 0.93 0.93 0.90 2/64 27558 /proc/meminfo: memFree=1276832/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=20840 CPUtime=80 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4479 0 0 0 7983 17 0 0 25 0 1 0 188921388 21340160 4394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5210 4394 297 55 0 4102 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 20840 [startup+90.052 s] /proc/loadavg: 0.94 0.93 0.90 2/64 27558 /proc/meminfo: memFree=1276448/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=21204 CPUtime=90 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4567 0 0 0 8981 19 0 0 25 0 1 0 188921388 21712896 4482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5301 4482 297 55 0 4193 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 21204 [startup+100.057 s] /proc/loadavg: 0.95 0.93 0.90 2/64 27558 /proc/meminfo: memFree=1275872/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=21760 CPUtime=100.01 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4710 0 0 0 9980 21 0 0 25 0 1 0 188921388 22282240 4625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5440 4625 297 55 0 4332 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 21760 [startup+110.063 s] /proc/loadavg: 0.96 0.93 0.90 2/64 27558 /proc/meminfo: memFree=1275616/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=22124 CPUtime=110.01 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4782 0 0 0 10979 22 0 0 25 0 1 0 188921388 22654976 4697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5531 4697 297 55 0 4423 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 22124 [startup+120.07 s] /proc/loadavg: 0.97 0.93 0.90 2/64 27558 /proc/meminfo: memFree=1275168/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=22520 CPUtime=120.01 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4882 0 0 0 11978 23 0 0 25 0 1 0 188921388 23060480 4797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5630 4797 297 55 0 4522 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 22520 [startup+130.076 s] /proc/loadavg: 0.97 0.94 0.90 2/64 27558 /proc/meminfo: memFree=1274784/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=22840 CPUtime=130.02 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4985 0 0 0 12976 26 0 0 25 0 1 0 188921388 23388160 4900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5710 4900 297 55 0 4602 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 22840 [startup+140.082 s] /proc/loadavg: 0.97 0.94 0.91 2/64 27558 /proc/meminfo: memFree=1274336/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=23368 CPUtime=140.01 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5100 0 0 0 13974 27 0 0 25 0 1 0 188921388 23928832 5015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5842 5015 297 55 0 4734 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 23368 [startup+150.088 s] /proc/loadavg: 0.98 0.94 0.91 2/64 27558 /proc/meminfo: memFree=1273952/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=23764 CPUtime=150.02 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5196 0 0 0 14974 28 0 0 25 0 1 0 188921388 24334336 5111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 5941 5111 297 55 0 4833 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 23764 [startup+160.093 s] /proc/loadavg: 0.98 0.94 0.91 2/64 27558 /proc/meminfo: memFree=1273632/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=24028 CPUtime=160.02 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5262 0 0 0 15973 29 0 0 25 0 1 0 188921388 24604672 5177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1896535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 6007 5177 297 55 0 4899 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 24028 [startup+170.1 s] /proc/loadavg: 0.98 0.94 0.91 2/64 27558 /proc/meminfo: memFree=1273376/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=24252 CPUtime=170.03 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5325 0 0 0 16972 31 0 0 25 0 1 0 188921388 24834048 5240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 6063 5240 297 55 0 4955 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 24252 [startup+180.106 s] /proc/loadavg: 0.98 0.94 0.91 2/64 27558 /proc/meminfo: memFree=1273120/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=24644 CPUtime=180.03 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5402 0 0 0 17971 32 0 0 25 0 1 0 188921388 25235456 5317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 6161 5317 297 55 0 5053 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 24644 [startup+190.112 s] /proc/loadavg: 0.99 0.95 0.91 2/64 27558 /proc/meminfo: memFree=1272736/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=24908 CPUtime=190.03 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5493 0 0 0 18970 33 0 0 25 0 1 0 188921388 25505792 5408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 6227 5408 297 55 0 5119 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 24908 [startup+200.118 s] /proc/loadavg: 0.99 0.95 0.91 2/64 27558 /proc/meminfo: memFree=1272480/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=25172 CPUtime=200.04 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5561 0 0 0 19969 35 0 0 25 0 1 0 188921388 25776128 5476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 6293 5476 297 55 0 5185 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 25172 [startup+210.125 s] /proc/loadavg: 0.99 0.95 0.91 2/64 27558 /proc/meminfo: memFree=1272224/2055920 swapFree=4180884/4192956 ################ # More data... # ################ /proc/27558/statm: 12327 11501 297 55 0 11219 0 Current children cumulated CPU time (s) 1760.66 Current children cumulated vsize (Kb) 49308 [startup+1771.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247968/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49308 CPUtime=1770.67 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11586 0 0 0 176829 238 0 0 25 0 1 0 188921388 50491392 11501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12327 11501 297 55 0 11219 0 Current children cumulated CPU time (s) 1770.67 Current children cumulated vsize (Kb) 49308 [startup+1781.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247904/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1780.67 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11606 0 0 0 177828 239 0 0 25 0 1 0 188921388 50626560 11521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11521 297 55 0 11252 0 Current children cumulated CPU time (s) 1780.67 Current children cumulated vsize (Kb) 49440 [startup+1782.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1781.68 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11616 0 0 0 177929 239 0 0 25 0 1 0 188921388 50626560 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11531 297 55 0 11252 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (Kb) 49440 [startup+1783.19 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1782.68 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11616 0 0 0 178029 239 0 0 25 0 1 0 188921388 50626560 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11531 297 55 0 11252 0 Current children cumulated CPU time (s) 1782.68 Current children cumulated vsize (Kb) 49440 [startup+1784.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1783.68 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11618 0 0 0 178129 239 0 0 25 0 1 0 188921388 50626560 11533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11533 297 55 0 11252 0 Current children cumulated CPU time (s) 1783.68 Current children cumulated vsize (Kb) 49440 [startup+1785.2 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1784.69 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11618 0 0 0 178230 239 0 0 25 0 1 0 188921388 50626560 11533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11533 297 55 0 11252 0 Current children cumulated CPU time (s) 1784.69 Current children cumulated vsize (Kb) 49440 [startup+1786.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1785.69 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11619 0 0 0 178330 239 0 0 25 0 1 0 188921388 50626560 11534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11534 297 55 0 11252 0 Current children cumulated CPU time (s) 1785.69 Current children cumulated vsize (Kb) 49440 [startup+1787.21 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1786.7 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11619 0 0 0 178431 239 0 0 25 0 1 0 188921388 50626560 11534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11534 297 55 0 11252 0 Current children cumulated CPU time (s) 1786.7 Current children cumulated vsize (Kb) 49440 [startup+1788.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1787.7 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178531 239 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1787.7 Current children cumulated vsize (Kb) 49440 [startup+1789.22 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1788.71 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178631 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1788.71 Current children cumulated vsize (Kb) 49440 [startup+1790.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1789.72 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178732 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1789.72 Current children cumulated vsize (Kb) 49440 [startup+1791.23 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1790.72 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178832 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1790.72 Current children cumulated vsize (Kb) 49440 [startup+1792.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1791.73 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178933 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1791.73 Current children cumulated vsize (Kb) 49440 [startup+1793.24 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1792.73 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179033 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1792.73 Current children cumulated vsize (Kb) 49440 [startup+1794.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1793.74 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179134 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1793.74 Current children cumulated vsize (Kb) 49440 [startup+1795.25 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1794.74 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179234 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (Kb) 49440 [startup+1796.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1795.74 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179334 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11535 297 55 0 11252 0 Current children cumulated CPU time (s) 1795.74 Current children cumulated vsize (Kb) 49440 [startup+1797.26 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1796.75 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11625 0 0 0 179435 240 0 0 25 0 1 0 188921388 50626560 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11540 297 55 0 11252 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (Kb) 49440 [startup+1798.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1797.75 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11625 0 0 0 179535 240 0 0 25 0 1 0 188921388 50626560 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11540 297 55 0 11252 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (Kb) 49440 [startup+1799.27 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1798.75 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11625 0 0 0 179635 240 0 0 25 0 1 0 188921388 50626560 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134554127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11540 297 55 0 11252 0 Current children cumulated CPU time (s) 1798.75 Current children cumulated vsize (Kb) 49440 [startup+1800.28 s] /proc/loadavg: 0.99 0.97 0.91 2/64 27560 /proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956 [pid=27558] ppid=27556 vsize=49440 CPUtime=1799.76 /proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11626 0 0 0 179735 241 0 0 25 0 1 0 188921388 50626560 11541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27558/statm: 12360 11541 297 55 0 11252 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (Kb) 49440 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.01 CPU user time (s): 1797.59 CPU system time (s): 2.41963 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (Kb): 49440
Begin job on node35 on Fri Jun 2 07:16:15 UTC 2006 FILE ID= 39677-1149232575 PBS_JOBID= 296554 BENCH NAME= ROOT/tmp/node35/39677-1149232575/instance-39677-1149232575.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/39677-1149232575/instance-39677-1149232575.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-39677-1149232575 -o ROOT/results/node35/solver-39677-1149232575 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/39677-1149232575/instance-39677-1149232575.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 7b1cf6104f891053895193aa96c054c6 RANDOM SEED= 179911411 /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.210 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.210 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: 1293344 kB Buffers: 24500 kB Cached: 668772 kB SwapCached: 4000 kB Active: 118324 kB Inactive: 583856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1293344 kB SwapTotal: 4192956 kB SwapFree: 4180884 kB Dirty: 272 kB Writeback: 0 kB Mapped: 14924 kB Slab: 46384 kB Committed_AS: 241024 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Fri Jun 2 07:46:15 UTC 2006