0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Mon Jul 14 16:44:20 2008
0.00/0.04 c 0 PID 24190
0.03/0.05 c 0 HOST node68.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1116292-1216046660.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1116292-1216046660.xml' 'HOME/temp.csp'
0.03/0.30 c 0 1 domains, 25 variables, 0 predicates, 63 relations, 63 constraints
0.03/0.35 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.35 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.23/0.42 c 1 Parsing HOME/temp.csp
0.23/0.50 c 1 parsed 152 expressions
0.23/0.50 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.51 c 1 MAX CSP: 63 constraints
0.23/0.51 c 1 Converting to clausal form CSP
0.23/0.52 c 1 converted 22 (10%) expressions
0.23/0.53 c 1 converted 44 (20%) expressions
0.23/0.53 c 1 converted 66 (30%) expressions
0.23/0.53 c 1 converted 88 (40%) expressions
0.23/0.54 c 1 converted 109 (50%) expressions
0.23/0.54 c 1 converted 131 (60%) expressions
0.23/0.55 c 1 converted 153 (70%) expressions
0.23/0.55 c 1 converted 175 (80%) expressions
0.23/0.56 c 1 converted 197 (90%) expressions
0.23/0.60 c 1 converted 218 (100%) expressions
0.23/0.60 c 1 CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 95
0.23/0.60 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.60 c 1 Propagation in CSP
0.23/0.61 c 1 57 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.23/0.61 c 1 CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 64
0.23/0.61 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.61 c 1 Simplifing CSP by introducing new Boolean variables
0.23/0.61 c 1 CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 64
0.23/0.61 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.63 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.23/0.65 c 1 16 (10%) CSP integer variables are encoded (128 clauses, 1280 bytes)
0.23/0.65 c 1 31 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 1 46 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 1 61 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 1 76 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 1 91 (60%) CSP integer variables are encoded (264 clauses, 2776 bytes)
0.23/0.65 c 1 106 (70%) CSP integer variables are encoded (313 clauses, 3315 bytes)
0.23/0.65 c 1 121 (80%) CSP integer variables are encoded (392 clauses, 4184 bytes)
0.23/0.65 c 1 136 (90%) CSP integer variables are encoded (441 clauses, 4723 bytes)
0.23/0.66 c 1 151 (100%) CSP integer variables are encoded (773 clauses, 8375 bytes)
0.23/0.68 c 1 19 (10%) CSP clauses are encoded (1138 clauses, 14585 bytes)
0.23/0.69 c 1 38 (20%) CSP clauses are encoded (1482 clauses, 20708 bytes)
0.24/0.70 c 1 57 (30%) CSP clauses are encoded (1824 clauses, 27187 bytes)
0.24/0.70 c 1 76 (40%) CSP clauses are encoded (2011 clauses, 30377 bytes)
0.24/0.71 c 1 94 (50%) CSP clauses are encoded (2302 clauses, 34475 bytes)
0.24/0.71 c 1 113 (60%) CSP clauses are encoded (2431 clauses, 36195 bytes)
0.24/0.71 c 1 132 (70%) CSP clauses are encoded (3274 clauses, 48605 bytes)
0.24/0.71 c 1 151 (80%) CSP clauses are encoded (3403 clauses, 50325 bytes)
0.24/0.72 c 1 170 (90%) CSP clauses are encoded (3718 clauses, 54767 bytes)
0.24/0.72 c 1 188 (100%) CSP clauses are encoded (8007 clauses, 118000 bytes)
0.24/0.72 c 1 188 CSP clauses encoded
0.24/0.72 c 1 Writing map file : HOME/temp.map
0.24/0.73 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.24/0.73 c 1 SAT : 924 SAT variables, 8007 SAT clauses, 118000 bytes
0.24/0.73 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.24/0.81 c 1 OBJECTIVE minimize _COST
0.24/0.81 c 1 OBJECTIVE BOUND: 0 <= _COST <=
0.24/0.81 c 1 SEARCHING: _COST <= 32
0.24/0.81 c 1 SOLVING HOME/temp.cnf
0.24/0.81 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.24/0.81 c 1 This is MiniSat 2.0 beta
0.24/0.81 c 1 WARNING: for repeatability, setting FPU to use double precision
0.24/0.81 c 1 ============================[ Problem Statistics ]=============================
0.24/0.81 c 1 | |
0.24/0.81 c 1 | Number of variables: 924 |
0.24/0.81 c 1 | Number of clauses: 8008 |
0.24/0.82 c 1 | Parsing time: 0.00 s |
0.24/0.82 c 1 ============================[ Search Statistics ]==============================
0.24/0.82 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.24/0.82 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.24/0.82 c 1 ===============================================================================
0.24/0.82 c 1 | 0 | 738 5744 16745 | 1914 0 nan | 0.000 % |
0.24/0.82 c 1 | 103 | 738 5744 16745 | 2106 103 23 | 20.131 % |
0.24/0.83 c 1 | 253 | 738 5744 16745 | 2316 253 20 | 20.130 % |
0.24/0.84 c 1 | 479 | 738 5744 16745 | 2548 479 18 | 20.131 % |
0.24/0.84 c 1 ===============================================================================
0.24/0.84 c 1 restarts : 4
0.24/0.84 c 1 conflicts : 493 (18964 /sec)
0.24/0.84 c 1 decisions : 769 (1.04 % random) (29581 /sec)
0.24/0.84 c 1 propagations : 44909 (1727535 /sec)
0.24/0.84 c 1 conflict literals : 8911 (23.21 % deleted)
0.24/0.84 c 1 Memory used : 2.17 MB
0.24/0.84 c 1 CPU time : 0.025996 s
0.24/0.84 c 1
0.24/0.84 c 1 SATISFIABLE
0.24/0.84 c 1 FOUND: _COST <= 32
0.24/0.84 s SATISFIABLE
0.24/0.84 c 1 DECODING HOME/temp.out WITH HOME/temp.map
0.24/0.84 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
0.66/0.92 c 1 Decoding HOME/temp.out
0.66/0.96 c 1 OBJECTIVE _COST 32
0.66/0.96 o 32
0.66/0.96 v 9 9 2 9 6 4 1 6 9 5 8 9 8 6 5 7 6 1 0 8 9 8 8 9 1
0.66/0.97 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.78/1.00 c 1 OBJECTIVE BOUND: 0 <= _COST <= 32
0.78/1.00 c 1 SEARCHING: _COST <= 16
0.78/1.00 c 1 SOLVING HOME/temp.cnf
0.78/1.00 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.78/1.01 c 1 This is MiniSat 2.0 beta
0.78/1.01 c 1 WARNING: for repeatability, setting FPU to use double precision
0.78/1.01 c 1 ============================[ Problem Statistics ]=============================
0.78/1.01 c 1 | |
0.78/1.01 c 1 | Number of variables: 924 |
0.78/1.01 c 1 | Number of clauses: 8008 |
0.78/1.01 c 1 | Parsing time: 0.00 s |
0.78/1.01 c 1 ============================[ Search Statistics ]==============================
0.78/1.01 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.78/1.01 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.78/1.01 c 1 ===============================================================================
0.78/1.01 c 1 | 0 | 626 4312 12769 | 1437 0 nan | 0.000 % |
0.78/1.02 c 1 | 101 | 626 4312 12769 | 1581 101 14 | 32.252 % |
0.78/1.02 c 1 | 252 | 626 4312 12769 | 1739 252 12 | 32.257 % |
0.78/1.03 c 1 | 478 | 626 4312 12769 | 1913 478 12 | 32.257 % |
0.78/1.05 c 1 | 815 | 626 4312 12769 | 2104 815 11 | 32.257 % |
0.78/1.07 c 1 | 1321 | 626 4312 12769 | 2314 1321 12 | 32.255 % |
0.78/1.10 c 1 | 2081 | 626 4312 12769 | 2546 2081 11 | 32.255 % |
0.78/1.16 c 1 | 3220 | 626 4312 12769 | 2800 1705 12 | 32.255 % |
0.78/1.25 c 1 | 4929 | 626 4312 12769 | 3081 1753 11 | 32.255 % |
0.78/1.39 c 2 | 7491 | 626 4312 12769 | 3389 2516 13 | 32.255 % |
0.78/1.62 c 2 | 11336 | 626 4312 12769 | 3728 2519 12 | 32.253 % |
0.78/1.96 c 2 | 17104 | 626 4312 12769 | 4100 4071 17 | 32.253 % |
2.24/2.53 c 3 | 25753 | 626 4312 12769 | 4510 3539 15 | 32.253 % |
3.14/3.42 c 4 | 38727 | 626 4312 12769 | 4962 3997 16 | 32.253 % |
4.52/4.81 c 5 | 58188 | 626 4312 12769 | 5458 4366 16 | 32.253 % |
6.50/6.87 c 7 | 87380 | 626 4312 12769 | 6004 3852 15 | 32.253 % |
9.68/10.03 c 10 | 131170 | 626 4312 12769 | 6604 5464 15 | 32.253 % |
14.43/14.87 c 15 | 196854 | 626 4312 12769 | 7264 3964 14 | 32.253 % |
21.77/22.21 c 22 | 295381 | 626 4312 12769 | 7991 5685 12 | 32.258 % |
32.87/33.43 c 34 | 443171 | 622 4266 12609 | 8790 5436 14 | 32.686 % |
50.22/50.98 c 51 | 664854 | 619 4215 12418 | 9669 8395 16 | 33.009 % |
65.59/66.49 c 67 ===============================================================================
65.59/66.49 c 67 restarts : 21
65.59/66.49 c 67 conflicts : 859020 (13234 /sec)
65.59/66.49 c 67 decisions : 1015099 (1.17 % random) (15639 /sec)
65.59/66.49 c 67 propagations : 82533447 (1271542 /sec)
65.59/66.49 c 67 conflict literals : 13137090 (32.29 % deleted)
65.59/66.49 c 67 Memory used : 4.65 MB
65.59/66.49 c 67 CPU time : 64.9081 s
65.59/66.49 c 67
65.59/66.49 c 67 UNSATISFIABLE
65.59/66.50 c 67 NOT FOUND: _COST <= 16
65.59/66.50 c 67 OBJECTIVE BOUND: 17 <= _COST <= 32
65.59/66.50 c 67 SEARCHING: _COST <= 24
65.59/66.50 c 67 SOLVING HOME/temp.cnf
65.59/66.50 c 67 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
65.70/66.50 c 67 This is MiniSat 2.0 beta
65.70/66.50 c 67 WARNING: for repeatability, setting FPU to use double precision
65.70/66.50 c 67 ============================[ Problem Statistics ]=============================
65.70/66.50 c 67 | |
65.70/66.50 c 67 | Number of variables: 924 |
65.70/66.50 c 67 | Number of clauses: 8008 |
65.70/66.51 c 67 | Parsing time: 0.00 s |
65.70/66.51 c 67 ============================[ Search Statistics ]==============================
65.70/66.51 c 67 | Conflicts | ORIGINAL | LEARNT | Progress |
65.70/66.51 c 67 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
65.70/66.51 c 67 ===============================================================================
65.70/66.51 c 67 | 0 | 682 5060 14853 | 1686 0 nan | 0.000 % |
65.70/66.52 c 67 | 100 | 682 5060 14853 | 1855 100 18 | 26.191 % |
65.70/66.52 c 67 | 252 | 682 5060 14853 | 2040 252 18 | 26.196 % |
65.70/66.53 c 67 | 479 | 682 5060 14853 | 2244 479 13 | 26.193 % |
65.70/66.55 c 67 | 817 | 682 5060 14853 | 2469 817 14 | 26.192 % |
65.70/66.57 c 67 | 1324 | 682 5060 14853 | 2716 1324 15 | 26.192 % |
65.70/66.61 c 67 | 2083 | 682 5060 14853 | 2988 2083 16 | 26.192 % |
65.70/66.67 c 67 | 3222 | 682 5060 14853 | 3286 3222 16 | 26.192 % |
65.70/66.77 c 67 | 4933 | 682 5060 14853 | 3615 3028 16 | 26.192 % |
65.70/66.93 c 67 | 7497 | 682 5060 14853 | 3977 3524 17 | 26.192 % |
66.28/67.19 c 67 | 11341 | 682 5060 14853 | 4374 2855 17 | 26.192 % |
66.67/67.60 c 68 | 17107 | 682 5060 14853 | 4812 3731 14 | 26.192 % |
67.27/68.14 c 68 | 25757 | 682 5060 14853 | 5293 4377 16 | 26.192 % |
68.16/69.08 c 69 | 38731 | 682 5060 14853 | 5822 5709 15 | 26.192 % |
69.55/70.46 c 71 | 58192 | 682 5060 14853 | 6405 6167 18 | 26.192 % |
71.83/72.78 c 73 | 87386 | 682 5060 14853 | 7045 3972 21 | 26.192 % |
75.50/76.43 c 77 | 131175 | 682 5060 14853 | 7750 6058 23 | 26.192 % |
81.15/82.12 c 82 | 196859 | 682 5060 14853 | 8525 5570 21 | 26.192 % |
89.77/90.85 c 91 | 295385 | 682 5060 14853 | 9377 4613 16 | 26.192 % |
98.80/99.99 c 100 ===============================================================================
98.80/100.00 c 100 restarts : 19
98.80/100.00 c 100 conflicts : 396839 (11953 /sec)
98.80/100.00 c 100 decisions : 448671 (0.97 % random) (13515 /sec)
98.80/100.00 c 100 propagations : 35734163 (1076364 /sec)
98.80/100.00 c 100 conflict literals : 7692656 (32.09 % deleted)
98.80/100.00 c 100 Memory used : 4.52 MB
98.80/100.00 c 100 CPU time : 33.199 s
98.80/100.00 c 100
98.80/100.00 c 100 SATISFIABLE
98.89/100.00 c 100 FOUND: _COST <= 24
98.89/100.00 c 100 DECODING HOME/temp.out WITH HOME/temp.map
98.89/100.00 c 100 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
98.91/100.20 c 100 Decoding HOME/temp.out
98.91/100.24 c 100 OBJECTIVE _COST 24
98.91/100.24 o 24
98.91/100.24 v 9 1 0 3 9 2 8 9 0 7 1 1 3 2 5 7 6 0 3 4 6 1 2 9 8
98.91/100.25 c 100 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
98.91/100.30 c 100 OBJECTIVE BOUND: 17 <= _COST <= 24
98.91/100.30 c 100 SEARCHING: _COST <= 20
98.91/100.30 c 100 SOLVING HOME/temp.cnf
98.91/100.30 c 100 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
98.91/100.31 c 100 This is MiniSat 2.0 beta
98.91/100.31 c 100 WARNING: for repeatability, setting FPU to use double precision
98.91/100.31 c 100 ============================[ Problem Statistics ]=============================
98.91/100.31 c 100 | |
98.91/100.31 c 100 | Number of variables: 924 |
98.91/100.31 c 100 | Number of clauses: 8008 |
98.91/100.31 c 100 | Parsing time: 0.00 s |
98.91/100.31 c 100 ============================[ Search Statistics ]==============================
98.91/100.31 c 100 | Conflicts | ORIGINAL | LEARNT | Progress |
98.91/100.31 c 100 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
98.91/100.31 c 100 ===============================================================================
98.91/100.31 c 100 | 0 | 654 4694 13835 | 1564 0 nan | 0.000 % |
98.91/100.32 c 100 | 100 | 654 4694 13835 | 1721 100 18 | 29.222 % |
98.91/100.32 c 100 | 250 | 654 4694 13835 | 1893 250 15 | 29.223 % |
98.91/100.33 c 100 | 475 | 654 4694 13835 | 2082 475 15 | 29.222 % |
98.91/100.35 c 100 | 812 | 654 4694 13835 | 2290 812 16 | 29.222 % |
98.91/100.37 c 100 | 1318 | 654 4694 13835 | 2519 1318 16 | 29.223 % |
99.03/100.41 c 101 | 2077 | 654 4694 13835 | 2771 2077 16 | 29.226 % |
99.03/100.47 c 101 | 3216 | 654 4694 13835 | 3049 3216 16 | 29.222 % |
99.03/100.58 c 101 | 4925 | 654 4694 13835 | 3354 3132 15 | 29.228 % |
99.03/100.72 c 101 | 7490 | 654 4694 13835 | 3689 3769 15 | 29.222 % |
99.03/100.95 c 101 | 11334 | 654 4694 13835 | 4058 3411 14 | 29.223 % |
100.01/101.33 c 101 | 17103 | 654 4694 13835 | 4464 2351 14 | 29.223 % |
100.60/101.90 c 102 | 25752 | 654 4694 13835 | 4910 3583 12 | 29.223 % |
101.39/102.79 c 103 | 38727 | 654 4694 13835 | 5401 3008 16 | 29.223 % |
102.78/104.16 c 104 | 58188 | 654 4694 13835 | 5941 4791 16 | 29.223 % |
104.97/106.38 c 107 | 87380 | 654 4694 13835 | 6536 5104 16 | 29.222 % |
108.24/109.70 c 110 | 131169 | 654 4694 13835 | 7189 6751 14 | 29.224 % |
113.39/114.89 c 115 | 196854 | 654 4694 13835 | 7908 7017 15 | 29.223 % |
121.62/123.12 c 123 | 295381 | 654 4694 13835 | 8699 4601 17 | 29.223 % |
134.51/136.19 c 136 | 443170 | 654 4694 13835 | 9569 5166 17 | 29.223 % |
155.33/157.16 c 157 | 664853 | 654 4694 13835 | 10526 5575 17 | 29.223 % |
186.65/188.78 c 189 | 997379 | 654 4694 13835 | 11578 7481 16 | 29.223 % |
234.44/236.94 c 237 | 1496169 | 654 4694 13835 | 12736 10832 15 | 29.223 % |
311.68/314.87 c 315 | 2244351 | 654 4694 13835 | 14010 10984 19 | 29.223 % |
434.51/438.75 c 439 | 3366625 | 654 4694 13835 | 15411 14407 16 | 29.234 % |
625.37/631.28 c 631 | 5050036 | 653 4681 13793 | 16952 12682 24 | 29.329 % |
684.47/690.89 c 691 ===============================================================================
684.47/690.89 c 691 restarts : 26
684.47/690.89 c 691 conflicts : 5546670 (9473 /sec)
684.47/690.89 c 691 decisions : 6403804 (1.06 % random) (10937 /sec)
684.47/690.89 c 691 propagations : 514294048 (878366 /sec)
684.47/690.89 c 691 conflict literals : 113100937 (29.80 % deleted)
684.47/690.89 c 691 Memory used : 10.20 MB
684.47/690.89 c 691 CPU time : 585.512 s
684.47/690.89 c 691
684.47/690.89 c 691 SATISFIABLE
684.47/690.89 c 691 FOUND: _COST <= 20
684.47/690.89 c 691 DECODING HOME/temp.out WITH HOME/temp.map
684.47/690.89 c 691 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
684.57/690.99 c 691 Decoding HOME/temp.out
684.57/691.02 c 691 OBJECTIVE _COST 20
684.57/691.03 o 20
684.57/691.03 v 8 7 4 1 4 5 2 0 8 0 9 8 4 0 0 4 6 6 5 8 1 8 8 9 9
684.57/691.03 c 691 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
684.57/691.09 c 691 OBJECTIVE BOUND: 17 <= _COST <= 20
684.57/691.09 c 691 SEARCHING: _COST <= 18
684.57/691.09 c 691 SOLVING HOME/temp.cnf
684.57/691.09 c 691 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
684.57/691.09 c 691 This is MiniSat 2.0 beta
684.57/691.09 c 691 WARNING: for repeatability, setting FPU to use double precision
684.57/691.09 c 691 ============================[ Problem Statistics ]=============================
684.57/691.09 c 691 | |
684.57/691.09 c 691 | Number of variables: 924 |
684.57/691.09 c 691 | Number of clauses: 8008 |
684.57/691.10 c 691 | Parsing time: 0.00 s |
684.70/691.10 c 691 ============================[ Search Statistics ]==============================
684.70/691.10 c 691 | Conflicts | ORIGINAL | LEARNT | Progress |
684.70/691.10 c 691 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
684.70/691.10 c 691 ===============================================================================
684.70/691.10 c 691 | 0 | 640 4505 13308 | 1501 0 nan | 0.000 % |
684.70/691.10 c 691 | 100 | 640 4505 13308 | 1651 100 16 | 30.737 % |
684.70/691.11 c 691 | 250 | 640 4505 13308 | 1817 250 15 | 30.738 % |
684.70/691.12 c 691 | 475 | 640 4505 13308 | 1998 475 14 | 30.739 % |
684.70/691.13 c 691 | 814 | 640 4505 13308 | 2198 814 13 | 30.737 % |
684.70/691.16 c 691 | 1321 | 640 4505 13308 | 2418 1321 13 | 30.738 % |
684.70/691.19 c 691 | 2082 | 640 4505 13308 | 2660 2082 13 | 30.738 % |
684.70/691.26 c 691 | 3221 | 640 4505 13308 | 2926 1616 13 | 30.738 % |
684.70/691.36 c 691 | 4930 | 640 4505 13308 | 3218 3325 15 | 30.738 % |
684.70/691.52 c 692 | 7492 | 640 4505 13308 | 3540 2155 12 | 30.738 % |
684.70/691.78 c 692 | 11336 | 640 4505 13308 | 3894 3961 13 | 30.739 % |
685.70/692.15 c 692 | 17102 | 640 4505 13308 | 4284 3154 11 | 30.738 % |
686.30/692.74 c 693 | 25752 | 640 4505 13308 | 4712 4653 16 | 30.738 % |
687.20/693.68 c 694 | 38726 | 640 4505 13308 | 5184 4544 13 | 30.738 % |
688.70/695.12 c 695 | 58187 | 640 4505 13308 | 5702 4150 14 | 30.738 % |
691.00/697.44 c 698 | 87381 | 640 4505 13308 | 6272 5460 15 | 30.738 % |
694.59/701.04 c 701 | 131170 | 640 4505 13308 | 6900 5259 16 | 30.738 % |
699.99/706.49 c 707 | 196854 | 640 4505 13308 | 7590 4410 14 | 30.737 % |
708.29/714.70 c 715 | 295380 | 640 4505 13308 | 8349 6028 17 | 30.738 % |
721.08/727.54 c 728 | 443169 | 640 4505 13308 | 9184 7817 17 | 30.738 % |
740.68/747.19 c 747 | 664852 | 640 4505 13308 | 10102 6752 16 | 30.738 % |
770.67/777.17 c 777 | 997379 | 640 4505 13308 | 11112 5825 19 | 30.736 % |
818.46/824.95 c 825 | 1496168 | 640 4505 13308 | 12223 5886 14 | 30.738 % |
895.34/901.90 c 902 | 2244351 | 638 4483 13234 | 13446 8485 18 | 30.954 % |
956.03/962.56 c 963 ===============================================================================
956.03/962.56 c 963 restarts : 24
956.03/962.56 c 963 conflicts : 2845689 (10486 /sec)
956.03/962.56 c 963 decisions : 3353772 (1.12 % random) (12358 /sec)
956.03/962.56 c 963 propagations : 272540732 (1004252 /sec)
956.03/962.56 c 963 conflict literals : 50219032 (32.48 % deleted)
956.03/962.56 c 963 Memory used : 7.18 MB
956.03/962.56 c 963 CPU time : 271.387 s
956.03/962.56 c 963
956.03/962.56 c 963 UNSATISFIABLE
956.03/962.56 c 963 NOT FOUND: _COST <= 18
956.03/962.56 c 963 OBJECTIVE BOUND: 19 <= _COST <= 20
956.03/962.56 c 963 SEARCHING: _COST <= 19
956.03/962.56 c 963 SOLVING HOME/temp.cnf
956.03/962.56 c 963 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
956.03/962.57 c 963 This is MiniSat 2.0 beta
956.03/962.57 c 963 WARNING: for repeatability, setting FPU to use double precision
956.03/962.57 c 963 ============================[ Problem Statistics ]=============================
956.03/962.57 c 963 | |
956.03/962.57 c 963 | Number of variables: 924 |
956.03/962.57 c 963 | Number of clauses: 8008 |
956.03/962.57 c 963 | Parsing time: 0.00 s |
956.03/962.58 c 963 ============================[ Search Statistics ]==============================
956.03/962.58 c 963 | Conflicts | ORIGINAL | LEARNT | Progress |
956.03/962.58 c 963 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
956.03/962.58 c 963 ===============================================================================
956.03/962.58 c 963 | 0 | 647 4600 13573 | 1533 0 nan | 0.000 % |
956.03/962.58 c 963 | 102 | 647 4600 13573 | 1686 102 17 | 29.979 % |
956.03/962.59 c 963 | 253 | 647 4600 13573 | 1855 253 13 | 29.980 % |
956.03/962.60 c 963 | 479 | 647 4600 13573 | 2040 479 13 | 29.979 % |
956.11/962.61 c 963 | 816 | 647 4600 13573 | 2244 816 14 | 29.982 % |
956.11/962.63 c 963 | 1324 | 647 4600 13573 | 2469 1324 13 | 29.982 % |
956.11/962.67 c 963 | 2084 | 647 4600 13573 | 2716 2084 14 | 29.982 % |
956.11/962.74 c 963 | 3223 | 647 4600 13573 | 2988 3223 14 | 29.980 % |
956.11/962.85 c 963 | 4931 | 647 4600 13573 | 3286 3179 13 | 29.980 % |
956.11/963.03 c 963 | 7494 | 647 4600 13573 | 3615 3851 14 | 29.980 % |
956.11/963.28 c 963 | 11339 | 647 4600 13573 | 3977 3575 14 | 29.980 % |
957.13/963.68 c 964 | 17105 | 647 4600 13573 | 4374 2645 12 | 29.980 % |
957.83/964.30 c 964 | 25754 | 647 4600 13573 | 4812 4011 12 | 29.980 % |
958.73/965.27 c 965 | 38729 | 647 4600 13573 | 5293 3735 15 | 29.980 % |
960.23/966.74 c 967 | 58190 | 647 4600 13573 | 5822 2966 14 | 29.980 % |
962.53/969.03 c 969 | 87382 | 647 4600 13573 | 6405 3696 12 | 29.979 % |
966.13/972.61 c 973 | 131172 | 647 4600 13573 | 7045 6101 14 | 29.979 % |
971.43/977.95 c 978 | 196856 | 647 4600 13573 | 7750 3994 15 | 29.979 % |
980.02/986.52 c 987 | 295382 | 647 4600 13573 | 8525 7536 18 | 29.979 % |
993.32/999.87 c 1000 | 443172 | 647 4600 13573 | 9377 6520 15 | 29.980 % |
1013.79/1020.36 c 1020 | 664856 | 647 4600 13573 | 10315 5927 18 | 29.980 % |
1045.08/1051.61 c 1052 | 997383 | 647 4600 13573 | 11347 8885 16 | 29.981 % |
1094.37/1100.91 c 1101 | 1496171 | 647 4600 13573 | 12481 9986 15 | 29.981 % |
1170.55/1177.20 c 1177 | 2244353 | 638 4496 13286 | 13729 7545 18 | 30.953 % |
1193.94/1200.54 c 1201 ===============================================================================
1193.94/1200.54 c 1201 restarts : 24
1193.94/1200.54 c 1201 conflicts : 2454600 (10319 /sec)
1193.94/1200.54 c 1201 decisions : 2838108 (1.12 % random) (11932 /sec)
1193.94/1200.54 c 1201 propagations : 232466517 (977301 /sec)
1193.94/1200.54 c 1201 conflict literals : 42273774 (34.23 % deleted)
1193.94/1200.54 c 1201 Memory used : 7.10 MB
1193.94/1200.54 c 1201 CPU time : 237.866 s
1193.94/1200.54 c 1201
1193.94/1200.54 c 1201 SATISFIABLE
1193.94/1200.54 c 1201 FOUND: _COST <= 19
1193.94/1200.54 c 1201 DECODING HOME/temp.out WITH HOME/temp.map
1193.94/1200.54 c 1201 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1194.00/1200.63 c 1201 Decoding HOME/temp.out
1194.00/1200.65 c 1201 OBJECTIVE _COST 19
1194.00/1200.65 o 19
1194.00/1200.66 v 5 8 2 1 4 4 1 0 8 5 9 7 1 7 1 4 6 6 5 8 9 8 8 9 7
1194.00/1200.66 c 1201 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1194.00/1200.71 c 1201 OBJECTIVE _COST 19
1194.00/1200.71 s OPTIMUM FOUND
1194.00/1200.71 c 1201 CPU 1193.86 (0.04 0.01 1193.82 0.25)
1194.00/1200.71 c 1201 END Mon Jul 14 17:04:21 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-1116292-1216046660/watcher-1116292-1216046660 -o /tmp/evaluation-result-1116292-1216046660/solver-1116292-1216046660 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1116292-1216046660.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.77 2.64 2.33 5/80 24190
/proc/meminfo: memFree=1728296/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=18572 CPUtime=0
/proc/24190/stat : 24190 (runsolver) R 24188 24190 24033 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 61074090 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 223187889447 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24190/statm: 4643 292 257 25 0 2626 0
[startup+0.0490279 s]
/proc/loadavg: 2.77 2.64 2.33 5/80 24190
/proc/meminfo: memFree=1728296/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 838 0 0 0 3 0 0 0 18 0 1 0 61074090 13926400 792 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101107 s]
/proc/loadavg: 2.77 2.64 2.33 5/80 24190
/proc/meminfo: memFree=1728296/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 61074090 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301124 s]
/proc/loadavg: 2.77 2.64 2.33 5/80 24190
/proc/meminfo: memFree=1728296/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 898 127 0 0 3 0 0 0 18 0 1 0 61074090 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701161 s]
/proc/loadavg: 2.77 2.64 2.33 5/80 24190
/proc/meminfo: memFree=1728296/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.24
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 974 4289 0 1 3 1 17 3 15 0 1 0 61074090 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13600
[startup+1.50123 s]
/proc/loadavg: 2.77 2.64 2.33 3/91 24224
/proc/meminfo: memFree=1721104/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.78
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1177 13881 0 3 3 1 65 9 15 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 13600
[startup+3.10137 s]
/proc/loadavg: 2.77 2.64 2.33 4/83 24226
/proc/meminfo: memFree=1724816/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.78
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1177 13881 0 3 3 1 65 9 15 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24225] ppid=24190 vsize=5356 CPUtime=0
/proc/24225/stat : 24225 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61074190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24225/statm: 1339 232 193 169 0 50 0
[pid=24226] ppid=24225 vsize=2764 CPUtime=2.06
/proc/24226/stat : 24226 (minisat) R 24225 24190 24033 0 -1 4194304 391 0 0 0 206 0 0 0 25 0 1 0 61074191 2830336 377 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/24226/statm: 691 377 75 150 0 538 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 21720
[startup+6.30166 s]
/proc/loadavg: 2.79 2.64 2.34 3/83 24226
/proc/meminfo: memFree=1724368/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.78
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1177 13881 0 3 3 1 65 9 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24225] ppid=24190 vsize=5356 CPUtime=0
/proc/24225/stat : 24225 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61074190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24225/statm: 1339 232 193 169 0 50 0
[pid=24226] ppid=24225 vsize=3028 CPUtime=5.23
/proc/24226/stat : 24226 (minisat) R 24225 24190 24033 0 -1 4194304 463 0 0 0 523 0 0 0 25 0 1 0 61074191 3100672 449 996147200 134512640 135127466 4294956256 18446744073709551615 134522621 0 0 4096 3 0 0 0 17 0 0 0
/proc/24226/statm: 757 449 75 150 0 604 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 21984
[startup+12.7022 s]
/proc/loadavg: 2.81 2.65 2.34 3/83 24226
/proc/meminfo: memFree=1723984/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.78
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1177 13881 0 3 3 1 65 9 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24225] ppid=24190 vsize=5356 CPUtime=0
/proc/24225/stat : 24225 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61074190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24225/statm: 1339 232 193 169 0 50 0
[pid=24226] ppid=24225 vsize=3428 CPUtime=11.57
/proc/24226/stat : 24226 (minisat) R 24225 24190 24033 0 -1 4194304 543 0 0 0 1157 0 0 0 25 0 1 0 61074191 3510272 529 996147200 134512640 135127466 4294956256 18446744073709551615 134530654 0 0 4096 3 0 0 0 17 0 0 0
/proc/24226/statm: 857 529 75 150 0 704 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 22384
[startup+25.5014 s]
/proc/loadavg: 2.78 2.65 2.35 3/83 24226
/proc/meminfo: memFree=1723536/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.78
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1177 13881 0 3 3 1 65 9 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24225] ppid=24190 vsize=5356 CPUtime=0
/proc/24225/stat : 24225 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61074190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24225/statm: 1339 232 193 169 0 50 0
[pid=24226] ppid=24225 vsize=3828 CPUtime=24.26
/proc/24226/stat : 24226 (minisat) R 24225 24190 24033 0 -1 4194304 656 0 0 0 2426 0 0 0 25 0 1 0 61074191 3919872 642 996147200 134512640 135127466 4294956256 18446744073709551615 134530654 0 0 4096 3 0 0 0 17 0 0 0
/proc/24226/statm: 957 642 75 150 0 804 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 22784
[startup+51.1017 s]
/proc/loadavg: 2.86 2.68 2.36 3/83 24226
/proc/meminfo: memFree=1722832/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=0.78
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1177 13881 0 3 3 1 65 9 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24225] ppid=24190 vsize=5356 CPUtime=0
/proc/24225/stat : 24225 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61074190 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24225/statm: 1339 232 193 169 0 50 0
[pid=24226] ppid=24225 vsize=4488 CPUtime=49.64
/proc/24226/stat : 24226 (minisat) R 24225 24190 24033 0 -1 4194304 817 0 0 0 4964 0 0 0 25 0 1 0 61074191 4595712 803 996147200 134512640 135127466 4294956256 18446744073709551615 134530783 0 0 4096 3 0 0 0 17 0 0 0
/proc/24226/statm: 1122 803 75 150 0 969 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 23444
[startup+102.305 s]
/proc/loadavg: 2.73 2.66 2.37 4/83 24240
/proc/meminfo: memFree=1724176/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=99.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1347 19913 0 4 4 1 9885 13 15 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24239] ppid=24190 vsize=5356 CPUtime=0
/proc/24239/stat : 24239 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61084120 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24239/statm: 1339 232 193 169 0 50 0
[pid=24240] ppid=24239 vsize=2744 CPUtime=1.97
/proc/24240/stat : 24240 (minisat) R 24239 24190 24033 0 -1 4194304 388 0 0 0 197 0 0 0 25 0 1 0 61084121 2809856 374 996147200 134512640 135127466 4294956256 18446744073709551615 134522655 0 0 4096 3 0 0 0 17 0 0 0
/proc/24240/statm: 686 374 75 150 0 533 0
Current children cumulated CPU time (s) 101
Current children cumulated vsize (KiB) 21700
[startup+162.302 s]
/proc/loadavg: 2.53 2.63 2.37 4/83 24240
/proc/meminfo: memFree=1722000/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=99.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1347 19913 0 4 4 1 9885 13 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24239] ppid=24190 vsize=5356 CPUtime=0
/proc/24239/stat : 24239 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61084120 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24239/statm: 1339 232 193 169 0 50 0
[pid=24240] ppid=24239 vsize=5024 CPUtime=61.45
/proc/24240/stat : 24240 (minisat) R 24239 24190 24033 0 -1 4194304 957 0 0 0 6145 0 0 0 25 0 1 0 61084121 5144576 943 996147200 134512640 135127466 4294956256 18446744073709551615 134528437 0 0 4096 3 0 0 0 17 0 0 0
/proc/24240/statm: 1256 943 75 150 0 1103 0
Current children cumulated CPU time (s) 160.48
Current children cumulated vsize (KiB) 23980
[startup+222.301 s]
/proc/loadavg: 2.49 2.60 2.38 4/83 24240
/proc/meminfo: memFree=1721040/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=99.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1347 19913 0 4 4 1 9885 13 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24239] ppid=24190 vsize=5356 CPUtime=0
/proc/24239/stat : 24239 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61084120 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24239/statm: 1339 232 193 169 0 50 0
[pid=24240] ppid=24239 vsize=5992 CPUtime=120.93
/proc/24240/stat : 24240 (minisat) R 24239 24190 24033 0 -1 4194304 1191 0 0 0 12093 0 0 0 25 0 1 0 61084121 6135808 1177 996147200 134512640 135127466 4294956256 18446744073709551615 134528349 0 0 4096 3 0 0 0 17 0 0 0
/proc/24240/statm: 1498 1177 75 150 0 1345 0
Current children cumulated CPU time (s) 219.96
Current children cumulated vsize (KiB) 24948
[startup+282.301 s]
/proc/loadavg: 2.82 2.66 2.41 4/83 24240
/proc/meminfo: memFree=1720336/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=99.03
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1347 19913 0 4 4 1 9885 13 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24239] ppid=24190 vsize=5356 CPUtime=0
/proc/24239/stat : 24239 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61084120 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24239/statm: 1339 232 193 169 0 50 0
[pid=24240] ppid=24239 vsize=6664 CPUtime=180.43
/proc/24240/stat : 24240 (minisat) R 24239 24190 24033 0 -1 4194304 1356 0 0 0 18042 1 0 0 25 0 1 0 61084121 6823936 1342 996147200 134512640 135127466 4294956256 18446744073709551615 134527135 0 0 4096 3 0 0 0 17 0 0 0
/proc/24240/statm: 1666 1342 75 150 0 1513 0
Current children cumulated CPU time (s) 279.46
Current children cumulated vsize (KiB) 25620
################
# More data... #
################
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24251] ppid=24190 vsize=5356 CPUtime=0
/proc/24251/stat : 24251 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 19 0 1 0 61143199 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24251/statm: 1339 232 193 169 0 50 0
[pid=24252] ppid=24251 vsize=6776 CPUtime=191.14
/proc/24252/stat : 24252 (minisat) R 24251 24190 24033 0 -1 4194304 1383 0 0 0 19114 0 0 0 25 0 1 0 61143199 6938624 1369 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 1 0 0
/proc/24252/statm: 1694 1369 75 150 0 1541 0
Current children cumulated CPU time (s) 875.84
Current children cumulated vsize (KiB) 25732
[startup+942.302 s]
/proc/loadavg: 2.68 2.75 2.57 3/83 24252
/proc/meminfo: memFree=1719504/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=684.7
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1462 26180 0 5 4 1 68446 19 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24251] ppid=24190 vsize=5356 CPUtime=0
/proc/24251/stat : 24251 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 19 0 1 0 61143199 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24251/statm: 1339 232 193 169 0 50 0
[pid=24252] ppid=24251 vsize=7344 CPUtime=251.13
/proc/24252/stat : 24252 (minisat) R 24251 24190 24033 0 -1 4194304 1492 0 0 0 25112 1 0 0 25 0 1 0 61143199 7520256 1478 996147200 134512640 135127466 4294956256 18446744073709551615 134530783 0 0 4096 3 0 0 0 17 1 0 0
/proc/24252/statm: 1836 1478 75 150 0 1683 0
Current children cumulated CPU time (s) 935.83
Current children cumulated vsize (KiB) 26300
[startup+1002.3 s]
/proc/loadavg: 2.68 2.74 2.57 3/83 24260
/proc/meminfo: memFree=1721800/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=4476 CPUtime=39.68
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 821 0 0 0 3968 0 0 0 25 0 1 0 61170347 4583424 807 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1119 807 75 150 0 966 0
Current children cumulated CPU time (s) 995.79
Current children cumulated vsize (KiB) 23432
[startup+1062.3 s]
/proc/loadavg: 2.77 2.74 2.58 3/83 24260
/proc/meminfo: memFree=1720776/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=5700 CPUtime=99.66
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1117 0 0 0 9966 0 0 0 25 0 1 0 61170347 5836800 1103 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1425 1103 75 150 0 1272 0
Current children cumulated CPU time (s) 1055.77
Current children cumulated vsize (KiB) 24656
[startup+1122.3 s]
/proc/loadavg: 2.60 2.69 2.57 3/83 24260
/proc/meminfo: memFree=1720072/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=6460 CPUtime=159.66
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1290 0 0 0 15965 1 0 0 25 0 1 0 61170347 6615040 1276 996147200 134512640 135127466 4294956256 18446744073709551615 134530933 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1615 1276 75 150 0 1462 0
Current children cumulated CPU time (s) 1115.77
Current children cumulated vsize (KiB) 25416
[startup+1182.3 s]
/proc/loadavg: 2.78 2.73 2.59 3/83 24260
/proc/meminfo: memFree=1719304/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=7264 CPUtime=219.64
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1472 0 0 0 21963 1 0 0 25 0 1 0 61170347 7438336 1458 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1816 1458 75 150 0 1663 0
Current children cumulated CPU time (s) 1175.75
Current children cumulated vsize (KiB) 26220
Solver just ended. Dumping a history of the last processes samples
[startup+1190.3 s]
/proc/loadavg: 2.81 2.74 2.59 3/83 24260
/proc/meminfo: memFree=1719240/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=7264 CPUtime=227.63
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1477 0 0 0 22762 1 0 0 25 0 1 0 61170347 7438336 1463 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1816 1463 75 150 0 1663 0
Current children cumulated CPU time (s) 1183.74
Current children cumulated vsize (KiB) 26220
[startup+1196.7 s]
/proc/loadavg: 2.75 2.73 2.59 3/83 24260
/proc/meminfo: memFree=1719176/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=7264 CPUtime=234.04
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1482 0 0 0 23403 1 0 0 25 0 1 0 61170347 7438336 1468 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1816 1468 75 150 0 1663 0
Current children cumulated CPU time (s) 1190.15
Current children cumulated vsize (KiB) 26220
[startup+1198.3 s]
/proc/loadavg: 2.69 2.71 2.58 3/83 24260
/proc/meminfo: memFree=1719176/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=7264 CPUtime=235.63
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1482 0 0 0 23562 1 0 0 25 0 1 0 61170347 7438336 1468 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1816 1468 75 150 0 1663 0
Current children cumulated CPU time (s) 1191.74
Current children cumulated vsize (KiB) 26220
[startup+1199.9 s]
/proc/loadavg: 2.69 2.71 2.58 3/83 24260
/proc/meminfo: memFree=1719176/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=7264 CPUtime=237.23
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1499 0 0 0 23722 1 0 0 25 0 1 0 61170347 7438336 1485 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1816 1485 75 150 0 1663 0
Current children cumulated CPU time (s) 1193.34
Current children cumulated vsize (KiB) 26220
[startup+1200.3 s]
/proc/loadavg: 2.69 2.71 2.58 3/83 24260
/proc/meminfo: memFree=1719112/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=956.11
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1517 27987 0 5 4 1 95585 21 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
[pid=24253] ppid=24190 vsize=5356 CPUtime=0
/proc/24253/stat : 24253 (sh) S 24190 24190 24033 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61170346 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 223187886916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24253/statm: 1339 232 193 169 0 50 0
[pid=24254] ppid=24253 vsize=7264 CPUtime=237.63
/proc/24254/stat : 24254 (minisat) R 24253 24190 24033 0 -1 4194304 1499 0 0 0 23762 1 0 0 25 0 1 0 61170347 7438336 1485 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24254/statm: 1816 1485 75 150 0 1663 0
Current children cumulated CPU time (s) 1193.74
Current children cumulated vsize (KiB) 26220
[startup+1200.7 s]
/proc/loadavg: 2.69 2.71 2.58 3/83 24260
/proc/meminfo: memFree=1719112/2055920 swapFree=4181044/4192956
[pid=24190] ppid=24188 vsize=13600 CPUtime=1194
/proc/24190/stat : 24190 (sugar) S 24188 24190 24033 0 -1 4194304 1580 29781 0 5 4 1 119372 23 16 0 1 0 61074090 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 223196786786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24190/statm: 3400 805 374 3 0 500 0
Current children cumulated CPU time (s) 1194
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 1200.72
CPU time (s): 1194.15
CPU user time (s): 1193.87
CPU system time (s): 0.277957
CPU usage (%): 99.453
Max. virtual memory (cumulated for all children) (KiB): 882996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.87
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35127
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2109
involuntary context switches= 29129
runsolver used 1.08583 second user time and 3.3065 second system time
The end
Begin job on node68 at 2008-07-14 16:44:20
IDJOB=1116292
IDBENCH=61976
IDSOLVER=368
FILE ID=node68/1116292-1216046660
PBS_JOBID= 7904940
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-35_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1116292-1216046660/watcher-1116292-1216046660 -o /tmp/evaluation-result-1116292-1216046660/solver-1116292-1216046660 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1116292-1216046660.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f94f45b3262ccf7f5788bddde0dc1a31
RANDOM SEED=510458347
node68.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.240
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.240
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: 1728776 kB
Buffers: 56840 kB
Cached: 138068 kB
SwapCached: 6032 kB
Active: 212716 kB
Inactive: 65948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1728776 kB
SwapTotal: 4192956 kB
SwapFree: 4181044 kB
Dirty: 1292 kB
Writeback: 0 kB
Mapped: 100684 kB
Slab: 33864 kB
Committed_AS: 949412 kB
PageTables: 1844 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node68 at 2008-07-14 17:04:21