0.06/0.08 c 0 Sugar v1-14-6 + HOME/minisat
0.06/0.08 c 0 BEGIN Sun Jul 12 00:09:57 2009
0.06/0.08 c 0 PID 14756
0.06/0.08 c 0 HOST node60.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-2069333-1247350197.xml TO HOME/temp.csp
0.06/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-2069333-1247350197.xml' 'HOME/temp.csp'
1.75/1.85 c 2 1 domains, 12596 variables, 224 predicates, 0 relations, 15189 constraints
1.75/1.86 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.75/1.86 c 2 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.81/1.94 c 2 Parsing HOME/temp.csp
1.81/2.09 c 2 parsed 10000 expressions
2.22/2.35 c 3 parsed 20000 expressions
2.82/2.96 c 3 parsed 28010 expressions
2.82/2.97 c 3 Heap : 21 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.82/2.97 c 3 Converting to clausal form CSP
2.91/3.01 c 3 converted 2801 (10%) expressions
2.91/3.02 c 3 converted 5602 (20%) expressions
2.91/3.02 c 3 converted 8403 (30%) expressions
2.91/3.02 c 3 converted 11204 (40%) expressions
3.11/3.27 c 3 converted 14005 (50%) expressions
3.21/3.39 c 4 converted 16806 (60%) expressions
3.40/3.51 c 4 converted 19607 (70%) expressions
3.60/3.72 c 4 converted 22408 (80%) expressions
5.19/5.33 c 6 converted 25209 (90%) expressions
8.25/8.47 c 9 converted 28010 (100%) expressions
8.25/8.48 c 9 CSP : 33320 integers, 0 booleans, 56637 clauses, largest domain size 1168
8.25/8.48 c 9 Heap : 63 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
8.25/8.48 c 9 Propagation in CSP
9.64/9.81 c 10 35960 values, 0 unsatisfiable literals, and 0 valid clauses are removed
9.64/9.82 c 10 CSP : 33320 integers, 0 booleans, 56637 clauses, largest domain size 1168
9.64/9.82 c 10 Heap : 63 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
9.64/9.85 c 10 Simplifing CSP by introducing new Boolean variables
9.64/9.88 c 10 CSP : 33320 integers, 0 booleans, 56637 clauses, largest domain size 1168
9.64/9.88 c 10 Heap : 66 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
10.03/10.21 c 10 Encoding CSP to SAT : HOME/temp.cnf
10.03/10.25 c 10 3332 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
10.03/10.25 c 10 6664 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
10.03/10.26 c 10 9996 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
10.03/10.28 c 10 13328 (40%) CSP integer variables are encoded (10101 clauses, 151579 bytes)
10.14/10.32 c 10 16660 (50%) CSP integer variables are encoded (38382 clauses, 575794 bytes)
10.14/10.34 c 11 19992 (60%) CSP integer variables are encoded (57621 clauses, 864379 bytes)
10.14/10.36 c 11 23324 (70%) CSP integer variables are encoded (69820 clauses, 1047364 bytes)
10.14/10.39 c 11 26656 (80%) CSP integer variables are encoded (91108 clauses, 1397713 bytes)
10.23/10.42 c 11 29988 (90%) CSP integer variables are encoded (110656 clauses, 1730029 bytes)
10.23/10.46 c 11 33320 (100%) CSP integer variables are encoded (134317 clauses, 2132266 bytes)
10.33/10.59 c 11 5664 (10%) CSP clauses are encoded (153089 clauses, 2439414 bytes)
13.60/13.89 c 14 11328 (20%) CSP clauses are encoded (429054 clauses, 8398395 bytes)
14.28/14.50 c 15 16992 (30%) CSP clauses are encoded (610146 clauses, 11870622 bytes)
15.67/15.95 c 16 22655 (40%) CSP clauses are encoded (810120 clauses, 15613930 bytes)
18.94/19.20 c 19 28319 (50%) CSP clauses are encoded (959809 clauses, 18318934 bytes)
28.84/29.28 c 29 33983 (60%) CSP clauses are encoded (1159955 clauses, 21948283 bytes)
59.74/60.41 c 61 39646 (70%) CSP clauses are encoded (1457862 clauses, 28038825 bytes)
83.91/84.84 c 85 45310 (80%) CSP clauses are encoded (2698648 clauses, 57967142 bytes)
86.67/87.67 c 88 50974 (90%) CSP clauses are encoded (3767915 clauses, 83613306 bytes)
98.72/99.81 c 100 56637 (100%) CSP clauses are encoded (7729109 clauses, 179957413 bytes)
98.72/99.81 c 100 56637 CSP clauses encoded
98.72/99.81 c 100 Writing map file : HOME/temp.map
98.72/99.86 c 100 Heap : 46 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
98.72/99.86 c 100 SAT : 167637 SAT variables, 7729109 SAT clauses, 179957413 bytes
98.72/99.86 c 100 Heap : 46 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
98.78/99.92 c 100 SOLVING HOME/temp.cnf
98.78/99.92 c 100 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
98.78/99.93 c 100 This is MiniSat 2.0 beta
98.78/99.93 c 100 WARNING: for repeatability, setting FPU to use double precision
98.78/99.93 c 100 ============================[ Problem Statistics ]=============================
98.78/99.93 c 100 | |
98.78/99.93 c 100 | Number of variables: 167637 |
98.78/99.93 c 100 | Number of clauses: 7729109 |
102.72/103.96 c 104 | Parsing time: 3.42 s |
102.92/104.16 c 104 ============================[ Search Statistics ]==============================
102.92/104.16 c 104 | Conflicts | ORIGINAL | LEARNT | Progress |
102.92/104.16 c 104 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
102.92/104.16 c 104 ===============================================================================
102.92/104.16 c 104 | 0 | 167637 7729109 23014384 | 2576369 0 nan | 0.000 % |
103.61/104.88 c 105 | 100 | 167630 7729109 23014384 | 2834006 96 27 | 0.049 % |
105.10/106.35 c 107 | 250 | 167628 7729109 23014384 | 3117407 244 28 | 0.063 % |
109.25/110.57 c 111 | 475 | 167609 7729109 23014384 | 3429148 466 21 | 0.152 % |
112.22/113.57 c 114 | 812 | 167517 7729109 23014384 | 3772062 796 17 | 0.484 % |
116.29/117.64 c 118 | 1318 | 167507 7729109 23014384 | 4149269 1299 16 | 0.607 % |
121.34/122.76 c 123 | 2077 | 167246 7729109 23014384 | 4564196 2046 15 | 1.092 % |
131.93/133.49 c 134 | 3216 | 167011 7729109 23014384 | 5020615 3170 15 | 1.646 % |
142.43/144.08 c 144 | 4924 | 165812 7729109 23014384 | 5522677 4863 14 | 2.077 % |
150.37/152.06 c 152 ===============================================================================
150.37/152.07 c 152 restarts : 9
150.37/152.07 c 152 conflicts : 5987 (117 /sec)
150.37/152.07 c 152 decisions : 23215 (1.29 % random) (455 /sec)
150.37/152.07 c 152 propagations : 21018995 (411748 /sec)
150.37/152.07 c 152 conflict literals : 85276 (21.33 % deleted)
150.37/152.07 c 152 Memory used : 324.41 MB
150.37/152.07 c 152 CPU time : 51.0482 s
150.37/152.07 c 152
150.46/152.14 c 152 SATISFIABLE
150.46/152.20 c 152 DECODING HOME/temp.out WITH HOME/temp.map
150.46/152.20 c 152 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'
150.58/152.28 c 152 Decoding HOME/temp.out
151.15/152.82 s SATISFIABLE
151.35/153.09 v 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 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 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 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 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 1 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 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 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 1 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 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 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 1 0 1 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 1 0 0 1 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 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 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 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 1 1 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 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 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 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 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 0 0 0 1 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 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 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 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 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 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 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 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 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 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 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 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 0 0 0 0 0 0 0 0 0 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 1 0 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 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 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 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 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 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 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 1 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 1 0 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 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 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 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 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 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 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 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 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 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 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 1 0 1 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 1 0 0 0 0 1 1 0 0 0 1 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 1 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 1 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 1 0 0 0 1 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 1 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 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 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 1 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 1 0 0 0 0 0 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 1 0 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 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 1 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 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 1 0 0 0 0 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 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 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 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 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
151.45/153.10 c 153 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
151.45/153.16 c 153 CPU 151.47 (0.11 0.06 149.1 2.2)
151.45/153.16 c 153 END Sun Jul 12 00:12:30 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2069333-1247350197/watcher-2069333-1247350197 -o /tmp/evaluation-result-2069333-1247350197/solver-2069333-1247350197 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2069333-1247350197.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.03 2.00 4/72 14756
/proc/meminfo: memFree=1697168/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=18576 CPUtime=0
/proc/14756/stat : 14756 (runsolver) R 14754 14756 14719 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 22082745 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 271894244647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14756/statm: 4644 284 249 26 0 2626 0
[startup+0.068947 s]
/proc/loadavg: 2.00 2.03 2.00 4/72 14756
/proc/meminfo: memFree=1697168/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16344 CPUtime=0.06
/proc/14756/stat : 14756 (sugar) R 14754 14756 14719 0 -1 4194304 985 0 0 0 5 1 0 0 18 0 1 0 22082745 16736256 953 996147200 4194304 4206940 548682068608 18446744073709551615 271911797099 0 0 4224 0 0 0 0 17 1 0 0
/proc/14756/statm: 4086 953 380 3 0 665 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16344
[startup+0.101952 s]
/proc/loadavg: 2.00 2.03 2.00 4/72 14756
/proc/meminfo: memFree=1697168/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=0.07
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/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.03 2.00 4/72 14756
/proc/meminfo: memFree=1697168/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=0.07
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.702009 s]
/proc/loadavg: 2.00 2.03 2.00 4/72 14756
/proc/meminfo: memFree=1697168/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=0.07
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50209 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 14768
/proc/meminfo: memFree=1667128/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=0.07
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
[pid=14759] ppid=14756 vsize=5356 CPUtime=0
/proc/14759/stat : 14759 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22082753 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14759/statm: 1339 233 193 169 0 50 0
[pid=14760] ppid=14759 vsize=865812 CPUtime=1.39
/proc/14760/stat : 14760 (java) S 14759 14756 14719 0 -1 0 14521 0 1 0 132 7 0 0 18 0 9 0 22082753 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14760/statm: 216453 12547 2557 9 0 210965 0
[pid=14760/tid=14761] ppid=14759 vsize=865812 CPUtime=0.81
/proc/14760/task/14761/stat : 14761 (java) R 14759 14756 14719 0 -1 64 3084 0 1 0 79 2 0 0 24 0 9 0 22082754 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14762] ppid=14759 vsize=865812 CPUtime=0.41
/proc/14760/task/14762/stat : 14762 (java) S 14759 14756 14719 0 -1 64 10203 0 0 0 38 3 0 0 16 0 9 0 22082756 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14763] ppid=14759 vsize=865812 CPUtime=0
/proc/14760/task/14763/stat : 14763 (java) S 14759 14756 14719 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22082756 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14764] ppid=14759 vsize=865812 CPUtime=0
/proc/14760/task/14764/stat : 14764 (java) S 14759 14756 14719 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 22082756 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14765] ppid=14759 vsize=865812 CPUtime=0
/proc/14760/task/14765/stat : 14765 (java) S 14759 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22082758 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14766] ppid=14759 vsize=865812 CPUtime=0.13
/proc/14760/task/14766/stat : 14766 (java) R 14759 14756 14719 0 -1 64 527 0 0 0 13 0 0 0 16 0 9 0 22082758 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 104063792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14767] ppid=14759 vsize=865812 CPUtime=0
/proc/14760/task/14767/stat : 14767 (java) S 14759 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082758 886591488 12547 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14760/tid=14768] ppid=14759 vsize=865812 CPUtime=0
/proc/14760/task/14768/stat : 14768 (java) S 14759 14756 14719 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 22082758 886591488 12547 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) 888036
[startup+3.10225 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 14778
/proc/meminfo: memFree=1683448/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=1.81
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1309 15046 0 1 6 1 165 9 15 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
[pid=14769] ppid=14756 vsize=5356 CPUtime=0
/proc/14769/stat : 14769 (sh) S 14756 14756 14719 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082931 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14769/statm: 1339 233 193 169 0 50 0
[pid=14770] ppid=14769 vsize=864220 CPUtime=1.21
/proc/14770/stat : 14770 (java) S 14769 14756 14719 0 -1 0 11508 0 1 0 114 7 0 0 18 0 9 0 22082932 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14770/statm: 216055 10462 2568 9 0 210560 0
[pid=14770/tid=14771] ppid=14769 vsize=864220 CPUtime=0.62
/proc/14770/task/14771/stat : 14771 (java) R 14769 14756 14719 0 -1 64 2917 0 1 0 60 2 0 0 24 0 9 0 22082933 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4126101072 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14772] ppid=14769 vsize=864220 CPUtime=0.5
/proc/14770/task/14772/stat : 14772 (java) S 14769 14756 14719 0 -1 64 7562 0 0 0 47 3 0 0 16 0 9 0 22082934 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14773] ppid=14769 vsize=864220 CPUtime=0
/proc/14770/task/14773/stat : 14773 (java) S 14769 14756 14719 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082934 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14774] ppid=14769 vsize=864220 CPUtime=0
/proc/14770/task/14774/stat : 14774 (java) S 14769 14756 14719 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 22082934 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14775] ppid=14769 vsize=864220 CPUtime=0
/proc/14770/task/14775/stat : 14775 (java) S 14769 14756 14719 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082936 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14776] ppid=14769 vsize=864220 CPUtime=0.06
/proc/14770/task/14776/stat : 14776 (java) S 14769 14756 14719 0 -1 64 326 0 0 0 6 0 0 0 16 0 9 0 22082936 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14777] ppid=14769 vsize=864220 CPUtime=0
/proc/14770/task/14777/stat : 14777 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082936 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14778] ppid=14769 vsize=864220 CPUtime=0
/proc/14770/task/14778/stat : 14778 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082936 884961280 10462 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 886444
[startup+6.30156 s]
/proc/loadavg: 2.00 2.03 2.00 3/83 14778
/proc/meminfo: memFree=1635192/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=1.81
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1309 15046 0 1 6 1 165 9 16 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
[pid=14769] ppid=14756 vsize=5356 CPUtime=0
/proc/14769/stat : 14769 (sh) S 14756 14756 14719 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082931 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14769/statm: 1339 233 193 169 0 50 0
[pid=14770] ppid=14769 vsize=868620 CPUtime=4.37
/proc/14770/stat : 14770 (java) S 14769 14756 14719 0 -1 0 19428 0 1 0 425 12 0 0 18 0 9 0 22082932 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14770/statm: 217155 18166 2566 9 0 211660 0
[pid=14770/tid=14771] ppid=14769 vsize=868620 CPUtime=3.07
/proc/14770/task/14771/stat : 14771 (java) R 14769 14756 14719 0 -1 64 3300 0 1 0 304 3 0 0 25 0 9 0 22082933 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4126572217 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14772] ppid=14769 vsize=868620 CPUtime=1.08
/proc/14770/task/14772/stat : 14772 (java) S 14769 14756 14719 0 -1 64 13918 0 0 0 101 7 0 0 16 0 9 0 22082934 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14773] ppid=14769 vsize=868620 CPUtime=0
/proc/14770/task/14773/stat : 14773 (java) S 14769 14756 14719 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082934 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14774] ppid=14769 vsize=868620 CPUtime=0
/proc/14770/task/14774/stat : 14774 (java) S 14769 14756 14719 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082934 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14775] ppid=14769 vsize=868620 CPUtime=0
/proc/14770/task/14775/stat : 14775 (java) S 14769 14756 14719 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082936 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14776] ppid=14769 vsize=868620 CPUtime=0.18
/proc/14770/task/14776/stat : 14776 (java) S 14769 14756 14719 0 -1 64 1507 0 0 0 18 0 0 0 16 0 9 0 22082936 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14777] ppid=14769 vsize=868620 CPUtime=0
/proc/14770/task/14777/stat : 14777 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082936 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14778] ppid=14769 vsize=868620 CPUtime=0
/proc/14770/task/14778/stat : 14778 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082936 889466880 18166 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 890844
[startup+12.7022 s]
/proc/loadavg: 2.08 2.04 2.01 3/83 14778
/proc/meminfo: memFree=1605184/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=1.81
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1310 15046 0 1 6 1 165 9 15 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
[pid=14769] ppid=14756 vsize=5356 CPUtime=0
/proc/14769/stat : 14769 (sh) S 14756 14756 14719 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082931 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14769/statm: 1339 233 193 169 0 50 0
[pid=14770] ppid=14769 vsize=868732 CPUtime=10.69
/proc/14770/stat : 14770 (java) S 14769 14756 14719 0 -1 0 30001 0 1 0 1048 21 0 0 18 0 9 0 22082932 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14770/statm: 217183 22914 2591 9 0 211660 0
[pid=14770/tid=14771] ppid=14769 vsize=868732 CPUtime=8.19
/proc/14770/task/14771/stat : 14771 (java) R 14769 14756 14719 0 -1 64 3897 0 1 0 812 7 0 0 25 0 9 0 22082933 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4126554020 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14772] ppid=14769 vsize=868732 CPUtime=2.23
/proc/14770/task/14772/stat : 14772 (java) S 14769 14756 14719 0 -1 64 23858 0 0 0 211 12 0 0 16 0 9 0 22082934 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14773] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14773/stat : 14773 (java) S 14769 14756 14719 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082934 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14774] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14774/stat : 14774 (java) S 14769 14756 14719 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082934 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14775] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14775/stat : 14775 (java) S 14769 14756 14719 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082936 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14776] ppid=14769 vsize=868732 CPUtime=0.25
/proc/14770/task/14776/stat : 14776 (java) S 14769 14756 14719 0 -1 64 1543 0 0 0 24 1 0 0 16 0 9 0 22082936 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14777] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14777/stat : 14777 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082936 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14778] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14778/stat : 14778 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082936 889581568 22914 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 890956
[startup+25.5024 s]
/proc/loadavg: 2.06 2.04 2.00 3/83 14778
/proc/meminfo: memFree=1588608/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=1.81
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1310 15046 0 1 6 1 165 9 16 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
[pid=14769] ppid=14756 vsize=5356 CPUtime=0
/proc/14769/stat : 14769 (sh) S 14756 14756 14719 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082931 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14769/statm: 1339 233 193 169 0 50 0
[pid=14770] ppid=14769 vsize=868732 CPUtime=23.37
/proc/14770/stat : 14770 (java) S 14769 14756 14719 0 -1 0 30118 0 1 0 2304 33 0 0 18 0 9 0 22082932 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14770/statm: 217183 22919 2591 9 0 211660 0
[pid=14770/tid=14771] ppid=14769 vsize=868732 CPUtime=20.77
/proc/14770/task/14771/stat : 14771 (java) R 14769 14756 14719 0 -1 64 4010 0 1 0 2060 17 0 0 25 0 9 0 22082933 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4126556928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14772] ppid=14769 vsize=868732 CPUtime=2.31
/proc/14770/task/14772/stat : 14772 (java) S 14769 14756 14719 0 -1 64 23858 0 0 0 218 13 0 0 16 0 9 0 22082934 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14773] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14773/stat : 14773 (java) S 14769 14756 14719 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082934 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14774] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14774/stat : 14774 (java) S 14769 14756 14719 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082934 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14775] ppid=14769 vsize=868732 CPUtime=0
################
# More data... #
################
/proc/loadavg: 2.11 2.05 2.01 3/83 14778
/proc/meminfo: memFree=1583616/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=1.81
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1310 15046 0 1 6 1 165 9 16 0 1 0 22082745 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1111 409 3 0 796 0
[pid=14769] ppid=14756 vsize=5356 CPUtime=0
/proc/14769/stat : 14769 (sh) S 14756 14756 14719 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22082931 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14769/statm: 1339 233 193 169 0 50 0
[pid=14770] ppid=14769 vsize=868732 CPUtime=48.73
/proc/14770/stat : 14770 (java) S 14769 14756 14719 0 -1 0 30235 0 1 0 4834 39 0 0 18 0 9 0 22082932 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14770/statm: 217183 22919 2591 9 0 211660 0
[pid=14770/tid=14771] ppid=14769 vsize=868732 CPUtime=46.06
/proc/14770/task/14771/stat : 14771 (java) R 14769 14756 14719 0 -1 64 4127 0 1 0 4584 22 0 0 25 0 9 0 22082933 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4126554014 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14772] ppid=14769 vsize=868732 CPUtime=2.38
/proc/14770/task/14772/stat : 14772 (java) S 14769 14756 14719 0 -1 64 23858 0 0 0 224 14 0 0 16 0 9 0 22082934 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14773] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14773/stat : 14773 (java) S 14769 14756 14719 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 22082934 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14774] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14774/stat : 14774 (java) S 14769 14756 14719 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 22082934 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14775] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14775/stat : 14775 (java) S 14769 14756 14719 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 22082936 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14776] ppid=14769 vsize=868732 CPUtime=0.26
/proc/14770/task/14776/stat : 14776 (java) S 14769 14756 14719 0 -1 64 1547 0 0 0 25 1 0 0 16 0 9 0 22082936 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14777] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14777/stat : 14777 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 22082936 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14770/tid=14778] ppid=14769 vsize=868732 CPUtime=0
/proc/14770/task/14778/stat : 14778 (java) S 14769 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 22082936 889581568 22919 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 890956
[startup+102.309 s]
/proc/loadavg: 2.16 2.07 2.01 3/75 14780
/proc/meminfo: memFree=1336832/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=98.82
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1376 46249 0 2 7 1 9727 147 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
[pid=14779] ppid=14756 vsize=5356 CPUtime=0
/proc/14779/stat : 14779 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092737 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14779/statm: 1339 232 193 169 0 50 0
[pid=14780] ppid=14779 vsize=188624 CPUtime=2.31
/proc/14780/stat : 14780 (minisat) R 14779 14756 14719 0 -1 4194304 45553 0 0 0 200 31 0 0 25 0 1 0 22092738 193150976 45539 996147200 134512640 135127466 4294956256 18446744073709551615 134514148 0 0 4096 3 0 0 0 17 1 0 0
/proc/14780/statm: 47156 45539 62 150 0 47003 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 210848
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 2.10 2.07 2.01 3/75 14780
/proc/meminfo: memFree=1187136/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=98.82
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1376 46249 0 2 7 1 9727 147 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
[pid=14779] ppid=14756 vsize=5356 CPUtime=0
/proc/14779/stat : 14779 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092737 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14779/statm: 1339 232 193 169 0 50 0
[pid=14780] ppid=14779 vsize=329776 CPUtime=27.66
/proc/14780/stat : 14780 (minisat) R 14779 14756 14719 0 -1 4194304 81460 0 0 0 2709 57 0 0 25 0 1 0 22092738 337690624 81446 996147200 134512640 135127466 4294956256 18446744073709551615 134530933 0 0 4096 3 0 0 0 17 1 0 0
/proc/14780/statm: 82444 81446 76 150 0 82291 0
Current children cumulated CPU time (s) 126.48
Current children cumulated vsize (KiB) 352000
[startup+140.703 s]
/proc/loadavg: 2.08 2.06 2.01 3/75 14780
/proc/meminfo: memFree=1185536/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=98.82
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1376 46249 0 2 7 1 9727 147 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
[pid=14779] ppid=14756 vsize=5356 CPUtime=0
/proc/14779/stat : 14779 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092737 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14779/statm: 1339 232 193 169 0 50 0
[pid=14780] ppid=14779 vsize=331760 CPUtime=40.35
/proc/14780/stat : 14780 (minisat) R 14779 14756 14719 0 -1 4194304 81917 0 0 0 3978 57 0 0 25 0 1 0 22092738 339722240 81903 996147200 134512640 135127466 4294956256 18446744073709551615 134530944 0 0 4096 3 0 0 0 17 1 0 0
/proc/14780/statm: 82940 81903 76 150 0 82787 0
Current children cumulated CPU time (s) 139.17
Current children cumulated vsize (KiB) 353984
[startup+147.101 s]
/proc/loadavg: 2.07 2.06 2.01 3/75 14780
/proc/meminfo: memFree=1185408/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=98.82
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1376 46249 0 2 7 1 9727 147 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
[pid=14779] ppid=14756 vsize=5356 CPUtime=0
/proc/14779/stat : 14779 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092737 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14779/statm: 1339 232 193 169 0 50 0
[pid=14780] ppid=14779 vsize=331892 CPUtime=46.69
/proc/14780/stat : 14780 (minisat) R 14779 14756 14719 0 -1 4194304 81963 0 0 0 4612 57 0 0 25 0 1 0 22092738 339857408 81949 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/14780/statm: 82973 81949 76 150 0 82820 0
Current children cumulated CPU time (s) 145.51
Current children cumulated vsize (KiB) 354116
[startup+150.302 s]
/proc/loadavg: 2.07 2.06 2.01 3/75 14780
/proc/meminfo: memFree=1185408/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=98.82
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1376 46249 0 2 7 1 9727 147 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
[pid=14779] ppid=14756 vsize=5356 CPUtime=0
/proc/14779/stat : 14779 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092737 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14779/statm: 1339 232 193 169 0 50 0
[pid=14780] ppid=14779 vsize=332028 CPUtime=49.86
/proc/14780/stat : 14780 (minisat) R 14779 14756 14719 0 -1 4194304 81969 0 0 0 4929 57 0 0 25 0 1 0 22092738 339996672 81955 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 1 0 0
/proc/14780/statm: 83007 81955 76 150 0 82854 0
Current children cumulated CPU time (s) 148.68
Current children cumulated vsize (KiB) 354252
[startup+151.902 s]
/proc/loadavg: 2.07 2.06 2.01 3/75 14780
/proc/meminfo: memFree=1185344/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=98.82
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1376 46249 0 2 7 1 9727 147 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
[pid=14779] ppid=14756 vsize=5356 CPUtime=0
/proc/14779/stat : 14779 (sh) S 14756 14756 14719 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 22092737 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14779/statm: 1339 232 193 169 0 50 0
[pid=14780] ppid=14779 vsize=332028 CPUtime=51.45
/proc/14780/stat : 14780 (minisat) R 14779 14756 14719 0 -1 4194304 81988 0 0 0 5087 58 0 0 25 0 1 0 22092738 339996672 81974 996147200 134512640 135127466 4294956256 18446744073709551615 134530849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14780/statm: 83007 81974 76 150 0 82854 0
Current children cumulated CPU time (s) 150.27
Current children cumulated vsize (KiB) 354252
[startup+152.702 s]
/proc/loadavg: 2.07 2.06 2.01 3/75 14780
/proc/meminfo: memFree=1185344/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=150.58
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1448 128583 0 2 7 1 14838 212 16 0 1 0 22082745 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 150.58
Current children cumulated vsize (KiB) 16868
[startup+153.103 s]
/proc/loadavg: 2.07 2.06 2.01 3/83 14790
/proc/meminfo: memFree=1504512/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=150.67
/proc/14756/stat : 14756 (sugar) S 14754 14756 14719 0 -1 4194304 1464 128583 0 2 11 6 14838 212 15 0 1 0 22082745 17272832 1126 996147200 4194304 4206940 548682068608 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14756/statm: 4217 1126 409 3 0 796 0
[pid=14781] ppid=14756 vsize=5356 CPUtime=0
/proc/14781/stat : 14781 (sh) S 14756 14756 14719 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 22097965 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14781/statm: 1339 233 193 169 0 50 0
[pid=14782] ppid=14781 vsize=864592 CPUtime=0.78
/proc/14782/stat : 14782 (java) S 14781 14756 14719 0 -1 0 4462 0 1 0 71 7 0 0 18 0 9 0 22097965 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14782/statm: 216148 3912 1722 9 0 210653 0
[pid=14782/tid=14783] ppid=14781 vsize=864592 CPUtime=0.62
/proc/14782/task/14783/stat : 14783 (java) R 14781 14756 14719 0 -1 64 2577 0 1 0 57 5 0 0 23 0 9 0 22097966 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4125959284 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14784] ppid=14781 vsize=864592 CPUtime=0.02
/proc/14782/task/14784/stat : 14784 (java) S 14781 14756 14719 0 -1 64 706 0 0 0 2 0 0 0 16 0 9 0 22097968 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14785] ppid=14781 vsize=864592 CPUtime=0
/proc/14782/task/14785/stat : 14785 (java) S 14781 14756 14719 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 22097968 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14786] ppid=14781 vsize=864592 CPUtime=0
/proc/14782/task/14786/stat : 14786 (java) S 14781 14756 14719 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22097968 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14787] ppid=14781 vsize=864592 CPUtime=0
/proc/14782/task/14787/stat : 14787 (java) S 14781 14756 14719 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22097970 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14788] ppid=14781 vsize=864592 CPUtime=0.11
/proc/14782/task/14788/stat : 14788 (java) S 14781 14756 14719 0 -1 64 483 0 0 0 11 0 0 0 16 0 9 0 22097970 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14789] ppid=14781 vsize=864592 CPUtime=0
/proc/14782/task/14789/stat : 14789 (java) S 14781 14756 14719 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22097970 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14782/tid=14790] ppid=14781 vsize=864592 CPUtime=0
/proc/14782/task/14790/stat : 14790 (java) S 14781 14756 14719 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22097970 885342208 3912 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 151.45
Current children cumulated vsize (KiB) 886816
[startup+153.203 s]
/proc/loadavg: 2.07 2.06 2.01 3/83 14790
/proc/meminfo: memFree=1504512/2055920 swapFree=4192952/4192956
[pid=14756] ppid=14754 vsize=16868 CPUtime=151.53
/proc/14756/stat : 14756 (sugar) R 14754 14756 14719 0 -1 4194304 1491 133342 0 3 11 12 14910 220 16 0 1 0 22082745 17272832 1127 996147200 4194304 4206940 548682068608 18446744073709551615 271894418473 0 0 4224 16386 0 0 0 17 1 0 0
/proc/14756/statm: 4217 1127 410 3 0 796 0
Current children cumulated CPU time (s) 151.53
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 153.251
CPU time (s): 151.588
CPU user time (s): 149.217
CPU system time (s): 2.37064
CPU usage (%): 98.9149
Max. virtual memory (cumulated for all children) (KiB): 903656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.217
system time used= 2.37064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134893
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= 27445
involuntary context switches= 30343
runsolver used 0.19597 second user time and 0.529919 second system time
The end
Begin job on node60 at 2009-07-12 00:09:57
IDJOB=2069333
IDBENCH=55026
IDSOLVER=739
FILE ID=node60/2069333-1247350197
PBS_JOBID= 9506938
Free space on /tmp= 66384 MiB
SOLVER NAME= Sugar v1.14.6+minisat
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/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2069333-1247350197/watcher-2069333-1247350197 -o /tmp/evaluation-result-2069333-1247350197/solver-2069333-1247350197 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2069333-1247350197.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f78719815117d2a652619de875e97862
RANDOM SEED=170981943
node60.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.232
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.232
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: 1697712 kB
Buffers: 44884 kB
Cached: 211064 kB
SwapCached: 4 kB
Active: 135204 kB
Inactive: 172836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1697712 kB
SwapTotal: 4192956 kB
SwapFree: 4192952 kB
Dirty: 6268 kB
Writeback: 0 kB
Mapped: 63696 kB
Slab: 35536 kB
Committed_AS: 191816 kB
PageTables: 1880 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= 66380 MiB
End job on node60 at 2009-07-12 00:12:30