0.00/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.07 c 0 BEGIN Sat Jul 11 22:37:26 2009
0.00/0.07 c 0 PID 13578
0.00/0.07 c 0 HOST node22.alineos.net
0.00/0.07 c 0 CONVERTING HOME/instance-2067396-1247344646.xml TO HOME/temp.csp
0.00/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2067396-1247344646.xml' 'HOME/temp.csp'
1.36/1.41 c 2 1 domains, 8904 variables, 211 predicates, 0 relations, 1646 constraints
1.36/1.43 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.36/1.43 c 2 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.39/1.51 c 2 Parsing HOME/temp.csp
2.33/2.41 c 3 parsed 10000 expressions
2.62/2.78 c 3 parsed 10762 expressions
2.62/2.79 c 3 Heap : 24 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.62/2.79 c 3 Converting to clausal form CSP
2.72/2.82 c 3 converted 1077 (10%) expressions
2.72/2.84 c 3 converted 2153 (20%) expressions
2.72/2.84 c 3 converted 3229 (30%) expressions
2.72/2.84 c 3 converted 4305 (40%) expressions
2.72/2.84 c 3 converted 5381 (50%) expressions
2.72/2.84 c 3 converted 6458 (60%) expressions
2.72/2.85 c 3 converted 7534 (70%) expressions
2.72/2.85 c 3 converted 8610 (80%) expressions
3.71/3.83 c 4 converted 9686 (90%) expressions
9.24/9.48 c 10 converted 10762 (100%) expressions
9.24/9.49 c 10 CSP : 44244 integers, 0 booleans, 72326 clauses, largest domain size 124
9.24/9.49 c 10 Heap : 75 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
9.24/9.49 c 10 Propagation in CSP
11.22/11.41 c 12 151535 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.22/11.41 c 12 CSP : 44244 integers, 0 booleans, 72326 clauses, largest domain size 124
11.22/11.41 c 12 Heap : 77 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.22/11.45 c 12 Simplifing CSP by introducing new Boolean variables
11.22/11.49 c 12 CSP : 44244 integers, 0 booleans, 72326 clauses, largest domain size 124
11.22/11.49 c 12 Heap : 75 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.61/11.87 c 12 Encoding CSP to SAT : HOME/temp.cnf
11.72/11.91 c 12 4425 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
11.72/11.92 c 12 8849 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
11.72/11.95 c 12 13274 (30%) CSP integer variables are encoded (19472 clauses, 290565 bytes)
11.72/11.98 c 12 17698 (40%) CSP integer variables are encoded (40266 clauses, 602475 bytes)
11.82/12.02 c 12 22122 (50%) CSP integer variables are encoded (65547 clauses, 981690 bytes)
11.82/12.07 c 12 26547 (60%) CSP integer variables are encoded (96915 clauses, 1493333 bytes)
11.92/12.11 c 12 30971 (70%) CSP integer variables are encoded (121694 clauses, 1914576 bytes)
11.92/12.15 c 12 35396 (80%) CSP integer variables are encoded (149533 clauses, 2387839 bytes)
11.92/12.20 c 12 39820 (90%) CSP integer variables are encoded (182942 clauses, 2955792 bytes)
12.01/12.25 c 12 44244 (100%) CSP integer variables are encoded (222008 clauses, 3619914 bytes)
24.58/24.94 c 25 7233 (10%) CSP clauses are encoded (879843 clauses, 22698203 bytes)
49.62/50.27 c 50 14466 (20%) CSP clauses are encoded (1853899 clauses, 53278036 bytes)
51.89/52.51 c 53 21698 (30%) CSP clauses are encoded (2210974 clauses, 61451774 bytes)
60.89/61.68 c 62 28931 (40%) CSP clauses are encoded (2948700 clauses, 81067117 bytes)
105.34/106.57 c 107 36163 (50%) CSP clauses are encoded (4643291 clauses, 136275273 bytes)
109.89/111.13 c 111 43396 (60%) CSP clauses are encoded (5096842 clauses, 148100247 bytes)
111.67/112.93 c 113 50629 (70%) CSP clauses are encoded (5524389 clauses, 158304208 bytes)
115.42/116.78 c 117 57861 (80%) CSP clauses are encoded (6160112 clauses, 174314172 bytes)
125.60/127.08 c 127 65094 (90%) CSP clauses are encoded (7184587 clauses, 202251200 bytes)
148.95/150.64 c 151 72326 (100%) CSP clauses are encoded (8673263 clauses, 245654686 bytes)
148.95/150.64 c 151 72326 CSP clauses encoded
148.95/150.64 c 151 Writing map file : HOME/temp.map
148.95/150.68 c 151 Heap : 52 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
148.95/150.68 c 151 SAT : 266252 SAT variables, 8673263 SAT clauses, 245654686 bytes
148.95/150.68 c 151 Heap : 52 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
149.03/150.73 c 151 SOLVING HOME/temp.cnf
149.03/150.73 c 151 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
260.62/263.44 c 264 DECODING HOME/temp.out WITH HOME/temp.map
260.62/263.44 c 264 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'
260.68/263.52 c 264 Decoding HOME/temp.out
261.31/264.11 s SATISFIABLE
261.51/264.32 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
261.51/264.33 c 265 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
261.51/264.36 c 265 CPU 261.57 (0.08 0.06 202.31 59.12)
261.51/264.36 c 265 END Sat Jul 11 22:41:51 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067396-1247344646/watcher-2067396-1247344646 -o /tmp/evaluation-result-2067396-1247344646/solver-2067396-1247344646 -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-2067396-1247344646.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.03 2.00 4/83 13578
/proc/meminfo: memFree=1766904/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=12272 CPUtime=0
/proc/13578/stat : 13578 (sugar) R 13576 13578 11542 0 -1 4194304 390 0 0 0 0 0 0 0 18 0 1 0 21531111 12566528 358 996147200 4194304 4206940 548682068608 18446744073709551615 272485930432 0 0 4224 0 0 0 0 17 0 0 0
/proc/13578/statm: 3068 364 274 3 0 168 0
[startup+0.0176381 s]
/proc/loadavg: 1.98 2.03 2.00 4/83 13578
/proc/meminfo: memFree=1766904/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=12544 CPUtime=0
/proc/13578/stat : 13578 (sugar) R 13576 13578 11542 0 -1 4194304 501 0 0 0 0 0 0 0 18 0 1 0 21531111 12845056 469 996147200 4194304 4206940 548682068608 18446744073709551615 272485791945 0 0 4224 0 0 0 0 17 0 0 0
/proc/13578/statm: 3136 469 298 3 0 236 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12544
[startup+0.102671 s]
/proc/loadavg: 1.98 2.03 2.00 4/83 13578
/proc/meminfo: memFree=1766904/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=0.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1227 128 0 0 5 1 0 0 18 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301677 s]
/proc/loadavg: 1.98 2.03 2.00 4/83 13578
/proc/meminfo: memFree=1766904/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=0.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1227 128 0 0 5 1 0 0 18 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.70174 s]
/proc/loadavg: 1.98 2.03 2.00 4/83 13578
/proc/meminfo: memFree=1766904/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=0.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1227 128 0 0 5 1 0 0 18 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50286 s]
/proc/loadavg: 1.98 2.03 2.00 3/94 13590
/proc/meminfo: memFree=1741784/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=1.39
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1292 9417 0 1 5 1 126 7 16 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 16868
[startup+3.10209 s]
/proc/loadavg: 1.98 2.03 2.00 3/94 13600
/proc/meminfo: memFree=1744984/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=1.39
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1309 9417 0 1 5 1 126 7 15 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
[pid=13591] ppid=13578 vsize=5356 CPUtime=0
/proc/13591/stat : 13591 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21531255 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13591/statm: 1339 233 193 169 0 50 0
[pid=13592] ppid=13591 vsize=867396 CPUtime=1.63
/proc/13592/stat : 13592 (java) S 13591 13578 11542 0 -1 0 13420 0 1 0 156 7 0 0 18 0 9 0 21531255 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13592/statm: 216849 12514 2569 9 0 211354 0
[pid=13592/tid=13593] ppid=13591 vsize=867396 CPUtime=0.89
/proc/13592/task/13593/stat : 13593 (java) R 13591 13578 11542 0 -1 64 2919 0 1 0 88 1 0 0 25 0 9 0 21531256 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13594] ppid=13591 vsize=867396 CPUtime=0.57
/proc/13592/task/13594/stat : 13594 (java) S 13591 13578 11542 0 -1 64 8669 0 0 0 53 4 0 0 16 0 9 0 21531257 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13595] ppid=13591 vsize=867396 CPUtime=0
/proc/13592/task/13595/stat : 13595 (java) S 13591 13578 11542 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21531257 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13596] ppid=13591 vsize=867396 CPUtime=0
/proc/13592/task/13596/stat : 13596 (java) S 13591 13578 11542 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 21531257 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13597] ppid=13591 vsize=867396 CPUtime=0
/proc/13592/task/13597/stat : 13597 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21531259 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13598] ppid=13591 vsize=867396 CPUtime=0.14
/proc/13592/task/13598/stat : 13598 (java) R 13591 13578 11542 0 -1 64 1128 0 0 0 14 0 0 0 16 0 9 0 21531259 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 102046932 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13599] ppid=13591 vsize=867396 CPUtime=0
/proc/13592/task/13599/stat : 13599 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 21531259 888213504 12514 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13600] ppid=13591 vsize=867396 CPUtime=0
/proc/13592/task/13600/stat : 13600 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 21531259 888213504 12514 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) 889620
[startup+6.30156 s]
/proc/loadavg: 1.98 2.03 2.00 3/94 13600
/proc/meminfo: memFree=1700568/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=1.39
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1309 9417 0 1 5 1 126 7 16 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
[pid=13591] ppid=13578 vsize=5356 CPUtime=0
/proc/13591/stat : 13591 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21531255 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13591/statm: 1339 233 193 169 0 50 0
[pid=13592] ppid=13591 vsize=868628 CPUtime=4.79
/proc/13592/stat : 13592 (java) S 13591 13578 11542 0 -1 0 20516 0 1 0 467 12 0 0 18 0 9 0 21531255 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13592/statm: 217157 19455 2566 9 0 211662 0
[pid=13592/tid=13593] ppid=13591 vsize=868628 CPUtime=3.42
/proc/13592/task/13593/stat : 13593 (java) R 13591 13578 11542 0 -1 64 3286 0 1 0 340 2 0 0 25 0 9 0 21531256 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4126562912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13594] ppid=13591 vsize=868628 CPUtime=1.15
/proc/13592/task/13594/stat : 13594 (java) S 13591 13578 11542 0 -1 64 15018 0 0 0 108 7 0 0 16 0 9 0 21531257 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13595] ppid=13591 vsize=868628 CPUtime=0
/proc/13592/task/13595/stat : 13595 (java) S 13591 13578 11542 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21531257 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13596] ppid=13591 vsize=868628 CPUtime=0
/proc/13592/task/13596/stat : 13596 (java) S 13591 13578 11542 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21531257 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13597] ppid=13591 vsize=868628 CPUtime=0
/proc/13592/task/13597/stat : 13597 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21531259 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13598] ppid=13591 vsize=868628 CPUtime=0.19
/proc/13592/task/13598/stat : 13598 (java) S 13591 13578 11542 0 -1 64 1508 0 0 0 18 1 0 0 16 0 9 0 21531259 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13599] ppid=13591 vsize=868628 CPUtime=0
/proc/13592/task/13599/stat : 13599 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 21531259 889475072 19455 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13600] ppid=13591 vsize=868628 CPUtime=0
/proc/13592/task/13600/stat : 13600 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 21531259 889475072 19455 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) 890852
[startup+12.7025 s]
/proc/loadavg: 2.06 2.04 2.01 3/94 13600
/proc/meminfo: memFree=1664224/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=1.39
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1310 9417 0 1 5 1 126 7 16 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
[pid=13591] ppid=13578 vsize=5356 CPUtime=0
/proc/13591/stat : 13591 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21531255 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13591/statm: 1339 233 193 169 0 50 0
[pid=13592] ppid=13591 vsize=868740 CPUtime=11.12
/proc/13592/stat : 13592 (java) S 13591 13578 11542 0 -1 0 38130 0 1 0 1088 24 0 0 18 0 9 0 21531255 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13592/statm: 217185 26432 2591 9 0 211662 0
[pid=13592/tid=13593] ppid=13591 vsize=868740 CPUtime=8.33
/proc/13592/task/13593/stat : 13593 (java) R 13591 13578 11542 0 -1 64 3901 0 1 0 828 5 0 0 25 0 9 0 21531256 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4127058613 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13594] ppid=13591 vsize=868740 CPUtime=2.51
/proc/13592/task/13594/stat : 13594 (java) S 13591 13578 11542 0 -1 64 31986 0 0 0 235 16 0 0 16 0 9 0 21531257 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13595] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13595/stat : 13595 (java) S 13591 13578 11542 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21531257 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13596] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13596/stat : 13596 (java) S 13591 13578 11542 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21531257 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13597] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13597/stat : 13597 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21531259 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13598] ppid=13591 vsize=868740 CPUtime=0.24
/proc/13592/task/13598/stat : 13598 (java) S 13591 13578 11542 0 -1 64 1539 0 0 0 23 1 0 0 16 0 9 0 21531259 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13599] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13599/stat : 13599 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 21531259 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13600] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13600/stat : 13600 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 21531259 889589760 26432 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 890964
[startup+25.5023 s]
/proc/loadavg: 2.05 2.04 2.01 3/94 13600
/proc/meminfo: memFree=1642080/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=1.39
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1310 9417 0 1 5 1 126 7 16 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
[pid=13591] ppid=13578 vsize=5356 CPUtime=0
/proc/13591/stat : 13591 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21531255 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13591/statm: 1339 233 193 169 0 50 0
[pid=13592] ppid=13591 vsize=868740 CPUtime=23.78
/proc/13592/stat : 13592 (java) S 13591 13578 11542 0 -1 0 38268 0 1 0 2342 36 0 0 18 0 9 0 21531255 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13592/statm: 217185 26440 2591 9 0 211662 0
[pid=13592/tid=13593] ppid=13591 vsize=868740 CPUtime=20.91
/proc/13592/task/13593/stat : 13593 (java) R 13591 13578 11542 0 -1 64 4031 0 1 0 2075 16 0 0 25 0 9 0 21531256 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4126557036 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13594] ppid=13591 vsize=868740 CPUtime=2.58
/proc/13592/task/13594/stat : 13594 (java) S 13591 13578 11542 0 -1 64 31986 0 0 0 241 17 0 0 16 0 9 0 21531257 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13595] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13595/stat : 13595 (java) S 13591 13578 11542 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21531257 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13596] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13596/stat : 13596 (java) S 13591 13578 11542 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21531257 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13597] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13597/stat : 13597 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21531259 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13598] ppid=13591 vsize=868740 CPUtime=0.26
/proc/13592/task/13598/stat : 13598 (java) S 13591 13578 11542 0 -1 64 1547 0 0 0 25 1 0 0 17 0 9 0 21531259 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13599] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13599/stat : 13599 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 21531259 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13592/tid=13600] ppid=13591 vsize=868740 CPUtime=0
/proc/13592/task/13600/stat : 13600 (java) S 13591 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 21531259 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 890964
[startup+51.102 s]
/proc/loadavg: 2.03 2.04 2.00 3/94 13600
/proc/meminfo: memFree=1611424/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=1.39
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1310 9417 0 1 5 1 126 7 16 0 1 0 21531111 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1111 409 3 0 796 0
[pid=13591] ppid=13578 vsize=5356 CPUtime=0
/proc/13591/stat : 13591 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21531255 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13591/statm: 1339 233 193 169 0 50 0
[pid=13592] ppid=13591 vsize=868740 CPUtime=49.11
/proc/13592/stat : 13592 (java) S 13591 13578 11542 0 -1 0 38504 0 1 0 4854 57 0 0 18 0 9 0 21531255 889589760 26440 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13592/statm: 217185 26440 2591 9 0 211662 0
################
# More data... #
################
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=258716 CPUtime=70.87
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 57234 0 0 0 3283 3804 0 0 25 0 1 0 21546185 264925184 57220 996147200 134512640 134931368 4294956256 18446744073709551615 134604413 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 64679 57220 40 102 0 64574 0
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (KiB) 280940
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 13602
/proc/meminfo: memFree=1261856/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=149.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1365 49345 0 2 6 1 14707 192 17 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13601] ppid=13578 vsize=5356 CPUtime=0
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=282080 CPUtime=78.78
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 63753 0 0 0 3646 4232 0 0 25 0 1 0 21546185 288849920 63739 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 70520 63739 40 102 0 70415 0
Current children cumulated CPU time (s) 227.84
Current children cumulated vsize (KiB) 304304
[startup+243.107 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 13602
/proc/meminfo: memFree=1220640/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=149.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1365 49345 0 2 6 1 14707 192 17 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13601] ppid=13578 vsize=5356 CPUtime=0
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=318116 CPUtime=91.46
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 73699 0 0 0 4236 4910 0 0 25 0 1 0 21546185 325750784 73685 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 79529 73685 40 102 0 79424 0
Current children cumulated CPU time (s) 240.52
Current children cumulated vsize (KiB) 340340
[startup+255.902 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 13602
/proc/meminfo: memFree=1184288/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=149.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1365 49345 0 2 6 1 14707 192 17 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13601] ppid=13578 vsize=5356 CPUtime=0
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=353096 CPUtime=104.13
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 83350 0 0 0 4834 5579 0 0 25 0 1 0 21546185 361570304 83336 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 88274 83336 40 102 0 88169 0
Current children cumulated CPU time (s) 253.19
Current children cumulated vsize (KiB) 375320
[startup+259.102 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 13602
/proc/meminfo: memFree=1173472/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=149.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1365 49345 0 2 6 1 14707 192 17 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13601] ppid=13578 vsize=5356 CPUtime=0
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=360380 CPUtime=107.3
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 85355 0 0 0 5026 5704 0 0 25 0 1 0 21546185 369029120 85341 996147200 134512640 134931368 4294956256 18446744073709551615 134531364 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 90095 85341 42 102 0 89990 0
Current children cumulated CPU time (s) 256.36
Current children cumulated vsize (KiB) 382604
[startup+262.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 13602
/proc/meminfo: memFree=1172192/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=149.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1365 49345 0 2 6 1 14707 192 17 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13601] ppid=13578 vsize=5356 CPUtime=0
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=364492 CPUtime=110.48
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 85743 0 0 0 5343 5705 0 0 25 0 1 0 21546185 373239808 85696 996147200 134512640 134931368 4294956256 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 91123 85696 42 102 0 91018 0
Current children cumulated CPU time (s) 259.54
Current children cumulated vsize (KiB) 386716
[startup+263.103 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 13602
/proc/meminfo: memFree=1172064/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=149.06
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1365 49345 0 2 6 1 14707 192 17 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13601] ppid=13578 vsize=5356 CPUtime=0
/proc/13601/stat : 13601 (sh) S 13578 13578 11542 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21546184 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1339 232 193 169 0 50 0
[pid=13602] ppid=13601 vsize=368592 CPUtime=111.27
/proc/13602/stat : 13602 (picosat) R 13601 13578 11542 0 -1 4194304 85754 0 0 0 5421 5706 0 0 25 0 1 0 21546185 377438208 85707 996147200 134512640 134931368 4294956256 18446744073709551615 134581885 0 0 4096 0 0 0 0 17 1 0 0
/proc/13602/statm: 92148 85707 47 102 0 92043 0
Current children cumulated CPU time (s) 260.33
Current children cumulated vsize (KiB) 390816
[startup+263.903 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 13612
/proc/meminfo: memFree=1506336/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=260.68
/proc/13578/stat : 13578 (sugar) S 13576 13578 11542 0 -1 4194304 1446 135385 0 2 6 1 20157 5904 16 0 1 0 21531111 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13578/statm: 4217 1113 409 3 0 796 0
[pid=13603] ppid=13578 vsize=5356 CPUtime=0
/proc/13603/stat : 13603 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21557455 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13603/statm: 1339 233 193 169 0 50 0
[pid=13604] ppid=13603 vsize=862288 CPUtime=0.43
/proc/13604/stat : 13604 (java) S 13603 13578 11542 0 -1 0 3568 0 1 0 41 2 0 0 18 0 9 0 21557456 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13604/statm: 215572 3028 1281 9 0 210485 0
[pid=13604/tid=13605] ppid=13603 vsize=862288 CPUtime=0.32
/proc/13604/task/13605/stat : 13605 (java) R 13603 13578 11542 0 -1 64 2054 0 1 0 31 1 0 0 19 0 9 0 21557457 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4126580671 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13606] ppid=13603 vsize=862288 CPUtime=0.01
/proc/13604/task/13606/stat : 13606 (java) S 13603 13578 11542 0 -1 64 479 0 0 0 1 0 0 0 16 0 9 0 21557458 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13607] ppid=13603 vsize=862288 CPUtime=0
/proc/13604/task/13607/stat : 13607 (java) S 13603 13578 11542 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 21557458 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13608] ppid=13603 vsize=862288 CPUtime=0
/proc/13604/task/13608/stat : 13608 (java) S 13603 13578 11542 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 21557458 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13609] ppid=13603 vsize=862288 CPUtime=0
/proc/13604/task/13609/stat : 13609 (java) S 13603 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21557461 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13610] ppid=13603 vsize=862288 CPUtime=0.08
/proc/13604/task/13610/stat : 13610 (java) S 13603 13578 11542 0 -1 64 342 0 0 0 8 0 0 0 16 0 9 0 21557461 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13611] ppid=13603 vsize=862288 CPUtime=0
/proc/13604/task/13611/stat : 13611 (java) S 13603 13578 11542 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21557461 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13612] ppid=13603 vsize=862288 CPUtime=0
/proc/13604/task/13612/stat : 13612 (java) S 13603 13578 11542 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21557461 882982912 3028 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 261.11
Current children cumulated vsize (KiB) 884512
[startup+264.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 13612
/proc/meminfo: memFree=1506336/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=260.74
/proc/13578/stat : 13578 (sugar) R 13576 13578 11542 0 -1 4194304 1452 135385 0 2 8 5 20157 5904 15 0 1 0 21531111 17272832 1117 996147200 4194304 4206940 548682068608 18446744073709551615 272476713058 0 0 4224 16386 0 0 0 17 1 0 0
/proc/13578/statm: 4217 1117 409 3 0 796 0
[pid=13603] ppid=13578 vsize=5356 CPUtime=0
/proc/13603/stat : 13603 (sh) S 13578 13578 11542 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21557455 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13603/statm: 1339 233 193 169 0 50 0
[pid=13604] ppid=13603 vsize=862756 CPUtime=0.77
/proc/13604/stat : 13604 (java) S 13603 13578 11542 0 -1 0 3733 0 1 0 72 5 0 0 18 0 9 0 21557456 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13604/statm: 215689 3191 1289 9 0 210602 0
[pid=13604/tid=13605] ppid=13603 vsize=862756 CPUtime=0.63
/proc/13604/task/13605/stat : 13605 (java) R 13603 13578 11542 0 -1 64 2058 0 1 0 59 4 0 0 22 0 9 0 21557457 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13606] ppid=13603 vsize=862756 CPUtime=0.02
/proc/13604/task/13606/stat : 13606 (java) S 13603 13578 11542 0 -1 64 505 0 0 0 2 0 0 0 16 0 9 0 21557458 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13607] ppid=13603 vsize=862756 CPUtime=0
/proc/13604/task/13607/stat : 13607 (java) S 13603 13578 11542 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 21557458 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13608] ppid=13603 vsize=862756 CPUtime=0
/proc/13604/task/13608/stat : 13608 (java) S 13603 13578 11542 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 21557458 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13609] ppid=13603 vsize=862756 CPUtime=0
/proc/13604/task/13609/stat : 13609 (java) S 13603 13578 11542 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21557461 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13610] ppid=13603 vsize=862756 CPUtime=0.11
/proc/13604/task/13610/stat : 13610 (java) S 13603 13578 11542 0 -1 64 477 0 0 0 11 0 0 0 16 0 9 0 21557461 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13611] ppid=13603 vsize=862756 CPUtime=0
/proc/13604/task/13611/stat : 13611 (java) S 13603 13578 11542 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21557461 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13604/tid=13612] ppid=13603 vsize=862756 CPUtime=0
/proc/13604/task/13612/stat : 13612 (java) S 13603 13578 11542 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21557461 883462144 3191 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 261.51
Current children cumulated vsize (KiB) 884980
[startup+264.402 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 13612
/proc/meminfo: memFree=1506336/2055920 swapFree=4192812/4192956
[pid=13578] ppid=13576 vsize=16868 CPUtime=261.62
/proc/13578/stat : 13578 (sugar) R 13576 13578 11542 0 -1 4194304 1485 139928 0 3 8 11 20231 5912 16 0 1 0 21531111 17272832 1123 996147200 4194304 4206940 548682068608 18446744073709551615 272467989545 0 0 4224 16386 0 0 0 17 1 0 0
/proc/13578/statm: 4217 1123 410 3 0 796 0
Current children cumulated CPU time (s) 261.62
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 264.489
CPU time (s): 261.717
CPU user time (s): 202.4
CPU system time (s): 59.317
CPU usage (%): 98.952
Max. virtual memory (cumulated for all children) (KiB): 911340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.4
system time used= 59.317
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141474
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= 30670
involuntary context switches= 35943
runsolver used 0.348946 second user time and 0.882865 second system time
The end
Begin job on node22 at 2009-07-11 22:37:26
IDJOB=2067396
IDBENCH=54655
IDSOLVER=738
FILE ID=node22/2067396-1247344646
PBS_JOBID= 9506651
Free space on /tmp= 66384 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/pseudo/niklas/normalized-air04.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-2067396-1247344646/watcher-2067396-1247344646 -o /tmp/evaluation-result-2067396-1247344646/solver-2067396-1247344646 -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-2067396-1247344646.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5ab497606341b39c5eb15a23e3c3a9f2
RANDOM SEED=2134630189
node22.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.278
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.278
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 : 5636.09
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1767384 kB
Buffers: 14916 kB
Cached: 91776 kB
SwapCached: 0 kB
Active: 213256 kB
Inactive: 27464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1767384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4824 kB
Writeback: 0 kB
Mapped: 149732 kB
Slab: 33068 kB
Committed_AS: 853044 kB
PageTables: 1972 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= 66384 MiB
End job on node22 at 2009-07-11 22:41:51