0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sun Jul 12 09:26:15 2009
0.00/0.08 c 0 PID 27902
0.06/0.08 c 0 HOST node14.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-2086404-1247383575.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2086404-1247383575.xml' 'HOME/temp.csp'
1.16/1.21 c 1 1 domains, 9750 variables, 1 predicates, 0 relations, 9355 constraints
1.16/1.23 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.16/1.23 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.18/1.31 c 1 Parsing HOME/temp.csp
1.18/1.59 c 2 parsed 10000 expressions
1.18/1.76 c 2 parsed 19107 expressions
1.18/1.77 c 2 Heap : 6 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.18/1.77 c 2 Converting to clausal form CSP
1.18/1.81 c 2 converted 1911 (10%) expressions
1.18/1.81 c 2 converted 3822 (20%) expressions
1.18/1.87 c 2 converted 5733 (30%) expressions
1.18/1.87 c 2 converted 7643 (40%) expressions
1.18/1.87 c 2 converted 9554 (50%) expressions
2.51/2.67 c 3 converted 11465 (60%) expressions
3.11/3.28 c 3 converted 13375 (70%) expressions
3.80/3.98 c 4 converted 15286 (80%) expressions
4.30/4.46 c 5 converted 17197 (90%) expressions
5.68/5.81 c 6 converted 19107 (100%) expressions
5.68/5.82 c 6 CSP : 29880 integers, 18000 booleans, 94970 clauses, largest domain size 11
5.68/5.82 c 6 Heap : 59 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
5.68/5.82 c 6 Propagation in CSP
5.98/6.12 c 6 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.98/6.13 c 6 CSP : 29880 integers, 18000 booleans, 94970 clauses, largest domain size 11
5.98/6.13 c 6 Heap : 61 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
5.98/6.16 c 6 Simplifing CSP by introducing new Boolean variables
6.08/6.21 c 6 CSP : 29880 integers, 18000 booleans, 94970 clauses, largest domain size 11
6.08/6.21 c 6 Heap : 60 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
6.48/6.68 c 7 Encoding CSP to SAT : HOME/temp.cnf
6.57/6.72 c 7 2988 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.72 c 7 5976 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.73 c 7 8964 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.73 c 7 11952 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.73 c 7 14940 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.74 c 7 17928 (60%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.74 c 7 20916 (70%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.75 c 7 23904 (80%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.75 c 7 26892 (90%) CSP integer variables are encoded (0 clauses, 64 bytes)
6.57/6.77 c 7 29880 (100%) CSP integer variables are encoded (10170 clauses, 152614 bytes)
6.67/6.88 c 7 9497 (10%) CSP clauses are encoded (19667 clauses, 296164 bytes)
6.77/6.95 c 7 18994 (20%) CSP clauses are encoded (29164 clauses, 442297 bytes)
6.87/7.01 c 7 28491 (30%) CSP clauses are encoded (38661 clauses, 590906 bytes)
6.87/7.08 c 7 37988 (40%) CSP clauses are encoded (48158 clauses, 740966 bytes)
6.97/7.15 c 7 47485 (50%) CSP clauses are encoded (57655 clauses, 891013 bytes)
7.06/7.22 c 7 56982 (60%) CSP clauses are encoded (67152 clauses, 1041068 bytes)
7.06/7.29 c 7 66479 (70%) CSP clauses are encoded (76649 clauses, 1191122 bytes)
7.16/7.36 c 7 75976 (80%) CSP clauses are encoded (86146 clauses, 1341175 bytes)
7.26/7.42 c 7 85473 (90%) CSP clauses are encoded (95643 clauses, 1491230 bytes)
85.57/86.53 c 87 94970 (100%) CSP clauses are encoded (2376975 clauses, 79659832 bytes)
85.57/86.53 c 87 94970 CSP clauses encoded
85.57/86.53 c 87 Writing map file : HOME/temp.map
85.57/86.57 c 87 Heap : 53 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
85.57/86.57 c 87 SAT : 58050 SAT variables, 2376975 SAT clauses, 79659832 bytes
85.57/86.57 c 87 Heap : 53 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
85.65/86.62 c 87 SOLVING HOME/temp.cnf
85.65/86.62 c 87 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
192.13/194.17 c 194 DECODING HOME/temp.out WITH HOME/temp.map
192.13/194.17 c 194 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'
192.21/194.25 c 194 Decoding HOME/temp.out
192.62/194.67 s SATISFIABLE
192.82/194.90 v 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 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 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 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 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 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 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
192.92/194.91 c 195 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
192.92/194.92 c 195 CPU 192.94 (0.1 0.06 172.31 20.47)
192.92/194.92 c 195 END Sun Jul 12 09:29:30 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2086404-1247383575/watcher-2086404-1247383575 -o /tmp/evaluation-result-2086404-1247383575/solver-2086404-1247383575 -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-2086404-1247383575.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.26 2.07 2.02 4/74 27902
/proc/meminfo: memFree=1834384/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=12268 CPUtime=0
/proc/27902/stat : 27902 (sugar) R 27900 27902 26771 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 25424444 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 212243364862 0 0 4224 0 0 0 0 17 1 0 0
/proc/27902/statm: 3067 316 241 3 0 167 0
[startup+0.08164 s]
/proc/loadavg: 2.26 2.07 2.02 4/74 27902
/proc/meminfo: memFree=1834384/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16740 CPUtime=0.06
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1152 0 0 0 5 1 0 0 18 0 1 0 25424444 17141760 1107 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4185 1107 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.104368 s]
/proc/loadavg: 2.26 2.07 2.02 4/74 27902
/proc/meminfo: memFree=1834384/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=0.06
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.3014 s]
/proc/loadavg: 2.26 2.07 2.02 4/74 27902
/proc/meminfo: memFree=1834384/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=0.06
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.70147 s]
/proc/loadavg: 2.26 2.07 2.02 4/74 27902
/proc/meminfo: memFree=1834384/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=0.06
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.5016 s]
/proc/loadavg: 2.26 2.07 2.02 3/85 27914
/proc/meminfo: memFree=1804920/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=1.18
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1309 10763 0 1 5 1 104 8 16 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 16868
[startup+3.10689 s]
/proc/loadavg: 2.26 2.07 2.02 4/85 27924
/proc/meminfo: memFree=1811512/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=1.18
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1309 10763 0 1 5 1 104 8 15 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
[pid=27915] ppid=27902 vsize=5356 CPUtime=0
/proc/27915/stat : 27915 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25424567 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27915/statm: 1339 233 193 169 0 50 0
[pid=27916] ppid=27915 vsize=868632 CPUtime=1.84
/proc/27916/stat : 27916 (java) S 27915 27902 26771 0 -1 0 12515 0 1 0 177 7 0 0 18 0 9 0 25424568 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27916/statm: 217158 11477 2566 9 0 211663 0
[pid=27916/tid=27917] ppid=27915 vsize=868632 CPUtime=1.06
/proc/27916/task/27917/stat : 27917 (java) R 27915 27902 26771 0 -1 64 2894 0 1 0 104 2 0 0 25 0 9 0 25424569 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27918] ppid=27915 vsize=868632 CPUtime=0.56
/proc/27916/task/27918/stat : 27918 (java) R 27915 27902 26771 0 -1 64 7450 0 0 0 53 3 0 0 15 0 9 0 25424570 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 104196240 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27919] ppid=27915 vsize=868632 CPUtime=0
/proc/27916/task/27919/stat : 27919 (java) S 27915 27902 26771 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25424570 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27920] ppid=27915 vsize=868632 CPUtime=0
/proc/27916/task/27920/stat : 27920 (java) S 27915 27902 26771 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 25424570 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27921] ppid=27915 vsize=868632 CPUtime=0
/proc/27916/task/27921/stat : 27921 (java) S 27915 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25424572 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27922] ppid=27915 vsize=868632 CPUtime=0.19
/proc/27916/task/27922/stat : 27922 (java) S 27915 27902 26771 0 -1 64 1469 0 0 0 19 0 0 0 16 0 9 0 25424572 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27923] ppid=27915 vsize=868632 CPUtime=0
/proc/27916/task/27923/stat : 27923 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25424572 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27924] ppid=27915 vsize=868632 CPUtime=0
/proc/27916/task/27924/stat : 27924 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25424572 889479168 11477 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 890856
[startup+6.30244 s]
/proc/loadavg: 2.24 2.07 2.02 4/85 27924
/proc/meminfo: memFree=1756664/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=1.19
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1310 10763 0 1 6 1 104 8 15 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
[pid=27915] ppid=27902 vsize=5356 CPUtime=0
/proc/27915/stat : 27915 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25424567 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27915/statm: 1339 233 193 169 0 50 0
[pid=27916] ppid=27915 vsize=874764 CPUtime=4.99
/proc/27916/stat : 27916 (java) S 27915 27902 26771 0 -1 0 26946 0 1 0 485 14 0 0 18 0 9 0 25424568 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27916/statm: 218691 23783 2567 9 0 213196 0
[pid=27916/tid=27917] ppid=27915 vsize=874764 CPUtime=3.07
/proc/27916/task/27917/stat : 27917 (java) R 27915 27902 26771 0 -1 64 3636 0 1 0 304 3 0 0 25 0 9 0 25424569 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27918] ppid=27915 vsize=874764 CPUtime=1.66
/proc/27916/task/27918/stat : 27918 (java) R 27915 27902 26771 0 -1 64 21114 0 0 0 157 9 0 0 16 0 9 0 25424570 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 103731910 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27919] ppid=27915 vsize=874764 CPUtime=0
/proc/27916/task/27919/stat : 27919 (java) S 27915 27902 26771 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25424570 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27920] ppid=27915 vsize=874764 CPUtime=0
/proc/27916/task/27920/stat : 27920 (java) S 27915 27902 26771 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25424570 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27921] ppid=27915 vsize=874764 CPUtime=0
/proc/27916/task/27921/stat : 27921 (java) S 27915 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25424572 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27922] ppid=27915 vsize=874764 CPUtime=0.22
/proc/27916/task/27922/stat : 27922 (java) S 27915 27902 26771 0 -1 64 1494 0 0 0 22 0 0 0 15 0 9 0 25424572 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27923] ppid=27915 vsize=874764 CPUtime=0
/proc/27916/task/27923/stat : 27923 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25424572 895758336 23783 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27924] ppid=27915 vsize=874764 CPUtime=0
/proc/27916/task/27924/stat : 27924 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25424572 895758336 23783 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) 896988
[startup+12.7025 s]
/proc/loadavg: 2.22 2.07 2.01 3/85 27924
/proc/meminfo: memFree=1743352/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=1.19
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1310 10763 0 1 6 1 104 8 15 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
[pid=27915] ppid=27902 vsize=5356 CPUtime=0
/proc/27915/stat : 27915 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25424567 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27915/statm: 1339 233 193 169 0 50 0
[pid=27916] ppid=27915 vsize=868744 CPUtime=11.31
/proc/27916/stat : 27916 (java) S 27915 27902 26771 0 -1 0 29673 0 1 0 1110 21 0 0 18 0 9 0 25424568 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27916/statm: 217186 22319 2591 9 0 211663 0
[pid=27916/tid=27917] ppid=27915 vsize=868744 CPUtime=8.95
/proc/27916/task/27917/stat : 27917 (java) R 27915 27902 26771 0 -1 64 3768 0 1 0 886 9 0 0 25 0 9 0 25424569 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4127120624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27918] ppid=27915 vsize=868744 CPUtime=2.06
/proc/27916/task/27918/stat : 27918 (java) S 27915 27902 26771 0 -1 64 23676 0 0 0 196 10 0 0 16 0 9 0 25424570 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27919] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27919/stat : 27919 (java) S 27915 27902 26771 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25424570 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27920] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27920/stat : 27920 (java) S 27915 27902 26771 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25424570 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27921] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27921/stat : 27921 (java) S 27915 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27922] ppid=27915 vsize=868744 CPUtime=0.27
/proc/27916/task/27922/stat : 27922 (java) S 27915 27902 26771 0 -1 64 1527 0 0 0 27 0 0 0 16 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27923] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27923/stat : 27923 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27924] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27924/stat : 27924 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 890968
[startup+25.5028 s]
/proc/loadavg: 2.17 2.07 2.01 3/85 27924
/proc/meminfo: memFree=1729976/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=1.19
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1310 10763 0 1 6 1 104 8 15 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
[pid=27915] ppid=27902 vsize=5356 CPUtime=0
/proc/27915/stat : 27915 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25424567 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27915/statm: 1339 233 193 169 0 50 0
[pid=27916] ppid=27915 vsize=868744 CPUtime=23.99
/proc/27916/stat : 27916 (java) S 27915 27902 26771 0 -1 0 29780 0 1 0 2370 29 0 0 18 0 9 0 25424568 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27916/statm: 217186 22319 2591 9 0 211663 0
[pid=27916/tid=27917] ppid=27915 vsize=868744 CPUtime=21.57
/proc/27916/task/27917/stat : 27917 (java) R 27915 27902 26771 0 -1 64 3875 0 1 0 2141 16 0 0 25 0 9 0 25424569 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4126796452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27918] ppid=27915 vsize=868744 CPUtime=2.12
/proc/27916/task/27918/stat : 27918 (java) S 27915 27902 26771 0 -1 64 23676 0 0 0 201 11 0 0 16 0 9 0 25424570 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27919] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27919/stat : 27919 (java) S 27915 27902 26771 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25424570 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27920] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27920/stat : 27920 (java) S 27915 27902 26771 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25424570 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27921] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27921/stat : 27921 (java) S 27915 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27922] ppid=27915 vsize=868744 CPUtime=0.27
/proc/27916/task/27922/stat : 27922 (java) S 27915 27902 26771 0 -1 64 1527 0 0 0 27 0 0 0 16 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27923] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27923/stat : 27923 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27924] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27924/stat : 27924 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25424572 889593856 22319 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) 890968
[startup+51.1022 s]
/proc/loadavg: 2.11 2.06 2.01 3/85 27924
/proc/meminfo: memFree=1706808/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=1.19
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1310 10763 0 1 6 1 104 8 15 0 1 0 25424444 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1111 409 3 0 796 0
[pid=27915] ppid=27902 vsize=5356 CPUtime=0
/proc/27915/stat : 27915 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25424567 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27915/statm: 1339 233 193 169 0 50 0
[pid=27916] ppid=27915 vsize=868744 CPUtime=49.33
/proc/27916/stat : 27916 (java) S 27915 27902 26771 0 -1 0 29975 0 1 0 4886 47 0 0 18 0 9 0 25424568 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27916/statm: 217186 22319 2591 9 0 211663 0
################
# More data... #
################
/proc/27916/task/27922/stat : 27922 (java) S 27915 27902 26771 0 -1 64 1527 0 0 0 27 0 0 0 16 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27923] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27923/stat : 27923 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27916/tid=27924] ppid=27915 vsize=868744 CPUtime=0
/proc/27916/task/27924/stat : 27924 (java) S 27915 27902 26771 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25424572 889593856 22319 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 890968
[startup+102.307 s]
/proc/loadavg: 2.05 2.05 2.01 3/77 27926
/proc/meminfo: memFree=1702656/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=85.68
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1365 41320 0 2 7 1 8483 77 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27925] ppid=27902 vsize=5356 CPUtime=0
/proc/27925/stat : 27925 (sh) S 27902 27902 26771 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25433106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27925/statm: 1339 232 193 169 0 50 0
[pid=27926] ppid=27925 vsize=49072 CPUtime=15.52
/proc/27926/stat : 27926 (picosat) R 27925 27902 26771 0 -1 4194304 12015 0 0 0 716 836 0 0 25 0 1 0 25433106 50249728 11971 996147200 134512640 134931368 4294956256 18446744073709551615 134545638 0 0 4096 0 0 0 0 17 1 0 0
/proc/27926/statm: 12268 11971 40 102 0 12163 0
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (KiB) 71296
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/77 27926
/proc/meminfo: memFree=1641472/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=85.68
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1365 41320 0 2 7 1 8483 77 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27925] ppid=27902 vsize=5356 CPUtime=0
/proc/27925/stat : 27925 (sh) S 27902 27902 26771 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25433106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27925/statm: 1339 232 193 169 0 50 0
[pid=27926] ppid=27925 vsize=117240 CPUtime=74.95
/proc/27926/stat : 27926 (picosat) R 27925 27902 26771 0 -1 4194304 27171 0 0 0 5535 1960 0 0 25 0 1 0 25433106 120053760 27088 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27926/statm: 29310 27088 48 102 0 29205 0
Current children cumulated CPU time (s) 160.63
Current children cumulated vsize (KiB) 139464
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 2.01 2.04 2.00 3/77 27926
/proc/meminfo: memFree=1640960/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=85.68
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1365 41320 0 2 7 1 8483 77 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27925] ppid=27902 vsize=5356 CPUtime=0
/proc/27925/stat : 27925 (sh) S 27902 27902 26771 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25433106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27925/statm: 1339 232 193 169 0 50 0
[pid=27926] ppid=27925 vsize=117768 CPUtime=91.6
/proc/27926/stat : 27926 (picosat) R 27925 27902 26771 0 -1 4194304 27288 0 0 0 7199 1961 0 0 25 0 1 0 25433106 120594432 27205 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27926/statm: 29442 27205 48 102 0 29337 0
Current children cumulated CPU time (s) 177.28
Current children cumulated vsize (KiB) 139992
[startup+185.502 s]
/proc/loadavg: 2.01 2.03 2.00 3/77 27926
/proc/meminfo: memFree=1640896/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=85.68
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1365 41320 0 2 7 1 8483 77 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27925] ppid=27902 vsize=5356 CPUtime=0
/proc/27925/stat : 27925 (sh) S 27902 27902 26771 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25433106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27925/statm: 1339 232 193 169 0 50 0
[pid=27926] ppid=27925 vsize=117900 CPUtime=97.94
/proc/27926/stat : 27926 (picosat) R 27925 27902 26771 0 -1 4194304 27335 0 0 0 7833 1961 0 0 25 0 1 0 25433106 120729600 27252 996147200 134512640 134931368 4294956256 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 1 0 0
/proc/27926/statm: 29475 27252 48 102 0 29370 0
Current children cumulated CPU time (s) 183.62
Current children cumulated vsize (KiB) 140124
[startup+191.902 s]
/proc/loadavg: 2.01 2.03 2.00 3/77 27926
/proc/meminfo: memFree=1640704/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=85.68
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1365 41320 0 2 7 1 8483 77 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27925] ppid=27902 vsize=5356 CPUtime=0
/proc/27925/stat : 27925 (sh) S 27902 27902 26771 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25433106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27925/statm: 1339 232 193 169 0 50 0
[pid=27926] ppid=27925 vsize=118164 CPUtime=104.27
/proc/27926/stat : 27926 (picosat) R 27925 27902 26771 0 -1 4194304 27402 0 0 0 8466 1961 0 0 25 0 1 0 25433106 120999936 27319 996147200 134512640 134931368 4294956256 18446744073709551615 134525760 0 0 4096 0 0 0 0 17 1 0 0
/proc/27926/statm: 29541 27319 48 102 0 29436 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (KiB) 140388
[startup+193.502 s]
/proc/loadavg: 2.01 2.03 2.00 3/77 27926
/proc/meminfo: memFree=1640576/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=85.68
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1365 41320 0 2 7 1 8483 77 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27925] ppid=27902 vsize=5356 CPUtime=0
/proc/27925/stat : 27925 (sh) S 27902 27902 26771 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25433106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27925/statm: 1339 232 193 169 0 50 0
[pid=27926] ppid=27925 vsize=118164 CPUtime=105.86
/proc/27926/stat : 27926 (picosat) R 27925 27902 26771 0 -1 4194304 27414 0 0 0 8625 1961 0 0 25 0 1 0 25433106 120999936 27331 996147200 134512640 134931368 4294956256 18446744073709551615 134525875 0 0 4096 0 0 0 0 17 1 0 0
/proc/27926/statm: 29541 27331 48 102 0 29436 0
Current children cumulated CPU time (s) 191.54
Current children cumulated vsize (KiB) 140388
[startup+194.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/77 27926
/proc/meminfo: memFree=1640576/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=192.21
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1446 69045 0 2 7 1 17173 2040 16 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 192.21
Current children cumulated vsize (KiB) 16868
[startup+194.708 s]
/proc/loadavg: 2.01 2.03 2.00 4/85 27936
/proc/meminfo: memFree=1742272/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=192.22
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1448 69045 0 2 7 2 17173 2040 15 0 1 0 25424444 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1113 409 3 0 796 0
[pid=27927] ppid=27902 vsize=5356 CPUtime=0
/proc/27927/stat : 27927 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25443861 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27927/statm: 1339 233 193 169 0 50 0
[pid=27928] ppid=27927 vsize=862288 CPUtime=0.5
/proc/27928/stat : 27928 (java) S 27927 27902 26771 0 -1 0 3611 0 1 0 48 2 0 0 18 0 9 0 25443862 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27928/statm: 215572 3070 1284 9 0 210485 0
[pid=27928/tid=27929] ppid=27927 vsize=862288 CPUtime=0.38
/proc/27928/task/27929/stat : 27929 (java) R 27927 27902 26771 0 -1 64 2057 0 1 0 37 1 0 0 20 0 9 0 25443863 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4125956630 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27930] ppid=27927 vsize=862288 CPUtime=0.01
/proc/27928/task/27930/stat : 27930 (java) S 27927 27902 26771 0 -1 64 514 0 0 0 1 0 0 0 16 0 9 0 25443864 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27931] ppid=27927 vsize=862288 CPUtime=0
/proc/27928/task/27931/stat : 27931 (java) S 27927 27902 26771 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 25443864 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27932] ppid=27927 vsize=862288 CPUtime=0
/proc/27928/task/27932/stat : 27932 (java) S 27927 27902 26771 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 25443864 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27933] ppid=27927 vsize=862288 CPUtime=0
/proc/27928/task/27933/stat : 27933 (java) S 27927 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25443866 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27934] ppid=27927 vsize=862288 CPUtime=0.08
/proc/27928/task/27934/stat : 27934 (java) S 27927 27902 26771 0 -1 64 346 0 0 0 8 0 0 0 16 0 9 0 25443866 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27935] ppid=27927 vsize=862288 CPUtime=0
/proc/27928/task/27935/stat : 27935 (java) S 27927 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25443866 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27936] ppid=27927 vsize=862288 CPUtime=0
/proc/27928/task/27936/stat : 27936 (java) S 27927 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25443866 882982912 3070 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 192.72
Current children cumulated vsize (KiB) 884512
[startup+194.902 s]
/proc/loadavg: 2.01 2.03 2.00 4/85 27936
/proc/meminfo: memFree=1742272/2055920 swapFree=4192812/4192956
[pid=27902] ppid=27900 vsize=16868 CPUtime=192.29
/proc/27902/stat : 27902 (sugar) S 27900 27902 26771 0 -1 4194304 1460 69045 0 2 10 6 17173 2040 15 0 1 0 25424444 17272832 1123 996147200 4194304 4206940 548682068608 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27902/statm: 4217 1123 409 3 0 796 0
[pid=27927] ppid=27902 vsize=5356 CPUtime=0
/proc/27927/stat : 27927 (sh) S 27902 27902 26771 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25443861 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27927/statm: 1339 233 193 169 0 50 0
[pid=27928] ppid=27927 vsize=862756 CPUtime=0.63
/proc/27928/stat : 27928 (java) S 27927 27902 26771 0 -1 0 3772 0 1 0 57 6 0 0 18 0 9 0 25443862 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27928/statm: 215689 3228 1290 9 0 210602 0
[pid=27928/tid=27929] ppid=27927 vsize=862756 CPUtime=0.48
/proc/27928/task/27929/stat : 27929 (java) R 27927 27902 26771 0 -1 64 2059 0 1 0 43 5 0 0 21 0 9 0 25443863 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27930] ppid=27927 vsize=862756 CPUtime=0.01
/proc/27928/task/27930/stat : 27930 (java) S 27927 27902 26771 0 -1 64 538 0 0 0 1 0 0 0 16 0 9 0 25443864 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27931] ppid=27927 vsize=862756 CPUtime=0
/proc/27928/task/27931/stat : 27931 (java) S 27927 27902 26771 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 25443864 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27932] ppid=27927 vsize=862756 CPUtime=0
/proc/27928/task/27932/stat : 27932 (java) S 27927 27902 26771 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 25443864 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27933] ppid=27927 vsize=862756 CPUtime=0
/proc/27928/task/27933/stat : 27933 (java) S 27927 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25443866 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27934] ppid=27927 vsize=862756 CPUtime=0.11
/proc/27928/task/27934/stat : 27934 (java) S 27927 27902 26771 0 -1 64 477 0 0 0 11 0 0 0 16 0 9 0 25443866 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27935] ppid=27927 vsize=862756 CPUtime=0
/proc/27928/task/27935/stat : 27935 (java) S 27927 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 25443866 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27928/tid=27936] ppid=27927 vsize=862756 CPUtime=0
/proc/27928/task/27936/stat : 27936 (java) S 27927 27902 26771 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25443866 883462144 3228 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 192.92
Current children cumulated vsize (KiB) 884980
Child status: 0
Real time (s): 194.965
CPU time (s): 193.006
CPU user time (s): 172.427
CPU system time (s): 20.5789
CPU usage (%): 98.9951
Max. virtual memory (cumulated for all children) (KiB): 902108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.427
system time used= 20.5789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75174
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= 21385
involuntary context switches= 25231
runsolver used 0.26296 second user time and 0.649901 second system time
The end
Begin job on node14 at 2009-07-12 09:26:15
IDJOB=2086404
IDBENCH=58589
IDSOLVER=738
FILE ID=node14/2086404-1247383575
PBS_JOBID= 9507211
Free space on /tmp= 66516 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-25-30-6-5-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-2086404-1247383575/watcher-2086404-1247383575 -o /tmp/evaluation-result-2086404-1247383575/solver-2086404-1247383575 -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-2086404-1247383575.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 98fbe51462cae8914ddc8ad583b672a2
RANDOM SEED=1324959406
node14.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.265
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.265
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: 1834864 kB
Buffers: 29624 kB
Cached: 104676 kB
SwapCached: 0 kB
Active: 95168 kB
Inactive: 72180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1834864 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3388 kB
Writeback: 0 kB
Mapped: 44248 kB
Slab: 38864 kB
Committed_AS: 204624 kB
PageTables: 1916 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= 66516 MiB
End job on node14 at 2009-07-12 09:29:30