0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sun Jul 12 09:24:27 2009
0.00/0.08 c 0 PID 25680
0.00/0.08 c 0 HOST node56.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2086349-1247383467.xml TO HOME/temp.csp
0.00/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-2086349-1247383467.xml' 'HOME/temp.csp'
1.26/1.33 c 2 1 domains, 10830 variables, 1 predicates, 0 relations, 9994 constraints
1.26/1.34 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.26/1.34 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.30/1.42 c 2 Parsing HOME/temp.csp
1.30/1.56 c 2 parsed 10000 expressions
1.30/1.68 c 2 parsed 20000 expressions
1.30/1.80 c 2 parsed 20826 expressions
1.30/1.81 c 2 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.30/1.81 c 2 Converting to clausal form CSP
1.30/1.86 c 2 converted 2083 (10%) expressions
1.30/1.86 c 2 converted 4166 (20%) expressions
1.30/1.87 c 2 converted 6248 (30%) expressions
1.30/1.87 c 2 converted 8331 (40%) expressions
1.30/1.87 c 2 converted 10413 (50%) expressions
2.53/2.65 c 3 converted 12496 (60%) expressions
3.23/3.32 c 4 converted 14579 (70%) expressions
3.91/4.06 c 4 converted 16661 (80%) expressions
4.41/4.60 c 5 converted 18744 (90%) expressions
5.99/6.19 c 6 converted 20826 (100%) expressions
6.08/6.20 c 6 CSP : 34086 integers, 19494 booleans, 105488 clauses, largest domain size 20
6.08/6.20 c 6 Heap : 70 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
6.08/6.20 c 6 Propagation in CSP
6.47/6.68 c 7 8778 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.47/6.68 c 7 CSP : 34086 integers, 19494 booleans, 105488 clauses, largest domain size 20
6.47/6.69 c 7 Heap : 69 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
6.57/6.72 c 7 Simplifing CSP by introducing new Boolean variables
6.57/6.77 c 7 CSP : 34086 integers, 19494 booleans, 105488 clauses, largest domain size 20
6.57/6.77 c 7 Heap : 69 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
7.08/7.29 c 8 Encoding CSP to SAT : HOME/temp.cnf
7.19/7.33 c 8 3409 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.34 c 8 6818 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.34 c 8 10226 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.35 c 8 13635 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.35 c 8 17043 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.36 c 8 20452 (60%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.36 c 8 23861 (70%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.37 c 8 27269 (80%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.19/7.38 c 8 30678 (90%) CSP integer variables are encoded (1361 clauses, 20479 bytes)
7.28/7.41 c 8 34086 (100%) CSP integer variables are encoded (22572 clauses, 338644 bytes)
7.38/7.52 c 8 10549 (10%) CSP clauses are encoded (33121 clauses, 500624 bytes)
7.49/7.60 c 8 21098 (20%) CSP clauses are encoded (43670 clauses, 664920 bytes)
7.49/7.69 c 8 31647 (30%) CSP clauses are encoded (54219 clauses, 831973 bytes)
7.58/7.78 c 8 42196 (40%) CSP clauses are encoded (64768 clauses, 999047 bytes)
7.68/7.86 c 8 52744 (50%) CSP clauses are encoded (75316 clauses, 1166223 bytes)
7.77/7.94 c 8 63293 (60%) CSP clauses are encoded (85865 clauses, 1333382 bytes)
7.87/8.03 c 8 73842 (70%) CSP clauses are encoded (96414 clauses, 1500684 bytes)
7.97/8.11 c 8 84391 (80%) CSP clauses are encoded (106963 clauses, 1668146 bytes)
7.97/8.19 c 8 94940 (90%) CSP clauses are encoded (117512 clauses, 1837232 bytes)
67.86/68.68 c 69 105488 (100%) CSP clauses are encoded (2276637 clauses, 72832040 bytes)
67.86/68.68 c 69 105488 CSP clauses encoded
67.86/68.68 c 69 Writing map file : HOME/temp.map
67.95/68.73 c 69 Heap : 58 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
67.95/68.73 c 69 SAT : 76152 SAT variables, 2276637 SAT clauses, 72832040 bytes
67.95/68.73 c 69 Heap : 58 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
67.95/68.79 c 69 SOLVING HOME/temp.cnf
67.95/68.79 c 69 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
154.51/156.14 c 156 DECODING HOME/temp.out WITH HOME/temp.map
154.51/156.14 c 156 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'
154.60/156.24 c 157 Decoding HOME/temp.out
154.99/156.67 s SATISFIABLE
155.30/156.92 v 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 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 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
155.30/156.93 c 157 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
155.30/156.96 c 157 CPU 155.36 (0.1 0.06 136.73 18.47)
155.30/156.96 c 157 END Sun Jul 12 09:27:04 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086349-1247383467/watcher-2086349-1247383467 -o /tmp/evaluation-result-2086349-1247383467/solver-2086349-1247383467 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2086349-1247383467.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.05 2.00 2.00 4/74 25680
/proc/meminfo: memFree=1895040/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=18576 CPUtime=0
/proc/25680/stat : 25680 (runsolver) R 25678 25680 25114 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 25410039 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 250968861991 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25680/statm: 4644 284 249 26 0 2626 0
[startup+0.106091 s]
/proc/loadavg: 2.05 2.00 2.00 4/74 25680
/proc/meminfo: memFree=1895040/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=0.06
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1227 128 0 0 5 1 0 0 21 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.200824 s]
/proc/loadavg: 2.05 2.00 2.00 4/74 25680
/proc/meminfo: memFree=1895040/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=0.06
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1227 128 0 0 5 1 0 0 21 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301834 s]
/proc/loadavg: 2.05 2.00 2.00 4/74 25680
/proc/meminfo: memFree=1895040/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=0.06
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1227 128 0 0 5 1 0 0 21 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701874 s]
/proc/loadavg: 2.05 2.00 2.00 4/74 25680
/proc/meminfo: memFree=1895040/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=0.06
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1227 128 0 0 5 1 0 0 21 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50195 s]
/proc/loadavg: 2.05 2.00 2.00 3/85 25692
/proc/meminfo: memFree=1864232/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=1.3
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1309 11112 0 1 5 1 118 6 16 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 16868
[startup+3.10211 s]
/proc/loadavg: 2.05 2.00 2.00 4/85 25702
/proc/meminfo: memFree=1869096/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=1.3
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1309 11112 0 1 5 1 118 6 15 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
[pid=25693] ppid=25680 vsize=5356 CPUtime=0
/proc/25693/stat : 25693 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25410174 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25693/statm: 1339 233 193 169 0 50 0
[pid=25694] ppid=25693 vsize=868636 CPUtime=1.73
/proc/25694/stat : 25694 (java) S 25693 25680 25114 0 -1 0 12711 0 1 0 167 6 0 0 18 0 9 0 25410174 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25694/statm: 217159 11649 2566 9 0 211664 0
[pid=25694/tid=25695] ppid=25693 vsize=868636 CPUtime=0.95
/proc/25694/task/25695/stat : 25695 (java) R 25693 25680 25114 0 -1 64 2912 0 1 0 93 2 0 0 25 0 9 0 25410175 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4126579524 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25696] ppid=25693 vsize=868636 CPUtime=0.54
/proc/25694/task/25696/stat : 25696 (java) S 25693 25680 25114 0 -1 64 7598 0 0 0 52 2 0 0 16 0 9 0 25410176 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25697] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25697/stat : 25697 (java) S 25693 25680 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25410176 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25698] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25698/stat : 25698 (java) S 25693 25680 25114 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 25410176 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25699] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25699/stat : 25699 (java) S 25693 25680 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25410178 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25700] ppid=25693 vsize=868636 CPUtime=0.2
/proc/25694/task/25700/stat : 25700 (java) S 25693 25680 25114 0 -1 64 1499 0 0 0 20 0 0 0 16 0 9 0 25410179 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25701] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25701/stat : 25701 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25410179 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25702] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25702/stat : 25702 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25410179 889483264 11649 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 890860
[startup+6.30142 s]
/proc/loadavg: 2.12 2.02 2.00 3/85 25702
/proc/meminfo: memFree=1810856/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=1.3
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1310 11112 0 1 5 1 118 6 16 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
[pid=25693] ppid=25680 vsize=5356 CPUtime=0
/proc/25693/stat : 25693 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25410174 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25693/statm: 1339 233 193 169 0 50 0
[pid=25694] ppid=25693 vsize=868636 CPUtime=4.88
/proc/25694/stat : 25694 (java) S 25693 25680 25114 0 -1 0 25502 0 1 0 476 12 0 0 18 0 9 0 25410174 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25694/statm: 217159 23735 2566 9 0 211664 0
[pid=25694/tid=25695] ppid=25693 vsize=868636 CPUtime=2.98
/proc/25694/task/25695/stat : 25695 (java) R 25693 25680 25114 0 -1 64 3695 0 1 0 295 3 0 0 25 0 9 0 25410175 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4126554144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25696] ppid=25693 vsize=868636 CPUtime=1.65
/proc/25694/task/25696/stat : 25696 (java) S 25693 25680 25114 0 -1 64 19584 0 0 0 157 8 0 0 16 0 9 0 25410176 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25697] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25697/stat : 25697 (java) S 25693 25680 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25410176 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25698] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25698/stat : 25698 (java) S 25693 25680 25114 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 25410176 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25699] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25699/stat : 25699 (java) S 25693 25680 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25410178 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25700] ppid=25693 vsize=868636 CPUtime=0.23
/proc/25694/task/25700/stat : 25700 (java) S 25693 25680 25114 0 -1 64 1521 0 0 0 23 0 0 0 16 0 9 0 25410179 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25701] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25701/stat : 25701 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25410179 889483264 23735 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25702] ppid=25693 vsize=868636 CPUtime=0
/proc/25694/task/25702/stat : 25702 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25410179 889483264 23735 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) 890860
[startup+12.702 s]
/proc/loadavg: 2.11 2.02 2.00 3/85 25702
/proc/meminfo: memFree=1796520/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=1.31
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1310 11112 0 1 6 1 118 6 15 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
[pid=25693] ppid=25680 vsize=5356 CPUtime=0
/proc/25693/stat : 25693 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25410174 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25693/statm: 1339 233 193 169 0 50 0
[pid=25694] ppid=25693 vsize=868748 CPUtime=11.21
/proc/25694/stat : 25694 (java) S 25693 25680 25114 0 -1 0 35101 0 1 0 1097 24 0 0 18 0 9 0 25410174 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25694/statm: 217187 24018 2591 9 0 211664 0
[pid=25694/tid=25695] ppid=25693 vsize=868748 CPUtime=8.68
/proc/25694/task/25695/stat : 25695 (java) R 25693 25680 25114 0 -1 64 3836 0 1 0 858 10 0 0 25 0 9 0 25410175 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4126795593 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25696] ppid=25693 vsize=868748 CPUtime=2.21
/proc/25694/task/25696/stat : 25696 (java) S 25693 25680 25114 0 -1 64 29009 0 0 0 209 12 0 0 16 0 9 0 25410176 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25697] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25697/stat : 25697 (java) S 25693 25680 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25410176 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25698] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25698/stat : 25698 (java) S 25693 25680 25114 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25410176 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25699] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25699/stat : 25699 (java) S 25693 25680 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25410178 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25700] ppid=25693 vsize=868748 CPUtime=0.28
/proc/25694/task/25700/stat : 25700 (java) S 25693 25680 25114 0 -1 64 1554 0 0 0 28 0 0 0 16 0 9 0 25410179 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25701] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25701/stat : 25701 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25410179 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25702] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25702/stat : 25702 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25410179 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 890972
[startup+25.5023 s]
/proc/loadavg: 2.09 2.01 2.00 3/85 25702
/proc/meminfo: memFree=1780584/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=1.31
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1310 11112 0 1 6 1 118 6 15 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
[pid=25693] ppid=25680 vsize=5356 CPUtime=0
/proc/25693/stat : 25693 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25410174 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25693/statm: 1339 233 193 169 0 50 0
[pid=25694] ppid=25693 vsize=868748 CPUtime=23.87
/proc/25694/stat : 25694 (java) S 25693 25680 25114 0 -1 0 35213 0 1 0 2353 34 0 0 18 0 9 0 25410174 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25694/statm: 217187 24018 2591 9 0 211664 0
[pid=25694/tid=25695] ppid=25693 vsize=868748 CPUtime=21.29
/proc/25694/task/25695/stat : 25695 (java) R 25693 25680 25114 0 -1 64 3948 0 1 0 2110 19 0 0 25 0 9 0 25410175 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4126554238 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25696] ppid=25693 vsize=868748 CPUtime=2.27
/proc/25694/task/25696/stat : 25696 (java) S 25693 25680 25114 0 -1 64 29009 0 0 0 214 13 0 0 16 0 9 0 25410176 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25697] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25697/stat : 25697 (java) S 25693 25680 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25410176 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25698] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25698/stat : 25698 (java) S 25693 25680 25114 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25410176 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25699] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25699/stat : 25699 (java) S 25693 25680 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25410178 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25700] ppid=25693 vsize=868748 CPUtime=0.28
/proc/25694/task/25700/stat : 25700 (java) S 25693 25680 25114 0 -1 64 1554 0 0 0 28 0 0 0 16 0 9 0 25410179 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25701] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25701/stat : 25701 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25410179 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25694/tid=25702] ppid=25693 vsize=868748 CPUtime=0
/proc/25694/task/25702/stat : 25702 (java) S 25693 25680 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25410179 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 890972
[startup+51.1028 s]
/proc/loadavg: 2.06 2.01 2.00 3/85 25702
/proc/meminfo: memFree=1753256/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=1.31
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1310 11112 0 1 6 1 118 6 15 0 1 0 25410039 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1111 409 3 0 796 0
[pid=25693] ppid=25680 vsize=5356 CPUtime=0
/proc/25693/stat : 25693 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25410174 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25693/statm: 1339 233 193 169 0 50 0
[pid=25694] ppid=25693 vsize=868748 CPUtime=49.23
/proc/25694/stat : 25694 (java) S 25693 25680 25114 0 -1 0 35423 0 1 0 4872 51 0 0 18 0 9 0 25410174 889597952 24018 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25694/statm: 217187 24018 2591 9 0 211664 0
################
# More data... #
################
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=103508 CPUtime=33.3
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25022 0 0 0 1568 1762 0 0 25 0 1 0 25416919 105992192 24952 996147200 134512640 134931368 4294956256 18446744073709551615 134525870 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 25877 24952 42 102 0 25772 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 125732
[startup+128.001 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 25704
/proc/meminfo: memFree=1717544/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=113640 CPUtime=58.66
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25424 0 0 0 4103 1763 0 0 25 0 1 0 25416919 116367360 25337 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 28410 25337 48 102 0 28305 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 135864
[startup+140.803 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 25704
/proc/meminfo: memFree=1716456/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=114684 CPUtime=71.34
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25691 0 0 0 5371 1763 0 0 25 0 1 0 25416919 117436416 25604 996147200 134512640 134931368 4294956256 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 28671 25604 48 102 0 28566 0
Current children cumulated CPU time (s) 139.35
Current children cumulated vsize (KiB) 136908
[startup+147.201 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 25704
/proc/meminfo: memFree=1715944/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=115336 CPUtime=77.68
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25832 0 0 0 6005 1763 0 0 25 0 1 0 25416919 118104064 25745 996147200 134512640 134931368 4294956256 18446744073709551615 134525823 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 28834 25745 48 102 0 28729 0
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (KiB) 137560
[startup+153.602 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 25704
/proc/meminfo: memFree=1715432/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=115728 CPUtime=84.02
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25931 0 0 0 6639 1763 0 0 25 0 1 0 25416919 118505472 25844 996147200 134512640 134931368 4294956256 18446744073709551615 134525820 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 28932 25844 48 102 0 28827 0
Current children cumulated CPU time (s) 152.03
Current children cumulated vsize (KiB) 137952
[startup+155.207 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 25704
/proc/meminfo: memFree=1715368/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=115860 CPUtime=85.6
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25962 0 0 0 6797 1763 0 0 25 0 1 0 25416919 118640640 25875 996147200 134512640 134931368 4294956256 18446744073709551615 134530822 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 28965 25875 48 102 0 28860 0
Current children cumulated CPU time (s) 153.61
Current children cumulated vsize (KiB) 138084
[startup+156.002 s]
/proc/loadavg: 2.01 2.00 2.00 3/77 25704
/proc/meminfo: memFree=1715368/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=68.01
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1365 46988 0 2 6 1 6722 72 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25703] ppid=25680 vsize=5356 CPUtime=0
/proc/25703/stat : 25703 (sh) S 25680 25680 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25416918 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25703/statm: 1339 232 193 169 0 50 0
[pid=25704] ppid=25703 vsize=116116 CPUtime=86.4
/proc/25704/stat : 25704 (picosat) R 25703 25680 25114 0 -1 4194304 25982 0 0 0 6877 1763 0 0 25 0 1 0 25416919 118902784 25895 996147200 134512640 134931368 4294956256 18446744073709551615 134544839 0 0 4096 0 0 0 0 17 1 0 0
/proc/25704/statm: 29029 25895 48 102 0 28924 0
Current children cumulated CPU time (s) 154.41
Current children cumulated vsize (KiB) 138340
[startup+156.402 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 25710
/proc/meminfo: memFree=1815560/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=154.57
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1446 73263 0 2 6 1 13612 1838 16 0 1 0 25410039 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1113 409 3 0 796 0
[pid=25705] ppid=25680 vsize=5356 CPUtime=0
/proc/25705/stat : 25705 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25425654 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25705/statm: 1339 233 193 169 0 50 0
[pid=25706] ppid=25705 vsize=862012 CPUtime=0.22
/proc/25706/stat : 25706 (java) S 25705 25680 25114 0 -1 0 2985 0 1 0 20 2 0 0 18 0 9 0 25425655 882700288 2457 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25706/statm: 215503 2457 1251 9 0 210416 0
[pid=25706/tid=25707] ppid=25705 vsize=862012 CPUtime=0.2
/proc/25706/task/25707/stat : 25707 (java) R 25705 25680 25114 0 -1 64 2011 0 1 0 19 1 0 0 18 0 9 0 25425656 882700288 2457 996147200 134512640 134550932 4294955984 18446744073709551615 4125960398 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25708] ppid=25705 vsize=862012 CPUtime=0
/proc/25706/task/25708/stat : 25708 (java) S 25705 25680 25114 0 -1 64 73 0 0 0 0 0 0 0 16 0 9 0 25425657 882700288 2457 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25709] ppid=25705 vsize=862012 CPUtime=0
/proc/25706/task/25709/stat : 25709 (java) S 25705 25680 25114 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 25425657 882700288 2457 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25710] ppid=25705 vsize=862012 CPUtime=0
/proc/25706/task/25710/stat : 25710 (java) S 25705 25680 25114 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 25425657 882700288 2457 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 154.79
Current children cumulated vsize (KiB) 884236
[startup+156.802 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 25710
/proc/meminfo: memFree=1815560/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=154.6
/proc/25680/stat : 25680 (sugar) S 25678 25680 25114 0 -1 4194304 1450 73263 0 2 7 3 13612 1838 15 0 1 0 25410039 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25680/statm: 4217 1115 409 3 0 796 0
[pid=25705] ppid=25680 vsize=5356 CPUtime=0
/proc/25705/stat : 25705 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25425654 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25705/statm: 1339 233 193 169 0 50 0
[pid=25706] ppid=25705 vsize=862756 CPUtime=0.59
/proc/25706/stat : 25706 (java) S 25705 25680 25114 0 -1 0 3800 0 1 0 55 4 0 0 18 0 9 0 25425655 883462144 3256 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25706/statm: 215689 3256 1290 9 0 210602 0
[pid=25706/tid=25707] ppid=25705 vsize=862756 CPUtime=0.45
/proc/25706/task/25707/stat : 25707 (java) R 25705 25680 25114 0 -1 64 2059 0 1 0 42 3 0 0 21 0 9 0 25425656 883462144 3256 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25708] ppid=25705 vsize=862756 CPUtime=0.02
/proc/25706/task/25708/stat : 25708 (java) S 25705 25680 25114 0 -1 64 567 0 0 0 2 0 0 0 16 0 9 0 25425657 883462144 3256 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25709] ppid=25705 vsize=862756 CPUtime=0
/proc/25706/task/25709/stat : 25709 (java) S 25705 25680 25114 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 25425657 883462144 3256 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25710] ppid=25705 vsize=862756 CPUtime=0
/proc/25706/task/25710/stat : 25710 (java) S 25705 25680 25114 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25425657 883462144 3256 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 155.19
Current children cumulated vsize (KiB) 884980
[startup+156.902 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 25710
/proc/meminfo: memFree=1815560/2055920 swapFree=4192812/4192956
[pid=25680] ppid=25678 vsize=16868 CPUtime=154.64
/proc/25680/stat : 25680 (sugar) R 25678 25680 25114 0 -1 4194304 1453 73263 0 2 9 5 13612 1838 15 0 1 0 25410039 17272832 1118 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 0 0 0 17 1 0 0
/proc/25680/statm: 4217 1118 409 3 0 796 0
[pid=25705] ppid=25680 vsize=5356 CPUtime=0
/proc/25705/stat : 25705 (sh) S 25680 25680 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25425654 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25705/statm: 1339 233 193 169 0 50 0
[pid=25706] ppid=25705 vsize=862756 CPUtime=0.66
/proc/25706/stat : 25706 (java) S 25705 25680 25114 0 -1 0 3817 0 1 0 59 7 0 0 18 0 9 0 25425655 883462144 3272 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25706/statm: 215689 3272 1290 9 0 210602 0
[pid=25706/tid=25707] ppid=25705 vsize=862756 CPUtime=0.5
/proc/25706/task/25707/stat : 25707 (java) R 25705 25680 25114 0 -1 64 2060 0 1 0 45 5 0 0 21 0 9 0 25425656 883462144 3272 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25708] ppid=25705 vsize=862756 CPUtime=0.02
/proc/25706/task/25708/stat : 25708 (java) S 25705 25680 25114 0 -1 64 583 0 0 0 2 0 0 0 16 0 9 0 25425657 883462144 3272 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25709] ppid=25705 vsize=862756 CPUtime=0
/proc/25706/task/25709/stat : 25709 (java) S 25705 25680 25114 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 25425657 883462144 3272 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25706/tid=25710] ppid=25705 vsize=862756 CPUtime=0
/proc/25706/task/25710/stat : 25710 (java) S 25705 25680 25114 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 25425657 883462144 3272 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 155.3
Current children cumulated vsize (KiB) 884980
Child status: 0
Real time (s): 156.994
CPU time (s): 155.408
CPU user time (s): 136.836
CPU system time (s): 18.5722
CPU usage (%): 98.9899
Max. virtual memory (cumulated for all children) (KiB): 912352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.836
system time used= 18.5722
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79439
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= 21129
involuntary context switches= 24134
runsolver used 0.214967 second user time and 0.495924 second system time
The end
Begin job on node56 at 2009-07-12 09:24:27
IDJOB=2086349
IDBENCH=58584
IDSOLVER=738
FILE ID=node56/2086349-1247383467
PBS_JOBID= 9507300
Free space on /tmp= 103048 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-19-57-9-3-1_glb.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2086349-1247383467/watcher-2086349-1247383467 -o /tmp/evaluation-result-2086349-1247383467/solver-2086349-1247383467 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2086349-1247383467.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a81e65e4b11cfb27534523c361b674f6
RANDOM SEED=1586949745
node56.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.209
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.209
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: 1895520 kB
Buffers: 8896 kB
Cached: 70528 kB
SwapCached: 0 kB
Active: 82024 kB
Inactive: 26840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1895520 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3384 kB
Writeback: 0 kB
Mapped: 39156 kB
Slab: 36776 kB
Committed_AS: 257160 kB
PageTables: 1860 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= 103044 MiB
End job on node56 at 2009-07-12 09:27:04