0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Sun Jul 13 00:33:16 2008
0.00/0.08 c 0 PID 16845
0.07/0.08 c 0 HOST node42.alineos.net
0.07/0.08 c 0 CONVERTING HOME/instance-1114435-1215901996.xml TO HOME/temp.csp
0.07/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114435-1215901996.xml' 'HOME/temp.csp'
0.07/0.69 c 0 1 domains, 40 variables, 0 predicates, 250 relations, 250 constraints
0.07/0.71 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.71 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.07/0.79 c 0 Parsing HOME/temp.csp
0.94/1.04 c 1 parsed 541 expressions
0.94/1.04 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.94/1.04 c 1 MAX CSP: 250 constraints
0.94/1.04 c 1 Converting to clausal form CSP
0.94/1.07 c 1 converted 80 (10%) expressions
0.94/1.07 c 1 converted 159 (20%) expressions
0.94/1.07 c 1 converted 239 (30%) expressions
0.94/1.10 c 1 converted 318 (40%) expressions
1.03/1.12 c 1 converted 397 (50%) expressions
1.03/1.13 c 1 converted 477 (60%) expressions
1.03/1.14 c 1 converted 556 (70%) expressions
1.13/1.20 c 1 converted 636 (80%) expressions
1.13/1.21 c 1 converted 715 (90%) expressions
1.23/1.36 c 1 converted 794 (100%) expressions
1.23/1.37 c 1 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 376
1.23/1.37 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.37 c 1 Propagation in CSP
1.23/1.39 c 1 244 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.23/1.40 c 1 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
1.23/1.40 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.40 c 1 Simplifing CSP by introducing new Boolean variables
1.33/1.40 c 1 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
1.33/1.40 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.33/1.43 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.33/1.45 c 1 54 (10%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.33/1.45 c 1 108 (20%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.33/1.45 c 1 162 (30%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.33/1.45 c 1 216 (40%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.33/1.45 c 1 270 (50%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.33/1.46 c 1 324 (60%) CSP integer variables are encoded (940 clauses, 10665 bytes)
1.33/1.46 c 1 378 (70%) CSP integer variables are encoded (1195 clauses, 13980 bytes)
1.33/1.46 c 1 432 (80%) CSP integer variables are encoded (3113 clauses, 38914 bytes)
1.33/1.46 c 1 486 (90%) CSP integer variables are encoded (3396 clauses, 42593 bytes)
1.33/1.47 c 1 540 (100%) CSP integer variables are encoded (3811 clauses, 47988 bytes)
1.42/1.54 c 1 75 (10%) CSP clauses are encoded (7805 clauses, 132877 bytes)
1.42/1.56 c 1 150 (20%) CSP clauses are encoded (11763 clauses, 225134 bytes)
1.42/1.59 c 1 225 (30%) CSP clauses are encoded (15750 clauses, 318696 bytes)
1.52/1.61 c 1 300 (40%) CSP clauses are encoded (17592 clauses, 358220 bytes)
1.52/1.62 c 1 375 (50%) CSP clauses are encoded (21755 clauses, 431988 bytes)
1.52/1.66 c 1 450 (60%) CSP clauses are encoded (40052 clauses, 753972 bytes)
1.63/1.75 c 1 525 (70%) CSP clauses are encoded (84502 clauses, 1568229 bytes)
1.63/1.75 c 1 600 (80%) CSP clauses are encoded (86064 clauses, 1594816 bytes)
1.63/1.77 c 1 675 (90%) CSP clauses are encoded (89513 clauses, 1655829 bytes)
1.63/1.79 c 1 749 (100%) CSP clauses are encoded (101719 clauses, 1876313 bytes)
1.63/1.79 c 1 749 CSP clauses encoded
1.63/1.79 c 1 Writing map file : HOME/temp.map
1.63/1.80 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.63/1.80 c 1 SAT : 4351 SAT variables, 101719 SAT clauses, 1876313 bytes
1.63/1.80 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.72/1.82 c 1 OBJECTIVE minimize _COST
1.72/1.82 c 1 SOLVING HOME/temp.cnf
1.72/1.82 c 1 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.72/1.82 c 1 This is MiniSat 2.0 beta incremental
1.72/1.82 c 1 WARNING: for repeatability, setting FPU to use double precision
1.72/1.82 c 1 ============================[ Problem Statistics ]=============================
1.72/1.82 c 1 | |
1.72/1.82 c 1 | Number of variables: 4351 |
1.72/1.82 c 1 | Number of clauses: 101719 |
1.72/1.87 c 1 | Parsing time: 0.04 s |
1.72/1.87 c 1 OK
1.72/1.87 c 1 OBJECTIVE BOUND: 0 <= _COST <=
1.72/1.87 c 1 SEARCHING: _COST <= 125
1.72/1.87 c 1 ============================[ Search Statistics ]==============================
1.72/1.87 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.72/1.87 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.72/1.87 c 1 ===============================================================================
1.72/1.87 c 1 | 0 | 4351 101719 316597 | 33906 0 nan | 0.000 % |
1.72/1.88 c 1 ===============================================================================
1.72/1.88 c 1 restarts : 1
1.72/1.88 c 1 conflicts : 8 (145 /sec)
1.72/1.88 c 1 decisions : 63 (0.00 % random) (1146 /sec)
1.72/1.88 c 1 propagations : 4967 (90324 /sec)
1.72/1.88 c 1 conflict literals : 153 (11.56 % deleted)
1.72/1.88 c 1 Memory used : 6.41 MB
1.72/1.88 c 1 CPU time : 0.054991 s
1.72/1.88 c 1
1.72/1.88 c 1 SATISFIABLE
1.72/1.88 c 1 OK
1.72/1.88 c 1 FOUND: _COST <= 125
1.72/1.88 s SATISFIABLE
1.72/1.88 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.72/1.88 c 1 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.73/1.96 c 2 Decoding HOME/temp.out
1.73/2.03 c 2 OBJECTIVE _COST 125
1.73/2.03 o 125
1.73/2.03 v 4 14 15 8 15 14 13 8 14 13 14 15 14 14 13 2 13 12 15 2 15 14 15 13 12 13 15 12 10 1 13 13 14 15 15 14 15 15 15 15
1.73/2.03 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.73/2.04 c 2 OK
1.73/2.04 c 2 OBJECTIVE BOUND: 0 <= _COST <= 125
1.73/2.04 c 2 SEARCHING: _COST <= 62
1.73/2.05 c 2 ============================[ Search Statistics ]==============================
1.73/2.06 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.73/2.06 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.73/2.06 c 2 ===============================================================================
1.73/2.06 c 2 | 8 | 4351 101719 316597 | 33906 8 19 | 0.000 % |
1.73/2.07 c 2 | 109 | 3507 101719 316597 | 37296 109 27 | 22.986 % |
1.73/2.07 c 2 ===============================================================================
1.73/2.07 c 2 restarts : 3
1.73/2.07 c 2 conflicts : 113 (1362 /sec)
1.73/2.07 c 2 decisions : 355 (0.56 % random) (4278 /sec)
1.73/2.07 c 2 propagations : 45721 (550942 /sec)
1.73/2.07 c 2 conflict literals : 3017 (28.63 % deleted)
1.73/2.07 c 2 Memory used : 6.54 MB
1.73/2.07 c 2 CPU time : 0.082987 s
1.73/2.07 c 2
1.73/2.07 c 2 SATISFIABLE
1.73/2.07 c 2 OK
1.73/2.07 c 2 FOUND: _COST <= 62
1.73/2.07 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.73/2.07 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.98/2.16 c 2 Decoding HOME/temp.out
2.09/2.23 c 2 OBJECTIVE _COST 62
2.09/2.23 o 62
2.09/2.24 v 10 9 14 10 11 12 15 14 4 10 15 8 15 8 12 15 15 13 5 15 14 11 1 15 2 12 11 5 15 15 15 14 15 8 15 13 15 15 8 15
2.09/2.24 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.09/2.29 c 2 OK
2.09/2.29 c 2 OBJECTIVE BOUND: 0 <= _COST <= 62
2.09/2.29 c 2 SEARCHING: _COST <= 31
2.15/2.30 c 2 ============================[ Search Statistics ]==============================
2.15/2.30 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.15/2.30 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.15/2.30 c 2 ===============================================================================
2.15/2.30 c 2 | 113 | 3351 101719 316597 | 33906 113 27 | 22.986 % |
2.15/2.30 c 2 ===============================================================================
2.15/2.30 c 2 restarts : 4
2.15/2.30 c 2 conflicts : 152 (1652 /sec)
2.15/2.30 c 2 decisions : 444 (0.68 % random) (4827 /sec)
2.15/2.30 c 2 propagations : 52943 (575555 /sec)
2.15/2.30 c 2 conflict literals : 4444 (23.29 % deleted)
2.15/2.30 c 2 Memory used : 6.54 MB
2.15/2.30 c 2 CPU time : 0.091986 s
2.15/2.30 c 2
2.15/2.30 c 2 SATISFIABLE
2.15/2.30 c 2 OK
2.15/2.30 c 2 FOUND: _COST <= 31
2.15/2.30 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.15/2.30 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.15/2.38 c 2 Decoding HOME/temp.out
2.16/2.45 c 2 OBJECTIVE _COST 31
2.16/2.45 o 31
2.16/2.45 v 2 4 9 6 5 15 9 14 7 10 3 14 12 8 4 15 15 12 14 4 14 11 13 15 8 13 1 14 15 4 15 14 14 15 8 13 15 15 8 10
2.16/2.45 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.16/2.46 c 2 OK
2.16/2.46 c 2 OBJECTIVE BOUND: 0 <= _COST <= 31
2.16/2.46 c 2 SEARCHING: _COST <= 15
2.16/2.47 c 2 ============================[ Search Statistics ]==============================
2.16/2.48 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.16/2.48 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.16/2.48 c 2 ===============================================================================
2.16/2.48 c 2 | 152 | 2782 101719 316597 | 33906 152 29 | 22.986 % |
2.16/2.49 c 2 | 252 | 2782 101719 316597 | 37296 252 28 | 44.658 % |
2.35/2.51 c 2 | 402 | 2782 101719 316597 | 41026 402 30 | 44.658 % |
2.35/2.54 c 2 | 627 | 2782 101719 316597 | 45129 627 31 | 44.658 % |
2.35/2.59 c 2 | 965 | 2782 101719 316597 | 49642 965 29 | 44.658 % |
2.45/2.67 c 2 | 1472 | 2408 35687 124111 | 54606 1461 28 | 44.658 % |
2.56/2.77 c 2 | 2232 | 2408 35687 124111 | 60067 2221 31 | 44.658 % |
2.75/2.94 c 3 | 3372 | 2408 35687 124111 | 66073 3361 29 | 44.658 % |
2.95/3.19 c 3 | 5080 | 2408 35687 124111 | 72681 5069 29 | 44.658 % |
3.45/3.60 c 3 | 7642 | 2408 35687 124111 | 79949 7631 33 | 44.658 % |
3.65/3.84 c 3 ===============================================================================
3.65/3.84 c 3 restarts : 14
3.65/3.84 c 3 conflicts : 9190 (6335 /sec)
3.65/3.84 c 3 decisions : 11721 (0.53 % random) (8079 /sec)
3.65/3.84 c 3 propagations : 2389739 (1647211 /sec)
3.65/3.84 c 3 conflict literals : 317395 (29.30 % deleted)
3.65/3.84 c 3 Memory used : 6.67 MB
3.65/3.84 c 3 CPU time : 1.45078 s
3.65/3.84 c 3
3.65/3.84 c 3 SATISFIABLE
3.65/3.84 c 3 OK
3.65/3.84 c 3 FOUND: _COST <= 15
3.65/3.84 c 3 DECODING HOME/temp.out WITH HOME/temp.map
3.65/3.84 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'
3.69/3.92 c 4 Decoding HOME/temp.out
3.69/3.99 c 4 OBJECTIVE _COST 15
3.69/3.99 o 15
3.69/3.99 v 15 15 12 15 5 8 10 4 15 15 5 15 4 13 2 4 15 3 15 15 3 2 12 15 12 12 15 9 15 8 4 6 8 1 4 7 6 4 7 5
3.69/3.99 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.69/4.01 c 4 OK
3.69/4.01 c 4 OBJECTIVE BOUND: 0 <= _COST <= 15
3.69/4.01 c 4 SEARCHING: _COST <= 7
3.69/4.02 c 4 ============================[ Search Statistics ]==============================
3.69/4.03 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.69/4.03 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.69/4.03 c 4 ===============================================================================
3.69/4.03 c 4 | 9190 | 2094 26073 96195 | 8691 9114 35 | 44.658 % |
3.69/4.03 c 4 | 9291 | 2094 26073 96195 | 9560 9215 34 | 51.875 % |
3.69/4.05 c 4 | 9441 | 2094 26073 96195 | 10516 9365 34 | 51.875 % |
3.93/4.10 c 4 | 9668 | 2094 26073 96195 | 11567 9592 34 | 51.875 % |
3.93/4.15 c 4 | 10005 | 2094 26073 96195 | 12724 9929 33 | 51.875 % |
4.03/4.24 c 4 | 10513 | 2094 26073 96195 | 13996 10437 33 | 51.875 % |
4.13/4.38 c 4 | 11272 | 2094 26073 96195 | 15396 11196 33 | 51.875 % |
4.43/4.62 c 4 | 12411 | 2094 26073 96195 | 16936 12335 32 | 51.875 % |
4.73/4.98 c 5 | 14120 | 2094 26073 96195 | 18629 14044 32 | 51.875 % |
5.43/5.60 c 5 | 16682 | 2094 26073 96195 | 20492 16606 31 | 51.875 % |
6.32/6.53 c 6 | 20527 | 2094 26073 96195 | 22542 20451 31 | 51.875 % |
7.70/7.93 c 8 | 26294 | 2094 26073 96195 | 24796 13433 25 | 51.875 % |
9.88/10.12 c 10 | 34943 | 2094 26073 96195 | 27276 22082 28 | 51.875 % |
14.04/14.30 c 14 | 47917 | 2094 26073 96195 | 30003 18144 33 | 51.875 % |
20.49/20.81 c 20 | 67378 | 2094 26073 96195 | 33004 18948 27 | 51.875 % |
29.80/30.24 c 30 | 96570 | 2094 26073 96195 | 36304 24925 37 | 51.875 % |
44.64/45.22 c 45 | 140361 | 2094 26073 96195 | 39934 16245 32 | 51.875 % |
66.44/67.27 c 67 | 206045 | 2094 26073 96195 | 43928 22248 43 | 51.875 % |
102.31/103.47 c 103 | 304571 | 2094 26073 96195 | 48321 20979 51 | 51.875 % |
157.48/159.15 c 159 | 452360 | 2094 26073 96195 | 53153 21417 30 | 51.875 % |
207.31/209.48 c 209 ===============================================================================
207.31/209.48 c 209 restarts : 34
207.31/209.48 c 209 conflicts : 574265 (2802 /sec)
207.31/209.48 c 209 decisions : 630065 (0.70 % random) (3074 /sec)
207.31/209.48 c 209 propagations : 176974099 (863445 /sec)
207.31/209.48 c 209 conflict literals : 20297511 (32.49 % deleted)
207.31/209.48 c 209 Memory used : 18.41 MB
207.31/209.48 c 209 CPU time : 204.963 s
207.31/209.48 c 209
207.31/209.48 c 209 SATISFIABLE
207.31/209.48 c 209 OK
207.31/209.48 c 209 FOUND: _COST <= 7
207.31/209.48 c 209 DECODING HOME/temp.out WITH HOME/temp.map
207.31/209.48 c 209 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
207.39/209.57 c 209 Decoding HOME/temp.out
207.39/209.65 c 209 OBJECTIVE _COST 7
207.39/209.65 o 7
207.39/209.65 v 15 15 11 15 0 0 6 9 0 12 4 1 8 6 5 15 15 11 4 13 6 5 3 15 11 6 15 3 9 14 4 9 15 3 11 2 12 7 2 1
207.39/209.66 c 209 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
207.39/209.71 c 209 OK
207.39/209.71 c 209 OBJECTIVE BOUND: 0 <= _COST <= 7
207.39/209.71 c 209 SEARCHING: _COST <= 3
207.39/209.71 c 209 ============================[ Search Statistics ]==============================
207.39/209.71 c 209 | Conflicts | ORIGINAL | LEARNT | Progress |
207.39/209.71 c 209 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
207.39/209.71 c 209 ===============================================================================
207.39/209.71 c 209 | 574265 | 1796 20503 80371 | 6834 18745 33 | 51.875 % |
207.39/209.77 c 209 | 574366 | 1796 20503 80371 | 7517 9474 30 | 58.724 % |
207.39/209.79 c 209 | 574516 | 1796 20503 80371 | 8269 9624 30 | 58.724 % |
207.67/209.84 c 209 | 574741 | 1796 20503 80371 | 9096 9849 30 | 58.724 % |
207.77/209.90 c 210 | 575078 | 1796 20503 80371 | 10006 10186 30 | 58.724 % |
207.77/210.00 c 210 | 575586 | 1796 20503 80371 | 11006 10694 30 | 58.724 % |
207.97/210.15 c 210 | 576346 | 1796 20503 80371 | 12107 11454 30 | 58.724 % |
208.27/210.40 c 210 | 577485 | 1796 20503 80371 | 13318 12593 32 | 58.724 % |
208.57/210.74 c 210 | 579196 | 1796 20503 80371 | 14650 14304 32 | 58.724 % |
209.16/211.32 c 211 | 581758 | 1796 20503 80371 | 16115 16866 33 | 58.724 % |
209.95/212.19 c 212 | 585602 | 1796 20503 80371 | 17726 11079 33 | 58.724 % |
211.44/213.66 c 213 | 591369 | 1796 20503 80371 | 19499 16846 37 | 58.724 % |
213.71/215.95 c 216 | 600018 | 1796 20503 80371 | 21449 14153 36 | 58.724 % |
216.88/219.12 c 219 | 612992 | 1796 20503 80371 | 23593 14018 42 | 58.724 % |
219.96/222.28 c 222 ===============================================================================
219.96/222.28 c 222 restarts : 48
219.96/222.28 c 222 conflicts : 625953 (2879 /sec)
219.96/222.28 c 222 decisions : 688626 (0.70 % random) (3167 /sec)
219.96/222.28 c 222 propagations : 189644759 (872251 /sec)
219.96/222.28 c 222 conflict literals : 22358798 (32.29 % deleted)
219.96/222.28 c 222 Memory used : 18.32 MB
219.96/222.28 c 222 CPU time : 217.42 s
219.96/222.28 c 222
219.96/222.28 c 222 SATISFIABLE
219.96/222.28 c 222 OK
219.96/222.28 c 222 FOUND: _COST <= 3
219.96/222.28 c 222 DECODING HOME/temp.out WITH HOME/temp.map
219.96/222.28 c 222 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
220.04/222.36 c 222 Decoding HOME/temp.out
220.04/222.43 c 222 OBJECTIVE _COST 3
220.04/222.43 o 3
220.04/222.43 v 12 5 2 13 10 8 5 4 14 12 10 14 15 8 4 15 12 14 3 5 6 2 15 12 5 1 1 8 4 10 5 3 4 12 11 6 5 7 12 15
220.04/222.44 c 222 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
220.04/222.46 c 222 OK
220.04/222.46 c 222 OBJECTIVE BOUND: 0 <= _COST <= 3
220.04/222.46 c 222 SEARCHING: _COST <= 1
220.04/222.46 c 222 ============================[ Search Statistics ]==============================
220.04/222.46 c 222 | Conflicts | ORIGINAL | LEARNT | Progress |
220.04/222.46 c 222 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
220.04/222.46 c 222 ===============================================================================
220.04/222.46 c 222 | 625953 | 1478 17147 71253 | 5715 26979 41 | 58.724 % |
220.25/222.55 c 222 | 626053 | 1478 17147 71253 | 6287 6208 32 | 66.033 % |
220.25/222.57 c 222 | 626204 | 1478 17147 71253 | 6915 6359 32 | 66.033 % |
220.35/222.61 c 222 | 626430 | 1478 17147 71253 | 7607 6585 32 | 66.033 % |
220.35/222.65 c 222 | 626768 | 1478 17147 71253 | 8368 6923 33 | 66.033 % |
220.45/222.72 c 222 | 627274 | 1478 17147 71253 | 9205 7429 33 | 66.033 % |
220.55/222.87 c 222 | 628033 | 1478 17147 71253 | 10125 8188 34 | 66.033 % |
220.74/223.03 c 223 | 629172 | 1478 17147 71253 | 11138 9327 34 | 66.033 % |
221.04/223.31 c 223 | 630880 | 1478 17147 71253 | 12252 11035 37 | 66.033 % |
221.44/223.71 c 223 | 633443 | 1478 17147 71253 | 13477 13598 39 | 66.033 % |
222.13/224.49 c 224 | 637287 | 1478 17147 71253 | 14824 8999 43 | 66.033 % |
223.62/225.92 c 226 | 643053 | 1478 17147 71253 | 16307 14765 51 | 66.033 % |
225.70/228.01 c 228 | 651702 | 1478 17147 71253 | 17938 13532 48 | 66.033 % |
228.67/231.06 c 231 | 664676 | 1478 17147 71253 | 19732 15815 38 | 66.033 % |
233.03/235.50 c 235 | 684138 | 1478 17147 71253 | 21705 23461 48 | 66.033 % |
241.15/243.68 c 243 | 713330 | 1478 17147 71253 | 23875 14352 47 | 66.033 % |
254.23/256.83 c 256 | 757121 | 1478 17147 71253 | 26263 16110 54 | 66.033 % |
273.35/276.18 c 276 | 822807 | 1478 17147 71253 | 28889 16726 31 | 66.033 % |
304.65/307.74 c 307 | 921334 | 1478 17147 71253 | 31778 28274 49 | 66.033 % |
350.22/353.77 c 353 | 1069123 | 1478 17147 71253 | 34956 32759 39 | 66.033 % |
423.03/427.22 c 427 | 1290806 | 1478 17147 71253 | 38452 15410 31 | 66.033 % |
530.81/536.07 c 536 | 1623331 | 1478 17147 71253 | 42297 15912 50 | 66.033 % |
707.65/714.58 c 714 ===============================================================================
707.65/714.58 c 714 restarts : 70
707.65/714.58 c 714 conflicts : 2111703 (2996 /sec)
707.65/714.58 c 714 decisions : 2399802 (0.77 % random) (3404 /sec)
707.65/714.58 c 714 propagations : 497197129 (705304 /sec)
707.65/714.58 c 714 conflict literals : 84013246 (30.67 % deleted)
707.65/714.58 c 714 Memory used : 22.02 MB
707.65/714.58 c 714 CPU time : 704.94 s
707.65/714.58 c 714
707.65/714.58 c 714 SATISFIABLE
707.65/714.59 c 714 OK
707.65/714.59 c 714 FOUND: _COST <= 1
707.65/714.59 c 714 DECODING HOME/temp.out WITH HOME/temp.map
707.65/714.59 c 714 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
707.74/714.67 c 714 Decoding HOME/temp.out
707.74/714.75 c 714 OBJECTIVE _COST 1
707.74/714.75 o 1
707.74/714.76 v 3 9 14 3 7 7 1 15 7 13 12 9 3 0 0 14 15 11 2 15 9 2 13 7 3 13 1 9 9 7 1 9 11 14 12 2 15 11 9 14
707.74/714.76 c 714 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
707.74/714.81 c 714 OK
707.74/714.81 c 714 OBJECTIVE BOUND: 0 <= _COST <= 1
707.74/714.81 c 714 SEARCHING: _COST <= 0
707.74/714.81 c 714 ============================[ Search Statistics ]==============================
707.74/714.81 c 714 | Conflicts | ORIGINAL | LEARNT | Progress |
707.74/714.81 c 714 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
707.74/714.81 c 714 ===============================================================================
707.74/714.81 c 714 | 2111703 | 1100 14838 65458 | 4946 16034 33 | 66.033 % |
707.74/714.85 c 714 | 2111803 | 1100 14838 65458 | 5440 8117 31 | 74.721 % |
707.74/714.88 c 714 | 2111953 | 1100 14838 65458 | 5984 8267 30 | 74.721 % |
708.02/714.93 c 715 | 2112179 | 1100 14838 65458 | 6583 8493 31 | 74.721 % |
708.02/715.00 c 715 | 2112516 | 1100 14838 65458 | 7241 8830 31 | 74.721 % |
708.12/715.09 c 715 | 2113022 | 1100 14838 65458 | 7965 9336 31 | 74.721 % |
708.31/715.21 c 715 | 2113781 | 1100 14838 65458 | 8762 10095 31 | 74.721 % |
708.51/715.41 c 715 | 2114920 | 1100 14838 65458 | 9638 11234 32 | 74.721 % |
708.81/715.71 c 715 | 2116628 | 1100 14838 65458 | 10602 12942 34 | 74.721 % |
709.30/716.23 c 716 | 2119191 | 1100 14838 65458 | 11662 8276 35 | 74.721 % |
709.99/716.93 c 717 | 2123035 | 1100 14838 65458 | 12828 12120 36 | 74.721 % |
711.18/718.12 c 718 | 2128801 | 1100 14838 65458 | 14111 9543 32 | 74.721 % |
712.97/719.91 c 720 | 2137450 | 1100 14838 65458 | 15522 9202 36 | 74.721 % |
715.54/722.59 c 722 | 2150426 | 1100 14838 65458 | 17074 12474 40 | 74.721 % |
720.10/727.19 c 727 | 2169888 | 1100 14838 65458 | 18782 10980 49 | 74.721 % |
727.23/734.38 c 734 | 2199084 | 1100 14838 65458 | 20660 17472 49 | 74.721 % |
738.43/745.65 c 745 | 2242875 | 1100 14838 65458 | 22726 24200 57 | 74.721 % |
755.57/762.92 c 763 | 2308559 | 1100 14838 65458 | 24999 20555 55 | 74.721 % |
784.99/792.64 c 792 | 2407086 | 1100 14838 65458 | 27499 26264 60 | 74.721 % |
829.76/837.86 c 837 | 2554876 | 1100 14838 65458 | 30249 20338 64 | 74.721 % |
900.49/909.24 c 909 | 2776559 | 1100 14838 65458 | 33274 22878 66 | 74.721 % |
1016.10/1025.96 c 1026 | 3109084 | 1100 14838 65458 | 36601 15493 85 | 74.721 % |
1180.15/1191.59 c 1191 ===============================================================================
1180.15/1191.59 c 1191 restarts : 92
1180.15/1191.59 c 1191 conflicts : 3563207 (3027 /sec)
1180.15/1191.59 c 1191 decisions : 4151242 (0.86 % random) (3526 /sec)
1180.15/1191.59 c 1191 propagations : 626644684 (532303 /sec)
1180.15/1191.59 c 1191 conflict literals : 202810468 (19.49 % deleted)
1180.15/1191.59 c 1191 Memory used : 31.73 MB
1180.15/1191.59 c 1191 CPU time : 1177.23 s
1180.15/1191.59 c 1191
1180.15/1191.59 c 1191 UNSATISFIABLE
1180.15/1191.59 c 1191 OK
1180.15/1191.59 c 1191 NOT FOUND: _COST <= 0
1180.15/1191.59 c 1191 OK
1180.15/1191.59 c 1191 OBJECTIVE _COST 1
1180.15/1191.59 s OPTIMUM FOUND
1180.26/1191.60 c 1191 CPU 1179.85 (0.06 0.03 1179.79 0.38)
1180.26/1191.60 c 1191 END Sun Jul 13 00:53:07 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-1114435-1215901996/watcher-1114435-1215901996 -o /tmp/evaluation-result-1114435-1215901996/solver-1114435-1215901996 -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-1114435-1215901996.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.52 2.63 2.61 4/81 16845
/proc/meminfo: memFree=1905240/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=12268 CPUtime=0
/proc/16845/stat : 16845 (sugar++) R 16843 16845 15919 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 46898987 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 259415308901 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/16845/statm: 3067 316 241 3 0 167 0
[startup+0.0814059 s]
/proc/loadavg: 2.52 2.63 2.61 4/81 16845
/proc/meminfo: memFree=1905240/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16740 CPUtime=0.07
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1143 0 0 0 5 2 0 0 18 0 1 0 46898987 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.101633 s]
/proc/loadavg: 2.52 2.63 2.61 4/81 16845
/proc/meminfo: memFree=1905240/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16740 CPUtime=0.07
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 46898987 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.30165 s]
/proc/loadavg: 2.52 2.63 2.61 4/81 16845
/proc/meminfo: memFree=1905240/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16740 CPUtime=0.07
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 46898987 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701697 s]
/proc/loadavg: 2.52 2.63 2.61 4/81 16845
/proc/meminfo: memFree=1905240/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16740 CPUtime=0.07
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1236 128 0 0 5 2 0 0 15 0 1 0 46898987 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.50278 s]
/proc/loadavg: 2.52 2.63 2.61 3/92 16867
/proc/meminfo: memFree=1894464/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16740 CPUtime=0.66
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1297 4673 0 1 5 2 56 3 15 0 1 0 46898987 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4185 1104 409 3 0 764 0
[pid=16858] ppid=16845 vsize=5356 CPUtime=0
/proc/16858/stat : 16858 (sh) S 16845 16845 15919 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46899059 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16858/statm: 1339 233 193 169 0 50 0
[pid=16859] ppid=16858 vsize=868384 CPUtime=0.76
/proc/16859/stat : 16859 (java) S 16858 16845 15919 0 -1 0 7445 0 1 0 72 4 0 0 18 0 9 0 46899059 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16859/statm: 217096 6682 2565 9 0 211643 0
[pid=16859/tid=16860] ppid=16858 vsize=868384 CPUtime=0.38
/proc/16859/task/16860/stat : 16860 (java) R 16858 16845 15919 0 -1 64 2717 0 1 0 37 1 0 0 18 0 9 0 46899060 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16861] ppid=16858 vsize=868384 CPUtime=0.13
/proc/16859/task/16861/stat : 16861 (java) S 16858 16845 15919 0 -1 64 2576 0 0 0 12 1 0 0 16 0 9 0 46899061 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16862] ppid=16858 vsize=868384 CPUtime=0
/proc/16859/task/16862/stat : 16862 (java) S 16858 16845 15919 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46899061 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16863] ppid=16858 vsize=868384 CPUtime=0
/proc/16859/task/16863/stat : 16863 (java) S 16858 16845 15919 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46899061 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16864] ppid=16858 vsize=868384 CPUtime=0
/proc/16859/task/16864/stat : 16864 (java) S 16858 16845 15919 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46899063 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16865] ppid=16858 vsize=868384 CPUtime=0.22
/proc/16859/task/16865/stat : 16865 (java) R 16858 16845 15919 0 -1 64 1459 0 0 0 21 1 0 0 16 0 9 0 46899063 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 12609698 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16866] ppid=16858 vsize=868384 CPUtime=0
/proc/16859/task/16866/stat : 16866 (java) S 16858 16845 15919 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46899063 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16859/tid=16867] ppid=16858 vsize=868384 CPUtime=0
/proc/16859/task/16867/stat : 16867 (java) S 16858 16845 15919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46899063 889225216 6682 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 890480
[startup+3.10196 s]
/proc/loadavg: 2.48 2.62 2.61 4/89 16884
/proc/meminfo: memFree=1891864/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.24
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1688 23799 0 5 6 2 198 18 15 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=6828 CPUtime=0.71
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 1623 0 0 0 71 0 0 0 20 0 1 0 46899169 6991872 1566 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 1707 1566 79 151 0 1553 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 23700
[startup+6.30132 s]
/proc/loadavg: 2.48 2.62 2.61 3/83 16908
/proc/meminfo: memFree=1893512/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.39
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1758 27565 0 6 6 2 210 21 15 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=7912 CPUtime=3.73
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 1905 0 0 0 372 1 0 0 25 0 1 0 46899169 8101888 1846 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 1978 1846 79 151 0 1824 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 24784
[startup+12.702 s]
/proc/loadavg: 2.44 2.61 2.60 3/83 16908
/proc/meminfo: memFree=1891656/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.39
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1758 27565 0 6 6 2 210 21 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=9660 CPUtime=10.07
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 2324 0 0 0 1006 1 0 0 25 0 1 0 46899169 9891840 2265 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 2415 2265 79 151 0 2261 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 26532
[startup+25.5014 s]
/proc/loadavg: 2.34 2.58 2.59 3/83 16908
/proc/meminfo: memFree=1890376/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.39
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1758 27565 0 6 6 2 210 21 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=10852 CPUtime=22.75
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 2624 0 0 0 2273 2 0 0 25 0 1 0 46899169 11112448 2565 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 2713 2565 79 151 0 2559 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 27724
[startup+51.1013 s]
/proc/loadavg: 2.28 2.55 2.58 3/83 16908
/proc/meminfo: memFree=1888520/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.39
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1758 27565 0 6 6 2 210 21 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=12740 CPUtime=48.1
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 3078 0 0 0 4808 2 0 0 25 0 1 0 46899169 13045760 3019 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 3185 3019 79 151 0 3031 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 29612
[startup+102.307 s]
/proc/loadavg: 2.17 2.47 2.55 3/83 16908
/proc/meminfo: memFree=1883592/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.39
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1758 27565 0 6 6 2 210 21 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=17492 CPUtime=98.83
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 4270 0 0 0 9879 4 0 0 25 0 1 0 46899169 17911808 4211 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 4373 4211 79 151 0 4219 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 34364
[startup+162.302 s]
/proc/loadavg: 2.12 2.40 2.52 3/83 16908
/proc/meminfo: memFree=1883528/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.39
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1758 27565 0 6 6 2 210 21 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=17492 CPUtime=158.27
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 4277 0 0 0 15823 4 0 0 25 0 1 0 46899169 17911808 4218 996147200 134512640 135134323 4294956192 18446744073709551615 134531818 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 4373 4218 79 151 0 4219 0
Current children cumulated CPU time (s) 160.66
Current children cumulated vsize (KiB) 34364
[startup+222.301 s]
/proc/loadavg: 2.09 2.34 2.49 3/83 16918
/proc/meminfo: memFree=1882056/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.58
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1860 31330 0 7 6 2 227 23 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=18752 CPUtime=217.46
/proc/16868/stat : 16868 (minisat-inc) S 16845 16845 15919 0 -1 4194304 4594 0 0 0 21742 4 0 0 25 0 1 0 46899169 19202048 4531 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/16868/statm: 4688 4531 79 151 0 4534 0
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (KiB) 35624
[startup+282.302 s]
/proc/loadavg: 2.15 2.31 2.47 3/83 16928
/proc/meminfo: memFree=1881992/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.74
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1895 35096 0 8 6 3 240 25 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=18752 CPUtime=276.75
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 4594 0 0 0 27671 4 0 0 25 0 1 0 46899169 19202048 4531 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 4688 4531 79 151 0 4534 0
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (KiB) 35624
[startup+342.302 s]
/proc/loadavg: 2.28 2.31 2.46 3/83 16928
/proc/meminfo: memFree=1881992/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.74
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1895 35096 0 8 6 3 240 25 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
################
# More data... #
################
/proc/16868/statm: 5636 5466 79 151 0 5482 0
Current children cumulated CPU time (s) 754.97
Current children cumulated vsize (KiB) 39416
[startup+822.302 s]
/proc/loadavg: 2.00 2.13 2.31 3/83 16938
/proc/meminfo: memFree=1877832/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=22676 CPUtime=811.48
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 5553 0 0 0 81142 6 0 0 25 0 1 0 46899169 23220224 5488 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 5669 5488 79 151 0 5515 0
Current children cumulated CPU time (s) 814.41
Current children cumulated vsize (KiB) 39548
[startup+882.301 s]
/proc/loadavg: 2.00 2.10 2.29 3/83 16938
/proc/meminfo: memFree=1875592/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=24828 CPUtime=870.91
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 6082 0 0 0 87085 6 0 0 25 0 1 0 46899169 25423872 6017 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 6207 6017 79 151 0 6053 0
Current children cumulated CPU time (s) 873.84
Current children cumulated vsize (KiB) 41700
[startup+942.301 s]
/proc/loadavg: 2.00 2.08 2.27 3/83 16938
/proc/meminfo: memFree=1871880/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=28528 CPUtime=930.35
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7012 0 0 0 93028 7 0 0 25 0 1 0 46899169 29212672 6947 996147200 134512640 135134323 4294956192 18446744073709551615 134532050 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 7132 6947 79 151 0 6978 0
Current children cumulated CPU time (s) 933.28
Current children cumulated vsize (KiB) 45400
[startup+1002.3 s]
/proc/loadavg: 2.00 2.06 2.25 3/83 16938
/proc/meminfo: memFree=1869128/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=31168 CPUtime=989.79
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7673 0 0 0 98971 8 0 0 25 0 1 0 46899169 31916032 7608 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 7792 7608 79 151 0 7638 0
Current children cumulated CPU time (s) 992.72
Current children cumulated vsize (KiB) 48040
[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.23 3/83 16938
/proc/meminfo: memFree=1867848/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1049.23
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 104915 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1052.16
Current children cumulated vsize (KiB) 49360
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.22 3/83 16938
/proc/meminfo: memFree=1867848/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1108.67
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 110859 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1111.6
Current children cumulated vsize (KiB) 49360
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.20 3/83 16938
/proc/meminfo: memFree=1867784/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1168.1
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 116802 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134529123 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1171.03
Current children cumulated vsize (KiB) 49360
Solver just ended. Dumping a history of the last processes samples
[startup+1183.9 s]
/proc/loadavg: 2.00 2.03 2.20 3/83 16938
/proc/meminfo: memFree=1867784/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1169.69
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 116961 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1172.62
Current children cumulated vsize (KiB) 49360
[startup+1187.1 s]
/proc/loadavg: 2.00 2.03 2.20 3/83 16938
/proc/meminfo: memFree=1867784/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1172.86
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 117278 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1175.79
Current children cumulated vsize (KiB) 49360
[startup+1188.7 s]
/proc/loadavg: 2.00 2.03 2.19 3/83 16938
/proc/meminfo: memFree=1867784/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1174.44
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 117436 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1177.37
Current children cumulated vsize (KiB) 49360
[startup+1190.3 s]
/proc/loadavg: 2.00 2.03 2.19 3/83 16938
/proc/meminfo: memFree=1867784/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1176.03
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 117595 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1178.96
Current children cumulated vsize (KiB) 49360
[startup+1191.1 s]
/proc/loadavg: 2.00 2.03 2.19 3/83 16938
/proc/meminfo: memFree=1867784/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1176.82
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 117674 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1179.75
Current children cumulated vsize (KiB) 49360
[startup+1191.5 s]
/proc/loadavg: 2.00 2.03 2.19 3/83 16938
/proc/meminfo: memFree=1867720/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=2.93
/proc/16845/stat : 16845 (sugar++) S 16843 16845 15919 0 -1 4194304 1965 38861 0 9 6 3 256 28 16 0 1 0 46898987 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16845/statm: 4218 1119 414 3 0 797 0
[pid=16868] ppid=16845 vsize=32488 CPUtime=1177.22
/proc/16868/stat : 16868 (minisat-inc) R 16845 16845 15919 0 -1 4194304 7990 0 0 0 117714 8 0 0 25 0 1 0 46899169 33267712 7925 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/16868/statm: 8122 7925 79 151 0 7968 0
Current children cumulated CPU time (s) 1180.15
Current children cumulated vsize (KiB) 49360
[startup+1191.6 s]
/proc/loadavg: 2.00 2.03 2.19 3/83 16938
/proc/meminfo: memFree=1867720/2055920 swapFree=4181092/4192956
[pid=16845] ppid=16843 vsize=16872 CPUtime=1180.26
/proc/16845/stat : 16845 (sugar++) R 16843 16845 15919 0 -1 4194304 1986 46853 0 9 6 3 117979 38 16 0 1 0 46898987 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 259415315497 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16845/statm: 4218 1120 415 3 0 797 0
Current children cumulated CPU time (s) 1180.26
Current children cumulated vsize (KiB) 16872
Child status: 0
Real time (s): 1191.6
CPU time (s): 1180.28
CPU user time (s): 1179.86
CPU system time (s): 0.414936
CPU usage (%): 99.0497
Max. virtual memory (cumulated for all children) (KiB): 890480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1179.86
system time used= 0.414936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48897
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3645
involuntary context switches= 50405
runsolver used 1.62675 second user time and 3.81142 second system time
The end
Begin job on node42 at 2008-07-13 00:33:16
IDJOB=1114435
IDBENCH=61733
IDSOLVER=367
FILE ID=node42/1114435-1215901996
PBS_JOBID= 7903631
Free space on /tmp= 66496 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.35/normalized-rand-2-40-16-250-350-95_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114435-1215901996/watcher-1114435-1215901996 -o /tmp/evaluation-result-1114435-1215901996/solver-1114435-1215901996 -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-1114435-1215901996.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 30120e1e0dbdae946075a1e5c63aa8f1
RANDOM SEED=637987451
node42.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.232
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.232
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: 1905720 kB
Buffers: 17060 kB
Cached: 60584 kB
SwapCached: 5520 kB
Active: 75036 kB
Inactive: 23720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1905720 kB
SwapTotal: 4192956 kB
SwapFree: 4181092 kB
Dirty: 1120 kB
Writeback: 0 kB
Mapped: 37488 kB
Slab: 36416 kB
Committed_AS: 239036 kB
PageTables: 2000 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= 66496 MiB
End job on node42 at 2008-07-13 00:53:07