0.05/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07 c 0 BEGIN Sun Jul 13 00:28:59 2008
0.05/0.07 c 0 PID 13389
0.05/0.07 c 0 HOST node82.alineos.net
0.05/0.07 c 0 CONVERTING HOME/instance-1114419-1215901739.xml TO HOME/temp.csp
0.05/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114419-1215901739.xml' 'HOME/temp.csp'
0.06/0.47 c 0 1 domains, 40 variables, 0 predicates, 250 relations, 250 constraints
0.06/0.49 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.49 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.44/0.57 c 1 Parsing HOME/temp.csp
0.44/0.83 c 1 parsed 541 expressions
0.44/0.83 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.44/0.84 c 1 MAX CSP: 250 constraints
0.44/0.84 c 1 Converting to clausal form CSP
0.44/0.86 c 1 converted 80 (10%) expressions
0.44/0.86 c 1 converted 159 (20%) expressions
0.44/0.86 c 1 converted 239 (30%) expressions
0.44/0.89 c 1 converted 318 (40%) expressions
0.44/0.91 c 1 converted 397 (50%) expressions
0.44/0.92 c 1 converted 477 (60%) expressions
0.44/0.93 c 1 converted 556 (70%) expressions
0.44/0.98 c 1 converted 636 (80%) expressions
0.44/0.99 c 1 converted 715 (90%) expressions
1.01/1.14 c 1 converted 794 (100%) expressions
1.01/1.15 c 1 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 376
1.01/1.15 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.01/1.15 c 1 Propagation in CSP
1.01/1.17 c 1 244 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.01/1.17 c 1 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
1.01/1.17 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.01/1.17 c 1 Simplifing CSP by introducing new Boolean variables
1.01/1.18 c 1 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
1.01/1.18 c 1 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.11/1.21 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.11/1.23 c 1 54 (10%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.11/1.23 c 1 108 (20%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.11/1.23 c 1 162 (30%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.11/1.23 c 1 216 (40%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.11/1.23 c 1 270 (50%) CSP integer variables are encoded (560 clauses, 6022 bytes)
1.11/1.23 c 1 324 (60%) CSP integer variables are encoded (940 clauses, 10665 bytes)
1.11/1.23 c 1 378 (70%) CSP integer variables are encoded (1195 clauses, 13980 bytes)
1.11/1.24 c 1 432 (80%) CSP integer variables are encoded (3113 clauses, 38914 bytes)
1.11/1.24 c 1 486 (90%) CSP integer variables are encoded (3396 clauses, 42593 bytes)
1.11/1.24 c 1 540 (100%) CSP integer variables are encoded (3811 clauses, 47988 bytes)
1.21/1.30 c 1 75 (10%) CSP clauses are encoded (7798 clauses, 133730 bytes)
1.21/1.33 c 1 150 (20%) CSP clauses are encoded (11798 clauses, 227505 bytes)
1.21/1.36 c 1 225 (30%) CSP clauses are encoded (15761 clauses, 320414 bytes)
1.21/1.38 c 1 300 (40%) CSP clauses are encoded (17583 clauses, 359412 bytes)
1.21/1.38 c 1 375 (50%) CSP clauses are encoded (21746 clauses, 433180 bytes)
1.31/1.42 c 1 450 (60%) CSP clauses are encoded (40043 clauses, 755164 bytes)
1.31/1.50 c 1 525 (70%) CSP clauses are encoded (84493 clauses, 1569421 bytes)
1.41/1.50 c 1 600 (80%) CSP clauses are encoded (86055 clauses, 1596008 bytes)
1.41/1.51 c 1 675 (90%) CSP clauses are encoded (89504 clauses, 1657021 bytes)
1.41/1.53 c 1 749 (100%) CSP clauses are encoded (101710 clauses, 1877505 bytes)
1.41/1.53 c 1 749 CSP clauses encoded
1.41/1.54 c 2 Writing map file : HOME/temp.map
1.41/1.54 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.41/1.54 c 2 SAT : 4351 SAT variables, 101710 SAT clauses, 1877505 bytes
1.41/1.54 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.41/1.59 c 2 OBJECTIVE minimize _COST
1.41/1.59 c 2 SOLVING HOME/temp.cnf
1.41/1.59 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.41/1.59 c 2 This is MiniSat 2.0 beta incremental
1.41/1.59 c 2 WARNING: for repeatability, setting FPU to use double precision
1.41/1.59 c 2 ============================[ Problem Statistics ]=============================
1.41/1.59 c 2 | |
1.41/1.59 c 2 | Number of variables: 4351 |
1.41/1.59 c 2 | Number of clauses: 101710 |
1.47/1.64 c 2 | Parsing time: 0.04 s |
1.47/1.64 c 2 OK
1.47/1.64 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.47/1.64 c 2 SEARCHING: _COST <= 125
1.47/1.64 c 2 ============================[ Search Statistics ]==============================
1.47/1.64 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.47/1.64 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.47/1.64 c 2 ===============================================================================
1.47/1.64 c 2 | 0 | 4351 101710 316585 | 33903 0 nan | 0.000 % |
1.47/1.65 c 2 ===============================================================================
1.47/1.65 c 2 restarts : 1
1.47/1.65 c 2 conflicts : 9 (192 /sec)
1.47/1.65 c 2 decisions : 70 (0.00 % random) (1490 /sec)
1.47/1.65 c 2 propagations : 4986 (106103 /sec)
1.47/1.65 c 2 conflict literals : 191 (19.07 % deleted)
1.47/1.65 c 2 Memory used : 6.41 MB
1.47/1.65 c 2 CPU time : 0.046992 s
1.47/1.65 c 2
1.47/1.65 c 2 SATISFIABLE
1.47/1.65 c 2 OK
1.47/1.65 c 2 FOUND: _COST <= 125
1.47/1.65 s SATISFIABLE
1.47/1.65 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.47/1.65 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.47/1.73 c 2 Decoding HOME/temp.out
1.47/1.80 c 2 OBJECTIVE _COST 125
1.47/1.80 o 125
1.47/1.80 v 15 15 8 3 5 11 15 15 11 12 15 6 13 8 7 14 15 12 13 12 10 14 15 7 13 10 14 15 15 10 15 12 15 15 15 15 12 15 15 15
1.47/1.81 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.47/1.86 c 2 OK
1.47/1.86 c 2 OBJECTIVE BOUND: 0 <= _COST <= 125
1.47/1.86 c 2 SEARCHING: _COST <= 62
1.47/1.87 c 2 ============================[ Search Statistics ]==============================
1.47/1.88 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.47/1.88 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.47/1.88 c 2 ===============================================================================
1.47/1.88 c 2 | 9 | 4351 101710 316585 | 33903 9 21 | 0.000 % |
1.47/1.89 c 2 | 109 | 3512 101710 316585 | 37293 109 29 | 22.986 % |
1.47/1.89 c 2 ===============================================================================
1.47/1.89 c 2 restarts : 3
1.47/1.89 c 2 conflicts : 114 (1520 /sec)
1.47/1.89 c 2 decisions : 381 (0.52 % random) (5081 /sec)
1.47/1.89 c 2 propagations : 47165 (628967 /sec)
1.47/1.89 c 2 conflict literals : 3233 (25.81 % deleted)
1.47/1.89 c 2 Memory used : 6.54 MB
1.47/1.89 c 2 CPU time : 0.074988 s
1.47/1.89 c 2
1.47/1.89 c 2 SATISFIABLE
1.47/1.89 c 2 OK
1.47/1.89 c 2 FOUND: _COST <= 62
1.47/1.89 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.47/1.89 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.64/1.97 c 2 Decoding HOME/temp.out
1.64/2.04 c 2 OBJECTIVE _COST 62
1.64/2.04 o 62
1.64/2.04 v 13 9 15 15 10 6 15 14 5 0 6 15 15 3 15 1 2 13 15 12 15 7 15 15 15 15 15 10 13 2 15 14 15 15 15 0 14 12 3 4
1.64/2.06 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.64/2.08 c 2 OK
1.64/2.08 c 2 OBJECTIVE BOUND: 0 <= _COST <= 62
1.64/2.08 c 2 SEARCHING: _COST <= 31
1.64/2.08 c 2 ============================[ Search Statistics ]==============================
1.64/2.09 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.64/2.09 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.64/2.09 c 2 ===============================================================================
1.64/2.09 c 2 | 114 | 3351 101710 316585 | 33903 114 28 | 22.986 % |
1.64/2.09 c 2 ===============================================================================
1.64/2.09 c 2 restarts : 4
1.64/2.09 c 2 conflicts : 159 (1916 /sec)
1.64/2.09 c 2 decisions : 512 (0.59 % random) (6170 /sec)
1.64/2.09 c 2 propagations : 55458 (668273 /sec)
1.64/2.09 c 2 conflict literals : 4950 (20.62 % deleted)
1.64/2.09 c 2 Memory used : 6.54 MB
1.64/2.09 c 2 CPU time : 0.082987 s
1.64/2.09 c 2
1.64/2.09 c 2 SATISFIABLE
1.64/2.09 c 2 OK
1.64/2.09 c 2 FOUND: _COST <= 31
1.64/2.09 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.64/2.09 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.89/2.17 c 2 Decoding HOME/temp.out
1.98/2.25 c 2 OBJECTIVE _COST 31
1.98/2.25 o 31
1.98/2.25 v 6 6 15 15 12 10 5 0 10 6 1 11 15 1 0 5 0 15 15 13 11 12 15 4 10 6 8 15 1 8 15 13 6 15 14 14 5 14 12 2
1.98/2.26 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.04/2.30 c 2 OK
2.04/2.30 c 2 OBJECTIVE BOUND: 0 <= _COST <= 31
2.04/2.30 c 2 SEARCHING: _COST <= 15
2.04/2.31 c 2 ============================[ Search Statistics ]==============================
2.04/2.32 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.04/2.32 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.04/2.32 c 2 ===============================================================================
2.04/2.32 c 2 | 159 | 2782 101710 316585 | 33903 159 31 | 22.986 % |
2.04/2.33 c 2 | 259 | 2782 101710 316585 | 37293 259 27 | 44.658 % |
2.04/2.35 c 2 | 409 | 2782 101710 316585 | 41023 409 26 | 44.658 % |
2.04/2.37 c 2 | 634 | 2782 101710 316585 | 45125 634 25 | 44.658 % |
2.15/2.41 c 2 | 971 | 2782 101710 316585 | 49637 971 31 | 44.658 % |
2.15/2.49 c 2 | 1477 | 2782 101710 316585 | 54601 1477 29 | 44.658 % |
2.25/2.59 c 3 | 2237 | 2408 35678 124099 | 60061 2229 29 | 44.658 % |
2.46/2.75 c 3 | 3376 | 2408 35678 124099 | 66068 3368 29 | 44.658 % |
2.66/2.98 c 3 | 5084 | 2408 35678 124099 | 72674 5076 29 | 44.658 % |
3.05/3.36 c 3 | 7646 | 2408 35678 124099 | 79942 7638 31 | 44.658 % |
3.74/4.01 c 4 | 11490 | 2408 35678 124099 | 87936 11482 31 | 44.658 % |
4.63/4.97 c 5 ===============================================================================
4.63/4.97 c 5 restarts : 15
4.63/4.97 c 5 conflicts : 16034 (5920 /sec)
4.63/4.97 c 5 decisions : 18793 (0.49 % random) (6938 /sec)
4.63/4.97 c 5 propagations : 4851255 (1791064 /sec)
4.63/4.97 c 5 conflict literals : 541411 (31.86 % deleted)
4.63/4.97 c 5 Memory used : 7.61 MB
4.63/4.97 c 5 CPU time : 2.70859 s
4.63/4.97 c 5
4.63/4.97 c 5 SATISFIABLE
4.63/4.97 c 5 OK
4.63/4.97 c 5 FOUND: _COST <= 15
4.63/4.97 c 5 DECODING HOME/temp.out WITH HOME/temp.map
4.63/4.97 c 5 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
4.69/5.05 c 5 Decoding HOME/temp.out
4.69/5.11 c 5 OBJECTIVE _COST 15
4.69/5.11 o 15
4.69/5.11 v 13 7 15 3 12 3 4 5 10 13 10 15 11 15 15 3 3 4 15 9 8 12 10 15 15 11 7 15 14 11 9 4 15 14 15 13 15 0 13 4
4.69/5.11 c 5 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
4.69/5.13 c 5 OK
4.69/5.13 c 5 OBJECTIVE BOUND: 0 <= _COST <= 15
4.69/5.13 c 5 SEARCHING: _COST <= 7
4.69/5.13 c 5 ============================[ Search Statistics ]==============================
4.69/5.14 c 5 | Conflicts | ORIGINAL | LEARNT | Progress |
4.69/5.14 c 5 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.69/5.14 c 5 ===============================================================================
4.69/5.14 c 5 | 16034 | 2094 26064 96183 | 8688 15977 34 | 44.658 % |
4.69/5.17 c 5 | 16134 | 2094 26064 96183 | 9556 8089 36 | 51.875 % |
4.91/5.20 c 5 | 16286 | 2094 26064 96183 | 10512 8241 35 | 51.875 % |
4.91/5.23 c 5 | 16511 | 2094 26064 96183 | 11563 8466 35 | 51.875 % |
4.91/5.29 c 5 | 16848 | 2094 26064 96183 | 12720 8803 35 | 51.875 % |
5.02/5.38 c 5 | 17354 | 2094 26064 96183 | 13992 9309 34 | 51.875 % |
5.22/5.51 c 5 | 18115 | 2094 26064 96183 | 15391 10070 34 | 51.875 % |
5.31/5.68 c 6 | 19257 | 2094 26064 96183 | 16930 11212 33 | 51.875 % |
5.61/5.96 c 6 | 20965 | 2094 26064 96183 | 18623 12920 32 | 51.875 % |
6.11/6.40 c 6 | 23528 | 2094 26064 96183 | 20485 15483 32 | 51.875 % |
6.80/7.15 c 7 | 27372 | 2094 26064 96183 | 22534 19327 32 | 51.875 % |
7.99/8.30 c 8 | 33138 | 2094 26064 96183 | 24787 25093 31 | 51.875 % |
9.87/10.24 c 10 | 41787 | 2094 26064 96183 | 27266 17945 26 | 51.875 % |
13.33/13.74 c 14 | 54762 | 2094 26064 96183 | 29993 13313 37 | 51.875 % |
18.57/19.04 c 19 | 74223 | 2094 26064 96183 | 32992 32774 34 | 51.875 % |
30.03/30.61 c 31 | 103415 | 2094 26064 96183 | 36291 18406 55 | 51.875 % |
43.19/43.96 c 44 | 147207 | 2094 26064 96183 | 39921 36273 35 | 51.875 % |
62.06/63.04 c 63 | 212891 | 2094 26064 96183 | 43913 42669 38 | 51.875 % |
94.39/95.74 c 96 | 311418 | 2094 26064 96183 | 48304 40641 31 | 51.875 % |
148.86/150.84 c 151 | 459207 | 2094 26064 96183 | 53135 41292 36 | 51.875 % |
236.94/239.92 c 240 | 680890 | 2094 26064 96183 | 58448 56197 35 | 51.875 % |
384.24/388.96 c 389 | 1013415 | 2094 26064 96183 | 64293 19185 43 | 51.875 % |
617.65/625.09 c 625 | 1512205 | 2094 26064 96183 | 70722 57276 34 | 51.875 % |
666.69/674.62 c 675 ===============================================================================
666.69/674.62 c 675 restarts : 38
666.69/674.62 c 675 conflicts : 1619644 (2437 /sec)
666.69/674.62 c 675 decisions : 1754325 (0.68 % random) (2640 /sec)
666.69/674.62 c 675 propagations : 476571179 (717177 /sec)
666.69/674.62 c 675 conflict literals : 63284380 (33.55 % deleted)
666.69/674.62 c 675 Memory used : 27.50 MB
666.69/674.62 c 675 CPU time : 664.51 s
666.69/674.62 c 675
666.69/674.62 c 675 SATISFIABLE
666.69/674.62 c 675 OK
666.69/674.62 c 675 FOUND: _COST <= 7
666.69/674.62 c 675 DECODING HOME/temp.out WITH HOME/temp.map
666.69/674.62 c 675 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
666.72/674.71 c 675 Decoding HOME/temp.out
666.72/674.78 c 675 OBJECTIVE _COST 7
666.72/674.78 o 7
666.72/674.78 v 3 2 10 13 13 0 13 10 1 12 7 13 2 9 4 6 15 5 15 11 8 13 15 15 4 10 14 12 8 3 6 7 15 10 14 11 7 10 3 4
666.72/674.80 c 675 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
666.72/674.86 c 675 OK
666.72/674.86 c 675 OBJECTIVE BOUND: 0 <= _COST <= 7
666.72/674.86 c 675 SEARCHING: _COST <= 3
666.72/674.86 c 675 ============================[ Search Statistics ]==============================
666.72/674.86 c 675 | Conflicts | ORIGINAL | LEARNT | Progress |
666.72/674.86 c 675 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
666.72/674.86 c 675 ===============================================================================
666.72/674.86 c 675 | 1619644 | 1796 20494 80359 | 6831 48031 38 | 51.875 % |
667.05/675.01 c 675 | 1619745 | 1796 20494 80359 | 7514 7111 40 | 58.724 % |
667.05/675.04 c 675 | 1619898 | 1796 20494 80359 | 8265 7264 40 | 58.724 % |
667.05/675.08 c 675 | 1620124 | 1796 20494 80359 | 9092 7490 40 | 58.724 % |
667.14/675.13 c 675 | 1620461 | 1796 20494 80359 | 10001 7827 40 | 58.724 % |
667.24/675.22 c 675 | 1620967 | 1796 20494 80359 | 11001 8333 39 | 58.724 % |
667.34/675.34 c 675 | 1621726 | 1796 20494 80359 | 12102 9092 38 | 58.724 % |
667.53/675.51 c 675 | 1622865 | 1796 20494 80359 | 13312 10231 39 | 58.724 % |
667.83/675.84 c 676 | 1624573 | 1796 20494 80359 | 14643 11939 41 | 58.724 % |
668.33/676.33 c 676 | 1627135 | 1796 20494 80359 | 16107 14501 44 | 58.724 % |
669.02/677.01 c 677 | 1630979 | 1796 20494 80359 | 17718 18345 43 | 58.724 % |
670.11/678.12 c 678 | 1636745 | 1796 20494 80359 | 19490 13692 41 | 58.724 % |
671.79/679.89 c 680 | 1645397 | 1796 20494 80359 | 21439 22344 39 | 58.724 % |
674.55/682.69 c 683 | 1658371 | 1796 20494 80359 | 23583 22180 34 | 58.724 % |
679.49/687.63 c 688 | 1677832 | 1796 20494 80359 | 25941 26741 32 | 58.724 % |
687.50/695.71 c 696 | 1707024 | 1796 20494 80359 | 28536 22712 46 | 58.724 % |
698.97/707.31 c 707 | 1750813 | 1796 20494 80359 | 31389 28047 36 | 58.724 % |
718.05/726.62 c 727 | 1816498 | 1796 20494 80359 | 34528 30942 31 | 58.724 % |
749.59/758.54 c 759 | 1915024 | 1796 20494 80359 | 37981 33618 33 | 58.724 % |
796.25/805.70 c 806 | 2062814 | 1796 20494 80359 | 41779 19314 30 | 58.724 % |
870.09/880.47 c 880 | 2284497 | 1796 20494 80359 | 45957 28631 38 | 58.724 % |
896.68/907.31 c 907 ===============================================================================
896.68/907.31 c 907 restarts : 59
896.68/907.31 c 907 conflicts : 2364597 (2644 /sec)
896.68/907.31 c 907 decisions : 2577544 (0.71 % random) (2882 /sec)
896.68/907.31 c 907 propagations : 691050049 (772710 /sec)
896.68/907.31 c 907 conflict literals : 89597710 (32.57 % deleted)
896.68/907.31 c 907 Memory used : 27.50 MB
896.68/907.31 c 907 CPU time : 894.32 s
896.68/907.31 c 907
896.68/907.31 c 907 SATISFIABLE
896.68/907.31 c 907 OK
896.68/907.31 c 907 FOUND: _COST <= 3
896.68/907.31 c 907 DECODING HOME/temp.out WITH HOME/temp.map
896.68/907.31 c 907 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
896.76/907.41 c 907 Decoding HOME/temp.out
896.76/907.47 c 907 OBJECTIVE _COST 3
896.76/907.47 o 3
896.76/907.47 v 4 12 2 11 5 6 13 11 3 0 10 15 8 10 8 12 11 7 15 10 11 7 15 12 10 14 0 14 8 10 3 7 5 0 14 3 9 11 0 13
896.76/907.48 c 907 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
896.83/907.54 c 908 OK
896.83/907.54 c 908 OBJECTIVE BOUND: 0 <= _COST <= 3
896.83/907.54 c 908 SEARCHING: _COST <= 1
896.83/907.54 c 908 ============================[ Search Statistics ]==============================
896.83/907.54 c 908 | Conflicts | ORIGINAL | LEARNT | Progress |
896.83/907.55 c 908 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
896.83/907.55 c 908 ===============================================================================
896.83/907.55 c 908 | 2364597 | 1478 17138 71241 | 5712 40613 32 | 58.724 % |
897.02/907.71 c 908 | 2364697 | 1478 17138 71241 | 6283 6956 34 | 66.033 % |
897.02/907.75 c 908 | 2364847 | 1478 17138 71241 | 6912 7106 34 | 66.033 % |
897.11/907.80 c 908 | 2365072 | 1478 17138 71241 | 7603 7331 34 | 66.033 % |
897.11/907.84 c 908 | 2365409 | 1478 17138 71241 | 8363 7668 34 | 66.033 % |
897.21/907.92 c 908 | 2365915 | 1478 17138 71241 | 9200 8174 34 | 66.033 % |
897.31/908.03 c 908 | 2366676 | 1478 17138 71241 | 10120 8935 35 | 66.033 % |
897.51/908.22 c 908 | 2367816 | 1478 17138 71241 | 11132 10075 36 | 66.033 % |
897.81/908.54 c 909 | 2369524 | 1478 17138 71241 | 12245 11783 36 | 66.033 % |
898.30/909.02 c 909 | 2372088 | 1478 17138 71241 | 13470 14347 37 | 66.033 % |
899.00/909.78 c 910 | 2375933 | 1478 17138 71241 | 14817 9753 35 | 66.033 % |
900.08/910.84 c 911 | 2381700 | 1478 17138 71241 | 16298 15520 35 | 66.033 % |
901.86/912.69 c 913 | 2390349 | 1478 17138 71241 | 17928 14103 38 | 66.033 % |
904.72/915.51 c 915 | 2403323 | 1478 17138 71241 | 19721 16385 36 | 66.033 % |
909.07/920.00 c 920 | 2422784 | 1478 17138 71241 | 21693 12419 51 | 66.033 % |
917.77/928.79 c 929 | 2451977 | 1478 17138 71241 | 23863 16515 50 | 66.033 % |
929.94/941.01 c 941 | 2495766 | 1478 17138 71241 | 26249 18474 40 | 66.033 % |
949.80/961.19 c 961 | 2561453 | 1478 17138 71241 | 28874 21435 53 | 66.033 % |
952.77/964.19 c 964 ===============================================================================
952.77/964.19 c 964 restarts : 77
952.77/964.19 c 964 conflicts : 2569612 (2704 /sec)
952.77/964.19 c 964 decisions : 2814097 (0.71 % random) (2961 /sec)
952.77/964.19 c 964 propagations : 724585049 (762449 /sec)
952.77/964.19 c 964 conflict literals : 99312624 (31.94 % deleted)
952.77/964.19 c 964 Memory used : 27.50 MB
952.77/964.19 c 964 CPU time : 950.339 s
952.77/964.19 c 964
952.77/964.19 c 964 SATISFIABLE
952.77/964.19 c 964 OK
952.77/964.19 c 964 FOUND: _COST <= 1
952.77/964.19 c 964 DECODING HOME/temp.out WITH HOME/temp.map
952.77/964.19 c 964 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
952.86/964.27 c 964 Decoding HOME/temp.out
952.86/964.33 c 964 OBJECTIVE _COST 1
952.86/964.33 o 1
952.86/964.33 v 8 1 5 13 1 3 12 7 13 2 14 1 5 9 11 14 2 13 13 9 11 13 15 12 10 14 6 9 1 14 5 10 12 12 2 13 1 5 12 1
952.86/964.34 c 964 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
952.86/964.36 c 964 OK
952.86/964.36 c 964 OBJECTIVE BOUND: 0 <= _COST <= 1
952.86/964.36 c 964 SEARCHING: _COST <= 0
952.86/964.36 c 964 ============================[ Search Statistics ]==============================
952.86/964.36 c 964 | Conflicts | ORIGINAL | LEARNT | Progress |
952.86/964.36 c 964 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
952.86/964.36 c 964 ===============================================================================
952.86/964.36 c 964 | 2569612 | 1100 14829 65446 | 4943 29594 50 | 66.033 % |
953.06/964.46 c 964 | 2569712 | 1100 14829 65446 | 5437 7499 36 | 74.721 % |
953.06/964.48 c 964 | 2569862 | 1100 14829 65446 | 5981 7649 37 | 74.721 % |
953.16/964.52 c 964 | 2570089 | 1100 14829 65446 | 6579 7876 37 | 74.721 % |
953.16/964.57 c 965 | 2570426 | 1100 14829 65446 | 7237 8213 37 | 74.721 % |
953.26/964.66 c 965 | 2570932 | 1100 14829 65446 | 7960 8719 37 | 74.721 % |
953.36/964.77 c 965 | 2571691 | 1100 14829 65446 | 8756 9478 38 | 74.721 % |
953.55/964.97 c 965 | 2572831 | 1100 14829 65446 | 9632 10618 39 | 74.721 % |
953.85/965.29 c 965 | 2574539 | 1100 14829 65446 | 10595 12326 39 | 74.721 % |
954.34/965.80 c 966 | 2577101 | 1100 14829 65446 | 11655 7643 38 | 74.721 % |
955.04/966.45 c 966 | 2580945 | 1100 14829 65446 | 12820 11487 40 | 74.721 % |
956.12/967.52 c 967 | 2586712 | 1100 14829 65446 | 14102 8907 41 | 74.721 % |
957.70/969.20 c 969 | 2595362 | 1100 14829 65446 | 15513 17557 43 | 74.721 % |
960.37/971.87 c 972 | 2608338 | 1100 14829 65446 | 17064 11133 43 | 74.721 % |
964.32/975.88 c 976 | 2627801 | 1100 14829 65446 | 18771 20141 46 | 74.721 % |
970.85/982.42 c 982 | 2656993 | 1100 14829 65446 | 20648 15322 45 | 74.721 % |
980.74/992.40 c 992 | 2700784 | 1100 14829 65446 | 22712 21873 41 | 74.721 % |
997.14/1009.09 c 1009 | 2766470 | 1100 14829 65446 | 24984 20653 39 | 74.721 % |
1021.37/1033.56 c 1034 | 2864996 | 1100 14829 65446 | 27482 24704 47 | 74.721 % |
1061.02/1073.65 c 1074 | 3012786 | 1100 14829 65446 | 30230 16712 38 | 74.721 % |
1122.31/1135.65 c 1136 | 3234469 | 1100 14829 65446 | 33254 21399 44 | 74.721 % |
1141.78/1155.30 c 1155 ===============================================================================
1141.78/1155.30 c 1155 restarts : 98
1141.78/1155.30 c 1155 conflicts : 3302113 (2899 /sec)
1141.78/1155.30 c 1155 decisions : 3694458 (0.78 % random) (3243 /sec)
1141.78/1155.30 c 1155 propagations : 790838111 (694266 /sec)
1141.78/1155.30 c 1155 conflict literals : 132201489 (30.18 % deleted)
1141.78/1155.30 c 1155 Memory used : 27.64 MB
1141.78/1155.30 c 1155 CPU time : 1139.1 s
1141.78/1155.30 c 1155
1141.78/1155.30 c 1155 UNSATISFIABLE
1141.78/1155.30 c 1155 OK
1141.78/1155.30 c 1155 NOT FOUND: _COST <= 0
1141.78/1155.30 c 1155 OK
1141.78/1155.30 c 1155 OBJECTIVE _COST 1
1141.78/1155.30 s OPTIMUM FOUND
1141.78/1155.31 c 1155 CPU 1141.4 (0.07 0.02 1141.33 0.38)
1141.78/1155.31 c 1155 END Sun Jul 13 00:48:14 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-1114419-1215901739/watcher-1114419-1215901739 -o /tmp/evaluation-result-1114419-1215901739/solver-1114419-1215901739 -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-1114419-1215901739.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.11 2.45 2.55 4/98 13389
/proc/meminfo: memFree=1862704/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=12132 CPUtime=0
/proc/13389/stat : 13389 (sugar++) R 13387 13389 13129 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 46870874 12423168 253 996147200 4194304 4206940 548682068528 18446744073709551615 224284789392 0 0 4224 0 0 0 0 17 1 0 0
/proc/13389/statm: 3033 253 188 3 0 133 0
[startup+0.0678781 s]
/proc/loadavg: 2.11 2.45 2.55 4/98 13389
/proc/meminfo: memFree=1862704/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16476 CPUtime=0.05
/proc/13389/stat : 13389 (sugar++) R 13387 13389 13129 0 -1 4194304 1043 0 0 0 4 1 0 0 20 0 1 0 46870874 16871424 1011 996147200 4194304 4206940 548682068528 18446744073709551615 224284495616 0 0 4224 0 0 0 0 17 0 0 0
/proc/13389/statm: 4119 1011 380 3 0 698 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16476
[startup+0.101879 s]
/proc/loadavg: 2.11 2.45 2.55 4/98 13389
/proc/meminfo: memFree=1862704/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16740 CPUtime=0.06
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1219 128 0 0 5 1 0 0 18 0 1 0 46870874 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301914 s]
/proc/loadavg: 2.11 2.45 2.55 4/98 13389
/proc/meminfo: memFree=1862704/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16740 CPUtime=0.06
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1219 128 0 0 5 1 0 0 18 0 1 0 46870874 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701996 s]
/proc/loadavg: 2.11 2.45 2.55 4/98 13389
/proc/meminfo: memFree=1862704/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16740 CPUtime=0.44
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1296 4669 0 1 5 1 34 4 16 0 1 0 46870874 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 16740
[startup+1.50214 s]
/proc/loadavg: 2.18 2.46 2.56 4/109 13411
/proc/meminfo: memFree=1847704/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16740 CPUtime=0.44
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1297 4669 0 1 5 1 34 4 15 0 1 0 46870874 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4185 1104 409 3 0 764 0
[pid=13402] ppid=13389 vsize=5356 CPUtime=0
/proc/13402/stat : 13402 (sh) S 13389 13389 13129 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46870924 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 224264774468 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13402/statm: 1339 233 193 169 0 50 0
[pid=13403] ppid=13402 vsize=868476 CPUtime=0.97
/proc/13403/stat : 13403 (java) S 13402 13389 13129 0 -1 0 7524 0 1 0 91 6 0 0 20 0 9 0 46870924 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13403/statm: 217119 6693 2565 9 0 211666 0
[pid=13403/tid=13404] ppid=13402 vsize=868476 CPUtime=0.6
/proc/13403/task/13404/stat : 13404 (java) R 13402 13389 13129 0 -1 64 2777 0 1 0 58 2 0 0 25 0 9 0 46870925 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 102064826 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13405] ppid=13402 vsize=868476 CPUtime=0.13
/proc/13403/task/13405/stat : 13405 (java) S 13402 13389 13129 0 -1 64 2577 0 0 0 13 0 0 0 16 0 9 0 46870926 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13406] ppid=13402 vsize=868476 CPUtime=0
/proc/13403/task/13406/stat : 13406 (java) S 13402 13389 13129 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46870926 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13407] ppid=13402 vsize=868476 CPUtime=0
/proc/13403/task/13407/stat : 13407 (java) S 13402 13389 13129 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46870927 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13408] ppid=13402 vsize=868476 CPUtime=0
/proc/13403/task/13408/stat : 13408 (java) S 13402 13389 13129 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 46870928 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13409] ppid=13402 vsize=868476 CPUtime=0.19
/proc/13403/task/13409/stat : 13409 (java) S 13402 13389 13129 0 -1 64 1477 0 0 0 18 1 0 0 16 0 9 0 46870928 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13410] ppid=13402 vsize=868476 CPUtime=0
/proc/13403/task/13410/stat : 13410 (java) S 13402 13389 13129 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 46870928 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13403/tid=13411] ppid=13402 vsize=868476 CPUtime=0
/proc/13403/task/13411/stat : 13411 (java) S 13402 13389 13129 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46870928 889319424 6693 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890572
[startup+3.10144 s]
/proc/loadavg: 2.18 2.46 2.56 3/102 13434
/proc/meminfo: memFree=1851144/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=1.98
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1688 23828 0 5 5 2 172 19 15 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=6968 CPUtime=0.87
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 1643 0 0 0 86 1 0 0 22 0 1 0 46871034 7135232 1586 996147200 134512640 135134323 4294956192 18446744073709551615 134532166 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 1742 1586 80 151 0 1588 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 23840
[startup+6.30204 s]
/proc/loadavg: 2.18 2.46 2.56 3/100 13452
/proc/meminfo: memFree=1850072/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 15 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=7784 CPUtime=3.87
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 1877 0 0 0 386 1 0 0 25 0 1 0 46871034 7970816 1818 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 1946 1818 80 151 0 1792 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 24656
[startup+12.7012 s]
/proc/loadavg: 2.15 2.45 2.55 3/100 13452
/proc/meminfo: memFree=1848672/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=9548 CPUtime=10.2
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 2288 0 0 0 1018 2 0 0 25 0 1 0 46871034 9777152 2229 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 2387 2229 80 151 0 2233 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 26420
[startup+25.5016 s]
/proc/loadavg: 2.13 2.43 2.54 3/100 13452
/proc/meminfo: memFree=1846432/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=11936 CPUtime=22.85
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 2906 0 0 0 2283 2 0 0 25 0 1 0 46871034 12222464 2847 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 2984 2847 80 151 0 2830 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 28808
[startup+51.1014 s]
/proc/loadavg: 2.08 2.40 2.53 3/100 13452
/proc/meminfo: memFree=1844000/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=14396 CPUtime=48.16
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 3487 0 0 0 4813 3 0 0 25 0 1 0 46871034 14741504 3428 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 3599 3428 80 151 0 3445 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 31268
[startup+102.309 s]
/proc/loadavg: 2.07 2.34 2.50 3/100 13452
/proc/meminfo: memFree=1841440/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=16612 CPUtime=98.78
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 4048 0 0 0 9874 4 0 0 25 0 1 0 46871034 17010688 3989 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 4153 3989 80 151 0 3999 0
Current children cumulated CPU time (s) 100.92
Current children cumulated vsize (KiB) 33484
[startup+162.301 s]
/proc/loadavg: 2.06 2.29 2.47 3/100 13452
/proc/meminfo: memFree=1839328/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=18804 CPUtime=158.09
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 4581 0 0 0 15805 4 0 0 25 0 1 0 46871034 19255296 4522 996147200 134512640 135134323 4294956192 18446744073709551615 134529433 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 4701 4522 80 151 0 4547 0
Current children cumulated CPU time (s) 160.23
Current children cumulated vsize (KiB) 35676
[startup+222.301 s]
/proc/loadavg: 2.13 2.27 2.45 3/100 13452
/proc/meminfo: memFree=1837984/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=20304 CPUtime=217.4
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 4935 0 0 0 21736 4 0 0 25 0 1 0 46871034 20791296 4876 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 5076 4876 80 151 0 4922 0
Current children cumulated CPU time (s) 219.54
Current children cumulated vsize (KiB) 37176
[startup+282.301 s]
/proc/loadavg: 2.53 2.34 2.46 3/100 13452
/proc/meminfo: memFree=1836128/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=22232 CPUtime=276.72
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 5394 0 0 0 27667 5 0 0 25 0 1 0 46871034 22765568 5335 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 5558 5335 80 151 0 5404 0
Current children cumulated CPU time (s) 278.86
Current children cumulated vsize (KiB) 39104
[startup+342.303 s]
/proc/loadavg: 2.53 2.38 2.46 3/100 13452
/proc/meminfo: memFree=1835488/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.14
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1758 27596 0 6 6 2 184 22 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.07 2.26 3/100 13462
/proc/meminfo: memFree=1829984/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.31
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1826 31371 0 7 6 2 199 24 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28160 CPUtime=810.34
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6813 0 0 0 81027 7 0 0 25 0 1 0 46871034 28835840 6752 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7040 6752 80 151 0 6886 0
Current children cumulated CPU time (s) 812.65
Current children cumulated vsize (KiB) 45032
[startup+882.301 s]
/proc/loadavg: 2.00 2.05 2.24 3/100 13462
/proc/meminfo: memFree=1829984/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.31
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1826 31371 0 7 6 2 199 24 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28160 CPUtime=869.65
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6822 0 0 0 86958 7 0 0 25 0 1 0 46871034 28835840 6761 996147200 134512640 135134323 4294956192 18446744073709551615 134532054 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7040 6761 80 151 0 6886 0
Current children cumulated CPU time (s) 871.96
Current children cumulated vsize (KiB) 45032
[startup+942.302 s]
/proc/loadavg: 2.00 2.04 2.23 3/100 13472
/proc/meminfo: memFree=1829856/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.46
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1895 35139 0 8 6 2 211 27 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28160 CPUtime=928.76
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6834 0 0 0 92869 7 0 0 25 0 1 0 46871034 28835840 6771 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7040 6771 80 151 0 6886 0
Current children cumulated CPU time (s) 931.22
Current children cumulated vsize (KiB) 45032
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.21 3/100 13482
/proc/meminfo: memFree=1829728/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=987.91
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 98784 7 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134534430 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 990.52
Current children cumulated vsize (KiB) 45172
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.19 3/100 13482
/proc/meminfo: memFree=1829664/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1047.24
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 104716 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1049.85
Current children cumulated vsize (KiB) 45172
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.18 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1106.55
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 110647 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531133 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1109.16
Current children cumulated vsize (KiB) 45172
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.00 2.02 2.18 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1110.51
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 111043 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1113.12
Current children cumulated vsize (KiB) 45172
[startup+1139.1 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1123.16
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 112308 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1125.77
Current children cumulated vsize (KiB) 45172
[startup+1145.5 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1129.48
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 112940 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1132.09
Current children cumulated vsize (KiB) 45172
[startup+1151.9 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1135.81
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 113573 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134532016 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1138.42
Current children cumulated vsize (KiB) 45172
[startup+1153.5 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1137.4
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 113732 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1140.01
Current children cumulated vsize (KiB) 45172
[startup+1154.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1138.18
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 113810 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1140.79
Current children cumulated vsize (KiB) 45172
[startup+1155.1 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1138.97
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 113889 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134531977 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1141.58
Current children cumulated vsize (KiB) 45172
[startup+1155.3 s]
/proc/loadavg: 2.00 2.02 2.17 3/100 13482
/proc/meminfo: memFree=1829600/2055920 swapFree=4192812/4192956
[pid=13389] ppid=13387 vsize=16872 CPUtime=2.61
/proc/13389/stat : 13389 (sugar++) S 13387 13389 13129 0 -1 4194304 1965 38907 0 9 7 2 223 29 16 0 1 0 46870874 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 224273674338 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/13389/statm: 4218 1119 414 3 0 797 0
[pid=13412] ppid=13389 vsize=28300 CPUtime=1139.17
/proc/13412/stat : 13412 (minisat-inc) R 13389 13389 13129 0 -1 4194304 6846 0 0 0 113909 8 0 0 25 0 1 0 46871034 28979200 6781 996147200 134512640 135134323 4294956192 18446744073709551615 134532799 0 0 4096 3 0 0 0 17 0 0 0
/proc/13412/statm: 7075 6781 80 151 0 6921 0
Current children cumulated CPU time (s) 1141.78
Current children cumulated vsize (KiB) 45172
Child status: 0
Real time (s): 1155.31
CPU time (s): 1141.81
CPU user time (s): 1141.4
CPU system time (s): 0.408937
CPU usage (%): 98.8314
Max. virtual memory (cumulated for all children) (KiB): 890572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1141.4
system time used= 0.408937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47799
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= 4064
involuntary context switches= 30809
runsolver used 1.62775 second user time and 4.70328 second system time
The end
Begin job on node82 at 2008-07-13 00:28:59
IDJOB=1114419
IDBENCH=61731
IDSOLVER=367
FILE ID=node82/1114419-1215901739
PBS_JOBID= 7903707
Free space on /tmp= 66552 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.35/normalized-rand-2-40-16-250-350-90_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-1114419-1215901739/watcher-1114419-1215901739 -o /tmp/evaluation-result-1114419-1215901739/solver-1114419-1215901739 -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-1114419-1215901739.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c866bb6a5cbfacfad286a14d732ce0db
RANDOM SEED=89285134
node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1863120 kB
Buffers: 21980 kB
Cached: 82740 kB
SwapCached: 0 kB
Active: 91196 kB
Inactive: 53008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1863120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1140 kB
Writeback: 0 kB
Mapped: 51284 kB
Slab: 31108 kB
Committed_AS: 273736 kB
PageTables: 3916 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= 66548 MiB
End job on node82 at 2008-07-13 00:48:14