0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sun Jul 13 04:29:59 2008
0.00/0.04 c 0 PID 10529
0.00/0.04 c 0 HOST node85.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1115188-1215916199.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115188-1215916199.xml' 'HOME/temp.csp'
0.52/0.61 c 0 1 domains, 40 variables, 0 predicates, 103 relations, 103 constraints
0.52/0.62 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.52/0.62 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.54/0.72 c 0 Parsing HOME/temp.csp
1.32/1.60 c 1 parsed 247 expressions
1.38/1.61 c 1 Heap : 13 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.38/1.61 c 1 MAX CSP: 103 constraints
1.38/1.61 c 1 Converting to clausal form CSP
1.38/1.63 c 1 converted 36 (10%) expressions
1.38/1.64 c 1 converted 71 (20%) expressions
1.38/1.65 c 1 converted 106 (30%) expressions
1.38/1.66 c 1 converted 142 (40%) expressions
1.48/1.72 c 1 converted 177 (50%) expressions
1.48/1.77 c 2 converted 212 (60%) expressions
1.68/1.95 c 2 converted 248 (70%) expressions
1.78/2.02 c 2 converted 283 (80%) expressions
1.78/2.08 c 2 converted 318 (90%) expressions
1.88/2.17 c 2 converted 353 (100%) expressions
1.88/2.17 c 2 CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 155
1.88/2.17 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.88/2.17 c 2 Propagation in CSP
1.88/2.19 c 2 98 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.88/2.19 c 2 CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
1.88/2.19 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.88/2.19 c 2 Simplifing CSP by introducing new Boolean variables
1.88/2.19 c 2 CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
1.88/2.19 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.98/2.28 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.08/2.31 c 2 25 (10%) CSP integer variables are encoded (1950 clauses, 23229 bytes)
2.08/2.31 c 2 50 (20%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.08/2.31 c 2 74 (30%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.08/2.31 c 2 99 (40%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.08/2.31 c 2 123 (50%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.08/2.31 c 2 148 (60%) CSP integer variables are encoded (3228 clauses, 39843 bytes)
2.08/2.31 c 2 173 (70%) CSP integer variables are encoded (3327 clauses, 41130 bytes)
2.08/2.31 c 2 197 (80%) CSP integer variables are encoded (3473 clauses, 43028 bytes)
2.08/2.31 c 2 222 (90%) CSP integer variables are encoded (3572 clauses, 44315 bytes)
2.08/2.31 c 2 246 (100%) CSP integer variables are encoded (4234 clauses, 52921 bytes)
2.27/2.59 c 2 31 (10%) CSP clauses are encoded (36602 clauses, 907238 bytes)
2.53/2.88 c 3 62 (20%) CSP clauses are encoded (68896 clauses, 1815593 bytes)
2.81/3.12 c 3 93 (30%) CSP clauses are encoded (101213 clauses, 2759108 bytes)
2.91/3.23 c 3 124 (40%) CSP clauses are encoded (111869 clauses, 3068439 bytes)
2.91/3.24 c 3 154 (50%) CSP clauses are encoded (112641 clauses, 3081705 bytes)
2.91/3.24 c 3 185 (60%) CSP clauses are encoded (112926 clauses, 3086339 bytes)
2.91/3.24 c 3 216 (70%) CSP clauses are encoded (115055 clauses, 3124263 bytes)
2.91/3.24 c 3 247 (80%) CSP clauses are encoded (115350 clauses, 3129060 bytes)
2.91/3.25 c 3 278 (90%) CSP clauses are encoded (116089 clauses, 3141757 bytes)
2.91/3.29 c 3 308 (100%) CSP clauses are encoded (127178 clauses, 3339117 bytes)
2.91/3.29 c 3 308 CSP clauses encoded
2.91/3.29 c 3 Writing map file : HOME/temp.map
2.91/3.29 c 3 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.91/3.29 c 3 SAT : 4480 SAT variables, 127178 SAT clauses, 3339117 bytes
2.91/3.29 c 3 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.97/3.31 c 3 OBJECTIVE minimize _COST
2.97/3.31 c 3 OBJECTIVE BOUND: 0 <= _COST <=
2.97/3.31 c 3 SEARCHING: _COST <= 52
2.97/3.31 c 3 SOLVING HOME/temp.cnf
2.97/3.31 c 3 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2.97/3.33 c 3 This is MiniSat 2.0 beta
2.97/3.33 c 3 WARNING: for repeatability, setting FPU to use double precision
2.97/3.33 c 3 ============================[ Problem Statistics ]=============================
2.97/3.33 c 3 | |
2.97/3.36 c 3 | Number of variables: 4480 |
2.97/3.36 c 3 | Number of clauses: 127179 |
2.99/3.44 c 3 | Parsing time: 0.07 s |
2.99/3.44 c 3 ============================[ Search Statistics ]==============================
2.99/3.44 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.99/3.44 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.99/3.44 c 3 ===============================================================================
2.99/3.44 c 3 | 0 | 4123 121429 557971 | 40476 0 nan | 0.000 % |
2.99/3.49 c 3 | 100 | 4123 121429 557971 | 44523 100 17 | 7.969 % |
2.99/3.53 c 3 | 251 | 4123 121429 557971 | 48976 251 28 | 7.969 % |
2.99/3.55 c 3 ===============================================================================
2.99/3.55 c 3 restarts : 3
2.99/3.55 c 3 conflicts : 283 (1627 /sec)
2.99/3.55 c 3 decisions : 728 (1.37 % random) (4185 /sec)
2.99/3.55 c 3 propagations : 90979 (522949 /sec)
2.99/3.55 c 3 conflict literals : 7424 (34.97 % deleted)
2.99/3.55 c 3 Memory used : 8.22 MB
2.99/3.55 c 3 CPU time : 0.173973 s
2.99/3.55 c 3
2.99/3.55 c 3 SATISFIABLE
2.99/3.55 c 3 FOUND: _COST <= 52
2.99/3.55 s SATISFIABLE
2.99/3.55 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.99/3.55 c 3 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.18/3.65 c 3 Decoding HOME/temp.out
3.18/3.70 c 3 OBJECTIVE _COST 44
3.18/3.70 o 44
3.18/3.70 v 56 63 65 69 79 78 79 61 76 79 61 42 76 31 79 60 79 37 66 79 78 29 79 64 18 61 79 79 59 79 36 51 79 79 79 79 77 63 61 76
3.18/3.71 c 3 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.18/3.75 c 4 OBJECTIVE BOUND: 0 <= _COST <= 44
3.18/3.75 c 4 SEARCHING: _COST <= 22
3.18/3.75 c 4 SOLVING HOME/temp.cnf
3.18/3.75 c 4 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.18/3.76 c 4 This is MiniSat 2.0 beta
3.18/3.76 c 4 WARNING: for repeatability, setting FPU to use double precision
3.18/3.76 c 4 ============================[ Problem Statistics ]=============================
3.18/3.76 c 4 | |
3.18/3.76 c 4 | Number of variables: 4480 |
3.18/3.76 c 4 | Number of clauses: 127179 |
3.31/3.84 c 4 | Parsing time: 0.06 s |
3.31/3.84 c 4 ============================[ Search Statistics ]==============================
3.31/3.84 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.31/3.84 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.31/3.84 c 4 ===============================================================================
3.31/3.84 c 4 | 0 | 3871 116928 545194 | 38976 0 nan | 0.000 % |
3.31/3.89 c 4 | 100 | 3871 116928 545194 | 42873 100 17 | 13.594 % |
3.31/3.95 c 4 | 251 | 3871 116928 545194 | 47160 251 22 | 13.594 % |
3.31/3.99 c 4 ===============================================================================
3.31/3.99 c 4 restarts : 3
3.31/3.99 c 4 conflicts : 350 (1683 /sec)
3.31/3.99 c 4 decisions : 679 (1.03 % random) (3265 /sec)
3.31/3.99 c 4 propagations : 106183 (510574 /sec)
3.31/3.99 c 4 conflict literals : 7451 (40.08 % deleted)
3.31/3.99 c 4 Memory used : 8.09 MB
3.31/3.99 c 4 CPU time : 0.207968 s
3.31/3.99 c 4
3.31/3.99 c 4 SATISFIABLE
3.31/4.00 c 4 FOUND: _COST <= 22
3.31/4.00 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.31/4.00 c 4 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.54/4.08 c 4 Decoding HOME/temp.out
3.54/4.13 c 4 OBJECTIVE _COST 22
3.54/4.14 o 22
3.54/4.14 v 70 60 32 75 54 79 78 15 27 52 56 39 75 37 54 66 58 74 54 79 79 68 12 78 42 38 23 9 59 79 74 65 40 79 16 25 78 63 51 64
3.54/4.14 c 4 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.54/4.19 c 4 OBJECTIVE BOUND: 0 <= _COST <= 22
3.54/4.19 c 4 SEARCHING: _COST <= 11
3.54/4.19 c 4 SOLVING HOME/temp.cnf
3.54/4.19 c 4 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
3.54/4.20 c 4 This is MiniSat 2.0 beta
3.54/4.20 c 4 WARNING: for repeatability, setting FPU to use double precision
3.54/4.20 c 4 ============================[ Problem Statistics ]=============================
3.54/4.20 c 4 | |
3.68/4.20 c 4 | Number of variables: 4480 |
3.68/4.20 c 4 | Number of clauses: 127179 |
3.68/4.27 c 4 | Parsing time: 0.07 s |
3.68/4.28 c 4 ============================[ Search Statistics ]==============================
3.68/4.28 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.68/4.28 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.68/4.28 c 4 ===============================================================================
3.68/4.28 c 4 | 0 | 3736 114421 538067 | 38140 0 nan | 0.000 % |
3.68/4.32 c 4 | 100 | 3736 114421 538067 | 41954 100 17 | 16.607 % |
3.68/4.37 c 4 | 250 | 3736 114421 538067 | 46149 250 18 | 16.607 % |
3.87/4.47 c 4 | 475 | 3736 114421 538067 | 50764 475 20 | 16.608 % |
3.97/4.57 c 4 | 812 | 3736 114421 538067 | 55841 812 19 | 16.608 % |
4.15/4.73 c 4 | 1319 | 3736 114421 538067 | 61425 1319 19 | 16.608 % |
4.49/5.11 c 5 | 2080 | 3736 114421 538067 | 67567 2080 21 | 16.608 % |
4.95/5.64 c 5 | 3219 | 3736 114421 538067 | 74324 3219 21 | 16.608 % |
5.63/6.32 c 6 | 4928 | 3736 114421 538067 | 81757 4928 22 | 16.608 % |
6.73/7.51 c 7 | 7491 | 3736 114421 538067 | 89932 7491 23 | 16.608 % |
7.21/8.07 c 8 ===============================================================================
7.21/8.07 c 8 restarts : 10
7.21/8.07 c 8 conflicts : 8923 (2473 /sec)
7.21/8.07 c 8 decisions : 12159 (1.27 % random) (3370 /sec)
7.21/8.07 c 8 propagations : 2515322 (697064 /sec)
7.21/8.07 c 8 conflict literals : 198929 (39.90 % deleted)
7.21/8.07 c 8 Memory used : 9.12 MB
7.21/8.07 c 8 CPU time : 3.60845 s
7.21/8.07 c 8
7.21/8.08 c 8 SATISFIABLE
7.21/8.08 c 8 FOUND: _COST <= 11
7.21/8.08 c 8 DECODING HOME/temp.out WITH HOME/temp.map
7.21/8.08 c 8 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
7.30/8.16 c 8 Decoding HOME/temp.out
7.30/8.21 c 8 OBJECTIVE _COST 11
7.30/8.21 o 11
7.30/8.21 v 22 58 14 60 35 79 70 56 30 52 23 48 76 77 71 4 58 74 53 79 63 22 34 78 49 65 23 9 75 79 23 69 12 61 16 26 71 0 10 64
7.30/8.21 c 8 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
7.30/8.26 c 8 OBJECTIVE BOUND: 0 <= _COST <= 11
7.30/8.26 c 8 SEARCHING: _COST <= 5
7.30/8.26 c 8 SOLVING HOME/temp.cnf
7.30/8.26 c 8 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
7.30/8.27 c 8 This is MiniSat 2.0 beta
7.30/8.27 c 8 WARNING: for repeatability, setting FPU to use double precision
7.30/8.27 c 8 ============================[ Problem Statistics ]=============================
7.30/8.27 c 8 | |
7.30/8.27 c 8 | Number of variables: 4480 |
7.30/8.27 c 8 | Number of clauses: 127179 |
7.44/8.35 c 8 | Parsing time: 0.06 s |
7.44/8.36 c 8 ============================[ Search Statistics ]==============================
7.44/8.36 c 8 | Conflicts | ORIGINAL | LEARNT | Progress |
7.44/8.36 c 8 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.44/8.36 c 8 ===============================================================================
7.44/8.36 c 8 | 0 | 3606 112698 533282 | 37566 0 nan | 0.000 % |
7.44/8.40 c 8 | 101 | 3606 112698 533282 | 41322 101 18 | 19.509 % |
7.44/8.43 c 8 | 251 | 3606 112698 533282 | 45454 251 18 | 19.509 % |
7.44/8.49 c 8 | 477 | 3606 112698 533282 | 50000 477 20 | 19.509 % |
7.44/8.61 c 8 | 814 | 3606 112698 533282 | 55000 814 21 | 19.509 % |
7.44/8.77 c 9 | 1320 | 3606 112698 533282 | 60500 1320 20 | 19.509 % |
8.14/9.07 c 9 | 2079 | 3606 112698 533282 | 66550 2079 20 | 19.509 % |
8.62/9.54 c 9 | 3218 | 3606 112698 533282 | 73205 3218 21 | 19.509 % |
9.36/10.34 c 10 | 4927 | 3606 112698 533282 | 80526 4927 22 | 19.509 % |
10.43/11.52 c 11 | 7490 | 3606 112698 533282 | 88578 7490 23 | 19.509 % |
12.39/13.63 c 13 | 11334 | 3606 112698 533282 | 97436 11334 24 | 19.509 % |
15.22/16.68 c 16 | 17101 | 3606 112698 533282 | 107180 17101 24 | 19.509 % |
19.84/21.70 c 21 | 25750 | 3606 112698 533282 | 117898 25750 26 | 19.509 % |
27.26/29.76 c 30 | 38726 | 3606 112698 533282 | 129688 38726 27 | 19.509 % |
41.57/45.26 c 45 | 58188 | 3606 112698 533282 | 142656 58188 27 | 19.509 % |
73.90/80.55 c 80 | 87381 | 3606 112698 533282 | 156922 87381 30 | 19.509 % |
119.07/129.73 c 129 | 131170 | 3606 112698 533282 | 172614 131170 31 | 19.509 % |
147.69/159.38 c 159 ===============================================================================
147.69/159.38 c 159 restarts : 17
147.69/159.38 c 159 conflicts : 152437 (1087 /sec)
147.69/159.38 c 159 decisions : 193611 (1.46 % random) (1381 /sec)
147.69/159.38 c 159 propagations : 36991914 (263793 /sec)
147.69/159.38 c 159 conflict literals : 4704443 (33.09 % deleted)
147.69/159.38 c 159 Memory used : 32.04 MB
147.69/159.38 c 159 CPU time : 140.231 s
147.69/159.38 c 159
147.69/159.38 c 159 SATISFIABLE
147.69/159.39 c 159 FOUND: _COST <= 5
147.69/159.39 c 159 DECODING HOME/temp.out WITH HOME/temp.map
147.69/159.39 c 159 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
147.79/159.47 c 159 Decoding HOME/temp.out
147.88/159.53 c 159 OBJECTIVE _COST 5
147.88/159.53 o 5
147.88/159.53 v 18 30 46 0 53 76 79 40 77 28 9 3 79 31 56 39 4 52 41 79 50 9 35 79 78 0 27 51 45 2 77 30 46 68 19 58 72 70 21 1
147.88/159.53 c 159 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
147.88/159.59 c 159 OBJECTIVE BOUND: 0 <= _COST <= 5
147.88/159.59 c 159 SEARCHING: _COST <= 2
147.88/159.59 c 159 SOLVING HOME/temp.cnf
147.88/159.59 c 159 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
147.95/159.63 c 159 This is MiniSat 2.0 beta
147.95/159.63 c 159 WARNING: for repeatability, setting FPU to use double precision
147.95/159.63 c 159 ============================[ Problem Statistics ]=============================
147.95/159.63 c 159 | |
147.95/159.63 c 159 | Number of variables: 4480 |
147.95/159.63 c 159 | Number of clauses: 127179 |
147.95/159.71 c 159 | Parsing time: 0.07 s |
147.95/159.71 c 159 ============================[ Search Statistics ]==============================
147.95/159.71 c 159 | Conflicts | ORIGINAL | LEARNT | Progress |
147.95/159.71 c 159 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
147.95/159.71 c 159 ===============================================================================
147.95/159.71 c 159 | 0 | 3469 111583 530345 | 37194 0 nan | 0.000 % |
147.95/159.76 c 160 | 100 | 3469 111583 530345 | 40913 100 18 | 22.567 % |
147.95/159.82 c 160 | 251 | 3469 111583 530345 | 45005 251 20 | 22.567 % |
147.95/159.89 c 160 | 476 | 3469 111583 530345 | 49505 476 21 | 22.567 % |
147.95/160.01 c 160 | 813 | 3469 111583 530345 | 54456 813 21 | 22.567 % |
147.96/160.19 c 160 | 1319 | 3469 111583 530345 | 59901 1319 21 | 22.567 % |
147.96/160.41 c 160 | 2078 | 3469 111583 530345 | 65892 2078 21 | 22.567 % |
149.20/160.90 c 161 | 3218 | 3469 111583 530345 | 72481 3218 22 | 22.567 % |
149.70/161.48 c 161 | 4926 | 3469 111583 530345 | 79729 4926 21 | 22.567 % |
150.79/162.57 c 162 | 7489 | 3469 111583 530345 | 87702 7489 24 | 22.567 % |
152.57/164.31 c 164 | 11333 | 3469 111583 530345 | 96472 11333 24 | 22.567 % |
155.36/167.14 c 167 | 17102 | 3469 111583 530345 | 106119 17102 25 | 22.567 % |
161.12/172.96 c 173 | 25754 | 3469 111583 530345 | 116731 25754 27 | 22.567 % |
171.86/183.75 c 184 | 38730 | 3469 111583 530345 | 128404 38730 28 | 22.567 % |
190.83/202.87 c 203 | 58192 | 3469 111583 530345 | 141245 58192 30 | 22.567 % |
231.55/243.87 c 244 | 87387 | 3469 111583 530345 | 155369 87387 32 | 22.567 % |
251.02/263.50 c 263 ===============================================================================
251.02/263.50 c 263 restarts : 16
251.02/263.50 c 263 conflicts : 97466 (945 /sec)
251.02/263.50 c 263 decisions : 117364 (1.62 % random) (1138 /sec)
251.02/263.50 c 263 propagations : 21439213 (207915 /sec)
251.12/263.50 c 263 conflict literals : 3090227 (29.15 % deleted)
251.12/263.50 c 263 Memory used : 27.86 MB
251.12/263.50 c 263 CPU time : 103.115 s
251.12/263.50 c 263
251.12/263.50 c 263 SATISFIABLE
251.12/263.51 c 263 FOUND: _COST <= 2
251.12/263.51 c 263 DECODING HOME/temp.out WITH HOME/temp.map
251.12/263.51 c 263 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
251.12/263.59 c 263 Decoding HOME/temp.out
251.14/263.64 c 263 OBJECTIVE _COST 2
251.14/263.64 o 2
251.14/263.64 v 44 29 79 57 33 78 2 45 22 68 8 4 79 37 60 43 41 71 40 68 43 69 76 79 66 6 66 41 54 67 64 67 56 64 26 2 62 64 75 58
251.14/263.64 c 263 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
251.14/263.67 c 263 OBJECTIVE BOUND: 0 <= _COST <= 2
251.14/263.67 c 263 SEARCHING: _COST <= 1
251.14/263.67 c 263 SOLVING HOME/temp.cnf
251.14/263.67 c 263 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
251.14/263.68 c 263 This is MiniSat 2.0 beta
251.14/263.68 c 263 WARNING: for repeatability, setting FPU to use double precision
251.14/263.68 c 263 ============================[ Problem Statistics ]=============================
251.14/263.68 c 263 | |
251.14/263.69 c 263 | Number of variables: 4480 |
251.14/263.69 c 263 | Number of clauses: 127179 |
251.29/264.07 c 264 | Parsing time: 0.07 s |
251.29/264.08 c 264 ============================[ Search Statistics ]==============================
251.29/264.08 c 264 | Conflicts | ORIGINAL | LEARNT | Progress |
251.29/264.08 c 264 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
251.29/264.08 c 264 ===============================================================================
251.29/264.08 c 264 | 0 | 3366 111035 529009 | 37011 0 nan | 0.000 % |
251.39/264.13 c 264 | 100 | 3366 111035 529009 | 40712 100 18 | 24.866 % |
251.39/264.18 c 264 | 251 | 3366 111035 529009 | 44784 251 21 | 24.866 % |
251.48/264.27 c 264 | 476 | 3366 111035 529009 | 49262 476 21 | 24.867 % |
251.58/264.36 c 264 | 814 | 3366 111035 529009 | 54188 814 22 | 24.867 % |
251.78/264.53 c 264 | 1321 | 3366 111035 529009 | 59607 1321 22 | 24.866 % |
251.98/264.74 c 265 | 2080 | 3366 111035 529009 | 65568 2080 21 | 24.866 % |
252.38/265.20 c 265 | 3222 | 3366 111035 529009 | 72125 3222 21 | 24.867 % |
253.08/265.83 c 266 | 4933 | 3365 110968 528750 | 79337 2297 19 | 24.889 % |
253.88/266.64 c 266 | 7495 | 3365 110968 528750 | 87271 4859 20 | 24.889 % |
255.17/267.99 c 268 | 11340 | 3365 110968 528750 | 95998 8704 22 | 24.889 % |
257.38/270.18 c 270 | 17106 | 3365 110968 528750 | 105598 14470 23 | 24.889 % |
261.37/274.13 c 274 | 25756 | 3365 110968 528750 | 116158 23120 24 | 24.888 % |
268.17/280.90 c 281 | 38731 | 3365 110968 528750 | 127774 36095 25 | 24.889 % |
280.07/292.87 c 293 | 58192 | 3365 110968 528750 | 140551 55556 26 | 24.889 % |
303.26/316.04 c 316 | 87386 | 3365 110968 528750 | 154606 84750 27 | 24.889 % |
353.94/366.76 c 367 | 131178 | 3365 110968 528750 | 170067 128542 28 | 24.889 % |
428.50/441.30 c 441 | 196864 | 3362 110962 528735 | 187074 41016 25 | 24.955 % |
521.77/534.65 c 534 | 295390 | 3353 109555 522204 | 205781 83791 26 | 25.156 % |
730.68/743.61 c 743 | 443180 | 3330 107545 512554 | 226359 16095 16 | 25.671 % |
1032.15/1045.21 c 1045 | 664865 | 3329 107543 512549 | 248995 39727 26 | 25.692 % |
1184.91/1198.03 c 1198 ===============================================================================
1184.91/1198.03 c 1198 restarts : 21
1184.91/1198.03 c 1198 conflicts : 821063 (880 /sec)
1184.91/1198.03 c 1198 decisions : 1026300 (1.71 % random) (1099 /sec)
1184.91/1198.03 c 1198 propagations : 152552609 (163421 /sec)
1184.91/1198.03 c 1198 conflict literals : 25369909 (27.34 % deleted)
1184.91/1198.03 c 1198 Memory used : 54.48 MB
1184.91/1198.03 c 1198 CPU time : 933.492 s
1184.91/1198.03 c 1198
1184.91/1198.03 c 1198 UNSATISFIABLE
1184.91/1198.04 c 1198 NOT FOUND: _COST <= 1
1184.91/1198.04 c 1198 OBJECTIVE _COST 2
1184.91/1198.04 s OPTIMUM FOUND
1184.91/1198.04 c 1198 CPU 1184.27 (0.04 0.02 1184.23 0.67)
1184.91/1198.04 c 1198 END Sun Jul 13 04:49:57 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-1115188-1215916199/watcher-1115188-1215916199 -o /tmp/evaluation-result-1115188-1215916199/solver-1115188-1215916199 -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-1115188-1215916199.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: 3.97 3.60 2.93 6/112 10529
/proc/meminfo: memFree=1713784/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.03
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 898 127 0 0 3 0 0 0 17 0 1 0 48317151 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 796 370 3 0 500 0
[pid=10531] ppid=10529 vsize=5356 CPUtime=0
/proc/10531/stat : 10531 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317156 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10531/statm: 1339 233 193 169 0 50 0
[pid=10532] ppid=10531 vsize=1512 CPUtime=0
/proc/10532/stat : 10532 (java) R 10531 10529 14811 0 -1 0 227 0 0 0 0 0 0 0 18 0 1 0 48317156 1548288 48 996147200 134512640 134550740 4294956000 18446744073709551615 2604791 0 0 4096 0 0 0 0 17 1 0 0
/proc/10532/statm: 380 56 42 9 0 10 0
[startup+0.110838 s]
/proc/loadavg: 3.97 3.60 2.93 6/112 10529
/proc/meminfo: memFree=1713784/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.03
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 898 127 0 0 3 0 0 0 17 0 1 0 48317151 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 796 370 3 0 500 0
[pid=10531] ppid=10529 vsize=5356 CPUtime=0
/proc/10531/stat : 10531 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317156 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10531/statm: 1339 233 193 169 0 50 0
[pid=10532] ppid=10531 vsize=861812 CPUtime=0.03
/proc/10532/stat : 10532 (java) S 10531 10529 14811 0 -1 0 2360 0 1 0 2 1 0 0 18 0 9 0 48317156 882495488 1907 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10532/statm: 215453 1907 1074 9 0 210430 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 880768
[startup+0.201852 s]
/proc/loadavg: 3.97 3.60 2.93 6/112 10529
/proc/meminfo: memFree=1713784/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.03
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 898 127 0 0 3 0 0 0 17 0 1 0 48317151 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 796 370 3 0 500 0
[pid=10531] ppid=10529 vsize=5356 CPUtime=0
/proc/10531/stat : 10531 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317156 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10531/statm: 1339 233 193 169 0 50 0
[pid=10532] ppid=10531 vsize=864020 CPUtime=0.13
/proc/10532/stat : 10532 (java) S 10531 10529 14811 0 -1 0 3700 0 1 0 11 2 0 0 18 0 9 0 48317156 884756480 3176 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10532/statm: 216005 3176 1709 9 0 210587 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 882976
[startup+0.301862 s]
/proc/loadavg: 3.97 3.60 2.93 6/112 10529
/proc/meminfo: memFree=1713784/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.03
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 898 127 0 0 3 0 0 0 17 0 1 0 48317151 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 796 370 3 0 500 0
[pid=10531] ppid=10529 vsize=5356 CPUtime=0
/proc/10531/stat : 10531 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317156 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10531/statm: 1339 233 193 169 0 50 0
[pid=10532] ppid=10531 vsize=864020 CPUtime=0.22
/proc/10532/stat : 10532 (java) S 10531 10529 14811 0 -1 0 4176 0 1 0 20 2 0 0 18 0 9 0 48317156 884756480 3637 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10532/statm: 216005 3637 1728 9 0 210587 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 882976
[startup+0.701913 s]
/proc/loadavg: 3.97 3.60 2.93 6/112 10529
/proc/meminfo: memFree=1713784/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.54
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 957 5142 0 1 3 0 47 4 16 0 1 0 48317151 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13600
[startup+1.502 s]
/proc/loadavg: 3.97 3.60 2.93 5/123 10629
/proc/meminfo: memFree=1698464/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.54
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 974 5142 0 1 3 0 47 4 15 0 1 0 48317151 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 797 370 3 0 500 0
[pid=10576] ppid=10529 vsize=5356 CPUtime=0
/proc/10576/stat : 10576 (sh) S 10529 10529 14811 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48317214 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10576/statm: 1339 233 193 169 0 50 0
[pid=10579] ppid=10576 vsize=864044 CPUtime=0.78
/proc/10579/stat : 10579 (java) S 10576 10529 14811 0 -1 0 7857 0 1 0 76 2 0 0 18 0 9 0 48317214 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10579/statm: 216011 7135 2532 9 0 210593 0
[pid=10579/tid=10580] ppid=10576 vsize=864044 CPUtime=0.47
/proc/10579/task/10580/stat : 10580 (java) R 10576 10529 14811 0 -1 64 2471 0 1 0 46 1 0 0 25 0 9 0 48317215 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10583] ppid=10576 vsize=864044 CPUtime=0.26
/proc/10579/task/10583/stat : 10583 (java) R 10576 10529 14811 0 -1 64 4375 0 0 0 25 1 0 0 16 0 9 0 48317217 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 102731890 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10584] ppid=10576 vsize=864044 CPUtime=0
/proc/10579/task/10584/stat : 10584 (java) S 10576 10529 14811 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48317217 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10585] ppid=10576 vsize=864044 CPUtime=0
/proc/10579/task/10585/stat : 10585 (java) S 10576 10529 14811 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 48317217 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10588] ppid=10576 vsize=864044 CPUtime=0
/proc/10579/task/10588/stat : 10588 (java) S 10576 10529 14811 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 48317219 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10591] ppid=10576 vsize=864044 CPUtime=0.04
/proc/10579/task/10591/stat : 10591 (java) S 10576 10529 14811 0 -1 64 314 0 0 0 4 0 0 0 16 0 9 0 48317219 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10592] ppid=10576 vsize=864044 CPUtime=0
/proc/10579/task/10592/stat : 10592 (java) S 10576 10529 14811 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 48317220 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10593] ppid=10576 vsize=864044 CPUtime=0
/proc/10579/task/10593/stat : 10593 (java) S 10576 10529 14811 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48317220 884781056 7135 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 883000
[startup+3.10218 s]
/proc/loadavg: 4.13 3.64 2.95 6/122 10667
/proc/meminfo: memFree=1674920/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=0.55
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 974 5142 0 1 3 1 47 4 15 0 1 0 48317151 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 797 370 3 0 500 0
[pid=10576] ppid=10529 vsize=5356 CPUtime=0
/proc/10576/stat : 10576 (sh) S 10529 10529 14811 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48317214 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10576/statm: 1339 233 193 169 0 50 0
[pid=10579] ppid=10576 vsize=864416 CPUtime=2.26
/proc/10579/stat : 10579 (java) S 10576 10529 14811 0 -1 0 11994 0 1 0 220 6 0 0 18 0 9 0 48317214 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10579/statm: 216104 11172 2565 9 0 210651 0
[pid=10579/tid=10580] ppid=10576 vsize=864416 CPUtime=1.43
/proc/10579/task/10580/stat : 10580 (java) R 10576 10529 14811 0 -1 64 3024 0 1 0 140 3 0 0 25 0 9 0 48317215 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 103205790 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10583] ppid=10576 vsize=864416 CPUtime=0.69
/proc/10579/task/10583/stat : 10583 (java) S 10576 10529 14811 0 -1 64 7911 0 0 0 67 2 0 0 16 0 9 0 48317217 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10584] ppid=10576 vsize=864416 CPUtime=0
/proc/10579/task/10584/stat : 10584 (java) S 10576 10529 14811 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48317217 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10585] ppid=10576 vsize=864416 CPUtime=0
/proc/10579/task/10585/stat : 10585 (java) S 10576 10529 14811 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48317217 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10588] ppid=10576 vsize=864416 CPUtime=0
/proc/10579/task/10588/stat : 10588 (java) S 10576 10529 14811 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 48317219 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10591] ppid=10576 vsize=864416 CPUtime=0.12
/proc/10579/task/10591/stat : 10591 (java) S 10576 10529 14811 0 -1 64 362 0 0 0 12 0 0 0 15 0 9 0 48317219 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10592] ppid=10576 vsize=864416 CPUtime=0
/proc/10579/task/10592/stat : 10592 (java) S 10576 10529 14811 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 48317220 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10593] ppid=10576 vsize=864416 CPUtime=0
/proc/10579/task/10593/stat : 10593 (java) S 10576 10529 14811 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48317220 885161984 11172 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 883372
[startup+6.30255 s]
/proc/loadavg: 4.13 3.64 2.95 5/114 10835
/proc/meminfo: memFree=1697640/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=3.68
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1293 29471 0 4 3 1 343 21 15 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=10801] ppid=10529 vsize=5356 CPUtime=0
/proc/10801/stat : 10801 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317571 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10801/statm: 1339 232 193 169 0 50 0
[pid=10804] ppid=10801 vsize=8812 CPUtime=1.95
/proc/10804/stat : 10804 (minisat) R 10801 10529 14811 0 -1 4194304 2087 0 0 0 195 0 0 0 25 0 1 0 48317571 9023488 2073 996147200 134512640 135127466 4294956256 18446744073709551615 134530679 0 0 4096 3 0 0 0 17 0 0 0
/proc/10804/statm: 2203 2073 75 150 0 2050 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 27768
[startup+12.7013 s]
/proc/loadavg: 4.11 3.65 2.96 5/115 11142
/proc/meminfo: memFree=1696536/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=7.44
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1408 35723 0 5 3 1 715 25 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=10969] ppid=10529 vsize=5356 CPUtime=0
/proc/10969/stat : 10969 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317978 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10969/statm: 1339 232 193 169 0 50 0
[pid=10970] ppid=10969 vsize=9476 CPUtime=4.14
/proc/10970/stat : 10970 (minisat) R 10969 10529 14811 0 -1 4194304 2260 0 0 0 413 1 0 0 25 0 1 0 48317978 9703424 2246 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/10970/statm: 2369 2246 75 150 0 2216 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 28432
[startup+25.5017 s]
/proc/loadavg: 4.10 3.66 2.97 5/114 11939
/proc/meminfo: memFree=1692384/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=7.44
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1408 35723 0 5 3 1 715 25 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=10969] ppid=10529 vsize=5356 CPUtime=0
/proc/10969/stat : 10969 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317978 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10969/statm: 1339 232 193 169 0 50 0
[pid=10970] ppid=10969 vsize=12864 CPUtime=15.88
/proc/10970/stat : 10970 (minisat) R 10969 10529 14811 0 -1 4194304 3108 0 0 0 1586 2 0 0 25 0 1 0 48317978 13172736 3094 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/10970/statm: 3216 3094 75 150 0 3063 0
Current children cumulated CPU time (s) 23.32
Current children cumulated vsize (KiB) 31820
[startup+51.1016 s]
/proc/loadavg: 3.98 3.67 2.99 5/114 13549
/proc/meminfo: memFree=1686112/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=7.44
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1408 35723 0 5 3 1 715 25 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=10969] ppid=10529 vsize=5356 CPUtime=0
/proc/10969/stat : 10969 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48317978 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10969/statm: 1339 232 193 169 0 50 0
[pid=10970] ppid=10969 vsize=17792 CPUtime=39.44
/proc/10970/stat : 10970 (minisat) R 10969 10529 14811 0 -1 4194304 4303 0 0 0 3939 5 0 0 25 0 1 0 48317978 18219008 4289 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 0 0 0
/proc/10970/statm: 4448 4289 75 150 0 4295 0
Current children cumulated CPU time (s) 46.88
################
# More data... #
################
/proc/19105/statm: 11872 11549 75 150 0 11719 0
Current children cumulated CPU time (s) 869.32
Current children cumulated vsize (KiB) 66444
[startup+942.302 s]
/proc/loadavg: 2.66 2.71 2.79 4/108 19105
/proc/meminfo: memFree=1652688/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=48372 CPUtime=678.02
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 11695 0 0 0 67788 14 0 0 25 0 1 0 48343520 49532928 11681 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 12093 11681 75 150 0 11940 0
Current children cumulated CPU time (s) 929.3
Current children cumulated vsize (KiB) 67328
[startup+1002.3 s]
/proc/loadavg: 2.83 2.75 2.80 3/108 19105
/proc/meminfo: memFree=1648400/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=53328 CPUtime=737.99
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 12762 0 0 0 73785 14 0 0 25 0 1 0 48343520 54607872 12748 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13332 12748 75 150 0 13179 0
Current children cumulated CPU time (s) 989.27
Current children cumulated vsize (KiB) 72284
[startup+1062.3 s]
/proc/loadavg: 2.54 2.67 2.77 3/108 19105
/proc/meminfo: memFree=1645904/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55648 CPUtime=797.96
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13366 0 0 0 79781 15 0 0 25 0 1 0 48343520 56983552 13352 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13912 13352 75 150 0 13759 0
Current children cumulated CPU time (s) 1049.24
Current children cumulated vsize (KiB) 74604
[startup+1122.3 s]
/proc/loadavg: 2.59 2.67 2.76 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=857.95
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 85779 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1109.23
Current children cumulated vsize (KiB) 74740
[startup+1182.3 s]
/proc/loadavg: 2.66 2.66 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=917.92
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 91776 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1169.2
Current children cumulated vsize (KiB) 74740
Solver just ended. Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 2.69 2.67 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=926.02
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 92586 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1177.3
Current children cumulated vsize (KiB) 74740
[startup+1193.61 s]
/proc/loadavg: 2.71 2.67 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=929.23
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 92907 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1180.51
Current children cumulated vsize (KiB) 74740
[startup+1195.2 s]
/proc/loadavg: 2.71 2.67 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=930.82
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 93066 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 74740
[startup+1196.8 s]
/proc/loadavg: 2.73 2.68 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=932.43
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 93227 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134523430 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1183.71
Current children cumulated vsize (KiB) 74740
[startup+1197.6 s]
/proc/loadavg: 2.73 2.68 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=933.22
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 93306 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1184.5
Current children cumulated vsize (KiB) 74740
[startup+1198.01 s]
/proc/loadavg: 2.73 2.68 2.75 3/108 19105
/proc/meminfo: memFree=1645840/2055920 swapFree=4192812/4192956
[pid=10529] ppid=10524 vsize=13600 CPUtime=251.28
/proc/10529/stat : 10529 (sugar) S 10524 10529 14811 0 -1 4194304 1636 58554 0 7 4 2 25073 49 16 0 1 0 48317151 13926400 806 996147200 4194304 4206940 548682068592 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10529/statm: 3400 806 374 3 0 500 0
[pid=19104] ppid=10529 vsize=5356 CPUtime=0
/proc/19104/stat : 19104 (sh) S 10529 10529 14811 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48343519 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19104/statm: 1339 232 193 169 0 50 0
[pid=19105] ppid=19104 vsize=55784 CPUtime=933.63
/proc/19105/stat : 19105 (minisat) R 19104 10529 14811 0 -1 4194304 13381 0 0 0 93347 16 0 0 25 0 1 0 48343520 57122816 13367 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19105/statm: 13946 13367 75 150 0 13793 0
Current children cumulated CPU time (s) 1184.91
Current children cumulated vsize (KiB) 74740
Child status: 0
Real time (s): 1198.04
CPU time (s): 1184.98
CPU user time (s): 1184.28
CPU system time (s): 0.698893
CPU usage (%): 98.9092
Max. virtual memory (cumulated for all children) (KiB): 883372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1184.28
system time used= 0.698893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73938
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3824
involuntary context switches= 35844
runsolver used 1.77373 second user time and 4.98724 second system time
The end
Begin job on node85 at 2008-07-13 04:29:59
IDJOB=1115188
IDBENCH=61827
IDSOLVER=368
FILE ID=node85/1115188-1215916199
PBS_JOBID= 7903740
Free space on /tmp= 126852 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-3_ext.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-1115188-1215916199/watcher-1115188-1215916199 -o /tmp/evaluation-result-1115188-1215916199/solver-1115188-1215916199 -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-1115188-1215916199.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3b0f4f3d9fb4873abcdbd753efb5e9cf
RANDOM SEED=1622924458
node85.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1714016 kB
Buffers: 38972 kB
Cached: 134224 kB
SwapCached: 0 kB
Active: 203672 kB
Inactive: 81552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2600 kB
Writeback: 0 kB
Mapped: 133832 kB
Slab: 38636 kB
Committed_AS: 1201716 kB
PageTables: 4388 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= 126848 MiB
End job on node85 at 2008-07-13 04:49:57