0.00/0.08 c 0 Sugar v1-14-6 + HOME/minisat
0.00/0.08 c 0 BEGIN Sat Jul 11 22:37:36 2009
0.00/0.08 c 0 PID 19753
0.00/0.08 c 0 HOST node50.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2067397-1247344656.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2067397-1247344656.xml' 'HOME/temp.csp'
1.35/1.45 c 2 1 domains, 8904 variables, 211 predicates, 0 relations, 1646 constraints
1.43/1.50 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.43/1.50 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.43/1.58 c 2 Parsing HOME/temp.csp
2.40/2.50 c 3 parsed 10000 expressions
2.70/2.88 c 3 parsed 10762 expressions
2.70/2.89 c 3 Heap : 24 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.70/2.89 c 3 Converting to clausal form CSP
2.79/2.93 c 3 converted 1077 (10%) expressions
2.79/2.94 c 3 converted 2153 (20%) expressions
2.79/2.94 c 3 converted 3229 (30%) expressions
2.79/2.94 c 3 converted 4305 (40%) expressions
2.79/2.94 c 3 converted 5381 (50%) expressions
2.79/2.95 c 3 converted 6458 (60%) expressions
2.79/2.95 c 3 converted 7534 (70%) expressions
2.79/2.95 c 3 converted 8610 (80%) expressions
3.78/3.95 c 4 converted 9686 (90%) expressions
9.26/9.42 c 10 converted 10762 (100%) expressions
9.26/9.43 c 10 CSP : 44244 integers, 0 booleans, 72326 clauses, largest domain size 124
9.26/9.43 c 10 Heap : 75 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
9.26/9.43 c 10 Propagation in CSP
11.03/11.25 c 12 151535 values, 0 unsatisfiable literals, and 0 valid clauses are removed
11.03/11.26 c 12 CSP : 44244 integers, 0 booleans, 72326 clauses, largest domain size 124
11.03/11.26 c 12 Heap : 77 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.03/11.29 c 12 Simplifing CSP by introducing new Boolean variables
11.14/11.33 c 12 CSP : 44244 integers, 0 booleans, 72326 clauses, largest domain size 124
11.14/11.33 c 12 Heap : 75 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.54/11.72 c 12 Encoding CSP to SAT : HOME/temp.cnf
11.54/11.76 c 12 4425 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
11.54/11.77 c 12 8849 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
11.54/11.80 c 12 13274 (30%) CSP integer variables are encoded (19472 clauses, 290565 bytes)
11.64/11.83 c 12 17698 (40%) CSP integer variables are encoded (40266 clauses, 602475 bytes)
11.64/11.86 c 12 22122 (50%) CSP integer variables are encoded (65547 clauses, 981690 bytes)
11.73/11.90 c 12 26547 (60%) CSP integer variables are encoded (96915 clauses, 1493333 bytes)
11.73/11.94 c 12 30971 (70%) CSP integer variables are encoded (121694 clauses, 1914576 bytes)
11.73/11.98 c 12 35396 (80%) CSP integer variables are encoded (149533 clauses, 2387839 bytes)
11.83/12.03 c 12 39820 (90%) CSP integer variables are encoded (182942 clauses, 2955792 bytes)
11.83/12.08 c 12 44244 (100%) CSP integer variables are encoded (222008 clauses, 3619914 bytes)
23.56/23.86 c 24 7233 (10%) CSP clauses are encoded (879843 clauses, 22698203 bytes)
48.03/48.48 c 49 14466 (20%) CSP clauses are encoded (1853899 clauses, 53278036 bytes)
50.02/50.50 c 51 21698 (30%) CSP clauses are encoded (2210974 clauses, 61451774 bytes)
58.73/59.34 c 60 28931 (40%) CSP clauses are encoded (2948700 clauses, 81067117 bytes)
99.69/100.34 c 101 36163 (50%) CSP clauses are encoded (4643291 clauses, 136275273 bytes)
103.87/104.55 c 105 43396 (60%) CSP clauses are encoded (5096842 clauses, 148100247 bytes)
105.56/106.21 c 107 50629 (70%) CSP clauses are encoded (5524389 clauses, 158304208 bytes)
109.06/109.77 c 110 57861 (80%) CSP clauses are encoded (6160112 clauses, 174314172 bytes)
118.52/119.30 c 120 65094 (90%) CSP clauses are encoded (7184587 clauses, 202251200 bytes)
140.30/141.05 c 141 72326 (100%) CSP clauses are encoded (8673263 clauses, 245654686 bytes)
140.30/141.05 c 141 72326 CSP clauses encoded
140.30/141.05 c 141 Writing map file : HOME/temp.map
140.30/141.09 c 141 Heap : 52 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
140.30/141.09 c 141 SAT : 266252 SAT variables, 8673263 SAT clauses, 245654686 bytes
140.30/141.09 c 141 Heap : 52 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
140.39/141.16 c 142 SOLVING HOME/temp.cnf
140.39/141.16 c 142 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
140.39/141.17 c 142 This is MiniSat 2.0 beta
140.39/141.17 c 142 WARNING: for repeatability, setting FPU to use double precision
140.39/141.17 c 142 ============================[ Problem Statistics ]=============================
140.39/141.17 c 142 | |
140.39/141.17 c 142 | Number of variables: 266252 |
140.39/141.17 c 142 | Number of clauses: 8673263 |
146.09/146.99 c 147 | Parsing time: 4.98 s |
146.48/147.36 c 148 ============================[ Search Statistics ]==============================
146.48/147.36 c 148 | Conflicts | ORIGINAL | LEARNT | Progress |
146.48/147.36 c 148 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
146.48/147.36 c 148 ===============================================================================
146.48/147.36 c 148 | 0 | 266252 8673263 37761289 | 2891087 0 nan | 0.000 % |
150.55/151.46 c 152 | 100 | 266220 8673263 37761289 | 3180196 97 6 | 0.017 % |
156.12/157.00 c 157 | 250 | 266173 8673263 37761289 | 3498216 238 5 | 0.078 % |
163.37/164.30 c 165 ===============================================================================
163.37/164.33 c 165 restarts : 3
163.37/164.33 c 165 conflicts : 464 (21 /sec)
163.37/164.33 c 165 decisions : 2454 (0.90 % random) (111 /sec)
163.37/164.33 c 165 propagations : 7967966 (359929 /sec)
163.37/164.33 c 165 conflict literals : 2359 (10.71 % deleted)
163.37/164.33 c 165 Memory used : 444.74 MB
163.37/164.33 c 165 CPU time : 22.1376 s
163.37/164.33 c 165
163.48/164.43 c 165 SATISFIABLE
163.57/164.50 c 165 DECODING HOME/temp.out WITH HOME/temp.map
163.57/164.50 c 165 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'
163.57/164.58 c 165 Decoding HOME/temp.out
164.16/165.15 s SATISFIABLE
164.36/165.36 v 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
164.36/165.37 c 166 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
164.36/165.40 c 166 CPU 164.46 (0.08 0.05 161.42 2.91)
164.36/165.40 c 166 END Sat Jul 11 22:40:22 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067397-1247344656/watcher-2067397-1247344656 -o /tmp/evaluation-result-2067397-1247344656/solver-2067397-1247344656 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2067397-1247344656.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19753
/proc/meminfo: memFree=1696720/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=12000 CPUtime=0
/proc/19753/stat : 19753 (sugar) R 19751 19753 18333 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 21529245 12288000 173 996147200 4194304 4206940 548682068608 18446744073709551615 240577346672 0 0 4224 0 0 0 0 17 1 0 0
/proc/19753/statm: 3000 173 134 3 0 100 0
[startup+0.0889411 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19753
/proc/meminfo: memFree=1696720/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=0.07
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.102947 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19753
/proc/meminfo: memFree=1696720/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=0.07
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.302957 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19753
/proc/meminfo: memFree=1696720/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=0.07
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.703003 s]
/proc/loadavg: 2.00 2.00 2.00 4/74 19753
/proc/meminfo: memFree=1696720/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=0.07
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50216 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 19765
/proc/meminfo: memFree=1671928/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) R 19751 19753 18333 0 -1 4194304 1264 9418 0 1 6 1 129 7 16 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240577473183 0 0 4224 16386 0 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 16868
[startup+3.10121 s]
/proc/loadavg: 2.08 2.02 2.01 3/85 19775
/proc/meminfo: memFree=1676152/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1309 9418 0 1 6 1 129 7 15 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
[pid=19766] ppid=19753 vsize=5356 CPUtime=0
/proc/19766/stat : 19766 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21529395 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19766/statm: 1339 233 193 169 0 50 0
[pid=19767] ppid=19766 vsize=864376 CPUtime=1.57
/proc/19767/stat : 19767 (java) S 19766 19753 18333 0 -1 0 12496 0 1 0 150 7 0 0 18 0 9 0 21529395 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19767/statm: 216094 11607 2568 9 0 210599 0
[pid=19767/tid=19768] ppid=19766 vsize=864376 CPUtime=0.89
/proc/19767/task/19768/stat : 19768 (java) R 19766 19753 18333 0 -1 64 2917 0 1 0 87 2 0 0 25 0 9 0 21529396 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4125979304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19769] ppid=19766 vsize=864376 CPUtime=0.56
/proc/19767/task/19769/stat : 19769 (java) S 19766 19753 18333 0 -1 64 8540 0 0 0 53 3 0 0 16 0 9 0 21529398 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19770] ppid=19766 vsize=864376 CPUtime=0
/proc/19767/task/19770/stat : 19770 (java) S 19766 19753 18333 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21529398 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19771] ppid=19766 vsize=864376 CPUtime=0
/proc/19767/task/19771/stat : 19771 (java) S 19766 19753 18333 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 21529398 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19772] ppid=19766 vsize=864376 CPUtime=0
/proc/19767/task/19772/stat : 19772 (java) S 19766 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21529400 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19773] ppid=19766 vsize=864376 CPUtime=0.08
/proc/19767/task/19773/stat : 19773 (java) S 19766 19753 18333 0 -1 64 337 0 0 0 8 0 0 0 16 0 9 0 21529400 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19774] ppid=19766 vsize=864376 CPUtime=0
/proc/19767/task/19774/stat : 19774 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21529400 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19775] ppid=19766 vsize=864376 CPUtime=0
/proc/19767/task/19775/stat : 19775 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21529400 885121024 11607 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 886600
[startup+6.30249 s]
/proc/loadavg: 2.08 2.02 2.01 3/85 19775
/proc/meminfo: memFree=1631032/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1309 9418 0 1 6 1 129 7 16 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
[pid=19766] ppid=19753 vsize=5356 CPUtime=0
/proc/19766/stat : 19766 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21529395 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19766/statm: 1339 233 193 169 0 50 0
[pid=19767] ppid=19766 vsize=868636 CPUtime=4.73
/proc/19767/stat : 19767 (java) S 19766 19753 18333 0 -1 0 20137 0 1 0 461 12 0 0 18 0 9 0 21529395 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19767/statm: 217159 19096 2566 9 0 211664 0
[pid=19767/tid=19768] ppid=19766 vsize=868636 CPUtime=3.34
/proc/19767/task/19768/stat : 19768 (java) R 19766 19753 18333 0 -1 64 3281 0 1 0 331 3 0 0 25 0 9 0 21529396 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4126557966 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19769] ppid=19766 vsize=868636 CPUtime=1.17
/proc/19767/task/19769/stat : 19769 (java) S 19766 19753 18333 0 -1 64 14660 0 0 0 110 7 0 0 16 0 9 0 21529398 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19770] ppid=19766 vsize=868636 CPUtime=0
/proc/19767/task/19770/stat : 19770 (java) S 19766 19753 18333 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21529398 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19771] ppid=19766 vsize=868636 CPUtime=0
/proc/19767/task/19771/stat : 19771 (java) S 19766 19753 18333 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21529398 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19772] ppid=19766 vsize=868636 CPUtime=0
/proc/19767/task/19772/stat : 19772 (java) S 19766 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21529400 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19773] ppid=19766 vsize=868636 CPUtime=0.18
/proc/19767/task/19773/stat : 19773 (java) S 19766 19753 18333 0 -1 64 1494 0 0 0 18 0 0 0 16 0 9 0 21529400 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19774] ppid=19766 vsize=868636 CPUtime=0
/proc/19767/task/19774/stat : 19774 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21529400 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19775] ppid=19766 vsize=868636 CPUtime=0
/proc/19767/task/19775/stat : 19775 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21529400 889483264 19096 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890860
[startup+12.7021 s]
/proc/loadavg: 2.15 2.03 2.01 4/93 19825
/proc/meminfo: memFree=1672184/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1310 9418 0 1 6 1 129 7 16 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
[pid=19766] ppid=19753 vsize=5356 CPUtime=0
/proc/19766/stat : 19766 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21529395 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19766/statm: 1339 233 193 169 0 50 0
[pid=19767] ppid=19766 vsize=868748 CPUtime=11.09
/proc/19767/stat : 19767 (java) S 19766 19753 18333 0 -1 0 37545 0 1 0 1086 23 0 0 18 0 9 0 21529395 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19767/statm: 217187 26431 2591 9 0 211664 0
[pid=19767/tid=19768] ppid=19766 vsize=868748 CPUtime=8.3
/proc/19767/task/19768/stat : 19768 (java) R 19766 19753 18333 0 -1 64 3904 0 1 0 823 7 0 0 25 0 9 0 21529396 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19769] ppid=19766 vsize=868748 CPUtime=2.54
/proc/19767/task/19769/stat : 19769 (java) S 19766 19753 18333 0 -1 64 31412 0 0 0 239 15 0 0 16 0 9 0 21529398 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19770] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19770/stat : 19770 (java) S 19766 19753 18333 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19771] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19771/stat : 19771 (java) S 19766 19753 18333 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19772] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19772/stat : 19772 (java) S 19766 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21529400 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19773] ppid=19766 vsize=868748 CPUtime=0.23
/proc/19767/task/19773/stat : 19773 (java) R 19766 19753 18333 0 -1 64 1527 0 0 0 23 0 0 0 16 0 9 0 21529400 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 101680828 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19774] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19774/stat : 19774 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21529400 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19775] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19775/stat : 19775 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21529400 889597952 26431 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 890972
[startup+25.5022 s]
/proc/loadavg: 2.20 2.05 2.01 4/93 19825
/proc/meminfo: memFree=1299320/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1310 9418 0 1 6 1 129 7 16 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
[pid=19766] ppid=19753 vsize=5356 CPUtime=0
/proc/19766/stat : 19766 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21529395 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19766/statm: 1339 233 193 169 0 50 0
[pid=19767] ppid=19766 vsize=868748 CPUtime=23.82
/proc/19767/stat : 19767 (java) S 19766 19753 18333 0 -1 0 37689 0 1 0 2344 38 0 0 18 0 9 0 21529395 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19767/statm: 217187 26437 2591 9 0 211664 0
[pid=19767/tid=19768] ppid=19766 vsize=868748 CPUtime=20.94
/proc/19767/task/19768/stat : 19768 (java) R 19766 19753 18333 0 -1 64 4042 0 1 0 2073 21 0 0 25 0 9 0 21529396 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4126553902 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19769] ppid=19766 vsize=868748 CPUtime=2.62
/proc/19767/task/19769/stat : 19769 (java) S 19766 19753 18333 0 -1 64 31412 0 0 0 246 16 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19770] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19770/stat : 19770 (java) S 19766 19753 18333 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19771] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19771/stat : 19771 (java) S 19766 19753 18333 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19772] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19772/stat : 19772 (java) S 19766 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19773] ppid=19766 vsize=868748 CPUtime=0.24
/proc/19767/task/19773/stat : 19773 (java) S 19766 19753 18333 0 -1 64 1533 0 0 0 24 0 0 0 17 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19774] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19774/stat : 19774 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19775] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19775/stat : 19775 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 890972
[startup+51.1024 s]
/proc/loadavg: 2.13 2.04 2.01 3/83 19896
/proc/meminfo: memFree=1677008/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1310 9418 0 1 6 1 129 7 16 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
[pid=19766] ppid=19753 vsize=5356 CPUtime=0
/proc/19766/stat : 19766 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21529395 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19766/statm: 1339 233 193 169 0 50 0
[pid=19767] ppid=19766 vsize=868748 CPUtime=49.28
/proc/19767/stat : 19767 (java) S 19766 19753 18333 0 -1 0 37949 0 1 0 4864 64 0 0 18 0 9 0 21529395 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19767/statm: 217187 26437 2591 9 0 211664 0
[pid=19767/tid=19768] ppid=19766 vsize=868748 CPUtime=46.25
/proc/19767/task/19768/stat : 19768 (java) R 19766 19753 18333 0 -1 64 4302 0 1 0 4580 45 0 0 25 0 9 0 21529396 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4126555678 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19769] ppid=19766 vsize=868748 CPUtime=2.76
/proc/19767/task/19769/stat : 19769 (java) S 19766 19753 18333 0 -1 64 31412 0 0 0 259 17 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19770] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19770/stat : 19770 (java) S 19766 19753 18333 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19771] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19771/stat : 19771 (java) S 19766 19753 18333 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19772] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19772/stat : 19772 (java) S 19766 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19773] ppid=19766 vsize=868748 CPUtime=0.24
/proc/19767/task/19773/stat : 19773 (java) S 19766 19753 18333 0 -1 64 1533 0 0 0 24 0 0 0 17 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19774] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19774/stat : 19774 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19775] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19775/stat : 19775 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 890972
[startup+102.308 s]
/proc/loadavg: 2.05 2.03 2.01 3/83 19896
/proc/meminfo: memFree=1192080/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=1.43
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1310 9418 0 1 6 1 129 7 16 0 1 0 21529245 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19753/statm: 4217 1111 409 3 0 796 0
[pid=19766] ppid=19753 vsize=5356 CPUtime=0
/proc/19766/stat : 19766 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21529395 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19766/statm: 1339 233 193 169 0 50 0
[pid=19767] ppid=19766 vsize=868748 CPUtime=100.24
/proc/19767/stat : 19767 (java) S 19766 19753 18333 0 -1 0 38472 0 1 0 9910 114 0 0 18 0 9 0 21529395 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19767/statm: 217187 26437 2591 9 0 211664 0
[pid=19767/tid=19768] ppid=19766 vsize=868748 CPUtime=96.91
/proc/19767/task/19768/stat : 19768 (java) R 19766 19753 18333 0 -1 64 4825 0 1 0 9601 90 0 0 25 0 9 0 21529396 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4126554071 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19769] ppid=19766 vsize=868748 CPUtime=3.06
/proc/19767/task/19769/stat : 19769 (java) S 19766 19753 18333 0 -1 64 31412 0 0 0 284 22 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19770] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19770/stat : 19770 (java) S 19766 19753 18333 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19771] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19771/stat : 19771 (java) S 19766 19753 18333 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 21529398 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19772] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19772/stat : 19772 (java) S 19766 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19773] ppid=19766 vsize=868748 CPUtime=0.24
/proc/19767/task/19773/stat : 19773 (java) S 19766 19753 18333 0 -1 64 1533 0 0 0 24 0 0 0 17 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19767/tid=19774] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19774/stat : 19774 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19767/tid=19775] ppid=19766 vsize=868748 CPUtime=0
/proc/19767/task/19775/stat : 19775 (java) S 19766 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21529400 889597952 26437 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 890972
[startup+162.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/72 19901
/proc/meminfo: memFree=1137832/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=140.42
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1376 48756 0 2 7 1 13845 189 16 0 1 0 21529245 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1113 409 3 0 796 0
[pid=19897] ppid=19753 vsize=5356 CPUtime=0
/proc/19897/stat : 19897 (sh) S 19753 19753 18333 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21543361 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19897/statm: 1339 232 193 169 0 50 0
[pid=19898] ppid=19897 vsize=454880 CPUtime=20.96
/proc/19898/stat : 19898 (minisat) R 19897 19753 18333 0 -1 4194304 109568 0 0 0 2011 85 0 0 25 0 1 0 21543362 465797120 109554 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 1 0 0
/proc/19898/statm: 113720 109554 75 150 0 113567 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 477104
Solver just ended. Dumping a history of the last processes samples
[startup+163.102 s]
/proc/loadavg: 2.02 2.02 2.00 3/72 19901
/proc/meminfo: memFree=1136232/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=140.42
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1376 48756 0 2 7 1 13845 189 16 0 1 0 21529245 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1113 409 3 0 796 0
[pid=19897] ppid=19753 vsize=5356 CPUtime=0
/proc/19897/stat : 19897 (sh) S 19753 19753 18333 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21543361 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19897/statm: 1339 232 193 169 0 50 0
[pid=19898] ppid=19897 vsize=455016 CPUtime=21.76
/proc/19898/stat : 19898 (minisat) R 19897 19753 18333 0 -1 4194304 109606 0 0 0 2091 85 0 0 25 0 1 0 21543362 465936384 109592 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/19898/statm: 113754 109592 75 150 0 113601 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 477240
[startup+164.701 s]
/proc/loadavg: 2.02 2.02 2.00 3/72 19901
/proc/meminfo: memFree=1134952/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=163.6
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1448 158759 0 2 7 1 16068 284 16 0 1 0 21529245 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 163.6
Current children cumulated vsize (KiB) 16868
[startup+165.101 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 19911
/proc/meminfo: memFree=1563176/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=163.6
/proc/19753/stat : 19753 (sugar) S 19751 19753 18333 0 -1 4194304 1448 158759 0 2 7 1 16068 284 16 0 1 0 21529245 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 240586371170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19753/statm: 4217 1113 409 3 0 796 0
[pid=19902] ppid=19753 vsize=5356 CPUtime=0
/proc/19902/stat : 19902 (sh) S 19753 19753 18333 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21545695 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19902/statm: 1339 233 193 169 0 50 0
[pid=19903] ppid=19902 vsize=862288 CPUtime=0.56
/proc/19903/stat : 19903 (java) S 19902 19753 18333 0 -1 0 3570 0 1 0 54 2 0 0 18 0 9 0 21545695 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19903/statm: 215572 3030 1281 9 0 210485 0
[pid=19903/tid=19904] ppid=19902 vsize=862288 CPUtime=0.45
/proc/19903/task/19904/stat : 19904 (java) R 19902 19753 18333 0 -1 64 2054 0 1 0 44 1 0 0 21 0 9 0 21545696 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4126586942 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19905] ppid=19902 vsize=862288 CPUtime=0.01
/proc/19903/task/19905/stat : 19905 (java) S 19902 19753 18333 0 -1 64 480 0 0 0 1 0 0 0 16 0 9 0 21545698 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19906] ppid=19902 vsize=862288 CPUtime=0
/proc/19903/task/19906/stat : 19906 (java) S 19902 19753 18333 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 21545698 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19907] ppid=19902 vsize=862288 CPUtime=0
/proc/19903/task/19907/stat : 19907 (java) S 19902 19753 18333 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 21545698 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19908] ppid=19902 vsize=862288 CPUtime=0
/proc/19903/task/19908/stat : 19908 (java) S 19902 19753 18333 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21545700 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19909] ppid=19902 vsize=862288 CPUtime=0.08
/proc/19903/task/19909/stat : 19909 (java) S 19902 19753 18333 0 -1 64 343 0 0 0 8 0 0 0 16 0 9 0 21545700 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19910] ppid=19902 vsize=862288 CPUtime=0
/proc/19903/task/19910/stat : 19910 (java) S 19902 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21545700 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19903/tid=19911] ppid=19902 vsize=862288 CPUtime=0
/proc/19903/task/19911/stat : 19911 (java) S 19902 19753 18333 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21545700 882982912 3030 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.16
Current children cumulated vsize (KiB) 884512
[startup+165.501 s]
/proc/loadavg: 2.02 2.02 2.00 3/80 19911
/proc/meminfo: memFree=1563176/2055920 swapFree=4192812/4192956
[pid=19753] ppid=19751 vsize=16868 CPUtime=164.56
/proc/19753/stat : 19753 (sugar) R 19751 19753 18333 0 -1 4194304 1487 163295 0 3 8 15 16142 291 16 0 1 0 21529245 17272832 1123 996147200 4194304 4206940 548682068608 18446744073709551615 240577647657 0 0 4224 16386 0 0 0 17 1 0 0
/proc/19753/statm: 4217 1123 410 3 0 796 0
Current children cumulated CPU time (s) 164.56
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 165.529
CPU time (s): 164.612
CPU user time (s): 161.518
CPU system time (s): 3.09353
CPU usage (%): 99.4457
Max. virtual memory (cumulated for all children) (KiB): 911348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.518
system time used= 3.09353
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164842
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= 30256
involuntary context switches= 29250
runsolver used 0.199969 second user time and 0.582911 second system time
The end
Begin job on node50 at 2009-07-11 22:37:36
IDJOB=2067397
IDBENCH=54655
IDSOLVER=739
FILE ID=node50/2067397-1247344656
PBS_JOBID= 9506757
Free space on /tmp= 66356 MiB
SOLVER NAME= Sugar v1.14.6+minisat
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/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067397-1247344656/watcher-2067397-1247344656 -o /tmp/evaluation-result-2067397-1247344656/solver-2067397-1247344656 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2067397-1247344656.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5ab497606341b39c5eb15a23e3c3a9f2
RANDOM SEED=47403451
node50.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1697328 kB
Buffers: 22844 kB
Cached: 167760 kB
SwapCached: 0 kB
Active: 265508 kB
Inactive: 43156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1697328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 68388 kB
Writeback: 0 kB
Mapped: 129192 kB
Slab: 35036 kB
Committed_AS: 277620 kB
PageTables: 2136 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= 66416 MiB
End job on node50 at 2009-07-11 22:40:22