0.00/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07 c 0 BEGIN Sat Jul 12 23:43:18 2008
0.00/0.07 c 0 PID 20685
0.00/0.07 c 0 HOST node8.alineos.net
0.00/0.07 c 0 CONVERTING HOME/instance-1114235-1215898998.xml TO HOME/temp.csp
0.00/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114235-1215898998.xml' 'HOME/temp.csp'
0.06/0.70 c 1 1 domains, 40 variables, 0 predicates, 414 relations, 414 constraints
0.06/0.75 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.75 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.69/0.82 c 1 Parsing HOME/temp.csp
0.93/1.03 c 1 parsed 869 expressions
0.93/1.04 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.93/1.04 c 1 MAX CSP: 414 constraints
0.93/1.04 c 1 Converting to clausal form CSP
0.93/1.07 c 1 converted 129 (10%) expressions
0.93/1.07 c 1 converted 258 (20%) expressions
0.93/1.07 c 1 converted 386 (30%) expressions
0.93/1.10 c 1 converted 515 (40%) expressions
1.02/1.11 c 1 converted 643 (50%) expressions
1.02/1.12 c 1 converted 772 (60%) expressions
1.02/1.13 c 1 converted 901 (70%) expressions
1.02/1.14 c 1 converted 1029 (80%) expressions
1.02/1.16 c 1 converted 1158 (90%) expressions
1.21/1.32 c 1 converted 1286 (100%) expressions
1.21/1.32 c 1 CSP : 868 integers, 0 booleans, 1241 clauses, largest domain size 622
1.21/1.32 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.21/1.32 c 1 Propagation in CSP
1.21/1.36 c 1 408 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.21/1.36 c 1 CSP : 868 integers, 0 booleans, 1241 clauses, largest domain size 415
1.21/1.36 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.21/1.36 c 1 Simplifing CSP by introducing new Boolean variables
1.21/1.36 c 1 CSP : 868 integers, 0 booleans, 1241 clauses, largest domain size 415
1.21/1.36 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.21/1.40 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.32/1.41 c 1 87 (10%) CSP integer variables are encoded (360 clauses, 3828 bytes)
1.32/1.41 c 1 174 (20%) CSP integer variables are encoded (360 clauses, 3828 bytes)
1.32/1.41 c 1 261 (30%) CSP integer variables are encoded (360 clauses, 3828 bytes)
1.32/1.41 c 1 348 (40%) CSP integer variables are encoded (360 clauses, 3828 bytes)
1.32/1.41 c 1 434 (50%) CSP integer variables are encoded (360 clauses, 3828 bytes)
1.32/1.42 c 1 521 (60%) CSP integer variables are encoded (1064 clauses, 12611 bytes)
1.32/1.42 c 1 608 (70%) CSP integer variables are encoded (1572 clauses, 19215 bytes)
1.32/1.43 c 1 695 (80%) CSP integer variables are encoded (5194 clauses, 66301 bytes)
1.32/1.43 c 1 782 (90%) CSP integer variables are encoded (5724 clauses, 73191 bytes)
1.32/1.43 c 1 868 (100%) CSP integer variables are encoded (6479 clauses, 83006 bytes)
1.32/1.48 c 1 125 (10%) CSP clauses are encoded (8777 clauses, 130803 bytes)
1.41/1.50 c 1 249 (20%) CSP clauses are encoded (10979 clauses, 179807 bytes)
1.41/1.52 c 1 373 (30%) CSP clauses are encoded (13195 clauses, 230832 bytes)
1.41/1.54 c 1 497 (40%) CSP clauses are encoded (15119 clauses, 267479 bytes)
1.41/1.56 c 1 621 (50%) CSP clauses are encoded (26051 clauses, 463728 bytes)
1.41/1.57 c 1 745 (60%) CSP clauses are encoded (29499 clauses, 523494 bytes)
1.70/1.85 c 2 869 (70%) CSP clauses are encoded (194703 clauses, 3537721 bytes)
1.70/1.86 c 2 993 (80%) CSP clauses are encoded (198583 clauses, 3605155 bytes)
1.70/1.88 c 2 1117 (90%) CSP clauses are encoded (207659 clauses, 3767900 bytes)
1.82/1.93 c 2 1241 (100%) CSP clauses are encoded (240411 clauses, 4364301 bytes)
1.82/1.93 c 2 1241 CSP clauses encoded
1.82/1.93 c 2 Writing map file : HOME/temp.map
1.82/1.94 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.82/1.94 c 2 SAT : 7347 SAT variables, 240411 SAT clauses, 4364301 bytes
1.82/1.94 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.88/2.00 c 2 OBJECTIVE minimize _COST
1.88/2.00 c 2 SOLVING HOME/temp.cnf
1.88/2.00 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.88/2.00 c 2 This is MiniSat 2.0 beta incremental
1.88/2.00 c 2 WARNING: for repeatability, setting FPU to use double precision
1.88/2.00 c 2 ============================[ Problem Statistics ]=============================
1.88/2.00 c 2 | |
1.88/2.00 c 2 | Number of variables: 7347 |
1.88/2.00 c 2 | Number of clauses: 240411 |
1.97/2.11 c 2 | Parsing time: 0.09 s |
1.97/2.11 c 2 OK
1.97/2.11 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.97/2.11 c 2 SEARCHING: _COST <= 207
1.97/2.11 c 2 ============================[ Search Statistics ]==============================
1.97/2.11 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.97/2.11 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.97/2.11 c 2 ===============================================================================
1.97/2.11 c 2 | 0 | 7347 240411 713735 | 80137 0 nan | 0.000 % |
1.97/2.13 c 2 ===============================================================================
1.97/2.13 c 2 restarts : 1
1.97/2.13 c 2 conflicts : 0 (0 /sec)
1.97/2.13 c 2 decisions : 30 (0.00 % random) (259 /sec)
1.97/2.13 c 2 propagations : 7347 (63346 /sec)
1.97/2.13 c 2 conflict literals : 0 ( nan % deleted)
1.97/2.13 c 2 Memory used : 11.99 MB
1.97/2.13 c 2 CPU time : 0.115982 s
1.97/2.13 c 2
1.97/2.13 c 2 SATISFIABLE
1.97/2.13 c 2 OK
1.97/2.13 c 2 FOUND: _COST <= 207
1.97/2.13 s SATISFIABLE
1.97/2.13 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.97/2.13 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'
2.00/2.21 c 2 Decoding HOME/temp.out
2.00/2.32 c 2 OBJECTIVE _COST 207
2.00/2.32 o 207
2.00/2.32 v 7 9 2 4 6 10 10 3 9 8 10 5 10 10 10 3 1 10 10 9 6 10 8 6 9 10 10 10 8 10 10 8 10 10 10 10 10 10 9 10
2.00/2.33 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.00/2.34 c 2 OK
2.00/2.34 c 2 OBJECTIVE BOUND: 0 <= _COST <= 207
2.00/2.34 c 2 SEARCHING: _COST <= 103
2.00/2.35 c 2 ============================[ Search Statistics ]==============================
2.00/2.35 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.00/2.35 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.00/2.35 c 2 ===============================================================================
2.00/2.35 c 2 | 0 | 7347 240411 713735 | 80137 0 nan | 0.000 % |
2.00/2.35 c 2 ===============================================================================
2.00/2.35 c 2 restarts : 2
2.00/2.35 c 2 conflicts : 27 (206 /sec)
2.00/2.35 c 2 decisions : 88 (0.00 % random) (672 /sec)
2.00/2.35 c 2 propagations : 16203 (123706 /sec)
2.00/2.35 c 2 conflict literals : 751 (3.72 % deleted)
2.00/2.35 c 2 Memory used : 12.25 MB
2.00/2.35 c 2 CPU time : 0.13098 s
2.00/2.35 c 2
2.00/2.35 c 2 SATISFIABLE
2.00/2.35 c 2 OK
2.00/2.36 c 2 FOUND: _COST <= 103
2.00/2.36 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.00/2.36 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'
2.21/2.43 c 2 Decoding HOME/temp.out
2.21/2.52 c 2 OBJECTIVE _COST 103
2.21/2.52 o 103
2.21/2.52 v 4 9 10 10 6 0 10 9 4 4 6 3 1 8 0 7 10 10 3 3 0 7 4 0 10 9 1 9 10 4 10 8 1 10 10 10 10 9 9 10
2.21/2.52 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.21/2.57 c 2 OK
2.21/2.57 c 2 OBJECTIVE BOUND: 0 <= _COST <= 103
2.21/2.57 c 2 SEARCHING: _COST <= 51
2.21/2.57 c 2 ============================[ Search Statistics ]==============================
2.21/2.58 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.21/2.58 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.21/2.58 c 2 ===============================================================================
2.21/2.58 c 2 | 27 | 5484 240411 713735 | 80137 27 28 | 0.000 % |
2.21/2.59 c 2 | 127 | 5484 240411 713735 | 88150 127 33 | 39.541 % |
2.40/2.60 c 2 ===============================================================================
2.40/2.60 c 2 restarts : 4
2.40/2.60 c 2 conflicts : 144 (852 /sec)
2.40/2.60 c 2 decisions : 406 (0.25 % random) (2403 /sec)
2.40/2.60 c 2 propagations : 77790 (460367 /sec)
2.40/2.60 c 2 conflict literals : 4610 (25.94 % deleted)
2.40/2.60 c 2 Memory used : 12.38 MB
2.40/2.60 c 2 CPU time : 0.168974 s
2.40/2.60 c 2
2.40/2.60 c 2 SATISFIABLE
2.40/2.60 c 2 OK
2.40/2.60 c 2 FOUND: _COST <= 51
2.40/2.60 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.40/2.60 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'
2.40/2.69 c 3 Decoding HOME/temp.out
2.41/2.80 c 3 OBJECTIVE _COST 51
2.41/2.80 o 51
2.41/2.80 v 9 6 10 1 2 2 5 10 5 9 10 10 4 8 7 9 6 8 5 6 8 9 8 9 7 4 10 0 8 0 10 1 10 10 10 5 10 10 10 5
2.41/2.80 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.41/2.81 c 3 OK
2.41/2.81 c 3 OBJECTIVE BOUND: 0 <= _COST <= 51
2.41/2.81 c 3 SEARCHING: _COST <= 25
2.41/2.81 c 3 ============================[ Search Statistics ]==============================
2.41/2.82 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.41/2.82 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.41/2.83 c 3 ===============================================================================
2.41/2.83 c 3 | 144 | 4442 240411 713735 | 80137 144 32 | 39.541 % |
2.41/2.83 c 3 | 244 | 4442 240411 713735 | 88150 244 33 | 48.824 % |
2.41/2.85 c 3 | 394 | 4442 240411 713735 | 96965 394 36 | 48.824 % |
2.69/2.90 c 3 | 619 | 4442 240411 713735 | 106662 619 33 | 48.824 % |
2.69/2.93 c 3 ===============================================================================
2.69/2.93 c 3 restarts : 8
2.69/2.93 c 3 conflicts : 779 (2715 /sec)
2.69/2.93 c 3 decisions : 1324 (0.68 % random) (4614 /sec)
2.69/2.93 c 3 propagations : 329358 (1147765 /sec)
2.69/2.93 c 3 conflict literals : 25546 (23.74 % deleted)
2.69/2.93 c 3 Memory used : 12.51 MB
2.69/2.93 c 3 CPU time : 0.286956 s
2.69/2.93 c 3
2.69/2.93 c 3 SATISFIABLE
2.69/2.93 c 3 OK
2.69/2.93 c 3 FOUND: _COST <= 25
2.69/2.93 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.69/2.93 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.72/3.00 c 3 Decoding HOME/temp.out
2.72/3.09 c 3 OBJECTIVE _COST 25
2.72/3.09 o 25
2.72/3.09 v 7 0 8 9 6 8 6 1 4 6 10 10 4 9 7 10 7 10 1 4 10 7 8 3 10 7 10 0 1 4 4 9 6 9 0 4 10 5 2 10
2.72/3.10 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.72/3.14 c 3 OK
2.72/3.14 c 3 OBJECTIVE BOUND: 0 <= _COST <= 25
2.72/3.14 c 3 SEARCHING: _COST <= 12
2.72/3.15 c 3 ============================[ Search Statistics ]==============================
2.72/3.16 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.72/3.16 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.72/3.16 c 3 ===============================================================================
2.72/3.16 c 3 | 779 | 3760 240411 713735 | 80137 779 33 | 48.824 % |
2.72/3.16 c 3 | 879 | 3760 240411 713735 | 88150 879 31 | 56.092 % |
2.72/3.19 c 3 | 1029 | 3760 240411 713735 | 96965 1029 31 | 56.092 % |
2.95/3.23 c 3 | 1255 | 3760 240411 713735 | 106662 1255 29 | 56.092 % |
2.95/3.28 c 3 | 1592 | 3760 240411 713735 | 117328 1592 30 | 56.092 % |
3.05/3.37 c 3 | 2098 | 3760 240411 713735 | 129061 2098 29 | 56.092 % |
3.25/3.57 c 3 | 2858 | 3226 38953 121335 | 141967 2840 27 | 56.092 % |
3.45/3.75 c 4 | 3997 | 3226 38953 121335 | 156164 3979 28 | 56.092 % |
3.75/4.03 c 4 | 5706 | 3226 38953 121335 | 171780 5688 31 | 56.092 % |
4.15/4.49 c 4 | 8269 | 3226 38953 121335 | 188958 8251 30 | 56.092 % |
4.94/5.21 c 5 | 12114 | 3226 38953 121335 | 207854 12096 31 | 56.092 % |
6.35/6.60 c 6 | 17880 | 3226 38953 121335 | 228640 17862 34 | 56.092 % |
6.35/6.65 c 7 ===============================================================================
6.35/6.65 c 7 restarts : 20
6.35/6.65 c 7 conflicts : 18083 (4769 /sec)
6.35/6.65 c 7 decisions : 21276 (0.47 % random) (5612 /sec)
6.35/6.65 c 7 propagations : 7193860 (1897404 /sec)
6.35/6.65 c 7 conflict literals : 620670 (30.38 % deleted)
6.35/6.65 c 7 Memory used : 12.64 MB
6.35/6.65 c 7 CPU time : 3.79142 s
6.35/6.65 c 7
6.35/6.65 c 7 SATISFIABLE
6.35/6.65 c 7 OK
6.35/6.65 c 7 FOUND: _COST <= 12
6.35/6.65 c 7 DECODING HOME/temp.out WITH HOME/temp.map
6.35/6.65 c 7 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.40/6.73 c 7 Decoding HOME/temp.out
6.40/6.84 c 7 OBJECTIVE _COST 12
6.40/6.84 o 12
6.40/6.85 v 10 10 10 6 2 2 2 2 4 4 10 10 8 10 10 4 5 9 5 3 10 4 10 3 10 9 6 7 3 4 10 10 1 10 10 5 8 9 10 8
6.40/6.85 c 7 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.40/6.87 c 7 OK
6.40/6.87 c 7 OBJECTIVE BOUND: 0 <= _COST <= 12
6.40/6.87 c 7 SEARCHING: _COST <= 6
6.40/6.88 c 7 ============================[ Search Statistics ]==============================
6.40/6.89 c 7 | Conflicts | ORIGINAL | LEARNT | Progress |
6.40/6.89 c 7 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.40/6.89 c 7 ===============================================================================
6.40/6.89 c 7 | 18083 | 2741 24943 80747 | 8314 17814 34 | 56.092 % |
6.64/6.92 c 7 | 18183 | 2741 24943 80747 | 9145 9007 37 | 62.693 % |
6.64/6.95 c 7 | 18333 | 2741 24943 80747 | 10060 9157 37 | 62.693 % |
6.64/6.99 c 7 | 18558 | 2741 24943 80747 | 11066 9382 37 | 62.693 % |
6.74/7.05 c 7 | 18895 | 2741 24943 80747 | 12173 9719 36 | 62.693 % |
6.83/7.14 c 7 | 19401 | 2741 24943 80747 | 13390 10225 36 | 62.693 % |
6.93/7.29 c 7 | 20160 | 2741 24943 80747 | 14729 10984 35 | 62.693 % |
7.23/7.52 c 7 | 21299 | 2741 24943 80747 | 16202 12123 35 | 62.693 % |
7.53/7.88 c 8 | 23008 | 2741 24943 80747 | 17822 13832 34 | 62.693 % |
8.12/8.42 c 8 | 25571 | 2741 24943 80747 | 19604 16395 33 | 62.693 % |
9.02/9.30 c 9 | 29415 | 2741 24943 80747 | 21565 20239 32 | 62.693 % |
10.31/10.62 c 10 | 35181 | 2741 24943 80747 | 23721 26005 32 | 62.693 % |
12.59/12.96 c 13 | 43830 | 2741 24943 80747 | 26093 17329 28 | 62.693 % |
16.26/16.64 c 17 | 56804 | 2741 24943 80747 | 28703 30303 32 | 62.693 % |
21.81/22.29 c 22 | 76266 | 2741 24943 80747 | 31573 28326 32 | 62.693 % |
30.64/31.12 c 31 | 105458 | 2741 24943 80747 | 34731 32560 34 | 62.693 % |
46.13/46.79 c 47 | 149248 | 2741 24943 80747 | 38204 24148 30 | 62.693 % |
73.11/73.96 c 74 | 214932 | 2741 24943 80747 | 42024 32073 28 | 62.693 % |
106.55/107.70 c 108 ===============================================================================
106.55/107.70 c 108 restarts : 38
106.55/107.70 c 108 conflicts : 306711 (2954 /sec)
106.55/107.70 c 108 decisions : 336303 (0.61 % random) (3239 /sec)
106.55/107.70 c 108 propagations : 126069619 (1214120 /sec)
106.55/107.70 c 108 conflict literals : 9788032 (30.82 % deleted)
106.55/107.70 c 108 Memory used : 16.79 MB
106.55/107.70 c 108 CPU time : 103.836 s
106.55/107.70 c 108
106.55/107.70 c 108 SATISFIABLE
106.65/107.70 c 108 OK
106.65/107.70 c 108 FOUND: _COST <= 6
106.65/107.70 c 108 DECODING HOME/temp.out WITH HOME/temp.map
106.65/107.70 c 108 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
106.65/107.79 c 108 Decoding HOME/temp.out
106.65/107.90 c 108 OBJECTIVE _COST 6
106.65/107.90 o 6
106.65/107.91 v 8 3 6 6 7 5 3 1 4 10 10 8 2 10 1 5 7 10 10 3 4 8 10 2 7 10 5 10 5 5 3 4 10 1 10 2 3 8 7 8
106.65/107.91 c 108 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
106.65/107.93 c 108 OK
106.65/107.93 c 108 OBJECTIVE BOUND: 0 <= _COST <= 6
106.65/107.93 c 108 SEARCHING: _COST <= 3
106.65/107.93 c 108 ============================[ Search Statistics ]==============================
106.65/107.93 c 108 | Conflicts | ORIGINAL | LEARNT | Progress |
106.65/107.93 c 108 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
106.65/107.93 c 108 ===============================================================================
106.65/107.93 c 108 | 306711 | 2315 17752 60446 | 5917 21102 31 | 62.693 % |
106.92/108.01 c 108 | 306813 | 2315 17752 60446 | 6509 10653 30 | 68.491 % |
106.92/108.05 c 108 | 306963 | 2315 17752 60446 | 7159 10803 30 | 68.491 % |
106.92/108.09 c 108 | 307188 | 2315 17752 60446 | 7875 11028 30 | 68.491 % |
107.02/108.15 c 108 | 307526 | 2315 17752 60446 | 8663 11366 30 | 68.491 % |
107.12/108.25 c 108 | 308032 | 2315 17752 60446 | 9529 11872 30 | 68.491 % |
107.22/108.37 c 108 | 308791 | 2315 17752 60446 | 10482 12631 30 | 68.491 % |
107.42/108.58 c 108 | 309930 | 2315 17752 60446 | 11531 13770 30 | 68.491 % |
107.72/108.89 c 109 | 311640 | 2315 17752 60446 | 12684 15480 31 | 68.491 % |
108.21/109.37 c 109 | 314202 | 2315 17752 60446 | 13952 18042 30 | 68.491 % |
109.01/110.15 c 110 | 318047 | 2315 17752 60446 | 15348 11816 28 | 68.491 % |
110.09/111.28 c 111 | 323813 | 2315 17752 60446 | 16882 17582 31 | 68.491 % |
112.18/113.37 c 113 | 332462 | 2315 17752 60446 | 18571 15005 29 | 68.491 % |
115.25/116.44 c 116 | 345437 | 2315 17752 60446 | 20428 15388 30 | 68.491 % |
119.72/120.92 c 121 | 364899 | 2315 17752 60446 | 22471 19907 35 | 68.491 % |
128.15/129.42 c 129 | 394094 | 2315 17752 60446 | 24718 18814 34 | 68.491 % |
142.96/144.30 c 144 | 437883 | 2315 17752 60446 | 27189 30368 31 | 68.491 % |
162.97/164.45 c 164 | 503568 | 2315 17752 60446 | 29908 19022 30 | 68.491 % |
195.04/196.60 c 196 | 602095 | 2315 17752 60446 | 32899 30653 32 | 68.491 % |
212.26/213.92 c 214 ===============================================================================
212.26/213.92 c 214 restarts : 57
212.26/213.92 c 214 conflicts : 655042 (3130 /sec)
212.26/213.92 c 214 decisions : 721976 (0.62 % random) (3450 /sec)
212.26/213.92 c 214 propagations : 255449787 (1220687 /sec)
212.26/213.92 c 214 conflict literals : 21479804 (30.86 % deleted)
212.26/213.92 c 214 Memory used : 17.57 MB
212.26/213.92 c 214 CPU time : 209.267 s
212.26/213.92 c 214
212.26/213.92 c 214 SATISFIABLE
212.26/213.92 c 214 OK
212.26/213.92 c 214 FOUND: _COST <= 3
212.26/213.92 c 214 DECODING HOME/temp.out WITH HOME/temp.map
212.26/213.92 c 214 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
212.28/214.01 c 214 Decoding HOME/temp.out
212.28/214.12 c 214 OBJECTIVE _COST 3
212.28/214.12 o 3
212.28/214.12 v 7 8 6 9 2 9 9 1 8 5 10 7 2 0 9 1 7 8 5 4 1 9 10 6 2 6 10 7 7 8 3 9 6 2 3 2 8 7 2 10
212.28/214.12 c 214 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
212.28/214.15 c 214 OK
212.28/214.15 c 214 OBJECTIVE BOUND: 0 <= _COST <= 3
212.28/214.15 c 214 SEARCHING: _COST <= 1
212.28/214.15 c 214 ============================[ Search Statistics ]==============================
212.28/214.15 c 214 | Conflicts | ORIGINAL | LEARNT | Progress |
212.28/214.15 c 214 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
212.28/214.15 c 214 ===============================================================================
212.28/214.15 c 214 | 655042 | 1898 13495 48923 | 4498 33066 34 | 68.491 % |
212.55/214.29 c 214 | 655142 | 1898 13495 48923 | 4948 6863 26 | 74.168 % |
212.65/214.31 c 214 | 655293 | 1898 13495 48923 | 5442 7014 27 | 74.168 % |
212.65/214.35 c 214 | 655519 | 1898 13495 48923 | 5987 7240 27 | 74.168 % |
212.75/214.41 c 214 | 655856 | 1898 13495 48923 | 6586 7577 27 | 74.168 % |
212.75/214.49 c 214 | 656362 | 1898 13495 48923 | 7244 8083 27 | 74.168 % |
212.85/214.59 c 214 | 657122 | 1898 13495 48923 | 7969 8843 29 | 74.168 % |
213.04/214.73 c 215 | 658261 | 1898 13495 48923 | 8765 9982 32 | 74.168 % |
213.34/215.03 c 215 | 659970 | 1898 13495 48923 | 9642 11691 33 | 74.168 % |
213.74/215.48 c 215 | 662533 | 1898 13495 48923 | 10606 14254 33 | 74.168 % |
214.54/216.24 c 216 | 666378 | 1898 13495 48923 | 11667 9611 35 | 74.168 % |
215.63/217.34 c 217 | 672144 | 1898 13495 48923 | 12834 15377 33 | 74.168 % |
217.32/219.07 c 219 | 680793 | 1898 13495 48923 | 14117 14513 29 | 74.168 % |
220.01/221.79 c 222 | 693769 | 1898 13495 48923 | 15529 17352 29 | 74.168 % |
224.29/226.08 c 226 | 713231 | 1898 13495 48923 | 17082 14696 34 | 74.168 % |
230.87/232.69 c 233 | 742423 | 1898 13495 48923 | 18790 20591 35 | 74.168 % |
240.63/242.46 c 242 | 786213 | 1898 13495 48923 | 20669 12622 41 | 74.168 % |
256.96/258.84 c 259 | 851897 | 1898 13495 48923 | 22736 24208 29 | 74.168 % |
282.25/284.22 c 284 | 950423 | 1898 13495 48923 | 25010 14698 28 | 74.168 % |
319.50/321.67 c 322 | 1098212 | 1898 13495 48923 | 27511 20833 29 | 74.168 % |
379.05/381.47 c 381 | 1319896 | 1898 13495 48923 | 30262 19257 30 | 74.168 % |
476.36/479.17 c 479 | 1652422 | 1898 13495 48923 | 33288 17692 26 | 74.168 % |
516.00/518.99 c 519 ===============================================================================
516.00/518.99 c 519 restarts : 79
516.00/518.99 c 519 conflicts : 1783028 (3477 /sec)
516.00/518.99 c 519 decisions : 2006984 (0.62 % random) (3913 /sec)
516.00/518.99 c 519 propagations : 585914294 (1142456 /sec)
516.00/518.99 c 519 conflict literals : 59162497 (30.60 % deleted)
516.00/518.99 c 519 Memory used : 24.34 MB
516.00/518.99 c 519 CPU time : 512.855 s
516.00/518.99 c 519
516.00/518.99 c 519 SATISFIABLE
516.00/518.99 c 519 OK
516.00/518.99 c 519 FOUND: _COST <= 1
516.00/518.99 c 519 DECODING HOME/temp.out WITH HOME/temp.map
516.00/518.99 c 519 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
516.09/519.08 c 519 Decoding HOME/temp.out
516.17/519.17 c 519 OBJECTIVE _COST 1
516.17/519.17 o 1
516.17/519.17 v 8 1 6 1 4 2 6 4 5 6 9 5 10 8 10 1 7 4 10 8 8 1 5 4 10 9 4 5 4 9 4 1 3 5 5 9 7 7 3 8
516.17/519.18 c 519 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
516.25/519.22 c 519 OK
516.25/519.22 c 519 OBJECTIVE BOUND: 0 <= _COST <= 1
516.25/519.22 c 519 SEARCHING: _COST <= 0
516.25/519.22 c 519 ============================[ Search Statistics ]==============================
516.25/519.22 c 519 | Conflicts | ORIGINAL | LEARNT | Progress |
516.25/519.22 c 519 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
516.25/519.22 c 519 ===============================================================================
516.25/519.22 c 519 | 1783028 | 1227 9421 38679 | 3140 24365 57 | 74.168 % |
516.25/519.29 c 519 | 1783129 | 1227 9421 38679 | 3454 6193 52 | 83.301 % |
516.35/519.31 c 519 | 1783280 | 1227 9421 38679 | 3799 6344 52 | 83.301 % |
516.35/519.34 c 519 | 1783507 | 1227 9421 38679 | 4179 6571 53 | 83.301 % |
516.35/519.38 c 519 | 1783844 | 1227 9421 38679 | 4597 6908 53 | 83.301 % |
516.45/519.46 c 519 | 1784351 | 1227 9421 38679 | 5057 7415 56 | 83.301 % |
516.55/519.59 c 519 | 1785111 | 1227 9421 38679 | 5563 8175 58 | 83.301 % |
516.75/519.76 c 520 | 1786252 | 1227 9421 38679 | 6119 9316 59 | 83.301 % |
517.05/520.02 c 520 | 1787960 | 1227 9421 38679 | 6731 11024 60 | 83.301 % |
517.44/520.43 c 520 | 1790522 | 1227 9421 38679 | 7404 13586 60 | 83.301 % |
517.94/520.99 c 521 | 1794366 | 1227 9421 38679 | 8145 10637 55 | 83.301 % |
518.94/521.90 c 522 | 1800133 | 1227 9421 38679 | 8959 8819 54 | 83.301 % |
520.33/523.33 c 523 | 1808782 | 1227 9421 38679 | 9855 9459 56 | 83.301 % |
522.62/525.60 c 525 | 1821757 | 1227 9421 38679 | 10841 13984 59 | 83.301 % |
526.01/529.03 c 529 | 1841220 | 1227 9421 38679 | 11925 15547 59 | 83.301 % |
531.49/534.51 c 534 | 1870415 | 1227 9421 38679 | 13117 16287 66 | 83.301 % |
540.35/543.42 c 543 | 1914204 | 1227 9421 38679 | 14429 19775 65 | 83.301 % |
554.30/557.46 c 557 | 1979888 | 1227 9421 38679 | 15872 21053 67 | 83.301 % |
575.60/578.85 c 579 | 2078414 | 1227 9421 38679 | 17459 16486 67 | 83.301 % |
609.76/613.12 c 613 | 2226203 | 1227 9421 38679 | 19205 17236 73 | 83.301 % |
610.56/613.97 c 614 ===============================================================================
610.56/613.97 c 614 restarts : 99
610.56/613.97 c 614 conflicts : 2229281 (3671 /sec)
610.56/613.97 c 614 decisions : 2535967 (0.62 % random) (4176 /sec)
610.56/613.97 c 614 propagations : 617804220 (1017423 /sec)
610.56/613.97 c 614 conflict literals : 93489617 (23.51 % deleted)
610.56/613.97 c 614 Memory used : 24.34 MB
610.56/613.97 c 614 CPU time : 607.225 s
610.56/613.97 c 614
610.56/613.97 c 614 UNSATISFIABLE
610.56/613.97 c 614 OK
610.56/613.97 c 614 NOT FOUND: _COST <= 0
610.56/613.97 c 614 OK
610.56/613.97 c 614 OBJECTIVE _COST 1
610.56/613.97 s OPTIMUM FOUND
610.56/613.98 c 614 CPU 610.26 (0.07 0.02 610.19 0.37)
610.56/613.98 c 614 END Sat Jul 12 23:53:32 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-1114235-1215898998/watcher-1114235-1215898998 -o /tmp/evaluation-result-1114235-1215898998/solver-1114235-1215898998 -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-1114235-1215898998.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: 1.99 1.98 1.99 4/74 20685
/proc/meminfo: memFree=1434456/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=12272 CPUtime=0
/proc/20685/stat : 20685 (sugar++) R 20683 20685 20547 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 46602864 12566528 327 996147200 4194304 4206940 548682068528 18446744073709551615 228706712165 0 0 4224 0 0 0 0 17 1 0 0
/proc/20685/statm: 3068 327 246 3 0 168 0
[startup+0.078308 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 20685
/proc/meminfo: memFree=1434456/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16740 CPUtime=0.06
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1219 128 0 0 5 1 0 0 16 0 1 0 46602864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20685/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101308 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 20685
/proc/meminfo: memFree=1434456/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16740 CPUtime=0.06
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1219 128 0 0 5 1 0 0 16 0 1 0 46602864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20685/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301344 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 20685
/proc/meminfo: memFree=1434456/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16740 CPUtime=0.06
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1219 128 0 0 5 1 0 0 16 0 1 0 46602864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20685/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701413 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 20685
/proc/meminfo: memFree=1434456/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16740 CPUtime=0.06
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1219 128 0 0 5 1 0 0 16 0 1 0 46602864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20685/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50255 s]
/proc/loadavg: 2.07 2.00 2.00 4/85 20707
/proc/meminfo: memFree=1424704/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16740 CPUtime=0.69
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1297 4711 0 1 5 1 60 3 15 0 1 0 46602864 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4185 1104 409 3 0 764 0
[pid=20698] ppid=20685 vsize=5356 CPUtime=0
/proc/20698/stat : 20698 (sh) S 20685 20685 20547 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46602939 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20698/statm: 1339 233 193 169 0 50 0
[pid=20699] ppid=20698 vsize=868512 CPUtime=0.72
/proc/20699/stat : 20699 (java) S 20698 20685 20547 0 -1 0 6994 0 1 0 68 4 0 0 20 0 9 0 46602940 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20699/statm: 217128 6217 2564 9 0 211675 0
[pid=20699/tid=20700] ppid=20698 vsize=868512 CPUtime=0.39
/proc/20699/task/20700/stat : 20700 (java) R 20698 20685 20547 0 -1 64 2720 0 1 0 38 1 0 0 25 0 9 0 46602940 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4126474146 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20701] ppid=20698 vsize=868512 CPUtime=0.08
/proc/20699/task/20701/stat : 20701 (java) S 20698 20685 20547 0 -1 64 2085 0 0 0 7 1 0 0 16 0 9 0 46602941 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20702] ppid=20698 vsize=868512 CPUtime=0
/proc/20699/task/20702/stat : 20702 (java) S 20698 20685 20547 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46602942 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20703] ppid=20698 vsize=868512 CPUtime=0
/proc/20699/task/20703/stat : 20703 (java) S 20698 20685 20547 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46602942 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20704] ppid=20698 vsize=868512 CPUtime=0
/proc/20699/task/20704/stat : 20704 (java) S 20698 20685 20547 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46602943 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20705] ppid=20698 vsize=868512 CPUtime=0.22
/proc/20699/task/20705/stat : 20705 (java) S 20698 20685 20547 0 -1 64 1496 0 0 0 21 1 0 0 16 0 9 0 46602943 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20706] ppid=20698 vsize=868512 CPUtime=0
/proc/20699/task/20706/stat : 20706 (java) S 20698 20685 20547 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46602944 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20699/tid=20707] ppid=20698 vsize=868512 CPUtime=0
/proc/20699/task/20707/stat : 20707 (java) S 20698 20685 20547 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46602944 889356288 6217 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890608
[startup+3.10183 s]
/proc/loadavg: 2.07 2.00 2.00 3/76 20708
/proc/meminfo: memFree=1416968/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.43
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1751 23760 0 5 6 2 217 18 15 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=12804 CPUtime=0.29
/proc/20708/stat : 20708 (minisat-inc) S 20685 20685 20547 0 -1 4194304 3072 0 0 0 28 1 0 0 16 0 1 0 46603065 13111296 3013 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 0 0 0
/proc/20708/statm: 3201 3013 79 151 0 3047 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 29676
[startup+6.30239 s]
/proc/loadavg: 2.07 2.00 2.00 3/76 20748
/proc/meminfo: memFree=1414472/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.6
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1767 27628 0 6 6 2 231 21 15 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=12936 CPUtime=3.44
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 3134 0 0 0 343 1 0 0 25 0 1 0 46603065 13246464 3075 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20708/statm: 3234 3075 79 151 0 3080 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 29808
[startup+12.7015 s]
/proc/loadavg: 2.06 2.00 2.00 3/76 20758
/proc/meminfo: memFree=1414480/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.8
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1838 31499 0 7 6 2 248 24 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=13092 CPUtime=9.59
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 3150 0 0 0 958 1 0 0 25 0 1 0 46603065 13406208 3089 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 3273 3089 79 151 0 3119 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 29964
[startup+25.5018 s]
/proc/loadavg: 2.05 2.00 2.00 3/76 20758
/proc/meminfo: memFree=1413904/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.8
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1838 31499 0 7 6 2 248 24 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=14052 CPUtime=22.29
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 3398 0 0 0 2228 1 0 0 25 0 1 0 46603065 14389248 3337 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 3513 3337 79 151 0 3359 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 30924
[startup+51.1012 s]
/proc/loadavg: 2.03 2.00 2.00 3/76 20758
/proc/meminfo: memFree=1412368/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.8
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1838 31499 0 7 6 2 248 24 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=15376 CPUtime=47.69
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 3733 0 0 0 4767 2 0 0 25 0 1 0 46603065 15745024 3672 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 3844 3672 79 151 0 3690 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 32248
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/76 20758
/proc/meminfo: memFree=1410896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.8
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1838 31499 0 7 6 2 248 24 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=16904 CPUtime=98.5
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4089 0 0 0 9848 2 0 0 25 0 1 0 46603065 17309696 4028 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4226 4028 79 151 0 4072 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 33776
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 20807
/proc/meminfo: memFree=1818576/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=2.99
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1907 35371 0 8 6 2 265 26 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=17388 CPUtime=157.89
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4174 0 0 0 15786 3 0 0 25 0 1 0 46603065 17805312 4111 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4347 4111 79 151 0 4193 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 34260
[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 20817
/proc/meminfo: memFree=1817808/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.19
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1977 39242 0 9 6 2 282 29 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=17992 CPUtime=217.42
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4331 0 0 0 21739 3 0 0 25 0 1 0 46603065 18423808 4266 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4498 4266 79 151 0 4344 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 34864
[startup+282.302 s]
/proc/loadavg: 2.16 2.04 2.01 3/84 20817
/proc/meminfo: memFree=1817872/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.19
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1977 39242 0 9 6 2 282 29 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=18140 CPUtime=277.17
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4361 0 0 0 27714 3 0 0 25 0 1 0 46603065 18575360 4296 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4535 4296 79 151 0 4381 0
Current children cumulated CPU time (s) 280.36
Current children cumulated vsize (KiB) 35012
[startup+342.301 s]
/proc/loadavg: 2.33 2.10 2.02 3/84 20817
/proc/meminfo: memFree=1817296/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.19
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1977 39242 0 9 6 2 282 29 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=18548 CPUtime=336.92
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4471 0 0 0 33689 3 0 0 25 0 1 0 46603065 18993152 4406 996147200 134512640 135134323 4294956192 18446744073709551615 134532286 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4637 4406 79 151 0 4483 0
Current children cumulated CPU time (s) 340.11
Current children cumulated vsize (KiB) 35420
[startup+402.303 s]
/proc/loadavg: 2.26 2.13 2.04 3/84 20817
/proc/meminfo: memFree=1817104/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.19
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1977 39242 0 9 6 2 282 29 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=18836 CPUtime=396.68
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4531 0 0 0 39665 3 0 0 25 0 1 0 46603065 19288064 4466 996147200 134512640 135134323 4294956192 18446744073709551615 134528354 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4709 4466 79 151 0 4555 0
Current children cumulated CPU time (s) 399.87
Current children cumulated vsize (KiB) 35708
[startup+462.301 s]
/proc/loadavg: 2.10 2.11 2.03 3/84 20817
/proc/meminfo: memFree=1816720/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.19
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 1977 39242 0 9 6 2 282 29 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=19292 CPUtime=456.44
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 4625 0 0 0 45640 4 0 0 25 0 1 0 46603065 19755008 4560 996147200 134512640 135134323 4294956192 18446744073709551615 134532166 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 4823 4560 79 151 0 4669 0
Current children cumulated CPU time (s) 459.63
Current children cumulated vsize (KiB) 36164
[startup+522.302 s]
/proc/loadavg: 2.03 2.08 2.03 3/84 20827
/proc/meminfo: memFree=1810832/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=515.98
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6036 0 0 0 51593 5 0 0 25 0 1 0 46603065 25513984 5969 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5969 79 151 0 6075 0
Current children cumulated CPU time (s) 519.34
Current children cumulated vsize (KiB) 41788
[startup+582.301 s]
/proc/loadavg: 2.01 2.07 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=575.73
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 57568 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134528130 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 579.09
Current children cumulated vsize (KiB) 41788
Solver just ended. Dumping a history of the last processes samples
[startup+588.701 s]
/proc/loadavg: 2.01 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=582.1
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 58205 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 585.46
Current children cumulated vsize (KiB) 41788
[startup+601.501 s]
/proc/loadavg: 2.01 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=594.86
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 59481 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134529982 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 598.22
Current children cumulated vsize (KiB) 41788
[startup+607.902 s]
/proc/loadavg: 2.01 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=601.22
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 60117 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 604.58
Current children cumulated vsize (KiB) 41788
[startup+611.102 s]
/proc/loadavg: 2.01 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=604.41
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 60436 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 607.77
Current children cumulated vsize (KiB) 41788
[startup+612.706 s]
/proc/loadavg: 2.00 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=606.01
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 60596 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 609.37
Current children cumulated vsize (KiB) 41788
[startup+613.502 s]
/proc/loadavg: 2.00 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=606.8
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 60675 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 610.16
Current children cumulated vsize (KiB) 41788
[startup+613.902 s]
/proc/loadavg: 2.00 2.06 2.02 3/84 20827
/proc/meminfo: memFree=1810896/2055920 swapFree=4192812/4192956
[pid=20685] ppid=20683 vsize=16872 CPUtime=3.36
/proc/20685/stat : 20685 (sugar++) S 20683 20685 20547 0 -1 4194304 2048 43114 0 10 7 2 296 31 16 0 1 0 46602864 17276928 1124 996147200 4194304 4206940 548682068528 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20685/statm: 4218 1124 414 3 0 797 0
[pid=20708] ppid=20685 vsize=24916 CPUtime=607.2
/proc/20708/stat : 20708 (minisat-inc) R 20685 20685 20547 0 -1 4194304 6037 0 0 0 60715 5 0 0 25 0 1 0 46603065 25513984 5970 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 0 0 0
/proc/20708/statm: 6229 5970 79 151 0 6075 0
Current children cumulated CPU time (s) 610.56
Current children cumulated vsize (KiB) 41788
Child status: 0
Real time (s): 613.982
CPU time (s): 610.676
CPU user time (s): 610.265
CPU system time (s): 0.410937
CPU usage (%): 99.4615
Max. virtual memory (cumulated for all children) (KiB): 890608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 610.265
system time used= 0.410937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51279
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4819
involuntary context switches= 13545
runsolver used 0.487925 second user time and 1.77373 second system time
The end
Begin job on node8 at 2008-07-12 23:43:18
IDJOB=1114235
IDBENCH=61708
IDSOLVER=367
FILE ID=node8/1114235-1215898998
PBS_JOBID= 7903706
Free space on /tmp= 66260 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.2/normalized-rand-2-40-11-414-200-76_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-1114235-1215898998/watcher-1114235-1215898998 -o /tmp/evaluation-result-1114235-1215898998/solver-1114235-1215898998 -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-1114235-1215898998.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b73739947302319b802c796b3d6b0a99
RANDOM SEED=2127668174
node8.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.268
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.268
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1434872 kB
Buffers: 48792 kB
Cached: 155464 kB
SwapCached: 16 kB
Active: 496056 kB
Inactive: 63008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1434872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 932 kB
Writeback: 0 kB
Mapped: 365816 kB
Slab: 46432 kB
Committed_AS: 620980 kB
PageTables: 2440 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66336 MiB
End job on node8 at 2008-07-12 23:53:32