0.05/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.05/0.08 c 0 BEGIN Sun Jul 12 00:09:52 2009
0.05/0.08 c 0 PID 21508
0.05/0.08 c 0 HOST node50.alineos.net
0.05/0.08 c 0 CONVERTING HOME/instance-2069332-1247350191.xml TO HOME/temp.csp
0.05/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-2069332-1247350191.xml' 'HOME/temp.csp'
1.66/1.78 c 1 1 domains, 12596 variables, 224 predicates, 0 relations, 15189 constraints
1.75/1.81 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.75/1.81 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'
1.75/1.89 c 1 Parsing HOME/temp.csp
2.03/2.17 c 2 parsed 10000 expressions
2.32/2.42 c 2 parsed 20000 expressions
2.92/3.03 c 3 parsed 28010 expressions
2.92/3.04 c 3 Heap : 21 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.92/3.04 c 3 Converting to clausal form CSP
2.92/3.09 c 3 converted 2801 (10%) expressions
2.92/3.09 c 3 converted 5602 (20%) expressions
2.92/3.09 c 3 converted 8403 (30%) expressions
3.01/3.10 c 3 converted 11204 (40%) expressions
3.22/3.35 c 3 converted 14005 (50%) expressions
3.31/3.46 c 3 converted 16806 (60%) expressions
3.41/3.58 c 3 converted 19607 (70%) expressions
3.61/3.79 c 3 converted 22408 (80%) expressions
5.29/5.42 c 5 converted 25209 (90%) expressions
8.37/8.57 c 8 converted 28010 (100%) expressions
8.37/8.58 c 8 CSP : 33320 integers, 0 booleans, 56637 clauses, largest domain size 1168
8.37/8.58 c 8 Heap : 63 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
8.37/8.58 c 8 Propagation in CSP
9.74/9.92 c 9 35960 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.74/9.93 c 9 CSP : 33320 integers, 0 booleans, 56637 clauses, largest domain size 1168
9.74/9.93 c 9 Heap : 63 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
9.74/9.95 c 10 Simplifing CSP by introducing new Boolean variables
9.74/9.98 c 10 CSP : 33320 integers, 0 booleans, 56637 clauses, largest domain size 1168
9.74/9.98 c 10 Heap : 66 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
10.14/10.30 c 10 Encoding CSP to SAT : HOME/temp.cnf
10.14/10.34 c 10 3332 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
10.14/10.34 c 10 6664 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
10.14/10.35 c 10 9996 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
10.14/10.37 c 10 13328 (40%) CSP integer variables are encoded (10101 clauses, 151579 bytes)
10.24/10.40 c 10 16660 (50%) CSP integer variables are encoded (38382 clauses, 575794 bytes)
10.24/10.43 c 10 19992 (60%) CSP integer variables are encoded (57621 clauses, 864379 bytes)
10.24/10.45 c 10 23324 (70%) CSP integer variables are encoded (69820 clauses, 1047364 bytes)
10.24/10.48 c 10 26656 (80%) CSP integer variables are encoded (91108 clauses, 1397713 bytes)
10.33/10.51 c 10 29988 (90%) CSP integer variables are encoded (110656 clauses, 1730029 bytes)
10.33/10.54 c 10 33320 (100%) CSP integer variables are encoded (134317 clauses, 2132266 bytes)
10.44/10.68 c 10 5664 (10%) CSP clauses are encoded (153089 clauses, 2439414 bytes)
13.70/13.95 c 14 11328 (20%) CSP clauses are encoded (429054 clauses, 8398395 bytes)
14.30/14.56 c 14 16992 (30%) CSP clauses are encoded (610146 clauses, 11870622 bytes)
15.69/15.99 c 16 22655 (40%) CSP clauses are encoded (810120 clauses, 15613930 bytes)
18.95/19.22 c 19 28319 (50%) CSP clauses are encoded (959809 clauses, 18318934 bytes)
28.95/29.32 c 29 33983 (60%) CSP clauses are encoded (1159955 clauses, 21948283 bytes)
59.56/60.26 c 60 39646 (70%) CSP clauses are encoded (1457862 clauses, 28038825 bytes)
83.72/84.62 c 84 45310 (80%) CSP clauses are encoded (2698648 clauses, 57967142 bytes)
86.49/87.44 c 87 50974 (90%) CSP clauses are encoded (3767915 clauses, 83613306 bytes)
98.41/99.58 c 99 56637 (100%) CSP clauses are encoded (7729109 clauses, 179957413 bytes)
98.41/99.59 c 99 56637 CSP clauses encoded
98.41/99.59 c 99 Writing map file : HOME/temp.map
98.51/99.63 c 99 Heap : 46 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
98.51/99.63 c 99 SAT : 167637 SAT variables, 7729109 SAT clauses, 179957413 bytes
98.51/99.63 c 99 Heap : 46 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
98.55/99.71 c 99 SOLVING HOME/temp.cnf
98.55/99.71 c 99 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
181.85/183.82 c 183 DECODING HOME/temp.out WITH HOME/temp.map
181.85/183.82 c 183 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'
181.89/183.91 c 183 Decoding HOME/temp.out
181.89/184.44 s SATISFIABLE
182.74/184.72 v 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 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 1 1 0 1 0 0 0 1 0 0 1 0 0 1 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 0 0 0 1 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 1 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 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 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 0 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 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 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 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0
182.74/184.73 c 184 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
182.74/184.79 c 184 CPU 182.78 (0.1 0.09 143.45 39.14)
182.74/184.79 c 184 END Sun Jul 12 00:12:56 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2069332-1247350191/watcher-2069332-1247350191 -o /tmp/evaluation-result-2069332-1247350191/solver-2069332-1247350191 -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-2069332-1247350191.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.00 2.11 2.14 4/73 21508
/proc/meminfo: memFree=1785512/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=18576 CPUtime=0
/proc/21508/stat : 21508 (runsolver) R 21506 21508 21122 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 22082764 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21508/statm: 4644 284 249 26 0 2626 0
[startup+0.0749541 s]
/proc/loadavg: 2.00 2.11 2.14 4/73 21508
/proc/meminfo: memFree=1785512/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16608 CPUtime=0.05
/proc/21508/stat : 21508 (sugar) R 21506 21508 21122 0 -1 4194304 1066 0 0 0 4 1 0 0 18 0 1 0 22082764 17006592 1034 996147200 4194304 4206940 548682068608 18446744073709551615 240597298519 0 0 4224 0 0 0 0 17 1 0 0
/proc/21508/statm: 4152 1034 380 3 0 731 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16608
[startup+0.102955 s]
/proc/loadavg: 2.00 2.11 2.14 4/73 21508
/proc/meminfo: memFree=1785512/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=0.07
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.301966 s]
/proc/loadavg: 2.00 2.11 2.14 4/73 21508
/proc/meminfo: memFree=1785512/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=0.07
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.70201 s]
/proc/loadavg: 2.00 2.11 2.14 4/73 21508
/proc/meminfo: memFree=1785512/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=0.07
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50208 s]
/proc/loadavg: 2.08 2.12 2.14 4/84 21520
/proc/meminfo: memFree=1753928/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=0.07
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
[pid=21511] ppid=21508 vsize=5356 CPUtime=0
/proc/21511/stat : 21511 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22082772 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21511/statm: 1339 233 193 169 0 50 0
[pid=21512] ppid=21511 vsize=864788 CPUtime=1.39
/proc/21512/stat : 21512 (java) S 21511 21508 21122 0 -1 0 14595 0 1 0 132 7 0 0 18 0 9 0 22082772 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21512/statm: 216197 12619 2557 9 0 210709 0
[pid=21512/tid=21513] ppid=21511 vsize=864788 CPUtime=0.81
/proc/21512/task/21513/stat : 21513 (java) R 21511 21508 21122 0 -1 64 3084 0 1 0 79 2 0 0 23 0 9 0 22082773 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4126802983 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21514] ppid=21511 vsize=864788 CPUtime=0.41
/proc/21512/task/21514/stat : 21514 (java) S 21511 21508 21122 0 -1 64 10268 0 0 0 37 4 0 0 16 0 9 0 22082774 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21515] ppid=21511 vsize=864788 CPUtime=0
/proc/21512/task/21515/stat : 21515 (java) S 21511 21508 21122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22082775 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21516] ppid=21511 vsize=864788 CPUtime=0
/proc/21512/task/21516/stat : 21516 (java) S 21511 21508 21122 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 22082775 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21517] ppid=21511 vsize=864788 CPUtime=0
/proc/21512/task/21517/stat : 21517 (java) S 21511 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22082777 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21518] ppid=21511 vsize=864788 CPUtime=0.15
/proc/21512/task/21518/stat : 21518 (java) S 21511 21508 21122 0 -1 64 537 0 0 0 15 0 0 0 16 0 9 0 22082777 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21519] ppid=21511 vsize=864788 CPUtime=0
/proc/21512/task/21519/stat : 21519 (java) S 21511 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082777 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21512/tid=21520] ppid=21511 vsize=864788 CPUtime=0
/proc/21512/task/21520/stat : 21520 (java) S 21511 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082777 885542912 12619 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 887012
[startup+3.10121 s]
/proc/loadavg: 2.08 2.12 2.14 4/84 21530
/proc/meminfo: memFree=1774408/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=1.76
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1309 15045 0 1 5 2 160 9 15 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
[pid=21521] ppid=21508 vsize=5356 CPUtime=0
/proc/21521/stat : 21521 (sh) S 21508 21508 21122 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082945 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21521/statm: 1339 233 193 169 0 50 0
[pid=21522] ppid=21521 vsize=864388 CPUtime=1.25
/proc/21522/stat : 21522 (java) S 21521 21508 21122 0 -1 0 10923 0 1 0 120 5 0 0 18 0 9 0 22082945 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21522/statm: 216097 9897 2567 9 0 210602 0
[pid=21522/tid=21523] ppid=21521 vsize=864388 CPUtime=0.7
/proc/21522/task/21523/stat : 21523 (java) R 21521 21508 21122 0 -1 64 2747 0 1 0 68 2 0 0 18 0 9 0 22082946 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4125925328 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21524] ppid=21521 vsize=864388 CPUtime=0.48
/proc/21522/task/21524/stat : 21524 (java) S 21521 21508 21122 0 -1 64 7162 0 0 0 46 2 0 0 17 0 9 0 22082947 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21525] ppid=21521 vsize=864388 CPUtime=0
/proc/21522/task/21525/stat : 21525 (java) S 21521 21508 21122 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082947 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21526] ppid=21521 vsize=864388 CPUtime=0
/proc/21522/task/21526/stat : 21526 (java) S 21521 21508 21122 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 22082947 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21527] ppid=21521 vsize=864388 CPUtime=0
/proc/21522/task/21527/stat : 21527 (java) S 21521 21508 21122 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082949 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21528] ppid=21521 vsize=864388 CPUtime=0.05
/proc/21522/task/21528/stat : 21528 (java) S 21521 21508 21122 0 -1 64 311 0 0 0 5 0 0 0 16 0 9 0 22082949 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21529] ppid=21521 vsize=864388 CPUtime=0
/proc/21522/task/21529/stat : 21529 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082950 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21530] ppid=21521 vsize=864388 CPUtime=0
/proc/21522/task/21530/stat : 21530 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082950 885133312 9897 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 886612
[startup+6.3025 s]
/proc/loadavg: 2.08 2.12 2.14 3/84 21530
/proc/meminfo: memFree=1723912/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=1.76
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1309 15045 0 1 5 2 160 9 16 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
[pid=21521] ppid=21508 vsize=5356 CPUtime=0
/proc/21521/stat : 21521 (sh) S 21508 21508 21122 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082945 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21521/statm: 1339 233 193 169 0 50 0
[pid=21522] ppid=21521 vsize=868644 CPUtime=4.43
/proc/21522/stat : 21522 (java) S 21521 21508 21122 0 -1 0 19257 0 1 0 432 11 0 0 18 0 9 0 22082945 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21522/statm: 217161 18012 2566 9 0 211666 0
[pid=21522/tid=21523] ppid=21521 vsize=868644 CPUtime=3.15
/proc/21522/task/21523/stat : 21523 (java) R 21521 21508 21122 0 -1 64 3302 0 1 0 312 3 0 0 18 0 9 0 22082946 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4126430209 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21524] ppid=21521 vsize=868644 CPUtime=1.06
/proc/21522/task/21524/stat : 21524 (java) S 21521 21508 21122 0 -1 64 13762 0 0 0 101 5 0 0 16 0 9 0 22082947 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21525] ppid=21521 vsize=868644 CPUtime=0
/proc/21522/task/21525/stat : 21525 (java) S 21521 21508 21122 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082947 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21526] ppid=21521 vsize=868644 CPUtime=0
/proc/21522/task/21526/stat : 21526 (java) S 21521 21508 21122 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082947 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21527] ppid=21521 vsize=868644 CPUtime=0
/proc/21522/task/21527/stat : 21527 (java) S 21521 21508 21122 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082949 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21528] ppid=21521 vsize=868644 CPUtime=0.19
/proc/21522/task/21528/stat : 21528 (java) S 21521 21508 21122 0 -1 64 1490 0 0 0 18 1 0 0 16 0 9 0 22082949 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21529] ppid=21521 vsize=868644 CPUtime=0
/proc/21522/task/21529/stat : 21529 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082950 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21530] ppid=21521 vsize=868644 CPUtime=0
/proc/21522/task/21530/stat : 21530 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082950 889491456 18012 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 890868
[startup+12.7011 s]
/proc/loadavg: 2.14 2.13 2.15 3/84 21530
/proc/meminfo: memFree=1693512/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=1.76
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1310 15045 0 1 5 2 160 9 15 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
[pid=21521] ppid=21508 vsize=5356 CPUtime=0
/proc/21521/stat : 21521 (sh) S 21508 21508 21122 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082945 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21521/statm: 1339 233 193 169 0 50 0
[pid=21522] ppid=21521 vsize=868756 CPUtime=10.76
/proc/21522/stat : 21522 (java) S 21521 21508 21122 0 -1 0 29988 0 1 0 1057 19 0 0 18 0 9 0 22082945 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21522/statm: 217189 22917 2591 9 0 211666 0
[pid=21522/tid=21523] ppid=21521 vsize=868756 CPUtime=8.27
/proc/21522/task/21523/stat : 21523 (java) R 21521 21508 21122 0 -1 64 3903 0 1 0 821 6 0 0 25 0 9 0 22082946 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4127054118 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21524] ppid=21521 vsize=868756 CPUtime=2.21
/proc/21522/task/21524/stat : 21524 (java) S 21521 21508 21122 0 -1 64 23858 0 0 0 211 10 0 0 16 0 9 0 22082947 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21525] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21525/stat : 21525 (java) S 21521 21508 21122 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082947 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21526] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21526/stat : 21526 (java) S 21521 21508 21122 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082947 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21527] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21527/stat : 21527 (java) S 21521 21508 21122 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082949 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21528] ppid=21521 vsize=868756 CPUtime=0.25
/proc/21522/task/21528/stat : 21528 (java) S 21521 21508 21122 0 -1 64 1524 0 0 0 24 1 0 0 16 0 9 0 22082949 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21529] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21529/stat : 21529 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082950 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21530] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21530/stat : 21530 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082950 889606144 22917 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 890980
[startup+25.5022 s]
/proc/loadavg: 2.12 2.13 2.14 3/84 21530
/proc/meminfo: memFree=1676872/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=1.76
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1310 15045 0 1 5 2 160 9 16 0 1 0 22082764 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1111 409 3 0 796 0
[pid=21521] ppid=21508 vsize=5356 CPUtime=0
/proc/21521/stat : 21521 (sh) S 21508 21508 21122 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082945 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21521/statm: 1339 233 193 169 0 50 0
[pid=21522] ppid=21521 vsize=868756 CPUtime=23.42
/proc/21522/stat : 21522 (java) S 21521 21508 21122 0 -1 0 30106 0 1 0 2312 30 0 0 18 0 9 0 22082945 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21522/statm: 217189 22922 2591 9 0 211666 0
[pid=21522/tid=21523] ppid=21521 vsize=868756 CPUtime=20.86
/proc/21522/task/21523/stat : 21523 (java) R 21521 21508 21122 0 -1 64 4016 0 1 0 2070 16 0 0 25 0 9 0 22082946 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4126556616 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21524] ppid=21521 vsize=868756 CPUtime=2.28
/proc/21522/task/21524/stat : 21524 (java) S 21521 21508 21122 0 -1 64 23858 0 0 0 217 11 0 0 16 0 9 0 22082947 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21525] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21525/stat : 21525 (java) S 21521 21508 21122 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082947 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21526] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21526/stat : 21526 (java) S 21521 21508 21122 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082947 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21527] ppid=21521 vsize=868756 CPUtime=0
################
# More data... #
################
/proc/21522/stat : 21522 (java) S 21521 21508 21122 0 -1 0 30223 0 1 0 4843 35 0 0 18 0 9 0 22082945 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21522/statm: 217189 22922 2591 9 0 211666 0
[pid=21522/tid=21523] ppid=21521 vsize=868756 CPUtime=46.15
/proc/21522/task/21523/stat : 21523 (java) R 21521 21508 21122 0 -1 64 4133 0 1 0 4594 21 0 0 25 0 9 0 22082946 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4126554933 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21524] ppid=21521 vsize=868756 CPUtime=2.35
/proc/21522/task/21524/stat : 21524 (java) S 21521 21508 21122 0 -1 64 23858 0 0 0 223 12 0 0 16 0 9 0 22082947 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21525] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21525/stat : 21525 (java) S 21521 21508 21122 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082947 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21526] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21526/stat : 21526 (java) S 21521 21508 21122 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082947 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21527] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21527/stat : 21527 (java) S 21521 21508 21122 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082949 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21528] ppid=21521 vsize=868756 CPUtime=0.26
/proc/21522/task/21528/stat : 21528 (java) S 21521 21508 21122 0 -1 64 1529 0 0 0 25 1 0 0 16 0 9 0 22082949 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21529] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21529/stat : 21529 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082950 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21522/tid=21530] ppid=21521 vsize=868756 CPUtime=0
/proc/21522/task/21530/stat : 21530 (java) S 21521 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082950 889606144 22922 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 890980
[startup+102.307 s]
/proc/loadavg: 2.03 2.10 2.13 3/76 21532
/proc/meminfo: memFree=1580744/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=98.58
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1365 46236 0 2 6 2 9709 141 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
[pid=21531] ppid=21508 vsize=5356 CPUtime=0
/proc/21531/stat : 21531 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092735 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21531/statm: 1339 232 193 169 0 50 0
[pid=21532] ppid=21531 vsize=25508 CPUtime=2.54
/proc/21532/stat : 21532 (picosat) R 21531 21508 21122 0 -1 4194304 4857 0 0 0 116 138 0 0 25 0 1 0 22092735 26120192 4843 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/21532/statm: 6377 4843 40 102 0 6272 0
Current children cumulated CPU time (s) 101.12
Current children cumulated vsize (KiB) 47732
[startup+162.301 s]
/proc/loadavg: 2.01 2.08 2.12 3/76 21532
/proc/meminfo: memFree=1361032/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=98.58
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1365 46236 0 2 6 2 9709 141 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
[pid=21531] ppid=21508 vsize=5356 CPUtime=0
/proc/21531/stat : 21531 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092735 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21531/statm: 1339 232 193 169 0 50 0
[pid=21532] ppid=21531 vsize=256160 CPUtime=61.98
/proc/21532/stat : 21532 (picosat) R 21531 21508 21122 0 -1 4194304 60395 0 0 0 2815 3383 0 0 25 0 1 0 22092735 262307840 60381 996147200 134512640 134931368 4294956256 18446744073709551615 134545722 0 0 4096 0 0 0 0 17 1 0 0
/proc/21532/statm: 64040 60381 40 102 0 63935 0
Current children cumulated CPU time (s) 160.56
Current children cumulated vsize (KiB) 278384
Solver just ended. Dumping a history of the last processes samples
[startup+166.302 s]
/proc/loadavg: 2.01 2.07 2.12 3/76 21532
/proc/meminfo: memFree=1344072/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=98.58
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1365 46236 0 2 6 2 9709 141 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
[pid=21531] ppid=21508 vsize=5356 CPUtime=0
/proc/21531/stat : 21531 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092735 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21531/statm: 1339 232 193 169 0 50 0
[pid=21532] ppid=21531 vsize=269888 CPUtime=65.94
/proc/21532/stat : 21532 (picosat) R 21531 21508 21122 0 -1 4194304 64245 0 0 0 2991 3603 0 0 25 0 1 0 22092735 276365312 64231 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/21532/statm: 67472 64231 40 102 0 67367 0
Current children cumulated CPU time (s) 164.52
Current children cumulated vsize (KiB) 292112
[startup+172.707 s]
/proc/loadavg: 2.01 2.07 2.12 3/76 21532
/proc/meminfo: memFree=1331016/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=98.58
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1365 46236 0 2 6 2 9709 141 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
[pid=21531] ppid=21508 vsize=5356 CPUtime=0
/proc/21531/stat : 21531 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092735 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21531/statm: 1339 232 193 169 0 50 0
[pid=21532] ppid=21531 vsize=281800 CPUtime=72.28
/proc/21532/stat : 21532 (picosat) R 21531 21508 21122 0 -1 4194304 67268 0 0 0 3468 3760 0 0 25 0 1 0 22092735 288563200 67193 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21532/statm: 70450 67193 42 102 0 70345 0
Current children cumulated CPU time (s) 170.86
Current children cumulated vsize (KiB) 304024
[startup+179.102 s]
/proc/loadavg: 2.01 2.07 2.11 3/76 21532
/proc/meminfo: memFree=1330952/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=98.58
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1365 46236 0 2 6 2 9709 141 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
[pid=21531] ppid=21508 vsize=5356 CPUtime=0
/proc/21531/stat : 21531 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092735 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21531/statm: 1339 232 193 169 0 50 0
[pid=21532] ppid=21531 vsize=283848 CPUtime=78.62
/proc/21532/stat : 21532 (picosat) R 21531 21508 21122 0 -1 4194304 67310 0 0 0 4102 3760 0 0 25 0 1 0 22092735 290660352 67235 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21532/statm: 70962 67235 42 102 0 70857 0
Current children cumulated CPU time (s) 177.2
Current children cumulated vsize (KiB) 306072
[startup+182.302 s]
/proc/loadavg: 2.01 2.07 2.11 3/76 21532
/proc/meminfo: memFree=1330760/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=98.58
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1365 46236 0 2 6 2 9709 141 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
[pid=21531] ppid=21508 vsize=5356 CPUtime=0
/proc/21531/stat : 21531 (sh) S 21508 21508 21122 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092735 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21531/statm: 1339 232 193 169 0 50 0
[pid=21532] ppid=21531 vsize=283848 CPUtime=81.8
/proc/21532/stat : 21532 (picosat) R 21531 21508 21122 0 -1 4194304 67344 0 0 0 4420 3760 0 0 25 0 1 0 22092735 290660352 67269 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/21532/statm: 70962 67269 42 102 0 70857 0
Current children cumulated CPU time (s) 180.38
Current children cumulated vsize (KiB) 306072
[startup+183.901 s]
/proc/loadavg: 2.01 2.07 2.11 3/76 21532
/proc/meminfo: memFree=1356424/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=181.89
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1428 113873 0 2 6 2 14274 3907 17 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 181.89
Current children cumulated vsize (KiB) 16868
[startup+184.301 s]
/proc/loadavg: 2.01 2.07 2.11 3/76 21532
/proc/meminfo: memFree=1356424/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=181.89
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1446 113873 0 2 6 2 14274 3907 16 0 1 0 22082764 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 181.89
Current children cumulated vsize (KiB) 16868
[startup+184.701 s]
/proc/loadavg: 2.01 2.07 2.11 3/84 21542
/proc/meminfo: memFree=1590344/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=181.99
/proc/21508/stat : 21508 (sugar) S 21506 21508 21122 0 -1 4194304 1454 113873 0 2 10 8 14274 3907 15 0 1 0 22082764 17272832 1119 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21508/statm: 4217 1119 409 3 0 796 0
[pid=21533] ppid=21508 vsize=5356 CPUtime=0
/proc/21533/stat : 21533 (sh) S 21508 21508 21122 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22101146 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21533/statm: 1339 233 193 169 0 50 0
[pid=21534] ppid=21533 vsize=862756 CPUtime=0.75
/proc/21534/stat : 21534 (java) S 21533 21508 21122 0 -1 0 3947 0 1 0 69 6 0 0 18 0 9 0 22101147 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 215689 3400 1289 9 0 210602 0
[pid=21534/tid=21535] ppid=21533 vsize=862756 CPUtime=0.58
/proc/21534/task/21535/stat : 21535 (java) R 21533 21508 21122 0 -1 64 2063 0 1 0 54 4 0 0 22 0 9 0 22101148 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4126635929 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21533 vsize=862756 CPUtime=0.02
/proc/21534/task/21536/stat : 21536 (java) S 21533 21508 21122 0 -1 64 708 0 0 0 2 0 0 0 16 0 9 0 22101149 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21533 vsize=862756 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21533 21508 21122 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 22101149 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21533 vsize=862756 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21533 21508 21122 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 22101149 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21533 vsize=862756 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21533 21508 21122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22101152 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21533 vsize=862756 CPUtime=0.11
/proc/21534/task/21540/stat : 21540 (java) S 21533 21508 21122 0 -1 64 483 0 0 0 11 0 0 0 16 0 9 0 22101152 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21533 vsize=862756 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21533 21508 21122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22101152 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21533 vsize=862756 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21533 21508 21122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22101152 883462144 3400 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 182.74
Current children cumulated vsize (KiB) 884980
[startup+184.806 s]
/proc/loadavg: 2.01 2.07 2.11 3/84 21542
/proc/meminfo: memFree=1590344/2055920 swapFree=4192812/4192956
[pid=21508] ppid=21506 vsize=16868 CPUtime=182.81
/proc/21508/stat : 21508 (sugar) R 21506 21508 21122 0 -1 4194304 1490 118631 0 3 10 12 14345 3914 16 0 1 0 22082764 17272832 1127 996147200 4194304 4206940 548682068608 18446744073709551615 240577647657 0 0 4224 16386 0 0 0 17 1 0 0
/proc/21508/statm: 4217 1127 410 3 0 796 0
Current children cumulated CPU time (s) 182.81
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 184.881
CPU time (s): 182.894
CPU user time (s): 143.558
CPU system time (s): 39.336
CPU usage (%): 98.9253
Max. virtual memory (cumulated for all children) (KiB): 902124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.558
system time used= 39.336
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120181
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= 27284
involuntary context switches= 29017
runsolver used 0.224965 second user time and 0.642902 second system time
The end
Begin job on node50 at 2009-07-12 00:09:52
IDJOB=2069332
IDBENCH=55026
IDSOLVER=738
FILE ID=node50/2069332-1247350191
PBS_JOBID= 9506920
Free space on /tmp= 66408 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/pseudo/mps/normalized-mps-mzzv42z.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-2069332-1247350191/watcher-2069332-1247350191 -o /tmp/evaluation-result-2069332-1247350191/solver-2069332-1247350191 -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-2069332-1247350191.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f78719815117d2a652619de875e97862
RANDOM SEED=861477212
node50.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.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1785992 kB
Buffers: 6492 kB
Cached: 106320 kB
SwapCached: 0 kB
Active: 180204 kB
Inactive: 41044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6104 kB
Writeback: 0 kB
Mapped: 119116 kB
Slab: 33784 kB
Committed_AS: 342480 kB
PageTables: 2076 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= 66408 MiB
End job on node50 at 2009-07-12 00:12:56