0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sat Jul 11 20:45:05 2009
0.00/0.08 c 0 PID 12511
0.07/0.08 c 0 HOST node22.alineos.net
0.07/0.08 c 0 CONVERTING HOME/instance-2065130-1247337905.xml TO HOME/temp.csp
0.07/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2065130-1247337905.xml' 'HOME/temp.csp'
0.07/0.89 c 1 3 domains, 3351 variables, 9 predicates, 0 relations, 3157 constraints
0.07/0.93 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.93 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.93/1.01 c 1 Parsing HOME/temp.csp
1.02/1.13 c 1 parsed 6520 expressions
1.02/1.14 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.02/1.14 c 1 Converting to clausal form CSP
1.02/1.17 c 1 converted 652 (10%) expressions
1.02/1.18 c 1 converted 1304 (20%) expressions
1.02/1.19 c 1 converted 1956 (30%) expressions
1.02/1.19 c 1 converted 2608 (40%) expressions
1.02/1.20 c 1 converted 3260 (50%) expressions
1.22/1.38 c 1 converted 3912 (60%) expressions
1.41/1.52 c 2 converted 4564 (70%) expressions
1.52/1.60 c 2 converted 5216 (80%) expressions
1.61/1.73 c 2 converted 5868 (90%) expressions
1.72/1.80 c 2 converted 6520 (100%) expressions
1.72/1.81 c 2 CSP : 5801 integers, 244 booleans, 14170 clauses, largest domain size 20001
1.72/1.81 c 2 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.72/1.81 c 2 Propagation in CSP
15.38/15.64 c 16 39162694 values, 0 unsatisfiable literals, and 0 valid clauses are removed
15.38/15.65 c 16 CSP : 5801 integers, 244 booleans, 14170 clauses, largest domain size 20001
15.38/15.65 c 16 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
15.38/15.66 c 16 Simplifing CSP by introducing new Boolean variables
15.38/15.69 c 16 CSP : 5801 integers, 5226 booleans, 19152 clauses, largest domain size 20001
15.38/15.69 c 16 Heap : 10 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
15.47/15.79 c 16 Encoding CSP to SAT : HOME/temp.cnf
15.57/15.82 c 16 581 (10%) CSP integer variables are encoded (8368 clauses, 106645 bytes)
16.27/16.52 c 17 1161 (20%) CSP integer variables are encoded (525100 clauses, 8705811 bytes)
16.36/16.64 c 17 1741 (30%) CSP integer variables are encoded (616288 clauses, 10256007 bytes)
17.54/17.87 c 18 2321 (40%) CSP integer variables are encoded (1516198 clauses, 26588098 bytes)
17.74/18.02 c 18 2901 (50%) CSP integer variables are encoded (1624158 clauses, 28639338 bytes)
17.74/18.03 c 18 3481 (60%) CSP integer variables are encoded (1624158 clauses, 28639338 bytes)
17.93/18.23 c 18 4061 (70%) CSP integer variables are encoded (1774128 clauses, 31488768 bytes)
17.93/18.30 c 18 4641 (80%) CSP integer variables are encoded (1824118 clauses, 32438578 bytes)
18.34/18.70 c 19 5221 (90%) CSP integer variables are encoded (2124078 clauses, 38137818 bytes)
18.34/18.70 c 19 5801 (100%) CSP integer variables are encoded (2124078 clauses, 38137818 bytes)
26.42/26.85 c 27 1916 (10%) CSP clauses are encoded (6610808 clauses, 127541414 bytes)
26.42/26.86 c 27 3831 (20%) CSP clauses are encoded (6611385 clauses, 127552044 bytes)
27.21/27.65 c 28 5746 (30%) CSP clauses are encoded (7092147 clauses, 137166970 bytes)
27.50/27.98 c 28 7661 (40%) CSP clauses are encoded (7292678 clauses, 141227019 bytes)
27.70/28.19 c 28 9576 (50%) CSP clauses are encoded (7413348 clauses, 143670058 bytes)
27.70/28.20 c 28 11492 (60%) CSP clauses are encoded (7414191 clauses, 143686850 bytes)
28.00/28.43 c 28 13407 (70%) CSP clauses are encoded (7554989 clauses, 146582682 bytes)
30.07/30.55 c 31 15322 (80%) CSP clauses are encoded (8815705 clauses, 173356747 bytes)
30.07/30.57 c 31 17237 (90%) CSP clauses are encoded (8816270 clauses, 173367585 bytes)
30.16/30.61 c 31 19152 (100%) CSP clauses are encoded (8832859 clauses, 173826609 bytes)
30.16/30.61 c 31 19152 CSP clauses encoded
30.16/30.61 c 31 Writing map file : HOME/temp.map
30.16/30.63 c 31 Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
30.16/30.63 c 31 SAT : 2130742 SAT variables, 8832859 SAT clauses, 173826609 bytes
30.16/30.63 c 31 Heap : 8 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
30.16/30.68 c 31 SOLVING HOME/temp.cnf
30.16/30.68 c 31 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
103.81/104.49 c 105 DECODING HOME/temp.out WITH HOME/temp.map
103.81/104.49 c 105 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
103.92/104.57 c 105 Decoding HOME/temp.out
106.01/106.70 s SATISFIABLE
106.11/106.80 v 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1
106.18/106.80 c 107 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
106.18/106.85 c 107 CPU 106.2 (0.06 0.02 68.37 37.75)
106.18/106.85 c 107 END Sat Jul 11 20:46:52 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065130-1247337905/watcher-2065130-1247337905 -o /tmp/evaluation-result-2065130-1247337905/solver-2065130-1247337905 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2065130-1247337905.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 2.29 2.14 4/74 12511
/proc/meminfo: memFree=739056/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=18576 CPUtime=0
/proc/12511/stat : 12511 (runsolver) R 12509 12511 12382 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 20856992 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12511/statm: 4644 284 249 26 0 2626 0
[startup+0.0813869 s]
/proc/loadavg: 2.23 2.29 2.14 4/74 12511
/proc/meminfo: memFree=739056/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16740 CPUtime=0.07
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1152 0 0 0 5 2 0 0 18 0 1 0 20856992 17141760 1107 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4185 1107 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.102233 s]
/proc/loadavg: 2.23 2.29 2.14 4/74 12511
/proc/meminfo: memFree=739056/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.07
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.302259 s]
/proc/loadavg: 2.23 2.29 2.14 4/74 12511
/proc/meminfo: memFree=739056/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.07
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.70232 s]
/proc/loadavg: 2.23 2.29 2.14 4/74 12511
/proc/meminfo: memFree=739056/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.07
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50144 s]
/proc/loadavg: 2.23 2.29 2.14 3/85 12533
/proc/meminfo: memFree=727512/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.87
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1309 7259 0 1 5 2 76 4 15 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
[pid=12524] ppid=12511 vsize=5356 CPUtime=0
/proc/12524/stat : 12524 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20857085 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12524/statm: 1339 233 193 169 0 50 0
[pid=12525] ppid=12524 vsize=868656 CPUtime=0.54
/proc/12525/stat : 12525 (java) S 12524 12511 12382 0 -1 0 6120 0 1 0 52 2 0 0 19 0 9 0 20857085 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12525/statm: 217164 5511 1855 9 0 211669 0
[pid=12525/tid=12526] ppid=12524 vsize=868656 CPUtime=0.31
/proc/12525/task/12526/stat : 12526 (java) R 12524 12511 12382 0 -1 64 2665 0 1 0 31 0 0 0 21 0 9 0 20857086 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12527] ppid=12524 vsize=868656 CPUtime=0.06
/proc/12525/task/12527/stat : 12527 (java) R 12524 12511 12382 0 -1 64 1282 0 0 0 6 0 0 0 16 0 9 0 20857087 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 102527209 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12528] ppid=12524 vsize=868656 CPUtime=0
/proc/12525/task/12528/stat : 12528 (java) S 12524 12511 12382 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 20857087 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12529] ppid=12524 vsize=868656 CPUtime=0
/proc/12525/task/12529/stat : 12529 (java) S 12524 12511 12382 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 20857087 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12530] ppid=12524 vsize=868656 CPUtime=0
/proc/12525/task/12530/stat : 12530 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20857089 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12531] ppid=12524 vsize=868656 CPUtime=0.15
/proc/12525/task/12531/stat : 12531 (java) S 12524 12511 12382 0 -1 64 1479 0 0 0 15 0 0 0 16 0 9 0 20857089 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12532] ppid=12524 vsize=868656 CPUtime=0
/proc/12525/task/12532/stat : 12532 (java) S 12524 12511 12382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20857089 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12533] ppid=12524 vsize=868656 CPUtime=0
/proc/12525/task/12533/stat : 12533 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20857089 889503744 5511 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890880
[startup+3.10267 s]
/proc/loadavg: 2.23 2.29 2.14 3/85 12533
/proc/meminfo: memFree=706328/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.87
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1310 7259 0 1 5 2 76 4 15 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
[pid=12524] ppid=12511 vsize=5356 CPUtime=0
/proc/12524/stat : 12524 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20857085 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12524/statm: 1339 233 193 169 0 50 0
[pid=12525] ppid=12524 vsize=868592 CPUtime=2.13
/proc/12525/stat : 12525 (java) S 12524 12511 12382 0 -1 0 8581 0 1 0 207 6 0 0 19 0 9 0 20857085 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12525/statm: 217148 7604 2566 9 0 211653 0
[pid=12525/tid=12526] ppid=12524 vsize=868592 CPUtime=1.68
/proc/12525/task/12526/stat : 12526 (java) R 12524 12511 12382 0 -1 64 2882 0 1 0 167 1 0 0 25 0 9 0 20857086 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4126556755 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12527] ppid=12524 vsize=868592 CPUtime=0.25
/proc/12525/task/12527/stat : 12527 (java) S 12524 12511 12382 0 -1 64 3513 0 0 0 23 2 0 0 16 0 9 0 20857087 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12528] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12528/stat : 12528 (java) S 12524 12511 12382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20857087 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12529] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12529/stat : 12529 (java) S 12524 12511 12382 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 20857087 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12530] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12530/stat : 12530 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20857089 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12531] ppid=12524 vsize=868592 CPUtime=0.16
/proc/12525/task/12531/stat : 12531 (java) S 12524 12511 12382 0 -1 64 1487 0 0 0 16 0 0 0 16 0 9 0 20857089 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12532] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12532/stat : 12532 (java) S 12524 12511 12382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20857089 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12533] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12533/stat : 12533 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20857089 889438208 7604 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890816
[startup+6.30113 s]
/proc/loadavg: 2.21 2.29 2.13 3/85 12533
/proc/meminfo: memFree=692184/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.87
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1310 7259 0 1 5 2 76 4 15 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
[pid=12524] ppid=12511 vsize=5356 CPUtime=0
/proc/12524/stat : 12524 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20857085 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12524/statm: 1339 233 193 169 0 50 0
[pid=12525] ppid=12524 vsize=868592 CPUtime=5.3
/proc/12525/stat : 12525 (java) S 12524 12511 12382 0 -1 0 9071 0 1 0 519 11 0 0 19 0 9 0 20857085 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12525/statm: 217148 7611 2566 9 0 211653 0
[pid=12525/tid=12526] ppid=12524 vsize=868592 CPUtime=4.67
/proc/12525/task/12526/stat : 12526 (java) R 12524 12511 12382 0 -1 64 3365 0 1 0 464 3 0 0 25 0 9 0 20857086 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4126896900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12527] ppid=12524 vsize=868592 CPUtime=0.43
/proc/12525/task/12527/stat : 12527 (java) S 12524 12511 12382 0 -1 64 3520 0 0 0 38 5 0 0 16 0 9 0 20857087 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12528] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12528/stat : 12528 (java) S 12524 12511 12382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20857087 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12529] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12529/stat : 12529 (java) S 12524 12511 12382 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 20857087 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12530] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12530/stat : 12530 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20857089 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12531] ppid=12524 vsize=868592 CPUtime=0.16
/proc/12525/task/12531/stat : 12531 (java) S 12524 12511 12382 0 -1 64 1487 0 0 0 16 0 0 0 16 0 9 0 20857089 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12532] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12532/stat : 12532 (java) S 12524 12511 12382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20857089 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12533] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12533/stat : 12533 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20857089 889438208 7611 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 890816
[startup+12.702 s]
/proc/loadavg: 2.19 2.28 2.13 3/85 12533
/proc/meminfo: memFree=675096/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.87
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1310 7259 0 1 5 2 76 4 15 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
[pid=12524] ppid=12511 vsize=5356 CPUtime=0
/proc/12524/stat : 12524 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20857085 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12524/statm: 1339 233 193 169 0 50 0
[pid=12525] ppid=12524 vsize=868592 CPUtime=11.64
/proc/12525/stat : 12525 (java) S 12524 12511 12382 0 -1 0 10045 0 1 0 1144 20 0 0 19 0 9 0 20857085 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12525/statm: 217148 7623 2566 9 0 211653 0
[pid=12525/tid=12526] ppid=12524 vsize=868592 CPUtime=10.66
/proc/12525/task/12526/stat : 12526 (java) R 12524 12511 12382 0 -1 64 4327 0 1 0 1059 7 0 0 25 0 9 0 20857086 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4126899329 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12527] ppid=12524 vsize=868592 CPUtime=0.78
/proc/12525/task/12527/stat : 12527 (java) S 12524 12511 12382 0 -1 64 3532 0 0 0 67 11 0 0 16 0 9 0 20857087 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12528] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12528/stat : 12528 (java) S 12524 12511 12382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20857087 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12529] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12529/stat : 12529 (java) S 12524 12511 12382 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 20857087 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12530] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12530/stat : 12530 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20857089 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12531] ppid=12524 vsize=868592 CPUtime=0.16
/proc/12525/task/12531/stat : 12531 (java) S 12524 12511 12382 0 -1 64 1487 0 0 0 16 0 0 0 16 0 9 0 20857089 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12532] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12532/stat : 12532 (java) S 12524 12511 12382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20857089 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12533] ppid=12524 vsize=868592 CPUtime=0
/proc/12525/task/12533/stat : 12533 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20857089 889438208 7623 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 890816
[startup+25.503 s]
/proc/loadavg: 2.23 2.28 2.14 3/85 12533
/proc/meminfo: memFree=525272/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=0.87
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1310 7259 0 1 5 2 76 4 15 0 1 0 20856992 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1111 409 3 0 796 0
[pid=12524] ppid=12511 vsize=5356 CPUtime=0
/proc/12524/stat : 12524 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20857085 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12524/statm: 1339 233 193 169 0 50 0
[pid=12525] ppid=12524 vsize=868704 CPUtime=24.27
/proc/12525/stat : 12525 (java) S 12524 12511 12382 0 -1 0 13796 0 1 0 2308 119 0 0 19 0 9 0 20857085 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12525/statm: 217176 8019 2591 9 0 211653 0
[pid=12525/tid=12526] ppid=12524 vsize=868704 CPUtime=22.23
/proc/12525/task/12526/stat : 12526 (java) R 12524 12511 12382 0 -1 64 7401 0 1 0 2137 86 0 0 25 0 9 0 20857086 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12527] ppid=12524 vsize=868704 CPUtime=1.79
/proc/12525/task/12527/stat : 12527 (java) S 12524 12511 12382 0 -1 64 4167 0 0 0 148 31 0 0 16 0 9 0 20857087 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12528] ppid=12524 vsize=868704 CPUtime=0
/proc/12525/task/12528/stat : 12528 (java) S 12524 12511 12382 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 20857087 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12529] ppid=12524 vsize=868704 CPUtime=0
/proc/12525/task/12529/stat : 12529 (java) S 12524 12511 12382 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 20857087 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12530] ppid=12524 vsize=868704 CPUtime=0
/proc/12525/task/12530/stat : 12530 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 20857089 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12531] ppid=12524 vsize=868704 CPUtime=0.22
/proc/12525/task/12531/stat : 12531 (java) S 12524 12511 12382 0 -1 64 1529 0 0 0 22 0 0 0 17 0 9 0 20857089 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12532] ppid=12524 vsize=868704 CPUtime=0
/proc/12525/task/12532/stat : 12532 (java) S 12524 12511 12382 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 20857089 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12525/tid=12533] ppid=12524 vsize=868704 CPUtime=0
/proc/12525/task/12533/stat : 12533 (java) S 12524 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20857089 889552896 8019 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 890928
[startup+51.1026 s]
/proc/loadavg: 2.22 2.28 2.14 3/84 12623
/proc/meminfo: memFree=834720/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=30.22
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1365 22702 0 2 6 2 2845 169 16 0 1 0 20856992 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1113 409 3 0 796 0
[pid=12534] ppid=12511 vsize=5356 CPUtime=0
/proc/12534/stat : 12534 (sh) S 12511 12511 12382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20860060 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12534/statm: 1339 232 193 169 0 50 0
[pid=12535] ppid=12534 vsize=337120 CPUtime=20.32
/proc/12535/stat : 12535 (picosat) R 12534 12511 12382 0 -1 4194304 52834 0 0 0 919 1113 0 0 25 0 1 0 20860060 345210880 52820 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 0 0 0
/proc/12535/statm: 84280 52820 40 102 0 84175 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 359344
[startup+102.308 s]
/proc/loadavg: 2.09 2.23 2.13 3/84 12623
/proc/meminfo: memFree=631968/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=30.22
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1365 22702 0 2 6 2 2845 169 16 0 1 0 20856992 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12511/statm: 4217 1113 409 3 0 796 0
[pid=12534] ppid=12511 vsize=5356 CPUtime=0
/proc/12534/stat : 12534 (sh) S 12511 12511 12382 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 20860060 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12534/statm: 1339 232 193 169 0 50 0
[pid=12535] ppid=12534 vsize=557348 CPUtime=71.5
/proc/12535/stat : 12535 (picosat) R 12534 12511 12382 0 -1 4194304 98666 0 0 0 3563 3587 0 0 25 0 1 0 20860060 570724352 98651 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 0 0 0
/proc/12535/statm: 139337 98651 42 102 0 139232 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 579572
Solver just ended. Dumping a history of the last processes samples
[startup+105.501 s]
/proc/loadavg: 2.16 2.24 2.13 3/92 12633
/proc/meminfo: memFree=1003296/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=103.92
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1446 121987 0 2 6 2 6614 3770 16 0 1 0 20856992 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12511/statm: 4217 1113 409 3 0 796 0
[pid=12624] ppid=12511 vsize=5356 CPUtime=0
/proc/12624/stat : 12624 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20867441 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12624/statm: 1339 233 193 169 0 50 0
[pid=12625] ppid=12624 vsize=862288 CPUtime=0.98
/proc/12625/stat : 12625 (java) S 12624 12511 12382 0 -1 0 3386 0 1 0 96 2 0 0 19 0 9 0 20867442 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12625/statm: 215572 2849 1281 9 0 210485 0
[pid=12625/tid=12626] ppid=12624 vsize=862288 CPUtime=0.87
/proc/12625/task/12626/stat : 12626 (java) R 12624 12511 12382 0 -1 64 2048 0 1 0 86 1 0 0 25 0 9 0 20867443 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12627] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12627/stat : 12627 (java) S 12624 12511 12382 0 -1 64 298 0 0 0 0 0 0 0 16 0 9 0 20867444 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12628] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12628/stat : 12628 (java) S 12624 12511 12382 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 20867444 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12629] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12629/stat : 12629 (java) S 12624 12511 12382 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 20867444 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12630] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12630/stat : 12630 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 20867446 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12631] ppid=12624 vsize=862288 CPUtime=0.08
/proc/12625/task/12631/stat : 12631 (java) S 12624 12511 12382 0 -1 64 346 0 0 0 8 0 0 0 16 0 9 0 20867446 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12632] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12632/stat : 12632 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20867446 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12633] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12633/stat : 12633 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20867447 882982912 2849 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 104.9
Current children cumulated vsize (KiB) 884512
[startup+106.303 s]
/proc/loadavg: 2.16 2.24 2.13 3/92 12633
/proc/meminfo: memFree=1003296/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=103.92
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1446 121987 0 2 6 2 6614 3770 16 0 1 0 20856992 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12511/statm: 4217 1113 409 3 0 796 0
[pid=12624] ppid=12511 vsize=5356 CPUtime=0
/proc/12624/stat : 12624 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20867441 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12624/statm: 1339 233 193 169 0 50 0
[pid=12625] ppid=12624 vsize=862288 CPUtime=1.78
/proc/12625/stat : 12625 (java) S 12624 12511 12382 0 -1 0 3459 0 1 0 175 3 0 0 19 0 9 0 20867442 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12625/statm: 215572 2917 1281 9 0 210485 0
[pid=12625/tid=12626] ppid=12624 vsize=862288 CPUtime=1.66
/proc/12625/task/12626/stat : 12626 (java) R 12624 12511 12382 0 -1 64 2053 0 1 0 164 2 0 0 25 0 9 0 20867443 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4126580683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12627] ppid=12624 vsize=862288 CPUtime=0.01
/proc/12625/task/12627/stat : 12627 (java) S 12624 12511 12382 0 -1 64 362 0 0 0 1 0 0 0 16 0 9 0 20867444 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12628] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12628/stat : 12628 (java) S 12624 12511 12382 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 20867444 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12629] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12629/stat : 12629 (java) S 12624 12511 12382 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 20867444 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12630] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12630/stat : 12630 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 20867446 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12631] ppid=12624 vsize=862288 CPUtime=0.09
/proc/12625/task/12631/stat : 12631 (java) S 12624 12511 12382 0 -1 64 350 0 0 0 9 0 0 0 16 0 9 0 20867446 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12632] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12632/stat : 12632 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20867446 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12633] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12633/stat : 12633 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20867447 882982912 2917 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 105.7
Current children cumulated vsize (KiB) 884512
[startup+106.708 s]
/proc/loadavg: 2.16 2.24 2.13 3/92 12633
/proc/meminfo: memFree=1003040/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=103.92
/proc/12511/stat : 12511 (sugar) S 12509 12511 12382 0 -1 4194304 1448 121987 0 2 6 2 6614 3770 16 0 1 0 20856992 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 0 0 0 17 0 0 0
/proc/12511/statm: 4217 1113 409 3 0 796 0
[pid=12624] ppid=12511 vsize=5356 CPUtime=0
/proc/12624/stat : 12624 (sh) S 12511 12511 12382 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 20867441 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12624/statm: 1339 233 193 169 0 50 0
[pid=12625] ppid=12624 vsize=862288 CPUtime=2.19
/proc/12625/stat : 12625 (java) S 12624 12511 12382 0 -1 0 3465 0 1 0 216 3 0 0 19 0 9 0 20867442 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/12625/statm: 215572 2921 1284 9 0 210485 0
[pid=12625/tid=12626] ppid=12624 vsize=862288 CPUtime=2.06
/proc/12625/task/12626/stat : 12626 (java) R 12624 12511 12382 0 -1 64 2057 0 1 0 204 2 0 0 25 0 9 0 20867443 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12627] ppid=12624 vsize=862288 CPUtime=0.01
/proc/12625/task/12627/stat : 12627 (java) S 12624 12511 12382 0 -1 64 362 0 0 0 1 0 0 0 16 0 9 0 20867444 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12628] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12628/stat : 12628 (java) S 12624 12511 12382 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 20867444 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12629] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12629/stat : 12629 (java) S 12624 12511 12382 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 20867444 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12630] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12630/stat : 12630 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 20867446 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12631] ppid=12624 vsize=862288 CPUtime=0.09
/proc/12625/task/12631/stat : 12631 (java) S 12624 12511 12382 0 -1 64 352 0 0 0 9 0 0 0 16 0 9 0 20867446 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12632] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12632/stat : 12632 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20867446 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12625/tid=12633] ppid=12624 vsize=862288 CPUtime=0
/proc/12625/task/12633/stat : 12633 (java) S 12624 12511 12382 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20867447 882982912 2921 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 106.11
Current children cumulated vsize (KiB) 884512
[startup+106.903 s]
/proc/loadavg: 2.16 2.24 2.13 3/92 12633
/proc/meminfo: memFree=1003040/2055920 swapFree=4192952/4192956
[pid=12511] ppid=12509 vsize=16868 CPUtime=106.26
/proc/12511/stat : 12511 (sugar) R 12509 12511 12382 0 -1 4194304 1481 126402 0 3 6 8 6837 3775 16 0 1 0 20856992 17272832 1118 996147200 4194304 4206940 548682068608 18446744073709551615 272467989545 0 0 4224 16386 0 0 0 17 0 0 0
/proc/12511/statm: 4217 1118 410 3 0 796 0
Current children cumulated CPU time (s) 106.26
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 106.94
CPU time (s): 106.325
CPU user time (s): 68.4456
CPU system time (s): 37.8792
CPU usage (%): 99.4246
Max. virtual memory (cumulated for all children) (KiB): 891004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.4456
system time used= 37.8792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127943
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60444
involuntary context switches= 61141
runsolver used 0.122981 second user time and 0.379942 second system time
The end
Begin job on node22 at 2009-07-11 20:45:05
IDJOB=2065130
IDBENCH=54305
IDSOLVER=738
FILE ID=node22/2065130-1247337905
PBS_JOBID= 9506799
Free space on /tmp= 66212 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fischer/normalized-fischer-10-1-fair.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065130-1247337905/watcher-2065130-1247337905 -o /tmp/evaluation-result-2065130-1247337905/solver-2065130-1247337905 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2065130-1247337905.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f2e1a90d7dae88d10f272fda82f6837b
RANDOM SEED=1420258710
node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.278
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.278
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 : 5636.09
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 739536 kB
Buffers: 52308 kB
Cached: 854604 kB
SwapCached: 4 kB
Active: 670884 kB
Inactive: 589356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 739536 kB
SwapTotal: 4192956 kB
SwapFree: 4192952 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 364468 kB
Slab: 40668 kB
Committed_AS: 582280 kB
PageTables: 2632 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66384 MiB
End job on node22 at 2009-07-11 20:46:52