0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Sat Jul 12 15:20:22 2008
0.00/0.08 c 0 PID 18307
0.00/0.09 c 0 HOST node18.alineos.net
0.00/0.09 c 0 CONVERTING HOME/instance-1112471-1215868822.xml TO HOME/temp.csp
0.00/0.09 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112471-1215868822.xml' 'HOME/temp.csp'
0.06/0.65 c 1 38 domains, 98 variables, 3 predicates, 0 relations, 931 constraints
0.06/0.70 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.70 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.06/0.78 c 1 Parsing HOME/temp.csp
0.73/1.04 c 1 parsed 1070 expressions
0.73/1.04 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.73/1.06 c 1 MAX CSP: 931 constraints
0.73/1.06 c 1 Converting to clausal form CSP
0.82/1.11 c 1 converted 201 (10%) expressions
0.82/1.15 c 1 converted 401 (20%) expressions
0.82/1.17 c 1 converted 602 (30%) expressions
0.92/1.25 c 1 converted 802 (40%) expressions
0.92/1.26 c 1 converted 1002 (50%) expressions
0.92/1.28 c 1 converted 1203 (60%) expressions
0.92/1.29 c 1 converted 1403 (70%) expressions
0.92/1.29 c 1 converted 1604 (80%) expressions
1.02/1.30 c 1 converted 1804 (90%) expressions
1.12/1.41 c 1 converted 2004 (100%) expressions
1.12/1.41 c 1 CSP : 1960 integers, 0 booleans, 2792 clauses, largest domain size 1397
1.12/1.41 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.12/1.41 c 1 Propagation in CSP
1.12/1.46 c 1 925 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.12/1.47 c 1 CSP : 1960 integers, 0 booleans, 2792 clauses, largest domain size 932
1.12/1.47 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.12/1.47 c 1 Simplifing CSP by introducing new Boolean variables
1.12/1.49 c 1 CSP : 1960 integers, 1862 booleans, 4654 clauses, largest domain size 932
1.12/1.49 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.21/1.53 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.21/1.59 c 1 196 (10%) CSP integer variables are encoded (37988 clauses, 547730 bytes)
1.21/1.59 c 1 392 (20%) CSP integer variables are encoded (37988 clauses, 547730 bytes)
1.21/1.59 c 1 588 (30%) CSP integer variables are encoded (37988 clauses, 547730 bytes)
1.21/1.60 c 1 784 (40%) CSP integer variables are encoded (37988 clauses, 547730 bytes)
1.21/1.60 c 1 980 (50%) CSP integer variables are encoded (37988 clauses, 547730 bytes)
1.31/1.60 c 1 1176 (60%) CSP integer variables are encoded (39726 clauses, 573800 bytes)
1.31/1.60 c 1 1372 (70%) CSP integer variables are encoded (40997 clauses, 592865 bytes)
1.31/1.61 c 1 1568 (80%) CSP integer variables are encoded (42938 clauses, 621980 bytes)
1.31/1.62 c 2 1764 (90%) CSP integer variables are encoded (48943 clauses, 712055 bytes)
1.31/1.62 c 2 1960 (100%) CSP integer variables are encoded (53729 clauses, 783845 bytes)
1.51/1.83 c 2 466 (10%) CSP clauses are encoded (156033 clauses, 2837483 bytes)
1.72/2.03 c 2 931 (20%) CSP clauses are encoded (263203 clauses, 5045991 bytes)
1.92/2.24 c 2 1397 (30%) CSP clauses are encoded (365334 clauses, 7258875 bytes)
2.11/2.44 c 2 1862 (40%) CSP clauses are encoded (475631 clauses, 9681224 bytes)
2.32/2.64 c 3 2327 (50%) CSP clauses are encoded (583734 clauses, 12055305 bytes)
2.52/2.83 c 3 2793 (60%) CSP clauses are encoded (686016 clauses, 14301323 bytes)
2.62/2.94 c 3 3258 (70%) CSP clauses are encoded (743757 clauses, 15518809 bytes)
2.92/3.25 c 3 3724 (80%) CSP clauses are encoded (911005 clauses, 19084650 bytes)
3.01/3.35 c 3 4189 (90%) CSP clauses are encoded (968746 clauses, 20302135 bytes)
4.51/4.83 c 5 4654 (100%) CSP clauses are encoded (1800484 clauses, 38051003 bytes)
4.51/4.83 c 5 4654 CSP clauses encoded
4.51/4.83 c 5 Writing map file : HOME/temp.map
4.51/4.85 c 5 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.51/4.85 c 5 SAT : 57551 SAT variables, 1800484 SAT clauses, 38051003 bytes
4.51/4.85 c 5 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.51/4.88 c 5 OBJECTIVE minimize _COST
4.51/4.88 c 5 SOLVING HOME/temp.cnf
4.51/4.88 c 5 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
4.51/4.88 c 5 This is MiniSat 2.0 beta incremental
4.51/4.88 c 5 WARNING: for repeatability, setting FPU to use double precision
4.51/4.88 c 5 ============================[ Problem Statistics ]=============================
4.51/4.88 c 5 | |
4.51/4.88 c 5 | Number of variables: 57551 |
4.51/4.88 c 5 | Number of clauses: 1800484 |
5.37/5.76 c 6 | Parsing time: 0.73 s |
5.47/5.80 c 6 OK
5.47/5.80 c 6 OBJECTIVE BOUND: 0 <= _COST <=
5.47/5.80 c 6 SEARCHING: _COST <= 466
5.47/5.80 c 6 ============================[ Search Statistics ]==============================
5.47/5.80 c 6 | Conflicts | ORIGINAL | LEARNT | Progress |
5.47/5.80 c 6 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.47/5.80 c 6 ===============================================================================
5.47/5.80 c 6 | 0 | 57551 1800484 5311586 | 600161 0 nan | 0.000 % |
5.67/6.09 c 6 ===============================================================================
5.67/6.10 c 6 restarts : 1
5.67/6.10 c 6 conflicts : 43 (41 /sec)
5.67/6.10 c 6 decisions : 1528 (1.57 % random) (1453 /sec)
5.67/6.10 c 6 propagations : 187426 (178189 /sec)
5.67/6.10 c 6 conflict literals : 517 (12.07 % deleted)
5.67/6.10 c 6 Memory used : 79.46 MB
5.67/6.10 c 6 CPU time : 1.05184 s
5.67/6.10 c 6
5.67/6.10 c 6 SATISFIABLE
5.77/6.12 c 6 OK
5.77/6.12 c 6 FOUND: _COST <= 466
5.77/6.12 s SATISFIABLE
5.77/6.12 c 6 DECODING HOME/temp.out WITH HOME/temp.map
5.77/6.12 c 6 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
5.77/6.20 c 6 Decoding HOME/temp.out
5.78/6.36 c 6 OBJECTIVE _COST 466
5.78/6.36 o 466
5.78/6.37 v 92 93 295 294 290 291 360 361 204 203 194 195 15 16 335 334 432 433 182 183 203 204 237 236 98 97 5 4 262 263 436 435 61 62 4 379 354 354 187 361 325 326 360 360 432 433 356 356 439 439 345 345 192 421 421 421 119 119 147 376 410 410 201 202 241 242 371 371 418 81 395 395 392 392 385 385 237 238 339 347 203 204 387 387 421 421 374 374 270 271 345 346 382 382 139 140 423 423
5.78/6.37 c 6 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
5.78/6.44 c 6 OK
5.78/6.44 c 6 OBJECTIVE BOUND: 0 <= _COST <= 466
5.78/6.44 c 6 SEARCHING: _COST <= 233
5.78/6.44 c 6 ============================[ Search Statistics ]==============================
5.78/6.44 c 6 | Conflicts | ORIGINAL | LEARNT | Progress |
5.78/6.44 c 6 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.78/6.44 c 6 ===============================================================================
5.78/6.44 c 6 | 43 | 57551 1800484 5311586 | 600161 43 12 | 0.000 % |
6.38/6.85 c 7 | 143 | 53759 1800484 5311586 | 660177 143 44 | 8.080 % |
6.49/6.92 c 7 ===============================================================================
6.49/6.93 c 7 restarts : 3
6.49/6.93 c 7 conflicts : 145 (94 /sec)
6.49/6.93 c 7 decisions : 2792 (1.33 % random) (1807 /sec)
6.49/6.93 c 7 propagations : 633447 (410060 /sec)
6.49/6.93 c 7 conflict literals : 6268 (31.47 % deleted)
6.49/6.93 c 7 Memory used : 80.75 MB
6.49/6.93 c 7 CPU time : 1.54476 s
6.49/6.93 c 7
6.49/6.93 c 7 SATISFIABLE
6.49/6.95 c 7 OK
6.49/6.95 c 7 FOUND: _COST <= 233
6.49/6.95 c 7 DECODING HOME/temp.out WITH HOME/temp.map
6.49/6.95 c 7 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.54/7.03 c 7 Decoding HOME/temp.out
6.54/7.19 c 7 OBJECTIVE _COST 233
6.54/7.19 o 233
6.54/7.20 v 354 161 378 378 34 127 296 361 268 292 250 259 270 38 209 282 433 433 339 182 306 308 242 336 358 359 341 276 277 277 252 361 175 165 386 97 131 130 368 56 3 4 360 106 10 355 189 254 13 356 35 36 51 52 63 284 359 359 209 210 23 81 207 75 114 350 266 267 64 190 154 258 81 384 131 283 17 346 259 262 121 410 202 203 1 319 28 85 379 360 162 160 24 101 110 24 424 370
6.54/7.20 c 7 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
6.54/7.21 c 7 OK
6.54/7.21 c 7 OBJECTIVE BOUND: 0 <= _COST <= 233
6.54/7.21 c 7 SEARCHING: _COST <= 116
6.54/7.22 c 7 ============================[ Search Statistics ]==============================
6.54/7.23 c 7 | Conflicts | ORIGINAL | LEARNT | Progress |
6.54/7.23 c 7 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.54/7.23 c 7 ===============================================================================
6.54/7.23 c 7 | 145 | 52901 1800484 5311586 | 600161 145 43 | 8.080 % |
6.87/7.37 c 7 ===============================================================================
6.87/7.38 c 7 restarts : 4
6.87/7.38 c 7 conflicts : 171 (99 /sec)
6.87/7.38 c 7 decisions : 3747 (1.07 % random) (2175 /sec)
6.87/7.38 c 7 propagations : 772884 (448637 /sec)
6.87/7.38 c 7 conflict literals : 6675 (30.30 % deleted)
6.87/7.38 c 7 Memory used : 81.01 MB
6.87/7.38 c 7 CPU time : 1.72274 s
6.87/7.38 c 7
6.87/7.38 c 7 SATISFIABLE
6.87/7.40 c 7 OK
6.87/7.40 c 7 FOUND: _COST <= 116
6.87/7.40 c 7 DECODING HOME/temp.out WITH HOME/temp.map
6.87/7.40 c 7 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.98/7.47 c 7 Decoding HOME/temp.out
7.17/7.64 c 8 OBJECTIVE _COST 116
7.17/7.64 o 116
7.17/7.65 v 349 107 294 131 438 439 196 328 208 207 98 187 218 120 212 211 432 433 337 2 171 216 22 313 349 359 249 245 275 275 245 436 168 119 377 111 5 36 341 83 202 434 357 31 354 440 158 125 309 339 7 339 114 147 89 136 358 359 294 302 212 125 278 375 12 350 139 140 107 122 204 205 366 367 25 47 105 313 253 252 410 409 148 49 416 136 273 135 343 342 8 124 214 212 22 99 407 407
7.17/7.65 c 8 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
7.17/7.66 c 8 OK
7.17/7.66 c 8 OBJECTIVE BOUND: 0 <= _COST <= 116
7.17/7.66 c 8 SEARCHING: _COST <= 58
7.17/7.67 c 8 ============================[ Search Statistics ]==============================
7.17/7.67 c 8 | Conflicts | ORIGINAL | LEARNT | Progress |
7.17/7.67 c 8 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.17/7.67 c 8 ===============================================================================
7.17/7.67 c 8 | 171 | 50338 1800484 5311586 | 600161 171 39 | 8.080 % |
7.56/8.08 c 8 | 272 | 50332 1800484 5311586 | 660177 272 51 | 15.385 % |
7.96/8.46 c 8 | 423 | 50332 1800484 5311586 | 726195 423 44 | 15.385 % |
8.75/9.21 c 9 | 648 | 50332 1800484 5311586 | 798814 648 44 | 15.385 % |
9.75/10.21 c 10 | 985 | 50332 1800484 5311586 | 878696 985 57 | 15.385 % |
11.64/12.15 c 12 | 1492 | 50332 1800484 5311586 | 966565 1492 61 | 15.385 % |
14.52/15.01 c 15 | 2251 | 48697 937314 2747823 | 1063222 2249 59 | 15.385 % |
17.31/17.84 c 18 | 3395 | 48697 937314 2747823 | 1169544 3393 61 | 15.385 % |
18.01/18.52 c 18 ===============================================================================
18.01/18.52 c 18 restarts : 12
18.01/18.52 c 18 conflicts : 3572 (285 /sec)
18.01/18.52 c 18 decisions : 9797 (1.02 % random) (781 /sec)
18.01/18.52 c 18 propagations : 12368825 (985557 /sec)
18.01/18.52 c 18 conflict literals : 216307 (19.87 % deleted)
18.01/18.52 c 18 Memory used : 81.27 MB
18.01/18.52 c 18 CPU time : 12.5501 s
18.01/18.52 c 18
18.01/18.52 c 18 SATISFIABLE
18.01/18.55 c 18 OK
18.01/18.55 c 18 FOUND: _COST <= 58
18.01/18.55 c 18 DECODING HOME/temp.out WITH HOME/temp.map
18.01/18.55 c 18 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
18.09/18.63 c 19 Decoding HOME/temp.out
18.18/18.79 c 19 OBJECTIVE _COST 58
18.18/18.79 o 58
18.28/18.80 v 170 171 83 84 346 347 1 352 260 259 434 433 357 358 192 191 181 180 291 292 410 409 312 313 4 3 88 89 7 8 426 427 235 234 149 148 70 71 351 350 434 433 88 136 310 309 0 1 289 290 219 220 432 249 387 386 269 268 352 353 221 220 184 183 0 1 95 16 409 167 206 221 30 29 254 255 94 313 313 107 410 409 325 387 181 180 14 13 294 293 203 204 382 381 83 84 4 5
18.28/18.80 c 19 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
18.36/18.92 c 19 OK
18.36/18.92 c 19 OBJECTIVE BOUND: 0 <= _COST <= 58
18.36/18.92 c 19 SEARCHING: _COST <= 29
18.36/18.92 c 19 ============================[ Search Statistics ]==============================
18.36/18.92 c 19 | Conflicts | ORIGINAL | LEARNT | Progress |
18.36/18.92 c 19 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.36/18.92 c 19 ===============================================================================
18.36/18.92 c 19 | 3572 | 47476 817332 2391482 | 272444 3536 60 | 15.385 % |
18.65/19.29 c 19 | 3672 | 47476 817332 2391482 | 299688 3636 59 | 17.506 % |
19.15/19.77 c 20 | 3822 | 47476 817332 2391482 | 329657 3786 59 | 17.506 % |
19.75/20.39 c 20 | 4048 | 47476 817332 2391482 | 362622 4012 58 | 17.506 % |
20.54/21.19 c 21 | 4385 | 47476 817332 2391482 | 398885 4349 56 | 17.506 % |
21.94/22.60 c 22 | 4892 | 47476 817332 2391482 | 438773 4856 54 | 17.506 % |
23.63/24.24 c 24 | 5651 | 47476 817332 2391482 | 482651 5615 52 | 17.506 % |
24.82/25.43 c 25 | 6790 | 47476 817332 2391482 | 530916 6754 48 | 17.506 % |
31.10/31.74 c 32 | 8498 | 47476 817332 2391482 | 584007 8462 50 | 17.506 % |
34.47/35.15 c 35 | 11060 | 47476 817332 2391482 | 642408 11024 47 | 17.506 % |
54.37/55.19 c 55 | 14904 | 47476 817332 2391482 | 706649 14868 60 | 17.506 % |
60.84/61.69 c 62 | 20672 | 47476 817332 2391482 | 777314 20636 52 | 17.506 % |
98.63/99.60 c 99 | 29322 | 47476 817332 2391482 | 855045 29286 64 | 17.506 % |
120.12/121.24 c 121 | 42298 | 47476 817332 2391482 | 940550 42262 57 | 17.506 % |
136.44/137.69 c 138 ===============================================================================
136.44/137.69 c 138 restarts : 26
136.44/137.69 c 138 conflicts : 50907 (389 /sec)
136.44/137.69 c 138 decisions : 72996 (1.32 % random) (558 /sec)
136.44/137.69 c 138 propagations : 127977504 (978510 /sec)
136.44/137.69 c 138 conflict literals : 2763791 (14.49 % deleted)
136.44/137.69 c 138 Memory used : 81.51 MB
136.44/137.69 c 138 CPU time : 130.788 s
136.44/137.69 c 138
136.44/137.69 c 138 SATISFIABLE
136.54/137.71 c 138 OK
136.54/137.71 c 138 FOUND: _COST <= 29
136.54/137.71 c 138 DECODING HOME/temp.out WITH HOME/temp.map
136.54/137.71 c 138 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
136.55/137.86 c 138 Decoding HOME/temp.out
136.55/138.23 c 138 OBJECTIVE _COST 29
136.55/138.23 o 29
136.55/138.23 v 5 5 369 368 94 1 98 99 274 283 434 360 195 196 98 97 255 254 196 195 221 222 0 1 266 265 350 351 371 372 258 259 294 293 13 12 75 76 154 153 434 433 360 98 357 356 263 262 0 0 181 180 243 244 199 198 284 285 173 172 229 230 374 373 4 5 100 99 416 417 70 71 369 370 12 11 272 271 119 118 410 409 215 216 104 105 127 126 369 370 14 13 308 299 196 197 434 433
136.55/138.24 c 138 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
137.05/138.30 c 138 OK
137.05/138.30 c 138 OBJECTIVE BOUND: 0 <= _COST <= 29
137.05/138.30 c 138 SEARCHING: _COST <= 14
137.05/138.30 c 138 ============================[ Search Statistics ]==============================
137.05/138.30 c 138 | Conflicts | ORIGINAL | LEARNT | Progress |
137.05/138.30 c 138 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
137.05/138.30 c 138 ===============================================================================
137.05/138.30 c 138 | 50907 | 46429 751406 2196816 | 250468 50676 54 | 17.506 % |
137.55/138.86 c 139 | 51007 | 46429 751406 2196816 | 275515 50776 54 | 19.325 % |
138.15/139.48 c 139 | 51158 | 46429 751406 2196816 | 303067 50927 54 | 19.325 % |
139.24/140.59 c 140 | 51383 | 46429 751406 2196816 | 333373 51152 54 | 19.325 % |
139.94/141.23 c 141 | 51720 | 46429 751406 2196816 | 366711 51489 54 | 19.325 % |
142.42/143.78 c 144 | 52226 | 46429 751406 2196816 | 403382 51995 55 | 19.325 % |
143.62/144.95 c 145 | 52986 | 46429 751406 2196816 | 443720 52755 54 | 19.325 % |
147.30/148.62 c 149 | 54128 | 46429 751406 2196816 | 488092 53897 55 | 19.325 % |
151.38/152.70 c 153 | 55836 | 46429 751406 2196816 | 536901 55605 55 | 19.325 % |
157.55/158.93 c 159 | 58398 | 46429 751406 2196816 | 590592 58167 54 | 19.325 % |
169.10/170.58 c 170 | 62242 | 46429 751406 2196816 | 649651 62011 55 | 19.325 % |
183.13/184.63 c 185 | 68008 | 46429 751406 2196816 | 714616 67777 55 | 19.325 % |
211.80/213.47 c 213 | 76658 | 46429 751406 2196816 | 786077 76427 56 | 19.325 % |
269.02/270.81 c 271 | 89633 | 46429 751406 2196816 | 864685 89402 64 | 19.325 % |
302.01/303.88 c 304 ===============================================================================
302.01/303.89 c 304 restarts : 40
302.01/303.89 c 304 conflicts : 97380 (329 /sec)
302.01/303.89 c 304 decisions : 131824 (1.36 % random) (446 /sec)
302.01/303.89 c 304 propagations : 243940231 (824858 /sec)
302.01/303.89 c 304 conflict literals : 6668787 (14.09 % deleted)
302.01/303.89 c 304 Memory used : 87.16 MB
302.01/303.89 c 304 CPU time : 295.736 s
302.01/303.89 c 304
302.01/303.89 c 304 SATISFIABLE
302.11/303.91 c 304 OK
302.11/303.91 c 304 FOUND: _COST <= 14
302.11/303.91 c 304 DECODING HOME/temp.out WITH HOME/temp.map
302.11/303.91 c 304 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
302.12/304.09 c 304 Decoding HOME/temp.out
302.12/304.27 c 304 OBJECTIVE _COST 14
302.12/304.27 o 14
302.12/304.27 v 354 354 112 111 94 93 268 267 181 182 102 103 5 4 346 345 26 27 0 6 312 313 37 38 135 134 219 220 170 164 246 247 366 365 254 255 86 92 10 11 336 337 26 20 422 421 132 131 0 1 350 351 432 15 231 232 14 13 369 370 98 99 135 134 178 177 297 282 426 425 178 177 40 39 385 384 80 81 288 287 4 3 226 232 351 352 374 373 272 271 12 11 103 109 170 171 2 342
302.12/304.28 c 304 Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
302.12/304.40 c 304 OK
302.12/304.40 c 304 OBJECTIVE BOUND: 0 <= _COST <= 14
302.12/304.40 c 304 SEARCHING: _COST <= 7
302.12/304.40 c 304 ============================[ Search Statistics ]==============================
302.12/304.40 c 304 | Conflicts | ORIGINAL | LEARNT | Progress |
302.12/304.40 c 304 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
302.12/304.40 c 304 ===============================================================================
302.12/304.40 c 304 | 97380 | 45389 714388 2088867 | 238129 96934 68 | 19.325 % |
302.73/304.78 c 305 | 97482 | 45389 714388 2088867 | 261942 97036 68 | 21.133 % |
304.02/306.00 c 306 | 97632 | 45389 714388 2088867 | 288136 97186 69 | 21.133 % |
305.12/307.12 c 307 | 97859 | 45389 714388 2088867 | 316950 97413 69 | 21.133 % |
307.01/309.07 c 309 | 98197 | 45389 714388 2088867 | 348645 97751 69 | 21.133 % |
308.50/310.53 c 310 | 98703 | 45389 714388 2088867 | 383509 98257 69 | 21.133 % |
312.19/314.27 c 314 | 99462 | 45389 714388 2088867 | 421860 99016 69 | 21.133 % |
315.47/317.56 c 317 | 100601 | 45389 714388 2088867 | 464046 100155 69 | 21.133 % |
320.45/322.59 c 322 | 102312 | 45389 714388 2088867 | 510451 101866 69 | 21.133 % |
331.01/333.14 c 333 | 104874 | 45389 714388 2088867 | 561496 104428 69 | 21.133 % |
339.56/341.75 c 342 | 108718 | 45389 714388 2088867 | 617646 108272 69 | 21.133 % |
359.37/361.67 c 362 | 114484 | 45389 714388 2088867 | 679410 114038 69 | 21.133 % |
386.65/389.00 c 389 | 123134 | 45389 714388 2088867 | 747351 122688 69 | 21.133 % |
429.06/431.64 c 432 | 136108 | 45389 714388 2088867 | 822087 135662 68 | 21.133 % |
496.65/499.56 c 499 | 155569 | 45389 714388 2088867 | 904295 155123 71 | 21.133 % |
654.76/658.33 c 658 | 184762 | 45389 714388 2088867 | 994725 184316 75 | 21.133 % |
870.31/874.82 c 875 | 228551 | 45389 714388 2088867 | 1094197 228105 78 | 21.133 % |
1123.59/1129.22 c 1129 ===============================================================================
1123.59/1129.22 c 1129 restarts : 57
1123.59/1129.22 c 1129 conflicts : 273637 (245 /sec)
1123.59/1129.22 c 1129 decisions : 334578 (1.53 % random) (300 /sec)
1123.59/1129.22 c 1129 propagations : 595259955 (533024 /sec)
1123.59/1129.22 c 1129 conflict literals : 22962610 (13.84 % deleted)
1123.59/1129.22 c 1129 Memory used : 159.78 MB
1123.59/1129.22 c 1129 CPU time : 1116.76 s
1123.59/1129.22 c 1129
1123.59/1129.22 c 1129 SATISFIABLE
1123.59/1129.24 c 1129 OK
1123.59/1129.24 c 1129 FOUND: _COST <= 7
1123.59/1129.24 c 1129 DECODING HOME/temp.out WITH HOME/temp.map
1123.59/1129.24 c 1129 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1123.65/1129.33 c 1129 Decoding HOME/temp.out
1123.98/1129.69 c 1130 OBJECTIVE _COST 7
1123.98/1129.70 o 7
1123.98/1129.70 v 152 153 87 86 0 352 263 264 356 357 245 346 5 4 155 156 346 345 133 135 2 3 36 35 359 358 253 254 297 298 232 231 134 135 239 240 3 2 368 367 81 82 360 359 355 356 96 95 0 1 248 247 293 294 333 332 358 359 156 155 28 30 212 213 253 252 63 61 10 11 38 37 305 306 183 184 346 346 87 86 2 3 242 241 68 67 169 170 91 90 255 254 0 2 346 345 245 246
1124.08/1129.70 c 1130 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1124.19/1129.95 c 1130 OK
1124.19/1129.95 c 1130 OBJECTIVE BOUND: 0 <= _COST <= 7
1124.19/1129.95 c 1130 SEARCHING: _COST <= 3
1124.19/1129.95 c 1130 ============================[ Search Statistics ]==============================
1124.19/1129.95 c 1130 | Conflicts | ORIGINAL | LEARNT | Progress |
1124.19/1129.95 c 1130 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1124.19/1129.95 c 1130 ===============================================================================
1124.19/1129.95 c 1130 | 273637 | 44444 695663 2035520 | 231887 272881 84 | 21.133 % |
1127.97/1133.77 c 1134 | 273737 | 44444 695663 2035520 | 255076 29372 89 | 22.775 % |
1128.27/1134.02 c 1134 | 273887 | 44444 695663 2035520 | 280584 29522 89 | 22.775 % |
1128.56/1134.34 c 1134 | 274113 | 44444 695663 2035520 | 308642 29748 88 | 22.775 % |
1129.66/1135.44 c 1135 | 274451 | 44444 695663 2035520 | 339506 30086 89 | 22.775 % |
1130.65/1136.47 c 1136 | 274958 | 44444 695663 2035520 | 373457 30593 88 | 22.775 % |
1131.95/1137.79 c 1138 | 275720 | 44444 695663 2035520 | 410803 31355 88 | 22.775 % |
1133.84/1139.64 c 1140 | 276860 | 44444 695663 2035520 | 451883 32495 87 | 22.775 % |
1137.32/1143.14 c 1143 | 278568 | 44444 695663 2035520 | 497071 34203 85 | 22.775 % |
1144.98/1150.81 c 1151 | 281130 | 44444 695663 2035520 | 546778 36765 85 | 22.775 % |
1152.84/1158.76 c 1159 | 284974 | 44444 695663 2035520 | 601456 40609 84 | 22.775 % |
1164.08/1170.09 c 1170 | 290740 | 44444 695663 2035520 | 661602 46375 84 | 22.775 % |
1187.37/1193.42 c 1193 | 299389 | 44444 695663 2035520 | 727762 55024 85 | 22.775 % |
1221.49/1227.76 c 1228 | 312363 | 44444 695663 2035520 | 800539 67998 87 | 22.775 % |
1283.69/1290.29 c 1290 | 331824 | 44444 695663 2035520 | 880593 87459 94 | 22.775 % |
1384.09/1391.16 c 1391 | 361016 | 44444 695663 2035520 | 968652 116651 100 | 22.775 % |
1574.55/1582.57 c 1582 | 404807 | 44444 695663 2035520 | 1065517 160442 107 | 22.775 % |
1977.94/1987.95 c 1988 | 470492 | 44444 695663 2035520 | 1172069 226127 115 | 22.775 % |
2649.90/2663.28 c 2663 | 569018 | 44444 695663 2035520 | 1289276 324653 126 | 22.775 % |
3600.10/3618.11 c ERROR INTERRUPTED
3600.10/3618.17 c 3618 CPU 3598.44 (0.08 0.03 3598.36 1.69)
3600.10/3618.17 c 3618 END Sat Jul 12 16:20:40 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-1112471-1215868822/watcher-1112471-1215868822 -o /tmp/evaluation-result-1112471-1215868822/solver-1112471-1215868822 -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-1112471-1215868822.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.36 3.33 3.22 5/80 18307
/proc/meminfo: memFree=1810344/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=12268 CPUtime=0
/proc/18307/stat : 18307 (sugar++) R 18305 18307 18270 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 43584499 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 227857710078 0 0 4224 0 0 0 0 17 1 0 0
/proc/18307/statm: 3067 316 241 3 0 167 0
[startup+0.0942811 s]
/proc/loadavg: 3.36 3.33 3.22 5/80 18307
/proc/meminfo: memFree=1810344/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16740 CPUtime=0.06
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43584499 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101283 s]
/proc/loadavg: 3.36 3.33 3.22 5/80 18307
/proc/meminfo: memFree=1810344/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16740 CPUtime=0.06
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43584499 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301301 s]
/proc/loadavg: 3.36 3.33 3.22 5/80 18307
/proc/meminfo: memFree=1810344/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16740 CPUtime=0.06
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 43584499 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701339 s]
/proc/loadavg: 3.36 3.33 3.22 5/80 18307
/proc/meminfo: memFree=1810344/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16740 CPUtime=0.06
/proc/18307/stat : 18307 (sugar++) R 18305 18307 18270 0 -1 4194304 1236 128 0 0 5 1 0 0 16 0 1 0 43584499 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18307/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50243 s]
/proc/loadavg: 3.36 3.33 3.22 5/91 18329
/proc/meminfo: memFree=1801680/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16740 CPUtime=0.44
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1297 4780 0 1 5 1 34 4 15 0 1 0 43584499 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4185 1104 409 3 0 764 0
[pid=18320] ppid=18307 vsize=5356 CPUtime=0
/proc/18320/stat : 18320 (sh) S 18307 18307 18270 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43584569 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18320/statm: 1339 233 193 169 0 50 0
[pid=18321] ppid=18320 vsize=868396 CPUtime=0.77
/proc/18321/stat : 18321 (java) S 18320 18307 18270 0 -1 0 5772 0 1 0 74 3 0 0 18 0 9 0 43584569 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18321/statm: 217099 5156 1841 9 0 211674 0
[pid=18321/tid=18322] ppid=18320 vsize=868396 CPUtime=0.5
/proc/18321/task/18322/stat : 18322 (java) R 18320 18307 18270 0 -1 64 2650 0 1 0 49 1 0 0 19 0 9 0 43584570 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18323] ppid=18320 vsize=868396 CPUtime=0.04
/proc/18321/task/18323/stat : 18323 (java) R 18320 18307 18270 0 -1 64 961 0 0 0 4 0 0 0 16 0 9 0 43584571 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 102535856 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18324] ppid=18320 vsize=868396 CPUtime=0
/proc/18321/task/18324/stat : 18324 (java) S 18320 18307 18270 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 43584572 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18325] ppid=18320 vsize=868396 CPUtime=0
/proc/18321/task/18325/stat : 18325 (java) S 18320 18307 18270 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 43584572 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18326] ppid=18320 vsize=868396 CPUtime=0
/proc/18321/task/18326/stat : 18326 (java) S 18320 18307 18270 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43584573 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18327] ppid=18320 vsize=868396 CPUtime=0.2
/proc/18321/task/18327/stat : 18327 (java) S 18320 18307 18270 0 -1 64 1469 0 0 0 20 0 0 0 16 0 9 0 43584574 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18328] ppid=18320 vsize=868396 CPUtime=0
/proc/18321/task/18328/stat : 18328 (java) S 18320 18307 18270 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43584574 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18329] ppid=18320 vsize=868396 CPUtime=0
/proc/18321/task/18329/stat : 18329 (java) S 18320 18307 18270 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43584574 889237504 5156 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 890492
[startup+3.10257 s]
/proc/loadavg: 3.33 3.33 3.22 4/91 18329
/proc/meminfo: memFree=1787280/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16740 CPUtime=0.45
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1297 4780 0 1 6 1 34 4 15 0 1 0 43584499 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4185 1104 409 3 0 764 0
[pid=18320] ppid=18307 vsize=5356 CPUtime=0
/proc/18320/stat : 18320 (sh) S 18307 18307 18270 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43584569 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18320/statm: 1339 233 193 169 0 50 0
[pid=18321] ppid=18320 vsize=868508 CPUtime=2.37
/proc/18321/stat : 18321 (java) S 18320 18307 18270 0 -1 0 7284 0 1 0 219 18 0 0 18 0 9 0 43584569 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18321/statm: 217127 6055 2562 9 0 211674 0
[pid=18321/tid=18322] ppid=18320 vsize=868508 CPUtime=1.92
/proc/18321/task/18322/stat : 18322 (java) R 18320 18307 18270 0 -1 64 3174 0 1 0 179 13 0 0 25 0 9 0 43584570 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 102064654 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18323] ppid=18320 vsize=868508 CPUtime=0.18
/proc/18321/task/18323/stat : 18323 (java) S 18320 18307 18270 0 -1 64 1922 0 0 0 16 2 0 0 16 0 9 0 43584571 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18324] ppid=18320 vsize=868508 CPUtime=0
/proc/18321/task/18324/stat : 18324 (java) S 18320 18307 18270 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 43584572 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18325] ppid=18320 vsize=868508 CPUtime=0
/proc/18321/task/18325/stat : 18325 (java) S 18320 18307 18270 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43584572 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18326] ppid=18320 vsize=868508 CPUtime=0
/proc/18321/task/18326/stat : 18326 (java) S 18320 18307 18270 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43584573 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18327] ppid=18320 vsize=868508 CPUtime=0.24
/proc/18321/task/18327/stat : 18327 (java) S 18320 18307 18270 0 -1 64 1495 0 0 0 24 0 0 0 16 0 9 0 43584574 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18328] ppid=18320 vsize=868508 CPUtime=0
/proc/18321/task/18328/stat : 18328 (java) S 18320 18307 18270 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 43584574 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18321/tid=18329] ppid=18320 vsize=868508 CPUtime=0
/proc/18321/task/18329/stat : 18329 (java) S 18320 18307 18270 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43584574 889352192 6055 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 890604
[startup+6.30288 s]
/proc/loadavg: 3.33 3.33 3.22 4/82 18330
/proc/meminfo: memFree=1725336/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=4.58
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1554 12923 0 2 6 2 413 37 15 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=81368 CPUtime=1.2
/proc/18330/stat : 18330 (minisat-inc) S 18307 18307 18270 0 -1 4194304 19663 0 0 0 106 14 0 0 25 0 1 0 43584987 83320832 19610 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/18330/statm: 20342 19610 78 151 0 20188 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 98240
[startup+12.7015 s]
/proc/loadavg: 3.28 3.32 3.22 3/82 18360
/proc/meminfo: memFree=1689432/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=5.34
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1710 24571 0 5 7 2 479 46 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=83216 CPUtime=6.89
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 20138 0 0 0 674 15 0 0 25 0 1 0 43584987 85213184 20081 996147200 134512640 135134323 4294956192 18446744073709551615 134524822 0 0 4096 3 0 0 0 17 1 0 0
/proc/18330/statm: 20804 20081 80 151 0 20650 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 100088
[startup+25.5017 s]
/proc/loadavg: 3.16 3.29 3.21 3/82 18370
/proc/meminfo: memFree=1689368/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=5.6
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1779 28457 0 6 7 2 502 49 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=83216 CPUtime=19.32
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 20140 0 0 0 1917 15 0 0 25 0 1 0 43584987 85213184 20081 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 20804 20081 80 151 0 20650 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 100088
[startup+51.1012 s]
/proc/loadavg: 2.91 3.22 3.18 3/82 18370
/proc/meminfo: memFree=1689560/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=5.6
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1779 28457 0 6 7 2 502 49 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=83216 CPUtime=44.79
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 20140 0 0 0 4464 15 0 0 25 0 1 0 43584987 85213184 20081 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 20804 20081 80 151 0 20650 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 100088
[startup+102.306 s]
/proc/loadavg: 2.62 3.07 3.13 4/82 18370
/proc/meminfo: memFree=1689112/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=5.6
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1779 28457 0 6 7 2 502 49 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=83216 CPUtime=95.72
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 20140 0 0 0 9557 15 0 0 25 0 1 0 43584987 85213184 20081 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 20804 20081 80 151 0 20650 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 100088
[startup+162.302 s]
/proc/loadavg: 2.40 2.93 3.08 4/82 18380
/proc/meminfo: memFree=1689176/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.05
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1848 32341 0 7 7 2 544 52 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=83460 CPUtime=154.89
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 20200 0 0 0 15474 15 0 0 25 0 1 0 43584987 85463040 20139 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/18330/statm: 20865 20139 80 151 0 20711 0
Current children cumulated CPU time (s) 160.94
Current children cumulated vsize (KiB) 100332
[startup+222.302 s]
/proc/loadavg: 2.49 2.85 3.04 4/82 18380
/proc/meminfo: memFree=1689112/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.05
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1848 32341 0 7 7 2 544 52 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=83580 CPUtime=214.6
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 20219 0 0 0 21445 15 0 0 25 0 1 0 43584987 85585920 20158 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/18330/statm: 20895 20158 80 151 0 20741 0
Current children cumulated CPU time (s) 220.65
################
# More data... #
################
[pid=18330] ppid=18307 vsize=268564 CPUtime=2900.95
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 65591 0 0 0 290007 88 0 0 25 0 1 0 43584987 275009536 65518 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 67141 65518 80 151 0 66987 0
Current children cumulated CPU time (s) 2907.73
Current children cumulated vsize (KiB) 285436
[startup+2982.3 s]
/proc/loadavg: 2.96 2.74 2.65 3/82 18477
/proc/meminfo: memFree=1518808/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=274080 CPUtime=2960.66
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 66949 0 0 0 295976 90 0 0 25 0 1 0 43584987 280657920 66876 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 68520 66876 80 151 0 68366 0
Current children cumulated CPU time (s) 2967.44
Current children cumulated vsize (KiB) 290952
[startup+3042.3 s]
/proc/loadavg: 2.93 2.77 2.66 3/82 18477
/proc/meminfo: memFree=1514008/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=279172 CPUtime=3020.36
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 68236 0 0 0 301945 91 0 0 25 0 1 0 43584987 285872128 68163 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 69793 68163 80 151 0 69639 0
Current children cumulated CPU time (s) 3027.14
Current children cumulated vsize (KiB) 296044
[startup+3102.3 s]
/proc/loadavg: 2.88 2.78 2.67 3/82 18477
/proc/meminfo: memFree=1508696/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=284228 CPUtime=3080.06
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 69506 0 0 0 307914 92 0 0 25 0 1 0 43584987 291049472 69425 996147200 134512640 135134323 4294956192 18446744073709551615 134531891 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 71057 69425 80 151 0 70903 0
Current children cumulated CPU time (s) 3086.84
Current children cumulated vsize (KiB) 301100
[startup+3162.3 s]
/proc/loadavg: 2.66 2.74 2.66 3/82 18477
/proc/meminfo: memFree=1503448/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=289388 CPUtime=3139.77
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 70790 0 0 0 313883 94 0 0 25 0 1 0 43584987 296333312 70709 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 72347 70709 80 151 0 72193 0
Current children cumulated CPU time (s) 3146.55
Current children cumulated vsize (KiB) 306260
[startup+3222.3 s]
/proc/loadavg: 2.72 2.74 2.66 3/82 18477
/proc/meminfo: memFree=1497752/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=295456 CPUtime=3199.47
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 72222 0 0 0 319852 95 0 0 25 0 1 0 43584987 302546944 72133 996147200 134512640 135134323 4294956192 18446744073709551615 134532046 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 73864 72133 80 151 0 73710 0
Current children cumulated CPU time (s) 3206.25
Current children cumulated vsize (KiB) 312328
[startup+3282.3 s]
/proc/loadavg: 2.90 2.78 2.68 3/82 18477
/proc/meminfo: memFree=1490584/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=303324 CPUtime=3259.17
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 73978 0 0 0 325820 97 0 0 25 0 1 0 43584987 310603776 73873 996147200 134512640 135134323 4294956192 18446744073709551615 134532022 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 75831 73873 80 151 0 75677 0
Current children cumulated CPU time (s) 3265.95
Current children cumulated vsize (KiB) 320196
[startup+3342.3 s]
/proc/loadavg: 2.86 2.79 2.69 3/82 18477
/proc/meminfo: memFree=1481816/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=313348 CPUtime=3318.88
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 76203 0 0 0 331789 99 0 0 25 0 1 0 43584987 320868352 76066 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 78337 76066 80 151 0 78183 0
Current children cumulated CPU time (s) 3325.66
Current children cumulated vsize (KiB) 330220
[startup+3402.31 s]
/proc/loadavg: 2.80 2.78 2.69 3/82 18477
/proc/meminfo: memFree=1476568/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=318824 CPUtime=3378.59
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 77492 0 0 0 337759 100 0 0 25 0 1 0 43584987 326475776 77355 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 79706 77355 80 151 0 79552 0
Current children cumulated CPU time (s) 3385.37
Current children cumulated vsize (KiB) 335696
[startup+3462.3 s]
/proc/loadavg: 2.68 2.76 2.69 3/82 18477
/proc/meminfo: memFree=1471896/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=323216 CPUtime=3438.29
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 78628 0 0 0 343727 102 0 0 25 0 1 0 43584987 330973184 78491 996147200 134512640 135134323 4294956192 18446744073709551615 134708315 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 80804 78491 80 151 0 80650 0
Current children cumulated CPU time (s) 3445.07
Current children cumulated vsize (KiB) 340088
[startup+3522.3 s]
/proc/loadavg: 2.73 2.75 2.69 3/82 18479
/proc/meminfo: memFree=1466968/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=328036 CPUtime=3497.99
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 79844 0 0 0 349696 103 0 0 25 0 1 0 43584987 335908864 79707 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 82009 79707 80 151 0 81855 0
Current children cumulated CPU time (s) 3504.77
Current children cumulated vsize (KiB) 344908
[startup+3582.3 s]
/proc/loadavg: 2.72 2.75 2.69 3/82 18479
/proc/meminfo: memFree=1462104/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=332524 CPUtime=3557.69
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 81061 0 0 0 355665 104 0 0 25 0 1 0 43584987 340504576 80924 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 83131 80924 80 151 0 82977 0
Current children cumulated CPU time (s) 3564.47
Current children cumulated vsize (KiB) 349396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3618.1 s]
/proc/loadavg: 2.67 2.73 2.68 3/82 18479
/proc/meminfo: memFree=1458584/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=336184 CPUtime=3593.32
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 81907 0 0 0 359227 105 0 0 25 0 1 0 43584987 344252416 81770 996147200 134512640 135134323 4294956192 18446744073709551615 134532022 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 84046 81770 80 151 0 83892 0
Current children cumulated CPU time (s) 3600.1
Current children cumulated vsize (KiB) 353056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3618.1 s]
/proc/loadavg: 2.67 2.73 2.68 3/82 18479
/proc/meminfo: memFree=1458584/2055920 swapFree=4181216/4192956
[pid=18307] ppid=18305 vsize=16872 CPUtime=6.78
/proc/18307/stat : 18307 (sugar++) S 18305 18307 18270 0 -1 4194304 1986 40113 0 9 8 3 608 59 16 0 1 0 43584499 17276928 1139 996147200 4194304 4206940 548682068528 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18307/statm: 4218 1139 414 3 0 797 0
[pid=18330] ppid=18307 vsize=336184 CPUtime=3593.32
/proc/18330/stat : 18330 (minisat-inc) R 18307 18307 18270 0 -1 4194304 81907 0 0 0 359227 105 0 0 25 0 1 0 43584987 344252416 81770 996147200 134512640 135134323 4294956192 18446744073709551615 134532022 0 0 4096 3 0 0 0 17 0 0 0
/proc/18330/statm: 84046 81770 80 151 0 83892 0
Current children cumulated CPU time (s) 3600.1
Current children cumulated vsize (KiB) 353056
Child status: 0
Real time (s): 3618.18
CPU time (s): 3600.2
CPU user time (s): 3598.45
CPU system time (s): 1.75173
CPU usage (%): 99.503
Max. virtual memory (cumulated for all children) (KiB): 890604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.44
system time used= 1.75173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124086
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= 11680
involuntary context switches= 77733
runsolver used 4.81827 second user time and 11.2613 second system time
The end
Begin job on node18 at 2008-07-12 15:20:22
IDJOB=1112471
IDBENCH=61423
IDSOLVER=367
FILE ID=node18/1112471-1215868822
PBS_JOBID= 7903549
Free space on /tmp= 66552 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-7/normalized-super-os-taillard-7-2.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-1112471-1215868822/watcher-1112471-1215868822 -o /tmp/evaluation-result-1112471-1215868822/solver-1112471-1215868822 -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-1112471-1215868822.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 117b721453f3a20943f277ff453ea279
RANDOM SEED=1509733470
node18.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.218
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 : 5931.00
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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1810832 kB
Buffers: 28460 kB
Cached: 62924 kB
SwapCached: 5856 kB
Active: 156744 kB
Inactive: 43424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1810832 kB
SwapTotal: 4192956 kB
SwapFree: 4181216 kB
Dirty: 1132 kB
Writeback: 0 kB
Mapped: 123672 kB
Slab: 29920 kB
Committed_AS: 1008984 kB
PageTables: 2004 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= 66552 MiB
End job on node18 at 2008-07-12 16:20:42