0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Mon Jul 14 17:00:06 2008
0.00/0.04 c 0 PID 23787
0.00/0.04 c 0 HOST node53.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1116340-1216047606.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1116340-1216047606.xml' 'HOME/temp.csp'
0.03/0.26 c 0 1 domains, 25 variables, 0 predicates, 63 relations, 63 constraints
0.03/0.30 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.30 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.03/0.38 c 0 Parsing HOME/temp.csp
0.23/0.45 c 0 parsed 152 expressions
0.23/0.45 c 0 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.46 c 0 MAX CSP: 63 constraints
0.23/0.46 c 0 Converting to clausal form CSP
0.23/0.48 c 0 converted 22 (10%) expressions
0.23/0.48 c 0 converted 44 (20%) expressions
0.23/0.48 c 0 converted 66 (30%) expressions
0.23/0.48 c 0 converted 88 (40%) expressions
0.23/0.49 c 0 converted 109 (50%) expressions
0.23/0.49 c 0 converted 131 (60%) expressions
0.23/0.50 c 0 converted 153 (70%) expressions
0.23/0.50 c 0 converted 175 (80%) expressions
0.23/0.50 c 0 converted 197 (90%) expressions
0.23/0.56 c 0 converted 218 (100%) expressions
0.23/0.56 c 0 CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 95
0.23/0.56 c 0 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.56 c 0 Propagation in CSP
0.23/0.60 c 0 57 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.23/0.60 c 0 CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 64
0.23/0.60 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.60 c 0 Simplifing CSP by introducing new Boolean variables
0.23/0.60 c 0 CSP : 151 integers, 0 booleans, 188 clauses, largest domain size 64
0.23/0.60 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.63 c 0 Encoding CSP to SAT : HOME/temp.cnf
0.23/0.64 c 0 16 (10%) CSP integer variables are encoded (128 clauses, 1280 bytes)
0.23/0.65 c 0 31 (20%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 0 46 (30%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 0 61 (40%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 0 76 (50%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.23/0.65 c 0 91 (60%) CSP integer variables are encoded (264 clauses, 2776 bytes)
0.23/0.65 c 0 106 (70%) CSP integer variables are encoded (313 clauses, 3315 bytes)
0.23/0.65 c 0 121 (80%) CSP integer variables are encoded (392 clauses, 4184 bytes)
0.23/0.66 c 0 136 (90%) CSP integer variables are encoded (441 clauses, 4723 bytes)
0.23/0.67 c 0 151 (100%) CSP integer variables are encoded (773 clauses, 8375 bytes)
0.23/0.71 c 0 19 (10%) CSP clauses are encoded (1129 clauses, 14532 bytes)
0.23/0.75 c 0 38 (20%) CSP clauses are encoded (1483 clauses, 20839 bytes)
0.23/0.79 c 0 57 (30%) CSP clauses are encoded (1834 clauses, 27617 bytes)
0.23/0.81 c 0 76 (40%) CSP clauses are encoded (2033 clauses, 31057 bytes)
0.23/0.86 c 0 94 (50%) CSP clauses are encoded (2324 clauses, 35155 bytes)
0.23/0.86 c 0 113 (60%) CSP clauses are encoded (2453 clauses, 36875 bytes)
0.23/0.87 c 0 132 (70%) CSP clauses are encoded (3296 clauses, 49285 bytes)
0.23/0.87 c 0 151 (80%) CSP clauses are encoded (3425 clauses, 51005 bytes)
0.23/0.87 c 0 170 (90%) CSP clauses are encoded (3740 clauses, 55447 bytes)
0.23/0.89 c 0 188 (100%) CSP clauses are encoded (8029 clauses, 118680 bytes)
0.23/0.89 c 0 188 CSP clauses encoded
0.23/0.89 c 0 Writing map file : HOME/temp.map
0.23/0.89 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.89 c 0 SAT : 924 SAT variables, 8029 SAT clauses, 118680 bytes
0.23/0.89 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.23/0.92 c 1 OBJECTIVE minimize _COST
0.23/0.92 c 1 OBJECTIVE BOUND: 0 <= _COST <=
0.23/0.92 c 1 SEARCHING: _COST <= 32
0.23/0.92 c 1 SOLVING HOME/temp.cnf
0.23/0.92 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.23/0.93 c 1 This is MiniSat 2.0 beta
0.23/0.93 c 1 WARNING: for repeatability, setting FPU to use double precision
0.23/0.93 c 1 ============================[ Problem Statistics ]=============================
0.23/0.93 c 1 | |
0.23/0.93 c 1 | Number of variables: 924 |
0.23/0.93 c 1 | Number of clauses: 8030 |
0.23/0.93 c 1 | Parsing time: 0.00 s |
0.23/0.93 c 1 ============================[ Search Statistics ]==============================
0.23/0.93 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.23/0.93 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.23/0.93 c 1 ===============================================================================
0.23/0.93 c 1 | 0 | 738 5766 16834 | 1922 0 nan | 0.000 % |
0.23/0.94 c 1 | 101 | 734 5766 16834 | 2114 100 17 | 20.888 % |
0.23/0.94 c 1 ===============================================================================
0.23/0.94 c 1 restarts : 2
0.23/0.94 c 1 conflicts : 217 (18086 /sec)
0.23/0.94 c 1 decisions : 406 (0.49 % random) (33839 /sec)
0.23/0.94 c 1 propagations : 20885 (1740707 /sec)
0.23/0.94 c 1 conflict literals : 3638 (22.13 % deleted)
0.23/0.94 c 1 Memory used : 2.17 MB
0.23/0.94 c 1 CPU time : 0.011998 s
0.23/0.94 c 1
0.23/0.94 c 1 SATISFIABLE
0.23/0.94 c 1 FOUND: _COST <= 32
0.23/0.94 s SATISFIABLE
0.23/0.94 c 1 DECODING HOME/temp.out WITH HOME/temp.map
0.23/0.94 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.85/1.02 c 1 Decoding HOME/temp.out
0.85/1.06 c 1 OBJECTIVE _COST 32
0.85/1.06 o 32
0.85/1.06 v 6 9 4 4 9 6 9 7 9 4 5 3 9 8 9 3 6 9 7 1 5 0 8 7 4
0.85/1.06 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.96/1.10 c 1 OBJECTIVE BOUND: 0 <= _COST <= 32
0.96/1.10 c 1 SEARCHING: _COST <= 16
0.96/1.10 c 1 SOLVING HOME/temp.cnf
0.96/1.10 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
0.96/1.11 c 1 This is MiniSat 2.0 beta
0.96/1.11 c 1 WARNING: for repeatability, setting FPU to use double precision
0.96/1.11 c 1 ============================[ Problem Statistics ]=============================
0.96/1.11 c 1 | |
0.96/1.11 c 1 | Number of variables: 924 |
0.96/1.11 c 1 | Number of clauses: 8030 |
0.96/1.11 c 1 | Parsing time: 0.00 s |
0.96/1.11 c 1 ============================[ Search Statistics ]==============================
0.96/1.11 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.96/1.11 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.96/1.11 c 1 ===============================================================================
0.96/1.11 c 1 | 0 | 626 4334 12858 | 1444 0 nan | 0.000 % |
0.96/1.12 c 1 | 100 | 625 4334 12858 | 1589 99 11 | 33.117 % |
0.96/1.12 c 1 | 250 | 625 4334 12858 | 1748 249 11 | 33.118 % |
0.96/1.13 c 1 | 477 | 618 4259 12661 | 1922 476 11 | 33.122 % |
0.96/1.15 c 1 | 817 | 618 4259 12661 | 2115 816 12 | 33.119 % |
0.96/1.18 c 1 | 1324 | 618 4259 12661 | 2326 1323 12 | 33.121 % |
0.97/1.21 c 1 | 2083 | 618 4259 12661 | 2559 2082 12 | 33.122 % |
0.97/1.28 c 1 | 3222 | 618 4259 12661 | 2815 1659 11 | 33.118 % |
0.97/1.37 c 1 | 4930 | 618 4259 12661 | 3096 1690 14 | 33.121 % |
0.97/1.51 c 1 | 7492 | 618 4259 12661 | 3406 2423 15 | 33.117 % |
0.97/1.73 c 1 | 11336 | 618 4259 12661 | 3747 2415 14 | 33.118 % |
0.97/2.07 c 2 | 17102 | 618 4259 12661 | 4121 3999 11 | 33.122 % |
2.34/2.59 c 2 | 25751 | 618 4259 12661 | 4533 3450 10 | 33.122 % |
3.23/3.41 c 3 | 38725 | 617 4251 12640 | 4987 2962 13 | 33.226 % |
4.52/4.72 c 4 | 58186 | 617 4251 12640 | 5486 3280 14 | 33.226 % |
6.60/6.84 c 6 | 87378 | 617 4251 12640 | 6034 5613 14 | 33.226 % |
9.78/10.01 c 10 | 131167 | 617 4251 12640 | 6638 3636 14 | 33.227 % |
14.53/14.87 c 14 | 196851 | 617 4251 12640 | 7302 5275 14 | 33.227 % |
22.17/22.52 c 22 | 295377 | 617 4251 12640 | 8032 6706 14 | 33.225 % |
33.96/34.48 c 34 | 443167 | 615 4226 12553 | 8835 6217 18 | 33.442 % |
52.20/52.80 c 52 | 664851 | 613 4187 12443 | 9718 9016 16 | 33.658 % |
78.85/79.78 c 79 ===============================================================================
78.85/79.78 c 79 restarts : 21
78.85/79.78 c 79 conflicts : 990755 (12708 /sec)
78.85/79.78 c 79 decisions : 1166390 (1.17 % random) (14960 /sec)
78.85/79.78 c 79 propagations : 93883922 (1204178 /sec)
78.85/79.78 c 79 conflict literals : 15883657 (33.05 % deleted)
78.85/79.78 c 79 Memory used : 4.90 MB
78.85/79.78 c 79 CPU time : 77.9651 s
78.85/79.78 c 79
78.85/79.78 c 79 UNSATISFIABLE
78.85/79.78 c 79 NOT FOUND: _COST <= 16
78.85/79.78 c 79 OBJECTIVE BOUND: 17 <= _COST <= 32
78.85/79.78 c 79 SEARCHING: _COST <= 24
78.85/79.78 c 79 SOLVING HOME/temp.cnf
78.85/79.78 c 79 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
78.85/79.79 c 79 This is MiniSat 2.0 beta
78.85/79.79 c 79 WARNING: for repeatability, setting FPU to use double precision
78.85/79.79 c 79 ============================[ Problem Statistics ]=============================
78.85/79.79 c 79 | |
78.85/79.79 c 79 | Number of variables: 924 |
78.85/79.79 c 79 | Number of clauses: 8030 |
78.85/79.79 c 79 | Parsing time: 0.00 s |
78.85/79.79 c 79 ============================[ Search Statistics ]==============================
78.85/79.79 c 79 | Conflicts | ORIGINAL | LEARNT | Progress |
78.85/79.79 c 79 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
78.85/79.79 c 79 ===============================================================================
78.85/79.79 c 79 | 0 | 682 5082 14942 | 1694 0 nan | 0.000 % |
78.95/79.80 c 79 | 101 | 681 5082 14942 | 1863 100 13 | 26.948 % |
78.95/79.80 c 79 | 252 | 681 5082 14942 | 2049 251 15 | 26.949 % |
78.95/79.81 c 79 | 477 | 675 5026 14799 | 2254 476 14 | 26.951 % |
78.95/79.83 c 79 | 814 | 675 5026 14799 | 2480 813 15 | 26.951 % |
78.95/79.85 c 79 | 1320 | 675 5026 14799 | 2728 1319 15 | 26.949 % |
78.95/79.89 c 79 | 2081 | 675 5026 14799 | 3001 2080 15 | 26.949 % |
78.95/79.94 c 80 | 3221 | 675 5026 14799 | 3301 3220 15 | 26.949 % |
78.95/80.03 c 80 | 4930 | 675 5026 14799 | 3631 3023 14 | 26.949 % |
78.95/80.19 c 80 | 7493 | 675 5026 14799 | 3994 3526 18 | 26.949 % |
79.56/80.47 c 80 | 11337 | 675 5026 14799 | 4393 2873 18 | 26.948 % |
79.95/80.82 c 80 | 17104 | 675 5026 14799 | 4833 3699 19 | 26.949 % |
80.55/81.41 c 81 | 25754 | 675 5026 14799 | 5316 4322 20 | 26.948 % |
81.45/82.38 c 82 | 38731 | 675 5026 14799 | 5848 5611 16 | 26.951 % |
82.95/83.80 c 83 | 58193 | 675 5026 14799 | 6432 5954 18 | 26.949 % |
85.05/85.93 c 86 | 87387 | 675 5026 14799 | 7076 3843 17 | 26.952 % |
88.25/89.17 c 89 | 131176 | 675 5026 14799 | 7783 5830 19 | 26.952 % |
89.25/90.19 c 90 ===============================================================================
89.25/90.19 c 90 restarts : 17
89.25/90.19 c 90 conflicts : 143780 (13836 /sec)
89.25/90.19 c 90 decisions : 163179 (0.98 % random) (15703 /sec)
89.25/90.19 c 90 propagations : 13239488 (1274079 /sec)
89.25/90.19 c 90 conflict literals : 2761563 (34.21 % deleted)
89.25/90.19 c 90 Memory used : 3.62 MB
89.25/90.19 c 90 CPU time : 10.3914 s
89.25/90.19 c 90
89.25/90.19 c 90 SATISFIABLE
89.25/90.19 c 90 FOUND: _COST <= 24
89.25/90.19 c 90 DECODING HOME/temp.out WITH HOME/temp.map
89.25/90.19 c 90 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
89.35/90.28 c 90 Decoding HOME/temp.out
89.43/90.32 c 90 OBJECTIVE _COST 24
89.43/90.32 o 24
89.43/90.32 v 8 8 5 6 7 2 9 0 9 8 8 3 6 6 4 4 3 5 9 7 4 5 6 0 0
89.43/90.33 c 90 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
89.43/90.36 c 90 OBJECTIVE BOUND: 17 <= _COST <= 24
89.43/90.36 c 90 SEARCHING: _COST <= 20
89.43/90.36 c 90 SOLVING HOME/temp.cnf
89.43/90.36 c 90 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
89.43/90.36 c 90 This is MiniSat 2.0 beta
89.43/90.36 c 90 WARNING: for repeatability, setting FPU to use double precision
89.43/90.36 c 90 ============================[ Problem Statistics ]=============================
89.43/90.36 c 90 | |
89.43/90.36 c 90 | Number of variables: 924 |
89.43/90.36 c 90 | Number of clauses: 8030 |
89.43/90.37 c 90 | Parsing time: 0.00 s |
89.43/90.37 c 90 ============================[ Search Statistics ]==============================
89.43/90.37 c 90 | Conflicts | ORIGINAL | LEARNT | Progress |
89.43/90.37 c 90 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
89.43/90.37 c 90 ===============================================================================
89.43/90.37 c 90 | 0 | 654 4716 13924 | 1572 0 nan | 0.000 % |
89.43/90.37 c 90 | 100 | 651 4716 13924 | 1729 99 13 | 29.979 % |
89.43/90.38 c 90 | 250 | 651 4716 13924 | 1902 249 12 | 29.980 % |
89.43/90.38 c 90 | 476 | 647 4660 13781 | 2092 475 12 | 29.985 % |
89.43/90.40 c 90 | 813 | 647 4660 13781 | 2301 812 13 | 29.979 % |
89.48/90.42 c 90 | 1319 | 647 4660 13781 | 2531 1318 12 | 29.983 % |
89.48/90.45 c 90 | 2078 | 647 4660 13781 | 2784 2077 14 | 29.984 % |
89.48/90.51 c 90 | 3217 | 647 4660 13781 | 3063 3216 14 | 29.981 % |
89.48/90.61 c 90 | 4926 | 647 4660 13781 | 3369 3126 13 | 29.982 % |
89.48/90.76 c 90 | 7489 | 647 4660 13781 | 3706 3742 16 | 29.984 % |
89.48/91.00 c 91 | 11333 | 647 4660 13781 | 4077 3353 15 | 29.978 % |
90.41/91.35 c 91 | 17099 | 647 4660 13781 | 4485 4531 17 | 29.979 % |
91.00/91.97 c 92 | 25748 | 647 4660 13781 | 4933 3173 15 | 29.982 % |
91.99/92.92 c 93 | 38723 | 647 4660 13781 | 5426 5288 14 | 29.982 % |
93.48/94.40 c 94 | 58185 | 647 4660 13781 | 5969 3937 18 | 29.982 % |
95.66/96.68 c 96 | 87377 | 647 4660 13781 | 6566 3945 16 | 29.978 % |
99.13/100.12 c 100 | 131166 | 647 4660 13781 | 7223 5307 17 | 29.978 % |
104.68/105.74 c 105 | 196850 | 647 4660 13781 | 7945 5348 19 | 29.982 % |
113.31/114.44 c 114 | 295376 | 647 4660 13781 | 8740 6387 19 | 29.982 % |
126.48/127.79 c 127 | 443166 | 647 4660 13781 | 9614 5963 18 | 29.982 % |
146.91/148.36 c 148 | 664849 | 647 4660 13781 | 10575 10019 18 | 29.978 % |
178.63/180.39 c 180 | 997374 | 647 4660 13781 | 11633 10374 18 | 29.978 % |
227.99/230.16 c 230 | 1496162 | 647 4660 13781 | 12796 11328 21 | 29.980 % |
309.48/312.39 c 312 | 2244345 | 647 4660 13781 | 14076 7417 20 | 29.979 % |
437.96/441.92 c 442 | 3366620 | 647 4660 13781 | 15483 14140 21 | 29.978 % |
634.04/639.72 c 639 | 5050031 | 647 4660 13781 | 17032 11761 19 | 29.978 % |
939.16/947.57 c 947 | 7575150 | 646 4647 13737 | 18735 10895 21 | 30.088 % |
1442.07/1454.83 c 1454 | 11362826 | 646 4647 13737 | 20608 9984 19 | 30.087 % |
1606.14/1620.35 c 1620 ===============================================================================
1606.14/1620.35 c 1620 restarts : 28
1606.14/1620.35 c 1620 conflicts : 12505760 (8245 /sec)
1606.14/1620.35 c 1620 decisions : 14449037 (1.09 % random) (9527 /sec)
1606.14/1620.35 c 1620 propagations : 1147703597 (756719 /sec)
1606.14/1620.35 c 1620 conflict literals : 256497881 (33.07 % deleted)
1606.14/1620.35 c 1620 Memory used : 13.38 MB
1606.14/1620.35 c 1620 CPU time : 1516.68 s
1606.14/1620.35 c 1620
1606.14/1620.36 c 1620 SATISFIABLE
1606.14/1620.36 c 1620 FOUND: _COST <= 20
1606.14/1620.36 c 1620 DECODING HOME/temp.out WITH HOME/temp.map
1606.14/1620.36 c 1620 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1606.21/1620.45 c 1620 Decoding HOME/temp.out
1606.21/1620.48 c 1620 OBJECTIVE _COST 20
1606.21/1620.48 o 20
1606.21/1620.49 v 8 8 5 6 7 9 9 1 9 8 8 3 4 6 4 2 3 9 7 7 4 5 5 0 6
1606.21/1620.49 c 1620 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1606.21/1620.52 c 1620 OBJECTIVE BOUND: 17 <= _COST <= 20
1606.21/1620.52 c 1620 SEARCHING: _COST <= 18
1606.21/1620.52 c 1620 SOLVING HOME/temp.cnf
1606.21/1620.52 c 1620 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1606.21/1620.52 c 1620 This is MiniSat 2.0 beta
1606.21/1620.52 c 1620 WARNING: for repeatability, setting FPU to use double precision
1606.21/1620.52 c 1620 ============================[ Problem Statistics ]=============================
1606.21/1620.52 c 1620 | |
1606.21/1620.52 c 1620 | Number of variables: 924 |
1606.21/1620.52 c 1620 | Number of clauses: 8030 |
1606.21/1620.53 c 1620 | Parsing time: 0.00 s |
1606.21/1620.53 c 1620 ============================[ Search Statistics ]==============================
1606.21/1620.53 c 1620 | Conflicts | ORIGINAL | LEARNT | Progress |
1606.21/1620.53 c 1620 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1606.21/1620.53 c 1620 ===============================================================================
1606.21/1620.53 c 1620 | 0 | 640 4527 13397 | 1509 0 nan | 0.000 % |
1606.21/1620.53 c 1620 | 104 | 638 4527 13397 | 1659 103 12 | 31.494 % |
1606.21/1620.54 c 1620 | 254 | 638 4527 13397 | 1825 253 13 | 31.494 % |
1606.21/1620.55 c 1620 | 479 | 633 4471 13254 | 2008 478 12 | 31.494 % |
1606.21/1620.56 c 1620 | 816 | 633 4471 13254 | 2209 815 13 | 31.495 % |
1606.21/1620.58 c 1620 | 1322 | 633 4471 13254 | 2430 1321 13 | 31.494 % |
1606.34/1620.62 c 1620 | 2081 | 633 4471 13254 | 2673 2080 14 | 31.494 % |
1606.34/1620.68 c 1620 | 3222 | 633 4471 13254 | 2940 1689 13 | 31.496 % |
1606.34/1620.78 c 1620 | 4930 | 633 4471 13254 | 3234 3397 13 | 31.496 % |
1606.34/1620.94 c 1621 | 7492 | 633 4471 13254 | 3558 2221 16 | 31.495 % |
1606.34/1621.17 c 1621 | 11336 | 633 4471 13254 | 3913 4022 13 | 31.497 % |
1607.30/1621.54 c 1621 | 17102 | 633 4471 13254 | 4305 3167 11 | 31.498 % |
1607.80/1622.09 c 1622 | 25751 | 633 4471 13254 | 4735 4619 14 | 31.498 % |
1608.69/1622.99 c 1623 | 38725 | 632 4451 13198 | 5209 4535 13 | 31.604 % |
1610.08/1624.33 c 1624 | 58186 | 632 4451 13198 | 5730 3935 14 | 31.606 % |
1612.26/1626.50 c 1626 | 87378 | 632 4451 13198 | 6303 5298 14 | 31.606 % |
1615.53/1629.86 c 1629 | 131168 | 632 4451 13198 | 6933 4923 18 | 31.602 % |
1620.68/1635.05 c 1635 | 196853 | 632 4451 13198 | 7627 3738 14 | 31.602 % |
1628.21/1642.64 c 1642 | 295379 | 632 4451 13198 | 8389 4987 14 | 31.603 % |
1640.11/1654.62 c 1654 | 443168 | 632 4451 13198 | 9228 6033 20 | 31.603 % |
1658.95/1673.64 c 1673 | 664853 | 632 4451 13198 | 10151 9087 20 | 31.602 % |
1689.78/1704.73 c 1704 | 997380 | 632 4451 13198 | 11166 6204 18 | 31.602 % |
1737.56/1752.94 c 1753 | 1496168 | 632 4451 13198 | 12283 9027 21 | 31.602 % |
1814.67/1830.76 c 1830 | 2244350 | 632 4451 13198 | 13512 9273 19 | 31.602 % |
1934.76/1951.59 c 1951 | 3366625 | 632 4451 13198 | 14863 11181 19 | 31.602 % |
2124.89/2141.73 c 2141 | 5050036 | 632 4451 13198 | 16349 13196 15 | 31.602 % |
2413.28/2430.22 c 2430 | 7575152 | 621 4352 12824 | 17984 14960 16 | 32.792 % |
2436.87/2453.81 c 2453 ===============================================================================
2436.87/2453.81 c 2453 restarts : 27
2436.87/2453.81 c 2453 conflicts : 7778983 (9366 /sec)
2436.87/2453.81 c 2453 decisions : 8984464 (1.12 % random) (10818 /sec)
2436.87/2453.81 c 2453 propagations : 723425831 (871043 /sec)
2436.87/2453.81 c 2453 conflict literals : 151073152 (32.47 % deleted)
2436.87/2453.81 c 2453 Memory used : 10.91 MB
2436.87/2453.81 c 2453 CPU time : 830.529 s
2436.87/2453.81 c 2453
2436.87/2453.81 c 2453 UNSATISFIABLE
2436.87/2453.81 c 2453 NOT FOUND: _COST <= 18
2436.87/2453.81 c 2453 OBJECTIVE BOUND: 19 <= _COST <= 20
2436.87/2453.81 c 2453 SEARCHING: _COST <= 19
2436.87/2453.81 c 2453 SOLVING HOME/temp.cnf
2436.87/2453.81 c 2453 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2436.87/2453.87 c 2453 This is MiniSat 2.0 beta
2436.87/2453.87 c 2453 WARNING: for repeatability, setting FPU to use double precision
2436.87/2453.87 c 2453 ============================[ Problem Statistics ]=============================
2436.87/2453.87 c 2453 | |
2436.87/2453.87 c 2453 | Number of variables: 924 |
2436.87/2453.87 c 2453 | Number of clauses: 8030 |
2436.87/2453.87 c 2453 | Parsing time: 0.00 s |
2436.87/2453.87 c 2453 ============================[ Search Statistics ]==============================
2436.87/2453.87 c 2453 | Conflicts | ORIGINAL | LEARNT | Progress |
2436.87/2453.87 c 2453 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2436.87/2453.87 c 2453 ===============================================================================
2436.87/2453.87 c 2453 | 0 | 647 4622 13662 | 1540 0 nan | 0.000 % |
2436.87/2453.88 c 2453 | 102 | 645 4622 13662 | 1694 101 12 | 30.736 % |
2436.87/2453.88 c 2453 | 253 | 645 4622 13662 | 1864 252 11 | 30.740 % |
2436.87/2453.89 c 2453 | 478 | 640 4566 13519 | 2050 477 12 | 30.737 % |
2436.90/2453.90 c 2454 | 816 | 640 4566 13519 | 2255 815 12 | 30.738 % |
2436.90/2453.92 c 2454 | 1325 | 640 4566 13519 | 2481 1324 12 | 30.737 % |
2436.90/2453.96 c 2454 | 2086 | 640 4566 13519 | 2729 2085 13 | 30.738 % |
2436.90/2454.02 c 2454 | 3226 | 640 4566 13519 | 3002 1629 13 | 30.738 % |
2437.12/2454.11 c 2454 | 4934 | 640 4566 13519 | 3302 3337 13 | 30.737 % |
2437.23/2454.24 c 2454 | 7496 | 640 4566 13519 | 3632 2107 10 | 30.737 % |
2437.42/2454.46 c 2454 | 11340 | 640 4566 13519 | 3996 3848 16 | 30.737 % |
2437.81/2454.84 c 2454 | 17107 | 640 4566 13519 | 4395 2908 15 | 30.737 % |
2438.41/2455.40 c 2455 | 25757 | 640 4566 13519 | 4835 4221 15 | 30.737 % |
2439.20/2456.26 c 2456 | 38731 | 640 4566 13519 | 5318 3912 15 | 30.737 % |
2440.49/2457.58 c 2457 | 58192 | 640 4566 13519 | 5850 3035 13 | 30.737 % |
2442.57/2459.64 c 2459 | 87385 | 640 4566 13519 | 6435 3641 15 | 30.737 % |
2445.94/2463.05 c 2463 | 131174 | 640 4566 13519 | 7079 5772 16 | 30.737 % |
2451.09/2468.23 c 2468 | 196858 | 640 4566 13519 | 7787 7050 19 | 30.736 % |
2459.22/2476.43 c 2476 | 295384 | 639 4546 13463 | 8565 6155 16 | 30.845 % |
2472.51/2489.87 c 2489 | 443173 | 639 4546 13463 | 9422 8768 17 | 30.845 % |
2492.23/2509.76 c 2509 | 664856 | 639 4546 13463 | 10364 7392 13 | 30.848 % |
2522.96/2540.74 c 2540 | 997381 | 639 4546 13463 | 11401 8440 19 | 30.845 % |
2570.84/2589.03 c 2589 | 1496171 | 639 4546 13463 | 12541 7522 14 | 30.845 % |
2647.98/2666.86 c 2666 | 2244353 | 639 4546 13463 | 13795 6499 16 | 30.845 % |
2768.91/2788.82 c 2788 | 3366629 | 639 4546 13463 | 15175 7309 19 | 30.845 % |
2956.18/2977.77 c 2977 | 5050040 | 639 4546 13463 | 16692 14206 14 | 30.845 % |
3244.84/3268.92 c 3269 | 7575156 | 636 4512 13348 | 18361 12251 15 | 31.174 % |
3600.04/3627.20 sh: line 1: 23897 Terminated HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out' 2>&1
3600.04/3627.21 c ERROR unknown output in HOME/temp.out
3600.04/3627.21 c 3627 CPU 3599.77 (0.04 0.02 3599.73 0.26)
3600.04/3627.21 c 3627 END Mon Jul 14 18:00:33 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-1116340-1216047606/watcher-1116340-1216047606 -o /tmp/evaluation-result-1116340-1216047606/solver-1116340-1216047606 -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-1116340-1216047606.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 23787
/proc/meminfo: memFree=1799480/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=12272 CPUtime=0
/proc/23787/stat : 23787 (sugar) R 23785 23787 23750 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 61459909 12566528 327 996147200 4194304 4206940 548682068592 18446744073709551615 269939162110 0 0 4224 0 0 0 0 17 1 0 0
/proc/23787/statm: 3068 327 246 3 0 168 0
[startup+0.100671 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 23787
/proc/meminfo: memFree=1799480/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.03
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 61459909 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23787/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.202688 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 23787
/proc/meminfo: memFree=1799480/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.03
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 61459909 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23787/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.302705 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 23787
/proc/meminfo: memFree=1799480/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.03
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 916 127 0 0 3 0 0 0 15 0 1 0 61459909 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701782 s]
/proc/loadavg: 1.91 1.95 1.98 4/81 23787
/proc/meminfo: memFree=1799480/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.23
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 974 4288 0 1 3 0 18 2 15 0 1 0 61459909 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23787/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13600
[startup+1.50194 s]
/proc/loadavg: 1.92 1.95 1.98 3/85 23821
/proc/meminfo: memFree=1794712/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.97
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1177 13856 0 3 3 1 85 8 15 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 13600
[startup+3.10126 s]
/proc/loadavg: 1.92 1.95 1.98 3/84 23823
/proc/meminfo: memFree=1796128/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.97
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1177 13856 0 3 3 1 85 8 15 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23822] ppid=23787 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61460020 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 232 193 169 0 50 0
[pid=23823] ppid=23822 vsize=2612 CPUtime=1.97
/proc/23823/stat : 23823 (minisat) R 23822 23787 23750 0 -1 4194304 360 0 0 0 197 0 0 0 25 0 1 0 61460020 2674688 346 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23823/statm: 653 346 75 150 0 500 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 21568
[startup+6.30189 s]
/proc/loadavg: 1.92 1.95 1.98 3/84 23823
/proc/meminfo: memFree=1795552/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.97
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1177 13856 0 3 3 1 85 8 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23822] ppid=23787 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61460020 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 232 193 169 0 50 0
[pid=23823] ppid=23822 vsize=3012 CPUtime=5.14
/proc/23823/stat : 23823 (minisat) R 23822 23787 23750 0 -1 4194304 448 0 0 0 514 0 0 0 25 0 1 0 61460020 3084288 434 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 0 0 0
/proc/23823/statm: 753 434 75 150 0 600 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 21968
[startup+12.7012 s]
/proc/loadavg: 1.93 1.96 1.98 3/84 23823
/proc/meminfo: memFree=1794976/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.97
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1177 13856 0 3 3 1 85 8 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23822] ppid=23787 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61460020 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 232 193 169 0 50 0
[pid=23823] ppid=23822 vsize=3412 CPUtime=11.48
/proc/23823/stat : 23823 (minisat) R 23822 23787 23750 0 -1 4194304 552 0 0 0 1148 0 0 0 25 0 1 0 61460020 3493888 538 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/23823/statm: 853 538 75 150 0 700 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 22368
[startup+25.5027 s]
/proc/loadavg: 1.94 1.96 1.98 3/84 23823
/proc/meminfo: memFree=1794656/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.97
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1177 13856 0 3 3 1 85 8 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23822] ppid=23787 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61460020 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 232 193 169 0 50 0
[pid=23823] ppid=23822 vsize=3808 CPUtime=24.17
/proc/23823/stat : 23823 (minisat) R 23822 23787 23750 0 -1 4194304 656 0 0 0 2417 0 0 0 25 0 1 0 61460020 3899392 642 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/23823/statm: 952 642 75 150 0 799 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 22764
[startup+51.1028 s]
/proc/loadavg: 1.96 1.96 1.98 3/84 23823
/proc/meminfo: memFree=1793952/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=0.97
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1177 13856 0 3 3 1 85 8 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23822] ppid=23787 vsize=5356 CPUtime=0
/proc/23822/stat : 23822 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61460020 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23822/statm: 1339 232 193 169 0 50 0
[pid=23823] ppid=23822 vsize=4608 CPUtime=49.54
/proc/23823/stat : 23823 (minisat) R 23822 23787 23750 0 -1 4194304 845 0 0 0 4954 0 0 0 25 0 1 0 61460020 4718592 831 996147200 134512640 135127466 4294956256 18446744073709551615 134530679 0 0 4096 3 0 0 0 17 0 0 0
/proc/23823/statm: 1152 831 75 150 0 999 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 23564
[startup+102.303 s]
/proc/loadavg: 1.98 1.96 1.98 3/84 23843
/proc/meminfo: memFree=1794712/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=89.48
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1347 19709 0 4 4 1 8931 12 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23842] ppid=23787 vsize=5356 CPUtime=0
/proc/23842/stat : 23842 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61468945 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23842/statm: 1339 232 193 169 0 50 0
[pid=23843] ppid=23842 vsize=3544 CPUtime=11.84
/proc/23843/stat : 23843 (minisat) R 23842 23787 23750 0 -1 4194304 595 0 0 0 1184 0 0 0 25 0 1 0 61468945 3629056 581 996147200 134512640 135127466 4294956256 18446744073709551615 134530775 0 0 4096 3 0 0 0 17 0 0 0
/proc/23843/statm: 886 581 75 150 0 733 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 22500
[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.98 4/84 23843
/proc/meminfo: memFree=1793048/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=89.48
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1347 19709 0 4 4 1 8931 12 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23842] ppid=23787 vsize=5356 CPUtime=0
/proc/23842/stat : 23842 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61468945 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23842/statm: 1339 232 193 169 0 50 0
[pid=23843] ppid=23842 vsize=5408 CPUtime=71.3
/proc/23843/stat : 23843 (minisat) R 23842 23787 23750 0 -1 4194304 1028 0 0 0 7130 0 0 0 25 0 1 0 61468945 5537792 1014 996147200 134512640 135127466 4294956256 18446744073709551615 134530840 0 0 4096 3 0 0 0 17 0 0 0
/proc/23843/statm: 1352 1014 75 150 0 1199 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 24364
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 23843
/proc/meminfo: memFree=1791960/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=89.48
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1347 19709 0 4 4 1 8931 12 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23842] ppid=23787 vsize=5356 CPUtime=0
/proc/23842/stat : 23842 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61468945 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23842/statm: 1339 232 193 169 0 50 0
[pid=23843] ppid=23842 vsize=6336 CPUtime=130.78
/proc/23843/stat : 23843 (minisat) R 23842 23787 23750 0 -1 4194304 1283 0 0 0 13078 0 0 0 25 0 1 0 61468945 6488064 1269 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 0 0 0
/proc/23843/statm: 1584 1269 75 150 0 1431 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 25292
[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/84 23843
/proc/meminfo: memFree=1791064/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=89.48
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1347 19709 0 4 4 1 8931 12 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23842] ppid=23787 vsize=5356 CPUtime=0
/proc/23842/stat : 23842 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61468945 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23842/statm: 1339 232 193 169 0 50 0
[pid=23843] ppid=23842 vsize=7312 CPUtime=190.26
/proc/23843/stat : 23843 (minisat) R 23842 23787 23750 0 -1 4194304 1503 0 0 0 19026 0 0 0 25 0 1 0 61468945 7487488 1489 996147200 134512640 135127466 4294956256 18446744073709551615 134530722 0 0 4096 3 0 0 0 17 0 0 0
/proc/23843/statm: 1828 1489 75 150 0 1675 0
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (KiB) 26268
################
# More data... #
################
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=10296 CPUtime=642.79
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2232 0 0 0 64277 2 0 0 25 0 1 0 61705295 10543104 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530954 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2574 2218 75 150 0 2421 0
Current children cumulated CPU time (s) 3079.69
Current children cumulated vsize (KiB) 29252
[startup+3162.3 s]
/proc/loadavg: 2.56 2.53 2.37 4/83 23897
/proc/meminfo: memFree=1720296/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=10564 CPUtime=702.26
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2311 0 0 0 70224 2 0 0 25 0 1 0 61705295 10817536 2297 996147200 134512640 135127466 4294956256 18446744073709551615 134530644 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2641 2297 75 150 0 2488 0
Current children cumulated CPU time (s) 3139.16
Current children cumulated vsize (KiB) 29520
[startup+3222.3 s]
/proc/loadavg: 2.50 2.51 2.37 4/83 23897
/proc/meminfo: memFree=1719976/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=10880 CPUtime=761.74
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2355 0 0 0 76172 2 0 0 25 0 1 0 61705295 11141120 2341 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2720 2341 75 150 0 2567 0
Current children cumulated CPU time (s) 3198.64
Current children cumulated vsize (KiB) 29836
[startup+3282.3 s]
/proc/loadavg: 2.56 2.53 2.38 3/83 23897
/proc/meminfo: memFree=1719784/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=11164 CPUtime=821.22
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2422 0 0 0 82120 2 0 0 25 0 1 0 61705295 11431936 2408 996147200 134512640 135127466 4294956256 18446744073709551615 134523392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2791 2408 75 150 0 2638 0
Current children cumulated CPU time (s) 3258.12
Current children cumulated vsize (KiB) 30120
[startup+3342.3 s]
/proc/loadavg: 2.53 2.54 2.39 4/83 23897
/proc/meminfo: memFree=1719464/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=11440 CPUtime=880.72
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2499 0 0 0 88069 3 0 0 25 0 1 0 61705295 11714560 2485 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2860 2485 75 150 0 2707 0
Current children cumulated CPU time (s) 3317.62
Current children cumulated vsize (KiB) 30396
[startup+3402.3 s]
/proc/loadavg: 2.46 2.52 2.39 4/83 23897
/proc/meminfo: memFree=1719208/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=11728 CPUtime=940.19
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2559 0 0 0 94016 3 0 0 25 0 1 0 61705295 12009472 2545 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2932 2545 75 150 0 2779 0
Current children cumulated CPU time (s) 3377.09
Current children cumulated vsize (KiB) 30684
[startup+3462.3 s]
/proc/loadavg: 2.33 2.47 2.38 4/83 23897
/proc/meminfo: memFree=1719016/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=11860 CPUtime=999.67
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2602 0 0 0 99964 3 0 0 25 0 1 0 61705295 12144640 2588 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 2965 2588 75 150 0 2812 0
Current children cumulated CPU time (s) 3436.57
Current children cumulated vsize (KiB) 30816
[startup+3522.31 s]
/proc/loadavg: 2.42 2.47 2.38 4/83 23897
/proc/meminfo: memFree=1718760/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=12136 CPUtime=1059.15
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2667 0 0 0 105912 3 0 0 25 0 1 0 61705295 12427264 2653 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 3034 2653 75 150 0 2881 0
Current children cumulated CPU time (s) 3496.05
Current children cumulated vsize (KiB) 31092
[startup+3582.3 s]
/proc/loadavg: 2.61 2.52 2.40 3/83 23897
/proc/meminfo: memFree=1718632/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=12280 CPUtime=1118.62
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2708 0 0 0 111859 3 0 0 25 0 1 0 61705295 12574720 2694 996147200 134512640 135127466 4294956256 18446744073709551615 134531074 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 3070 2694 75 150 0 2917 0
Current children cumulated CPU time (s) 3555.52
Current children cumulated vsize (KiB) 31236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3627.2 s]
/proc/loadavg: 2.70 2.55 2.42 3/83 23897
/proc/meminfo: memFree=1718504/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=12412 CPUtime=1163.14
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2737 0 0 0 116311 3 0 0 25 0 1 0 61705295 12709888 2723 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 3103 2723 75 150 0 2950 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 31368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3627.2 s]
/proc/loadavg: 2.70 2.55 2.42 3/83 23897
/proc/meminfo: memFree=1718504/2055920 swapFree=4192812/4192956
[pid=23787] ppid=23785 vsize=13600 CPUtime=2436.9
/proc/23787/stat : 23787 (sugar) S 23785 23787 23750 0 -1 4194304 1517 29449 0 5 4 2 243662 22 16 0 1 0 61459909 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 269939159138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23787/statm: 3400 805 374 3 0 500 0
[pid=23896] ppid=23787 vsize=5356 CPUtime=0
/proc/23896/stat : 23896 (sh) S 23787 23787 23750 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 61705291 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23896/statm: 1339 232 193 169 0 50 0
[pid=23897] ppid=23896 vsize=12412 CPUtime=1163.14
/proc/23897/stat : 23897 (minisat) R 23896 23787 23750 0 -1 4194304 2737 0 0 0 116311 3 0 0 25 0 1 0 61705295 12709888 2723 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23897/statm: 3103 2723 75 150 0 2950 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 31368
Child status: 0
Real time (s): 3627.21
CPU time (s): 3600.07
CPU user time (s): 3599.78
CPU system time (s): 0.285956
CPU usage (%): 99.2518
Max. virtual memory (cumulated for all children) (KiB): 882680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.285956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34060
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1438
involuntary context switches= 133096
runsolver used 3.41548 second user time and 9.80051 second system time
The end
Begin job on node53 at 2008-07-14 17:00:06
IDJOB=1116340
IDBENCH=61982
IDSOLVER=368
FILE ID=node53/1116340-1216047606
PBS_JOBID= 7904992
Free space on /tmp= 66484 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/randomMaxCSP/sparseTight/normalized-vcsp-25-10-21-85-27_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1116340-1216047606/watcher-1116340-1216047606 -o /tmp/evaluation-result-1116340-1216047606/solver-1116340-1216047606 -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-1116340-1216047606.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1ae1dededd6847a7694e89c9e28c4e26
RANDOM SEED=1949818962
node53.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.261
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.261
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: 1799960 kB
Buffers: 58724 kB
Cached: 123312 kB
SwapCached: 0 kB
Active: 147956 kB
Inactive: 59488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799960 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1536 kB
Writeback: 0 kB
Mapped: 45540 kB
Slab: 33808 kB
Committed_AS: 303304 kB
PageTables: 1820 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= 66480 MiB
End job on node53 at 2008-07-14 18:00:33