0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Sat Jul 5 15:18:08 2008
0.00/0.04 c 0 PID 11380
0.00/0.04 c 0 HOST node91.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1091989-1215263888.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1091989-1215263888.xml' 'HOME/temp.csp'
0.03/1.09 c 1 1 domains, 9750 variables, 1 predicates, 0 relations, 9355 constraints
1.06/1.14 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.06/1.14 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.07/1.21 c 1 Parsing HOME/temp.csp
1.07/1.52 c 2 parsed 10000 expressions
1.07/1.87 c 2 parsed 19107 expressions
1.07/1.88 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.07/1.88 c 2 Converting to clausal form CSP
1.07/1.93 c 2 converted 1911 (10%) expressions
1.07/1.93 c 2 converted 3822 (20%) expressions
1.07/1.93 c 2 converted 5733 (30%) expressions
1.07/1.94 c 2 converted 7643 (40%) expressions
1.07/1.94 c 2 converted 9554 (50%) expressions
2.51/2.66 c 3 converted 11465 (60%) expressions
3.11/3.22 c 3 converted 13375 (70%) expressions
3.70/3.87 c 4 converted 15286 (80%) expressions
4.20/4.31 c 5 converted 17197 (90%) expressions
5.89/6.09 c 6 converted 19107 (100%) expressions
5.89/6.09 c 6 CSP : 47330 integers, 18000 booleans, 129870 clauses, largest domain size 16
5.89/6.10 c 6 Heap : 72 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.89/6.10 c 6 Propagation in CSP
6.68/6.87 c 7 28200 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.68/6.88 c 7 CSP : 47330 integers, 18000 booleans, 129870 clauses, largest domain size 16
6.68/6.88 c 7 Heap : 79 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.78/6.91 c 7 Simplifing CSP by introducing new Boolean variables
6.78/6.97 c 7 CSP : 47330 integers, 18000 booleans, 129870 clauses, largest domain size 16
6.78/6.97 c 7 Heap : 81 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.28/7.49 c 8 Encoding CSP to SAT : HOME/temp.cnf
7.37/7.53 c 8 4733 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.37/7.54 c 8 9466 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.37/7.54 c 8 14199 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.37/7.55 c 8 18932 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.37/7.55 c 8 23665 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
7.37/7.57 c 8 28398 (60%) CSP integer variables are encoded (1686 clauses, 25354 bytes)
7.37/7.58 c 8 33131 (70%) CSP integer variables are encoded (11640 clauses, 174664 bytes)
7.37/7.60 c 8 37864 (80%) CSP integer variables are encoded (19270 clauses, 289114 bytes)
7.47/7.61 c 8 42597 (90%) CSP integer variables are encoded (26850 clauses, 402814 bytes)
7.47/7.63 c 8 47330 (100%) CSP integer variables are encoded (34500 clauses, 517564 bytes)
7.58/7.75 c 8 12987 (10%) CSP clauses are encoded (47487 clauses, 714788 bytes)
7.68/7.83 c 8 25974 (20%) CSP clauses are encoded (60474 clauses, 916093 bytes)
7.77/7.91 c 8 38961 (30%) CSP clauses are encoded (73461 clauses, 1121283 bytes)
7.77/7.99 c 8 51948 (40%) CSP clauses are encoded (86448 clauses, 1326484 bytes)
7.87/8.07 c 8 64935 (50%) CSP clauses are encoded (99435 clauses, 1531674 bytes)
7.98/8.16 c 8 77922 (60%) CSP clauses are encoded (112422 clauses, 1736863 bytes)
8.07/8.25 c 8 90909 (70%) CSP clauses are encoded (132317 clauses, 2068500 bytes)
8.36/8.50 c 9 103896 (80%) CSP clauses are encoded (232876 clauses, 3916183 bytes)
8.56/8.73 c 9 116883 (90%) CSP clauses are encoded (320637 clauses, 5538339 bytes)
8.77/8.97 c 9 129870 (100%) CSP clauses are encoded (408400 clauses, 7160521 bytes)
8.77/8.97 c 9 129870 CSP clauses encoded
8.77/8.97 c 9 Writing map file : HOME/temp.map
8.87/9.04 c 9 Heap : 68 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.87/9.04 c 9 SAT : 99830 SAT variables, 408400 SAT clauses, 7160521 bytes
8.87/9.04 c 9 Heap : 68 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.87/9.09 c 9 SOLVING HOME/temp.cnf
8.87/9.09 c 9 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
28.15/28.41 c 29 DECODING HOME/temp.out WITH HOME/temp.map
28.15/28.41 c 29 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
28.15/28.48 c 29 Decoding HOME/temp.out
28.54/28.89 s SATISFIABLE
28.84/29.10 v 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 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 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 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 1 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 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 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 1 0 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 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
28.84/29.11 c 29 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
28.84/29.14 c 29 CPU 26.82 (0.08 0.04 26.74 2)
28.84/29.14 c 29 END Sat Jul 5 15:18:37 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1091989-1215263888/watcher-1091989-1215263888 -o /tmp/evaluation-result-1091989-1215263888/solver-1091989-1215263888 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1091989-1215263888.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.96 1.99 4/81 11380
/proc/meminfo: memFree=1792152/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=12272 CPUtime=0
/proc/11380/stat : 11380 (sugar) R 11378 11380 11246 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 2005355906 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 251610053630 0 0 4224 0 0 0 0 17 0 0 0
/proc/11380/statm: 3068 327 246 3 0 168 0
[startup+0.102195 s]
/proc/loadavg: 1.91 1.96 1.99 4/81 11380
/proc/meminfo: memFree=1792152/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=0.03
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 2005355906 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.201204 s]
/proc/loadavg: 1.91 1.96 1.99 4/81 11380
/proc/meminfo: memFree=1792152/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=0.03
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 2005355906 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301214 s]
/proc/loadavg: 1.91 1.96 1.99 4/81 11380
/proc/meminfo: memFree=1792152/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=0.03
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 2005355906 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701258 s]
/proc/loadavg: 1.91 1.96 1.99 4/81 11380
/proc/meminfo: memFree=1792152/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=0.03
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 900 127 0 0 3 0 0 0 16 0 1 0 2005355906 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50135 s]
/proc/loadavg: 1.91 1.96 1.99 2/92 11392
/proc/meminfo: memFree=1763200/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=1.07
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 973 10688 0 1 3 0 97 7 15 0 1 0 2005355906 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13600
[startup+3.10253 s]
/proc/loadavg: 1.91 1.96 1.99 3/92 11402
/proc/meminfo: memFree=1768704/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=1.07
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 974 10688 0 1 3 0 97 7 15 0 1 0 2005355906 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 797 370 3 0 500 0
[pid=11393] ppid=11380 vsize=5356 CPUtime=0
/proc/11393/stat : 11393 (sh) S 11380 11380 11246 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2005356020 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11393/statm: 1339 233 193 169 0 50 0
[pid=11394] ppid=11393 vsize=868420 CPUtime=1.93
/proc/11394/stat : 11394 (java) S 11393 11380 11246 0 -1 0 12282 0 1 0 186 7 0 0 20 0 9 0 2005356020 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11394/statm: 217105 11095 2540 9 0 211680 0
[pid=11394/tid=11395] ppid=11393 vsize=868420 CPUtime=1.14
/proc/11394/task/11395/stat : 11395 (java) R 11393 11380 11246 0 -1 64 2927 0 1 0 112 2 0 0 25 0 9 0 2005356021 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4126650219 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11396] ppid=11393 vsize=868420 CPUtime=0.56
/proc/11394/task/11396/stat : 11396 (java) S 11393 11380 11246 0 -1 64 7163 0 0 0 53 3 0 0 16 0 9 0 2005356022 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11397] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11397/stat : 11397 (java) S 11393 11380 11246 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2005356022 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11398] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11398/stat : 11398 (java) S 11393 11380 11246 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 2005356022 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11399] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11399/stat : 11399 (java) S 11393 11380 11246 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2005356024 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11400] ppid=11393 vsize=868420 CPUtime=0.19
/proc/11394/task/11400/stat : 11400 (java) S 11393 11380 11246 0 -1 64 1495 0 0 0 19 0 0 0 16 0 9 0 2005356024 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11401] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11401/stat : 11401 (java) S 11393 11380 11246 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 2005356024 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11402] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11402/stat : 11402 (java) S 11393 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2005356024 889262080 11095 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 887376
[startup+6.30289 s]
/proc/loadavg: 2.00 1.98 1.99 3/92 11402
/proc/meminfo: memFree=1712832/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=1.07
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 974 10688 0 1 3 0 97 7 16 0 1 0 2005355906 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 797 370 3 0 500 0
[pid=11393] ppid=11380 vsize=5356 CPUtime=0
/proc/11393/stat : 11393 (sh) S 11380 11380 11246 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2005356020 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11393/statm: 1339 233 193 169 0 50 0
[pid=11394] ppid=11393 vsize=868420 CPUtime=5.12
/proc/11394/stat : 11394 (java) S 11393 11380 11246 0 -1 0 26906 0 1 0 497 15 0 0 20 0 9 0 2005356020 889262080 25217 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11394/statm: 217105 25219 2541 9 0 211680 0
[pid=11394/tid=11395] ppid=11393 vsize=868420 CPUtime=3.17
/proc/11394/task/11395/stat : 11395 (java) R 11393 11380 11246 0 -1 64 3647 0 1 0 315 2 0 0 25 0 9 0 2005356021 889262080 25221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11396] ppid=11393 vsize=868420 CPUtime=1.68
/proc/11394/task/11396/stat : 11396 (java) R 11393 11380 11246 0 -1 64 21052 0 0 0 158 10 0 0 15 0 9 0 2005356022 889262080 25223 996147200 134512640 134550740 4294955952 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11397] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11397/stat : 11397 (java) S 11393 11380 11246 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2005356022 889262080 25225 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11398] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11398/stat : 11398 (java) S 11393 11380 11246 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 2005356022 889262080 25227 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11399] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11399/stat : 11399 (java) S 11393 11380 11246 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2005356024 889262080 25229 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11400] ppid=11393 vsize=868420 CPUtime=0.23
/proc/11394/task/11400/stat : 11400 (java) S 11393 11380 11246 0 -1 64 1516 0 0 0 23 0 0 0 16 0 9 0 2005356024 889262080 25232 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11401] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11401/stat : 11401 (java) S 11393 11380 11246 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 2005356024 889262080 25234 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11394/tid=11402] ppid=11393 vsize=868420 CPUtime=0
/proc/11394/task/11402/stat : 11402 (java) R 11393 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2005356024 889262080 25236 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 887376
[startup+12.7016 s]
/proc/loadavg: 2.00 1.98 1.99 3/84 11404
/proc/meminfo: memFree=1764736/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=8.96
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1022 43419 0 2 4 1 860 31 17 0 1 0 2005355906 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 799 370 3 0 500 0
[pid=11403] ppid=11380 vsize=5356 CPUtime=0
/proc/11403/stat : 11403 (sh) S 11380 11380 11246 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2005356815 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11403/statm: 1339 232 193 169 0 50 0
[pid=11404] ppid=11403 vsize=20428 CPUtime=3.58
/proc/11404/stat : 11404 (picosat) R 11403 11380 11246 0 -1 4194304 4465 0 0 0 197 161 0 0 25 0 1 0 2005356815 20918272 4378 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 0 0 0
/proc/11404/statm: 5107 4378 42 102 0 5002 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 39384
[startup+25.501 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 11404
/proc/meminfo: memFree=1763456/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=8.96
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1022 43419 0 2 4 1 860 31 17 0 1 0 2005355906 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 799 370 3 0 500 0
[pid=11403] ppid=11380 vsize=5356 CPUtime=0
/proc/11403/stat : 11403 (sh) S 11380 11380 11246 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2005356815 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11403/statm: 1339 232 193 169 0 50 0
[pid=11404] ppid=11403 vsize=21360 CPUtime=16.31
/proc/11404/stat : 11404 (picosat) R 11403 11380 11246 0 -1 4194304 4720 0 0 0 1470 161 0 0 25 0 1 0 2005356815 21872640 4631 996147200 134512640 134931368 4294956256 18446744073709551615 134523092 0 0 4096 0 0 0 0 17 0 0 0
/proc/11404/statm: 5340 4631 48 102 0 5235 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 40316
Solver just ended. Dumping a history of the last processes samples
[startup+25.601 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 11404
/proc/meminfo: memFree=1763456/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=8.96
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1022 43419 0 2 4 1 860 31 17 0 1 0 2005355906 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 799 370 3 0 500 0
[pid=11403] ppid=11380 vsize=5356 CPUtime=0
/proc/11403/stat : 11403 (sh) S 11380 11380 11246 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2005356815 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11403/statm: 1339 232 193 169 0 50 0
[pid=11404] ppid=11403 vsize=21360 CPUtime=16.41
/proc/11404/stat : 11404 (picosat) R 11403 11380 11246 0 -1 4194304 4721 0 0 0 1480 161 0 0 25 0 1 0 2005356815 21872640 4632 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/11404/statm: 5340 4632 48 102 0 5235 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 40316
[startup+27.2012 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 11404
/proc/meminfo: memFree=1763456/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=8.96
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1022 43419 0 2 4 1 860 31 17 0 1 0 2005355906 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 799 370 3 0 500 0
[pid=11403] ppid=11380 vsize=5356 CPUtime=0
/proc/11403/stat : 11403 (sh) S 11380 11380 11246 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2005356815 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11403/statm: 1339 232 193 169 0 50 0
[pid=11404] ppid=11403 vsize=21360 CPUtime=18
/proc/11404/stat : 11404 (picosat) R 11403 11380 11246 0 -1 4194304 4750 0 0 0 1639 161 0 0 25 0 1 0 2005356815 21872640 4661 996147200 134512640 134931368 4294956256 18446744073709551615 134525921 0 0 4096 0 0 0 0 17 0 0 0
/proc/11404/statm: 5340 4661 48 102 0 5235 0
Current children cumulated CPU time (s) 26.96
Current children cumulated vsize (KiB) 40316
[startup+28.0013 s]
/proc/loadavg: 2.07 2.00 2.00 3/84 11404
/proc/meminfo: memFree=1763008/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=8.96
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1022 43419 0 2 4 1 860 31 17 0 1 0 2005355906 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11380/statm: 3400 799 370 3 0 500 0
[pid=11403] ppid=11380 vsize=5356 CPUtime=0
/proc/11403/stat : 11403 (sh) S 11380 11380 11246 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2005356815 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11403/statm: 1339 232 193 169 0 50 0
[pid=11404] ppid=11403 vsize=22776 CPUtime=18.79
/proc/11404/stat : 11404 (picosat) R 11403 11380 11246 0 -1 4194304 4829 0 0 0 1718 161 0 0 25 0 1 0 2005356815 23322624 4740 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/11404/statm: 5694 4740 48 102 0 5589 0
Current children cumulated CPU time (s) 27.75
Current children cumulated vsize (KiB) 41732
[startup+28.8024 s]
/proc/loadavg: 2.14 2.02 2.00 4/92 11414
/proc/meminfo: memFree=1776000/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=28.17
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1091 48571 0 2 4 1 2619 193 16 0 1 0 2005355906 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11380/statm: 3400 799 370 3 0 500 0
[pid=11405] ppid=11380 vsize=5356 CPUtime=0
/proc/11405/stat : 11405 (sh) S 11380 11380 11246 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2005358747 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11405/statm: 1339 233 193 169 0 50 0
[pid=11406] ppid=11405 vsize=864144 CPUtime=0.37
/proc/11406/stat : 11406 (java) S 11405 11380 11246 0 -1 0 3994 0 1 0 35 2 0 0 18 0 9 0 2005358747 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11406/statm: 216036 3457 1664 9 0 210618 0
[pid=11406/tid=11407] ppid=11405 vsize=864144 CPUtime=0.29
/proc/11406/task/11407/stat : 11407 (java) R 11405 11380 11246 0 -1 64 2478 0 1 0 28 1 0 0 19 0 9 0 2005358748 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4125977265 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11408] ppid=11405 vsize=864144 CPUtime=0.01
/proc/11406/task/11408/stat : 11408 (java) S 11405 11380 11246 0 -1 64 503 0 0 0 1 0 0 0 16 0 9 0 2005358749 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11409] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11409/stat : 11409 (java) S 11405 11380 11246 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2005358749 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11410] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11410/stat : 11410 (java) S 11405 11380 11246 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2005358749 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11411] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11411/stat : 11411 (java) S 11405 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2005358751 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11412] ppid=11405 vsize=864144 CPUtime=0.05
/proc/11406/task/11412/stat : 11412 (java) S 11405 11380 11246 0 -1 64 322 0 0 0 5 0 0 0 16 0 9 0 2005358751 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11413] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11413/stat : 11413 (java) S 11405 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2005358751 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11414] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11414/stat : 11414 (java) S 11405 11380 11246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2005358751 884883456 3457 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.54
Current children cumulated vsize (KiB) 883100
[startup+29.0024 s]
/proc/loadavg: 2.14 2.02 2.00 4/92 11414
/proc/meminfo: memFree=1776000/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=28.2
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1092 48571 0 2 6 2 2619 193 15 0 1 0 2005355906 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11380/statm: 3400 800 370 3 0 500 0
[pid=11405] ppid=11380 vsize=5356 CPUtime=0
/proc/11405/stat : 11405 (sh) S 11380 11380 11246 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2005358747 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11405/statm: 1339 233 193 169 0 50 0
[pid=11406] ppid=11405 vsize=864144 CPUtime=0.53
/proc/11406/stat : 11406 (java) S 11405 11380 11246 0 -1 0 4039 0 1 0 50 3 0 0 18 0 9 0 2005358747 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11406/statm: 216036 3501 1673 9 0 210618 0
[pid=11406/tid=11407] ppid=11405 vsize=864144 CPUtime=0.41
/proc/11406/task/11407/stat : 11407 (java) R 11405 11380 11246 0 -1 64 2482 0 1 0 39 2 0 0 20 0 9 0 2005358748 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11408] ppid=11405 vsize=864144 CPUtime=0.01
/proc/11406/task/11408/stat : 11408 (java) S 11405 11380 11246 0 -1 64 518 0 0 0 1 0 0 0 16 0 9 0 2005358749 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11409] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11409/stat : 11409 (java) S 11405 11380 11246 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2005358749 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11410] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11410/stat : 11410 (java) S 11405 11380 11246 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2005358749 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11411] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11411/stat : 11411 (java) S 11405 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2005358751 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11412] ppid=11405 vsize=864144 CPUtime=0.08
/proc/11406/task/11412/stat : 11412 (java) S 11405 11380 11246 0 -1 64 347 0 0 0 8 0 0 0 16 0 9 0 2005358751 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11413] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11413/stat : 11413 (java) S 11405 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2005358751 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11414] ppid=11405 vsize=864144 CPUtime=0
/proc/11406/task/11414/stat : 11414 (java) S 11405 11380 11246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2005358751 884883456 3501 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.73
Current children cumulated vsize (KiB) 883100
[startup+29.1024 s]
/proc/loadavg: 2.14 2.02 2.00 4/92 11414
/proc/meminfo: memFree=1776000/2055920 swapFree=4176360/4192956
[pid=11380] ppid=11378 vsize=13600 CPUtime=28.24
/proc/11380/stat : 11380 (sugar) S 11378 11380 11246 0 -1 4194304 1095 48571 0 2 8 4 2619 193 15 0 1 0 2005355906 13926400 803 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11380/statm: 3400 803 370 3 0 500 0
[pid=11405] ppid=11380 vsize=5356 CPUtime=0
/proc/11405/stat : 11405 (sh) S 11380 11380 11246 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2005358747 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11405/statm: 1339 233 193 169 0 50 0
[pid=11406] ppid=11405 vsize=864292 CPUtime=0.6
/proc/11406/stat : 11406 (java) S 11405 11380 11246 0 -1 0 4118 0 1 0 54 6 0 0 18 0 9 0 2005358747 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11406/statm: 216073 3579 1677 9 0 210655 0
[pid=11406/tid=11407] ppid=11405 vsize=864292 CPUtime=0.47
/proc/11406/task/11407/stat : 11407 (java) R 11405 11380 11246 0 -1 64 2483 0 1 0 43 4 0 0 21 0 9 0 2005358748 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11408] ppid=11405 vsize=864292 CPUtime=0.01
/proc/11406/task/11408/stat : 11408 (java) S 11405 11380 11246 0 -1 64 518 0 0 0 1 0 0 0 16 0 9 0 2005358749 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11409] ppid=11405 vsize=864292 CPUtime=0
/proc/11406/task/11409/stat : 11409 (java) S 11405 11380 11246 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2005358749 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11410] ppid=11405 vsize=864292 CPUtime=0
/proc/11406/task/11410/stat : 11410 (java) S 11405 11380 11246 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2005358749 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11411] ppid=11405 vsize=864292 CPUtime=0
/proc/11406/task/11411/stat : 11411 (java) S 11405 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2005358751 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11412] ppid=11405 vsize=864292 CPUtime=0.09
/proc/11406/task/11412/stat : 11412 (java) S 11405 11380 11246 0 -1 64 425 0 0 0 9 0 0 0 16 0 9 0 2005358751 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11413] ppid=11405 vsize=864292 CPUtime=0
/proc/11406/task/11413/stat : 11413 (java) S 11405 11380 11246 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2005358751 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11406/tid=11414] ppid=11405 vsize=864292 CPUtime=0
/proc/11406/task/11414/stat : 11414 (java) S 11405 11380 11246 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2005358751 885035008 3579 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.84
Current children cumulated vsize (KiB) 883248
Child status: 0
Real time (s): 29.1475
CPU time (s): 28.8906
CPU user time (s): 26.8339
CPU system time (s): 2.05669
CPU usage (%): 99.1186
Max. virtual memory (cumulated for all children) (KiB): 899632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8339
system time used= 2.05669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54195
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= 14953
involuntary context switches= 15085
runsolver used 0.028995 second user time and 0.112982 second system time
The end
Begin job on node91 at 2008-07-05 15:18:08
IDJOB=1091989
IDBENCH=58589
IDSOLVER=345
FILE ID=node91/1091989-1215263888
PBS_JOBID= 7882164
Free space on /tmp= 66452 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/bibdVariousK/normalized-bibd-25-30-6-5-1_glb.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1091989-1215263888/watcher-1091989-1215263888 -o /tmp/evaluation-result-1091989-1215263888/solver-1091989-1215263888 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1091989-1215263888.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 98fbe51462cae8914ddc8ad583b672a2
RANDOM SEED=145825493
node91.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.231
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.231
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1792640 kB
Buffers: 19956 kB
Cached: 184756 kB
SwapCached: 7788 kB
Active: 122524 kB
Inactive: 96624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1792640 kB
SwapTotal: 4192956 kB
SwapFree: 4176360 kB
Dirty: 3024 kB
Writeback: 0 kB
Mapped: 21884 kB
Slab: 28848 kB
Committed_AS: 12439556 kB
PageTables: 2188 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= 66448 MiB
End job on node91 at 2008-07-05 15:18:37