0.06/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.06/0.08 c 0 BEGIN Sun Jul 13 00:55:33 2008
0.06/0.08 c 0 PID 20850
0.06/0.08 c 0 HOST node28.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-1114491-1215903333.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114491-1215903333.xml' 'HOME/temp.csp'
0.07/0.69 c 1 1 domains, 40 variables, 0 predicates, 250 relations, 250 constraints
0.07/0.74 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.74 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.68/0.82 c 1 Parsing HOME/temp.csp
1.02/1.20 c 1 parsed 541 expressions
1.11/1.20 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.11/1.20 c 1 MAX CSP: 250 constraints
1.11/1.20 c 1 Converting to clausal form CSP
1.11/1.23 c 1 converted 80 (10%) expressions
1.11/1.23 c 1 converted 159 (20%) expressions
1.11/1.23 c 1 converted 239 (30%) expressions
1.11/1.26 c 1 converted 318 (40%) expressions
1.11/1.28 c 1 converted 397 (50%) expressions
1.11/1.29 c 1 converted 477 (60%) expressions
1.21/1.31 c 1 converted 556 (70%) expressions
1.21/1.36 c 1 converted 636 (80%) expressions
1.21/1.37 c 1 converted 715 (90%) expressions
1.41/1.54 c 2 converted 794 (100%) expressions
1.41/1.54 c 2 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 376
1.41/1.54 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.41/1.54 c 2 Propagation in CSP
1.41/1.57 c 2 244 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.41/1.57 c 2 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
1.41/1.57 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.41/1.57 c 2 Simplifing CSP by introducing new Boolean variables
1.41/1.57 c 2 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
1.41/1.57 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.50/1.61 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.50/1.63 c 2 54 (10%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.50/1.63 c 2 108 (20%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.50/1.63 c 2 162 (30%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.50/1.63 c 2 216 (40%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.50/1.63 c 2 270 (50%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.50/1.63 c 2 324 (60%) CSP integer variables are encoded (940 clauses, 10665 bytes)
1.50/1.64 c 2 378 (70%) CSP integer variables are encoded (1195 clauses, 13980 bytes)
1.50/1.64 c 2 432 (80%) CSP integer variables are encoded (3113 clauses, 38914 bytes)
1.50/1.64 c 2 486 (90%) CSP integer variables are encoded (3396 clauses, 42593 bytes)
1.50/1.64 c 2 540 (100%) CSP integer variables are encoded (3811 clauses, 47988 bytes)
1.60/1.71 c 2 75 (10%) CSP clauses are encoded (7764 clauses, 132621 bytes)
1.60/1.74 c 2 150 (20%) CSP clauses are encoded (11750 clauses, 225559 bytes)
1.60/1.77 c 2 225 (30%) CSP clauses are encoded (15687 clauses, 317886 bytes)
1.60/1.79 c 2 300 (40%) CSP clauses are encoded (17501 clauses, 356808 bytes)
1.70/1.80 c 2 375 (50%) CSP clauses are encoded (21664 clauses, 430576 bytes)
1.70/1.84 c 2 450 (60%) CSP clauses are encoded (39961 clauses, 752560 bytes)
1.81/1.92 c 2 525 (70%) CSP clauses are encoded (84411 clauses, 1566817 bytes)
1.81/1.93 c 2 600 (80%) CSP clauses are encoded (85973 clauses, 1593404 bytes)
1.81/1.94 c 2 675 (90%) CSP clauses are encoded (89422 clauses, 1654417 bytes)
1.81/1.96 c 2 749 (100%) CSP clauses are encoded (101628 clauses, 1874901 bytes)
1.81/1.97 c 2 749 CSP clauses encoded
1.81/1.97 c 2 Writing map file : HOME/temp.map
1.81/1.97 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.81/1.97 c 2 SAT : 4351 SAT variables, 101628 SAT clauses, 1874901 bytes
1.81/1.97 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.88/2.00 c 2 OBJECTIVE minimize _COST
1.88/2.00 c 2 SOLVING HOME/temp.cnf
1.88/2.00 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.88/2.01 c 2 This is MiniSat 2.0 beta incremental
1.88/2.01 c 2 WARNING: for repeatability, setting FPU to use double precision
1.88/2.01 c 2 ============================[ Problem Statistics ]=============================
1.88/2.01 c 2 | |
1.88/2.01 c 2 | Number of variables: 4351 |
1.88/2.01 c 2 | Number of clauses: 101628 |
1.88/2.06 c 2 | Parsing time: 0.04 s |
1.88/2.06 c 2 OK
1.88/2.06 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.88/2.06 c 2 SEARCHING: _COST <= 125
1.88/2.06 c 2 ============================[ Search Statistics ]==============================
1.88/2.06 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.88/2.06 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.88/2.06 c 2 ===============================================================================
1.88/2.06 c 2 | 0 | 4351 101628 316222 | 33876 0 nan | 0.000 % |
1.88/2.07 c 2 ===============================================================================
1.88/2.07 c 2 restarts : 1
1.88/2.07 c 2 conflicts : 0 (0 /sec)
1.88/2.07 c 2 decisions : 35 (0.00 % random) (686 /sec)
1.88/2.07 c 2 propagations : 4351 (85327 /sec)
1.88/2.07 c 2 conflict literals : 0 ( nan % deleted)
1.88/2.07 c 2 Memory used : 6.41 MB
1.88/2.07 c 2 CPU time : 0.050992 s
1.88/2.07 c 2
1.88/2.07 c 2 SATISFIABLE
1.88/2.07 c 2 OK
1.88/2.07 c 2 FOUND: _COST <= 125
1.88/2.07 s SATISFIABLE
1.88/2.07 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.88/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.97/2.17 c 2 Decoding HOME/temp.out
2.07/2.23 c 2 OBJECTIVE _COST 125
2.07/2.23 o 125
2.07/2.23 v 15 5 13 6 2 8 3 4 3 14 14 15 15 15 14 13 15 15 6 10 5 13 15 15 14 15 13 14 13 14 14 13 14 15 14 15 13 15 15 15
2.07/2.24 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.07/2.24 c 2 OK
2.07/2.24 c 2 OBJECTIVE BOUND: 0 <= _COST <= 125
2.07/2.24 c 2 SEARCHING: _COST <= 62
2.07/2.25 c 2 ============================[ Search Statistics ]==============================
2.07/2.25 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.07/2.25 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.07/2.25 c 2 ===============================================================================
2.07/2.25 c 2 | 0 | 4351 101628 316222 | 33876 0 nan | 0.000 % |
2.07/2.25 c 2 ===============================================================================
2.07/2.25 c 2 restarts : 2
2.07/2.25 c 2 conflicts : 47 (771 /sec)
2.07/2.25 c 2 decisions : 121 (0.83 % random) (1984 /sec)
2.07/2.25 c 2 propagations : 11597 (190146 /sec)
2.07/2.25 c 2 conflict literals : 1867 (12.18 % deleted)
2.07/2.25 c 2 Memory used : 6.41 MB
2.07/2.25 c 2 CPU time : 0.06099 s
2.07/2.25 c 2
2.07/2.25 c 2 SATISFIABLE
2.07/2.25 c 2 OK
2.07/2.25 c 2 FOUND: _COST <= 62
2.07/2.25 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.07/2.25 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.12/3.42 c 3 Decoding HOME/temp.out
2.12/3.49 c 3 OBJECTIVE _COST 62
2.12/3.49 o 62
2.12/3.49 v 15 5 9 6 3 12 3 15 5 1 12 2 7 11 9 2 10 15 13 10 7 15 14 6 15 7 3 13 10 14 14 13 15 15 5 15 13 15 15 15
2.12/3.49 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.12/3.51 c 3 OK
2.12/3.51 c 3 OBJECTIVE BOUND: 0 <= _COST <= 62
2.12/3.51 c 3 SEARCHING: _COST <= 31
2.12/3.51 c 3 ============================[ Search Statistics ]==============================
2.12/3.52 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.12/3.52 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.12/3.52 c 3 ===============================================================================
2.12/3.52 c 3 | 47 | 3351 101628 316222 | 33876 47 40 | 0.000 % |
2.12/3.52 c 3 | 149 | 3351 101628 316222 | 37263 149 37 | 36.063 % |
2.12/3.54 c 4 | 299 | 3351 101628 316222 | 40989 299 37 | 36.063 % |
2.12/3.57 c 4 | 526 | 3351 101628 316222 | 45088 526 41 | 36.063 % |
2.12/3.57 c 4 ===============================================================================
2.12/3.57 c 4 restarts : 6
2.12/3.57 c 4 conflicts : 534 (4239 /sec)
2.12/3.57 c 4 decisions : 987 (0.41 % random) (7835 /sec)
2.12/3.57 c 4 propagations : 109275 (867400 /sec)
2.12/3.57 c 4 conflict literals : 21887 (16.19 % deleted)
2.12/3.57 c 4 Memory used : 6.54 MB
2.12/3.57 c 4 CPU time : 0.12598 s
2.12/3.57 c 4
2.12/3.57 c 4 SATISFIABLE
2.12/3.57 c 4 OK
2.12/3.57 c 4 FOUND: _COST <= 31
2.12/3.57 c 4 DECODING HOME/temp.out WITH HOME/temp.map
2.12/3.57 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.47/3.65 c 4 Decoding HOME/temp.out
2.47/3.73 c 4 OBJECTIVE _COST 31
2.47/3.73 o 31
2.47/3.74 v 7 15 15 14 15 14 10 15 13 9 14 4 7 14 8 13 4 5 15 0 9 15 9 13 9 14 15 14 3 11 11 13 15 12 12 15 15 8 7 15
2.47/3.74 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.47/3.79 c 4 OK
2.47/3.79 c 4 OBJECTIVE BOUND: 0 <= _COST <= 31
2.47/3.79 c 4 SEARCHING: _COST <= 15
2.47/3.79 c 4 ============================[ Search Statistics ]==============================
2.67/3.80 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
2.67/3.80 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.67/3.80 c 4 ===============================================================================
2.67/3.80 c 4 | 534 | 2782 101628 316222 | 33876 534 41 | 36.063 % |
2.67/3.80 c 4 | 634 | 2782 101628 316222 | 37263 634 39 | 44.658 % |
2.67/3.83 c 4 | 784 | 2782 101628 316222 | 40989 784 37 | 44.658 % |
2.67/3.86 c 4 | 1010 | 2782 101628 316222 | 45088 1010 40 | 44.658 % |
2.77/3.90 c 4 | 1347 | 2782 101628 316222 | 49597 1347 36 | 44.658 % |
2.87/4.00 c 4 | 1853 | 2408 35596 123736 | 54557 1853 35 | 44.658 % |
2.97/4.12 c 4 | 2612 | 2408 35596 123736 | 60013 2612 36 | 44.658 % |
3.07/4.29 c 4 | 3753 | 2408 35596 123736 | 66014 3753 36 | 44.658 % |
3.37/4.53 c 5 | 5462 | 2408 35596 123736 | 72616 5462 41 | 44.658 % |
3.77/4.98 c 5 | 8024 | 2408 35596 123736 | 79877 8024 38 | 44.658 % |
4.46/5.64 c 6 | 11868 | 2408 35596 123736 | 87865 11868 39 | 44.658 % |
5.65/6.84 c 7 | 17634 | 2408 35596 123736 | 96652 17634 36 | 44.658 % |
7.84/9.04 c 9 | 26284 | 2408 35596 123736 | 106317 26284 43 | 44.658 % |
12.21/13.40 c 13 | 39258 | 2408 35596 123736 | 116949 39258 43 | 44.658 % |
14.50/15.73 c 16 ===============================================================================
14.50/15.73 c 16 restarts : 20
14.50/15.73 c 16 conflicts : 46765 (3903 /sec)
14.50/15.73 c 16 decisions : 53478 (0.55 % random) (4463 /sec)
14.50/15.73 c 16 propagations : 12547149 (1047151 /sec)
14.50/15.73 c 16 conflict literals : 1910622 (28.29 % deleted)
14.50/15.73 c 16 Memory used : 13.99 MB
14.50/15.73 c 16 CPU time : 11.9822 s
14.50/15.73 c 16
14.50/15.73 c 16 SATISFIABLE
14.50/15.74 c 16 OK
14.50/15.74 c 16 FOUND: _COST <= 15
14.50/15.74 c 16 DECODING HOME/temp.out WITH HOME/temp.map
14.50/15.74 c 16 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
14.54/15.82 c 16 Decoding HOME/temp.out
14.54/15.88 c 16 OBJECTIVE _COST 15
14.54/15.88 o 15
14.54/15.88 v 13 15 0 15 8 8 15 13 15 13 3 14 2 5 14 10 15 12 8 4 11 0 10 2 5 9 2 13 14 1 15 7 15 15 0 4 10 1 15 0
14.54/15.89 c 16 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
14.68/15.92 c 16 OK
14.68/15.92 c 16 OBJECTIVE BOUND: 0 <= _COST <= 15
14.68/15.92 c 16 SEARCHING: _COST <= 7
14.68/15.92 c 16 ============================[ Search Statistics ]==============================
14.68/15.92 c 16 | Conflicts | ORIGINAL | LEARNT | Progress |
14.68/15.92 c 16 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.68/15.92 c 16 ===============================================================================
14.68/15.92 c 16 | 46765 | 2094 25982 95820 | 8660 46755 41 | 44.658 % |
14.78/16.09 c 16 | 46865 | 2094 25982 95820 | 9526 6820 26 | 51.875 % |
14.88/16.12 c 16 | 47015 | 2094 25982 95820 | 10479 6970 26 | 51.875 % |
14.88/16.16 c 16 | 47242 | 2094 25982 95820 | 11527 7197 26 | 51.875 % |
14.98/16.23 c 16 | 47579 | 2094 25982 95820 | 12680 7534 26 | 51.875 % |
15.08/16.33 c 16 | 48085 | 2094 25982 95820 | 13948 8040 26 | 51.875 % |
15.17/16.43 c 16 | 48844 | 2094 25982 95820 | 15342 8799 27 | 51.875 % |
15.27/16.57 c 17 | 49983 | 2094 25982 95820 | 16877 9938 29 | 51.875 % |
15.57/16.86 c 17 | 51691 | 2094 25982 95820 | 18564 11646 30 | 51.875 % |
16.07/17.38 c 17 | 54253 | 2094 25982 95820 | 20421 14208 32 | 51.875 % |
16.96/18.29 c 18 | 58097 | 2094 25982 95820 | 22463 18052 33 | 51.875 % |
18.65/19.93 c 20 | 63863 | 2094 25982 95820 | 24709 23818 36 | 51.875 % |
21.12/22.49 c 22 | 72513 | 2094 25982 95820 | 27180 16921 37 | 51.875 % |
25.30/26.63 c 27 | 85487 | 2094 25982 95820 | 29898 29895 35 | 51.875 % |
32.46/33.87 c 34 | 104948 | 2094 25982 95820 | 32888 29412 38 | 51.875 % |
44.20/45.79 c 46 | 134140 | 2094 25982 95820 | 36177 17147 31 | 51.875 % |
60.61/62.29 c 62 | 177929 | 2094 25982 95820 | 39795 35394 37 | 51.875 % |
88.07/89.82 c 90 | 243613 | 2094 25982 95820 | 43775 16748 55 | 51.875 % |
91.95/93.70 c 94 ===============================================================================
91.95/93.70 c 94 restarts : 38
91.95/93.70 c 94 conflicts : 256907 (2879 /sec)
91.95/93.70 c 94 decisions : 289869 (0.61 % random) (3249 /sec)
91.95/93.70 c 94 propagations : 66781929 (748429 /sec)
91.95/93.70 c 94 conflict literals : 11305671 (28.25 % deleted)
91.95/93.70 c 94 Memory used : 17.19 MB
91.95/93.70 c 94 CPU time : 89.2294 s
91.95/93.70 c 94
91.95/93.70 c 94 SATISFIABLE
91.95/93.71 c 94 OK
91.95/93.71 c 94 FOUND: _COST <= 7
91.95/93.71 c 94 DECODING HOME/temp.out WITH HOME/temp.map
91.95/93.71 c 94 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
91.95/93.79 c 94 Decoding HOME/temp.out
91.97/93.87 c 94 OBJECTIVE _COST 7
91.97/93.87 o 7
91.97/93.88 v 12 11 14 14 15 11 15 8 12 11 1 10 8 12 4 10 0 14 3 4 15 10 1 15 15 7 2 6 7 10 4 8 15 12 0 9 2 13 10 14
91.97/93.88 c 94 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
91.97/93.94 c 94 OK
91.97/93.94 c 94 OBJECTIVE BOUND: 0 <= _COST <= 7
91.97/93.94 c 94 SEARCHING: _COST <= 3
91.97/93.94 c 94 ============================[ Search Statistics ]==============================
91.97/93.94 c 94 | Conflicts | ORIGINAL | LEARNT | Progress |
91.97/93.94 c 94 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
91.97/93.94 c 94 ===============================================================================
91.97/93.94 c 94 | 256907 | 1796 20412 79996 | 6804 30042 54 | 51.875 % |
92.23/94.05 c 94 | 257007 | 1796 20412 79996 | 7484 6390 45 | 58.724 % |
92.23/94.08 c 94 | 257157 | 1796 20412 79996 | 8232 6540 45 | 58.724 % |
92.33/94.13 c 94 | 257382 | 1796 20412 79996 | 9056 6765 44 | 58.724 % |
92.43/94.20 c 94 | 257719 | 1796 20412 79996 | 9961 7102 44 | 58.724 % |
92.53/94.31 c 94 | 258226 | 1796 20412 79996 | 10957 7609 43 | 58.724 % |
92.63/94.46 c 94 | 258986 | 1796 20412 79996 | 12053 8369 42 | 58.724 % |
92.90/94.71 c 95 | 260125 | 1796 20412 79996 | 13259 9508 42 | 58.724 % |
93.19/95.09 c 95 | 261834 | 1796 20412 79996 | 14584 11217 40 | 58.724 % |
93.78/95.67 c 96 | 264396 | 1796 20412 79996 | 16043 13779 40 | 58.724 % |
94.88/96.75 c 97 | 268244 | 1796 20412 79996 | 17647 17627 39 | 58.724 % |
96.37/98.29 c 98 | 274010 | 1796 20412 79996 | 19412 13022 32 | 58.724 % |
98.85/100.71 c 101 | 282660 | 1796 20412 79996 | 21353 21672 34 | 58.724 % |
102.34/104.23 c 104 | 295635 | 1796 20412 79996 | 23489 22335 35 | 58.724 % |
108.50/110.43 c 110 | 315097 | 1796 20412 79996 | 25838 15126 41 | 58.724 % |
117.75/119.70 c 120 | 344290 | 1796 20412 79996 | 28421 13809 39 | 58.724 % |
131.86/133.92 c 134 | 388079 | 1796 20412 79996 | 31264 21397 38 | 58.724 % |
153.85/156.01 c 156 ===============================================================================
153.85/156.01 c 156 restarts : 55
153.85/156.01 c 156 conflicts : 452710 (3000 /sec)
153.85/156.01 c 156 decisions : 508712 (0.66 % random) (3371 /sec)
153.85/156.01 c 156 propagations : 120217847 (796535 /sec)
153.85/156.01 c 156 conflict literals : 19396078 (29.20 % deleted)
153.85/156.01 c 156 Memory used : 17.19 MB
153.85/156.01 c 156 CPU time : 150.926 s
153.85/156.01 c 156
153.85/156.01 c 156 SATISFIABLE
153.85/156.01 c 156 OK
153.85/156.01 c 156 FOUND: _COST <= 3
153.85/156.01 c 156 DECODING HOME/temp.out WITH HOME/temp.map
153.85/156.01 c 156 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
153.85/156.10 c 156 Decoding HOME/temp.out
153.85/156.18 c 156 OBJECTIVE _COST 3
153.85/156.18 o 3
153.85/156.18 v 2 1 14 15 13 5 15 4 15 14 0 15 12 11 4 10 11 7 7 12 7 15 7 12 10 5 6 15 5 0 9 7 15 8 13 5 5 5 4 6
153.85/156.18 c 156 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
153.85/156.24 c 156 OK
153.85/156.24 c 156 OBJECTIVE BOUND: 0 <= _COST <= 3
153.85/156.24 c 156 SEARCHING: _COST <= 1
153.85/156.24 c 156 ============================[ Search Statistics ]==============================
153.85/156.24 c 156 | Conflicts | ORIGINAL | LEARNT | Progress |
153.85/156.24 c 156 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
153.85/156.24 c 156 ===============================================================================
153.85/156.24 c 156 | 452710 | 1478 17056 70878 | 5685 26311 38 | 58.724 % |
154.11/156.34 c 156 | 452810 | 1478 17056 70878 | 6253 6678 37 | 66.033 % |
154.11/156.37 c 156 | 452961 | 1478 17056 70878 | 6879 6829 37 | 66.033 % |
154.21/156.42 c 156 | 453187 | 1478 17056 70878 | 7567 7055 37 | 66.033 % |
154.21/156.48 c 156 | 453525 | 1478 17056 70878 | 8323 7393 38 | 66.033 % |
154.31/156.58 c 157 | 454031 | 1478 17056 70878 | 9156 7899 39 | 66.033 % |
154.51/156.70 c 157 | 454790 | 1478 17056 70878 | 10071 8658 39 | 66.033 % |
154.71/156.91 c 157 | 455931 | 1478 17056 70878 | 11079 9799 40 | 66.033 % |
155.00/157.26 c 157 | 457640 | 1478 17056 70878 | 12187 11508 42 | 66.033 % |
155.70/157.96 c 158 | 460202 | 1478 17056 70878 | 13405 14070 43 | 66.033 % |
156.70/158.92 c 159 | 464047 | 1478 17056 70878 | 14746 9492 44 | 66.033 % |
158.09/160.36 c 160 | 469814 | 1478 17056 70878 | 16220 15259 44 | 66.033 % |
160.03/162.31 c 162 | 478463 | 1478 17056 70878 | 17843 13815 45 | 66.033 % |
163.79/166.19 c 166 | 491438 | 1478 17056 70878 | 19627 16128 53 | 66.033 % |
169.66/172.06 c 172 | 510899 | 1478 17056 70878 | 21590 12468 43 | 66.033 % |
177.22/179.60 c 180 | 540093 | 1478 17056 70878 | 23749 16431 42 | 66.033 % |
189.66/192.12 c 192 | 583883 | 1478 17056 70878 | 26123 19476 31 | 66.033 % |
208.65/211.24 c 211 | 649567 | 1478 17056 70878 | 28736 19658 52 | 66.033 % |
240.79/243.51 c 243 | 748093 | 1478 17056 70878 | 31609 27572 40 | 66.033 % |
293.73/296.74 c 297 | 895882 | 1478 17056 70878 | 34770 30678 44 | 66.033 % |
372.97/376.48 c 376 | 1117565 | 1478 17056 70878 | 38248 15515 51 | 66.033 % |
490.08/494.14 c 494 | 1450090 | 1478 17056 70878 | 42072 19498 37 | 66.033 % |
671.86/676.84 c 677 | 1948879 | 1478 17056 70878 | 46280 30540 54 | 66.033 % |
835.41/841.24 c 841 ===============================================================================
835.41/841.24 c 841 restarts : 78
835.41/841.24 c 841 conflicts : 2358311 (2833 /sec)
835.41/841.24 c 841 decisions : 2706403 (0.76 % random) (3252 /sec)
835.41/841.24 c 841 propagations : 471754912 (566808 /sec)
835.41/841.24 c 841 conflict literals : 111524177 (24.61 % deleted)
835.41/841.24 c 841 Memory used : 24.68 MB
835.41/841.24 c 841 CPU time : 832.301 s
835.41/841.24 c 841
835.41/841.24 c 841 SATISFIABLE
835.41/841.24 c 841 OK
835.41/841.24 c 841 FOUND: _COST <= 1
835.41/841.24 c 841 DECODING HOME/temp.out WITH HOME/temp.map
835.41/841.24 c 841 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
835.45/841.33 c 841 Decoding HOME/temp.out
835.45/841.41 c 841 OBJECTIVE _COST 1
835.45/841.41 o 1
835.45/841.41 v 11 3 4 0 4 5 12 10 2 3 7 10 8 14 2 2 1 12 13 4 15 10 1 3 8 3 5 5 7 12 0 8 15 1 0 9 10 4 10 6
835.45/841.43 c 841 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
835.45/841.48 c 841 OK
835.45/841.48 c 841 OBJECTIVE BOUND: 0 <= _COST <= 1
835.45/841.48 c 841 SEARCHING: _COST <= 0
835.45/841.48 c 841 ============================[ Search Statistics ]==============================
835.45/841.48 c 841 | Conflicts | ORIGINAL | LEARNT | Progress |
835.45/841.48 c 841 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
835.45/841.48 c 841 ===============================================================================
835.45/841.48 c 841 | 2358311 | 1100 14747 65083 | 4915 33990 32 | 66.033 % |
835.66/841.57 c 842 | 2358414 | 1100 14747 65083 | 5407 8601 23 | 74.721 % |
835.76/841.60 c 842 | 2358565 | 1100 14747 65083 | 5947 8752 23 | 74.721 % |
835.76/841.64 c 842 | 2358791 | 1100 14747 65083 | 6542 8978 24 | 74.721 % |
835.86/841.71 c 842 | 2359129 | 1100 14747 65083 | 7197 9316 24 | 74.721 % |
835.96/841.81 c 842 | 2359635 | 1100 14747 65083 | 7916 9822 24 | 74.721 % |
836.06/841.94 c 842 | 2360394 | 1100 14747 65083 | 8708 10581 25 | 74.721 % |
836.26/842.15 c 842 | 2361534 | 1100 14747 65083 | 9579 11721 26 | 74.721 % |
836.64/842.54 c 843 | 2363242 | 1100 14747 65083 | 10537 13429 27 | 74.721 % |
837.14/843.01 c 843 | 2365804 | 1100 14747 65083 | 11590 8769 31 | 74.721 % |
837.83/843.73 c 844 | 2369648 | 1100 14747 65083 | 12749 12613 32 | 74.721 % |
839.12/845.01 c 845 | 2375416 | 1100 14747 65083 | 14024 10071 27 | 74.721 % |
840.82/846.75 c 847 | 2384065 | 1100 14747 65083 | 15427 9763 30 | 74.721 % |
843.70/849.63 c 850 | 2397039 | 1100 14747 65083 | 16970 13098 32 | 74.721 % |
847.88/853.85 c 854 | 2416500 | 1100 14747 65083 | 18667 11685 49 | 74.721 % |
854.64/860.61 c 861 | 2445692 | 1100 14747 65083 | 20533 18261 49 | 74.721 % |
865.85/871.93 c 872 | 2489482 | 1100 14747 65083 | 22587 13212 46 | 74.721 % |
884.56/890.76 c 891 | 2555168 | 1100 14747 65083 | 24846 24533 57 | 74.721 % |
912.72/919.06 c 919 | 2653694 | 1100 14747 65083 | 27330 16120 54 | 74.721 % |
959.87/966.46 c 966 | 2801483 | 1100 14747 65083 | 30063 28036 62 | 74.721 % |
1032.70/1039.64 c 1040 | 3023166 | 1100 14747 65083 | 33070 32449 58 | 74.721 % |
1144.93/1152.50 c 1152 | 3355691 | 1100 14747 65083 | 36377 25327 82 | 74.721 % |
1239.44/1247.40 c 1247 ===============================================================================
1239.44/1247.40 c 1247 restarts : 100
1239.44/1247.40 c 1247 conflicts : 3602305 (2914 /sec)
1239.44/1247.40 c 1247 decisions : 4212797 (0.83 % random) (3408 /sec)
1239.44/1247.40 c 1247 propagations : 586772144 (474700 /sec)
1239.44/1247.40 c 1247 conflict literals : 203573438 (18.59 % deleted)
1239.44/1247.40 c 1247 Memory used : 28.80 MB
1239.44/1247.40 c 1247 CPU time : 1236.09 s
1239.44/1247.40 c 1247
1239.44/1247.40 c 1247 UNSATISFIABLE
1239.44/1247.40 c 1247 OK
1239.44/1247.40 c 1247 NOT FOUND: _COST <= 0
1239.44/1247.40 c 1247 OK
1239.44/1247.40 c 1247 OBJECTIVE _COST 1
1239.44/1247.40 s OPTIMUM FOUND
1239.44/1247.41 c 1247 CPU 1239 (0.07 0.03 1238.93 0.43)
1239.44/1247.41 c 1247 END Sun Jul 13 01:16:20 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-1114491-1215903333/watcher-1114491-1215903333 -o /tmp/evaluation-result-1114491-1215903333/solver-1114491-1215903333 -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-1114491-1215903333.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.00 2.01 2.01 4/73 20850
/proc/meminfo: memFree=1761588/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=12268 CPUtime=0
/proc/20850/stat : 20850 (sugar++) R 20848 20850 20406 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 47035477 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 217871776357 0 0 4224 0 0 0 0 17 1 0 0
/proc/20850/statm: 3067 316 241 3 0 167 0
[startup+0.0771031 s]
/proc/loadavg: 2.00 2.01 2.01 4/73 20850
/proc/meminfo: memFree=1761588/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16608 CPUtime=0.06
/proc/20850/stat : 20850 (sugar++) R 20848 20850 20406 0 -1 4194304 1073 0 0 0 4 2 0 0 18 0 1 0 47035477 17006592 1041 996147200 4194304 4206940 548682068528 18446744073709551615 217889158805 0 0 4224 0 0 0 0 17 1 0 0
/proc/20850/statm: 4152 1041 380 3 0 731 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16608
[startup+0.101103 s]
/proc/loadavg: 2.00 2.01 2.01 4/73 20850
/proc/meminfo: memFree=1761588/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16740 CPUtime=0.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 47035477 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.301122 s]
/proc/loadavg: 2.00 2.01 2.01 4/73 20850
/proc/meminfo: memFree=1761588/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16740 CPUtime=0.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 47035477 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701169 s]
/proc/loadavg: 2.00 2.01 2.01 4/73 20850
/proc/meminfo: memFree=1761588/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16740 CPUtime=0.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1236 128 0 0 5 2 0 0 15 0 1 0 47035477 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.50227 s]
/proc/loadavg: 2.00 2.01 2.01 4/84 20872
/proc/meminfo: memFree=1752988/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16740 CPUtime=0.68
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1296 4675 0 1 5 2 57 4 15 0 1 0 47035477 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4185 1104 409 3 0 764 0
[pid=20863] ppid=20850 vsize=5356 CPUtime=0
/proc/20863/stat : 20863 (sh) S 20850 20850 20406 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 47035552 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20863/statm: 1339 233 193 169 0 50 0
[pid=20864] ppid=20863 vsize=867724 CPUtime=0.73
/proc/20864/stat : 20864 (java) S 20863 20850 20406 0 -1 0 7062 0 1 0 70 3 0 0 18 0 9 0 47035552 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20864/statm: 216931 6341 2540 9 0 211506 0
[pid=20864/tid=20865] ppid=20863 vsize=867724 CPUtime=0.44
/proc/20864/task/20865/stat : 20865 (java) R 20863 20850 20406 0 -1 64 2639 0 1 0 43 1 0 0 21 0 9 0 47035553 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20866] ppid=20863 vsize=867724 CPUtime=0.1
/proc/20864/task/20866/stat : 20866 (java) S 20863 20850 20406 0 -1 64 2526 0 0 0 10 0 0 0 16 0 9 0 47035554 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20867] ppid=20863 vsize=867724 CPUtime=0
/proc/20864/task/20867/stat : 20867 (java) S 20863 20850 20406 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 47035555 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20868] ppid=20863 vsize=867724 CPUtime=0
/proc/20864/task/20868/stat : 20868 (java) S 20863 20850 20406 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 47035555 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20869] ppid=20863 vsize=867724 CPUtime=0
/proc/20864/task/20869/stat : 20869 (java) S 20863 20850 20406 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 47035557 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20870] ppid=20863 vsize=867724 CPUtime=0.16
/proc/20864/task/20870/stat : 20870 (java) R 20863 20850 20406 0 -1 64 1203 0 0 0 16 0 0 0 16 0 9 0 47035557 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 102005191 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20871] ppid=20863 vsize=867724 CPUtime=0
/proc/20864/task/20871/stat : 20871 (java) S 20863 20850 20406 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 47035557 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20864/tid=20872] ppid=20863 vsize=867724 CPUtime=0
/proc/20864/task/20872/stat : 20872 (java) S 20863 20850 20406 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 47035557 888549376 6341 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 889820
[startup+3.38863 s]
/proc/loadavg: 2.00 2.01 2.01 4/79 20877
/proc/meminfo: memFree=1748356/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=2.05
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1584 16288 0 3 6 2 184 13 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=6564 CPUtime=0.07
/proc/20873/stat : 20873 (minisat-inc) S 20850 20850 20406 0 -1 4194304 1565 0 0 0 6 1 0 0 16 0 1 0 47035678 6721536 1510 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/20873/statm: 1641 1510 78 151 0 1487 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 23436
[startup+6.30183 s]
/proc/loadavg: 2.00 2.01 2.01 3/75 20903
/proc/meminfo: memFree=1748964/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=2.53
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1688 23820 0 5 6 2 224 21 15 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=7904 CPUtime=2.63
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 1877 0 0 0 262 1 0 0 25 0 1 0 47035678 8093696 1820 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 1976 1820 79 151 0 1822 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 24776
[startup+12.7026 s]
/proc/loadavg: 2.00 2.01 2.01 3/75 20903
/proc/meminfo: memFree=1744548/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=2.53
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1688 23820 0 5 6 2 224 21 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=12788 CPUtime=8.99
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 3106 0 0 0 897 2 0 0 25 0 1 0 47035678 13094912 3049 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 3197 3049 79 151 0 3043 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 29660
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20913
/proc/meminfo: memFree=1742244/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=2.68
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1758 27586 0 6 7 2 236 23 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=14324 CPUtime=21.52
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 3499 0 0 0 2149 3 0 0 25 0 1 0 47035678 14667776 3440 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 3581 3440 79 151 0 3427 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 31196
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20913
/proc/meminfo: memFree=1742308/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=2.68
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1758 27586 0 6 7 2 236 23 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=14508 CPUtime=46.89
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 3513 0 0 0 4686 3 0 0 25 0 1 0 47035678 14856192 3454 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 3627 3454 79 151 0 3473 0
Current children cumulated CPU time (s) 49.57
Current children cumulated vsize (KiB) 31380
[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20923
/proc/meminfo: memFree=1738916/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=2.88
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1826 31352 0 7 7 3 252 26 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=17596 CPUtime=97.56
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 4282 0 0 0 9751 5 0 0 25 0 1 0 47035678 18018304 4221 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 4399 4221 79 151 0 4245 0
Current children cumulated CPU time (s) 100.44
Current children cumulated vsize (KiB) 34468
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20933
/proc/meminfo: memFree=1738724/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1895 35118 0 8 7 3 268 29 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=17596 CPUtime=156.96
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 4284 0 0 0 15691 5 0 0 25 0 1 0 47035678 18018304 4221 996147200 134512640 135134323 4294956192 18446744073709551615 134529619 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 4399 4221 79 151 0 4245 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (KiB) 34468
[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20933
/proc/meminfo: memFree=1738852/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1895 35118 0 8 7 3 268 29 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=17596 CPUtime=216.62
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 4285 0 0 0 21657 5 0 0 25 0 1 0 47035678 18018304 4222 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 4399 4222 79 151 0 4245 0
Current children cumulated CPU time (s) 219.69
Current children cumulated vsize (KiB) 34468
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20933
/proc/meminfo: memFree=1738852/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1895 35118 0 8 7 3 268 29 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=17596 CPUtime=276.32
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 4285 0 0 0 27627 5 0 0 25 0 1 0 47035678 18018304 4222 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 4399 4222 79 151 0 4245 0
Current children cumulated CPU time (s) 279.39
Current children cumulated vsize (KiB) 34468
[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20939
/proc/meminfo: memFree=1735716/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1895 35118 0 8 7 3 268 29 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
################
# More data... #
################
[startup+762.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20949
/proc/meminfo: memFree=1724012/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1895 35118 0 8 7 3 268 29 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=25268 CPUtime=753.82
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6184 0 0 0 75374 8 0 0 25 0 1 0 47035678 25874432 6121 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6317 6121 79 151 0 6163 0
Current children cumulated CPU time (s) 756.89
Current children cumulated vsize (KiB) 42140
[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20949
/proc/meminfo: memFree=1723948/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.07
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1895 35118 0 8 7 3 268 29 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=25268 CPUtime=813.53
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6184 0 0 0 81345 8 0 0 25 0 1 0 47035678 25874432 6121 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6317 6121 79 151 0 6163 0
Current children cumulated CPU time (s) 816.6
Current children cumulated vsize (KiB) 42140
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1723756/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=25268 CPUtime=872.95
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6186 0 0 0 87287 8 0 0 25 0 1 0 47035678 25874432 6121 996147200 134512640 135134323 4294956192 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6317 6121 79 151 0 6163 0
Current children cumulated CPU time (s) 876.2
Current children cumulated vsize (KiB) 42140
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1723820/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=25268 CPUtime=932.65
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6186 0 0 0 93256 9 0 0 25 0 1 0 47035678 25874432 6121 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6317 6121 79 151 0 6163 0
Current children cumulated CPU time (s) 935.9
Current children cumulated vsize (KiB) 42140
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1723820/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=25268 CPUtime=992.34
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6186 0 0 0 99225 9 0 0 25 0 1 0 47035678 25874432 6121 996147200 134512640 135134323 4294956192 18446744073709551615 134528240 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6317 6121 79 151 0 6163 0
Current children cumulated CPU time (s) 995.59
Current children cumulated vsize (KiB) 42140
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1723692/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=25400 CPUtime=1052.04
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6246 0 0 0 105195 9 0 0 25 0 1 0 47035678 26009600 6181 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6350 6181 79 151 0 6196 0
Current children cumulated CPU time (s) 1055.29
Current children cumulated vsize (KiB) 42272
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1722732/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=26324 CPUtime=1111.73
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 6470 0 0 0 111164 9 0 0 25 0 1 0 47035678 26955776 6405 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 6581 6405 79 151 0 6427 0
Current children cumulated CPU time (s) 1114.98
Current children cumulated vsize (KiB) 43196
[startup+1182.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719532/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1171.42
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 117132 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1174.67
Current children cumulated vsize (KiB) 46364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1231.11
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 123101 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1234.36
Current children cumulated vsize (KiB) 46364
Solver just ended. Dumping a history of the last processes samples
[startup+1242.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1231.21
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 123111 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1234.46
Current children cumulated vsize (KiB) 46364
[startup+1245.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1234.4
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 123430 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134528725 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1237.65
Current children cumulated vsize (KiB) 46364
[startup+1246.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1235.19
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 123509 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1238.44
Current children cumulated vsize (KiB) 46364
[startup+1247.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1235.99
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 123589 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1239.24
Current children cumulated vsize (KiB) 46364
[startup+1247.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20850] ppid=20848 vsize=16872 CPUtime=3.25
/proc/20850/stat : 20850 (sugar++) S 20848 20850 20406 0 -1 4194304 1965 38892 0 9 7 3 283 32 16 0 1 0 47035477 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20850/statm: 4218 1119 414 3 0 797 0
[pid=20873] ppid=20850 vsize=29492 CPUtime=1236.19
/proc/20873/stat : 20873 (minisat-inc) R 20850 20850 20406 0 -1 4194304 7260 0 0 0 123609 10 0 0 25 0 1 0 47035678 30199808 7195 996147200 134512640 135134323 4294956192 18446744073709551615 134532760 0 0 4096 3 0 0 0 17 1 0 0
/proc/20873/statm: 7373 7195 79 151 0 7219 0
Current children cumulated CPU time (s) 1239.44
Current children cumulated vsize (KiB) 46364
Child status: 0
Real time (s): 1247.41
CPU time (s): 1239.48
CPU user time (s): 1239.01
CPU system time (s): 0.474927
CPU usage (%): 99.3641
Max. virtual memory (cumulated for all children) (KiB): 890584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.01
system time used= 0.474927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48198
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= 3467
involuntary context switches= 17179
runsolver used 1.51477 second user time and 4.37233 second system time
The end
Begin job on node28 at 2008-07-13 00:55:33
IDJOB=1114491
IDBENCH=61740
IDSOLVER=367
FILE ID=node28/1114491-1215903333
PBS_JOBID= 7903713
Free space on /tmp= 66504 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.35/normalized-rand-2-40-16-250-350-53_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-1114491-1215903333/watcher-1114491-1215903333 -o /tmp/evaluation-result-1114491-1215903333/solver-1114491-1215903333 -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-1114491-1215903333.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3c564f3ffd7477f6475721737883de7b
RANDOM SEED=271004722
node28.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.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
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: 1762068 kB
Buffers: 60024 kB
Cached: 136484 kB
SwapCached: 6064 kB
Active: 131892 kB
Inactive: 117444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762068 kB
SwapTotal: 4192956 kB
SwapFree: 4180120 kB
Dirty: 964 kB
Writeback: 0 kB
Mapped: 56928 kB
Slab: 29648 kB
Committed_AS: 258204 kB
PageTables: 1944 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= 66504 MiB
End job on node28 at 2008-07-13 01:16:20