0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sun Jul 12 09:58:09 2009
0.00/0.08 c 0 PID 26310
0.00/0.08 c 0 HOST node56.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2087163-1247385489.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-2087163-1247385489.xml' 'HOME/temp.csp'
1.12/1.14 c 2 1 domains, 9464 variables, 1 predicates, 0 relations, 8307 constraints
1.12/1.20 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.12/1.20 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.17/1.28 c 2 Parsing HOME/temp.csp
1.17/1.55 c 2 parsed 10000 expressions
1.17/1.71 c 2 parsed 17773 expressions
1.17/1.72 c 2 Heap : 6 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.17/1.72 c 2 Converting to clausal form CSP
1.17/1.77 c 2 converted 1778 (10%) expressions
1.17/1.77 c 2 converted 3555 (20%) expressions
1.17/1.77 c 2 converted 5332 (30%) expressions
1.17/1.77 c 2 converted 7110 (40%) expressions
1.17/1.83 c 2 converted 8887 (50%) expressions
2.43/2.50 c 3 converted 10664 (60%) expressions
2.93/3.09 c 3 converted 12442 (70%) expressions
3.42/3.53 c 4 converted 14219 (80%) expressions
4.02/4.19 c 5 converted 15996 (90%) expressions
5.31/5.41 c 6 converted 17773 (100%) expressions
5.31/5.42 c 6 CSP : 30134 integers, 16224 booleans, 90402 clauses, largest domain size 36
5.31/5.42 c 6 Heap : 57 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
5.31/5.42 c 6 Propagation in CSP
6.10/6.21 c 7 10608 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.10/6.22 c 7 CSP : 30134 integers, 16224 booleans, 90402 clauses, largest domain size 36
6.10/6.22 c 7 Heap : 56 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
6.10/6.25 c 7 Simplifing CSP by introducing new Boolean variables
6.10/6.29 c 7 CSP : 30134 integers, 16224 booleans, 90402 clauses, largest domain size 36
6.10/6.29 c 7 Heap : 62 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
6.59/6.76 c 7 Encoding CSP to SAT : HOME/temp.cnf
6.59/6.80 c 7 3014 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.80 c 7 6027 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.81 c 7 9041 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.81 c 7 12054 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.81 c 7 15067 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.82 c 7 18081 (60%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.82 c 7 21094 (70%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.83 c 7 24108 (80%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.68/6.85 c 7 27121 (90%) CSP integer variables are encoded (10971 clauses, 164629 bytes)
6.68/6.88 c 7 30134 (100%) CSP integer variables are encoded (36426 clauses, 546454 bytes)
6.79/6.98 c 7 9041 (10%) CSP clauses are encoded (45467 clauses, 684057 bytes)
6.89/7.05 c 7 18081 (20%) CSP clauses are encoded (54507 clauses, 826826 bytes)
6.99/7.11 c 7 27121 (30%) CSP clauses are encoded (63547 clauses, 970846 bytes)
6.99/7.18 c 8 36161 (40%) CSP clauses are encoded (72587 clauses, 1114946 bytes)
7.09/7.25 c 8 45201 (50%) CSP clauses are encoded (81627 clauses, 1259178 bytes)
7.18/7.32 c 8 54242 (60%) CSP clauses are encoded (90668 clauses, 1403598 bytes)
7.18/7.39 c 8 63282 (70%) CSP clauses are encoded (99708 clauses, 1548271 bytes)
7.28/7.46 c 8 72322 (80%) CSP clauses are encoded (108748 clauses, 1693594 bytes)
7.38/7.55 c 8 81362 (90%) CSP clauses are encoded (121664 clauses, 1917824 bytes)
31.53/32.00 c 32 90402 (100%) CSP clauses are encoded (1970332 clauses, 56186961 bytes)
31.53/32.00 c 32 90402 CSP clauses encoded
31.62/32.00 c 32 Writing map file : HOME/temp.map
31.62/32.05 c 32 Heap : 50 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
31.62/32.05 c 32 SAT : 82784 SAT variables, 1970332 SAT clauses, 56186961 bytes
31.62/32.05 c 32 Heap : 50 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
31.62/32.07 c 32 SOLVING HOME/temp.cnf
31.62/32.07 c 32 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
152.97/154.59 c 155 DECODING HOME/temp.out WITH HOME/temp.map
152.97/154.59 c 155 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'
153.08/154.67 c 155 Decoding HOME/temp.out
153.57/155.11 s SATISFIABLE
153.76/155.34 v 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 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 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 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 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
153.76/155.35 c 156 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
153.84/155.41 c 156 CPU 153.83 (0.11 0.05 139.23 14.44)
153.84/155.41 c 156 END Sun Jul 12 10:00:45 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087163-1247385489/watcher-2087163-1247385489 -o /tmp/evaluation-result-2087163-1247385489/solver-2087163-1247385489 -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-2087163-1247385489.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: 1.93 1.99 1.99 4/82 26310
/proc/meminfo: memFree=1700672/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=12268 CPUtime=0
/proc/26310/stat : 26310 (sugar) R 26308 26310 25114 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 25612250 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 250969029221 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/26310/statm: 3067 316 241 3 0 167 0
[startup+0.0863311 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 26310
/proc/meminfo: memFree=1700672/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=0.07
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.101336 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 26310
/proc/meminfo: memFree=1700672/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=0.07
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.301354 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 26310
/proc/meminfo: memFree=1700672/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=0.07
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.701394 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 26310
/proc/meminfo: memFree=1700672/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=0.07
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50248 s]
/proc/loadavg: 1.93 1.99 1.99 3/93 26322
/proc/meminfo: memFree=1672488/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=1.17
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1309 10400 0 1 6 1 104 6 16 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 16868
[startup+3.10163 s]
/proc/loadavg: 1.93 1.99 1.99 3/93 26332
/proc/meminfo: memFree=1676648/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=1.17
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1309 10400 0 1 6 1 104 6 15 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
[pid=26323] ppid=26310 vsize=5356 CPUtime=0
/proc/26323/stat : 26323 (sh) S 26310 26310 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25612370 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26323/statm: 1339 233 193 169 0 50 0
[pid=26324] ppid=26323 vsize=868632 CPUtime=1.86
/proc/26324/stat : 26324 (java) S 26323 26310 25114 0 -1 0 12527 0 1 0 179 7 0 0 18 0 9 0 25612370 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26324/statm: 217158 11487 2566 9 0 211663 0
[pid=26324/tid=26325] ppid=26323 vsize=868632 CPUtime=1.07
/proc/26324/task/26325/stat : 26325 (java) R 26323 26310 25114 0 -1 64 2896 0 1 0 106 1 0 0 25 0 9 0 25612371 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4126649288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26326] ppid=26323 vsize=868632 CPUtime=0.57
/proc/26324/task/26326/stat : 26326 (java) S 26323 26310 25114 0 -1 64 7460 0 0 0 54 3 0 0 16 0 9 0 25612373 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26327] ppid=26323 vsize=868632 CPUtime=0
/proc/26324/task/26327/stat : 26327 (java) S 26323 26310 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25612373 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26328] ppid=26323 vsize=868632 CPUtime=0
/proc/26324/task/26328/stat : 26328 (java) S 26323 26310 25114 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 25612373 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26329] ppid=26323 vsize=868632 CPUtime=0
/proc/26324/task/26329/stat : 26329 (java) S 26323 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25612375 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26330] ppid=26323 vsize=868632 CPUtime=0.19
/proc/26324/task/26330/stat : 26330 (java) S 26323 26310 25114 0 -1 64 1469 0 0 0 18 1 0 0 16 0 9 0 25612375 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26331] ppid=26323 vsize=868632 CPUtime=0
/proc/26324/task/26331/stat : 26331 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25612375 889479168 11487 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26332] ppid=26323 vsize=868632 CPUtime=0
/proc/26324/task/26332/stat : 26332 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25612375 889479168 11487 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) 890856
[startup+6.30394 s]
/proc/loadavg: 1.93 1.99 1.99 3/93 26332
/proc/meminfo: memFree=1624104/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=1.17
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1310 10400 0 1 6 1 104 6 15 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
[pid=26323] ppid=26310 vsize=5356 CPUtime=0
/proc/26323/stat : 26323 (sh) S 26310 26310 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25612370 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26323/statm: 1339 233 193 169 0 50 0
[pid=26324] ppid=26323 vsize=868820 CPUtime=5.03
/proc/26324/stat : 26324 (java) S 26323 26310 25114 0 -1 0 23191 0 1 0 491 12 0 0 18 0 9 0 25612370 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26324/statm: 217205 21422 2566 9 0 211710 0
[pid=26324/tid=26325] ppid=26323 vsize=868820 CPUtime=3.16
/proc/26324/task/26325/stat : 26325 (java) R 26323 26310 25114 0 -1 64 3643 0 1 0 314 2 0 0 25 0 9 0 25612371 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26326] ppid=26323 vsize=868820 CPUtime=1.61
/proc/26324/task/26326/stat : 26326 (java) R 26323 26310 25114 0 -1 64 17351 0 0 0 153 8 0 0 15 0 9 0 25612373 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 102500676 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26327] ppid=26323 vsize=868820 CPUtime=0
/proc/26324/task/26327/stat : 26327 (java) S 26323 26310 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25612373 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26328] ppid=26323 vsize=868820 CPUtime=0
/proc/26324/task/26328/stat : 26328 (java) S 26323 26310 25114 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25612373 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26329] ppid=26323 vsize=868820 CPUtime=0
/proc/26324/task/26329/stat : 26329 (java) S 26323 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25612375 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26330] ppid=26323 vsize=868820 CPUtime=0.23
/proc/26324/task/26330/stat : 26330 (java) S 26323 26310 25114 0 -1 64 1495 0 0 0 22 1 0 0 15 0 9 0 25612375 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26331] ppid=26323 vsize=868820 CPUtime=0
/proc/26324/task/26331/stat : 26331 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25612375 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26332] ppid=26323 vsize=868820 CPUtime=0
/proc/26324/task/26332/stat : 26332 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25612375 889671680 21422 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 891044
[startup+12.7016 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 26332
/proc/meminfo: memFree=1608424/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=1.17
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1310 10400 0 1 6 1 104 6 15 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
[pid=26323] ppid=26310 vsize=5356 CPUtime=0
/proc/26323/stat : 26323 (sh) S 26310 26310 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25612370 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26323/statm: 1339 233 193 169 0 50 0
[pid=26324] ppid=26323 vsize=868744 CPUtime=11.35
/proc/26324/stat : 26324 (java) S 26323 26310 25114 0 -1 0 28931 0 1 0 1112 23 0 0 18 0 9 0 25612370 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26324/statm: 217186 21530 2591 9 0 211663 0
[pid=26324/tid=26325] ppid=26323 vsize=868744 CPUtime=8.97
/proc/26324/task/26325/stat : 26325 (java) R 26323 26310 25114 0 -1 64 3788 0 1 0 888 9 0 0 25 0 9 0 25612371 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4126555047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26326] ppid=26323 vsize=868744 CPUtime=2.08
/proc/26324/task/26326/stat : 26326 (java) S 26323 26310 25114 0 -1 64 22913 0 0 0 197 11 0 0 16 0 9 0 25612373 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26327] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26327/stat : 26327 (java) S 26323 26310 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25612373 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26328] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26328/stat : 26328 (java) S 26323 26310 25114 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25612373 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26329] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26329/stat : 26329 (java) S 26323 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26330] ppid=26323 vsize=868744 CPUtime=0.28
/proc/26324/task/26330/stat : 26330 (java) S 26323 26310 25114 0 -1 64 1528 0 0 0 27 1 0 0 16 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26331] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26331/stat : 26331 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26332] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26332/stat : 26332 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25612375 889593856 21530 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) 890968
[startup+25.5028 s]
/proc/loadavg: 1.95 1.99 1.99 3/93 26332
/proc/meminfo: memFree=1579880/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=1.17
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1310 10400 0 1 6 1 104 6 15 0 1 0 25612250 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1111 409 3 0 796 0
[pid=26323] ppid=26310 vsize=5356 CPUtime=0
/proc/26323/stat : 26323 (sh) S 26310 26310 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25612370 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26323/statm: 1339 233 193 169 0 50 0
[pid=26324] ppid=26323 vsize=868744 CPUtime=24.02
/proc/26324/stat : 26324 (java) S 26323 26310 25114 0 -1 0 29099 0 1 0 2361 41 0 0 18 0 9 0 25612370 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26324/statm: 217186 21530 2591 9 0 211663 0
[pid=26324/tid=26325] ppid=26323 vsize=868744 CPUtime=21.54
/proc/26324/task/26325/stat : 26325 (java) R 26323 26310 25114 0 -1 64 3956 0 1 0 2128 26 0 0 25 0 9 0 25612371 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26326] ppid=26323 vsize=868744 CPUtime=2.17
/proc/26324/task/26326/stat : 26326 (java) S 26323 26310 25114 0 -1 64 22913 0 0 0 204 13 0 0 16 0 9 0 25612373 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26327] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26327/stat : 26327 (java) S 26323 26310 25114 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25612373 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26328] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26328/stat : 26328 (java) S 26323 26310 25114 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25612373 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26329] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26329/stat : 26329 (java) S 26323 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26330] ppid=26323 vsize=868744 CPUtime=0.28
/proc/26324/task/26330/stat : 26330 (java) S 26323 26310 25114 0 -1 64 1528 0 0 0 27 1 0 0 16 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26331] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26331/stat : 26331 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26324/tid=26332] ppid=26323 vsize=868744 CPUtime=0
/proc/26324/task/26332/stat : 26332 (java) S 26323 26310 25114 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25612375 889593856 21530 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 890968
[startup+51.1013 s]
/proc/loadavg: 1.97 1.99 1.99 3/85 26334
/proc/meminfo: memFree=1580200/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=68912 CPUtime=18.84
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 15672 0 0 0 878 1006 0 0 25 0 1 0 25615457 70565888 15647 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 17228 15647 40 102 0 17123 0
################
# More data... #
################
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=90804 CPUtime=69.56
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21357 0 0 0 5582 1374 0 0 25 0 1 0 25615457 92983296 21266 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 22701 21266 48 102 0 22596 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 113028
Solver just ended. Dumping a history of the last processes samples
[startup+127.902 s]
/proc/loadavg: 1.99 1.99 1.99 4/85 26334
/proc/meminfo: memFree=1555496/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=91464 CPUtime=94.92
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21538 0 0 0 8118 1374 0 0 25 0 1 0 25615457 93659136 21447 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 22866 21447 48 102 0 22761 0
Current children cumulated CPU time (s) 126.62
Current children cumulated vsize (KiB) 113688
[startup+140.701 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 26334
/proc/meminfo: memFree=1554984/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=91988 CPUtime=107.6
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21662 0 0 0 9386 1374 0 0 25 0 1 0 25615457 94195712 21571 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 22997 21571 48 102 0 22892 0
Current children cumulated CPU time (s) 139.3
Current children cumulated vsize (KiB) 114212
[startup+147.103 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 26334
/proc/meminfo: memFree=1554088/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=92384 CPUtime=113.94
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21766 0 0 0 10020 1374 0 0 25 0 1 0 25615457 94601216 21675 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 23096 21675 48 102 0 22991 0
Current children cumulated CPU time (s) 145.64
Current children cumulated vsize (KiB) 114608
[startup+150.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 26334
/proc/meminfo: memFree=1554344/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=92516 CPUtime=117.11
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21785 0 0 0 10337 1374 0 0 25 0 1 0 25615457 94736384 21694 996147200 134512640 134931368 4294956256 18446744073709551615 134525760 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 23129 21694 48 102 0 23024 0
Current children cumulated CPU time (s) 148.81
Current children cumulated vsize (KiB) 114740
[startup+153.501 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 26334
/proc/meminfo: memFree=1554216/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=92516 CPUtime=120.28
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21793 0 0 0 10654 1374 0 0 25 0 1 0 25615457 94736384 21702 996147200 134512640 134931368 4294956256 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 23129 21702 48 102 0 23024 0
Current children cumulated CPU time (s) 151.98
Current children cumulated vsize (KiB) 114740
[startup+154.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/85 26334
/proc/meminfo: memFree=1554216/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=31.7
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1365 39896 0 2 7 1 3103 59 17 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26333] ppid=26310 vsize=5356 CPUtime=0
/proc/26333/stat : 26333 (sh) S 26310 26310 25114 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25615457 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26333/statm: 1339 232 193 169 0 50 0
[pid=26334] ppid=26333 vsize=92516 CPUtime=121.07
/proc/26334/stat : 26334 (picosat) R 26333 26310 25114 0 -1 4194304 21801 0 0 0 10733 1374 0 0 25 0 1 0 25615457 94736384 21710 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/26334/statm: 23129 21710 48 102 0 23024 0
Current children cumulated CPU time (s) 152.77
Current children cumulated vsize (KiB) 114740
[startup+155.107 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 26344
/proc/meminfo: memFree=1633256/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=153.08
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1446 61999 0 2 7 1 13864 1436 16 0 1 0 25612250 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1113 409 3 0 796 0
[pid=26335] ppid=26310 vsize=5356 CPUtime=0
/proc/26335/stat : 26335 (sh) S 26310 26310 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25627709 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26335/statm: 1339 233 193 169 0 50 0
[pid=26336] ppid=26335 vsize=862288 CPUtime=0.49
/proc/26336/stat : 26336 (java) S 26335 26310 25114 0 -1 0 3608 0 1 0 46 3 0 0 18 0 9 0 25627710 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26336/statm: 215572 3067 1281 9 0 210485 0
[pid=26336/tid=26337] ppid=26335 vsize=862288 CPUtime=0.37
/proc/26336/task/26337/stat : 26337 (java) R 26335 26310 25114 0 -1 64 2055 0 1 0 36 1 0 0 20 0 9 0 25627711 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4125956542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26338] ppid=26335 vsize=862288 CPUtime=0.01
/proc/26336/task/26338/stat : 26338 (java) S 26335 26310 25114 0 -1 64 517 0 0 0 1 0 0 0 16 0 9 0 25627712 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26339] ppid=26335 vsize=862288 CPUtime=0
/proc/26336/task/26339/stat : 26339 (java) S 26335 26310 25114 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 25627712 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26340] ppid=26335 vsize=862288 CPUtime=0
/proc/26336/task/26340/stat : 26340 (java) S 26335 26310 25114 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25627712 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26341] ppid=26335 vsize=862288 CPUtime=0
/proc/26336/task/26341/stat : 26341 (java) S 26335 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25627714 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26342] ppid=26335 vsize=862288 CPUtime=0.07
/proc/26336/task/26342/stat : 26342 (java) S 26335 26310 25114 0 -1 64 342 0 0 0 7 0 0 0 16 0 9 0 25627714 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26343] ppid=26335 vsize=862288 CPUtime=0
/proc/26336/task/26343/stat : 26343 (java) S 26335 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25627714 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26344] ppid=26335 vsize=862288 CPUtime=0
/proc/26336/task/26344/stat : 26344 (java) S 26335 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25627714 882982912 3067 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 153.57
Current children cumulated vsize (KiB) 884512
[startup+155.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 26344
/proc/meminfo: memFree=1633256/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=153.14
/proc/26310/stat : 26310 (sugar) S 26308 26310 25114 0 -1 4194304 1452 61999 0 2 10 4 13864 1436 15 0 1 0 25612250 17272832 1117 996147200 4194304 4206940 548682068608 18446744073709551615 250977759330 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26310/statm: 4217 1117 409 3 0 796 0
[pid=26335] ppid=26310 vsize=5356 CPUtime=0
/proc/26335/stat : 26335 (sh) S 26310 26310 25114 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25627709 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 250968859460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26335/statm: 1339 233 193 169 0 50 0
[pid=26336] ppid=26335 vsize=862756 CPUtime=0.62
/proc/26336/stat : 26336 (java) S 26335 26310 25114 0 -1 0 3761 0 1 0 56 6 0 0 18 0 9 0 25627710 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26336/statm: 215689 3219 1289 9 0 210602 0
[pid=26336/tid=26337] ppid=26335 vsize=862756 CPUtime=0.46
/proc/26336/task/26337/stat : 26337 (java) R 26335 26310 25114 0 -1 64 2058 0 1 0 42 4 0 0 21 0 9 0 25627711 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 102984395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26338] ppid=26335 vsize=862756 CPUtime=0.01
/proc/26336/task/26338/stat : 26338 (java) S 26335 26310 25114 0 -1 64 532 0 0 0 1 0 0 0 16 0 9 0 25627712 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26339] ppid=26335 vsize=862756 CPUtime=0
/proc/26336/task/26339/stat : 26339 (java) S 26335 26310 25114 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 25627712 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26340] ppid=26335 vsize=862756 CPUtime=0
/proc/26336/task/26340/stat : 26340 (java) S 26335 26310 25114 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25627712 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26341] ppid=26335 vsize=862756 CPUtime=0
/proc/26336/task/26341/stat : 26341 (java) S 26335 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25627714 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26342] ppid=26335 vsize=862756 CPUtime=0.11
/proc/26336/task/26342/stat : 26342 (java) S 26335 26310 25114 0 -1 64 477 0 0 0 11 0 0 0 16 0 9 0 25627714 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26343] ppid=26335 vsize=862756 CPUtime=0
/proc/26336/task/26343/stat : 26343 (java) S 26335 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25627714 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26336/tid=26344] ppid=26335 vsize=862756 CPUtime=0
/proc/26336/task/26344/stat : 26344 (java) S 26335 26310 25114 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25627714 883462144 3219 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 153.76
Current children cumulated vsize (KiB) 884980
[startup+155.402 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 26344
/proc/meminfo: memFree=1633256/2055920 swapFree=4192812/4192956
[pid=26310] ppid=26308 vsize=16868 CPUtime=153.84
/proc/26310/stat : 26310 (sugar) R 26308 26310 25114 0 -1 4194304 1486 66570 0 3 11 6 13923 1444 16 0 1 0 25612250 17272832 1124 996147200 4194304 4206940 548682068608 18446744073709551615 250969035817 0 0 4224 16386 0 0 0 17 0 0 0
/proc/26310/statm: 4217 1124 410 3 0 796 0
Current children cumulated CPU time (s) 153.84
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 155.421
CPU time (s): 153.872
CPU user time (s): 139.345
CPU system time (s): 14.5268
CPU usage (%): 99.003
Max. virtual memory (cumulated for all children) (KiB): 902112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 139.345
system time used= 14.5268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68117
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= 17070
involuntary context switches= 22585
runsolver used 0.19297 second user time and 0.532918 second system time
The end
Begin job on node56 at 2009-07-12 09:58:09
IDJOB=2087163
IDBENCH=58698
IDSOLVER=738
FILE ID=node56/2087163-1247385489
PBS_JOBID= 9507300
Free space on /tmp= 103020 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/bibd12-13/normalized-bibd-13-104-24-3-4_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-2087163-1247385489/watcher-2087163-1247385489 -o /tmp/evaluation-result-2087163-1247385489/solver-2087163-1247385489 -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-2087163-1247385489.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 12a33a1d6a8e7e44762cfc0baa67ab6b
RANDOM SEED=857100169
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: 1701152 kB
Buffers: 12108 kB
Cached: 105124 kB
SwapCached: 0 kB
Active: 269624 kB
Inactive: 32700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1701152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3240 kB
Writeback: 0 kB
Mapped: 204496 kB
Slab: 37232 kB
Committed_AS: 414604 kB
PageTables: 2252 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= 103016 MiB
End job on node56 at 2009-07-12 10:00:45