0.00/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.07 c 0 BEGIN Fri Jul 11 19:46:02 2008
0.00/0.08 c 0 PID 13679
0.00/0.08 c 0 HOST node9.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-1109095-1215798362.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1109095-1215798362.xml' 'HOME/temp.csp'
0.07/0.50 c 1 42 domains, 243 variables, 13 predicates, 0 relations, 195 constraints
0.07/0.55 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.55 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.48/0.63 c 1 Parsing HOME/temp.csp
0.48/0.89 c 1 parsed 493 expressions
0.48/0.90 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.48/0.91 c 1 MAX CSP: 195 constraints
0.48/0.91 c 1 Converting to clausal form CSP
0.48/0.93 c 1 converted 70 (10%) expressions
0.48/0.93 c 1 converted 139 (20%) expressions
0.48/0.93 c 1 converted 208 (30%) expressions
0.48/0.93 c 1 converted 277 (40%) expressions
0.48/0.96 c 1 converted 346 (50%) expressions
0.48/0.98 c 1 converted 415 (60%) expressions
1.00/1.11 c 1 converted 484 (70%) expressions
1.11/1.21 c 1 converted 553 (80%) expressions
1.11/1.29 c 1 converted 622 (90%) expressions
1.20/1.37 c 1 converted 691 (100%) expressions
1.20/1.37 c 1 CSP : 633 integers, 2566 booleans, 8166 clauses, largest domain size 293
1.20/1.37 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.20/1.37 c 1 Propagation in CSP
1.39/1.50 c 2 191 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.39/1.50 c 2 CSP : 633 integers, 2566 booleans, 8166 clauses, largest domain size 196
1.39/1.50 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.39/1.51 c 2 Simplifing CSP by introducing new Boolean variables
1.39/1.52 c 2 CSP : 633 integers, 2986 booleans, 8586 clauses, largest domain size 196
1.39/1.52 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.39/1.57 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.39/1.59 c 2 64 (10%) CSP integer variables are encoded (412 clauses, 4434 bytes)
1.39/1.59 c 2 127 (20%) CSP integer variables are encoded (1339 clauses, 15492 bytes)
1.49/1.60 c 2 190 (30%) CSP integer variables are encoded (2302 clauses, 28011 bytes)
1.49/1.60 c 2 254 (40%) CSP integer variables are encoded (3071 clauses, 38008 bytes)
1.49/1.60 c 2 317 (50%) CSP integer variables are encoded (3071 clauses, 38008 bytes)
1.49/1.60 c 2 380 (60%) CSP integer variables are encoded (3071 clauses, 38008 bytes)
1.49/1.60 c 2 444 (70%) CSP integer variables are encoded (3273 clauses, 40634 bytes)
1.49/1.60 c 2 507 (80%) CSP integer variables are encoded (3548 clauses, 44209 bytes)
1.49/1.60 c 2 570 (90%) CSP integer variables are encoded (3940 clauses, 49305 bytes)
1.49/1.61 c 2 633 (100%) CSP integer variables are encoded (5550 clauses, 70235 bytes)
1.49/1.67 c 2 859 (10%) CSP clauses are encoded (8391 clauses, 113663 bytes)
1.59/1.70 c 2 1718 (20%) CSP clauses are encoded (10877 clauses, 166559 bytes)
1.59/1.73 c 2 2576 (30%) CSP clauses are encoded (13387 clauses, 221573 bytes)
1.59/1.75 c 2 3435 (40%) CSP clauses are encoded (16274 clauses, 286950 bytes)
1.59/1.77 c 2 4293 (50%) CSP clauses are encoded (19393 clauses, 358972 bytes)
1.59/1.79 c 2 5152 (60%) CSP clauses are encoded (22482 clauses, 430387 bytes)
1.69/1.81 c 2 6011 (70%) CSP clauses are encoded (25525 clauses, 500893 bytes)
1.69/1.83 c 2 6869 (80%) CSP clauses are encoded (28524 clauses, 570516 bytes)
1.69/1.85 c 2 7728 (90%) CSP clauses are encoded (31482 clauses, 639120 bytes)
1.78/1.96 c 2 8586 (100%) CSP clauses are encoded (85474 clauses, 1617042 bytes)
1.85/2.09 c 2 8586 CSP clauses encoded
1.85/2.09 c 2 Writing map file : HOME/temp.map
1.85/2.10 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.85/2.10 c 2 SAT : 9161 SAT variables, 85474 SAT clauses, 1617042 bytes
1.85/2.10 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.85/2.15 c 2 OBJECTIVE minimize _COST
1.85/2.15 c 2 SOLVING HOME/temp.cnf
1.85/2.15 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.85/2.15 c 2 This is MiniSat 2.0 beta incremental
1.85/2.15 c 2 WARNING: for repeatability, setting FPU to use double precision
1.85/2.15 c 2 ============================[ Problem Statistics ]=============================
1.85/2.15 c 2 | |
1.85/2.15 c 2 | Number of variables: 9161 |
1.85/2.15 c 2 | Number of clauses: 85474 |
1.91/2.20 c 2 | Parsing time: 0.04 s |
1.91/2.21 c 2 OK
1.91/2.21 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.91/2.21 c 2 SEARCHING: _COST <= 98
1.91/2.21 c 2 ============================[ Search Statistics ]==============================
1.91/2.21 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.91/2.21 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.91/2.21 c 2 ===============================================================================
1.91/2.21 c 2 | 0 | 9161 85470 267385 | 28490 0 nan | 0.000 % |
1.91/2.22 c 2 ===============================================================================
1.91/2.22 c 2 restarts : 1
1.91/2.22 c 2 conflicts : 7 (143 /sec)
1.91/2.22 c 2 decisions : 4168 (1.10 % random) (85075 /sec)
1.91/2.22 c 2 propagations : 12154 (248081 /sec)
1.91/2.22 c 2 conflict literals : 32 (13.51 % deleted)
1.91/2.22 c 2 Memory used : 6.12 MB
1.91/2.22 c 2 CPU time : 0.048992 s
1.91/2.22 c 2
1.91/2.22 c 2 SATISFIABLE
1.91/2.22 c 2 OK
1.91/2.22 c 2 FOUND: _COST <= 98
1.91/2.22 s SATISFIABLE
1.91/2.22 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.91/2.22 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.30 c 2 Decoding HOME/temp.out
1.94/2.45 c 3 OBJECTIVE _COST 98
1.94/2.45 o 98
1.94/2.46 v 1 7 7 7 7 7 3 7 2 1 1 1 3 1 4 1 3 7 1 1 2 6 7 1 4 1 7 6 7 1 7 7 5 7 6 7 3 7 7 7 6 5 6 6 6 6 6 5 7 30 1 44 7 7 37 7 3 46 7 6 7 7 3 48 7 7 21 7 7 9 7 14 2 43 20 7 14 1 3 7 8 7 4 7 8 7 5 7 8 7 48 7 10 1 49 7 8 7 22 7 18 7 44 7 15 4 43 45 7 21 2 10 7 21 1 5 7 15 7 6 7 15 7 14 7 16 1 36 7 23 7 44 7 22 6 3 7 22 6 43 25 7 22 6 5 7 22 6 48 7 28 7 49 7 27 7 1 7 35 1 2 7 29 7 45 7 35 7 46 7 35 7 43 33 7 35 7 48 7 35 7 42 7 34 7 43 7 42 7 16 7 42 7 45 7 42 7 46 7 42 7 47 7 42 7 43 41 7 42 7 35 7 40 7 36 7 48 7 37 7 49 7 38 7 48 7 39 7 49 7 47 7 48 7 48 7 47 7 43 49 7 49 7
1.95/2.50 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.95/2.55 c 3 OK
1.95/2.55 c 3 OBJECTIVE BOUND: 0 <= _COST <= 98
1.95/2.55 c 3 SEARCHING: _COST <= 49
1.95/2.56 c 3 ============================[ Search Statistics ]==============================
1.95/2.56 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
1.95/2.56 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.95/2.56 c 3 ===============================================================================
1.95/2.56 c 3 | 7 | 9161 85470 267385 | 28490 7 5 | 0.000 % |
1.95/2.56 c 3 ===============================================================================
1.95/2.56 c 3 restarts : 2
1.95/2.56 c 3 conflicts : 26 (413 /sec)
1.95/2.56 c 3 decisions : 9503 (1.13 % random) (150865 /sec)
1.95/2.56 c 3 propagations : 33957 (539086 /sec)
1.95/2.56 c 3 conflict literals : 169 (3.43 % deleted)
1.95/2.56 c 3 Memory used : 6.12 MB
1.95/2.56 c 3 CPU time : 0.06299 s
1.95/2.56 c 3
1.95/2.56 c 3 SATISFIABLE
1.95/2.56 c 3 OK
1.95/2.56 c 3 FOUND: _COST <= 49
1.95/2.56 c 3 DECODING HOME/temp.out WITH HOME/temp.map
1.95/2.56 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.23/2.64 c 3 Decoding HOME/temp.out
2.23/2.74 c 3 OBJECTIVE _COST 49
2.23/2.74 o 49
2.23/2.75 v 1 6 7 7 4 7 6 6 2 7 5 6 7 6 5 4 3 6 7 5 4 7 6 1 4 7 7 5 7 4 7 6 5 7 6 7 7 5 7 7 6 4 6 5 6 6 4 5 7 24 1 37 7 7 45 7 6 46 7 6 26 7 7 48 7 6 42 7 4 36 7 13 7 43 9 7 9 2 45 7 14 6 46 7 12 6 31 7 13 7 46 7 14 6 42 7 13 7 29 7 19 7 23 7 18 6 43 17 7 21 3 15 7 20 5 47 7 21 4 34 7 19 7 28 7 18 5 43 7 28 7 37 7 27 7 3 7 22 7 43 46 7 22 7 11 7 28 5 48 7 28 5 35 7 26 6 43 7 35 6 23 7 32 6 45 7 35 6 39 7 34 7 43 33 7 33 5 10 7 31 7 42 7 34 7 43 7 42 4 42 7 42 4 36 7 40 7 46 7 42 6 47 7 42 4 43 41 7 41 6 28 7 38 5 36 7 48 5 30 7 47 4 38 7 44 5 39 7 49 7 26 7 46 6 47 7 47 4 43 49 7 49 7
2.23/2.76 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.23/2.78 c 3 OK
2.23/2.78 c 3 OBJECTIVE BOUND: 0 <= _COST <= 49
2.23/2.78 c 3 SEARCHING: _COST <= 24
2.23/2.79 c 3 ============================[ Search Statistics ]==============================
2.23/2.79 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.23/2.79 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.23/2.79 c 3 ===============================================================================
2.23/2.79 c 3 | 26 | 8385 85470 267385 | 28490 26 6 | 0.000 % |
2.45/2.80 c 3 | 128 | 8385 85470 267385 | 31339 128 16 | 13.285 % |
2.45/2.81 c 3 ===============================================================================
2.45/2.82 c 3 restarts : 4
2.45/2.82 c 3 conflicts : 182 (1820 /sec)
2.45/2.82 c 3 decisions : 10768 (1.06 % random) (107697 /sec)
2.45/2.82 c 3 propagations : 139970 (1399924 /sec)
2.45/2.82 c 3 conflict literals : 2695 (21.70 % deleted)
2.45/2.82 c 3 Memory used : 6.12 MB
2.45/2.82 c 3 CPU time : 0.099984 s
2.45/2.82 c 3
2.45/2.82 c 3 SATISFIABLE
2.45/2.82 c 3 OK
2.45/2.82 c 3 FOUND: _COST <= 24
2.45/2.82 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.45/2.82 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.47/2.90 c 3 Decoding HOME/temp.out
2.47/3.00 c 3 OBJECTIVE _COST 24
2.47/3.00 o 24
2.47/3.01 v 1 3 4 2 6 7 5 4 2 1 3 6 7 5 6 4 3 5 7 7 5 3 1 2 4 6 7 5 7 6 7 7 5 7 6 5 7 5 1 7 6 3 6 5 6 6 6 5 7 39 1 16 7 4 24 7 2 11 7 3 40 7 7 48 7 5 35 7 6 22 7 11 3 43 9 7 9 2 3 7 8 4 18 7 14 5 40 7 13 7 48 7 14 5 35 7 12 6 40 7 20 7 44 7 18 5 43 17 7 17 3 32 7 19 7 47 7 21 5 48 7 21 5 35 7 15 6 15 7 24 6 2 7 22 3 10 7 23 1 43 25 7 25 4 40 7 27 7 48 7 28 5 35 7 26 6 43 7 35 6 37 7 34 7 45 7 35 6 46 7 35 6 43 33 7 33 5 48 7 35 7 42 7 34 3 29 7 40 7 44 7 42 5 31 7 40 7 44 7 36 5 42 7 42 3 43 41 7 41 6 21 7 38 5 36 7 48 5 30 7 47 6 38 7 48 5 39 7 48 5 44 7 48 5 34 7 49 7 43 49 7 49 7
2.47/3.01 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.47/3.04 c 3 OK
2.47/3.04 c 3 OBJECTIVE BOUND: 0 <= _COST <= 24
2.47/3.04 c 3 SEARCHING: _COST <= 12
2.47/3.04 c 3 ============================[ Search Statistics ]==============================
2.47/3.05 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.47/3.05 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.47/3.05 c 3 ===============================================================================
2.47/3.05 c 3 | 182 | 7944 85470 267385 | 28490 182 15 | 13.285 % |
2.47/3.06 c 3 | 283 | 7944 85470 267385 | 31339 283 15 | 16.592 % |
2.47/3.09 c 3 | 433 | 7944 85470 267385 | 34472 433 19 | 16.592 % |
2.73/3.16 c 3 | 658 | 7641 44343 148393 | 37920 658 21 | 16.592 % |
2.83/3.22 c 3 | 995 | 7641 44343 148393 | 41712 995 26 | 16.592 % |
2.93/3.33 c 3 | 1501 | 7641 44343 148393 | 45883 1501 30 | 16.592 % |
3.12/3.53 c 4 | 2260 | 7641 44343 148393 | 50471 2260 31 | 16.592 % |
3.32/3.75 c 4 | 3400 | 7641 44343 148393 | 55518 3400 29 | 16.592 % |
3.62/4.07 c 4 | 5108 | 7641 44343 148393 | 61070 5108 28 | 16.592 % |
4.30/4.78 c 5 | 7670 | 7641 44343 148393 | 67177 7670 33 | 16.592 % |
5.49/5.96 c 6 | 11514 | 7641 44343 148393 | 73895 11514 35 | 16.592 % |
7.18/7.64 c 8 | 17280 | 7641 44343 148393 | 81285 17280 34 | 16.592 % |
9.56/10.09 c 10 | 25930 | 7641 44343 148393 | 89413 25930 32 | 16.592 % |
14.71/15.29 c 15 | 38904 | 7641 44343 148393 | 98355 38904 31 | 16.592 % |
25.50/26.12 c 26 | 58365 | 7641 44343 148393 | 108190 58365 33 | 16.592 % |
48.09/48.94 c 49 | 87557 | 7641 44343 148393 | 119009 87557 35 | 16.592 % |
85.83/87.06 c 87 | 131346 | 7641 44343 148393 | 130910 26456 34 | 16.592 % |
134.56/136.23 c 136 | 197031 | 7641 44343 148393 | 144001 92141 37 | 16.592 % |
137.53/139.27 c 139 ===============================================================================
137.53/139.27 c 139 restarts : 22
137.53/139.27 c 139 conflicts : 199771 (1480 /sec)
137.53/139.27 c 139 decisions : 234701 (1.51 % random) (1739 /sec)
137.53/139.27 c 139 propagations : 136625372 (1012299 /sec)
137.53/139.27 c 139 conflict literals : 7300430 (30.76 % deleted)
137.53/139.27 c 139 Memory used : 26.58 MB
137.53/139.27 c 139 CPU time : 134.965 s
137.53/139.27 c 139
137.53/139.27 c 139 SATISFIABLE
137.53/139.27 c 139 OK
137.53/139.27 c 139 FOUND: _COST <= 12
137.53/139.27 c 139 DECODING HOME/temp.out WITH HOME/temp.map
137.53/139.27 c 139 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
137.60/139.36 c 139 Decoding HOME/temp.out
137.60/139.50 c 140 OBJECTIVE _COST 12
137.60/139.50 o 12
137.60/139.51 v 1 7 7 7 7 5 6 6 2 5 3 4 7 1 6 4 3 5 2 7 6 6 5 2 4 3 7 1 6 3 4 2 5 7 1 7 1 1 1 1 6 5 5 6 6 6 6 1 7 40 1 44 7 6 45 7 6 46 7 6 47 7 6 34 7 7 42 7 5 36 7 13 7 43 9 7 9 2 31 7 12 4 18 7 10 5 26 7 11 3 48 7 14 1 7 7 8 6 36 7 20 7 23 7 18 5 43 17 7 17 3 32 7 19 2 12 7 16 4 48 7 21 6 42 7 18 5 36 7 27 7 30 7 26 3 10 7 23 5 43 25 7 25 4 19 7 24 2 48 7 28 1 7 7 22 6 36 7 34 7 16 7 31 4 24 7 32 2 11 7 30 3 43 33 7 33 5 48 7 35 1 7 7 29 6 43 7 42 5 2 7 36 7 3 7 36 7 4 7 36 7 5 7 36 7 43 41 7 41 6 35 7 40 1 29 7 47 6 37 7 48 1 38 7 48 1 39 7 48 1 40 7 48 1 6 7 43 5 43 49 7 49 7
137.60/139.55 c 140 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
137.89/139.62 c 140 OK
137.89/139.62 c 140 OBJECTIVE BOUND: 0 <= _COST <= 12
137.89/139.62 c 140 SEARCHING: _COST <= 6
137.89/139.62 c 140 ============================[ Search Statistics ]==============================
137.89/139.62 c 140 | Conflicts | ORIGINAL | LEARNT | Progress |
137.89/139.62 c 140 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
137.89/139.62 c 140 ===============================================================================
137.89/139.62 c 140 | 199771 | 7410 38628 131929 | 12876 94881 37 | 16.592 % |
138.38/140.19 c 140 | 199872 | 7410 38628 131929 | 14163 7939 30 | 19.114 % |
138.48/140.24 c 140 | 200022 | 7410 38628 131929 | 15579 8089 30 | 19.114 % |
138.58/140.33 c 140 | 200247 | 7410 38628 131929 | 17137 8314 30 | 19.114 % |
138.68/140.45 c 141 | 200584 | 7410 38628 131929 | 18851 8651 30 | 19.114 % |
138.88/140.61 c 141 | 201090 | 7410 38628 131929 | 20736 9157 31 | 19.114 % |
139.08/140.87 c 141 | 201849 | 7410 38628 131929 | 22810 9916 32 | 19.114 % |
139.46/141.25 c 141 | 202988 | 7410 38628 131929 | 25091 11055 33 | 19.114 % |
140.16/141.94 c 142 | 204696 | 7410 38628 131929 | 27600 12763 37 | 19.114 % |
141.05/142.81 c 143 | 207259 | 7410 38628 131929 | 30360 15326 37 | 19.114 % |
142.63/144.48 c 145 | 211103 | 7410 38628 131929 | 33397 19170 41 | 19.114 % |
145.31/147.17 c 147 | 216869 | 7410 38628 131929 | 36736 24936 42 | 19.114 % |
149.77/151.66 c 152 | 225519 | 7410 38628 131929 | 40410 33586 38 | 19.114 % |
157.29/159.24 c 159 | 238493 | 7410 38628 131929 | 44451 17720 27 | 19.114 % |
167.10/169.13 c 169 | 257954 | 7410 38628 131929 | 48896 37181 27 | 19.114 % |
182.56/184.76 c 185 | 287146 | 7410 38628 131929 | 53786 28375 29 | 19.114 % |
205.35/207.53 c 208 | 330935 | 7410 38628 131929 | 59164 30271 28 | 19.114 % |
241.83/244.08 c 244 | 396620 | 7410 38628 131929 | 65081 49620 25 | 19.114 % |
297.20/299.43 c 300 | 495146 | 7410 38628 131929 | 71589 41527 28 | 19.114 % |
389.06/391.31 c 391 | 642936 | 7410 38628 131929 | 78748 71388 28 | 19.114 % |
459.53/461.90 c 462 ===============================================================================
459.63/461.90 c 462 restarts : 42
459.63/461.90 c 462 conflicts : 754530 (1652 /sec)
459.63/461.90 c 462 decisions : 834823 (1.55 % random) (1828 /sec)
459.63/461.90 c 462 propagations : 549364414 (1202909 /sec)
459.63/461.90 c 462 conflict literals : 23637894 (32.41 % deleted)
459.63/461.90 c 462 Memory used : 27.00 MB
459.63/461.90 c 462 CPU time : 456.697 s
459.63/461.90 c 462
459.63/461.90 c 462 SATISFIABLE
459.63/461.90 c 462 OK
459.63/461.90 c 462 FOUND: _COST <= 6
459.63/461.90 c 462 DECODING HOME/temp.out WITH HOME/temp.map
459.63/461.90 c 462 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
459.63/461.99 c 462 Decoding HOME/temp.out
459.70/462.08 c 462 OBJECTIVE _COST 6
459.70/462.08 o 6
459.70/462.09 v 1 3 6 7 4 2 5 6 2 1 7 4 3 5 2 6 3 7 4 1 5 5 5 5 4 7 5 6 7 7 7 6 5 7 4 3 1 2 7 4 6 5 4 4 4 5 6 4 7 37 1 16 7 6 38 7 2 46 7 5 26 7 7 13 7 3 35 7 4 36 7 13 3 43 9 7 9 2 3 7 8 6 46 7 14 5 26 7 11 7 20 7 10 1 35 7 12 4 8 7 16 6 37 7 20 1 43 17 7 17 3 46 7 21 5 26 7 18 7 6 7 15 2 35 7 19 4 29 7 26 7 30 7 26 7 31 7 26 7 43 25 7 25 4 47 7 28 6 34 7 26 7 42 7 27 5 43 7 35 4 44 7 35 4 45 7 35 4 39 7 34 7 43 33 7 33 5 48 7 35 4 28 7 32 6 15 7 38 2 2 7 36 3 10 7 37 1 46 7 42 5 26 7 39 7 43 41 7 41 6 35 7 40 4 22 7 46 5 23 7 46 5 24 7 46 5 32 7 47 6 40 7 48 4 27 7 46 5 43 49 7 49 7
459.70/462.09 c 462 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
459.81/462.13 c 462 OK
459.81/462.13 c 462 OBJECTIVE BOUND: 0 <= _COST <= 6
459.81/462.13 c 462 SEARCHING: _COST <= 3
459.81/462.13 c 462 ============================[ Search Statistics ]==============================
459.81/462.13 c 462 | Conflicts | ORIGINAL | LEARNT | Progress |
459.81/462.13 c 462 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
459.81/462.13 c 462 ===============================================================================
459.81/462.13 c 462 | 754530 | 7203 35298 122554 | 11766 50717 29 | 19.114 % |
460.01/462.38 c 462 | 754630 | 7203 35298 122554 | 12942 10656 25 | 21.373 % |
460.11/462.43 c 463 | 754781 | 7203 35298 122554 | 14236 10807 25 | 21.373 % |
460.20/462.51 c 463 | 755007 | 7203 35298 122554 | 15660 11033 26 | 21.373 % |
460.31/462.62 c 463 | 755344 | 7203 35298 122554 | 17226 11370 26 | 21.373 % |
460.41/462.77 c 463 | 755851 | 7203 35298 122554 | 18949 11877 26 | 21.373 % |
460.61/462.99 c 463 | 756613 | 7203 35298 122554 | 20844 12639 27 | 21.373 % |
461.00/463.39 c 463 | 757752 | 7203 35298 122554 | 22928 13778 29 | 21.373 % |
461.80/464.18 c 464 | 759460 | 7203 35298 122554 | 25221 15486 32 | 21.373 % |
462.90/465.24 c 465 | 762023 | 7203 35298 122554 | 27743 18049 34 | 21.373 % |
464.50/466.81 c 467 | 765868 | 7203 35298 122554 | 30517 21894 35 | 21.373 % |
467.00/469.34 c 469 | 771634 | 7203 35298 122554 | 33569 27660 34 | 21.373 % |
470.70/473.03 c 473 | 780284 | 7203 35298 122554 | 36926 13420 29 | 21.373 % |
475.89/478.21 c 478 | 793258 | 7203 35298 122554 | 40619 26394 30 | 21.373 % |
485.49/487.90 c 488 | 812719 | 7203 35298 122554 | 44681 16806 26 | 21.373 % |
500.38/502.75 c 503 | 841911 | 7203 35298 122554 | 49149 45998 28 | 21.373 % |
523.66/526.08 c 526 | 885701 | 7203 35298 122554 | 54064 16838 29 | 21.373 % |
559.35/561.79 c 562 | 951385 | 7203 35298 122554 | 59470 41081 29 | 21.373 % |
617.02/619.48 c 620 | 1049911 | 7203 35298 122554 | 65417 45596 29 | 21.373 % |
696.09/698.57 c 699 | 1197701 | 7203 35298 122554 | 71959 32742 27 | 21.373 % |
838.92/841.42 c 841 | 1419384 | 7203 35298 122554 | 79155 20217 22 | 21.373 % |
1075.20/1077.89 c 1078 | 1751910 | 7203 35298 122554 | 87071 29085 25 | 21.373 % |
1455.22/1458.05 c 1458 | 2250698 | 7203 35298 122554 | 95778 19648 22 | 21.373 % |
1954.48/1957.55 c 1958 ===============================================================================
1954.48/1957.55 c 1958 restarts : 65
1954.48/1957.55 c 1958 conflicts : 2870656 (1471 /sec)
1954.48/1957.55 c 1958 decisions : 3120084 (1.59 % random) (1599 /sec)
1954.48/1957.55 c 1958 propagations : 2205140648 (1130048 /sec)
1954.48/1957.55 c 1958 conflict literals : 81310901 (32.89 % deleted)
1954.48/1957.55 c 1958 Memory used : 30.78 MB
1954.48/1957.55 c 1958 CPU time : 1951.37 s
1954.48/1957.55 c 1958
1954.48/1957.55 c 1958 UNSATISFIABLE
1954.48/1957.55 c 1958 OK
1954.48/1957.55 c 1958 NOT FOUND: _COST <= 3
1954.48/1957.55 c 1958 OK
1954.48/1957.55 c 1958 OBJECTIVE BOUND: 4 <= _COST <= 6
1954.48/1957.55 c 1958 SEARCHING: _COST <= 5
1954.48/1957.55 c 1958 ============================[ Search Statistics ]==============================
1954.48/1957.55 c 1958 | Conflicts | ORIGINAL | LEARNT | Progress |
1954.48/1957.55 c 1958 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1954.48/1957.55 c 1958 ===============================================================================
1954.48/1957.55 c 1958 | 2870656 | 7195 35263 122473 | 11754 62246 24 | 21.373 % |
1954.78/1957.88 c 1958 | 2870757 | 7195 35263 122473 | 12929 7444 17 | 21.461 % |
1954.88/1957.92 c 1958 | 2870908 | 7195 35263 122473 | 14222 7595 17 | 21.461 % |
1954.88/1957.99 c 1958 | 2871133 | 7195 35263 122473 | 15645 7820 18 | 21.461 % |
1954.98/1958.10 c 1958 | 2871472 | 7195 35263 122473 | 17209 8159 19 | 21.461 % |
1955.18/1958.27 c 1958 | 2871978 | 7195 35263 122473 | 18930 8665 20 | 21.461 % |
1955.38/1958.47 c 1959 | 2872737 | 7195 35263 122473 | 20823 9424 21 | 21.461 % |
1955.68/1958.75 c 1959 | 2873876 | 7195 35263 122473 | 22905 10563 22 | 21.461 % |
1956.18/1959.21 c 1959 | 2875584 | 7195 35263 122473 | 25196 12271 22 | 21.461 % |
1956.78/1959.88 c 1960 | 2878146 | 7195 35263 122473 | 27716 14833 24 | 21.461 % |
1958.07/1961.16 c 1961 | 2881990 | 7195 35263 122473 | 30487 18677 25 | 21.461 % |
1960.27/1963.35 c 1963 | 2887756 | 7195 35263 122473 | 33536 24443 24 | 21.461 % |
1963.97/1967.00 c 1967 | 2896405 | 7195 35263 122473 | 36890 33092 26 | 21.461 % |
1970.37/1973.42 c 1974 | 2909379 | 7195 35263 122473 | 40579 20384 30 | 21.461 % |
1978.56/1981.62 c 1982 | 2928840 | 7195 35263 122473 | 44637 39845 29 | 21.461 % |
1991.76/1994.81 c 1995 | 2958032 | 7195 35263 122473 | 49100 36060 32 | 21.461 % |
2013.64/2016.72 c 2017 | 3001821 | 7195 35263 122473 | 54010 41925 29 | 21.461 % |
2046.53/2049.63 c 2050 | 3067505 | 7195 35263 122473 | 59411 23748 26 | 21.461 % |
2100.80/2103.99 c 2104 | 3166033 | 7195 35263 122473 | 65353 28607 25 | 21.461 % |
2175.27/2178.45 c 2179 | 3313822 | 7195 35263 122473 | 71888 20219 22 | 21.461 % |
2316.10/2319.32 c 2319 | 3535505 | 7195 35263 122473 | 79077 65688 30 | 21.461 % |
2552.38/2555.79 c 2556 | 3868031 | 7195 35263 122473 | 86985 72846 31 | 21.461 % |
2913.50/2917.08 c 2917 | 4366820 | 7195 35263 122473 | 95683 61521 30 | 21.461 % |
3470.15/3473.96 c 3474 | 5115003 | 7195 35263 122473 | 105251 78180 29 | 21.461 % |
3600.08/3603.91 c ERROR INTERRUPTED
3600.08/3603.91 c 3604 CPU 3599.62 (0.07 0.04 3599.55 0.45)
3600.08/3603.91 c 3604 END Fri Jul 11 20:46:06 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-1109095-1215798362/watcher-1109095-1215798362 -o /tmp/evaluation-result-1109095-1215798362/solver-1109095-1215798362 -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-1109095-1215798362.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.16 3.04 2.59 4/74 13679
/proc/meminfo: memFree=1932800/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=12272 CPUtime=0
/proc/13679/stat : 13679 (sugar++) R 13677 13679 11909 0 -1 4194304 359 0 0 0 0 0 0 0 20 0 1 0 36539122 12566528 327 996147200 4194304 4206940 548682068528 18446744073709551615 215419157093 0 0 4224 0 0 0 0 17 1 0 0
/proc/13679/statm: 3068 327 246 3 0 168 0
[startup+0.157395 s]
/proc/loadavg: 3.16 3.04 2.59 4/74 13679
/proc/meminfo: memFree=1932800/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16740 CPUtime=0.07
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1219 128 0 0 5 2 0 0 21 0 1 0 36539122 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.202398 s]
/proc/loadavg: 3.16 3.04 2.59 4/74 13679
/proc/meminfo: memFree=1932800/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16740 CPUtime=0.07
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1219 128 0 0 5 2 0 0 21 0 1 0 36539122 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.302409 s]
/proc/loadavg: 3.16 3.04 2.59 4/74 13679
/proc/meminfo: memFree=1932800/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16740 CPUtime=0.07
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1219 128 0 0 5 2 0 0 21 0 1 0 36539122 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.702489 s]
/proc/loadavg: 3.16 3.04 2.59 4/74 13679
/proc/meminfo: memFree=1932800/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16740 CPUtime=0.48
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1297 4574 0 1 5 2 37 4 16 0 1 0 36539122 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 16740
[startup+1.50165 s]
/proc/loadavg: 3.16 3.04 2.59 4/85 13701
/proc/meminfo: memFree=1918568/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16740 CPUtime=0.48
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1297 4574 0 1 5 2 37 4 15 0 1 0 36539122 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4185 1104 409 3 0 764 0
[pid=13692] ppid=13679 vsize=5356 CPUtime=0
/proc/13692/stat : 13692 (sh) S 13679 13679 11909 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 36539177 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13692/statm: 1339 233 193 169 0 50 0
[pid=13693] ppid=13692 vsize=868396 CPUtime=0.91
/proc/13693/stat : 13693 (java) S 13692 13679 11909 0 -1 0 7263 0 1 0 88 3 0 0 18 0 9 0 36539178 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13693/statm: 217099 6498 2539 9 0 211674 0
[pid=13693/tid=13694] ppid=13692 vsize=868396 CPUtime=0.59
/proc/13693/task/13694/stat : 13694 (java) R 13692 13679 11909 0 -1 64 2669 0 1 0 58 1 0 0 22 0 9 0 36539179 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 104657424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13695] ppid=13692 vsize=868396 CPUtime=0.1
/proc/13693/task/13695/stat : 13695 (java) S 13692 13679 11909 0 -1 64 2445 0 0 0 10 0 0 0 16 0 9 0 36539180 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13696] ppid=13692 vsize=868396 CPUtime=0
/proc/13693/task/13696/stat : 13696 (java) S 13692 13679 11909 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 36539180 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13697] ppid=13692 vsize=868396 CPUtime=0
/proc/13693/task/13697/stat : 13697 (java) S 13692 13679 11909 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 36539180 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13698] ppid=13692 vsize=868396 CPUtime=0
/proc/13693/task/13698/stat : 13698 (java) S 13692 13679 11909 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36539182 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13699] ppid=13692 vsize=868396 CPUtime=0.18
/proc/13693/task/13699/stat : 13699 (java) S 13692 13679 11909 0 -1 64 1456 0 0 0 18 0 0 0 16 0 9 0 36539182 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13700] ppid=13692 vsize=868396 CPUtime=0
/proc/13693/task/13700/stat : 13700 (java) S 13692 13679 11909 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 36539182 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13693/tid=13701] ppid=13692 vsize=868396 CPUtime=0
/proc/13693/task/13701/stat : 13701 (java) S 13692 13679 11909 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36539182 889237504 6498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 890492
[startup+3.10195 s]
/proc/loadavg: 3.07 3.02 2.58 3/76 13702
/proc/meminfo: memFree=1922864/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.56
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1694 24011 0 5 6 3 228 19 15 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=6396 CPUtime=0.17
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 1504 0 0 0 16 1 0 0 16 0 1 0 36539337 6549504 1447 996147200 134512640 135134323 4294956192 18446744073709551615 134524838 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 1599 1447 79 151 0 1445 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 23268
[startup+6.30157 s]
/proc/loadavg: 3.07 3.02 2.58 3/76 13732
/proc/meminfo: memFree=1921464/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.56
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1694 24011 0 5 6 3 228 19 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=7616 CPUtime=3.33
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 1809 0 0 0 332 1 0 0 25 0 1 0 36539337 7798784 1752 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 1904 1752 79 151 0 1750 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 24488
[startup+12.7018 s]
/proc/loadavg: 2.90 2.99 2.58 3/76 13732
/proc/meminfo: memFree=1917208/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.56
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1694 24011 0 5 6 3 228 19 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=10616 CPUtime=9.67
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 2567 0 0 0 964 3 0 0 25 0 1 0 36539337 10870784 2510 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 2654 2510 79 151 0 2500 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 27488
[startup+25.5023 s]
/proc/loadavg: 2.76 2.95 2.57 3/76 13732
/proc/meminfo: memFree=1911136/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.56
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1694 24011 0 5 6 3 228 19 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=14996 CPUtime=22.34
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 3649 0 0 0 2230 4 0 0 25 0 1 0 36539337 15355904 3592 996147200 134512640 135134323 4294956192 18446744073709551615 134532138 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 3749 3592 79 151 0 3595 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 31868
[startup+51.1022 s]
/proc/loadavg: 2.50 2.88 2.55 3/76 13732
/proc/meminfo: memFree=1902624/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.56
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1694 24011 0 5 6 3 228 19 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=21224 CPUtime=47.7
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 5198 0 0 0 4764 6 0 0 25 0 1 0 36539337 21733376 5141 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 5306 5141 79 151 0 5152 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 38096
[startup+102.303 s]
/proc/loadavg: 2.20 2.73 2.52 3/76 13732
/proc/meminfo: memFree=1894496/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.56
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1694 24011 0 5 6 3 228 19 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=26904 CPUtime=98.43
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 6620 0 0 0 9835 8 0 0 25 0 1 0 36539337 27549696 6563 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 6726 6563 79 151 0 6572 0
Current children cumulated CPU time (s) 100.99
Current children cumulated vsize (KiB) 43776
[startup+162.302 s]
/proc/loadavg: 2.08 2.60 2.49 3/76 13742
/proc/meminfo: memFree=1893344/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.83
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1764 27911 0 6 6 3 252 22 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=27216 CPUtime=157.53
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 6668 0 0 0 15745 8 0 0 25 0 1 0 36539337 27869184 6609 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/13702/statm: 6804 6609 79 151 0 6650 0
Current children cumulated CPU time (s) 160.36
Current children cumulated vsize (KiB) 44088
[startup+222.307 s]
/proc/loadavg: 2.02 2.48 2.45 3/83 13780
/proc/meminfo: memFree=1905656/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.83
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1764 27911 0 6 6 3 252 22 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=27216 CPUtime=217.32
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 6668 0 0 0 21722 10 0 0 25 0 1 0 36539337 27869184 6609 996147200 134512640 135134323 4294956192 18446744073709551615 134529497 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 6804 6609 79 151 0 6650 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 44088
[startup+282.301 s]
/proc/loadavg: 2.01 2.40 2.42 3/83 13780
/proc/meminfo: memFree=1905464/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.83
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1764 27911 0 6 6 3 252 22 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=27216 CPUtime=277.28
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 6669 0 0 0 27718 10 0 0 25 0 1 0 36539337 27869184 6610 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 6804 6610 79 151 0 6650 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 44088
[startup+342.302 s]
/proc/loadavg: 2.00 2.32 2.39 3/83 13780
/proc/meminfo: memFree=1905400/2055920 swapFree=4180344/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=2.83
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1764 27911 0 6 6 3 252 22 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=13702] ppid=13679 vsize=35452 CPUtime=2855.82
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8541 0 0 0 285565 17 0 0 25 0 1 0 36539337 36302848 8478 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 8863 8478 79 151 0 8709 0
Current children cumulated CPU time (s) 2858.84
Current children cumulated vsize (KiB) 52324
[startup+2922.3 s]
/proc/loadavg: 2.02 2.12 2.09 3/83 13797
/proc/meminfo: memFree=1892152/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=35620 CPUtime=2915.78
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8576 0 0 0 291561 17 0 0 25 0 1 0 36539337 36474880 8513 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 8905 8513 79 151 0 8751 0
Current children cumulated CPU time (s) 2918.8
Current children cumulated vsize (KiB) 52492
[startup+2982.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/83 13797
/proc/meminfo: memFree=1891384/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=36308 CPUtime=2975.75
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8752 0 0 0 297558 17 0 0 25 0 1 0 36539337 37179392 8689 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9077 8689 79 151 0 8923 0
Current children cumulated CPU time (s) 2978.77
Current children cumulated vsize (KiB) 53180
[startup+3042.3 s]
/proc/loadavg: 2.00 2.07 2.07 4/83 13797
/proc/meminfo: memFree=1891192/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=36472 CPUtime=3035.72
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8794 0 0 0 303555 17 0 0 25 0 1 0 36539337 37347328 8731 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9118 8731 79 151 0 8964 0
Current children cumulated CPU time (s) 3038.74
Current children cumulated vsize (KiB) 53344
[startup+3102.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/83 13797
/proc/meminfo: memFree=1891128/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=36636 CPUtime=3095.7
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8816 0 0 0 309553 17 0 0 25 0 1 0 36539337 37515264 8753 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9159 8753 79 151 0 9005 0
Current children cumulated CPU time (s) 3098.72
Current children cumulated vsize (KiB) 53508
[startup+3162.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/83 13797
/proc/meminfo: memFree=1890872/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=36920 CPUtime=3155.67
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8865 0 0 0 315550 17 0 0 25 0 1 0 36539337 37806080 8802 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9230 8802 79 151 0 9076 0
Current children cumulated CPU time (s) 3158.69
Current children cumulated vsize (KiB) 53792
[startup+3222.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 13797
/proc/meminfo: memFree=1890552/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=37236 CPUtime=3215.64
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8933 0 0 0 321546 18 0 0 25 0 1 0 36539337 38129664 8870 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9309 8870 79 151 0 9155 0
Current children cumulated CPU time (s) 3218.66
Current children cumulated vsize (KiB) 54108
[startup+3282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/83 13797
/proc/meminfo: memFree=1890488/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=37236 CPUtime=3275.61
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8953 0 0 0 327543 18 0 0 25 0 1 0 36539337 38129664 8890 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9309 8890 79 151 0 9155 0
Current children cumulated CPU time (s) 3278.63
Current children cumulated vsize (KiB) 54108
[startup+3342.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 13797
/proc/meminfo: memFree=1890360/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=37448 CPUtime=3335.59
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 8979 0 0 0 333541 18 0 0 25 0 1 0 36539337 38346752 8916 996147200 134512640 135134323 4294956192 18446744073709551615 134532177 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9362 8916 79 151 0 9208 0
Current children cumulated CPU time (s) 3338.61
Current children cumulated vsize (KiB) 54320
[startup+3402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/83 13797
/proc/meminfo: memFree=1889784/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=38092 CPUtime=3395.56
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 9115 0 0 0 339537 19 0 0 25 0 1 0 36539337 39006208 9052 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9523 9052 79 151 0 9369 0
Current children cumulated CPU time (s) 3398.58
Current children cumulated vsize (KiB) 54964
[startup+3462.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/83 13797
/proc/meminfo: memFree=1889016/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=38640 CPUtime=3455.53
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 9258 0 0 0 345534 19 0 0 25 0 1 0 36539337 39567360 9195 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9660 9195 79 151 0 9506 0
Current children cumulated CPU time (s) 3458.55
Current children cumulated vsize (KiB) 55512
[startup+3522.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 13797
/proc/meminfo: memFree=1887864/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=39908 CPUtime=3515.5
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 9554 0 0 0 351531 19 0 0 25 0 1 0 36539337 40865792 9491 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 9977 9491 79 151 0 9823 0
Current children cumulated CPU time (s) 3518.52
Current children cumulated vsize (KiB) 56780
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 13797
/proc/meminfo: memFree=1887160/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=40536 CPUtime=3575.46
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 9736 0 0 0 357527 19 0 0 25 0 1 0 36539337 41508864 9673 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 10134 9673 79 151 0 9980 0
Current children cumulated CPU time (s) 3578.48
Current children cumulated vsize (KiB) 57408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.9 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 13797
/proc/meminfo: memFree=1887032/2055920 swapFree=4180380/4192956
[pid=13679] ppid=13677 vsize=16872 CPUtime=3.02
/proc/13679/stat : 13679 (sugar++) S 13677 13679 11909 0 -1 4194304 1836 31804 0 7 7 4 267 24 16 0 1 0 36539122 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13679/statm: 4218 1118 414 3 0 797 0
[pid=13702] ppid=13679 vsize=40712 CPUtime=3597.06
/proc/13702/stat : 13702 (minisat-inc) R 13679 13679 11909 0 -1 4194304 9768 0 0 0 359687 19 0 0 25 0 1 0 36539337 41689088 9705 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/13702/statm: 10178 9705 79 151 0 10024 0
Current children cumulated CPU time (s) 3600.08
Current children cumulated vsize (KiB) 57584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 3603.91
CPU time (s): 3600.13
CPU user time (s): 3599.63
CPU system time (s): 0.499924
CPU usage (%): 99.8949
Max. virtual memory (cumulated for all children) (KiB): 890656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.499924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43488
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4566
involuntary context switches= 21536
runsolver used 3.79442 second user time and 9.8775 second system time
The end
Begin job on node9 at 2008-07-11 19:46:02
IDJOB=1109095
IDBENCH=60910
IDSOLVER=367
FILE ID=node9/1109095-1215798362
PBS_JOBID= 7903239
Free space on /tmp= 66552 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/QG6/normalized-quasigroup6-7.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-1109095-1215798362/watcher-1109095-1215798362 -o /tmp/evaluation-result-1109095-1215798362/solver-1109095-1215798362 -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-1109095-1215798362.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 315bc9ed9331622c83acfd9cd3fe8a4b
RANDOM SEED=1544805630
node9.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.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.260
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: 1933280 kB
Buffers: 7868 kB
Cached: 42540 kB
SwapCached: 5284 kB
Active: 57052 kB
Inactive: 13584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1933280 kB
SwapTotal: 4192956 kB
SwapFree: 4180344 kB
Dirty: 6044 kB
Writeback: 0 kB
Mapped: 28504 kB
Slab: 37372 kB
Committed_AS: 169208 kB
PageTables: 1820 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 node9 at 2008-07-11 20:46:08