0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sun Jul 13 03:39:02 2008
0.00/0.04 c 0 PID 20761
0.00/0.04 c 0 HOST node31.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1115028-1215913142.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115028-1215913142.xml' 'HOME/temp.csp'
0.03/0.87 c 1 1 domains, 40 variables, 0 predicates, 84 relations, 84 constraints
0.03/0.88 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.88 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.92/0.95 c 1 Parsing HOME/temp.csp
2.45/2.47 c 3 parsed 209 expressions
2.45/2.47 c 3 Heap : 30 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.45/2.47 c 3 MAX CSP: 84 constraints
2.45/2.48 c 3 Converting to clausal form CSP
2.45/2.49 c 3 converted 30 (10%) expressions
2.56/2.52 c 3 converted 60 (20%) expressions
2.56/2.54 c 3 converted 89 (30%) expressions
2.56/2.57 c 3 converted 119 (40%) expressions
2.88/2.85 c 3 converted 148 (50%) expressions
3.08/3.02 c 3 converted 178 (60%) expressions
3.19/3.11 c 3 converted 208 (70%) expressions
3.29/3.23 c 4 converted 237 (80%) expressions
3.38/3.35 c 4 converted 267 (90%) expressions
3.48/3.46 c 4 converted 296 (100%) expressions
3.48/3.46 c 4 CSP : 208 integers, 0 booleans, 251 clauses, largest domain size 180
3.48/3.46 c 4 Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.48/3.46 c 4 Propagation in CSP
3.48/3.47 c 4 81 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.48/3.47 c 4 CSP : 208 integers, 0 booleans, 251 clauses, largest domain size 180
3.48/3.47 c 4 Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.48/3.47 c 4 Simplifing CSP by introducing new Boolean variables
3.48/3.47 c 4 CSP : 208 integers, 0 booleans, 251 clauses, largest domain size 180
3.48/3.47 c 4 Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.71/3.64 c 4 Encoding CSP to SAT : HOME/temp.cnf
3.71/3.65 c 4 21 (10%) CSP integer variables are encoded (3738 clauses, 46457 bytes)
3.71/3.66 c 4 42 (20%) CSP integer variables are encoded (7120 clauses, 90423 bytes)
3.71/3.66 c 4 63 (30%) CSP integer variables are encoded (7120 clauses, 90423 bytes)
3.71/3.66 c 4 84 (40%) CSP integer variables are encoded (7120 clauses, 90423 bytes)
3.71/3.66 c 4 104 (50%) CSP integer variables are encoded (7120 clauses, 90423 bytes)
3.71/3.66 c 4 125 (60%) CSP integer variables are encoded (7203 clauses, 91502 bytes)
3.71/3.66 c 4 146 (70%) CSP integer variables are encoded (7658 clauses, 97417 bytes)
3.71/3.66 c 4 167 (80%) CSP integer variables are encoded (7815 clauses, 99458 bytes)
3.71/3.66 c 4 188 (90%) CSP integer variables are encoded (7890 clauses, 100433 bytes)
3.71/3.66 c 4 208 (100%) CSP integer variables are encoded (8004 clauses, 101915 bytes)
4.54/4.46 c 5 26 (10%) CSP clauses are encoded (86943 clauses, 2228614 bytes)
5.34/5.25 c 6 51 (20%) CSP clauses are encoded (162475 clauses, 4426302 bytes)
6.14/6.03 c 6 76 (30%) CSP clauses are encoded (238233 clauses, 6650373 bytes)
6.33/6.27 c 7 101 (40%) CSP clauses are encoded (262497 clauses, 7361437 bytes)
6.33/6.29 c 7 126 (50%) CSP clauses are encoded (266882 clauses, 7437476 bytes)
6.33/6.29 c 7 151 (60%) CSP clauses are encoded (267089 clauses, 7440811 bytes)
6.33/6.29 c 7 176 (70%) CSP clauses are encoded (270798 clauses, 7507728 bytes)
6.33/6.30 c 7 201 (80%) CSP clauses are encoded (271017 clauses, 7511263 bytes)
6.33/6.30 c 7 226 (90%) CSP clauses are encoded (271480 clauses, 7519113 bytes)
6.44/6.30 c 7 251 (100%) CSP clauses are encoded (272990 clauses, 7545587 bytes)
6.44/6.30 c 7 251 CSP clauses encoded
6.44/6.30 c 7 Writing map file : HOME/temp.map
6.44/6.30 c 7 Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.44/6.30 c 7 SAT : 8212 SAT variables, 272990 SAT clauses, 7545587 bytes
6.44/6.30 c 7 Heap : 24 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.44/6.35 c 7 OBJECTIVE minimize _COST
6.44/6.35 c 7 OBJECTIVE BOUND: 0 <= _COST <=
6.44/6.35 c 7 SEARCHING: _COST <= 42
6.44/6.35 c 7 SOLVING HOME/temp.cnf
6.44/6.35 c 7 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
6.44/6.36 c 7 This is MiniSat 2.0 beta
6.44/6.36 c 7 WARNING: for repeatability, setting FPU to use double precision
6.44/6.36 c 7 ============================[ Problem Statistics ]=============================
6.44/6.36 c 7 | |
6.44/6.36 c 7 | Number of variables: 8212 |
6.44/6.36 c 7 | Number of clauses: 272991 |
6.60/6.52 c 7 | Parsing time: 0.14 s |
6.60/6.53 c 7 ============================[ Search Statistics ]==============================
6.60/6.53 c 7 | Conflicts | ORIGINAL | LEARNT | Progress |
6.60/6.53 c 7 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.60/6.53 c 7 ===============================================================================
6.60/6.53 c 7 | 0 | 7918 268942 1276962 | 89647 0 nan | 0.000 % |
6.60/6.57 c 7 ===============================================================================
6.60/6.57 c 7 restarts : 1
6.60/6.57 c 7 conflicts : 15 (77 /sec)
6.60/6.57 c 7 decisions : 139 (0.72 % random) (717 /sec)
6.60/6.57 c 7 propagations : 18177 (93710 /sec)
6.60/6.57 c 7 conflict literals : 161 (54.90 % deleted)
6.60/6.57 c 7 Memory used : 14.98 MB
6.60/6.57 c 7 CPU time : 0.19397 s
6.60/6.57 c 7
6.60/6.57 c 7 SATISFIABLE
6.60/6.57 c 7 FOUND: _COST <= 42
6.60/6.57 s SATISFIABLE
6.60/6.57 c 7 DECODING HOME/temp.out WITH HOME/temp.map
6.60/6.57 c 7 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
6.68/6.64 c 7 Decoding HOME/temp.out
6.68/6.68 c 7 OBJECTIVE _COST 42
6.68/6.68 o 42
6.68/6.69 v 60 39 51 142 143 168 158 167 108 146 103 170 179 176 165 179 166 34 177 179 149 172 160 177 179 162 179 166 178 172 103 179 173 179 179 178 179 178 179 179
6.68/6.69 c 7 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
6.68/6.73 c 7 OBJECTIVE BOUND: 0 <= _COST <= 42
6.68/6.73 c 7 SEARCHING: _COST <= 21
6.68/6.73 c 7 SOLVING HOME/temp.cnf
6.68/6.73 c 7 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
6.68/6.73 c 7 This is MiniSat 2.0 beta
6.68/6.73 c 7 WARNING: for repeatability, setting FPU to use double precision
6.68/6.73 c 7 ============================[ Problem Statistics ]=============================
6.68/6.73 c 7 | |
6.68/6.74 c 7 | Number of variables: 8212 |
6.68/6.74 c 7 | Number of clauses: 272991 |
6.83/6.89 c 7 | Parsing time: 0.14 s |
6.83/6.90 c 7 ============================[ Search Statistics ]==============================
6.83/6.90 c 7 | Conflicts | ORIGINAL | LEARNT | Progress |
6.83/6.90 c 7 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.83/6.90 c 7 ===============================================================================
6.83/6.90 c 7 | 0 | 7750 266485 1270074 | 88828 0 nan | 0.000 % |
6.83/7.01 c 7 | 100 | 7750 266485 1270074 | 97711 100 26 | 5.626 % |
6.83/7.09 c 7 | 250 | 7750 266485 1270074 | 107482 250 24 | 5.626 % |
6.83/7.33 c 8 | 477 | 7750 266485 1270074 | 118230 477 22 | 5.626 % |
6.83/7.55 c 8 | 814 | 7750 266485 1270074 | 130053 814 24 | 5.626 % |
7.98/7.91 c 8 | 1320 | 7750 266485 1270074 | 143058 1320 22 | 5.626 % |
8.38/8.32 c 9 | 2079 | 7750 266485 1270074 | 157364 2079 21 | 5.626 % |
8.68/8.60 c 9 ===============================================================================
8.68/8.61 c 9 restarts : 7
8.68/8.61 c 9 conflicts : 2601 (1412 /sec)
8.68/8.61 c 9 decisions : 4534 (1.06 % random) (2460 /sec)
8.68/8.61 c 9 propagations : 985773 (534956 /sec)
8.68/8.61 c 9 conflict literals : 58343 (44.46 % deleted)
8.68/8.61 c 9 Memory used : 16.41 MB
8.68/8.61 c 9 CPU time : 1.84272 s
8.68/8.61 c 9
8.68/8.61 c 9 SATISFIABLE
8.68/8.61 c 9 FOUND: _COST <= 21
8.68/8.61 c 9 DECODING HOME/temp.out WITH HOME/temp.map
8.68/8.61 c 9 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
8.68/8.68 c 9 Decoding HOME/temp.out
8.79/8.73 c 9 OBJECTIVE _COST 21
8.79/8.73 o 21
8.79/8.73 v 179 100 179 71 169 169 73 172 118 138 37 16 179 109 141 164 179 168 179 61 54 176 27 117 171 4 121 59 138 72 179 173 119 179 161 42 166 179 132 92
8.79/8.73 c 9 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
8.79/8.77 c 9 OBJECTIVE BOUND: 0 <= _COST <= 21
8.79/8.77 c 9 SEARCHING: _COST <= 10
8.79/8.77 c 9 SOLVING HOME/temp.cnf
8.79/8.77 c 9 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
8.79/8.77 c 9 This is MiniSat 2.0 beta
8.79/8.77 c 9 WARNING: for repeatability, setting FPU to use double precision
8.79/8.77 c 9 ============================[ Problem Statistics ]=============================
8.79/8.77 c 9 | |
8.79/8.78 c 9 | Number of variables: 8212 |
8.79/8.78 c 9 | Number of clauses: 272991 |
8.84/8.93 c 9 | Parsing time: 0.15 s |
8.84/8.95 c 9 ============================[ Search Statistics ]==============================
8.84/8.95 c 9 | Conflicts | ORIGINAL | LEARNT | Progress |
8.84/8.95 c 9 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.84/8.95 c 9 ===============================================================================
8.84/8.95 c 9 | 0 | 7625 264420 1264243 | 88140 0 nan | 0.000 % |
8.84/9.06 c 9 | 100 | 7625 264420 1264243 | 96954 100 26 | 7.148 % |
8.84/9.13 c 9 | 250 | 7625 264420 1264243 | 106649 250 19 | 7.148 % |
8.84/9.33 c 10 | 476 | 7625 264420 1264243 | 117314 476 20 | 7.148 % |
8.84/9.58 c 10 | 814 | 7625 264420 1264243 | 129045 814 21 | 7.148 % |
9.85/9.90 c 10 | 1321 | 7625 264420 1264243 | 141950 1321 22 | 7.148 % |
10.45/10.48 c 11 | 2080 | 7625 264420 1264243 | 156145 2080 24 | 7.148 % |
11.25/11.23 c 12 | 3219 | 7625 264420 1264243 | 171759 3219 24 | 7.148 % |
12.35/12.38 c 13 | 4927 | 7625 264420 1264243 | 188935 4927 26 | 7.148 % |
13.55/13.58 c 14 | 7491 | 7625 264420 1264243 | 207829 7491 25 | 7.148 % |
15.95/15.99 c 16 | 11335 | 7625 264420 1264243 | 228612 11335 25 | 7.148 % |
19.95/19.93 c 20 | 17101 | 7625 264420 1264243 | 251473 17101 25 | 7.148 % |
27.44/27.48 c 28 | 25750 | 7625 264420 1264243 | 276621 25750 25 | 7.148 % |
29.43/29.46 c 30 ===============================================================================
29.43/29.46 c 30 restarts : 13
29.43/29.46 c 30 conflicts : 28522 (1382 /sec)
29.43/29.46 c 30 decisions : 42885 (1.42 % random) (2077 /sec)
29.43/29.46 c 30 propagations : 10092384 (488857 /sec)
29.43/29.46 c 30 conflict literals : 722288 (41.90 % deleted)
29.43/29.46 c 30 Memory used : 19.85 MB
29.43/29.46 c 30 CPU time : 20.6449 s
29.43/29.46 c 30
29.43/29.47 c 30 SATISFIABLE
29.43/29.47 c 30 FOUND: _COST <= 10
29.43/29.47 c 30 DECODING HOME/temp.out WITH HOME/temp.map
29.43/29.47 c 30 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
29.53/29.54 c 30 Decoding HOME/temp.out
29.53/29.58 c 30 OBJECTIVE _COST 10
29.53/29.58 o 10
29.53/29.58 v 27 37 149 64 147 172 134 107 54 102 170 78 179 91 118 174 102 121 108 132 56 60 174 179 176 147 99 100 93 116 162 179 115 156 5 176 170 179 166 53
29.53/29.59 c 30 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
29.65/29.63 c 30 OBJECTIVE BOUND: 0 <= _COST <= 10
29.65/29.63 c 30 SEARCHING: _COST <= 5
29.65/29.63 c 30 SOLVING HOME/temp.cnf
29.65/29.63 c 30 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
29.65/29.63 c 30 This is MiniSat 2.0 beta
29.65/29.63 c 30 WARNING: for repeatability, setting FPU to use double precision
29.65/29.63 c 30 ============================[ Problem Statistics ]=============================
29.65/29.63 c 30 | |
29.65/29.63 c 30 | Number of variables: 8212 |
29.65/29.63 c 30 | Number of clauses: 272991 |
29.67/29.80 c 30 | Parsing time: 0.14 s |
29.67/29.81 c 30 ============================[ Search Statistics ]==============================
29.67/29.81 c 30 | Conflicts | ORIGINAL | LEARNT | Progress |
29.67/29.81 c 30 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
29.67/29.81 c 30 ===============================================================================
29.67/29.81 c 30 | 0 | 7531 263243 1260989 | 87747 0 nan | 0.000 % |
29.67/29.90 c 30 | 100 | 7531 263243 1260989 | 96522 100 22 | 8.293 % |
29.67/30.04 c 30 | 250 | 7531 263243 1260989 | 106174 250 24 | 8.293 % |
29.67/30.26 c 31 | 475 | 7531 263243 1260989 | 116792 475 24 | 8.293 % |
29.67/30.48 c 31 | 812 | 7531 263243 1260989 | 128471 812 23 | 8.293 % |
30.73/30.74 c 31 | 1318 | 7531 263243 1260989 | 141318 1318 22 | 8.293 % |
31.12/31.11 c 31 | 2078 | 7531 263243 1260989 | 155450 2078 22 | 8.293 % |
31.83/31.89 c 32 | 3217 | 7531 263243 1260989 | 170995 3217 24 | 8.293 % |
32.82/32.80 c 33 | 4925 | 7531 263243 1260989 | 188094 4925 23 | 8.293 % |
34.52/34.53 c 35 | 7488 | 7531 263243 1260989 | 206904 7488 24 | 8.293 % |
36.52/36.58 c 37 | 11332 | 7531 263243 1260989 | 227594 11332 24 | 8.293 % |
40.81/40.90 c 41 | 17098 | 7531 263243 1260989 | 250354 17098 25 | 8.293 % |
45.62/45.62 c 46 | 25749 | 7531 263243 1260989 | 275389 25749 25 | 8.293 % |
55.80/55.84 c 56 | 38725 | 7531 263243 1260989 | 302928 38725 26 | 8.293 % |
71.80/71.84 c 72 | 58187 | 7531 263243 1260989 | 333221 58187 27 | 8.293 % |
85.29/85.30 c 86 ===============================================================================
85.29/85.30 c 86 restarts : 15
85.29/85.30 c 86 conflicts : 72273 (1300 /sec)
85.29/85.30 c 86 decisions : 107076 (1.48 % random) (1927 /sec)
85.29/85.30 c 86 propagations : 23240738 (418153 /sec)
85.29/85.30 c 86 conflict literals : 1998890 (39.37 % deleted)
85.29/85.30 c 86 Memory used : 26.45 MB
85.29/85.30 c 86 CPU time : 55.5795 s
85.29/85.30 c 86
85.29/85.31 c 86 SATISFIABLE
85.29/85.31 c 86 FOUND: _COST <= 5
85.29/85.31 c 86 DECODING HOME/temp.out WITH HOME/temp.map
85.29/85.31 c 86 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
85.29/85.39 c 86 Decoding HOME/temp.out
85.32/85.43 c 86 OBJECTIVE _COST 5
85.32/85.43 o 5
85.32/85.43 v 45 120 57 96 101 179 140 128 61 115 26 46 179 142 158 133 80 150 76 66 76 169 97 173 176 157 91 114 179 14 98 168 55 129 153 87 148 161 16 164
85.32/85.43 c 86 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
85.32/85.47 c 86 OBJECTIVE BOUND: 0 <= _COST <= 5
85.32/85.47 c 86 SEARCHING: _COST <= 2
85.32/85.47 c 86 SOLVING HOME/temp.cnf
85.32/85.47 c 86 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
85.32/85.47 c 86 This is MiniSat 2.0 beta
85.32/85.47 c 86 WARNING: for repeatability, setting FPU to use double precision
85.32/85.47 c 86 ============================[ Problem Statistics ]=============================
85.32/85.47 c 86 | |
85.32/85.48 c 86 | Number of variables: 8212 |
85.32/85.48 c 86 | Number of clauses: 272991 |
85.47/85.64 c 86 | Parsing time: 0.15 s |
85.47/85.65 c 86 ============================[ Search Statistics ]==============================
85.47/85.65 c 86 | Conflicts | ORIGINAL | LEARNT | Progress |
85.47/85.65 c 86 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
85.47/85.65 c 86 ===============================================================================
85.47/85.65 c 86 | 0 | 7412 262296 1258502 | 87432 0 nan | 0.000 % |
85.69/85.78 c 86 | 102 | 7412 262296 1258502 | 96175 102 21 | 9.742 % |
85.79/85.86 c 86 | 252 | 7412 262296 1258502 | 105792 252 23 | 9.742 % |
85.98/86.04 c 86 | 479 | 7412 262296 1258502 | 116371 479 22 | 9.742 % |
86.18/86.26 c 87 | 817 | 7412 262296 1258502 | 128009 817 25 | 9.742 % |
86.48/86.59 c 87 | 1324 | 7412 262296 1258502 | 140810 1324 24 | 9.742 % |
87.08/87.19 c 88 | 2083 | 7412 262296 1258502 | 154891 2083 25 | 9.742 % |
87.78/87.85 c 88 | 3223 | 7412 262296 1258502 | 170380 3223 25 | 9.742 % |
88.98/89.06 c 89 | 4931 | 7412 262296 1258502 | 187418 4931 25 | 9.742 % |
90.58/90.63 c 91 | 7493 | 7412 262296 1258502 | 206160 7493 24 | 9.742 % |
93.68/93.72 c 94 | 11337 | 7412 262296 1258502 | 226776 11337 26 | 9.742 % |
97.78/97.80 c 98 | 17103 | 7412 262296 1258502 | 249453 17103 26 | 9.742 % |
105.28/105.35 c 106 | 25752 | 7412 262296 1258502 | 274399 25752 28 | 9.742 % |
113.56/113.64 c 114 | 38728 | 7412 262296 1258502 | 301838 38728 28 | 9.742 % |
132.26/132.37 c 133 | 58189 | 7412 262296 1258502 | 332022 58189 29 | 9.742 % |
162.76/162.81 c 163 | 87381 | 7412 262296 1258502 | 365225 87381 30 | 9.742 % |
224.34/224.49 c 225 | 131171 | 7412 262296 1258502 | 401747 131171 32 | 9.742 % |
307.81/307.90 c 308 ===============================================================================
307.81/307.90 c 308 restarts : 17
307.81/307.90 c 308 conflicts : 174046 (783 /sec)
307.81/307.90 c 308 decisions : 257928 (1.48 % random) (1161 /sec)
307.81/307.90 c 308 propagations : 67321546 (302947 /sec)
307.81/307.90 c 308 conflict literals : 5784167 (44.25 % deleted)
307.81/307.90 c 308 Memory used : 44.43 MB
307.81/307.90 c 308 CPU time : 222.222 s
307.81/307.90 c 308
307.81/307.91 c 308 SATISFIABLE
307.81/307.92 c 308 FOUND: _COST <= 2
307.81/307.92 c 308 DECODING HOME/temp.out WITH HOME/temp.map
307.81/307.92 c 308 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
307.81/307.99 c 308 Decoding HOME/temp.out
307.83/308.03 c 308 OBJECTIVE _COST 2
307.83/308.03 o 2
307.83/308.04 v 88 160 141 5 99 159 70 44 7 103 143 26 163 70 7 133 80 34 54 42 122 144 92 101 171 102 143 124 178 160 170 140 175 56 179 24 166 41 155 177
307.83/308.04 c 308 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
307.83/308.08 c 308 OBJECTIVE BOUND: 0 <= _COST <= 2
307.83/308.08 c 308 SEARCHING: _COST <= 1
307.83/308.08 c 308 SOLVING HOME/temp.cnf
307.83/308.08 c 308 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
307.83/308.08 c 308 This is MiniSat 2.0 beta
307.83/308.08 c 308 WARNING: for repeatability, setting FPU to use double precision
307.83/308.08 c 308 ============================[ Problem Statistics ]=============================
307.83/308.09 c 308 | |
307.83/308.09 c 308 | Number of variables: 8212 |
307.83/308.09 c 308 | Number of clauses: 272991 |
307.97/308.24 c 309 | Parsing time: 0.14 s |
307.97/308.25 c 309 ============================[ Search Statistics ]==============================
307.97/308.25 c 309 | Conflicts | ORIGINAL | LEARNT | Progress |
307.97/308.25 c 309 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
307.97/308.25 c 309 ===============================================================================
307.97/308.25 c 309 | 0 | 7328 261851 1257418 | 87283 0 nan | 0.000 % |
307.97/308.39 c 309 | 102 | 7328 261851 1257418 | 96012 102 21 | 10.765 % |
307.97/308.52 c 309 | 252 | 7328 261851 1257418 | 105613 252 34 | 10.765 % |
307.97/308.67 c 309 | 478 | 7328 261851 1257418 | 116174 478 35 | 10.765 % |
307.97/308.91 c 309 | 815 | 7328 261851 1257418 | 127792 815 33 | 10.765 % |
309.17/309.30 c 310 | 1321 | 7328 261851 1257418 | 140571 1321 30 | 10.765 % |
309.67/309.86 c 310 | 2081 | 7328 261851 1257418 | 154628 2081 28 | 10.765 % |
310.57/310.78 c 311 | 3220 | 7328 261851 1257418 | 170091 3220 28 | 10.765 % |
311.76/311.92 c 312 | 4928 | 7328 261851 1257418 | 187100 4928 27 | 10.765 % |
313.47/313.64 c 314 | 7490 | 7328 261851 1257418 | 205810 7490 26 | 10.765 % |
316.37/316.51 c 317 | 11335 | 7328 261851 1257418 | 226391 11335 27 | 10.765 % |
320.37/320.57 c 321 | 17101 | 7328 261851 1257418 | 249030 17101 27 | 10.765 % |
328.76/328.91 c 329 | 25751 | 7328 261851 1257418 | 273933 25751 29 | 10.765 % |
341.16/341.33 c 342 | 38725 | 7328 261851 1257418 | 301326 38725 30 | 10.765 % |
361.95/362.12 c 362 | 58186 | 7328 261851 1257418 | 331459 58186 30 | 10.765 % |
393.24/393.44 c 394 | 87378 | 7328 261851 1257418 | 364605 87378 31 | 10.765 % |
460.51/460.79 c 461 | 131167 | 7328 261851 1257418 | 401066 131167 33 | 10.765 % |
581.67/581.95 c 582 | 196852 | 7328 261851 1257418 | 441172 196852 35 | 10.765 % |
775.29/775.62 c 776 | 295378 | 7328 261851 1257418 | 485289 295378 35 | 10.765 % |
1123.15/1123.69 c 1124 | 443169 | 7328 261851 1257418 | 533818 443169 36 | 10.765 % |
1631.85/1638.34 c 1639 | 664855 | 7328 261851 1257418 | 587200 158576 36 | 10.765 % |
2457.65/2471.98 c 2472 | 997380 | 7328 261851 1257418 | 645920 491101 38 | 10.765 % |
3600.02/3689.01 c ERROR INTERRUPTED
3600.02/3689.03 c 3689 CPU 307.31 (0.04 0.02 307.27 0.64)
3600.02/3689.03 c 3689 END Sun Jul 13 04:40:31 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-1115028-1215913142/watcher-1115028-1215913142 -o /tmp/evaluation-result-1115028-1215913142/solver-1115028-1215913142 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1115028-1215913142.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20761
/proc/meminfo: memFree=1897152/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=12268 CPUtime=0
/proc/20761/stat : 20761 (sugar) D 20759 20761 20196 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 48016312 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 225612364389 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/20761/statm: 3067 316 241 3 0 167 0
[startup+0.0541441 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20761
/proc/meminfo: memFree=1897152/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.03
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 48016312 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.102139 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20761
/proc/meminfo: memFree=1897152/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.03
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 48016312 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.302159 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20761
/proc/meminfo: memFree=1897152/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.03
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 48016312 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.70119 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 20761
/proc/meminfo: memFree=1897152/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.03
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 48016312 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/75 20783
/proc/meminfo: memFree=1887272/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.92
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 974 7919 0 1 3 0 83 6 16 0 1 0 48016312 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 797 370 3 0 500 0
[pid=20774] ppid=20761 vsize=5356 CPUtime=0
/proc/20774/stat : 20774 (sh) S 20761 20761 20196 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48016401 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20774/statm: 1339 233 193 169 0 50 0
[pid=20775] ppid=20774 vsize=865048 CPUtime=0.63
/proc/20775/stat : 20775 (java) S 20774 20761 20196 0 -1 0 7391 0 1 0 60 3 0 0 20 0 9 0 48016401 885809152 6676 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20775/statm: 216262 6678 2532 9 0 210844 0
[pid=20775/tid=20776] ppid=20774 vsize=865048 CPUtime=0.39
/proc/20775/task/20776/stat : 20776 (java) S 20774 20761 20196 0 -1 64 2465 0 1 0 38 1 0 0 17 0 9 0 48016402 885809152 6679 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20777] ppid=20774 vsize=865048 CPUtime=0.19
/proc/20775/task/20777/stat : 20777 (java) R 20774 20761 20196 0 -1 64 3911 0 0 0 18 1 0 0 16 0 9 0 48016403 885809152 6680 996147200 134512640 134550740 4294955936 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20778] ppid=20774 vsize=865048 CPUtime=0
/proc/20775/task/20778/stat : 20778 (java) S 20774 20761 20196 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48016403 885809152 6681 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20779] ppid=20774 vsize=865048 CPUtime=0
/proc/20775/task/20779/stat : 20779 (java) S 20774 20761 20196 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48016403 885809152 6683 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20780] ppid=20774 vsize=865048 CPUtime=0
/proc/20775/task/20780/stat : 20780 (java) S 20774 20761 20196 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 48016405 885809152 6684 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20781] ppid=20774 vsize=865048 CPUtime=0.03
/proc/20775/task/20781/stat : 20781 (java) S 20774 20761 20196 0 -1 64 323 0 0 0 3 0 0 0 16 0 9 0 48016405 885809152 6686 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20782] ppid=20774 vsize=865048 CPUtime=0
/proc/20775/task/20782/stat : 20782 (java) S 20774 20761 20196 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 48016405 885809152 6687 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20783] ppid=20774 vsize=865048 CPUtime=0
/proc/20775/task/20783/stat : 20783 (java) S 20774 20761 20196 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 48016405 885809152 6689 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 884004
[startup+3.10259 s]
/proc/loadavg: 1.00 1.00 1.00 2/75 20783
/proc/meminfo: memFree=1862440/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.93
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 974 7919 0 1 3 1 83 6 16 0 1 0 48016312 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 797 370 3 0 500 0
[pid=20774] ppid=20761 vsize=5356 CPUtime=0
/proc/20774/stat : 20774 (sh) S 20761 20761 20196 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48016401 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20774/statm: 1339 233 193 169 0 50 0
[pid=20775] ppid=20774 vsize=865076 CPUtime=2.26
/proc/20775/stat : 20775 (java) S 20774 20761 20196 0 -1 0 17261 0 1 0 218 8 0 0 20 0 9 0 48016401 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20775/statm: 216269 16486 2540 9 0 210844 0
[pid=20775/tid=20776] ppid=20774 vsize=865076 CPUtime=1.11
/proc/20775/task/20776/stat : 20776 (java) R 20774 20761 20196 0 -1 64 3172 0 1 0 110 1 0 0 16 0 9 0 48016402 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4126540770 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20777] ppid=20774 vsize=865076 CPUtime=1.06
/proc/20775/task/20777/stat : 20777 (java) S 20774 20761 20196 0 -1 64 13058 0 0 0 101 5 0 0 17 0 9 0 48016403 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20778] ppid=20774 vsize=865076 CPUtime=0
/proc/20775/task/20778/stat : 20778 (java) S 20774 20761 20196 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48016403 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20779] ppid=20774 vsize=865076 CPUtime=0
/proc/20775/task/20779/stat : 20779 (java) S 20774 20761 20196 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48016403 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20780] ppid=20774 vsize=865076 CPUtime=0
/proc/20775/task/20780/stat : 20780 (java) S 20774 20761 20196 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 48016405 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20781] ppid=20774 vsize=865076 CPUtime=0.06
/proc/20775/task/20781/stat : 20781 (java) S 20774 20761 20196 0 -1 64 335 0 0 0 6 0 0 0 16 0 9 0 48016405 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20782] ppid=20774 vsize=865076 CPUtime=0
/proc/20775/task/20782/stat : 20782 (java) S 20774 20761 20196 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 48016405 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20783] ppid=20774 vsize=865076 CPUtime=0
/proc/20775/task/20783/stat : 20783 (java) S 20774 20761 20196 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 48016405 885837824 16486 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 884032
[startup+6.30287 s]
/proc/loadavg: 1.00 1.00 1.00 2/75 20783
/proc/meminfo: memFree=1819624/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=0.93
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 974 7919 0 1 3 1 83 6 16 0 1 0 48016312 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20761/statm: 3400 797 370 3 0 500 0
[pid=20774] ppid=20761 vsize=5356 CPUtime=0
/proc/20774/stat : 20774 (sh) S 20761 20761 20196 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48016401 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20774/statm: 1339 233 193 169 0 50 0
[pid=20775] ppid=20774 vsize=865188 CPUtime=5.51
/proc/20775/stat : 20775 (java) S 20774 20761 20196 0 -1 0 20303 0 1 0 536 15 0 0 20 0 9 0 48016401 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20775/statm: 216297 19404 2565 9 0 210844 0
[pid=20775/tid=20776] ppid=20774 vsize=865188 CPUtime=3.86
/proc/20775/task/20776/stat : 20776 (java) R 20774 20761 20196 0 -1 64 3346 0 1 0 380 6 0 0 17 0 9 0 48016402 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20777] ppid=20774 vsize=865188 CPUtime=1.49
/proc/20775/task/20777/stat : 20777 (java) S 20774 20761 20196 0 -1 64 15883 0 0 0 142 7 0 0 16 0 9 0 48016403 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20778] ppid=20774 vsize=865188 CPUtime=0
/proc/20775/task/20778/stat : 20778 (java) S 20774 20761 20196 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48016403 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20779] ppid=20774 vsize=865188 CPUtime=0
/proc/20775/task/20779/stat : 20779 (java) S 20774 20761 20196 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48016403 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20780] ppid=20774 vsize=865188 CPUtime=0
/proc/20775/task/20780/stat : 20780 (java) S 20774 20761 20196 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 48016405 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20781] ppid=20774 vsize=865188 CPUtime=0.13
/proc/20775/task/20781/stat : 20781 (java) R 20774 20761 20196 0 -1 64 378 0 0 0 13 0 0 0 16 0 9 0 48016405 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20775/tid=20782] ppid=20774 vsize=865188 CPUtime=0
/proc/20775/task/20782/stat : 20782 (java) S 20774 20761 20196 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 48016405 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20775/tid=20783] ppid=20774 vsize=865188 CPUtime=0
/proc/20775/task/20783/stat : 20783 (java) S 20774 20761 20196 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 48016405 885952512 19404 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 884144
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 20809
/proc/meminfo: memFree=1868392/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=8.84
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1289 44344 0 4 4 1 847 32 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20808] ppid=20761 vsize=5356 CPUtime=0
/proc/20808/stat : 20808 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48017190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20808/statm: 1339 232 193 169 0 50 0
[pid=20809] ppid=20808 vsize=17200 CPUtime=3.91
/proc/20809/stat : 20809 (minisat) R 20808 20761 20196 0 -1 4194304 4149 0 0 0 390 1 0 0 25 0 1 0 48017190 17612800 4135 996147200 134512640 135127466 4294956256 18446744073709551615 134528568 0 0 4096 3 0 0 0 17 0 0 0
/proc/20809/statm: 4300 4135 75 150 0 4147 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 36156
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 20809
/proc/meminfo: memFree=1866088/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=8.84
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1289 44344 0 4 4 1 847 32 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20808] ppid=20761 vsize=5356 CPUtime=0
/proc/20808/stat : 20808 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48017190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20808/statm: 1339 232 193 169 0 50 0
[pid=20809] ppid=20808 vsize=19500 CPUtime=16.7
/proc/20809/stat : 20809 (minisat) R 20808 20761 20196 0 -1 4194304 4752 0 0 0 1668 2 0 0 25 0 1 0 48017190 19968000 4738 996147200 134512640 135127466 4294956256 18446744073709551615 134530811 0 0 4096 3 0 0 0 17 0 0 0
/proc/20809/statm: 4875 4738 75 150 0 4722 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 38456
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 20821
/proc/meminfo: memFree=1864936/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=29.67
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1403 53319 0 5 4 1 2923 39 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20820] ppid=20761 vsize=5356 CPUtime=0
/proc/20820/stat : 20820 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48019276 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20820/statm: 1339 232 193 169 0 50 0
[pid=20821] ppid=20820 vsize=20876 CPUtime=21.44
/proc/20821/stat : 20821 (minisat) R 20820 20761 20196 0 -1 4194304 5084 0 0 0 2141 3 0 0 25 0 1 0 48019276 21377024 5070 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/20821/statm: 5219 5070 75 150 0 5066 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 39832
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 20833
/proc/meminfo: memFree=1865960/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=85.47
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1517 63938 0 6 4 2 8493 48 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
################
# More data... #
################
/proc/meminfo: memFree=1651080/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=2770.28
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 276970 58 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134522955 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3078.25
Current children cumulated vsize (KiB) 160976
[startup+3222.3 s]
/proc/loadavg: 2.02 2.40 2.21 3/84 23992
/proc/meminfo: memFree=1651080/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=2829.72
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 282914 58 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3137.69
Current children cumulated vsize (KiB) 160976
[startup+3282.3 s]
/proc/loadavg: 2.06 2.33 2.19 3/84 23992
/proc/meminfo: memFree=1651152/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=2889.16
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 288858 58 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134530700 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3197.13
Current children cumulated vsize (KiB) 160976
[startup+3342.3 s]
/proc/loadavg: 2.27 2.34 2.20 3/84 23992
/proc/meminfo: memFree=1651088/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=2948.6
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 294801 59 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134530772 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3256.57
Current children cumulated vsize (KiB) 160976
[startup+3402.31 s]
/proc/loadavg: 2.12 2.28 2.19 3/84 23992
/proc/meminfo: memFree=1651088/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=3008.04
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 300745 59 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3316.01
Current children cumulated vsize (KiB) 160976
[startup+3462.3 s]
/proc/loadavg: 2.05 2.23 2.17 3/84 23992
/proc/meminfo: memFree=1650896/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=3067.48
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 306689 59 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3375.45
Current children cumulated vsize (KiB) 160976
[startup+3522.3 s]
/proc/loadavg: 2.01 2.18 2.16 3/84 23992
/proc/meminfo: memFree=1650896/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=3126.92
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35227 0 0 0 312633 59 0 0 25 0 1 0 48047121 145428480 35213 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35213 75 150 0 35352 0
Current children cumulated CPU time (s) 3434.89
Current children cumulated vsize (KiB) 160976
[startup+3582.3 s]
/proc/loadavg: 2.00 2.15 2.15 3/84 23992
/proc/meminfo: memFree=1650768/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142020 CPUtime=3186.36
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35239 0 0 0 318577 59 0 0 25 0 1 0 48047121 145428480 35225 996147200 134512640 135127466 4294956256 18446744073709551615 134530684 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35505 35225 75 150 0 35352 0
Current children cumulated CPU time (s) 3494.33
Current children cumulated vsize (KiB) 160976
[startup+3642.3 s]
/proc/loadavg: 2.00 2.12 2.14 3/84 23992
/proc/meminfo: memFree=1650768/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142244 CPUtime=3245.79
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35263 0 0 0 324520 59 0 0 25 0 1 0 48047121 145657856 35249 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35561 35249 75 150 0 35408 0
Current children cumulated CPU time (s) 3553.76
Current children cumulated vsize (KiB) 161200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3689 s]
/proc/loadavg: 2.00 2.10 2.13 3/84 23992
/proc/meminfo: memFree=1650768/2055920 swapFree=4178200/4192956
[pid=20761] ppid=20759 vsize=13600 CPUtime=307.97
/proc/20761/stat : 20761 (sugar) S 20759 20761 20196 0 -1 4194304 1631 79162 0 7 4 2 30727 64 16 0 1 0 48016312 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20761/statm: 3400 805 374 3 0 500 0
[pid=20844] ppid=20761 vsize=5356 CPUtime=0
/proc/20844/stat : 20844 (sh) S 20761 20761 20196 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 48047121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20844/statm: 1339 232 193 169 0 50 0
[pid=20845] ppid=20844 vsize=142244 CPUtime=3292.05
/proc/20845/stat : 20845 (minisat) R 20844 20761 20196 0 -1 4194304 35267 0 0 0 329146 59 0 0 25 0 1 0 48047121 145657856 35253 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/20845/statm: 35561 35253 75 150 0 35408 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 161200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20761 and gives
# childrusage.ru_utime.tv_sec=307
# childrusage.ru_utime.tv_usec=323279
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=680896
# CPU time returned by wait4() is 308.004
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3689.04
CPU time (s): 3600.02
CPU user time (s): 3598.77
CPU system time (s): 1.25
CPU usage (%): 97.587
Max. virtual memory (cumulated for all children) (KiB): 884144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.323
system time used= 0.680896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81136
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= 2478
involuntary context switches= 2268
runsolver used 4.63829 second user time and 10.9313 second system time
The end
Begin job on node31 at 2008-07-13 03:39:02
IDJOB=1115028
IDBENCH=61807
IDSOLVER=368
FILE ID=node31/1115028-1215913142
PBS_JOBID= 7903699
Free space on /tmp= 66492 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1115028-1215913142/watcher-1115028-1215913142 -o /tmp/evaluation-result-1115028-1215913142/solver-1115028-1215913142 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1115028-1215913142.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6d488f56284b737344d331275a76980b
RANDOM SEED=1778936303
node31.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.236
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.236
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: 1897568 kB
Buffers: 31460 kB
Cached: 80364 kB
SwapCached: 8060 kB
Active: 45412 kB
Inactive: 75852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1897568 kB
SwapTotal: 4192956 kB
SwapFree: 4178200 kB
Dirty: 3088 kB
Writeback: 0 kB
Mapped: 14688 kB
Slab: 22796 kB
Committed_AS: 229636 kB
PageTables: 1532 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node31 at 2008-07-13 04:40:33