0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Wed Jul 16 00:24:59 2008
0.00/0.04 c 0 PID 27584
0.00/0.05 c 0 HOST node55.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1124236-1216160699.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1124236-1216160699.xml' 'HOME/temp.csp'
0.03/0.33 c 0 1 domains, 30 variables, 0 predicates, 109 relations, 109 constraints
0.03/0.38 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.38 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.30/0.46 c 0 Parsing HOME/temp.csp
0.30/0.61 c 1 parsed 249 expressions
0.30/0.61 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.30/0.61 c 1 MAX CSP: 109 constraints
0.30/0.61 c 1 Converting to clausal form CSP
0.30/0.64 c 1 converted 37 (10%) expressions
0.30/0.64 c 1 converted 73 (20%) expressions
0.30/0.64 c 1 converted 109 (30%) expressions
0.30/0.65 c 1 converted 145 (40%) expressions
0.30/0.66 c 1 converted 181 (50%) expressions
0.30/0.67 c 1 converted 217 (60%) expressions
0.30/0.67 c 1 converted 253 (70%) expressions
0.30/0.68 c 1 converted 289 (80%) expressions
0.30/0.68 c 1 converted 325 (90%) expressions
0.30/0.74 c 1 converted 361 (100%) expressions
0.30/0.74 c 1 CSP : 248 integers, 0 booleans, 326 clauses, largest domain size 164
0.30/0.74 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.30/0.74 c 1 Propagation in CSP
0.30/0.76 c 1 104 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.30/0.76 c 1 CSP : 248 integers, 0 booleans, 326 clauses, largest domain size 110
0.30/0.76 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.30/0.76 c 1 Simplifing CSP by introducing new Boolean variables
0.30/0.76 c 1 CSP : 248 integers, 0 booleans, 326 clauses, largest domain size 110
0.30/0.76 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.30/0.79 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.30/0.81 c 1 25 (10%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.30/0.81 c 1 50 (20%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.30/0.81 c 1 75 (30%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.30/0.81 c 1 100 (40%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.30/0.81 c 1 124 (50%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.30/0.81 c 1 149 (60%) CSP integer variables are encoded (367 clauses, 3909 bytes)
0.30/0.82 c 1 174 (70%) CSP integer variables are encoded (472 clauses, 5064 bytes)
0.30/0.82 c 1 199 (80%) CSP integer variables are encoded (623 clauses, 6725 bytes)
0.30/0.82 c 1 224 (90%) CSP integer variables are encoded (1219 clauses, 14152 bytes)
0.30/0.82 c 1 248 (100%) CSP integer variables are encoded (1426 clauses, 16843 bytes)
0.30/0.87 c 1 33 (10%) CSP clauses are encoded (2270 clauses, 33002 bytes)
0.30/0.89 c 1 66 (20%) CSP clauses are encoded (3079 clauses, 49266 bytes)
0.30/0.90 c 1 98 (30%) CSP clauses are encoded (3887 clauses, 66972 bytes)
0.30/0.91 c 1 131 (40%) CSP clauses are encoded (4279 clauses, 74481 bytes)
0.30/0.92 c 1 163 (50%) CSP clauses are encoded (5181 clauses, 87535 bytes)
0.30/0.92 c 1 196 (60%) CSP clauses are encoded (5502 clauses, 91944 bytes)
0.30/0.93 c 1 229 (70%) CSP clauses are encoded (7847 clauses, 127013 bytes)
0.30/0.93 c 1 261 (80%) CSP clauses are encoded (9231 clauses, 146609 bytes)
0.30/0.95 c 1 294 (90%) CSP clauses are encoded (15048 clauses, 245543 bytes)
0.30/0.96 c 1 326 (100%) CSP clauses are encoded (21322 clauses, 358746 bytes)
0.30/0.96 c 1 326 CSP clauses encoded
0.30/0.96 c 1 Writing map file : HOME/temp.map
0.30/0.96 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.30/0.96 c 1 SAT : 1674 SAT variables, 21322 SAT clauses, 358746 bytes
0.30/0.96 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.85/1.01 c 1 OBJECTIVE minimize _COST
0.85/1.01 c 1 OBJECTIVE BOUND: 0 <= _COST <=
0.85/1.01 c 1 SEARCHING: _COST <= 55
0.85/1.01 c 1 SOLVING HOME/temp.cnf
0.85/1.01 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.85/1.01 c 1 This is MiniSat 2.0 beta
0.85/1.01 c 1 WARNING: for repeatability, setting FPU to use double precision
0.85/1.01 c 1 ============================[ Problem Statistics ]=============================
0.85/1.01 c 1 | |
0.85/1.01 c 1 | Number of variables: 1674 |
0.85/1.01 c 1 | Number of clauses: 21323 |
0.85/1.02 c 1 | Parsing time: 0.01 s |
0.85/1.02 c 1 ============================[ Search Statistics ]==============================
0.85/1.02 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.85/1.02 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.85/1.02 c 1 ===============================================================================
0.85/1.02 c 1 | 0 | 1296 14931 45540 | 4977 0 nan | 0.000 % |
0.85/1.03 c 1 ===============================================================================
0.85/1.03 c 1 restarts : 1
0.85/1.03 c 1 conflicts : 66 (4401 /sec)
0.85/1.03 c 1 decisions : 164 (1.83 % random) (10936 /sec)
0.85/1.03 c 1 propagations : 4868 (324598 /sec)
0.85/1.03 c 1 conflict literals : 966 (7.38 % deleted)
0.85/1.03 c 1 Memory used : 2.71 MB
0.85/1.03 c 1 CPU time : 0.014997 s
0.85/1.03 c 1
0.85/1.03 c 1 SATISFIABLE
0.85/1.03 c 1 FOUND: _COST <= 55
0.85/1.03 s SATISFIABLE
0.85/1.03 c 1 DECODING HOME/temp.out WITH HOME/temp.map
0.85/1.03 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
0.91/1.11 c 1 Decoding HOME/temp.out
0.91/1.16 c 1 OBJECTIVE _COST 40
0.91/1.16 o 40
0.91/1.16 v 4 1 8 9 2 6 10 10 4 9 10 6 5 8 9 10 1 10 3 5 5 1 7 5 10 2 8 7 3 7
0.91/1.16 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.91/1.24 c 1 OBJECTIVE BOUND: 0 <= _COST <= 40
0.91/1.24 c 1 SEARCHING: _COST <= 20
0.91/1.24 c 1 SOLVING HOME/temp.cnf
0.91/1.24 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.91/1.25 c 1 This is MiniSat 2.0 beta
0.91/1.25 c 1 WARNING: for repeatability, setting FPU to use double precision
0.91/1.25 c 1 ============================[ Problem Statistics ]=============================
0.91/1.25 c 1 | |
0.91/1.25 c 1 | Number of variables: 1674 |
0.91/1.25 c 1 | Number of clauses: 21323 |
0.91/1.26 c 1 | Parsing time: 0.01 s |
0.91/1.27 c 1 ============================[ Search Statistics ]==============================
0.91/1.27 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.91/1.27 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.91/1.27 c 1 ===============================================================================
0.91/1.27 c 1 | 0 | 994 9189 29185 | 3063 0 nan | 0.000 % |
0.91/1.27 c 1 | 100 | 994 9189 29185 | 3369 100 17 | 40.621 % |
0.91/1.28 c 1 | 251 | 994 9189 29185 | 3706 251 16 | 40.622 % |
0.91/1.29 c 1 | 477 | 994 9189 29185 | 4076 477 16 | 40.622 % |
1.03/1.31 c 1 | 814 | 994 9189 29185 | 4484 814 17 | 40.622 % |
1.03/1.34 c 1 | 1320 | 994 9189 29185 | 4932 1320 18 | 40.622 % |
1.03/1.39 c 1 | 2079 | 994 9189 29185 | 5426 2079 21 | 40.621 % |
1.03/1.47 c 1 | 3218 | 994 9189 29185 | 5968 3218 21 | 40.622 % |
1.03/1.60 c 2 | 4926 | 994 9189 29185 | 6565 4926 21 | 40.622 % |
1.03/1.85 c 2 | 7488 | 994 9189 29185 | 7222 7488 21 | 40.622 % |
1.97/2.23 c 2 | 11332 | 994 9189 29185 | 7944 7167 23 | 40.622 % |
2.56/2.89 c 3 | 17098 | 994 9189 29185 | 8739 8431 23 | 40.622 % |
3.65/3.90 c 4 | 25747 | 994 9189 29185 | 9613 7263 25 | 40.622 % |
5.24/5.57 c 6 | 38721 | 994 9189 29185 | 10574 9506 22 | 40.622 % |
7.92/8.22 c 8 | 58182 | 994 9189 29185 | 11631 11489 24 | 40.622 % |
11.71/12.10 c 12 | 87375 | 994 9189 29185 | 12794 8849 24 | 40.622 % |
18.98/19.31 c 19 | 131164 | 994 9189 29185 | 14074 10887 24 | 40.622 % |
29.33/29.73 c 30 | 196848 | 994 9189 29185 | 15481 8300 27 | 40.622 % |
45.44/45.94 c 46 | 295374 | 994 9189 29185 | 17030 15546 21 | 40.622 % |
71.91/72.60 c 73 | 443163 | 994 9189 29185 | 18733 9558 23 | 40.622 % |
110.33/111.15 c 111 | 664846 | 994 9189 29185 | 20606 13072 23 | 40.622 % |
176.31/177.40 c 177 | 997372 | 994 9189 29185 | 22666 20087 24 | 40.622 % |
202.09/203.36 c 203 ===============================================================================
202.09/203.36 c 203 restarts : 22
202.09/203.36 c 203 conflicts : 1126983 (5604 /sec)
202.09/203.36 c 203 decisions : 1245081 (0.91 % random) (6191 /sec)
202.09/203.36 c 203 propagations : 159910710 (795131 /sec)
202.09/203.36 c 203 conflict literals : 27543883 (36.79 % deleted)
202.09/203.36 c 203 Memory used : 9.30 MB
202.09/203.36 c 203 CPU time : 201.112 s
202.09/203.36 c 203
202.09/203.36 c 203 SATISFIABLE
202.09/203.37 c 203 FOUND: _COST <= 20
202.09/203.37 c 203 DECODING HOME/temp.out WITH HOME/temp.map
202.09/203.37 c 203 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
202.19/203.46 c 203 Decoding HOME/temp.out
202.19/203.50 c 204 OBJECTIVE _COST 20
202.19/203.50 o 20
202.19/203.50 v 10 7 6 3 5 2 2 2 7 8 10 10 10 1 10 6 3 10 1 9 7 10 1 2 6 10 4 10 1 6
202.29/203.52 c 204 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
202.29/203.54 c 204 OBJECTIVE BOUND: 0 <= _COST <= 20
202.29/203.54 c 204 SEARCHING: _COST <= 10
202.29/203.54 c 204 SOLVING HOME/temp.cnf
202.29/203.54 c 204 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
202.29/203.57 c 204 This is MiniSat 2.0 beta
202.29/203.57 c 204 WARNING: for repeatability, setting FPU to use double precision
202.29/203.57 c 204 ============================[ Problem Statistics ]=============================
202.29/203.57 c 204 | |
202.29/203.57 c 204 | Number of variables: 1674 |
202.29/203.57 c 204 | Number of clauses: 21323 |
202.29/203.58 c 204 | Parsing time: 0.01 s |
202.29/203.58 c 204 ============================[ Search Statistics ]==============================
202.29/203.58 c 204 | Conflicts | ORIGINAL | LEARNT | Progress |
202.29/203.58 c 204 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
202.29/203.58 c 204 ===============================================================================
202.29/203.58 c 204 | 0 | 858 6686 22074 | 2228 0 nan | 0.000 % |
202.29/203.59 c 204 | 100 | 858 6686 22074 | 2451 100 17 | 48.746 % |
202.29/203.59 c 204 | 250 | 858 6686 22074 | 2696 250 15 | 48.746 % |
202.32/203.61 c 204 | 475 | 858 6686 22074 | 2966 475 15 | 48.746 % |
202.32/203.62 c 204 | 812 | 858 6686 22074 | 3262 812 16 | 48.746 % |
202.32/203.66 c 204 | 1320 | 858 6686 22074 | 3589 1320 16 | 48.746 % |
202.32/203.71 c 204 | 2079 | 858 6686 22074 | 3948 2079 16 | 48.746 % |
202.32/203.79 c 204 | 3219 | 858 6686 22074 | 4343 3219 16 | 48.746 % |
202.32/203.93 c 204 | 4930 | 858 6686 22074 | 4777 4930 16 | 48.746 % |
202.32/204.16 c 204 | 7492 | 858 6686 22074 | 5255 4574 14 | 48.746 % |
202.32/204.48 c 204 | 11336 | 858 6686 22074 | 5780 5208 14 | 48.746 % |
203.74/205.00 c 205 | 17103 | 858 6686 22074 | 6358 4153 17 | 48.746 % |
204.54/205.85 c 206 | 25752 | 858 6686 22074 | 6994 5390 16 | 48.746 % |
205.84/207.12 c 207 | 38726 | 858 6686 22074 | 7693 6202 15 | 48.746 % |
207.74/209.02 c 209 | 58187 | 858 6686 22074 | 8463 8184 18 | 48.746 % |
210.53/211.86 c 212 | 87380 | 858 6686 22074 | 9309 8781 18 | 48.746 % |
215.23/216.57 c 217 | 131169 | 858 6686 22074 | 10240 5891 18 | 48.746 % |
222.13/223.45 c 223 | 196853 | 858 6686 22074 | 11264 9308 19 | 48.746 % |
233.43/234.77 c 235 | 295380 | 858 6686 22074 | 12391 9275 17 | 48.746 % |
250.21/251.56 c 252 | 443169 | 858 6686 22074 | 13630 8546 21 | 48.746 % |
277.71/279.03 c 279 | 664853 | 858 6686 22074 | 14993 9651 17 | 48.746 % |
319.39/320.76 c 321 | 997379 | 858 6686 22074 | 16492 12901 22 | 48.746 % |
385.47/386.83 c 387 | 1496167 | 858 6686 22074 | 18141 11179 24 | 48.746 % |
386.97/388.36 c 388 ===============================================================================
386.97/388.36 c 388 restarts : 23
386.97/388.36 c 388 conflicts : 1510473 (8178 /sec)
386.97/388.36 c 388 decisions : 1681452 (1.03 % random) (9103 /sec)
386.97/388.36 c 388 propagations : 232516336 (1258846 /sec)
386.97/388.36 c 388 conflict literals : 32971036 (30.86 % deleted)
386.97/388.36 c 388 Memory used : 7.91 MB
386.97/388.36 c 388 CPU time : 184.706 s
386.97/388.36 c 388
386.97/388.36 c 388 SATISFIABLE
386.97/388.37 c 388 FOUND: _COST <= 10
386.97/388.37 c 388 DECODING HOME/temp.out WITH HOME/temp.map
386.97/388.37 c 388 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
387.05/388.45 c 388 Decoding HOME/temp.out
387.05/388.49 c 389 OBJECTIVE _COST 10
387.05/388.49 o 10
387.05/388.49 v 4 7 5 7 3 3 10 10 2 2 9 2 7 7 9 3 8 8 3 10 10 1 1 10 6 2 4 10 1 6
387.05/388.50 c 389 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
387.05/388.58 c 389 OBJECTIVE BOUND: 0 <= _COST <= 10
387.05/388.58 c 389 SEARCHING: _COST <= 5
387.05/388.58 c 389 SOLVING HOME/temp.cnf
387.05/388.58 c 389 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
387.05/388.59 c 389 This is MiniSat 2.0 beta
387.05/388.59 c 389 WARNING: for repeatability, setting FPU to use double precision
387.05/388.59 c 389 ============================[ Problem Statistics ]=============================
387.05/388.59 c 389 | |
387.05/388.59 c 389 | Number of variables: 1674 |
387.05/388.59 c 389 | Number of clauses: 21323 |
387.18/388.60 c 389 | Parsing time: 0.01 s |
387.18/388.61 c 389 ============================[ Search Statistics ]==============================
387.18/388.61 c 389 | Conflicts | ORIGINAL | LEARNT | Progress |
387.18/388.61 c 389 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
387.18/388.61 c 389 ===============================================================================
387.18/388.61 c 389 | 0 | 740 5153 17824 | 1717 0 nan | 0.000 % |
387.18/388.61 c 389 | 100 | 740 5153 17824 | 1889 100 18 | 55.795 % |
387.18/388.62 c 389 | 250 | 740 5153 17824 | 2078 250 15 | 55.796 % |
387.18/388.63 c 389 | 475 | 740 5153 17824 | 2286 475 15 | 55.795 % |
387.18/388.65 c 389 | 813 | 740 5153 17824 | 2514 813 14 | 55.795 % |
387.18/388.68 c 389 | 1320 | 740 5153 17824 | 2766 1320 13 | 55.795 % |
387.18/388.74 c 389 | 2079 | 740 5153 17824 | 3042 2079 12 | 55.795 % |
387.18/388.83 c 389 | 3218 | 740 5153 17824 | 3347 3218 12 | 55.795 % |
387.18/388.97 c 389 | 4927 | 740 5153 17824 | 3681 2712 15 | 55.795 % |
387.18/389.17 c 389 | 7489 | 740 5153 17824 | 4050 2868 13 | 55.795 % |
387.97/389.49 c 390 | 11333 | 740 5153 17824 | 4455 4107 13 | 55.795 % |
388.47/389.96 c 390 | 17099 | 739 5134 17756 | 4900 3166 15 | 55.854 % |
389.26/390.70 c 391 | 25748 | 739 5134 17756 | 5390 5778 15 | 55.855 % |
390.35/391.84 c 392 | 38722 | 739 5134 17756 | 5929 5759 19 | 55.854 % |
392.03/393.54 c 394 | 58183 | 737 5089 17565 | 6522 6727 18 | 55.974 % |
394.71/396.22 c 396 | 87376 | 737 5089 17565 | 7175 5281 16 | 55.974 % |
398.67/400.24 c 400 | 131166 | 728 4866 16625 | 7892 4845 16 | 56.511 % |
399.56/401.19 c 401 ===============================================================================
399.56/401.19 c 401 restarts : 17
399.56/401.19 c 401 conflicts : 141505 (11337 /sec)
399.56/401.19 c 401 decisions : 157193 (1.16 % random) (12593 /sec)
399.56/401.19 c 401 propagations : 21274076 (1704366 /sec)
399.56/401.19 c 401 conflict literals : 2233979 (33.00 % deleted)
399.56/401.19 c 401 Memory used : 3.64 MB
399.56/401.19 c 401 CPU time : 12.4821 s
399.56/401.19 c 401
399.56/401.19 c 401 UNSATISFIABLE
399.56/401.19 c 401 NOT FOUND: _COST <= 5
399.56/401.19 c 401 OBJECTIVE BOUND: 6 <= _COST <= 10
399.56/401.19 c 401 SEARCHING: _COST <= 8
399.56/401.19 c 401 SOLVING HOME/temp.cnf
399.56/401.19 c 401 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
399.67/401.20 c 401 This is MiniSat 2.0 beta
399.67/401.20 c 401 WARNING: for repeatability, setting FPU to use double precision
399.67/401.20 c 401 ============================[ Problem Statistics ]=============================
399.67/401.20 c 401 | |
399.67/401.20 c 401 | Number of variables: 1674 |
399.67/401.20 c 401 | Number of clauses: 21323 |
399.67/401.21 c 401 | Parsing time: 0.01 s |
399.67/401.21 c 401 ============================[ Search Statistics ]==============================
399.67/401.21 c 401 | Conflicts | ORIGINAL | LEARNT | Progress |
399.67/401.21 c 401 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
399.67/401.21 c 401 ===============================================================================
399.67/401.21 c 401 | 0 | 822 6139 20539 | 2046 0 nan | 0.000 % |
399.67/401.22 c 401 | 100 | 822 6139 20539 | 2250 100 18 | 50.896 % |
399.67/401.22 c 401 | 251 | 822 6139 20539 | 2476 251 18 | 50.897 % |
399.67/401.24 c 401 | 476 | 822 6139 20539 | 2723 476 17 | 50.897 % |
399.67/401.25 c 401 | 813 | 822 6139 20539 | 2996 813 17 | 50.896 % |
399.67/401.29 c 401 | 1319 | 822 6139 20539 | 3295 1319 16 | 50.896 % |
399.67/401.34 c 401 | 2078 | 822 6139 20539 | 3625 2078 16 | 50.896 % |
399.86/401.43 c 401 | 3217 | 822 6139 20539 | 3987 3217 15 | 50.896 % |
399.96/401.57 c 402 | 4925 | 822 6139 20539 | 4386 4925 15 | 50.896 % |
400.16/401.78 c 402 | 7488 | 822 6139 20539 | 4825 4754 14 | 50.896 % |
400.55/402.13 c 402 | 11333 | 822 6139 20539 | 5307 5668 16 | 50.896 % |
401.05/402.66 c 403 | 17099 | 822 6139 20539 | 5838 5085 14 | 50.896 % |
401.84/403.46 c 403 | 25748 | 822 6139 20539 | 6422 6865 13 | 50.896 % |
403.13/404.72 c 405 | 38722 | 822 6139 20539 | 7064 4880 21 | 50.896 % |
405.01/406.63 c 407 | 58184 | 822 6139 20539 | 7770 8088 20 | 50.896 % |
408.08/409.72 c 410 | 87376 | 822 6139 20539 | 8548 6262 19 | 50.896 % |
412.74/414.49 c 414 | 131169 | 822 6139 20539 | 9402 6857 19 | 50.896 % |
420.26/422.02 c 422 | 196854 | 822 6139 20539 | 10343 9448 19 | 50.896 % |
431.56/433.49 c 433 | 295381 | 822 6139 20539 | 11377 10795 18 | 50.896 % |
449.29/451.35 c 451 | 443171 | 822 6139 20539 | 12515 8984 15 | 50.896 % |
476.53/478.81 c 479 | 664854 | 822 6139 20539 | 13766 12986 20 | 50.896 % |
517.64/520.37 c 520 | 997381 | 822 6139 20539 | 15143 11187 18 | 50.897 % |
580.75/584.08 c 584 | 1496170 | 821 6120 20471 | 16657 10269 25 | 50.956 % |
683.48/687.72 c 688 | 2244352 | 821 6120 20471 | 18323 13134 24 | 50.956 % |
852.48/858.32 c 858 | 3366626 | 821 6120 20471 | 20155 19161 23 | 50.956 % |
1107.67/1115.95 c 1116 | 5050039 | 818 6038 20136 | 22171 14366 21 | 51.135 % |
1532.16/1544.42 c 1544 | 7575155 | 814 5910 19569 | 24388 14465 20 | 51.374 % |
1725.62/1739.73 c 1740 ===============================================================================
1725.62/1739.73 c 1740 restarts : 27
1725.62/1739.73 c 1740 conflicts : 8741981 (6593 /sec)
1725.62/1739.73 c 1740 decisions : 9736612 (1.07 % random) (7343 /sec)
1725.62/1739.73 c 1740 propagations : 1303803135 (983279 /sec)
1725.62/1739.73 c 1740 conflict literals : 194424242 (29.23 % deleted)
1725.62/1739.73 c 1740 Memory used : 13.09 MB
1725.62/1739.73 c 1740 CPU time : 1325.98 s
1725.62/1739.73 c 1740
1725.62/1739.73 c 1740 UNSATISFIABLE
1725.62/1739.74 c 1740 NOT FOUND: _COST <= 8
1725.62/1739.74 c 1740 OBJECTIVE BOUND: 9 <= _COST <= 10
1725.62/1739.74 c 1740 SEARCHING: _COST <= 9
1725.62/1739.74 c 1740 SOLVING HOME/temp.cnf
1725.62/1739.74 c 1740 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1725.62/1739.75 c 1740 This is MiniSat 2.0 beta
1725.62/1739.75 c 1740 WARNING: for repeatability, setting FPU to use double precision
1725.62/1739.75 c 1740 ============================[ Problem Statistics ]=============================
1725.62/1739.75 c 1740 | |
1725.62/1739.75 c 1740 | Number of variables: 1674 |
1725.62/1739.75 c 1740 | Number of clauses: 21323 |
1725.62/1739.77 c 1740 | Parsing time: 0.01 s |
1725.62/1739.77 c 1740 ============================[ Search Statistics ]==============================
1725.62/1739.77 c 1740 | Conflicts | ORIGINAL | LEARNT | Progress |
1725.62/1739.77 c 1740 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1725.62/1739.77 c 1740 ===============================================================================
1725.62/1739.77 c 1740 | 0 | 840 6407 21290 | 2135 0 nan | 0.000 % |
1725.62/1739.77 c 1740 | 100 | 840 6407 21290 | 2349 100 18 | 49.821 % |
1725.62/1739.78 c 1740 | 250 | 840 6407 21290 | 2584 250 19 | 49.822 % |
1725.62/1739.79 c 1740 | 476 | 840 6407 21290 | 2842 476 18 | 49.821 % |
1725.66/1739.81 c 1740 | 813 | 840 6407 21290 | 3126 813 17 | 49.821 % |
1725.66/1739.84 c 1740 | 1319 | 840 6407 21290 | 3439 1319 17 | 49.821 % |
1725.66/1739.89 c 1740 | 2078 | 840 6407 21290 | 3783 2078 16 | 49.821 % |
1725.66/1739.97 c 1740 | 3218 | 840 6407 21290 | 4161 3218 15 | 49.821 % |
1726.00/1740.11 c 1740 | 4927 | 840 6407 21290 | 4577 4927 16 | 49.821 % |
1726.19/1740.32 c 1740 | 7489 | 840 6407 21290 | 5035 4642 16 | 49.821 % |
1726.49/1740.67 c 1741 | 11335 | 840 6407 21290 | 5539 5392 16 | 49.821 % |
1727.10/1741.21 c 1741 | 17101 | 840 6407 21290 | 6093 4528 16 | 49.821 % |
1727.79/1741.98 c 1742 | 25751 | 840 6407 21290 | 6702 5982 19 | 49.821 % |
1728.99/1743.19 c 1743 | 38725 | 840 6407 21290 | 7372 7267 16 | 49.821 % |
1730.89/1745.05 c 1745 | 58186 | 840 6407 21290 | 8110 5615 19 | 49.821 % |
1733.70/1747.90 c 1748 | 87378 | 840 6407 21290 | 8921 7178 18 | 49.821 % |
1738.20/1752.35 c 1752 | 131168 | 840 6407 21290 | 9813 5964 15 | 49.821 % |
1744.70/1758.87 c 1759 | 196854 | 840 6407 21290 | 10794 6098 21 | 49.821 % |
1755.38/1769.59 c 1770 | 295380 | 840 6407 21290 | 11874 9674 21 | 49.821 % |
1772.18/1786.40 c 1786 | 443169 | 840 6407 21290 | 13061 8123 17 | 49.821 % |
1797.97/1812.15 c 1812 | 664852 | 840 6407 21290 | 14367 10467 20 | 49.821 % |
1838.46/1852.67 c 1853 | 997377 | 840 6407 21290 | 15804 10763 24 | 49.821 % |
1903.13/1917.34 c 1917 | 1496166 | 840 6407 21290 | 17384 11076 23 | 49.821 % |
2004.09/2018.34 c 2018 | 2244349 | 840 6407 21290 | 19123 10811 25 | 49.821 % |
2102.05/2116.32 c 2116 ===============================================================================
2102.05/2116.33 c 2116 restarts : 24
2102.05/2116.33 c 2116 conflicts : 2908331 (7727 /sec)
2102.05/2116.33 c 2116 decisions : 3233570 (1.05 % random) (8591 /sec)
2102.05/2116.33 c 2116 propagations : 436786558 (1160405 /sec)
2102.05/2116.33 c 2116 conflict literals : 64047174 (31.24 % deleted)
2102.05/2116.33 c 2116 Memory used : 9.79 MB
2102.05/2116.33 c 2116 CPU time : 376.409 s
2102.05/2116.33 c 2116
2102.05/2116.33 c 2116 SATISFIABLE
2102.05/2116.33 c 2116 FOUND: _COST <= 9
2102.05/2116.33 c 2116 DECODING HOME/temp.out WITH HOME/temp.map
2102.05/2116.33 c 2116 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2102.10/2116.49 c 2116 Decoding HOME/temp.out
2102.10/2116.53 c 2117 OBJECTIVE _COST 9
2102.10/2116.53 o 9
2102.10/2116.53 v 4 5 5 10 8 3 10 2 4 5 5 10 9 6 10 3 1 5 3 3 5 3 7 5 9 10 2 4 4 9
2102.10/2116.53 c 2117 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2102.10/2116.59 c 2117 OBJECTIVE _COST 9
2102.10/2116.59 s OPTIMUM FOUND
2102.10/2116.59 c 2117 CPU 2101.96 (0.04 0.01 2101.92 0.27)
2102.10/2116.59 c 2117 END Wed Jul 16 01:00:16 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1124236-1216160699/watcher-1124236-1216160699 -o /tmp/evaluation-result-1124236-1216160699/solver-1124236-1216160699 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1124236-1216160699.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.73 2.72 2.54 5/80 27584
/proc/meminfo: memFree=1721880/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=12000 CPUtime=0
/proc/27584/stat : 27584 (sugar) R 27582 27584 26690 0 -1 4194304 209 0 0 0 0 0 0 0 21 0 1 0 72768539 12288000 177 996147200 4194304 4206940 548682068592 18446744073709551615 248779888016 0 0 4224 0 0 0 0 17 1 0 0
/proc/27584/statm: 3000 177 138 3 0 100 0
[startup+0.0512199 s]
/proc/loadavg: 2.73 2.72 2.54 5/80 27584
/proc/meminfo: memFree=1721880/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=0.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 882 127 0 0 3 0 0 0 18 0 1 0 72768539 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.102564 s]
/proc/loadavg: 2.73 2.72 2.54 5/80 27584
/proc/meminfo: memFree=1721880/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=0.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 72768539 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301411 s]
/proc/loadavg: 2.73 2.72 2.54 5/80 27584
/proc/meminfo: memFree=1721880/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=0.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 72768539 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701441 s]
/proc/loadavg: 2.73 2.72 2.54 5/80 27584
/proc/meminfo: memFree=1721880/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=0.3
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 974 4340 0 1 3 0 24 3 15 0 1 0 72768539 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13600
[startup+1.50152 s]
/proc/loadavg: 2.83 2.74 2.55 3/91 27606
/proc/meminfo: memFree=1711104/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 15 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13600
[startup+3.10167 s]
/proc/loadavg: 2.83 2.74 2.55 4/83 27620
/proc/meminfo: memFree=1716856/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 15 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=4000 CPUtime=1.83
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 727 0 0 0 183 0 0 0 25 0 1 0 72768664 4096000 713 996147200 134512640 135127466 4294956256 18446744073709551615 134527996 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 1000 713 75 150 0 847 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 22956
[startup+6.30296 s]
/proc/loadavg: 2.85 2.75 2.55 4/83 27620
/proc/meminfo: memFree=1716088/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=4396 CPUtime=5.01
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 830 0 0 0 501 0 0 0 25 0 1 0 72768664 4501504 816 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 1099 816 75 150 0 946 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 23352
[startup+12.7026 s]
/proc/loadavg: 2.78 2.73 2.55 4/83 27620
/proc/meminfo: memFree=1715448/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=4924 CPUtime=11.37
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 974 0 0 0 1137 0 0 0 25 0 1 0 72768664 5042176 960 996147200 134512640 135127466 4294956256 18446744073709551615 134530873 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 1231 960 75 150 0 1078 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 23880
[startup+25.5017 s]
/proc/loadavg: 2.81 2.74 2.56 4/83 27620
/proc/meminfo: memFree=1714744/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=5592 CPUtime=24.12
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 1144 0 0 0 2411 1 0 0 25 0 1 0 72768664 5726208 1130 996147200 134512640 135127466 4294956256 18446744073709551615 134527053 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 1398 1130 75 150 0 1245 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 24548
[startup+51.1011 s]
/proc/loadavg: 2.77 2.74 2.56 3/83 27620
/proc/meminfo: memFree=1713848/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=6564 CPUtime=49.58
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 1366 0 0 0 4957 1 0 0 25 0 1 0 72768664 6721536 1352 996147200 134512640 135127466 4294956256 18446744073709551615 134530593 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 1641 1352 75 150 0 1488 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 25520
[startup+102.307 s]
/proc/loadavg: 2.63 2.70 2.55 3/83 27620
/proc/meminfo: memFree=1712312/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=8024 CPUtime=100.54
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 1719 0 0 0 10053 1 0 0 25 0 1 0 72768664 8216576 1705 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 2006 1705 75 150 0 1853 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 26980
[startup+162.301 s]
/proc/loadavg: 2.55 2.67 2.55 4/83 27620
/proc/meminfo: memFree=1711288/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1.03
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1176 14437 0 3 4 0 89 10 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27619] ppid=27584 vsize=5356 CPUtime=0
/proc/27619/stat : 27619 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72768663 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27619/statm: 1339 232 193 169 0 50 0
[pid=27620] ppid=27619 vsize=8980 CPUtime=160.26
/proc/27620/stat : 27620 (minisat) R 27619 27584 26690 0 -1 4194304 1961 0 0 0 16024 2 0 0 25 0 1 0 72768664 9195520 1947 996147200 134512640 135127466 4294956256 18446744073709551615 134530616 0 0 4096 3 0 0 0 17 1 0 0
/proc/27620/statm: 2245 1947 75 150 0 2092 0
Current children cumulated CPU time (s) 161.29
Current children cumulated vsize (KiB) 27936
[startup+222.302 s]
/proc/loadavg: 2.59 2.67 2.55 3/83 27632
/proc/meminfo: memFree=1715776/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=202.32
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1290 20566 0 4 4 1 20212 15 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27631] ppid=27584 vsize=5356 CPUtime=0
/proc/27631/stat : 27631 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72788893 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27631/statm: 1339 232 193 169 0 50 0
[pid=27632] ppid=27631 vsize=4500 CPUtime=18.71
/proc/27632/stat : 27632 (minisat) R 27631 27584 26690 0 -1 4194304 879 0 0 0 1871 0 0 0 25 0 1 0 72788895 4608000 865 996147200 134512640 135127466 4294956256 18446744073709551615 134530635 0 0 4096 3 0 0 0 17 0 0 0
/proc/27632/statm: 1125 865 75 150 0 972 0
Current children cumulated CPU time (s) 221.03
Current children cumulated vsize (KiB) 23456
[startup+282.301 s]
/proc/loadavg: 2.56 2.65 2.54 3/83 27632
/proc/meminfo: memFree=1713920/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=202.32
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1290 20566 0 4 4 1 20212 15 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27631] ppid=27584 vsize=5356 CPUtime=0
/proc/27631/stat : 27631 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72788893 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27631/statm: 1339 232 193 169 0 50 0
[pid=27632] ppid=27631 vsize=6416 CPUtime=78.68
/proc/27632/stat : 27632 (minisat) R 27631 27584 26690 0 -1 4194304 1341 0 0 0 7868 0 0 0 25 0 1 0 72788895 6569984 1327 996147200 134512640 135127466 4294956256 18446744073709551615 134530654 0 0 4096 3 0 0 0 17 0 0 0
/proc/27632/statm: 1604 1327 75 150 0 1451 0
Current children cumulated CPU time (s) 281
Current children cumulated vsize (KiB) 25372
################
# More data... #
################
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=6852 CPUtime=102.5
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 1450 0 0 0 10249 1 0 0 25 0 1 0 72942514 7016448 1436 996147200 134512640 135127466 4294956256 18446744073709551615 134530933 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 1713 1436 75 150 0 1560 0
Current children cumulated CPU time (s) 1828.16
Current children cumulated vsize (KiB) 25808
[startup+1902.3 s]
/proc/loadavg: 2.71 2.67 2.63 3/83 27648
/proc/meminfo: memFree=1711872/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=7932 CPUtime=162.48
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 1722 0 0 0 16247 1 0 0 25 0 1 0 72942514 8122368 1708 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 1983 1708 75 150 0 1830 0
Current children cumulated CPU time (s) 1888.14
Current children cumulated vsize (KiB) 26888
[startup+1962.3 s]
/proc/loadavg: 2.62 2.65 2.63 3/83 27648
/proc/meminfo: memFree=1711168/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=8664 CPUtime=222.45
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 1888 0 0 0 22244 1 0 0 25 0 1 0 72942514 8871936 1874 996147200 134512640 135127466 4294956256 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2166 1874 75 150 0 2013 0
Current children cumulated CPU time (s) 1948.11
Current children cumulated vsize (KiB) 27620
[startup+2022.3 s]
/proc/loadavg: 2.70 2.67 2.63 3/83 27648
/proc/meminfo: memFree=1710784/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=9064 CPUtime=282.43
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 1985 0 0 0 28242 1 0 0 25 0 1 0 72942514 9281536 1971 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2266 1971 75 150 0 2113 0
Current children cumulated CPU time (s) 2008.09
Current children cumulated vsize (KiB) 28020
[startup+2082.31 s]
/proc/loadavg: 2.68 2.65 2.63 3/83 27648
/proc/meminfo: memFree=1710016/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=9884 CPUtime=342.4
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2177 0 0 0 34239 1 0 0 25 0 1 0 72942514 10121216 2163 996147200 134512640 135127466 4294956256 18446744073709551615 134531065 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2471 2163 75 150 0 2318 0
Current children cumulated CPU time (s) 2068.06
Current children cumulated vsize (KiB) 28840
Solver just ended. Dumping a history of the last processes samples
[startup+2099.1 s]
/proc/loadavg: 2.68 2.65 2.63 3/83 27648
/proc/meminfo: memFree=1709952/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=9884 CPUtime=359.19
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2187 0 0 0 35918 1 0 0 25 0 1 0 72942514 10121216 2173 996147200 134512640 135127466 4294956256 18446744073709551615 134530757 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2471 2173 75 150 0 2318 0
Current children cumulated CPU time (s) 2084.85
Current children cumulated vsize (KiB) 28840
[startup+2105.5 s]
/proc/loadavg: 2.73 2.66 2.63 3/83 27648
/proc/meminfo: memFree=1709952/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=10016 CPUtime=365.59
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2205 0 0 0 36558 1 0 0 25 0 1 0 72942514 10256384 2191 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2504 2191 75 150 0 2351 0
Current children cumulated CPU time (s) 2091.25
Current children cumulated vsize (KiB) 28972
[startup+2111.9 s]
/proc/loadavg: 2.67 2.65 2.63 3/83 27648
/proc/meminfo: memFree=1709888/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=10016 CPUtime=371.99
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2221 0 0 0 37198 1 0 0 25 0 1 0 72942514 10256384 2207 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2504 2207 75 150 0 2351 0
Current children cumulated CPU time (s) 2097.65
Current children cumulated vsize (KiB) 28972
[startup+2115.1 s]
/proc/loadavg: 2.67 2.65 2.63 3/83 27648
/proc/meminfo: memFree=1709888/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=10016 CPUtime=375.19
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2224 0 0 0 37518 1 0 0 25 0 1 0 72942514 10256384 2210 996147200 134512640 135127466 4294956256 18446744073709551615 134523398 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2504 2210 75 150 0 2351 0
Current children cumulated CPU time (s) 2100.85
Current children cumulated vsize (KiB) 28972
[startup+2115.9 s]
/proc/loadavg: 2.67 2.65 2.63 3/83 27648
/proc/meminfo: memFree=1709888/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=10016 CPUtime=375.99
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2224 0 0 0 37598 1 0 0 25 0 1 0 72942514 10256384 2210 996147200 134512640 135127466 4294956256 18446744073709551615 134530775 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2504 2210 75 150 0 2351 0
Current children cumulated CPU time (s) 2101.65
Current children cumulated vsize (KiB) 28972
[startup+2116.3 s]
/proc/loadavg: 2.61 2.64 2.63 4/83 27648
/proc/meminfo: memFree=1709888/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=1725.66
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1510 30618 0 5 4 1 172539 22 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
[pid=27647] ppid=27584 vsize=5356 CPUtime=0
/proc/27647/stat : 27647 (sh) S 27584 27584 26690 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 72942513 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27647/statm: 1339 232 193 169 0 50 0
[pid=27648] ppid=27647 vsize=10016 CPUtime=376.39
/proc/27648/stat : 27648 (minisat) R 27647 27584 26690 0 -1 4194304 2224 0 0 0 37638 1 0 0 25 0 1 0 72942514 10256384 2210 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 0 0 0
/proc/27648/statm: 2504 2210 75 150 0 2351 0
Current children cumulated CPU time (s) 2102.05
Current children cumulated vsize (KiB) 28972
[startup+2116.5 s]
/proc/loadavg: 2.61 2.64 2.63 4/83 27648
/proc/meminfo: memFree=1709888/2055920 swapFree=4191900/4192956
[pid=27584] ppid=27582 vsize=13600 CPUtime=2102.1
/proc/27584/stat : 27584 (sugar) S 27582 27584 26690 0 -1 4194304 1571 33137 0 5 4 1 210181 24 16 0 1 0 72768539 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27584/statm: 3400 806 374 3 0 500 0
Current children cumulated CPU time (s) 2102.1
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 2116.6
CPU time (s): 2102.27
CPU user time (s): 2101.98
CPU system time (s): 0.295955
CPU usage (%): 99.3234
Max. virtual memory (cumulated for all children) (KiB): 883252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2101.98
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38489
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2659
involuntary context switches= 65603
runsolver used 2.93855 second user time and 6.69798 second system time
The end
Begin job on node55 at 2008-07-16 00:24:59
IDJOB=1124236
IDBENCH=62969
IDSOLVER=368
FILE ID=node55/1124236-1216160699
PBS_JOBID= 7905594
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-43.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1124236-1216160699/watcher-1124236-1216160699 -o /tmp/evaluation-result-1124236-1216160699/solver-1124236-1216160699 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1124236-1216160699.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d400d96e61fd22565f48af0980b58bd9
RANDOM SEED=1504158738
node55.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.225
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.225
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: 1722360 kB
Buffers: 60644 kB
Cached: 130712 kB
SwapCached: 268 kB
Active: 228548 kB
Inactive: 51656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722360 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 1304 kB
Writeback: 0 kB
Mapped: 107876 kB
Slab: 38492 kB
Committed_AS: 1138500 kB
PageTables: 2020 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= 66556 MiB
End job on node55 at 2008-07-16 01:00:16