0.01/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.01/0.07 c 0 BEGIN Sat Jul 12 15:10:00 2008
0.01/0.07 c 0 PID 13466
0.01/0.07 c 0 HOST node84.alineos.net
0.01/0.07 c 0 CONVERTING HOME/instance-1112441-1215868200.xml TO HOME/temp.csp
0.01/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112441-1215868200.xml' 'HOME/temp.csp'
0.06/0.38 c 1 23 domains, 50 variables, 3 predicates, 0 relations, 325 constraints
0.06/0.43 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.43 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.41/0.51 c 1 Parsing HOME/temp.csp
0.41/0.58 c 1 parsed 401 expressions
0.41/0.61 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.41/0.62 c 1 MAX CSP: 325 constraints
0.41/0.62 c 1 Converting to clausal form CSP
0.41/0.64 c 1 converted 73 (10%) expressions
0.41/0.66 c 1 converted 146 (20%) expressions
0.41/0.68 c 1 converted 219 (30%) expressions
0.41/0.69 c 1 converted 292 (40%) expressions
0.41/0.71 c 1 converted 365 (50%) expressions
0.41/0.72 c 1 converted 438 (60%) expressions
0.41/0.72 c 1 converted 511 (70%) expressions
0.41/0.79 c 1 converted 584 (80%) expressions
0.41/0.79 c 1 converted 657 (90%) expressions
0.41/0.86 c 1 converted 729 (100%) expressions
0.41/0.86 c 1 CSP : 700 integers, 0 booleans, 974 clauses, largest domain size 488
0.41/0.86 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.41/0.86 c 1 Propagation in CSP
0.41/0.89 c 1 321 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.41/0.90 c 1 CSP : 700 integers, 0 booleans, 974 clauses, largest domain size 326
0.41/0.90 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.41/0.90 c 1 Simplifing CSP by introducing new Boolean variables
0.41/0.91 c 1 CSP : 700 integers, 650 booleans, 1624 clauses, largest domain size 326
0.41/0.91 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.41/0.94 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.41/0.97 c 1 70 (10%) CSP integer variables are encoded (12598 clauses, 166912 bytes)
0.41/0.97 c 1 140 (20%) CSP integer variables are encoded (12598 clauses, 166912 bytes)
0.41/0.97 c 1 210 (30%) CSP integer variables are encoded (12598 clauses, 166912 bytes)
0.41/0.98 c 1 280 (40%) CSP integer variables are encoded (12598 clauses, 166912 bytes)
0.41/0.98 c 1 350 (50%) CSP integer variables are encoded (12598 clauses, 166912 bytes)
0.41/0.98 c 1 420 (60%) CSP integer variables are encoded (13111 clauses, 174607 bytes)
0.41/0.98 c 1 490 (70%) CSP integer variables are encoded (13476 clauses, 180082 bytes)
0.41/0.98 c 1 560 (80%) CSP integer variables are encoded (14048 clauses, 188662 bytes)
0.41/0.98 c 1 630 (90%) CSP integer variables are encoded (16557 clauses, 226297 bytes)
0.41/0.98 c 1 700 (100%) CSP integer variables are encoded (17291 clauses, 237307 bytes)
0.96/1.04 c 1 163 (10%) CSP clauses are encoded (39791 clauses, 664683 bytes)
0.96/1.08 c 1 325 (20%) CSP clauses are encoded (62516 clauses, 1122104 bytes)
1.06/1.12 c 1 488 (30%) CSP clauses are encoded (84415 clauses, 1563309 bytes)
1.06/1.16 c 1 650 (40%) CSP clauses are encoded (106167 clauses, 2001103 bytes)
1.15/1.20 c 1 812 (50%) CSP clauses are encoded (127699 clauses, 2437195 bytes)
1.15/1.24 c 1 975 (60%) CSP clauses are encoded (149066 clauses, 2895358 bytes)
1.15/1.26 c 1 1137 (70%) CSP clauses are encoded (156764 clauses, 3054001 bytes)
1.25/1.30 c 2 1300 (80%) CSP clauses are encoded (177897 clauses, 3499469 bytes)
1.35/1.42 c 2 1462 (90%) CSP clauses are encoded (235821 clauses, 4709988 bytes)
1.45/1.52 c 2 1624 (100%) CSP clauses are encoded (290321 clauses, 5868976 bytes)
1.45/1.52 c 2 1624 CSP clauses encoded
1.45/1.52 c 2 Writing map file : HOME/temp.map
1.45/1.53 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.45/1.53 c 2 SAT : 18641 SAT variables, 290321 SAT clauses, 5868976 bytes
1.45/1.53 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.45/1.57 c 2 OBJECTIVE minimize _COST
1.45/1.57 c 2 SOLVING HOME/temp.cnf
1.45/1.57 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.45/1.58 c 2 This is MiniSat 2.0 beta incremental
1.45/1.58 c 2 WARNING: for repeatability, setting FPU to use double precision
1.45/1.58 c 2 ============================[ Problem Statistics ]=============================
1.45/1.58 c 2 | |
1.45/1.58 c 2 | Number of variables: 18641 |
1.45/1.58 c 2 | Number of clauses: 290321 |
1.49/1.71 c 2 | Parsing time: 0.12 s |
1.49/1.72 c 2 OK
1.49/1.72 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.49/1.72 c 2 SEARCHING: _COST <= 163
1.49/1.72 c 2 ============================[ Search Statistics ]==============================
1.49/1.72 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.49/1.72 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.49/1.72 c 2 ===============================================================================
1.49/1.72 c 2 | 0 | 18641 290321 842661 | 96773 0 nan | 0.000 % |
1.49/1.74 c 2 ===============================================================================
1.49/1.74 c 2 restarts : 1
1.49/1.74 c 2 conflicts : 0 (0 /sec)
1.49/1.74 c 2 decisions : 425 (0.94 % random) (2853 /sec)
1.49/1.74 c 2 propagations : 18641 (125127 /sec)
1.49/1.74 c 2 conflict literals : 0 ( nan % deleted)
1.49/1.74 c 2 Memory used : 14.85 MB
1.49/1.74 c 2 CPU time : 0.148977 s
1.49/1.74 c 2
1.49/1.74 c 2 SATISFIABLE
1.49/1.75 c 2 OK
1.49/1.75 c 2 FOUND: _COST <= 163
1.49/1.75 s SATISFIABLE
1.49/1.75 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.49/1.75 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.49/1.83 c 2 Decoding HOME/temp.out
1.49/1.96 c 2 OBJECTIVE _COST 163
1.49/1.96 o 163
1.49/1.96 v 207 208 94 95 161 162 26 27 62 63 199 200 10 11 89 90 127 128 266 266 126 126 305 305 257 257 108 108 235 235 285 285 233 233 120 120 272 272 250 250 227 227 126 126 273 273 298 298 217 217
1.49/1.96 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.50/2.01 c 2 OK
1.50/2.01 c 2 OBJECTIVE BOUND: 0 <= _COST <= 163
1.50/2.01 c 2 SEARCHING: _COST <= 81
1.50/2.01 c 2 ============================[ Search Statistics ]==============================
1.50/2.02 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.50/2.02 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.50/2.02 c 2 ===============================================================================
1.50/2.02 c 2 | 0 | 18641 290321 842661 | 96773 0 nan | 0.000 % |
1.50/2.04 c 2 ===============================================================================
1.50/2.04 c 2 restarts : 2
1.50/2.04 c 2 conflicts : 7 (39 /sec)
1.50/2.04 c 2 decisions : 764 (1.05 % random) (4222 /sec)
1.50/2.04 c 2 propagations : 50092 (276794 /sec)
1.50/2.04 c 2 conflict literals : 46 (0.00 % deleted)
1.50/2.04 c 2 Memory used : 14.98 MB
1.50/2.04 c 2 CPU time : 0.180972 s
1.50/2.04 c 2
1.50/2.04 c 2 SATISFIABLE
1.50/2.05 c 2 OK
1.50/2.05 c 2 FOUND: _COST <= 81
1.50/2.05 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.50/2.05 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.95/2.13 c 2 Decoding HOME/temp.out
2.04/2.22 c 2 OBJECTIVE _COST 81
2.04/2.22 o 81
2.04/2.23 v 164 165 21 20 87 88 275 275 133 132 165 164 231 232 6 7 93 94 43 42 229 228 168 167 173 174 0 1 92 93 205 206 233 233 231 231 126 126 215 215 227 227 83 83 273 273 219 219 182 182
2.04/2.23 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.04/2.26 c 2 OK
2.04/2.26 c 2 OBJECTIVE BOUND: 0 <= _COST <= 81
2.04/2.26 c 2 SEARCHING: _COST <= 40
2.04/2.27 c 2 ============================[ Search Statistics ]==============================
2.04/2.28 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.04/2.28 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.04/2.28 c 2 ===============================================================================
2.04/2.28 c 2 | 7 | 17183 290321 842661 | 96773 7 7 | 0.000 % |
2.13/2.36 c 3 | 107 | 16445 290321 842661 | 106451 107 32 | 12.226 % |
2.13/2.39 c 3 ===============================================================================
2.13/2.39 c 3 restarts : 4
2.13/2.39 c 3 conflicts : 129 (402 /sec)
2.13/2.39 c 3 decisions : 1384 (0.87 % random) (4312 /sec)
2.13/2.39 c 3 propagations : 253498 (789834 /sec)
2.13/2.39 c 3 conflict literals : 3985 (26.80 % deleted)
2.13/2.39 c 3 Memory used : 15.11 MB
2.13/2.39 c 3 CPU time : 0.320951 s
2.13/2.39 c 3
2.13/2.39 c 3 SATISFIABLE
2.23/2.40 c 3 OK
2.23/2.40 c 3 FOUND: _COST <= 40
2.23/2.40 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.23/2.40 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.23/2.48 c 3 Decoding HOME/temp.out
2.23/2.60 c 3 OBJECTIVE _COST 40
2.23/2.60 o 40
2.23/2.60 v 246 112 46 116 201 201 10 9 45 136 3 101 188 187 274 140 69 73 266 144 176 5 0 305 257 257 10 76 182 113 3 4 67 124 231 230 29 28 144 145 2 3 86 85 167 168 297 298 205 204
2.23/2.60 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.23/2.66 c 3 OK
2.23/2.66 c 3 OBJECTIVE BOUND: 0 <= _COST <= 40
2.23/2.66 c 3 SEARCHING: _COST <= 20
2.23/2.67 c 3 ============================[ Search Statistics ]==============================
2.23/2.68 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.23/2.68 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.23/2.68 c 3 ===============================================================================
2.23/2.68 c 3 | 129 | 16362 290321 842661 | 96773 129 31 | 12.226 % |
2.58/2.82 c 3 | 230 | 16362 290321 842661 | 106451 230 29 | 15.112 % |
2.78/3.00 c 3 | 381 | 16362 290321 842661 | 117096 381 34 | 15.112 % |
3.08/3.37 c 4 | 607 | 16362 290321 842661 | 128805 607 38 | 15.112 % |
3.68/3.91 c 4 | 945 | 15824 179899 519561 | 141686 945 40 | 15.112 % |
4.47/4.75 c 5 | 1452 | 15824 179899 519561 | 155854 1452 43 | 15.112 % |
5.97/6.28 c 6 | 2211 | 15824 179899 519561 | 171440 2211 46 | 15.112 % |
8.45/8.76 c 9 | 3351 | 15824 179899 519561 | 188584 3351 53 | 15.112 % |
12.81/13.12 c 13 | 5059 | 15824 179899 519561 | 207442 5059 61 | 15.112 % |
19.17/19.52 c 20 | 7621 | 15824 179899 519561 | 228187 7621 71 | 15.112 % |
30.29/30.72 c 31 | 11465 | 15824 179899 519561 | 251005 11465 80 | 15.112 % |
31.57/32.00 c 32 ===============================================================================
31.57/32.00 c 32 restarts : 15
31.57/32.00 c 32 conflicts : 11905 (404 /sec)
31.57/32.00 c 32 decisions : 15269 (1.30 % random) (518 /sec)
31.57/32.00 c 32 propagations : 31642816 (1074330 /sec)
31.57/32.00 c 32 conflict literals : 949132 (15.19 % deleted)
31.57/32.00 c 32 Memory used : 17.31 MB
31.57/32.00 c 32 CPU time : 29.4535 s
31.57/32.00 c 32
31.57/32.00 c 32 SATISFIABLE
31.57/32.01 c 32 OK
31.57/32.01 c 32 FOUND: _COST <= 20
31.57/32.01 c 32 DECODING HOME/temp.out WITH HOME/temp.map
31.57/32.01 c 32 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
31.57/32.08 c 32 Decoding HOME/temp.out
31.58/32.18 c 32 OBJECTIVE _COST 20
31.58/32.18 o 20
31.58/32.18 v 2 3 119 120 220 219 275 274 68 67 1 0 186 187 67 68 110 109 265 266 229 228 78 79 84 83 137 138 3 2 78 79 142 143 231 230 104 103 17 18 0 137 148 147 99 100 298 297 181 182
31.58/32.19 c 32 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
31.58/32.23 c 32 OK
31.58/32.23 c 32 OBJECTIVE BOUND: 0 <= _COST <= 20
31.58/32.23 c 32 SEARCHING: _COST <= 10
31.58/32.23 c 32 ============================[ Search Statistics ]==============================
31.58/32.23 c 32 | Conflicts | ORIGINAL | LEARNT | Progress |
31.58/32.23 c 32 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
31.58/32.23 c 32 ===============================================================================
31.58/32.23 c 32 | 11905 | 15419 164714 475201 | 54904 11899 80 | 15.112 % |
32.04/32.52 c 33 | 12005 | 15419 164714 475201 | 60395 11999 80 | 17.285 % |
32.44/32.98 c 33 | 12160 | 15419 164714 475201 | 66434 12154 80 | 17.285 % |
33.13/33.60 c 34 | 12385 | 15419 164714 475201 | 73078 12379 80 | 17.285 % |
34.13/34.65 c 35 | 12725 | 15419 164714 475201 | 80385 12719 80 | 17.285 % |
35.62/36.19 c 36 | 13231 | 15419 164714 475201 | 88424 13225 80 | 17.285 % |
38.09/38.62 c 39 | 13991 | 15419 164714 475201 | 97266 13985 80 | 17.285 % |
42.18/42.75 c 43 | 15130 | 15419 164714 475201 | 106993 15124 83 | 17.285 % |
47.94/48.50 c 49 | 16838 | 15419 164714 475201 | 117693 16832 86 | 17.285 % |
56.77/57.41 c 58 | 19400 | 15419 164714 475201 | 129462 19394 90 | 17.285 % |
70.39/71.12 c 71 | 23245 | 15419 164714 475201 | 142408 23239 97 | 17.285 % |
91.06/91.91 c 92 | 29011 | 15419 164714 475201 | 156649 29005 103 | 17.285 % |
125.74/126.81 c 127 | 37660 | 15419 164714 475201 | 172314 37654 111 | 17.285 % |
171.45/172.87 c 173 | 50635 | 15419 164714 475201 | 189545 50629 116 | 17.285 % |
184.08/185.57 c 186 ===============================================================================
184.08/185.58 c 186 restarts : 29
184.08/185.58 c 186 conflicts : 53174 (293 /sec)
184.08/185.58 c 186 decisions : 59042 (1.49 % random) (325 /sec)
184.08/185.58 c 186 propagations : 144885412 (797084 /sec)
184.08/185.58 c 186 conflict literals : 6222929 (12.44 % deleted)
184.08/185.58 c 186 Memory used : 39.63 MB
184.08/185.58 c 186 CPU time : 181.769 s
184.08/185.58 c 186
184.08/185.58 c 186 SATISFIABLE
184.08/185.58 c 186 OK
184.08/185.58 c 186 FOUND: _COST <= 10
184.08/185.58 c 186 DECODING HOME/temp.out WITH HOME/temp.map
184.08/185.58 c 186 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
184.16/185.67 c 186 Decoding HOME/temp.out
184.16/185.80 c 186 OBJECTIVE _COST 10
184.16/185.80 o 10
184.16/185.80 v 4 3 120 121 220 221 275 274 68 69 1 2 187 186 69 68 110 109 266 265 229 228 78 79 84 83 137 138 2 3 79 78 143 142 230 231 104 105 18 17 0 1 147 148 100 99 298 297 181 182
184.16/185.81 c 186 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
184.35/185.88 c 186 OK
184.35/185.88 c 186 OBJECTIVE BOUND: 0 <= _COST <= 10
184.35/185.88 c 186 SEARCHING: _COST <= 5
184.35/185.88 c 186 ============================[ Search Statistics ]==============================
184.35/185.88 c 186 | Conflicts | ORIGINAL | LEARNT | Progress |
184.35/185.88 c 186 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
184.35/185.88 c 186 ===============================================================================
184.35/185.88 c 186 | 53174 | 15064 156114 450456 | 52038 53109 117 | 17.285 % |
185.22/186.71 c 187 | 53275 | 15064 156114 450456 | 57241 53210 117 | 19.189 % |
186.21/187.70 c 188 | 53425 | 15064 156114 450456 | 62965 53360 117 | 19.189 % |
187.39/188.94 c 189 | 53651 | 15064 156114 450456 | 69262 53586 117 | 19.189 % |
189.68/191.30 c 192 | 53988 | 15064 156114 450456 | 76188 53923 118 | 19.189 % |
192.65/194.27 c 194 | 54494 | 15064 156114 450456 | 83807 54429 118 | 19.189 % |
196.72/198.34 c 199 | 55253 | 15064 156114 450456 | 92188 55188 119 | 19.189 % |
203.18/204.87 c 205 | 56393 | 15064 156114 450456 | 101407 56328 119 | 19.189 % |
211.63/213.36 c 214 | 58102 | 15064 156114 450456 | 111548 58037 121 | 19.189 % |
225.23/227.04 c 227 | 60666 | 15064 156114 450456 | 122702 60601 123 | 19.189 % |
246.68/248.60 c 249 | 64511 | 15064 156114 450456 | 134973 64446 126 | 19.189 % |
276.37/278.59 c 279 ===============================================================================
276.37/278.59 c 279 restarts : 40
276.37/278.59 c 279 conflicts : 69946 (255 /sec)
276.37/278.59 c 279 decisions : 76382 (1.51 % random) (279 /sec)
276.37/278.59 c 279 propagations : 192805518 (704106 /sec)
276.37/278.59 c 279 conflict literals : 8975422 (11.73 % deleted)
276.37/278.59 c 279 Memory used : 51.96 MB
276.37/278.59 c 279 CPU time : 273.83 s
276.37/278.59 c 279
276.37/278.59 c 279 SATISFIABLE
276.37/278.59 c 279 OK
276.37/278.59 c 279 FOUND: _COST <= 5
276.37/278.59 c 279 DECODING HOME/temp.out WITH HOME/temp.map
276.37/278.59 c 279 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
276.46/278.68 c 279 Decoding HOME/temp.out
276.46/278.80 c 279 OBJECTIVE _COST 5
276.46/278.80 o 5
276.46/278.81 v 105 104 16 17 206 205 269 268 174 175 206 205 83 82 274 273 11 12 161 162 1 0 305 304 251 252 83 82 175 176 284 285 84 83 3 2 169 170 208 209 0 1 178 179 272 273 260 259 84 85
276.46/278.81 c 279 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
276.71/278.90 c 279 OK
276.71/278.90 c 279 OBJECTIVE BOUND: 0 <= _COST <= 5
276.71/278.90 c 279 SEARCHING: _COST <= 2
276.71/278.90 c 279 ============================[ Search Statistics ]==============================
276.71/278.90 c 279 | Conflicts | ORIGINAL | LEARNT | Progress |
276.71/278.90 c 279 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
276.71/278.90 c 279 ===============================================================================
276.71/278.90 c 279 | 69946 | 14729 151204 436726 | 50401 69704 128 | 19.189 % |
277.80/280.00 c 280 | 70046 | 14729 151204 436726 | 55441 17804 125 | 20.986 % |
278.49/280.75 c 281 | 70197 | 14729 151204 436726 | 60985 17955 125 | 20.986 % |
279.39/281.65 c 282 | 70423 | 14729 151204 436726 | 67084 18181 126 | 20.986 % |
280.79/283.06 c 283 | 70761 | 14729 151204 436726 | 73792 18519 126 | 20.986 % |
282.87/285.12 c 285 | 71267 | 14729 151204 436726 | 81171 19025 128 | 20.986 % |
285.56/287.80 c 288 | 72026 | 14729 151204 436726 | 89289 19784 129 | 20.986 % |
289.23/291.58 c 292 | 73166 | 14729 151204 436726 | 98217 20924 130 | 20.986 % |
295.39/297.79 c 298 | 74874 | 14729 151204 436726 | 108039 22632 134 | 20.986 % |
304.53/306.96 c 307 | 77436 | 14729 151204 436726 | 118843 25194 137 | 20.986 % |
319.72/322.22 c 322 | 81281 | 14729 151204 436726 | 130728 29039 142 | 20.986 % |
340.28/342.97 c 343 | 87048 | 14729 151204 436726 | 143800 34806 147 | 20.986 % |
374.04/376.94 c 377 | 95697 | 14729 151204 436726 | 158180 43455 151 | 20.986 % |
431.54/434.88 c 435 | 108671 | 14729 151204 436726 | 173999 56429 155 | 20.986 % |
525.09/529.09 c 529 | 128133 | 14729 151204 436726 | 191398 75891 158 | 20.986 % |
714.19/719.42 c 720 | 157326 | 14729 151204 436726 | 210538 105084 160 | 20.986 % |
765.34/770.93 c 771 ===============================================================================
765.34/770.93 c 771 restarts : 56
765.34/770.93 c 771 conflicts : 162595 (213 /sec)
765.34/770.93 c 771 decisions : 170635 (1.67 % random) (224 /sec)
765.34/770.93 c 771 propagations : 344299102 (451603 /sec)
765.34/770.93 c 771 conflict literals : 24344238 (14.39 % deleted)
765.34/770.93 c 771 Memory used : 123.53 MB
765.34/770.93 c 771 CPU time : 762.394 s
765.34/770.93 c 771
765.34/770.93 c 771 UNSATISFIABLE
765.34/770.93 c 771 OK
765.34/770.93 c 771 NOT FOUND: _COST <= 2
765.34/770.93 c 771 OK
765.34/770.93 c 771 OBJECTIVE BOUND: 3 <= _COST <= 5
765.34/770.93 c 771 SEARCHING: _COST <= 4
765.34/770.93 c 771 ============================[ Search Statistics ]==============================
765.34/770.93 c 771 | Conflicts | ORIGINAL | LEARNT | Progress |
765.34/770.93 c 771 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
765.34/770.93 c 771 ===============================================================================
765.34/770.93 c 771 | 162595 | 14723 151180 436672 | 50393 89356 188 | 20.986 % |
766.23/771.85 c 772 | 162695 | 14723 151180 436672 | 55432 21065 188 | 21.018 % |
766.72/772.35 c 773 | 162846 | 14723 151180 436672 | 60975 21216 187 | 21.018 % |
767.62/773.28 c 774 | 163071 | 14723 151180 436672 | 67073 21441 187 | 21.018 % |
769.00/774.61 c 775 | 163408 | 14723 151180 436672 | 73780 21778 186 | 21.018 % |
771.39/777.08 c 777 | 163914 | 14723 151180 436672 | 81158 22284 185 | 21.018 % |
774.27/779.94 c 780 | 164673 | 14723 151180 436672 | 89274 23043 183 | 21.018 % |
779.23/784.90 c 785 | 165813 | 14723 151180 436672 | 98202 24183 181 | 21.018 % |
786.09/791.82 c 792 | 167521 | 14723 151180 436672 | 108022 25891 180 | 21.018 % |
797.40/803.21 c 803 | 170083 | 14723 151180 436672 | 118824 28453 178 | 21.018 % |
813.40/819.39 c 820 | 173929 | 14723 151180 436672 | 130707 32299 175 | 21.018 % |
834.85/840.91 c 841 | 179696 | 14723 151180 436672 | 143778 38066 171 | 21.018 % |
876.76/883.16 c 883 | 188346 | 14723 151180 436672 | 158155 46716 171 | 21.018 % |
936.05/942.88 c 943 | 201320 | 14723 151180 436672 | 173971 59690 169 | 21.018 % |
1032.98/1040.42 c 1041 | 220782 | 14723 151180 436672 | 191368 79152 167 | 21.018 % |
1188.71/1197.20 c 1197 | 249975 | 14723 151180 436672 | 210505 108345 167 | 21.018 % |
1455.16/1465.58 c 1466 | 293764 | 14723 151180 436672 | 231556 152134 167 | 21.018 % |
1958.83/1972.04 c 1972 | 359448 | 14723 151180 436672 | 254711 217818 170 | 21.018 % |
2503.32/2519.23 c 2519 ===============================================================================
2503.32/2519.23 c 2519 restarts : 74
2503.32/2519.23 c 2519 conflicts : 434203 (174 /sec)
2503.32/2519.23 c 2519 decisions : 448248 (1.70 % random) (179 /sec)
2503.32/2519.23 c 2519 propagations : 1060097604 (424037 /sec)
2503.32/2519.23 c 2519 conflict literals : 70673118 (11.65 % deleted)
2503.32/2519.23 c 2519 Memory used : 230.98 MB
2503.32/2519.23 c 2519 CPU time : 2500.01 s
2503.32/2519.23 c 2519
2503.32/2519.23 c 2519 SATISFIABLE
2503.32/2519.24 c 2519 OK
2503.32/2519.24 c 2519 FOUND: _COST <= 4
2503.32/2519.24 c 2519 DECODING HOME/temp.out WITH HOME/temp.map
2503.32/2519.24 c 2519 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2503.36/2519.32 c 2520 Decoding HOME/temp.out
2503.36/2519.44 c 2520 OBJECTIVE _COST 4
2503.36/2519.44 o 4
2503.36/2519.45 v 125 126 244 243 59 60 8 9 199 200 115 116 37 36 0 1 238 239 182 183 229 228 0 1 6 5 62 61 153 154 11 12 105 104 231 230 190 191 44 45 227 226 39 40 1 2 121 120 133 134
2503.36/2519.45 c 2520 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2503.36/2519.54 c 2520 OK
2503.36/2519.54 c 2520 OBJECTIVE BOUND: 3 <= _COST <= 4
2503.36/2519.54 c 2520 SEARCHING: _COST <= 3
2503.36/2519.54 c 2520 ============================[ Search Statistics ]==============================
2503.36/2519.54 c 2520 | Conflicts | ORIGINAL | LEARNT | Progress |
2503.36/2519.54 c 2520 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2503.36/2519.54 c 2520 ===============================================================================
2503.36/2519.54 c 2520 | 434203 | 14594 149911 433251 | 49970 54322 170 | 21.018 % |
2504.97/2520.92 c 2521 | 434303 | 14594 149911 433251 | 54967 21774 153 | 21.710 % |
2505.66/2521.62 c 2522 | 434454 | 14594 149911 433251 | 60464 21925 152 | 21.710 % |
2506.87/2522.87 c 2523 | 434679 | 14594 149911 433251 | 66510 22150 153 | 21.710 % |
2508.66/2524.68 c 2525 | 435017 | 14594 149911 433251 | 73161 22488 153 | 21.710 % |
2511.46/2527.49 c 2528 | 435524 | 14594 149911 433251 | 80477 22995 152 | 21.710 % |
2515.56/2531.57 c 2532 | 436284 | 14594 149911 433251 | 88525 23755 153 | 21.710 % |
2521.25/2537.29 c 2538 | 437423 | 14594 149911 433251 | 97378 24894 153 | 21.710 % |
2527.55/2543.59 c 2544 | 439134 | 14594 149911 433251 | 107115 26605 151 | 21.710 % |
2539.45/2555.44 c 2556 | 441697 | 14594 149911 433251 | 117827 29168 153 | 21.710 % |
2554.94/2570.96 c 2571 | 445543 | 14594 149911 433251 | 129610 33014 155 | 21.710 % |
2582.13/2598.15 c 2598 | 451309 | 14594 149911 433251 | 142571 38780 156 | 21.710 % |
2625.50/2641.56 c 2642 | 459958 | 14594 149911 433251 | 156828 47429 158 | 21.710 % |
2691.08/2707.16 c 2707 | 472932 | 14594 149911 433251 | 172511 60403 161 | 21.710 % |
2782.62/2798.72 c 2799 | 492394 | 14594 149911 433251 | 189762 79865 160 | 21.710 % |
2958.15/2974.40 c 2975 | 521587 | 14594 149911 433251 | 208738 109058 163 | 21.710 % |
3228.69/3245.06 c 3245 | 565377 | 14594 149911 433251 | 229612 152848 164 | 21.710 % |
3600.01/3616.51 c ERROR INTERRUPTED
3600.01/3616.54 c 3617 CPU 3599.04 (0.06 0.02 3598.98 1)
3600.01/3616.54 c 3617 END Sat Jul 12 16:10:17 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-1112441-1215868200/watcher-1112441-1215868200 -o /tmp/evaluation-result-1112441-1215868200/solver-1112441-1215868200 -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-1112441-1215868200.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.92 1.98 1.99 4/112 13466
/proc/meminfo: memFree=1808856/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=12272 CPUtime=0
/proc/13466/stat : 13466 (sugar++) R 13464 13466 12946 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 43517368 12566528 365 996147200 4194304 4206940 548682068528 18446744073709551615 243674430462 0 0 4224 0 0 0 0 17 0 0 0
/proc/13466/statm: 3068 365 274 3 0 168 0
[startup+0.0270621 s]
/proc/loadavg: 1.92 1.98 1.99 4/112 13466
/proc/meminfo: memFree=1808856/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=13072 CPUtime=0.01
/proc/13466/stat : 13466 (sugar++) R 13464 13466 12946 0 -1 4194304 633 0 0 0 1 0 0 0 18 0 1 0 43517368 13385728 601 996147200 4194304 4206940 548682068528 18446744073709551615 243665375969 0 0 4224 0 0 0 0 17 0 0 0
/proc/13466/statm: 3268 601 316 3 0 368 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13072
[startup+0.110736 s]
/proc/loadavg: 1.92 1.98 1.99 4/112 13466
/proc/meminfo: memFree=1808856/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16740 CPUtime=0.06
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 43517368 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301117 s]
/proc/loadavg: 1.92 1.98 1.99 4/112 13466
/proc/meminfo: memFree=1808856/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16740 CPUtime=0.06
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 43517368 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701184 s]
/proc/loadavg: 1.92 1.98 1.99 4/112 13466
/proc/meminfo: memFree=1808856/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16740 CPUtime=0.41
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1296 4491 0 1 5 1 32 3 15 0 1 0 43517368 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 16740
[startup+1.50233 s]
/proc/loadavg: 1.92 1.98 1.99 4/123 13488
/proc/meminfo: memFree=1793216/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16740 CPUtime=0.41
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1297 4491 0 1 5 1 32 3 15 0 1 0 43517368 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4185 1104 409 3 0 764 0
[pid=13479] ppid=13466 vsize=5356 CPUtime=0
/proc/13479/stat : 13479 (sh) S 13466 13466 12946 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43517412 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13479/statm: 1339 233 193 169 0 50 0
[pid=13480] ppid=13479 vsize=868468 CPUtime=1.04
/proc/13480/stat : 13480 (java) S 13479 13466 12946 0 -1 0 6469 0 1 0 97 7 0 0 20 0 9 0 43517412 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13480/statm: 217117 5562 2562 9 0 211664 0
[pid=13480/tid=13481] ppid=13479 vsize=868468 CPUtime=0.75
/proc/13480/task/13481/stat : 13481 (java) R 13479 13466 12946 0 -1 64 2845 0 1 0 72 3 0 0 25 0 9 0 43517413 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13482] ppid=13479 vsize=868468 CPUtime=0.07
/proc/13480/task/13482/stat : 13482 (java) S 13479 13466 12946 0 -1 64 1470 0 0 0 6 1 0 0 16 0 9 0 43517414 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13483] ppid=13479 vsize=868468 CPUtime=0
/proc/13480/task/13483/stat : 13483 (java) S 13479 13466 12946 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43517414 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13484] ppid=13479 vsize=868468 CPUtime=0
/proc/13480/task/13484/stat : 13484 (java) S 13479 13466 12946 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43517414 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13485] ppid=13479 vsize=868468 CPUtime=0
/proc/13480/task/13485/stat : 13485 (java) S 13479 13466 12946 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43517416 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13486] ppid=13479 vsize=868468 CPUtime=0.19
/proc/13480/task/13486/stat : 13486 (java) S 13479 13466 12946 0 -1 64 1460 0 0 0 18 1 0 0 16 0 9 0 43517416 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13487] ppid=13479 vsize=868468 CPUtime=0
/proc/13480/task/13487/stat : 13487 (java) S 13479 13466 12946 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 43517416 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13480/tid=13488] ppid=13479 vsize=868468 CPUtime=0
/proc/13480/task/13488/stat : 13488 (java) S 13479 13466 12946 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43517416 889311232 5562 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 890564
[startup+3.10262 s]
/proc/loadavg: 1.92 1.98 1.99 3/124 13509
/proc/meminfo: memFree=1781560/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.1
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1695 22831 0 5 5 2 185 18 15 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=15468 CPUtime=0.78
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 3762 0 0 0 76 2 0 0 19 0 1 0 43517526 15839232 3705 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 3867 3705 80 151 0 3713 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 32340
[startup+6.3012 s]
/proc/loadavg: 2.01 2.00 2.00 4/114 13519
/proc/meminfo: memFree=1784712/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.11
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1695 22831 0 5 6 2 185 18 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=15600 CPUtime=3.96
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 3770 0 0 0 394 2 0 0 25 0 1 0 43517526 15974400 3713 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 3900 3713 80 151 0 3746 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 32472
[startup+12.7014 s]
/proc/loadavg: 2.01 2.00 2.00 3/114 13519
/proc/meminfo: memFree=1784720/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.11
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1695 22831 0 5 6 2 185 18 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=15600 CPUtime=10.3
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 3776 0 0 0 1028 2 0 0 25 0 1 0 43517526 15974400 3719 996147200 134512640 135134323 4294956192 18446744073709551615 134523911 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 3900 3719 80 151 0 3746 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 32472
[startup+25.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13519
/proc/meminfo: memFree=1783952/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.11
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1695 22831 0 5 6 2 185 18 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=16664 CPUtime=23.01
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 4050 0 0 0 2299 2 0 0 25 0 1 0 43517526 17063936 3993 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 4166 3993 80 151 0 4012 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 33536
[startup+51.1014 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13529
/proc/meminfo: memFree=1780560/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.29
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1765 26683 0 6 6 2 200 21 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=19972 CPUtime=48.23
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 4879 0 0 0 4820 3 0 0 25 0 1 0 43517526 20451328 4820 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/13489/statm: 4993 4820 80 151 0 4839 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 36844
[startup+102.309 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13529
/proc/meminfo: memFree=1772304/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.29
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1765 26683 0 6 6 2 200 21 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=28060 CPUtime=99.1
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 6882 0 0 0 9905 5 0 0 25 0 1 0 43517526 28733440 6823 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/13489/statm: 7015 6823 80 151 0 6861 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 44932
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13529
/proc/meminfo: memFree=1763280/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.29
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1765 26683 0 6 6 2 200 21 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=37268 CPUtime=158.73
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 9168 0 0 0 15864 9 0 0 25 0 1 0 43517526 38162432 9109 996147200 134512640 135134323 4294956192 18446744073709551615 134532028 0 0 4096 3 0 0 0 17 1 0 0
/proc/13489/statm: 9317 9109 80 151 0 9163 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 54140
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13539
/proc/meminfo: memFree=1754704/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.5
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1835 30537 0 7 6 2 218 24 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=45964 CPUtime=218.06
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 11319 0 0 0 21795 11 0 0 25 0 1 0 43517526 47067136 11258 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 11491 11258 80 151 0 11337 0
Current children cumulated CPU time (s) 220.56
Current children cumulated vsize (KiB) 62836
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13549
/proc/meminfo: memFree=1747216/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.71
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1905 34390 0 8 6 2 236 27 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=53204 CPUtime=277.38
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 13107 0 0 0 27725 13 0 0 25 0 1 0 43517526 54480896 13044 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 13301 13044 80 151 0 13147 0
Current children cumulated CPU time (s) 280.09
Current children cumulated vsize (KiB) 70076
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 13549
/proc/meminfo: memFree=1746960/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.71
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1905 34390 0 8 6 2 236 27 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=13489] ppid=13466 vsize=236468 CPUtime=2903.24
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57140 0 0 0 290260 64 0 0 25 0 1 0 43517526 242143232 56915 996147200 134512640 135134323 4294956192 18446744073709551615 134532169 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59117 56915 80 151 0 58963 0
Current children cumulated CPU time (s) 2906.16
Current children cumulated vsize (KiB) 253340
[startup+2982.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/114 13637
/proc/meminfo: memFree=1531144/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236668 CPUtime=2963.21
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57180 0 0 0 296256 65 0 0 25 0 1 0 43517526 242348032 56955 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59167 56955 80 151 0 59013 0
Current children cumulated CPU time (s) 2966.13
Current children cumulated vsize (KiB) 253540
[startup+3042.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/114 13637
/proc/meminfo: memFree=1531080/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236788 CPUtime=3023.19
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57206 0 0 0 302254 65 0 0 25 0 1 0 43517526 242470912 56981 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59197 56981 80 151 0 59043 0
Current children cumulated CPU time (s) 3026.11
Current children cumulated vsize (KiB) 253660
[startup+3102.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/114 13643
/proc/meminfo: memFree=1530952/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236788 CPUtime=3083.14
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57213 0 0 0 308249 65 0 0 25 0 1 0 43517526 242470912 56988 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59197 56988 80 151 0 59043 0
Current children cumulated CPU time (s) 3086.06
Current children cumulated vsize (KiB) 253660
[startup+3162.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/114 13643
/proc/meminfo: memFree=1531016/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236788 CPUtime=3143.11
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57214 0 0 0 314246 65 0 0 25 0 1 0 43517526 242470912 56989 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59197 56989 80 151 0 59043 0
Current children cumulated CPU time (s) 3146.03
Current children cumulated vsize (KiB) 253660
[startup+3222.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/114 13643
/proc/meminfo: memFree=1530952/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236788 CPUtime=3203.08
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57215 0 0 0 320243 65 0 0 25 0 1 0 43517526 242470912 56990 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59197 56990 80 151 0 59043 0
Current children cumulated CPU time (s) 3206
Current children cumulated vsize (KiB) 253660
[startup+3282.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/114 13643
/proc/meminfo: memFree=1530952/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236908 CPUtime=3263.05
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57257 0 0 0 326240 65 0 0 25 0 1 0 43517526 242593792 57032 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59227 57032 80 151 0 59073 0
Current children cumulated CPU time (s) 3265.97
Current children cumulated vsize (KiB) 253780
[startup+3342.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/114 13643
/proc/meminfo: memFree=1530824/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236908 CPUtime=3323.02
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57257 0 0 0 332237 65 0 0 25 0 1 0 43517526 242593792 57032 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59227 57032 80 151 0 59073 0
Current children cumulated CPU time (s) 3325.94
Current children cumulated vsize (KiB) 253780
[startup+3402.31 s]
/proc/loadavg: 2.07 2.06 2.01 3/114 13643
/proc/meminfo: memFree=1530760/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=236988 CPUtime=3383
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57271 0 0 0 338234 66 0 0 25 0 1 0 43517526 242675712 57046 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59247 57046 80 151 0 59093 0
Current children cumulated CPU time (s) 3385.92
Current children cumulated vsize (KiB) 253860
[startup+3462.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/114 13643
/proc/meminfo: memFree=1530696/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=237068 CPUtime=3442.97
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57291 0 0 0 344231 66 0 0 25 0 1 0 43517526 242757632 57066 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59267 57066 80 151 0 59113 0
Current children cumulated CPU time (s) 3445.89
Current children cumulated vsize (KiB) 253940
[startup+3522.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/114 13643
/proc/meminfo: memFree=1530568/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=237228 CPUtime=3502.93
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57331 0 0 0 350227 66 0 0 25 0 1 0 43517526 242921472 57106 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59307 57106 80 151 0 59153 0
Current children cumulated CPU time (s) 3505.85
Current children cumulated vsize (KiB) 254100
[startup+3582.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/114 13643
/proc/meminfo: memFree=1530248/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=237308 CPUtime=3562.9
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57372 0 0 0 356224 66 0 0 25 0 1 0 43517526 243003392 57147 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59327 57147 80 151 0 59173 0
Current children cumulated CPU time (s) 3565.82
Current children cumulated vsize (KiB) 254180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3616.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/114 13643
/proc/meminfo: memFree=1530056/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=237308 CPUtime=3597.09
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57406 0 0 0 359643 66 0 0 25 0 1 0 43517526 243003392 57181 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59327 57181 80 151 0 59173 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 254180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3616.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/114 13643
/proc/meminfo: memFree=1530056/2055920 swapFree=4192812/4192956
[pid=13466] ppid=13464 vsize=16872 CPUtime=2.92
/proc/13466/stat : 13466 (sugar++) S 13464 13466 12946 0 -1 4194304 1975 38243 0 9 6 2 254 30 16 0 1 0 43517368 17276928 1122 996147200 4194304 4206940 548682068528 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13466/statm: 4218 1122 414 3 0 797 0
[pid=13489] ppid=13466 vsize=237308 CPUtime=3597.09
/proc/13489/stat : 13489 (minisat-inc) R 13466 13466 12946 0 -1 4194304 57406 0 0 0 359643 66 0 0 25 0 1 0 43517526 243003392 57181 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13489/statm: 59327 57181 80 151 0 59173 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 254180
Child status: 0
Real time (s): 3616.55
CPU time (s): 3600.09
CPU user time (s): 3599.05
CPU system time (s): 1.03684
CPU usage (%): 99.545
Max. virtual memory (cumulated for all children) (KiB): 890564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.03684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97704
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4619
involuntary context switches= 61982
runsolver used 5.13522 second user time and 15.2077 second system time
The end
Begin job on node84 at 2008-07-12 15:10:00
IDJOB=1112441
IDBENCH=61418
IDSOLVER=367
FILE ID=node84/1112441-1215868200
PBS_JOBID= 7903513
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-5/normalized-super-os-taillard-5-4.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-1112441-1215868200/watcher-1112441-1215868200 -o /tmp/evaluation-result-1112441-1215868200/solver-1112441-1215868200 -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-1112441-1215868200.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7e6e65bbb019960e8b8070b754af3371
RANDOM SEED=2447412
node84.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.259
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.259
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: 1809336 kB
Buffers: 39288 kB
Cached: 90796 kB
SwapCached: 0 kB
Active: 115772 kB
Inactive: 64476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1809336 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 880 kB
Writeback: 0 kB
Mapped: 71556 kB
Slab: 48096 kB
Committed_AS: 348056 kB
PageTables: 4376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node84 at 2008-07-12 16:10:19