0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Sun Jul 13 02:22:42 2008
0.00/0.08 c 0 PID 16348
0.07/0.08 c 0 HOST node60.alineos.net
0.07/0.08 c 0 CONVERTING HOME/instance-1114827-1215908562.xml TO HOME/temp.csp
0.07/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114827-1215908562.xml' 'HOME/temp.csp'
0.07/0.55 c 1 1 domains, 30 variables, 0 predicates, 225 relations, 225 constraints
0.07/0.56 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.56 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.53/0.64 c 1 Parsing HOME/temp.csp
0.53/0.83 c 1 parsed 481 expressions
0.53/0.84 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.53/0.84 c 1 MAX CSP: 225 constraints
0.53/0.84 c 1 Converting to clausal form CSP
0.53/0.87 c 1 converted 71 (10%) expressions
0.53/0.87 c 1 converted 142 (20%) expressions
0.53/0.87 c 1 converted 213 (30%) expressions
0.53/0.89 c 1 converted 284 (40%) expressions
0.53/0.91 c 1 converted 355 (50%) expressions
0.53/0.92 c 1 converted 426 (60%) expressions
0.53/0.93 c 1 converted 497 (70%) expressions
0.53/0.94 c 1 converted 568 (80%) expressions
0.53/0.94 c 1 converted 639 (90%) expressions
1.05/1.11 c 1 converted 709 (100%) expressions
1.05/1.11 c 1 CSP : 480 integers, 0 booleans, 674 clauses, largest domain size 338
1.05/1.11 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.05/1.11 c 1 Propagation in CSP
1.05/1.14 c 1 221 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.05/1.14 c 1 CSP : 480 integers, 0 booleans, 674 clauses, largest domain size 226
1.05/1.14 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.05/1.14 c 1 Simplifing CSP by introducing new Boolean variables
1.05/1.14 c 1 CSP : 480 integers, 0 booleans, 674 clauses, largest domain size 226
1.05/1.14 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.05/1.17 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.05/1.19 c 2 48 (10%) CSP integer variables are encoded (390 clauses, 4154 bytes)
1.05/1.19 c 2 96 (20%) CSP integer variables are encoded (390 clauses, 4154 bytes)
1.05/1.19 c 2 144 (30%) CSP integer variables are encoded (390 clauses, 4154 bytes)
1.05/1.19 c 2 192 (40%) CSP integer variables are encoded (390 clauses, 4154 bytes)
1.05/1.19 c 2 240 (50%) CSP integer variables are encoded (390 clauses, 4154 bytes)
1.05/1.19 c 2 288 (60%) CSP integer variables are encoded (734 clauses, 7975 bytes)
1.05/1.20 c 2 336 (70%) CSP integer variables are encoded (956 clauses, 10861 bytes)
1.14/1.20 c 2 384 (80%) CSP integer variables are encoded (2196 clauses, 26981 bytes)
1.14/1.20 c 2 432 (90%) CSP integer variables are encoded (2808 clauses, 34937 bytes)
1.14/1.20 c 2 480 (100%) CSP integer variables are encoded (3289 clauses, 41190 bytes)
1.14/1.26 c 2 68 (10%) CSP clauses are encoded (5986 clauses, 98159 bytes)
1.14/1.29 c 2 135 (20%) CSP clauses are encoded (8738 clauses, 160542 bytes)
1.23/1.31 c 2 203 (30%) CSP clauses are encoded (11324 clauses, 221414 bytes)
1.23/1.32 c 2 270 (40%) CSP clauses are encoded (12696 clauses, 249247 bytes)
1.23/1.33 c 2 337 (50%) CSP clauses are encoded (16128 clauses, 307250 bytes)
1.23/1.34 c 2 405 (60%) CSP clauses are encoded (17244 clauses, 326000 bytes)
1.23/1.36 c 2 472 (70%) CSP clauses are encoded (31033 clauses, 568799 bytes)
1.23/1.39 c 2 540 (80%) CSP clauses are encoded (41821 clauses, 761743 bytes)
1.34/1.41 c 2 607 (90%) CSP clauses are encoded (55220 clauses, 1005134 bytes)
1.34/1.47 c 2 674 (100%) CSP clauses are encoded (81233 clauses, 1480019 bytes)
1.34/1.47 c 2 674 CSP clauses encoded
1.34/1.47 c 2 Writing map file : HOME/temp.map
1.34/1.47 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.34/1.47 c 2 SAT : 3769 SAT variables, 81233 SAT clauses, 1480019 bytes
1.34/1.47 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.41/1.51 c 2 OBJECTIVE minimize _COST
1.41/1.51 c 2 SOLVING HOME/temp.cnf
1.41/1.51 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.41/1.51 c 2 This is MiniSat 2.0 beta incremental
1.41/1.51 c 2 WARNING: for repeatability, setting FPU to use double precision
1.41/1.51 c 2 ============================[ Problem Statistics ]=============================
1.41/1.51 c 2 | |
1.41/1.51 c 2 | Number of variables: 3769 |
1.41/1.51 c 2 | Number of clauses: 81233 |
1.41/1.55 c 2 | Parsing time: 0.04 s |
1.41/1.55 c 2 OK
1.41/1.55 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.41/1.55 c 2 SEARCHING: _COST <= 113
1.41/1.55 c 2 ============================[ Search Statistics ]==============================
1.41/1.55 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.41/1.55 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.41/1.55 c 2 ===============================================================================
1.41/1.55 c 2 | 0 | 3769 81233 249199 | 27077 0 nan | 0.000 % |
1.41/1.56 c 2 ===============================================================================
1.41/1.56 c 2 restarts : 1
1.41/1.56 c 2 conflicts : 3 (67 /sec)
1.41/1.56 c 2 decisions : 43 (0.00 % random) (956 /sec)
1.41/1.56 c 2 propagations : 3860 (85791 /sec)
1.41/1.56 c 2 conflict literals : 50 (3.85 % deleted)
1.41/1.56 c 2 Memory used : 5.38 MB
1.41/1.56 c 2 CPU time : 0.044993 s
1.41/1.56 c 2
1.41/1.56 c 2 SATISFIABLE
1.41/1.56 c 2 OK
1.41/1.56 c 2 FOUND: _COST <= 113
1.41/1.56 s SATISFIABLE
1.41/1.56 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.41/1.56 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.43/1.64 c 2 Decoding HOME/temp.out
1.43/1.70 c 2 OBJECTIVE _COST 106
1.43/1.70 o 106
1.43/1.70 v 3 12 14 13 14 10 3 13 12 3 7 13 7 8 2 7 13 12 11 10 11 14 13 14 12 14 13 14 14 14
1.43/1.71 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.43/1.72 c 2 OK
1.43/1.72 c 2 OBJECTIVE BOUND: 0 <= _COST <= 106
1.43/1.72 c 2 SEARCHING: _COST <= 53
1.43/1.73 c 2 ============================[ Search Statistics ]==============================
1.43/1.73 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.43/1.73 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.43/1.73 c 2 ===============================================================================
1.43/1.73 c 2 | 3 | 3769 81233 249199 | 27077 3 17 | 0.000 % |
1.43/1.73 c 2 ===============================================================================
1.43/1.73 c 2 restarts : 2
1.43/1.73 c 2 conflicts : 9 (176 /sec)
1.43/1.73 c 2 decisions : 168 (0.60 % random) (3295 /sec)
1.43/1.73 c 2 propagations : 9063 (177734 /sec)
1.43/1.73 c 2 conflict literals : 108 (9.24 % deleted)
1.43/1.73 c 2 Memory used : 5.38 MB
1.43/1.73 c 2 CPU time : 0.050992 s
1.43/1.73 c 2
1.43/1.73 c 2 SATISFIABLE
1.43/1.73 c 2 OK
1.43/1.73 c 2 FOUND: _COST <= 53
1.43/1.73 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.43/1.73 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.57/1.81 c 2 Decoding HOME/temp.out
1.57/1.87 c 2 OBJECTIVE _COST 53
1.57/1.87 o 53
1.57/1.87 v 6 12 2 10 3 5 9 14 4 13 14 3 14 14 8 7 13 5 14 13 12 3 14 14 14 6 14 2 14 14
1.57/1.88 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.57/1.89 c 2 OK
1.57/1.89 c 2 OBJECTIVE BOUND: 0 <= _COST <= 53
1.57/1.89 c 2 SEARCHING: _COST <= 26
1.73/1.90 c 2 ============================[ Search Statistics ]==============================
1.73/1.90 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.73/1.90 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.73/1.90 c 2 ===============================================================================
1.73/1.90 c 2 | 9 | 2810 81233 249199 | 27077 9 12 | 0.000 % |
1.73/1.91 c 2 | 109 | 2810 81233 249199 | 29785 109 25 | 38.368 % |
1.73/1.91 c 2 ===============================================================================
1.73/1.91 c 2 restarts : 4
1.73/1.91 c 2 conflicts : 116 (1611 /sec)
1.73/1.91 c 2 decisions : 381 (0.26 % random) (5292 /sec)
1.73/1.91 c 2 propagations : 46254 (642515 /sec)
1.73/1.91 c 2 conflict literals : 2845 (37.75 % deleted)
1.73/1.91 c 2 Memory used : 5.38 MB
1.73/1.91 c 2 CPU time : 0.071989 s
1.73/1.91 c 2
1.73/1.91 c 2 SATISFIABLE
1.73/1.91 c 2 OK
1.73/1.91 c 2 FOUND: _COST <= 26
1.73/1.91 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.73/1.91 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.73/1.99 c 2 Decoding HOME/temp.out
1.73/2.06 c 2 OBJECTIVE _COST 26
1.73/2.06 o 26
1.73/2.06 v 7 14 11 9 9 14 3 14 12 3 3 13 14 14 5 7 13 8 14 12 5 14 14 14 14 10 14 1 9 14
1.73/2.07 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.96/2.12 c 2 OK
1.96/2.12 c 2 OBJECTIVE BOUND: 0 <= _COST <= 26
1.96/2.12 c 2 SEARCHING: _COST <= 13
1.96/2.13 c 2 ============================[ Search Statistics ]==============================
1.96/2.14 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.96/2.14 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.96/2.14 c 2 ===============================================================================
1.96/2.14 c 2 | 116 | 2323 81233 249199 | 27077 116 25 | 38.368 % |
1.96/2.14 c 2 | 216 | 2322 81233 249199 | 29785 216 22 | 47.362 % |
1.96/2.16 c 2 | 366 | 2322 81233 249199 | 32763 366 24 | 47.362 % |
1.96/2.20 c 3 | 593 | 2322 81233 249199 | 36040 593 21 | 47.362 % |
2.05/2.24 c 3 | 931 | 2322 81233 249199 | 39644 931 22 | 47.362 % |
2.14/2.33 c 3 | 1439 | 1984 26209 89283 | 43608 1436 22 | 47.362 % |
2.24/2.43 c 3 | 2198 | 1984 26209 89283 | 47969 2195 25 | 47.362 % |
2.34/2.57 c 3 | 3340 | 1984 26209 89283 | 52766 3337 28 | 47.362 % |
2.64/2.84 c 3 | 5049 | 1984 26209 89283 | 58043 5046 26 | 47.362 % |
3.04/3.27 c 4 | 7612 | 1984 26209 89283 | 63847 7609 27 | 47.362 % |
3.83/4.04 c 4 | 11456 | 1984 26209 89283 | 70232 11453 27 | 47.362 % |
5.22/5.42 c 6 | 17223 | 1984 26209 89283 | 77255 17220 28 | 47.362 % |
7.40/7.64 c 8 | 25872 | 1984 26209 89283 | 84981 25869 33 | 47.362 % |
11.76/12.02 c 12 | 38847 | 1984 26209 89283 | 93479 38844 32 | 47.362 % |
21.95/22.35 c 23 | 58310 | 1984 26209 89283 | 102827 58307 33 | 47.362 % |
24.03/24.45 c 25 ===============================================================================
24.03/24.45 c 25 restarts : 19
24.03/24.45 c 25 conflicts : 61459 (2773 /sec)
24.03/24.45 c 25 decisions : 67537 (0.57 % random) (3047 /sec)
24.03/24.45 c 25 propagations : 16975996 (765870 /sec)
24.03/24.45 c 25 conflict literals : 2007964 (35.33 % deleted)
24.03/24.45 c 25 Memory used : 14.30 MB
24.03/24.45 c 25 CPU time : 22.1656 s
24.03/24.45 c 25
24.03/24.45 c 25 SATISFIABLE
24.03/24.45 c 25 OK
24.03/24.45 c 25 FOUND: _COST <= 13
24.03/24.45 c 25 DECODING HOME/temp.out WITH HOME/temp.map
24.03/24.45 c 25 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
24.08/24.53 c 25 Decoding HOME/temp.out
24.08/24.59 c 25 OBJECTIVE _COST 13
24.08/24.59 o 13
24.08/24.60 v 7 14 11 9 9 14 12 14 12 3 3 12 14 14 5 7 13 8 4 12 5 0 14 9 9 10 13 1 9 14
24.08/24.60 c 25 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
24.08/24.64 c 25 OK
24.08/24.64 c 25 OBJECTIVE BOUND: 0 <= _COST <= 13
24.08/24.64 c 25 SEARCHING: _COST <= 6
24.08/24.64 c 25 ============================[ Search Statistics ]==============================
24.08/24.64 c 25 | Conflicts | ORIGINAL | LEARNT | Progress |
24.08/24.64 c 25 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.08/24.64 c 25 ===============================================================================
24.08/24.64 c 25 | 61459 | 1721 19146 68870 | 6382 61452 33 | 47.362 % |
24.51/24.93 c 25 | 61559 | 1721 19146 68870 | 7020 7971 24 | 54.340 % |
24.51/24.96 c 25 | 61709 | 1721 19146 68870 | 7722 8121 24 | 54.340 % |
24.51/25.00 c 25 | 61934 | 1721 19146 68870 | 8494 8346 24 | 54.340 % |
24.60/25.05 c 25 | 62272 | 1721 19146 68870 | 9343 8684 24 | 54.340 % |
24.70/25.13 c 25 | 62778 | 1721 19146 68870 | 10278 9190 24 | 54.340 % |
24.80/25.27 c 26 | 63537 | 1721 19146 68870 | 11306 9949 25 | 54.340 % |
24.99/25.44 c 26 | 64677 | 1721 19146 68870 | 12436 11089 25 | 54.340 % |
25.29/25.72 c 26 | 66387 | 1721 19146 68870 | 13680 12799 26 | 54.340 % |
25.70/26.16 c 26 | 68949 | 1721 19146 68870 | 15048 15361 25 | 54.340 % |
26.49/26.91 c 27 | 72794 | 1721 19146 68870 | 16553 10290 25 | 54.340 % |
27.58/28.09 c 28 | 78560 | 1721 19146 68870 | 18208 16056 30 | 54.340 % |
28.87/29.31 c 30 ===============================================================================
28.87/29.31 c 30 restarts : 31
28.87/29.31 c 30 conflicts : 83483 (3113 /sec)
28.87/29.31 c 30 decisions : 91578 (0.59 % random) (3415 /sec)
28.87/29.31 c 30 propagations : 23335531 (870179 /sec)
28.87/29.31 c 30 conflict literals : 2659776 (34.57 % deleted)
28.87/29.31 c 30 Memory used : 14.30 MB
28.87/29.31 c 30 CPU time : 26.8169 s
28.87/29.31 c 30
28.87/29.31 c 30 SATISFIABLE
28.87/29.31 c 30 OK
28.87/29.31 c 30 FOUND: _COST <= 6
28.87/29.31 c 30 DECODING HOME/temp.out WITH HOME/temp.map
28.87/29.31 c 30 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
28.87/29.39 c 30 Decoding HOME/temp.out
28.88/29.45 c 30 OBJECTIVE _COST 6
28.88/29.45 o 6
28.88/29.46 v 0 1 11 2 9 14 12 10 12 3 7 6 14 14 2 5 13 8 5 12 5 1 14 14 7 10 6 1 14 14
28.88/29.46 c 30 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
28.88/29.48 c 30 OK
28.88/29.48 c 30 OBJECTIVE BOUND: 0 <= _COST <= 6
28.88/29.48 c 30 SEARCHING: _COST <= 3
28.88/29.48 c 30 ============================[ Search Statistics ]==============================
28.88/29.48 c 30 | Conflicts | ORIGINAL | LEARNT | Progress |
28.88/29.48 c 30 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
28.88/29.48 c 30 ===============================================================================
28.88/29.48 c 30 | 83483 | 1451 14670 56245 | 4890 20976 29 | 54.340 % |
29.06/29.54 c 30 | 83583 | 1451 14670 56245 | 5379 5344 25 | 61.503 % |
29.06/29.57 c 30 | 83733 | 1451 14670 56245 | 5916 5494 25 | 61.503 % |
29.16/29.61 c 30 | 83958 | 1451 14670 56245 | 6508 5719 25 | 61.503 % |
29.16/29.65 c 30 | 84296 | 1451 14670 56245 | 7159 6057 26 | 61.503 % |
29.25/29.71 c 30 | 84803 | 1451 14670 56245 | 7875 6564 25 | 61.503 % |
29.35/29.83 c 30 | 85563 | 1451 14670 56245 | 8662 7324 26 | 61.503 % |
29.56/30.02 c 30 | 86702 | 1451 14670 56245 | 9529 8463 26 | 61.503 % |
29.76/30.28 c 31 | 88410 | 1451 14670 56245 | 10482 10171 27 | 61.503 % |
30.26/30.73 c 31 | 90972 | 1451 14670 56245 | 11530 12733 28 | 61.503 % |
30.94/31.42 c 32 | 94816 | 1451 14670 56245 | 12683 9361 28 | 61.503 % |
32.03/32.52 c 33 | 100584 | 1451 14670 56245 | 13951 15129 31 | 61.503 % |
33.81/34.33 c 35 | 109233 | 1451 14670 56245 | 15346 15407 31 | 61.503 % |
36.29/36.86 c 37 | 122207 | 1451 14670 56245 | 16881 10165 31 | 61.503 % |
37.98/38.55 c 39 ===============================================================================
37.98/38.55 c 39 restarts : 45
37.98/38.55 c 39 conflicts : 131134 (3663 /sec)
37.98/38.55 c 39 decisions : 144121 (0.63 % random) (4026 /sec)
37.98/38.55 c 39 propagations : 35648249 (995857 /sec)
37.98/38.55 c 39 conflict literals : 4211524 (32.13 % deleted)
37.98/38.55 c 39 Memory used : 14.30 MB
37.98/38.55 c 39 CPU time : 35.7966 s
37.98/38.55 c 39
37.98/38.55 c 39 SATISFIABLE
37.98/38.55 c 39 OK
37.98/38.55 c 39 FOUND: _COST <= 3
37.98/38.55 c 39 DECODING HOME/temp.out WITH HOME/temp.map
37.98/38.55 c 39 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
38.02/38.63 c 39 Decoding HOME/temp.out
38.02/38.69 c 39 OBJECTIVE _COST 3
38.02/38.69 o 3
38.02/38.70 v 8 1 11 2 2 14 7 3 2 9 3 1 14 11 9 0 13 9 5 8 7 14 4 7 9 7 1 8 2 4
38.02/38.70 c 39 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
38.02/38.72 c 39 OK
38.02/38.72 c 39 OBJECTIVE BOUND: 0 <= _COST <= 3
38.02/38.72 c 39 SEARCHING: _COST <= 1
38.02/38.72 c 39 ============================[ Search Statistics ]==============================
38.02/38.72 c 39 | Conflicts | ORIGINAL | LEARNT | Progress |
38.02/38.72 c 39 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
38.02/38.72 c 39 ===============================================================================
38.02/38.72 c 39 | 131134 | 1223 12398 50110 | 4132 19092 33 | 61.503 % |
38.02/38.78 c 39 | 131236 | 1223 12398 50110 | 4545 4875 34 | 67.554 % |
38.26/38.80 c 39 | 131387 | 1223 12398 50110 | 5000 5026 34 | 67.554 % |
38.26/38.84 c 39 | 131614 | 1223 12398 50110 | 5500 5253 34 | 67.554 % |
38.26/38.89 c 39 | 131953 | 1223 12398 50110 | 6050 5592 35 | 67.554 % |
38.36/38.97 c 39 | 132459 | 1223 12398 50110 | 6655 6098 35 | 67.554 % |
38.46/39.09 c 39 | 133218 | 1223 12398 50110 | 7321 6857 35 | 67.554 % |
38.66/39.25 c 40 | 134358 | 1223 12398 50110 | 8053 7997 36 | 67.554 % |
38.96/39.57 c 40 | 136067 | 1223 12398 50110 | 8858 9706 36 | 67.554 % |
39.35/39.98 c 40 | 138629 | 1223 12398 50110 | 9744 12268 37 | 67.554 % |
40.05/40.69 c 41 | 142474 | 1223 12398 50110 | 10719 9759 39 | 67.554 % |
41.14/41.75 c 42 | 148240 | 1223 12398 50110 | 11790 8658 36 | 67.554 % |
42.51/43.12 c 43 | 156891 | 1223 12398 50110 | 12970 9846 29 | 67.554 % |
44.50/45.14 c 45 ===============================================================================
44.50/45.14 c 45 restarts : 58
44.50/45.14 c 45 conflicts : 168273 (3991 /sec)
44.50/45.14 c 45 decisions : 186448 (0.65 % random) (4422 /sec)
44.50/45.14 c 45 propagations : 42874010 (1016849 /sec)
44.50/45.14 c 45 conflict literals : 5576414 (30.33 % deleted)
44.50/45.14 c 45 Memory used : 14.30 MB
44.50/45.14 c 45 CPU time : 42.1636 s
44.50/45.14 c 45
44.50/45.14 c 45 SATISFIABLE
44.50/45.14 c 45 OK
44.50/45.14 c 45 FOUND: _COST <= 1
44.50/45.14 c 45 DECODING HOME/temp.out WITH HOME/temp.map
44.50/45.14 c 45 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
44.54/45.22 c 46 Decoding HOME/temp.out
44.54/45.29 c 46 OBJECTIVE _COST 1
44.54/45.29 o 1
44.54/45.29 v 13 4 10 5 1 4 7 7 13 14 1 5 13 13 10 14 0 0 8 11 14 4 3 4 8 11 5 4 0 2
44.54/45.30 c 46 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
44.54/45.36 c 46 OK
44.54/45.36 c 46 OBJECTIVE BOUND: 0 <= _COST <= 1
44.54/45.36 c 46 SEARCHING: _COST <= 0
44.54/45.36 c 46 ============================[ Search Statistics ]==============================
44.54/45.36 c 46 | Conflicts | ORIGINAL | LEARNT | Progress |
44.54/45.36 c 46 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
44.54/45.36 c 46 ===============================================================================
44.54/45.36 c 46 | 168273 | 870 10264 44765 | 3421 13185 36 | 67.554 % |
44.54/45.38 c 46 | 168375 | 870 10264 44765 | 3763 6695 32 | 76.920 % |
44.77/45.41 c 46 | 168527 | 870 10264 44765 | 4139 3500 30 | 76.920 % |
44.77/45.44 c 46 | 168753 | 870 10264 44765 | 4553 3726 30 | 76.920 % |
44.77/45.47 c 46 | 169090 | 870 10264 44765 | 5009 4063 30 | 76.920 % |
44.87/45.53 c 46 | 169597 | 870 10264 44765 | 5510 4570 31 | 76.920 % |
44.97/45.61 c 46 | 170357 | 870 10264 44765 | 6061 5330 32 | 76.920 % |
45.07/45.75 c 46 | 171499 | 870 10264 44765 | 6667 6472 33 | 76.920 % |
45.27/45.98 c 46 | 173207 | 870 10264 44765 | 7333 8180 35 | 76.920 % |
45.65/46.36 c 47 | 175769 | 870 10264 44765 | 8067 10742 37 | 76.920 % |
46.15/46.88 c 47 | 179614 | 870 10264 44765 | 8874 8835 41 | 76.920 % |
47.04/47.72 c 48 | 185380 | 870 10264 44765 | 9761 8465 40 | 76.920 % |
48.33/49.04 c 49 | 194029 | 870 10264 44765 | 10737 10531 38 | 76.920 % |
50.41/51.10 c 51 | 207003 | 870 10264 44765 | 11811 9362 39 | 76.920 % |
50.41/51.17 c 51 ===============================================================================
50.41/51.17 c 51 restarts : 72
50.41/51.17 c 51 conflicts : 207409 (4327 /sec)
50.41/51.17 c 51 decisions : 232957 (0.68 % random) (4860 /sec)
50.41/51.17 c 51 propagations : 45888512 (957413 /sec)
50.41/51.17 c 51 conflict literals : 7220380 (28.48 % deleted)
50.41/51.17 c 51 Memory used : 14.30 MB
50.41/51.17 c 51 CPU time : 47.9297 s
50.41/51.17 c 51
50.41/51.17 c 51 UNSATISFIABLE
50.41/51.17 c 51 OK
50.41/51.17 c 51 NOT FOUND: _COST <= 0
50.41/51.17 c 51 OK
50.41/51.17 c 51 OBJECTIVE _COST 1
50.41/51.17 s OPTIMUM FOUND
50.41/51.18 c 51 CPU 50.17 (0.06 0.03 50.11 0.3)
50.41/51.18 c 51 END Sun Jul 13 02:23:33 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-1114827-1215908562/watcher-1114827-1215908562 -o /tmp/evaluation-result-1114827-1215908562/solver-1114827-1215908562 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1114827-1215908562.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.34 2.55 2.54 4/81 16348
/proc/meminfo: memFree=1904120/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=12268 CPUtime=0
/proc/16348/stat : 16348 (sugar++) R 16346 16348 15708 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 47554559 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 271894411877 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16348/statm: 3067 316 241 3 0 167 0
[startup+0.081865 s]
/proc/loadavg: 2.34 2.55 2.54 4/81 16348
/proc/meminfo: memFree=1904120/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16740 CPUtime=0.07
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1143 0 0 0 5 2 0 0 18 0 1 0 47554559 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.103033 s]
/proc/loadavg: 2.34 2.55 2.54 4/81 16348
/proc/meminfo: memFree=1904120/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16740 CPUtime=0.07
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 47554559 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.30107 s]
/proc/loadavg: 2.34 2.55 2.54 4/81 16348
/proc/meminfo: memFree=1904120/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16740 CPUtime=0.07
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 47554559 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.70114 s]
/proc/loadavg: 2.34 2.55 2.54 4/81 16348
/proc/meminfo: memFree=1904120/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16740 CPUtime=0.53
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1296 4624 0 1 5 2 43 3 16 0 1 0 47554559 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 16740
[startup+1.50128 s]
/proc/loadavg: 2.34 2.55 2.54 4/92 16370
/proc/meminfo: memFree=1891616/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16740 CPUtime=0.53
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1297 4624 0 1 5 2 43 3 15 0 1 0 47554559 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4185 1104 409 3 0 764 0
[pid=16361] ppid=16348 vsize=5356 CPUtime=0
/proc/16361/stat : 16361 (sh) S 16348 16348 15708 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 47554616 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16361/statm: 1339 233 193 169 0 50 0
[pid=16362] ppid=16361 vsize=868480 CPUtime=0.88
/proc/16362/stat : 16362 (java) S 16361 16348 15708 0 -1 0 7050 0 1 0 83 5 0 0 18 0 9 0 47554616 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16362/statm: 217120 6230 2567 9 0 211667 0
[pid=16362/tid=16363] ppid=16361 vsize=868480 CPUtime=0.55
/proc/16362/task/16363/stat : 16363 (java) S 16361 16348 15708 0 -1 64 2773 0 1 0 52 3 0 0 19 0 9 0 47554617 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16364] ppid=16361 vsize=868480 CPUtime=0.08
/proc/16362/task/16364/stat : 16364 (java) S 16361 16348 15708 0 -1 64 2121 0 0 0 8 0 0 0 16 0 9 0 47554618 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16365] ppid=16361 vsize=868480 CPUtime=0
/proc/16362/task/16365/stat : 16365 (java) S 16361 16348 15708 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 47554618 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16366] ppid=16361 vsize=868480 CPUtime=0
/proc/16362/task/16366/stat : 16366 (java) S 16361 16348 15708 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 47554618 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16367] ppid=16361 vsize=868480 CPUtime=0
/proc/16362/task/16367/stat : 16367 (java) S 16361 16348 15708 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 47554620 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16368] ppid=16361 vsize=868480 CPUtime=0.21
/proc/16362/task/16368/stat : 16368 (java) S 16361 16348 15708 0 -1 64 1463 0 0 0 21 0 0 0 16 0 9 0 47554620 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16369] ppid=16361 vsize=868480 CPUtime=0
/proc/16362/task/16369/stat : 16369 (java) S 16361 16348 15708 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 47554620 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16362/tid=16370] ppid=16361 vsize=868480 CPUtime=0
/proc/16362/task/16370/stat : 16370 (java) S 16361 16348 15708 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 47554620 889323520 6230 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890576
[startup+3.10157 s]
/proc/loadavg: 2.39 2.56 2.54 2/93 16401
/proc/meminfo: memFree=1889112/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16872 CPUtime=1.9
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1691 23234 0 5 5 2 166 17 15 0 1 0 47554559 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4218 1119 414 3 0 797 0
[pid=16371] ppid=16348 vsize=5636 CPUtime=1.04
/proc/16371/stat : 16371 (minisat-inc) R 16348 16348 15708 0 -1 4194304 1366 0 0 0 104 0 0 0 24 0 1 0 47554710 5771264 1309 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/16371/statm: 1409 1309 79 151 0 1255 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 22508
[startup+6.30114 s]
/proc/loadavg: 2.39 2.56 2.54 3/83 16401
/proc/meminfo: memFree=1893416/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16872 CPUtime=1.9
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1691 23234 0 5 5 2 166 17 16 0 1 0 47554559 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4218 1119 414 3 0 797 0
[pid=16371] ppid=16348 vsize=7468 CPUtime=4.21
/proc/16371/stat : 16371 (minisat-inc) R 16348 16348 15708 0 -1 4194304 1824 0 0 0 420 1 0 0 25 0 1 0 47554710 7647232 1767 996147200 134512640 135134323 4294956192 18446744073709551615 134532164 0 0 4096 3 0 0 0 17 1 0 0
/proc/16371/statm: 1867 1767 79 151 0 1713 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 24340
[startup+12.7013 s]
/proc/loadavg: 2.33 2.54 2.54 3/83 16401
/proc/meminfo: memFree=1889512/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16872 CPUtime=1.9
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1691 23234 0 5 5 2 166 17 16 0 1 0 47554559 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4218 1119 414 3 0 797 0
[pid=16371] ppid=16348 vsize=10828 CPUtime=10.55
/proc/16371/stat : 16371 (minisat-inc) R 16348 16348 15708 0 -1 4194304 2656 0 0 0 1053 2 0 0 25 0 1 0 47554710 11087872 2599 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16371/statm: 2707 2599 79 151 0 2553 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 27700
[startup+25.5026 s]
/proc/loadavg: 2.28 2.52 2.53 3/83 16411
/proc/meminfo: memFree=1885352/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16872 CPUtime=2.04
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1762 26993 0 6 5 2 178 19 15 0 1 0 47554559 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4218 1119 414 3 0 797 0
[pid=16371] ppid=16348 vsize=14644 CPUtime=23.05
/proc/16371/stat : 16371 (minisat-inc) R 16348 16348 15708 0 -1 4194304 3580 0 0 0 2303 2 0 0 25 0 1 0 47554710 14995456 3521 996147200 134512640 135134323 4294956192 18446744073709551615 134532065 0 0 4096 3 0 0 0 17 1 0 0
/proc/16371/statm: 3661 3521 79 151 0 3507 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 31516
[startup+51.1021 s]
/proc/loadavg: 2.18 2.48 2.52 3/83 16441
/proc/meminfo: memFree=1885352/2055920 swapFree=4192812/4192956
[pid=16348] ppid=16346 vsize=16872 CPUtime=2.54
/proc/16348/stat : 16348 (sugar++) S 16346 16348 15708 0 -1 4194304 1972 38261 0 9 6 3 218 27 16 0 1 0 47554559 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16348/statm: 4218 1119 414 3 0 797 0
[pid=16371] ppid=16348 vsize=14644 CPUtime=47.87
/proc/16371/stat : 16371 (minisat-inc) R 16348 16348 15708 0 -1 4194304 3586 0 0 0 4785 2 0 0 25 0 1 0 47554710 14995456 3521 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/16371/statm: 3661 3521 79 151 0 3507 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 31516
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 51.1812
CPU time (s): 50.5193
CPU user time (s): 50.1774
CPU system time (s): 0.341948
CPU usage (%): 98.7069
Max. virtual memory (cumulated for all children) (KiB): 890576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.1774
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43899
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3516
involuntary context switches= 5248
runsolver used 0.081987 second user time and 0.175973 second system time
The end
Begin job on node60 at 2008-07-13 02:22:42
IDJOB=1114827
IDBENCH=61782
IDSOLVER=367
FILE ID=node60/1114827-1215908562
PBS_JOBID= 7903735
Free space on /tmp= 66488 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rand-2-30-15/normalized-rand-2-30-15-306-230-29_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114827-1215908562/watcher-1114827-1215908562 -o /tmp/evaluation-result-1114827-1215908562/solver-1114827-1215908562 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1114827-1215908562.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 12b33df74432d1bc92d3c86bf841fa40
RANDOM SEED=1169318658
node60.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.263
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.263
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: 1904600 kB
Buffers: 15908 kB
Cached: 57668 kB
SwapCached: 0 kB
Active: 77872 kB
Inactive: 23552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1904600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1116 kB
Writeback: 0 kB
Mapped: 47976 kB
Slab: 34752 kB
Committed_AS: 229004 kB
PageTables: 2088 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= 66488 MiB
End job on node60 at 2008-07-13 02:23:34