0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Fri Jul 4 03:40:15 2008
0.00/0.04 c 0 PID 26856
0.00/0.05 c 0 HOST node19.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1062572-1215135614.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1062572-1215135614.xml' 'HOME/temp.csp'
1.26/1.38 c 1 1 domains, 8904 variables, 211 predicates, 0 relations, 1646 constraints
1.34/1.41 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.34/1.41 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.34/1.49 c 1 Parsing HOME/temp.csp
2.91/3.08 c 3 parsed 10000 expressions
3.60/3.72 c 3 parsed 10762 expressions
3.60/3.72 c 3 Heap : 26 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.60/3.72 c 3 Converting to clausal form CSP
3.60/3.76 c 3 converted 1077 (10%) expressions
3.60/3.77 c 3 converted 2153 (20%) expressions
3.60/3.77 c 3 converted 3229 (30%) expressions
3.60/3.78 c 3 converted 4305 (40%) expressions
3.60/3.78 c 3 converted 5381 (50%) expressions
3.60/3.78 c 3 converted 6458 (60%) expressions
3.60/3.79 c 3 converted 7534 (70%) expressions
3.60/3.79 c 3 converted 8610 (80%) expressions
5.28/5.48 c 5 converted 9686 (90%) expressions
15.47/15.74 c 15 converted 10762 (100%) expressions
15.47/15.76 c 15 CSP : 151478 integers, 0 booleans, 286794 clauses, largest domain size 185
15.47/15.76 c 15 Heap : 184 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
15.47/15.76 c 15 Propagation in CSP
19.03/19.40 c 19 352729 values, 0 unsatisfiable literals, and 0 valid clauses are removed
19.13/19.42 c 19 CSP : 151478 integers, 0 booleans, 286794 clauses, largest domain size 185
19.13/19.42 c 19 Heap : 182 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
19.13/19.49 c 19 Simplifing CSP by introducing new Boolean variables
19.33/19.62 c 19 CSP : 151478 integers, 0 booleans, 286794 clauses, largest domain size 185
19.33/19.62 c 19 Heap : 183 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
20.32/20.60 c 20 Encoding CSP to SAT : HOME/temp.cnf
20.32/20.69 c 20 15148 (10%) CSP integer variables are encoded (9692 clauses, 144249 bytes)
20.41/20.74 c 20 30296 (20%) CSP integer variables are encoded (39044 clauses, 584529 bytes)
20.52/20.81 c 20 45444 (30%) CSP integer variables are encoded (71353 clauses, 1092253 bytes)
20.52/20.87 c 20 60592 (40%) CSP integer variables are encoded (105894 clauses, 1679450 bytes)
20.62/20.94 c 21 75739 (50%) CSP integer variables are encoded (142823 clauses, 2307243 bytes)
20.71/21.01 c 21 90887 (60%) CSP integer variables are encoded (181167 clauses, 2959091 bytes)
20.71/21.08 c 21 106035 (70%) CSP integer variables are encoded (220977 clauses, 3635861 bytes)
20.81/21.15 c 21 121183 (80%) CSP integer variables are encoded (262939 clauses, 4349215 bytes)
20.91/21.23 c 21 136331 (90%) CSP integer variables are encoded (306336 clauses, 5086964 bytes)
21.01/21.31 c 21 151478 (100%) CSP integer variables are encoded (352729 clauses, 5875645 bytes)
21.61/21.98 c 22 28680 (10%) CSP clauses are encoded (572938 clauses, 9982350 bytes)
22.39/22.74 c 22 57359 (20%) CSP clauses are encoded (880809 clauses, 15929001 bytes)
23.28/23.64 c 23 86039 (30%) CSP clauses are encoded (1250781 clauses, 23945529 bytes)
24.26/24.69 c 24 114718 (40%) CSP clauses are encoded (1681794 clauses, 33615896 bytes)
25.44/25.87 c 25 143397 (50%) CSP clauses are encoded (2195217 clauses, 45277713 bytes)
26.73/27.15 c 27 172077 (60%) CSP clauses are encoded (2774050 clauses, 58526832 bytes)
28.12/28.53 c 28 200756 (70%) CSP clauses are encoded (3401090 clauses, 72943989 bytes)
29.67/30.13 c 30 229436 (80%) CSP clauses are encoded (4123264 clauses, 89655184 bytes)
31.34/31.90 c 31 258115 (90%) CSP clauses are encoded (4946309 clauses, 108810113 bytes)
33.52/34.07 c 34 286794 (100%) CSP clauses are encoded (6011420 clauses, 133867258 bytes)
33.52/34.07 c 34 286794 CSP clauses encoded
33.52/34.07 c 34 Writing map file : HOME/temp.map
33.63/34.15 c 34 Heap : 160 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
33.63/34.15 c 34 SAT : 504207 SAT variables, 6011420 SAT clauses, 133867258 bytes
33.63/34.15 c 34 Heap : 160 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
33.63/34.19 c 34 SOLVING HOME/temp.cnf
33.63/34.19 c 34 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
92.34/93.53 c 93 DECODING HOME/temp.out WITH HOME/temp.map
92.34/93.53 c 93 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
92.39/93.62 c 93 Decoding HOME/temp.out
92.39/94.48 s SATISFIABLE
93.41/94.69 v 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 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 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 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 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
93.41/94.69 c 94 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
93.50/94.72 c 94 CPU 64.13 (0.05 0.04 64.08 29.35)
93.50/94.72 c 94 END Fri Jul 4 03:41:49 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062572-1215135614/watcher-1062572-1215135614 -o /tmp/evaluation-result-1062572-1215135614/solver-1062572-1215135614 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1062572-1215135614.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 26856
/proc/meminfo: memFree=1511208/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=12268 CPUtime=0
/proc/26856/stat : 26856 (sugar) R 26854 26856 26357 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1992535825 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 255236411342 0 0 4224 0 0 0 0 17 1 0 0
/proc/26856/statm: 3067 316 241 3 0 167 0
[startup+0.0925431 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 26856
/proc/meminfo: memFree=1511208/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=0.04
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992535825 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.101542 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 26856
/proc/meminfo: memFree=1511208/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=0.04
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992535825 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301575 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 26856
/proc/meminfo: memFree=1511208/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=0.04
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992535825 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701658 s]
/proc/loadavg: 2.04 2.01 2.00 4/81 26856
/proc/meminfo: memFree=1511208/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=0.04
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992535825 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+1.50281 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 26868
/proc/meminfo: memFree=1487120/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=1.35
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 973 9340 0 1 3 1 125 6 16 0 1 0 1992535825 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13600
[startup+3.10211 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 26878
/proc/meminfo: memFree=1494736/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=1.35
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 973 9340 0 1 3 1 125 6 16 0 1 0 1992535825 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 797 370 3 0 500 0
[pid=26869] ppid=26856 vsize=5356 CPUtime=0
/proc/26869/stat : 26869 (sh) S 26856 26856 26357 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992535967 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26869/statm: 1339 233 193 169 0 50 0
[pid=26870] ppid=26869 vsize=864080 CPUtime=1.65
/proc/26870/stat : 26870 (java) S 26869 26856 26357 0 -1 0 9579 0 1 0 159 6 0 0 18 0 9 0 1992535967 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26870/statm: 216020 8520 2532 9 0 210602 0
[pid=26870/tid=26871] ppid=26869 vsize=864080 CPUtime=1.15
/proc/26870/task/26871/stat : 26871 (java) R 26869 26856 26357 0 -1 64 2817 0 1 0 113 2 0 0 25 0 9 0 1992535968 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4126428713 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26872] ppid=26869 vsize=864080 CPUtime=0.42
/proc/26870/task/26872/stat : 26872 (java) S 26869 26856 26357 0 -1 64 5730 0 0 0 39 3 0 0 16 0 9 0 1992535969 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26873] ppid=26869 vsize=864080 CPUtime=0
/proc/26870/task/26873/stat : 26873 (java) S 26869 26856 26357 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992535969 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26874] ppid=26869 vsize=864080 CPUtime=0
/proc/26870/task/26874/stat : 26874 (java) S 26869 26856 26357 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 1992535969 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26875] ppid=26869 vsize=864080 CPUtime=0
/proc/26870/task/26875/stat : 26875 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992535971 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26876] ppid=26869 vsize=864080 CPUtime=0.06
/proc/26870/task/26876/stat : 26876 (java) S 26869 26856 26357 0 -1 64 336 0 0 0 6 0 0 0 16 0 9 0 1992535971 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26877] ppid=26869 vsize=864080 CPUtime=0
/proc/26870/task/26877/stat : 26877 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992535971 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26878] ppid=26869 vsize=864080 CPUtime=0
/proc/26870/task/26878/stat : 26878 (java) S 26869 26856 26357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992535971 884817920 8520 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 883036
[startup+6.30271 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 26878
/proc/meminfo: memFree=1445584/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=1.35
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 974 9340 0 1 3 1 125 6 16 0 1 0 1992535825 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 797 370 3 0 500 0
[pid=26869] ppid=26856 vsize=5356 CPUtime=0
/proc/26869/stat : 26869 (sh) S 26856 26856 26357 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992535967 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26869/statm: 1339 233 193 169 0 50 0
[pid=26870] ppid=26869 vsize=868412 CPUtime=4.81
/proc/26870/stat : 26870 (java) S 26869 26856 26357 0 -1 0 31362 0 1 0 464 17 0 0 18 0 9 0 1992535967 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26870/statm: 217103 19725 2541 9 0 211678 0
[pid=26870/tid=26871] ppid=26869 vsize=868412 CPUtime=2.88
/proc/26870/task/26871/stat : 26871 (java) R 26869 26856 26357 0 -1 64 3763 0 1 0 285 3 0 0 25 0 9 0 1992535968 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4126920948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26872] ppid=26869 vsize=868412 CPUtime=1.71
/proc/26870/task/26872/stat : 26872 (java) S 26869 26856 26357 0 -1 64 25417 0 0 0 159 12 0 0 16 0 9 0 1992535969 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26873] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26873/stat : 26873 (java) S 26869 26856 26357 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992535969 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26874] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26874/stat : 26874 (java) S 26869 26856 26357 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992535969 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26875] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26875/stat : 26875 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992535971 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26876] ppid=26869 vsize=868412 CPUtime=0.19
/proc/26870/task/26876/stat : 26876 (java) S 26869 26856 26357 0 -1 64 1486 0 0 0 19 0 0 0 16 0 9 0 1992535971 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26877] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26877/stat : 26877 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992535971 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26878] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26878/stat : 26878 (java) S 26869 26856 26357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992535971 889253888 19725 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 887368
[startup+12.7019 s]
/proc/loadavg: 2.03 2.01 2.00 3/92 26878
/proc/meminfo: memFree=1351248/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=1.35
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 974 9340 0 1 3 1 125 6 16 0 1 0 1992535825 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 797 370 3 0 500 0
[pid=26869] ppid=26856 vsize=5356 CPUtime=0
/proc/26869/stat : 26869 (sh) S 26856 26856 26357 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992535967 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26869/statm: 1339 233 193 169 0 50 0
[pid=26870] ppid=26869 vsize=868412 CPUtime=11.14
/proc/26870/stat : 26870 (java) S 26869 26856 26357 0 -1 0 64460 0 1 0 1083 31 0 0 18 0 9 0 1992535967 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26870/statm: 217103 43772 2541 9 0 211678 0
[pid=26870/tid=26871] ppid=26869 vsize=868412 CPUtime=7.24
/proc/26870/task/26871/stat : 26871 (java) R 26869 26856 26357 0 -1 64 4472 0 1 0 720 4 0 0 25 0 9 0 1992535968 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4126498039 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26872] ppid=26869 vsize=868412 CPUtime=3.69
/proc/26870/task/26872/stat : 26872 (java) S 26869 26856 26357 0 -1 64 57806 0 0 0 343 26 0 0 16 0 9 0 1992535969 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26873] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26873/stat : 26873 (java) S 26869 26856 26357 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992535969 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26874] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26874/stat : 26874 (java) S 26869 26856 26357 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992535969 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26875] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26875/stat : 26875 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992535971 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26876] ppid=26869 vsize=868412 CPUtime=0.19
/proc/26870/task/26876/stat : 26876 (java) S 26869 26856 26357 0 -1 64 1486 0 0 0 19 0 0 0 16 0 9 0 1992535971 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26877] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26877/stat : 26877 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992535971 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26878] ppid=26869 vsize=868412 CPUtime=0
/proc/26870/task/26878/stat : 26878 (java) S 26869 26856 26357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992535971 889253888 43772 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 887368
[startup+25.5023 s]
/proc/loadavg: 2.26 2.06 2.02 3/92 26879
/proc/meminfo: memFree=1219344/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=1.35
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 974 9340 0 1 3 1 125 6 16 0 1 0 1992535825 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 797 370 3 0 500 0
[pid=26869] ppid=26856 vsize=5356 CPUtime=0
/proc/26869/stat : 26869 (sh) S 26856 26856 26357 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992535967 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26869/statm: 1339 233 193 169 0 50 0
[pid=26870] ppid=26869 vsize=868524 CPUtime=23.8
/proc/26870/stat : 26870 (java) S 26869 26856 26357 0 -1 0 85481 0 1 0 2314 66 0 0 18 0 9 0 1992535967 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26870/statm: 217131 53408 2565 9 0 211678 0
[pid=26870/tid=26871] ppid=26869 vsize=868524 CPUtime=17.06
/proc/26870/task/26871/stat : 26871 (java) R 26869 26856 26357 0 -1 64 5595 0 1 0 1677 29 0 0 25 0 9 0 1992535968 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4127049520 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26872] ppid=26869 vsize=868524 CPUtime=6.45
/proc/26870/task/26872/stat : 26872 (java) S 26869 26856 26357 0 -1 64 77664 0 0 0 610 35 0 0 16 0 9 0 1992535969 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26873] ppid=26869 vsize=868524 CPUtime=0
/proc/26870/task/26873/stat : 26873 (java) S 26869 26856 26357 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992535969 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26874] ppid=26869 vsize=868524 CPUtime=0
/proc/26870/task/26874/stat : 26874 (java) S 26869 26856 26357 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992535969 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26875] ppid=26869 vsize=868524 CPUtime=0
/proc/26870/task/26875/stat : 26875 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992535971 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26876] ppid=26869 vsize=868524 CPUtime=0.27
/proc/26870/task/26876/stat : 26876 (java) S 26869 26856 26357 0 -1 64 1526 0 0 0 26 1 0 0 16 0 9 0 1992535971 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26877] ppid=26869 vsize=868524 CPUtime=0
/proc/26870/task/26877/stat : 26877 (java) S 26869 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992535971 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26870/tid=26878] ppid=26869 vsize=868524 CPUtime=0
/proc/26870/task/26878/stat : 26878 (java) S 26869 26856 26357 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992535971 889368576 53408 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 887480
[startup+51.1011 s]
/proc/loadavg: 2.29 2.09 2.02 3/84 26881
/proc/meminfo: memFree=1243216/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=33.73
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1023 95277 0 2 4 1 3236 132 17 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
[pid=26880] ppid=26856 vsize=5356 CPUtime=0
/proc/26880/stat : 26880 (sh) S 26856 26856 26357 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992539245 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26880/statm: 1339 232 193 169 0 50 0
[pid=26881] ppid=26880 vsize=94844 CPUtime=16.7
/proc/26881/stat : 26881 (picosat) R 26880 26856 26357 0 -1 4194304 22478 0 0 0 752 918 0 0 25 0 1 0 1992539245 97120256 22464 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26881/statm: 23711 22464 40 102 0 23606 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 113800
Solver just ended. Dumping a history of the last processes samples
[startup+76.7019 s]
/proc/loadavg: 2.19 2.08 2.02 3/84 26881
/proc/meminfo: memFree=1109776/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=33.73
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1023 95277 0 2 4 1 3236 132 17 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
[pid=26880] ppid=26856 vsize=5356 CPUtime=0
/proc/26880/stat : 26880 (sh) S 26856 26856 26357 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992539245 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26880/statm: 1339 232 193 169 0 50 0
[pid=26881] ppid=26880 vsize=183952 CPUtime=42.06
/proc/26881/stat : 26881 (picosat) R 26880 26856 26357 0 -1 4194304 45113 0 0 0 1915 2291 0 0 25 0 1 0 1992539245 188366848 45099 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26881/statm: 45988 45099 40 102 0 45883 0
Current children cumulated CPU time (s) 75.79
Current children cumulated vsize (KiB) 202908
[startup+83.1011 s]
/proc/loadavg: 2.17 2.08 2.02 3/84 26881
/proc/meminfo: memFree=1085776/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=33.73
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1023 95277 0 2 4 1 3236 132 17 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
[pid=26880] ppid=26856 vsize=5356 CPUtime=0
/proc/26880/stat : 26880 (sh) S 26856 26856 26357 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992539245 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26880/statm: 1339 232 193 169 0 50 0
[pid=26881] ppid=26880 vsize=221060 CPUtime=48.39
/proc/26881/stat : 26881 (picosat) R 26880 26856 26357 0 -1 4194304 50880 0 0 0 2205 2634 0 0 25 0 1 0 1992539245 226365440 50866 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26881/statm: 55265 50866 40 102 0 55160 0
Current children cumulated CPU time (s) 82.12
Current children cumulated vsize (KiB) 240016
[startup+89.5013 s]
/proc/loadavg: 2.16 2.08 2.02 3/84 26881
/proc/meminfo: memFree=1070736/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=33.73
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1023 95277 0 2 4 1 3236 132 17 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
[pid=26880] ppid=26856 vsize=5356 CPUtime=0
/proc/26880/stat : 26880 (sh) S 26856 26856 26357 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992539245 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26880/statm: 1339 232 193 169 0 50 0
[pid=26881] ppid=26880 vsize=239000 CPUtime=54.74
/proc/26881/stat : 26881 (picosat) R 26880 26856 26357 0 -1 4194304 54034 0 0 0 2682 2792 0 0 25 0 1 0 1992539245 244736000 54004 996147200 134512640 134931368 4294956256 18446744073709551615 134525775 0 0 4096 0 0 0 0 17 1 0 0
/proc/26881/statm: 59750 54004 42 102 0 59645 0
Current children cumulated CPU time (s) 88.47
Current children cumulated vsize (KiB) 257956
[startup+92.7029 s]
/proc/loadavg: 2.15 2.07 2.02 3/84 26881
/proc/meminfo: memFree=1023248/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=33.73
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1023 95277 0 2 4 1 3236 132 17 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
[pid=26880] ppid=26856 vsize=5356 CPUtime=0
/proc/26880/stat : 26880 (sh) S 26856 26856 26357 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992539245 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26880/statm: 1339 232 193 169 0 50 0
[pid=26881] ppid=26880 vsize=239000 CPUtime=57.83
/proc/26881/stat : 26881 (picosat) R 26880 26856 26357 0 -1 4194304 54186 0 0 0 2991 2792 0 0 25 0 1 0 1992539245 244736000 54156 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/26881/statm: 59750 54156 42 102 0 59645 0
Current children cumulated CPU time (s) 91.56
Current children cumulated vsize (KiB) 257956
[startup+93.5065 s]
/proc/loadavg: 2.15 2.07 2.02 3/84 26881
/proc/meminfo: memFree=1037456/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=33.73
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1023 95277 0 2 4 1 3236 132 17 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
[pid=26880] ppid=26856 vsize=5356 CPUtime=0
/proc/26880/stat : 26880 (sh) S 26856 26856 26357 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992539245 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26880/statm: 1339 232 193 169 0 50 0
[pid=26881] ppid=26880 vsize=202132 CPUtime=58.61
/proc/26881/stat : 26881 (picosat) R 26880 26856 26357 0 -1 4194304 54204 0 0 0 3068 2793 0 0 25 0 1 0 1992539245 206983168 46653 996147200 134512640 134931368 4294956256 18446744073709551615 134608241 0 0 4096 0 0 0 0 17 1 0 0
/proc/26881/statm: 50533 46653 47 102 0 50428 0
Current children cumulated CPU time (s) 92.34
Current children cumulated vsize (KiB) 221088
[startup+94.3012 s]
/proc/loadavg: 2.15 2.07 2.02 3/84 26881
/proc/meminfo: memFree=1037456/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13600 CPUtime=92.39
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1090 149767 0 2 4 1 6305 2929 16 0 1 0 1992535825 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 92.39
Current children cumulated vsize (KiB) 13600
[startup+94.7013 s]
/proc/loadavg: 2.15 2.07 2.02 3/92 26891
/proc/meminfo: memFree=1229200/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13732 CPUtime=92.43
/proc/26856/stat : 26856 (sugar) S 26854 26856 26357 0 -1 4194304 1099 149767 0 2 5 4 6305 2929 15 0 1 0 1992535825 14061568 807 996147200 4194304 4206940 548682068608 18446744073709551615 255245463650 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26856/statm: 3433 807 370 3 0 533 0
[pid=26882] ppid=26856 vsize=5356 CPUtime=0
/proc/26882/stat : 26882 (sh) S 26856 26856 26357 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992545179 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26882/statm: 1339 233 193 169 0 50 0
[pid=26883] ppid=26882 vsize=864324 CPUtime=1.07
/proc/26883/stat : 26883 (java) S 26882 26856 26357 0 -1 0 4169 0 1 0 102 5 0 0 18 0 9 0 1992545180 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26883/statm: 216081 3625 1706 9 0 210656 0
[pid=26883/tid=26884] ppid=26882 vsize=864324 CPUtime=0.93
/proc/26883/task/26884/stat : 26884 (java) S 26882 26856 26357 0 -1 64 2542 0 1 0 89 4 0 0 25 0 9 0 1992545181 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26885] ppid=26882 vsize=864324 CPUtime=0.02
/proc/26883/task/26885/stat : 26885 (java) S 26882 26856 26357 0 -1 64 510 0 0 0 2 0 0 0 16 0 9 0 1992545182 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26886] ppid=26882 vsize=864324 CPUtime=0
/proc/26883/task/26886/stat : 26886 (java) S 26882 26856 26357 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1992545182 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26887] ppid=26882 vsize=864324 CPUtime=0
/proc/26883/task/26887/stat : 26887 (java) S 26882 26856 26357 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1992545182 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26888] ppid=26882 vsize=864324 CPUtime=0
/proc/26883/task/26888/stat : 26888 (java) S 26882 26856 26357 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1992545184 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26889] ppid=26882 vsize=864324 CPUtime=0.1
/proc/26883/task/26889/stat : 26889 (java) S 26882 26856 26357 0 -1 64 425 0 0 0 10 0 0 0 16 0 9 0 1992545184 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26890] ppid=26882 vsize=864324 CPUtime=0
/proc/26883/task/26890/stat : 26890 (java) S 26882 26856 26357 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992545184 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26883/tid=26891] ppid=26882 vsize=864324 CPUtime=0
/proc/26883/task/26891/stat : 26891 (java) S 26882 26856 26357 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992545184 885067776 3625 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.5
Current children cumulated vsize (KiB) 883412
[startup+94.8104 s]
/proc/loadavg: 2.15 2.07 2.02 3/92 26891
/proc/meminfo: memFree=1229200/2055920 swapFree=4180456/4192956
[pid=26856] ppid=26854 vsize=13732 CPUtime=93.62
/proc/26856/stat : 26856 (sugar) R 26854 26856 26357 0 -1 4194304 1127 154226 0 3 5 14 6408 2935 16 0 1 0 1992535825 14061568 808 996147200 4194304 4206940 548682068608 18446744073709551615 255236740137 0 0 4224 16386 0 0 0 17 1 0 0
/proc/26856/statm: 3433 808 371 3 0 533 0
Current children cumulated CPU time (s) 93.62
Current children cumulated vsize (KiB) 13732
Child status: 0
Real time (s): 94.814
CPU time (s): 93.6428
CPU user time (s): 64.1422
CPU system time (s): 29.5005
CPU usage (%): 98.7647
Max. virtual memory (cumulated for all children) (KiB): 908360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.1422
system time used= 29.5005
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155383
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= 17524
involuntary context switches= 21068
runsolver used 0.140978 second user time and 0.32395 second system time
The end
Begin job on node19 at 2008-07-04 03:40:15
IDJOB=1062572
IDBENCH=54655
IDSOLVER=345
FILE ID=node19/1062572-1215135614
PBS_JOBID= 7877368
Free space on /tmp= 66548 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/pseudo/niklas/normalized-air04.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062572-1215135614/watcher-1062572-1215135614 -o /tmp/evaluation-result-1062572-1215135614/solver-1062572-1215135614 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1062572-1215135614.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5ab497606341b39c5eb15a23e3c3a9f2
RANDOM SEED=1563325435
node19.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.263
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 : 5931.00
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.263
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: 1511688 kB
Buffers: 71260 kB
Cached: 230920 kB
SwapCached: 6540 kB
Active: 330580 kB
Inactive: 145252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1511688 kB
SwapTotal: 4192956 kB
SwapFree: 4180456 kB
Dirty: 5420 kB
Writeback: 0 kB
Mapped: 190120 kB
Slab: 53344 kB
Committed_AS: 4108208 kB
PageTables: 2244 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= 66548 MiB
End job on node19 at 2008-07-04 03:41:49