0.02/0.18 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.02/0.18 c 0 BEGIN Fri Jul 11 16:19:37 2008
0.02/0.18 c 0 PID 11378
0.02/0.18 c 0 HOST node87.alineos.net
0.02/0.18 c 0 CONVERTING HOME/instance-1108715-1215785976.xml TO HOME/temp.csp
0.02/0.18 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1108715-1215785976.xml' 'HOME/temp.csp'
0.07/0.64 c 0 1 domains, 23 variables, 0 predicates, 253 relations, 253 constraints
0.07/0.67 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.67 c 0 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.50/0.78 c 0 Parsing HOME/temp.csp
0.78/1.04 c 0 parsed 530 expressions
0.78/1.04 c 0 Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.78/1.05 c 0 MAX CSP: 253 constraints
0.78/1.05 c 0 Converting to clausal form CSP
0.78/1.07 c 0 converted 79 (10%) expressions
0.78/1.07 c 0 converted 158 (20%) expressions
0.78/1.08 c 0 converted 236 (30%) expressions
0.89/1.14 c 1 converted 315 (40%) expressions
0.89/1.16 c 1 converted 393 (50%) expressions
0.89/1.18 c 1 converted 472 (60%) expressions
0.89/1.19 c 1 converted 551 (70%) expressions
0.98/1.21 c 1 converted 629 (80%) expressions
0.98/1.23 c 1 converted 708 (90%) expressions
1.08/1.38 c 1 converted 786 (100%) expressions
1.08/1.38 c 1 CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 380
1.08/1.38 c 1 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.08/1.38 c 1 Propagation in CSP
1.17/1.46 c 1 246 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.17/1.46 c 1 CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 254
1.17/1.46 c 1 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.17/1.46 c 1 Simplifing CSP by introducing new Boolean variables
1.17/1.46 c 1 CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 254
1.17/1.46 c 1 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.27/1.50 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.27/1.52 c 1 53 (10%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.27/1.52 c 1 106 (20%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.27/1.52 c 1 159 (30%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.27/1.52 c 1 212 (40%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.27/1.52 c 1 265 (50%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.27/1.52 c 1 318 (60%) CSP integer variables are encoded (886 clauses, 9931 bytes)
1.27/1.53 c 1 371 (70%) CSP integer variables are encoded (1185 clauses, 13818 bytes)
1.27/1.53 c 1 424 (80%) CSP integer variables are encoded (1556 clauses, 18641 bytes)
1.27/1.53 c 1 477 (90%) CSP integer variables are encoded (3233 clauses, 40442 bytes)
1.27/1.53 c 1 529 (100%) CSP integer variables are encoded (3777 clauses, 47514 bytes)
1.37/1.61 c 1 76 (10%) CSP clauses are encoded (10436 clauses, 192223 bytes)
1.37/1.65 c 1 152 (20%) CSP clauses are encoded (17183 clauses, 351625 bytes)
1.37/1.69 c 1 228 (30%) CSP clauses are encoded (23878 clauses, 512421 bytes)
1.47/1.72 c 1 304 (40%) CSP clauses are encoded (26592 clauses, 573682 bytes)
1.47/1.73 c 1 379 (50%) CSP clauses are encoded (30889 clauses, 649879 bytes)
1.47/1.73 c 1 455 (60%) CSP clauses are encoded (32305 clauses, 673891 bytes)
1.47/1.75 c 1 531 (70%) CSP clauses are encoded (44027 clauses, 886630 bytes)
1.47/1.76 c 1 607 (80%) CSP clauses are encoded (45587 clauses, 913174 bytes)
1.56/1.82 c 1 683 (90%) CSP clauses are encoded (79803 clauses, 1526165 bytes)
1.56/1.87 c 1 758 (100%) CSP clauses are encoded (112562 clauses, 2125017 bytes)
1.56/1.87 c 1 758 CSP clauses encoded
1.56/1.87 c 1 Writing map file : HOME/temp.map
1.56/1.88 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.56/1.88 c 1 SAT : 4306 SAT variables, 112562 SAT clauses, 2125017 bytes
1.56/1.88 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.65/1.91 c 1 OBJECTIVE minimize _COST
1.65/1.91 c 1 SOLVING HOME/temp.cnf
1.65/1.91 c 1 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.65/1.91 c 1 This is MiniSat 2.0 beta incremental
1.65/1.91 c 1 WARNING: for repeatability, setting FPU to use double precision
1.65/1.91 c 1 ============================[ Problem Statistics ]=============================
1.65/1.91 c 1 | |
1.65/1.91 c 1 | Number of variables: 4306 |
1.65/1.91 c 1 | Number of clauses: 112562 |
1.65/1.96 c 1 | Parsing time: 0.04 s |
1.65/1.96 c 1 OK
1.65/1.96 c 1 OBJECTIVE BOUND: 0 <= _COST <=
1.65/1.96 c 1 SEARCHING: _COST <= 127
1.65/1.96 c 1 ============================[ Search Statistics ]==============================
1.65/1.96 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.65/1.96 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.65/1.96 c 1 ===============================================================================
1.65/1.96 c 1 | 0 | 4306 112562 366867 | 37520 0 nan | 0.000 % |
1.65/1.99 c 1 | 101 | 4306 112562 366867 | 41272 101 60 | 0.005 % |
1.66/2.00 c 1 ===============================================================================
1.66/2.00 c 1 restarts : 2
1.66/2.00 c 1 conflicts : 134 (1634 /sec)
1.66/2.00 c 1 decisions : 392 (0.51 % random) (4781 /sec)
1.66/2.00 c 1 propagations : 28624 (349129 /sec)
1.66/2.00 c 1 conflict literals : 7069 (13.36 % deleted)
1.66/2.00 c 1 Memory used : 6.95 MB
1.66/2.00 c 1 CPU time : 0.081987 s
1.66/2.00 c 1
1.66/2.00 c 1 SATISFIABLE
1.66/2.00 c 1 OK
1.66/2.00 c 1 FOUND: _COST <= 127
1.66/2.00 s SATISFIABLE
1.66/2.00 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.66/2.00 c 1 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.79/2.11 c 1 Decoding HOME/temp.out
1.79/2.17 c 2 OBJECTIVE _COST 127
1.79/2.17 o 127
1.79/2.17 v 22 22 10 22 22 20 17 22 20 21 22 21 22 17 22 21 15 22 21 22 22 22 22
1.79/2.17 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.79/2.18 c 2 OK
1.79/2.18 c 2 OBJECTIVE BOUND: 0 <= _COST <= 127
1.79/2.18 c 2 SEARCHING: _COST <= 63
1.79/2.18 c 2 ============================[ Search Statistics ]==============================
1.79/2.19 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.79/2.19 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.79/2.19 c 2 ===============================================================================
1.79/2.19 c 2 | 134 | 4306 112562 366867 | 37520 134 53 | 0.005 % |
1.79/2.20 c 2 ===============================================================================
1.79/2.20 c 2 restarts : 3
1.79/2.20 c 2 conflicts : 201 (2010 /sec)
1.79/2.20 c 2 decisions : 529 (0.57 % random) (5291 /sec)
1.79/2.20 c 2 propagations : 53737 (537456 /sec)
1.79/2.20 c 2 conflict literals : 8734 (22.14 % deleted)
1.79/2.20 c 2 Memory used : 6.95 MB
1.79/2.20 c 2 CPU time : 0.099984 s
1.79/2.20 c 2
1.79/2.20 c 2 SATISFIABLE
1.79/2.20 c 2 OK
1.79/2.20 c 2 FOUND: _COST <= 63
1.79/2.20 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.79/2.20 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.91/2.27 c 2 Decoding HOME/temp.out
1.91/2.33 c 2 OBJECTIVE _COST 63
1.91/2.33 o 63
1.91/2.33 v 22 6 10 22 22 5 5 22 22 22 22 22 22 21 21 21 21 4 18 22 22 22 22
1.91/2.34 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.91/2.35 c 2 OK
1.91/2.35 c 2 OBJECTIVE BOUND: 0 <= _COST <= 63
1.91/2.35 c 2 SEARCHING: _COST <= 31
1.91/2.36 c 2 ============================[ Search Statistics ]==============================
1.91/2.38 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.91/2.38 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.91/2.38 c 2 ===============================================================================
1.91/2.38 c 2 | 201 | 3298 112562 366867 | 37520 201 43 | 0.005 % |
1.91/2.39 c 2 | 302 | 3298 112562 366867 | 41272 302 39 | 36.811 % |
1.91/2.39 c 2 ===============================================================================
1.91/2.39 c 2 restarts : 5
1.91/2.39 c 2 conflicts : 343 (2599 /sec)
1.91/2.39 c 2 decisions : 748 (0.67 % random) (5668 /sec)
1.91/2.39 c 2 propagations : 93574 (709007 /sec)
1.91/2.39 c 2 conflict literals : 13154 (25.55 % deleted)
1.91/2.39 c 2 Memory used : 6.95 MB
1.91/2.39 c 2 CPU time : 0.131979 s
1.91/2.39 c 2
1.91/2.39 c 2 SATISFIABLE
1.91/2.39 c 2 OK
1.91/2.39 c 2 FOUND: _COST <= 31
1.91/2.39 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.91/2.39 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.09/2.47 c 2 Decoding HOME/temp.out
2.09/2.53 c 2 OBJECTIVE _COST 31
2.09/2.53 o 31
2.09/2.53 v 22 6 9 22 22 22 14 22 22 22 7 22 5 22 12 4 14 13 20 22 22 22 22
2.09/2.54 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.09/2.55 c 2 OK
2.09/2.55 c 2 OBJECTIVE BOUND: 0 <= _COST <= 31
2.09/2.55 c 2 SEARCHING: _COST <= 15
2.09/2.55 c 2 ============================[ Search Statistics ]==============================
2.09/2.56 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.09/2.56 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.09/2.56 c 2 ===============================================================================
2.09/2.56 c 2 | 343 | 2721 112562 366867 | 37520 343 38 | 36.811 % |
2.09/2.57 c 2 | 444 | 2721 112562 366867 | 41272 444 34 | 45.845 % |
2.28/2.60 c 2 | 594 | 2721 112562 366867 | 45400 594 31 | 45.845 % |
2.28/2.63 c 2 | 821 | 2721 112562 366867 | 49940 821 28 | 45.845 % |
2.28/2.70 c 2 | 1159 | 2721 112562 366867 | 54934 1159 26 | 45.845 % |
2.38/2.80 c 2 | 1667 | 2332 44869 169488 | 60427 1643 24 | 45.845 % |
2.58/2.93 c 2 | 2426 | 2332 44869 169488 | 66470 2402 24 | 45.845 % |
2.78/3.14 c 3 | 3566 | 2332 44869 169488 | 73117 3542 27 | 45.845 % |
3.07/3.46 c 3 | 5274 | 2332 44869 169488 | 80428 5250 28 | 45.845 % |
3.57/3.97 c 3 | 7837 | 2332 44869 169488 | 88471 7813 28 | 45.845 % |
4.46/4.83 c 4 | 11681 | 2332 44869 169488 | 97318 11657 28 | 45.845 % |
6.05/6.40 c 6 | 17449 | 2332 44869 169488 | 107050 17425 29 | 45.845 % |
8.24/8.66 c 8 | 26098 | 2332 44869 169488 | 117755 26074 30 | 45.845 % |
12.62/13.06 c 12 | 39072 | 2332 44869 169488 | 129531 39048 30 | 45.845 % |
20.47/20.92 c 20 | 58534 | 2332 44869 169488 | 142484 58510 31 | 45.845 % |
31.30/31.86 c 31 ===============================================================================
31.30/31.86 c 31 restarts : 20
31.30/31.86 c 31 conflicts : 76447 (2615 /sec)
31.30/31.86 c 31 decisions : 84122 (0.54 % random) (2878 /sec)
31.30/31.86 c 31 propagations : 22543144 (771192 /sec)
31.30/31.86 c 31 conflict literals : 2411007 (38.21 % deleted)
31.30/31.86 c 31 Memory used : 17.36 MB
31.30/31.86 c 31 CPU time : 29.2316 s
31.30/31.86 c 31
31.30/31.86 c 31 SATISFIABLE
31.30/31.86 c 31 OK
31.30/31.86 c 31 FOUND: _COST <= 15
31.30/31.86 c 31 DECODING HOME/temp.out WITH HOME/temp.map
31.30/31.86 c 31 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.36/32.13 c 32 Decoding HOME/temp.out
31.36/32.19 c 32 OBJECTIVE _COST 15
31.36/32.19 o 15
31.36/32.19 v 5 21 14 17 22 16 14 21 1 18 12 22 15 22 10 13 14 13 20 22 22 22 22
31.36/32.19 c 32 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
31.36/32.25 c 32 OK
31.36/32.25 c 32 OBJECTIVE BOUND: 0 <= _COST <= 15
31.36/32.25 c 32 SEARCHING: _COST <= 7
31.36/32.25 c 32 ============================[ Search Statistics ]==============================
31.36/32.25 c 32 | Conflicts | ORIGINAL | LEARNT | Progress |
31.36/32.25 c 32 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
31.36/32.25 c 32 ===============================================================================
31.36/32.25 c 32 | 76447 | 2015 35150 141266 | 11716 76364 32 | 45.845 % |
31.87/32.62 c 32 | 76548 | 2015 35150 141266 | 12888 7508 27 | 53.206 % |
31.87/32.65 c 32 | 76698 | 2015 35150 141266 | 14177 7658 27 | 53.206 % |
31.97/32.70 c 32 | 76924 | 2015 35150 141266 | 15594 7884 27 | 53.206 % |
31.97/32.76 c 32 | 77262 | 2015 35150 141266 | 17154 8222 27 | 53.206 % |
32.07/32.86 c 32 | 77768 | 2015 35150 141266 | 18869 8728 27 | 53.206 % |
32.17/33.00 c 32 | 78528 | 2015 35150 141266 | 20756 9488 27 | 53.206 % |
32.46/33.24 c 33 | 79669 | 2015 35150 141266 | 22832 10629 28 | 53.206 % |
32.86/33.62 c 33 | 81377 | 2015 35150 141266 | 25115 12337 28 | 53.206 % |
33.35/34.19 c 34 | 83940 | 2015 35150 141266 | 27627 14900 29 | 53.206 % |
34.34/35.17 c 35 | 87784 | 2015 35150 141266 | 30390 18744 29 | 53.206 % |
35.91/36.77 c 36 | 93550 | 2015 35150 141266 | 33429 24510 30 | 53.206 % |
38.78/39.64 c 39 | 102199 | 2015 35150 141266 | 36771 33159 30 | 53.206 % |
43.03/43.92 c 43 | 115173 | 2015 35150 141266 | 40449 18321 36 | 53.206 % |
50.33/51.35 c 51 | 134634 | 2015 35150 141266 | 44494 37782 39 | 53.206 % |
63.37/64.54 c 64 | 163826 | 2015 35150 141266 | 48943 33159 35 | 53.206 % |
81.55/82.95 c 82 | 207615 | 2015 35150 141266 | 53837 37470 55 | 53.206 % |
121.16/123.09 c 122 | 273300 | 2015 35150 141266 | 59221 18610 52 | 53.206 % |
186.45/189.12 c 189 | 371826 | 2015 35150 141266 | 65143 25059 43 | 53.206 % |
264.57/268.23 c 268 | 519615 | 2015 35150 141266 | 71658 67959 42 | 53.206 % |
276.82/280.65 c 280 ===============================================================================
276.82/280.65 c 280 restarts : 40
276.82/280.65 c 280 conflicts : 546034 (1989 /sec)
276.82/280.65 c 280 decisions : 581435 (0.57 % random) (2118 /sec)
276.82/280.65 c 280 propagations : 159778513 (581907 /sec)
276.82/280.65 c 280 conflict literals : 24463257 (32.21 % deleted)
276.82/280.65 c 280 Memory used : 25.74 MB
276.82/280.65 c 280 CPU time : 274.577 s
276.82/280.65 c 280
276.82/280.65 c 280 SATISFIABLE
276.82/280.65 c 280 OK
276.82/280.65 c 280 FOUND: _COST <= 7
276.82/280.65 c 280 DECODING HOME/temp.out WITH HOME/temp.map
276.82/280.65 c 280 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.87/281.03 c 280 Decoding HOME/temp.out
276.87/281.10 c 280 OBJECTIVE _COST 7
276.87/281.10 o 7
276.87/281.10 v 8 20 16 20 3 20 14 21 0 20 5 22 22 8 8 17 12 22 17 13 4 21 19
276.87/281.11 c 280 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
277.06/281.20 c 281 OK
277.06/281.20 c 281 OBJECTIVE BOUND: 0 <= _COST <= 7
277.06/281.20 c 281 SEARCHING: _COST <= 3
277.06/281.20 c 281 ============================[ Search Statistics ]==============================
277.06/281.20 c 281 | Conflicts | ORIGINAL | LEARNT | Progress |
277.06/281.20 c 281 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
277.06/281.20 c 281 ===============================================================================
277.06/281.20 c 281 | 546034 | 1714 29523 125280 | 9841 33232 41 | 53.206 % |
277.16/281.30 c 281 | 546134 | 1714 29523 125280 | 10825 12424 46 | 60.197 % |
277.16/281.34 c 281 | 546284 | 1714 29523 125280 | 11907 12574 46 | 60.197 % |
277.26/281.40 c 281 | 546510 | 1714 29523 125280 | 13098 12800 46 | 60.197 % |
277.36/281.51 c 281 | 546847 | 1714 29523 125280 | 14408 13137 46 | 60.197 % |
277.46/281.64 c 281 | 547353 | 1714 29523 125280 | 15849 13643 46 | 60.197 % |
277.64/281.83 c 281 | 548112 | 1714 29523 125280 | 17433 14402 47 | 60.197 % |
277.94/282.16 c 282 | 549251 | 1714 29523 125280 | 19177 15541 48 | 60.197 % |
278.54/282.71 c 282 | 550960 | 1714 29523 125280 | 21095 17250 48 | 60.197 % |
279.33/283.57 c 283 | 553522 | 1714 29523 125280 | 23204 19812 50 | 60.197 % |
280.80/285.10 c 284 | 557368 | 1714 29523 125280 | 25525 23658 53 | 60.197 % |
283.37/287.64 c 287 | 563134 | 1714 29523 125280 | 28077 13326 73 | 60.197 % |
287.52/291.86 c 291 | 571783 | 1714 29523 125280 | 30885 21975 68 | 60.197 % |
294.83/299.25 c 299 | 584757 | 1714 29523 125280 | 33973 15192 71 | 60.197 % |
303.52/308.08 c 307 | 604218 | 1714 29523 125280 | 37371 34653 64 | 60.197 % |
317.55/322.21 c 322 | 633410 | 1714 29523 125280 | 41108 37210 62 | 60.197 % |
339.47/344.46 c 344 | 677199 | 1714 29523 125280 | 45219 21606 62 | 60.197 % |
367.81/373.15 c 373 | 742883 | 1714 29523 125280 | 49741 18929 42 | 60.197 % |
409.89/415.75 c 415 | 841411 | 1714 29523 125280 | 54715 41551 39 | 60.197 % |
481.20/487.93 c 487 | 989200 | 1714 29523 125280 | 60186 14280 40 | 60.197 % |
589.06/597.13 c 597 | 1210886 | 1714 29523 125280 | 66205 39809 42 | 60.197 % |
635.37/644.03 c 643 ===============================================================================
635.37/644.03 c 643 restarts : 61
635.37/644.03 c 643 conflicts : 1299076 (2053 /sec)
635.37/644.03 c 643 decisions : 1398920 (0.57 % random) (2210 /sec)
635.37/644.03 c 643 propagations : 349738269 (552585 /sec)
635.37/644.03 c 643 conflict literals : 62080704 (29.59 % deleted)
635.37/644.03 c 643 Memory used : 32.32 MB
635.37/644.03 c 643 CPU time : 632.913 s
635.37/644.03 c 643
635.37/644.03 c 643 SATISFIABLE
635.37/644.03 c 643 OK
635.37/644.03 c 643 FOUND: _COST <= 3
635.37/644.03 c 643 DECODING HOME/temp.out WITH HOME/temp.map
635.37/644.03 c 643 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
635.41/644.31 c 644 Decoding HOME/temp.out
635.41/644.37 c 644 OBJECTIVE _COST 3
635.41/644.37 o 3
635.41/644.37 v 13 9 14 19 12 18 17 18 6 14 5 22 22 3 15 8 6 3 14 21 20 22 13
635.41/644.37 c 644 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
635.41/644.44 c 644 OK
635.41/644.44 c 644 OBJECTIVE BOUND: 0 <= _COST <= 3
635.41/644.44 c 644 SEARCHING: _COST <= 1
635.41/644.44 c 644 ============================[ Search Statistics ]==============================
635.41/644.44 c 644 | Conflicts | ORIGINAL | LEARNT | Progress |
635.41/644.44 c 644 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
635.41/644.44 c 644 ===============================================================================
635.41/644.44 c 644 | 1299076 | 1393 26134 116072 | 8711 18346 32 | 60.197 % |
635.63/644.55 c 644 | 1299176 | 1393 26134 116072 | 9582 9273 28 | 67.652 % |
635.63/644.58 c 644 | 1299326 | 1393 26134 116072 | 10540 9423 28 | 67.652 % |
635.73/644.64 c 644 | 1299552 | 1393 26134 116072 | 11594 9649 29 | 67.652 % |
635.83/644.71 c 644 | 1299889 | 1393 26134 116072 | 12754 9986 29 | 67.652 % |
635.93/644.81 c 644 | 1300395 | 1393 26134 116072 | 14029 10492 30 | 67.652 % |
636.03/644.97 c 644 | 1301155 | 1393 26134 116072 | 15432 11252 31 | 67.652 % |
636.33/645.21 c 645 | 1302294 | 1393 26134 116072 | 16975 12391 33 | 67.652 % |
636.63/645.58 c 645 | 1304002 | 1393 26134 116072 | 18673 14099 35 | 67.652 % |
637.33/646.21 c 646 | 1306564 | 1393 26134 116072 | 20540 16661 39 | 67.652 % |
638.23/647.14 c 647 | 1310408 | 1393 26134 116072 | 22594 20505 42 | 67.652 % |
640.23/649.17 c 649 | 1316175 | 1393 26134 116072 | 24854 11391 60 | 67.652 % |
642.73/651.67 c 651 | 1324824 | 1393 26134 116072 | 27339 20040 63 | 67.652 % |
647.22/656.14 c 656 | 1337800 | 1393 26134 116072 | 30073 14433 51 | 67.652 % |
653.23/662.19 c 662 | 1357261 | 1393 26134 116072 | 33081 12778 45 | 67.652 % |
663.81/672.75 c 672 | 1386455 | 1393 26134 116072 | 36389 18789 52 | 67.652 % |
679.42/688.39 c 688 | 1430245 | 1393 26134 116072 | 40028 34098 58 | 67.652 % |
707.71/716.60 c 716 | 1495929 | 1393 26134 116072 | 44031 40127 52 | 67.652 % |
750.69/759.63 c 759 | 1594456 | 1393 26134 116072 | 48434 42837 35 | 67.652 % |
809.97/818.94 c 818 | 1742246 | 1393 26134 116072 | 53277 36882 54 | 67.652 % |
911.03/920.05 c 919 | 1963930 | 1393 26134 116072 | 58605 44366 48 | 67.652 % |
972.60/981.66 c 981 ===============================================================================
972.60/981.66 c 981 restarts : 82
972.60/981.66 c 981 conflicts : 2107999 (2173 /sec)
972.60/981.66 c 981 decisions : 2313580 (0.59 % random) (2385 /sec)
972.60/981.66 c 981 propagations : 499044370 (514475 /sec)
972.60/981.66 c 981 conflict literals : 102014393 (26.97 % deleted)
972.60/981.66 c 981 Memory used : 32.61 MB
972.60/981.66 c 981 CPU time : 970.007 s
972.60/981.66 c 981
972.60/981.66 c 981 SATISFIABLE
972.60/981.66 c 981 OK
972.60/981.66 c 981 FOUND: _COST <= 1
972.60/981.66 c 981 DECODING HOME/temp.out WITH HOME/temp.map
972.60/981.66 c 981 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
972.67/981.74 c 981 Decoding HOME/temp.out
972.67/981.81 c 981 OBJECTIVE _COST 1
972.67/981.81 o 1
972.67/981.81 v 5 18 21 4 4 4 14 3 15 5 22 16 18 14 10 8 13 16 8 16 21 22 0
972.67/981.82 c 981 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
972.67/981.89 c 981 OK
972.67/981.89 c 981 OBJECTIVE BOUND: 0 <= _COST <= 1
972.67/981.89 c 981 SEARCHING: _COST <= 0
972.67/981.89 c 981 ============================[ Search Statistics ]==============================
972.67/981.89 c 981 | Conflicts | ORIGINAL | LEARNT | Progress |
972.67/981.89 c 981 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
972.67/981.89 c 981 ===============================================================================
972.67/981.89 c 981 | 2107999 | 1012 23804 110223 | 7934 43919 44 | 67.652 % |
972.96/982.05 c 981 | 2108100 | 1012 23804 110223 | 8728 7030 40 | 76.501 % |
972.96/982.08 c 981 | 2108250 | 1012 23804 110223 | 9600 7180 40 | 76.501 % |
973.06/982.12 c 982 | 2108475 | 1012 23804 110223 | 10561 7405 40 | 76.501 % |
973.06/982.19 c 982 | 2108812 | 1012 23804 110223 | 11617 7742 40 | 76.501 % |
973.17/982.29 c 982 | 2109321 | 1012 23804 110223 | 12778 8251 40 | 76.501 % |
973.36/982.44 c 982 | 2110080 | 1012 23804 110223 | 14056 9010 42 | 76.501 % |
973.56/982.64 c 982 | 2111219 | 1012 23804 110223 | 15462 10149 42 | 76.501 % |
973.86/982.98 c 982 | 2112928 | 1012 23804 110223 | 17008 11858 45 | 76.501 % |
974.46/983.58 c 983 | 2115491 | 1012 23804 110223 | 18709 14421 47 | 76.501 % |
975.56/984.66 c 984 | 2119335 | 1012 23804 110223 | 20580 18265 48 | 76.501 % |
977.26/986.34 c 986 | 2125104 | 1012 23804 110223 | 22638 24034 49 | 76.501 % |
979.56/988.69 c 988 | 2133753 | 1012 23804 110223 | 24902 17772 53 | 76.501 % |
983.75/992.85 c 992 | 2146727 | 1012 23804 110223 | 27392 13632 69 | 76.501 % |
989.95/999.05 c 998 | 2166190 | 1012 23804 110223 | 30131 13931 55 | 76.501 % |
999.85/1008.90 c 1008 | 2195383 | 1012 23804 110223 | 33145 21947 82 | 76.501 % |
1017.75/1026.88 c 1026 | 2239172 | 1012 23804 110223 | 36459 18058 104 | 76.501 % |
1042.63/1051.72 c 1051 | 2304856 | 1012 23804 110223 | 40105 29947 85 | 76.501 % |
1077.12/1086.20 c 1086 | 2403382 | 1012 23804 110223 | 44116 34729 55 | 76.501 % |
1132.50/1141.70 c 1141 | 2551174 | 1012 23804 110223 | 48527 40058 57 | 76.501 % |
1220.87/1230.06 c 1229 | 2772857 | 1012 23804 110223 | 53380 26748 55 | 76.501 % |
1372.01/1381.25 c 1381 | 3105384 | 1012 23804 110223 | 58718 55527 58 | 76.501 % |
1602.32/1611.67 c 1611 | 3604172 | 1012 23804 110223 | 64590 14927 53 | 76.501 % |
1997.98/2007.50 c 2007 | 4352355 | 1012 23804 110223 | 71049 56391 58 | 76.501 % |
2578.57/2588.29 c 2588 | 5474630 | 1012 23804 110223 | 78154 74469 60 | 76.501 % |
3458.62/3468.63 c 3468 | 7158043 | 1012 23804 110223 | 85969 55556 56 | 76.501 % |
3600.08/3610.11 c ERROR INTERRUPTED
3600.08/3610.12 c 3610 CPU 3599.58 (0.06 0.03 3599.52 0.49)
3600.08/3610.12 c 3610 END Fri Jul 11 17:19:47 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-1108715-1215785976/watcher-1108715-1215785976 -o /tmp/evaluation-result-1108715-1215785976/solver-1108715-1215785976 -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-1108715-1215785976.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.99 3.24 3.26 4/105 11378
/proc/meminfo: memFree=1487576/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=12272 CPUtime=0
/proc/11378/stat : 11378 (sugar++) D 11376 11378 11077 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 35294415 12566528 327 996147200 4194304 4206940 548682068528 18446744073709551615 254613879397 0 2147483391 4224 0 18446744072099855350 0 0 17 1 0 0
/proc/11378/statm: 3068 327 246 3 0 168 0
[startup+0.0923849 s]
/proc/loadavg: 2.99 3.24 3.26 4/105 11378
/proc/meminfo: memFree=1487576/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=13336 CPUtime=0.02
/proc/11378/stat : 11378 (sugar++) D 11376 11378 11077 0 -1 4194304 733 0 0 0 2 0 0 0 18 0 1 0 35294415 13656064 701 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/11378/statm: 3334 701 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.101385 s]
/proc/loadavg: 2.99 3.24 3.26 4/105 11378
/proc/meminfo: memFree=1487576/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=13336 CPUtime=0.02
/proc/11378/stat : 11378 (sugar++) D 11376 11378 11077 0 -1 4194304 733 0 0 0 2 0 0 0 18 0 1 0 35294415 13656064 701 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/11378/statm: 3334 701 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.301432 s]
/proc/loadavg: 2.99 3.24 3.26 4/105 11378
/proc/meminfo: memFree=1487576/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16740 CPUtime=0.07
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1219 128 0 0 5 2 0 0 16 0 1 0 35294415 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701504 s]
/proc/loadavg: 2.99 3.24 3.26 4/105 11378
/proc/meminfo: memFree=1487576/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16740 CPUtime=0.5
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1279 4703 0 1 5 2 40 3 17 0 1 0 35294415 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 16740
[startup+1.50266 s]
/proc/loadavg: 2.99 3.24 3.26 3/116 11400
/proc/meminfo: memFree=1475520/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16740 CPUtime=0.5
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1297 4703 0 1 5 2 40 3 15 0 1 0 35294415 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4185 1104 409 3 0 764 0
[pid=11391] ppid=11378 vsize=5356 CPUtime=0
/proc/11391/stat : 11391 (sh) S 11378 11378 11077 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 35294483 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11391/statm: 1339 233 193 169 0 50 0
[pid=11392] ppid=11391 vsize=868244 CPUtime=0.77
/proc/11392/stat : 11392 (java) S 11391 11378 11077 0 -1 0 7932 0 1 0 74 3 0 0 18 0 9 0 35294483 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11392/statm: 217061 7166 2540 9 0 211636 0
[pid=11392/tid=11393] ppid=11391 vsize=868244 CPUtime=0.37
/proc/11392/task/11393/stat : 11393 (java) R 11391 11378 11077 0 -1 64 2648 0 1 0 36 1 0 0 19 0 9 0 35294484 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11394] ppid=11391 vsize=868244 CPUtime=0.19
/proc/11392/task/11394/stat : 11394 (java) R 11391 11378 11077 0 -1 64 3130 0 0 0 19 0 0 0 16 0 9 0 35294486 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 102478692 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11395] ppid=11391 vsize=868244 CPUtime=0
/proc/11392/task/11395/stat : 11395 (java) S 11391 11378 11077 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 35294486 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11396] ppid=11391 vsize=868244 CPUtime=0
/proc/11392/task/11396/stat : 11396 (java) S 11391 11378 11077 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 35294486 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11397] ppid=11391 vsize=868244 CPUtime=0
/proc/11392/task/11397/stat : 11397 (java) S 11391 11378 11077 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 35294490 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11398] ppid=11391 vsize=868244 CPUtime=0.17
/proc/11392/task/11398/stat : 11398 (java) S 11391 11378 11077 0 -1 64 1460 0 0 0 17 0 0 0 16 0 9 0 35294490 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11399] ppid=11391 vsize=868244 CPUtime=0
/proc/11392/task/11399/stat : 11399 (java) S 11391 11378 11077 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 35294490 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11392/tid=11400] ppid=11391 vsize=868244 CPUtime=0
/proc/11392/task/11400/stat : 11400 (java) S 11391 11378 11077 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 35294490 889081856 7166 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 890340
[startup+3.10297 s]
/proc/loadavg: 2.99 3.24 3.26 4/117 11411
/proc/meminfo: memFree=1470904/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.09
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1691 24413 0 5 6 2 186 15 15 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=7244 CPUtime=0.69
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 1747 0 0 0 68 1 0 0 20 0 1 0 35294606 7417856 1691 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 1811 1691 79 151 0 1657 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 24116
[startup+6.30159 s]
/proc/loadavg: 2.91 3.22 3.25 3/107 11431
/proc/meminfo: memFree=1474888/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.09
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1691 24413 0 5 6 2 186 15 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=8040 CPUtime=3.86
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 1936 0 0 0 385 1 0 0 25 0 1 0 35294606 8232960 1880 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 2010 1880 79 151 0 1856 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 24912
[startup+12.7028 s]
/proc/loadavg: 2.84 3.20 3.24 3/107 11431
/proc/meminfo: memFree=1471240/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.09
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1691 24413 0 5 6 2 186 15 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=11328 CPUtime=10.23
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 2757 0 0 0 1021 2 0 0 25 0 1 0 35294606 11599872 2701 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 2832 2701 79 151 0 2678 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 28200
[startup+25.5013 s]
/proc/loadavg: 2.65 3.14 3.22 3/107 11431
/proc/meminfo: memFree=1466568/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.09
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1691 24413 0 5 6 2 186 15 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=16164 CPUtime=22.95
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 3949 0 0 0 2292 3 0 0 25 0 1 0 35294606 16551936 3893 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 4041 3893 79 151 0 3887 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 33036
[startup+51.1012 s]
/proc/loadavg: 2.64 3.09 3.21 3/107 11441
/proc/meminfo: memFree=1419976/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.23
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1762 28174 0 6 6 2 198 17 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=17956 CPUtime=47.9
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 4373 0 0 0 4786 4 0 0 25 0 1 0 35294606 18386944 4315 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 4489 4315 79 151 0 4335 0
Current children cumulated CPU time (s) 50.13
Current children cumulated vsize (KiB) 34828
[startup+102.307 s]
/proc/loadavg: 2.65 3.03 3.18 4/107 11441
/proc/meminfo: memFree=1411208/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.23
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1762 28174 0 6 6 2 198 17 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=22084 CPUtime=98.49
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 5400 0 0 0 9843 6 0 0 25 0 1 0 35294606 22614016 5342 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 5521 5342 79 151 0 5367 0
Current children cumulated CPU time (s) 100.72
Current children cumulated vsize (KiB) 38956
[startup+162.302 s]
/proc/loadavg: 2.55 2.92 3.13 3/107 11441
/proc/meminfo: memFree=1408392/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.23
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1762 28174 0 6 6 2 198 17 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=24728 CPUtime=157.74
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 6053 0 0 0 15768 6 0 0 25 0 1 0 35294606 25321472 5995 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 6182 5995 79 151 0 6028 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (KiB) 41600
[startup+222.301 s]
/proc/loadavg: 2.68 2.89 3.10 4/107 11441
/proc/meminfo: memFree=1406856/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.23
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1762 28174 0 6 6 2 198 17 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=26356 CPUtime=217.01
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 6451 0 0 0 21694 7 0 0 25 0 1 0 35294606 26988544 6393 996147200 134512640 135134323 4294956192 18446744073709551615 134531891 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 6589 6393 79 151 0 6435 0
Current children cumulated CPU time (s) 219.24
Current children cumulated vsize (KiB) 43228
[startup+282.303 s]
/proc/loadavg: 2.66 2.84 3.07 4/107 11451
/proc/meminfo: memFree=1406536/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.4
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1831 31941 0 7 6 2 212 20 15 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=26356 CPUtime=275.74
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 6467 0 0 0 27567 7 0 0 25 0 1 0 35294606 26988544 6407 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/11401/statm: 6589 6407 79 151 0 6435 0
Current children cumulated CPU time (s) 278.14
Current children cumulated vsize (KiB) 43228
[startup+342.301 s]
/proc/loadavg: 2.54 2.78 3.03 4/107 11451
/proc/meminfo: memFree=1406600/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.4
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1831 31941 0 7 6 2 212 20 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=11401] ppid=11378 vsize=54748 CPUtime=2909.81
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 290964 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 2912.53
Current children cumulated vsize (KiB) 71620
[startup+2982.3 s]
/proc/loadavg: 2.57 2.65 2.69 3/107 11477
/proc/meminfo: memFree=1377032/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=2969.79
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 296962 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 2972.51
Current children cumulated vsize (KiB) 71620
[startup+3042.3 s]
/proc/loadavg: 2.70 2.67 2.69 3/107 11477
/proc/meminfo: memFree=1377096/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3029.76
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 302959 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3032.48
Current children cumulated vsize (KiB) 71620
[startup+3102.3 s]
/proc/loadavg: 2.78 2.70 2.70 3/107 11477
/proc/meminfo: memFree=1377032/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3089.74
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 308957 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3092.46
Current children cumulated vsize (KiB) 71620
[startup+3162.3 s]
/proc/loadavg: 2.64 2.67 2.69 3/107 11477
/proc/meminfo: memFree=1377032/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3149.72
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 314955 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3152.44
Current children cumulated vsize (KiB) 71620
[startup+3222.3 s]
/proc/loadavg: 2.67 2.66 2.68 3/107 11477
/proc/meminfo: memFree=1376968/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3209.69
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 320952 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3212.41
Current children cumulated vsize (KiB) 71620
[startup+3282.3 s]
/proc/loadavg: 2.68 2.67 2.68 3/107 11477
/proc/meminfo: memFree=1376968/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3269.68
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 326951 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3272.4
Current children cumulated vsize (KiB) 71620
[startup+3342.3 s]
/proc/loadavg: 2.71 2.67 2.68 3/107 11477
/proc/meminfo: memFree=1376968/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3329.65
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 332948 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3332.37
Current children cumulated vsize (KiB) 71620
[startup+3402.31 s]
/proc/loadavg: 2.52 2.62 2.66 3/107 11477
/proc/meminfo: memFree=1376904/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3389.63
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 338946 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3392.35
Current children cumulated vsize (KiB) 71620
[startup+3462.3 s]
/proc/loadavg: 2.62 2.64 2.66 3/107 11477
/proc/meminfo: memFree=1376776/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=54748 CPUtime=3449.6
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 13656 0 0 0 344943 17 0 0 25 0 1 0 35294606 56061952 13493 996147200 134512640 135134323 4294956192 18446744073709551615 134531929 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 13687 13493 79 151 0 13533 0
Current children cumulated CPU time (s) 3452.32
Current children cumulated vsize (KiB) 71620
[startup+3522.3 s]
/proc/loadavg: 2.70 2.66 2.66 3/107 11477
/proc/meminfo: memFree=1372232/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=59236 CPUtime=3509.59
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 14768 0 0 0 350940 19 0 0 25 0 1 0 35294606 60657664 14605 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 14809 14605 79 151 0 14655 0
Current children cumulated CPU time (s) 3512.31
Current children cumulated vsize (KiB) 76108
[startup+3582.3 s]
/proc/loadavg: 2.60 2.64 2.65 3/107 11477
/proc/meminfo: memFree=1361096/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=70236 CPUtime=3569.56
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 17517 0 0 0 356934 22 0 0 25 0 1 0 35294606 71921664 17354 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 17559 17354 79 151 0 17405 0
Current children cumulated CPU time (s) 3572.28
Current children cumulated vsize (KiB) 87108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.1 s]
/proc/loadavg: 2.57 2.62 2.64 3/107 11479
/proc/meminfo: memFree=1360200/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=70896 CPUtime=3597.36
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 17697 0 0 0 359714 22 0 0 25 0 1 0 35294606 72597504 17534 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 17724 17534 79 151 0 17570 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 87768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3610.1 s]
/proc/loadavg: 2.57 2.62 2.64 3/107 11479
/proc/meminfo: memFree=1360200/2055920 swapFree=4192956/4192956
[pid=11378] ppid=11376 vsize=16872 CPUtime=2.72
/proc/11378/stat : 11378 (sugar++) S 11376 11378 11077 0 -1 4194304 1972 39463 0 9 6 3 238 25 16 0 1 0 35294415 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 254622609506 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11378/statm: 4218 1120 414 3 0 797 0
[pid=11401] ppid=11378 vsize=70896 CPUtime=3597.36
/proc/11401/stat : 11401 (minisat-inc) R 11378 11378 11077 0 -1 4194304 17697 0 0 0 359714 22 0 0 25 0 1 0 35294606 72597504 17534 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/11401/statm: 17724 17534 79 151 0 17570 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 87768
Child status: 0
Real time (s): 3610.13
CPU time (s): 3600.13
CPU user time (s): 3599.6
CPU system time (s): 0.529919
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 890580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.529919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59211
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= 4347
involuntary context switches= 82738
runsolver used 5.11722 second user time and 14.6038 second system time
The end
Begin job on node87 at 2008-07-11 16:19:36
IDJOB=1108715
IDBENCH=60754
IDSOLVER=367
FILE ID=node87/1108715-1215785976
PBS_JOBID= 7903041
Free space on /tmp= 66484 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rand-2-23/normalized-rand-23-23-253-131-47021_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1108715-1215785976/watcher-1108715-1215785976 -o /tmp/evaluation-result-1108715-1215785976/solver-1108715-1215785976 -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-1108715-1215785976.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 868e9044d15186dac62efe06ad93386d
RANDOM SEED=886365532
node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1487992 kB
Buffers: 49820 kB
Cached: 383748 kB
SwapCached: 0 kB
Active: 262240 kB
Inactive: 233600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1487992 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3396 kB
Writeback: 0 kB
Mapped: 82832 kB
Slab: 54336 kB
Committed_AS: 1045736 kB
PageTables: 4140 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= 66480 MiB
End job on node87 at 2008-07-11 17:19:49