0.00/0.15 c 0 Sugar v1-13 + HOME/minisat
0.00/0.16 c 0 BEGIN Fri Jul 11 19:48:51 2008
0.00/0.16 c 0 PID 11800
0.00/0.17 c 0 HOST node2.alineos.net
0.00/0.17 c 0 CONVERTING HOME/instance-1109128-1215798530.xml TO HOME/temp.csp
0.00/0.17 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1109128-1215798530.xml' 'HOME/temp.csp'
1.22/1.63 c 2 1 domains, 24 variables, 0 predicates, 76 relations, 76 constraints
1.22/1.65 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.22/1.65 c 2 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'
1.26/1.73 c 2 Parsing HOME/temp.csp
3.67/4.11 c 4 parsed 177 expressions
3.67/4.11 c 4 Heap : 46 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.67/4.12 c 4 MAX CSP: 76 constraints
3.67/4.12 c 4 Converting to clausal form CSP
3.67/4.15 c 4 converted 26 (10%) expressions
3.67/4.19 c 4 converted 52 (20%) expressions
3.77/4.22 c 4 converted 77 (30%) expressions
3.77/4.29 c 4 converted 103 (40%) expressions
3.96/4.45 c 5 converted 128 (50%) expressions
4.46/4.97 c 5 converted 154 (60%) expressions
4.66/5.16 c 5 converted 180 (70%) expressions
4.85/5.35 c 5 converted 205 (80%) expressions
5.04/5.54 c 6 converted 231 (90%) expressions
5.24/5.70 c 6 converted 256 (100%) expressions
5.24/5.70 c 6 CSP : 176 integers, 0 booleans, 227 clauses, largest domain size 115
5.24/5.70 c 6 Heap : 89 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.24/5.70 c 6 Propagation in CSP
5.24/5.72 c 6 73 values, 0 unsatisfiable literals, and 0 valid clauses are removed
5.24/5.72 c 6 CSP : 176 integers, 0 booleans, 227 clauses, largest domain size 77
5.24/5.72 c 6 Heap : 89 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.24/5.72 c 6 Simplifing CSP by introducing new Boolean variables
5.24/5.72 c 6 CSP : 176 integers, 0 booleans, 227 clauses, largest domain size 77
5.24/5.72 c 6 Heap : 89 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.45/5.95 c 6 Encoding CSP to SAT : HOME/temp.cnf
5.45/5.96 c 6 18 (10%) CSP integer variables are encoded (396 clauses, 4214 bytes)
5.45/5.97 c 6 36 (20%) CSP integer variables are encoded (528 clauses, 5666 bytes)
5.45/5.97 c 6 53 (30%) CSP integer variables are encoded (528 clauses, 5666 bytes)
5.45/5.97 c 6 71 (40%) CSP integer variables are encoded (528 clauses, 5666 bytes)
5.45/5.97 c 6 88 (50%) CSP integer variables are encoded (528 clauses, 5666 bytes)
5.45/5.97 c 6 106 (60%) CSP integer variables are encoded (612 clauses, 6590 bytes)
5.45/5.97 c 6 124 (70%) CSP integer variables are encoded (1020 clauses, 11357 bytes)
5.45/5.97 c 6 141 (80%) CSP integer variables are encoded (1154 clauses, 13099 bytes)
5.45/5.97 c 6 159 (90%) CSP integer variables are encoded (1218 clauses, 13931 bytes)
5.45/5.97 c 6 176 (100%) CSP integer variables are encoded (1316 clauses, 15205 bytes)
6.54/7.03 c 7 23 (10%) CSP clauses are encoded (72309 clauses, 2129310 bytes)
7.53/8.03 c 8 46 (20%) CSP clauses are encoded (143468 clauses, 4361040 bytes)
8.51/9.03 c 9 69 (30%) CSP clauses are encoded (214326 clauses, 6637512 bytes)
8.81/9.34 c 9 91 (40%) CSP clauses are encoded (236066 clauses, 7334498 bytes)
8.81/9.35 c 9 114 (50%) CSP clauses are encoded (239733 clauses, 7390991 bytes)
8.81/9.35 c 9 137 (60%) CSP clauses are encoded (239910 clauses, 7393764 bytes)
8.81/9.36 c 9 159 (70%) CSP clauses are encoded (242970 clauses, 7448818 bytes)
8.81/9.36 c 9 182 (80%) CSP clauses are encoded (243151 clauses, 7451658 bytes)
8.81/9.36 c 9 205 (90%) CSP clauses are encoded (243566 clauses, 7458633 bytes)
8.81/9.36 c 9 227 (100%) CSP clauses are encoded (244785 clauses, 7479886 bytes)
8.81/9.37 c 9 227 CSP clauses encoded
8.81/9.37 c 9 Writing map file : HOME/temp.map
8.81/9.37 c 9 Heap : 34 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.81/9.37 c 9 SAT : 1492 SAT variables, 244785 SAT clauses, 7479886 bytes
8.81/9.37 c 9 Heap : 34 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.89/9.41 c 10 OBJECTIVE minimize _COST
8.92/9.57 c 10 OBJECTIVE BOUND: 0 <= _COST <=
8.92/9.57 c 10 SEARCHING: _COST <= 38
8.92/9.57 c 10 SOLVING HOME/temp.cnf
8.92/9.57 c 10 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
8.92/9.58 c 10 This is MiniSat 2.0 beta
8.92/9.58 c 10 WARNING: for repeatability, setting FPU to use double precision
8.92/9.58 c 10 ============================[ Problem Statistics ]=============================
8.92/9.58 c 10 | |
8.92/9.58 c 10 | Number of variables: 1492 |
8.92/9.58 c 10 | Number of clauses: 244786 |
8.92/9.75 c 10 | Parsing time: 0.15 s |
8.92/9.76 c 10 ============================[ Search Statistics ]==============================
8.92/9.76 c 10 | Conflicts | ORIGINAL | LEARNT | Progress |
8.92/9.76 c 10 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.92/9.76 c 10 ===============================================================================
8.92/9.76 c 10 | 0 | 1226 241402 1563163 | 80467 0 nan | 0.000 % |
8.92/9.79 c 10 ===============================================================================
8.92/9.79 c 10 restarts : 1
8.92/9.79 c 10 conflicts : 7 (38 /sec)
8.92/9.79 c 10 decisions : 41 (0.00 % random) (223 /sec)
8.92/9.79 c 10 propagations : 1843 (10018 /sec)
8.92/9.79 c 10 conflict literals : 108 (27.03 % deleted)
8.92/9.79 c 10 Memory used : 15.36 MB
8.92/9.79 c 10 CPU time : 0.183972 s
8.92/9.79 c 10
8.92/9.79 c 10 SATISFIABLE
8.92/9.79 c 10 FOUND: _COST <= 38
8.92/9.79 s SATISFIABLE
8.92/9.79 c 10 DECODING HOME/temp.out WITH HOME/temp.map
8.92/9.79 c 10 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
9.14/9.88 c 10 Decoding HOME/temp.out
9.23/9.92 c 10 OBJECTIVE _COST 38
9.23/9.92 o 38
9.23/9.92 v 9 22 14 18 17 23 20 21 20 14 20 17 23 16 19 18 23 23 23 23 23 23 23 23
9.23/9.92 c 10 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
9.23/9.95 c 10 OBJECTIVE BOUND: 0 <= _COST <= 38
9.23/9.95 c 10 SEARCHING: _COST <= 19
9.23/9.95 c 10 SOLVING HOME/temp.cnf
9.23/9.95 c 10 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
9.23/9.95 c 10 This is MiniSat 2.0 beta
9.23/9.95 c 10 WARNING: for repeatability, setting FPU to use double precision
9.23/9.95 c 10 ============================[ Problem Statistics ]=============================
9.23/9.96 c 10 | |
9.23/9.96 c 10 | Number of variables: 1492 |
9.23/9.96 c 10 | Number of clauses: 244786 |
9.25/10.12 c 10 | Parsing time: 0.14 s |
9.25/10.13 c 10 ============================[ Search Statistics ]==============================
9.25/10.13 c 10 | Conflicts | ORIGINAL | LEARNT | Progress |
9.25/10.13 c 10 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.25/10.13 c 10 ===============================================================================
9.25/10.13 c 10 | 0 | 1074 239350 1557444 | 79783 0 nan | 0.000 % |
9.25/10.27 c 10 | 102 | 1074 239350 1557444 | 87761 102 21 | 28.016 % |
9.25/10.42 c 11 | 252 | 1074 239350 1557444 | 96537 252 21 | 28.017 % |
9.25/10.61 c 11 | 479 | 1074 239350 1557444 | 106191 479 21 | 28.017 % |
9.25/10.82 c 11 | 817 | 1074 239350 1557444 | 116810 817 23 | 28.017 % |
10.37/11.16 c 11 | 1324 | 1074 239350 1557444 | 128491 1324 27 | 28.017 % |
10.87/11.66 c 12 | 2083 | 1074 239350 1557444 | 141341 2083 26 | 28.017 % |
11.56/12.30 c 12 | 3222 | 1074 239350 1557444 | 155475 3222 27 | 28.017 % |
12.95/13.75 c 14 | 4931 | 1074 239350 1557444 | 171022 4931 27 | 28.017 % |
14.33/15.17 c 15 | 7493 | 1074 239350 1557444 | 188124 7493 27 | 28.017 % |
16.90/17.78 c 18 | 11337 | 1074 239350 1557444 | 206937 11337 27 | 28.017 % |
17.10/17.99 c 18 ===============================================================================
17.10/17.99 c 18 restarts : 11
17.10/17.99 c 18 conflicts : 11633 (1466 /sec)
17.10/17.99 c 18 decisions : 13326 (0.64 % random) (1679 /sec)
17.10/17.99 c 18 propagations : 1502175 (189243 /sec)
17.10/17.99 c 18 conflict literals : 317248 (42.17 % deleted)
17.10/17.99 c 18 Memory used : 17.59 MB
17.10/17.99 c 18 CPU time : 7.93779 s
17.10/17.99 c 18
17.10/18.00 c 18 SATISFIABLE
17.20/18.00 c 18 FOUND: _COST <= 19
17.20/18.00 c 18 DECODING HOME/temp.out WITH HOME/temp.map
17.20/18.00 c 18 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
17.20/18.08 c 18 Decoding HOME/temp.out
17.23/18.11 c 18 OBJECTIVE _COST 19
17.23/18.11 o 19
17.23/18.11 v 21 13 7 23 11 4 23 23 23 14 6 1 23 23 16 15 23 23 22 0 23 23 23 6
17.23/18.12 c 18 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
17.23/18.17 c 18 OBJECTIVE BOUND: 0 <= _COST <= 19
17.23/18.17 c 18 SEARCHING: _COST <= 9
17.23/18.17 c 18 SOLVING HOME/temp.cnf
17.23/18.17 c 18 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
17.23/18.18 c 18 This is MiniSat 2.0 beta
17.23/18.18 c 18 WARNING: for repeatability, setting FPU to use double precision
17.23/18.18 c 18 ============================[ Problem Statistics ]=============================
17.23/18.18 c 18 | |
17.23/18.18 c 18 | Number of variables: 1492 |
17.23/18.18 c 18 | Number of clauses: 244786 |
17.37/18.35 c 18 | Parsing time: 0.15 s |
17.37/18.36 c 18 ============================[ Search Statistics ]==============================
17.37/18.36 c 18 | Conflicts | ORIGINAL | LEARNT | Progress |
17.37/18.36 c 18 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
17.37/18.36 c 18 ===============================================================================
17.37/18.36 c 18 | 0 | 960 237617 1552577 | 79205 0 nan | 0.000 % |
17.37/18.49 c 19 | 101 | 960 237617 1552577 | 87126 101 20 | 35.657 % |
17.78/18.62 c 19 | 251 | 960 237617 1552577 | 95838 251 21 | 35.658 % |
17.97/18.83 c 19 | 476 | 960 237617 1552577 | 105422 476 21 | 35.658 % |
18.27/19.12 c 19 | 814 | 960 237617 1552577 | 115965 814 22 | 35.658 % |
18.57/19.43 c 20 | 1321 | 960 237617 1552577 | 127561 1321 22 | 35.658 % |
19.06/19.92 c 20 | 2080 | 960 237617 1552577 | 140317 2080 20 | 35.658 % |
19.96/20.86 c 21 | 3220 | 960 237617 1552577 | 154349 3220 20 | 35.658 % |
21.24/22.15 c 22 | 4928 | 960 237617 1552577 | 169784 4928 20 | 35.658 % |
23.72/24.64 c 25 | 7490 | 960 237617 1552577 | 186762 7490 21 | 35.658 % |
26.68/27.66 c 28 | 11334 | 960 237617 1552577 | 205439 11334 21 | 35.658 % |
31.34/32.31 c 32 | 17100 | 960 237617 1552577 | 225983 17100 21 | 35.658 % |
38.78/39.83 c 40 | 25754 | 960 237617 1552577 | 248581 25754 22 | 35.658 % |
49.30/50.50 c 51 | 38728 | 960 237617 1552577 | 273439 38728 23 | 35.658 % |
51.28/52.48 c 53 ===============================================================================
51.28/52.48 c 53 restarts : 14
51.28/52.48 c 53 conflicts : 40795 (1204 /sec)
51.28/52.48 c 53 decisions : 45298 (0.96 % random) (1337 /sec)
51.28/52.48 c 53 propagations : 5792783 (170960 /sec)
51.28/52.48 c 53 conflict literals : 950127 (40.52 % deleted)
51.28/52.48 c 53 Memory used : 21.06 MB
51.28/52.48 c 53 CPU time : 33.8838 s
51.28/52.48 c 53
51.28/52.48 c 53 SATISFIABLE
51.28/52.49 c 53 FOUND: _COST <= 9
51.28/52.49 c 53 DECODING HOME/temp.out WITH HOME/temp.map
51.28/52.49 c 53 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
51.38/52.56 c 53 Decoding HOME/temp.out
51.38/52.60 c 53 OBJECTIVE _COST 9
51.38/52.60 o 9
51.38/52.60 v 4 19 7 23 8 1 15 23 23 22 13 16 23 23 5 11 4 21 4 21 4 22 23 10
51.38/52.61 c 53 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
51.38/52.65 c 53 OBJECTIVE BOUND: 0 <= _COST <= 9
51.38/52.65 c 53 SEARCHING: _COST <= 4
51.38/52.65 c 53 SOLVING HOME/temp.cnf
51.38/52.65 c 53 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
51.38/52.65 c 53 This is MiniSat 2.0 beta
51.38/52.65 c 53 WARNING: for repeatability, setting FPU to use double precision
51.38/52.65 c 53 ============================[ Problem Statistics ]=============================
51.38/52.65 c 53 | |
51.38/52.65 c 53 | Number of variables: 1492 |
51.38/52.65 c 53 | Number of clauses: 244786 |
51.65/52.83 c 53 | Parsing time: 0.15 s |
51.65/52.84 c 53 ============================[ Search Statistics ]==============================
51.65/52.84 c 53 | Conflicts | ORIGINAL | LEARNT | Progress |
51.65/52.84 c 53 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
51.65/52.84 c 53 ===============================================================================
51.65/52.84 c 53 | 0 | 858 236484 1549479 | 78828 0 nan | 0.000 % |
51.83/53.01 c 53 | 100 | 858 236484 1549479 | 86710 100 23 | 42.493 % |
51.93/53.16 c 53 | 251 | 858 236484 1549479 | 95381 251 24 | 42.494 % |
52.13/53.38 c 53 | 478 | 858 236484 1549479 | 104920 478 24 | 42.494 % |
52.52/53.77 c 54 | 816 | 858 236484 1549479 | 115412 816 23 | 42.494 % |
53.02/54.27 c 54 | 1322 | 858 236484 1549479 | 126953 1322 23 | 42.494 % |
53.89/55.19 c 55 | 2081 | 858 236484 1549479 | 139648 2081 23 | 42.494 % |
54.69/55.98 c 56 | 3222 | 858 236484 1549479 | 153613 3222 22 | 42.494 % |
56.17/57.49 c 58 | 4930 | 858 236484 1549479 | 168974 4930 22 | 42.494 % |
58.36/59.63 c 60 | 7493 | 858 236484 1549479 | 185872 7493 22 | 42.494 % |
61.25/62.58 c 63 | 11337 | 858 236484 1549479 | 204459 11337 21 | 42.494 % |
66.22/67.56 c 68 | 17103 | 858 236484 1549479 | 224905 17103 21 | 42.494 % |
75.69/77.03 c 77 | 25752 | 858 236484 1549479 | 247396 25752 24 | 42.494 % |
91.62/93.00 c 93 | 38727 | 858 236484 1549479 | 272135 38727 28 | 42.494 % |
101.38/102.89 c 103 ===============================================================================
101.38/102.89 c 103 restarts : 14
101.38/102.89 c 103 conflicts : 46624 (935 /sec)
101.38/102.89 c 103 decisions : 54155 (1.13 % random) (1086 /sec)
101.38/102.89 c 103 propagations : 4917134 (98612 /sec)
101.38/102.89 c 103 conflict literals : 1314790 (30.30 % deleted)
101.38/102.89 c 103 Memory used : 22.82 MB
101.38/102.89 c 103 CPU time : 49.8634 s
101.38/102.89 c 103
101.38/102.89 c 103 SATISFIABLE
101.38/102.89 c 103 FOUND: _COST <= 4
101.38/102.89 c 103 DECODING HOME/temp.out WITH HOME/temp.map
101.38/102.89 c 103 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
101.50/102.98 c 103 Decoding HOME/temp.out
101.50/103.02 c 103 OBJECTIVE _COST 4
101.50/103.02 o 4
101.50/103.02 v 12 6 6 18 8 20 23 23 23 1 0 1 17 3 19 15 23 21 20 21 1 6 23 0
101.50/103.02 c 103 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
101.50/103.06 c 103 OBJECTIVE BOUND: 0 <= _COST <= 4
101.50/103.06 c 103 SEARCHING: _COST <= 2
101.50/103.06 c 103 SOLVING HOME/temp.cnf
101.50/103.06 c 103 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
101.50/103.06 c 103 This is MiniSat 2.0 beta
101.50/103.06 c 103 WARNING: for repeatability, setting FPU to use double precision
101.50/103.06 c 103 ============================[ Problem Statistics ]=============================
101.50/103.06 c 103 | |
101.50/103.06 c 103 | Number of variables: 1492 |
101.50/103.06 c 103 | Number of clauses: 244786 |
101.62/103.22 c 103 | Parsing time: 0.15 s |
101.62/103.23 c 103 ============================[ Search Statistics ]==============================
101.62/103.23 c 103 | Conflicts | ORIGINAL | LEARNT | Progress |
101.62/103.23 c 103 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
101.62/103.23 c 103 ===============================================================================
101.62/103.23 c 103 | 0 | 780 235907 1547980 | 78635 0 nan | 0.000 % |
101.84/103.38 c 103 | 102 | 780 235907 1547980 | 86499 102 21 | 47.721 % |
102.04/103.54 c 104 | 252 | 780 235907 1547980 | 95149 252 21 | 47.722 % |
102.25/103.79 c 104 | 477 | 780 235907 1547980 | 104664 477 23 | 47.722 % |
102.65/104.12 c 104 | 814 | 780 235907 1547980 | 115130 814 20 | 47.722 % |
103.14/104.69 c 105 | 1320 | 780 235907 1547980 | 126643 1320 18 | 47.722 % |
103.94/105.49 c 106 | 2080 | 780 235907 1547980 | 139307 2080 19 | 47.722 % |
105.04/106.55 c 107 | 3219 | 780 235907 1547980 | 153238 3219 21 | 47.722 % |
106.83/108.38 c 108 | 4929 | 780 235907 1547980 | 168562 4929 23 | 47.722 % |
109.02/110.58 c 111 | 7491 | 780 235907 1547980 | 185418 7491 23 | 47.722 % |
113.20/114.70 c 115 | 11335 | 780 235907 1547980 | 203960 11335 24 | 47.722 % |
120.47/122.02 c 122 | 17101 | 780 235907 1547980 | 224356 17101 26 | 47.722 % |
130.82/132.49 c 133 | 25750 | 780 235907 1547980 | 246792 25750 27 | 47.721 % |
145.77/147.41 c 148 | 38724 | 780 235907 1547980 | 271471 38724 27 | 47.722 % |
169.87/171.65 c 172 | 58185 | 780 235907 1547980 | 298618 58185 26 | 47.722 % |
209.70/211.60 c 212 | 87378 | 780 235907 1547980 | 328480 87378 26 | 47.722 % |
279.91/282.18 c 282 | 131167 | 780 235907 1547980 | 361328 131167 26 | 47.722 % |
400.62/403.33 c 403 | 196852 | 780 235907 1547980 | 397461 196852 28 | 47.722 % |
658.55/662.34 c 662 | 295379 | 780 235907 1547980 | 437207 295379 31 | 47.721 % |
1138.96/1144.80 c 1145 | 443168 | 780 235907 1547980 | 480928 32145 28 | 47.722 % |
1316.83/1323.37 c 1323 ===============================================================================
1316.83/1323.37 c 1323 restarts : 20
1316.83/1323.37 c 1323 conflicts : 558678 (460 /sec)
1316.83/1323.37 c 1323 decisions : 635431 (1.20 % random) (523 /sec)
1316.83/1323.37 c 1323 propagations : 61849474 (50902 /sec)
1316.83/1323.37 c 1323 conflict literals : 17143518 (31.17 % deleted)
1316.83/1323.37 c 1323 Memory used : 83.98 MB
1316.83/1323.37 c 1323 CPU time : 1215.07 s
1316.83/1323.37 c 1323
1316.83/1323.37 c 1323 SATISFIABLE
1316.83/1323.38 c 1323 FOUND: _COST <= 2
1316.83/1323.38 c 1323 DECODING HOME/temp.out WITH HOME/temp.map
1316.83/1323.38 c 1323 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1316.92/1323.47 c 1324 Decoding HOME/temp.out
1316.92/1323.51 c 1324 OBJECTIVE _COST 2
1316.92/1323.51 o 2
1316.92/1323.51 v 11 8 2 18 2 14 1 23 23 13 12 21 22 19 4 22 22 8 14 9 22 22 17 22
1316.92/1323.52 c 1324 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1316.92/1323.55 c 1324 OBJECTIVE BOUND: 0 <= _COST <= 2
1316.92/1323.55 c 1324 SEARCHING: _COST <= 1
1316.92/1323.55 c 1324 SOLVING HOME/temp.cnf
1316.92/1323.55 c 1324 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1316.92/1323.55 c 1324 This is MiniSat 2.0 beta
1316.92/1323.55 c 1324 WARNING: for repeatability, setting FPU to use double precision
1316.92/1323.55 c 1324 ============================[ Problem Statistics ]=============================
1316.92/1323.55 c 1324 | |
1316.92/1323.55 c 1324 | Number of variables: 1492 |
1316.92/1323.55 c 1324 | Number of clauses: 244786 |
1317.05/1323.73 c 1324 | Parsing time: 0.15 s |
1317.05/1323.74 c 1324 ============================[ Search Statistics ]==============================
1317.05/1323.74 c 1324 | Conflicts | ORIGINAL | LEARNT | Progress |
1317.05/1323.74 c 1324 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1317.05/1323.74 c 1324 ===============================================================================
1317.05/1323.74 c 1324 | 0 | 704 235502 1546992 | 78500 0 nan | 0.000 % |
1317.05/1323.84 c 1324 | 102 | 704 235502 1546992 | 86350 102 21 | 52.815 % |
1317.05/1324.03 c 1324 | 252 | 704 235502 1546992 | 94985 252 24 | 52.816 % |
1317.05/1324.26 c 1324 | 477 | 704 235502 1546992 | 104484 477 25 | 52.816 % |
1317.98/1324.56 c 1325 | 815 | 704 235502 1546992 | 114932 815 24 | 52.816 % |
1318.48/1325.04 c 1325 | 1322 | 704 235502 1546992 | 126426 1322 23 | 52.816 % |
1319.17/1325.73 c 1326 | 2081 | 704 235502 1546992 | 139068 2081 23 | 52.816 % |
1319.98/1326.57 c 1327 | 3221 | 704 235502 1546992 | 152975 3221 21 | 52.816 % |
1321.67/1328.27 c 1328 | 4929 | 704 235502 1546992 | 168273 4929 22 | 52.816 % |
1324.06/1330.70 c 1331 | 7492 | 704 235502 1546992 | 185100 7492 22 | 52.816 % |
1327.94/1334.51 c 1335 | 11337 | 704 235502 1546992 | 203610 11337 23 | 52.816 % |
1334.01/1340.64 c 1341 | 17103 | 704 235502 1546992 | 223971 17103 24 | 52.816 % |
1343.37/1350.08 c 1350 | 25752 | 704 235502 1546992 | 246368 25752 24 | 52.816 % |
1358.29/1365.09 c 1365 | 38726 | 704 235502 1546992 | 271005 38726 25 | 52.816 % |
1383.76/1390.62 c 1391 | 58189 | 704 235502 1546992 | 298106 58189 27 | 52.816 % |
1428.94/1436.02 c 1436 | 87382 | 704 235502 1546992 | 327916 87382 28 | 52.816 % |
1504.36/1511.89 c 1512 | 131171 | 704 235502 1546992 | 360708 131171 29 | 52.816 % |
1643.58/1651.72 c 1652 | 196859 | 704 235502 1546992 | 396779 196859 30 | 52.816 % |
1929.47/1939.08 c 1939 | 295385 | 704 235502 1546992 | 436457 295385 31 | 52.816 % |
2390.50/2402.39 c 2403 | 443175 | 704 235502 1546992 | 480102 24413 29 | 52.816 % |
2868.54/2882.76 c 2883 | 664859 | 704 235502 1546992 | 528113 246097 34 | 52.816 % |
3600.02/3617.82 c ERROR INTERRUPTED
3600.02/3617.83 c 3618 CPU 1316.02 (0.05 0.02 1315.97 1.02)
3600.02/3617.83 c 3618 END Fri Jul 11 20:49:09 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-1109128-1215798530/watcher-1109128-1215798530 -o /tmp/evaluation-result-1109128-1215798530/solver-1109128-1215798530 -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-1109128-1215798530.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.49 2.51 2.24 4/82 11800
/proc/meminfo: memFree=1049800/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=18572 CPUtime=0
/proc/11800/stat : 11800 (runsolver) R 11798 11800 11559 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 36556600 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11800/statm: 4643 292 257 25 0 2626 0
[startup+0.012838 s]
/proc/loadavg: 2.49 2.51 2.24 4/82 11800
/proc/meminfo: memFree=1049800/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=18572 CPUtime=0
/proc/11800/stat : 11800 (runsolver) D 11798 11800 11559 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 36556600 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 206381313319 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/11800/statm: 4643 292 257 25 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18572
[startup+0.101866 s]
/proc/loadavg: 2.49 2.51 2.24 4/82 11800
/proc/meminfo: memFree=1049800/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=12272 CPUtime=0
/proc/11800/stat : 11800 (sugar) R 11798 11800 11559 0 -1 4194304 402 0 4 0 0 0 0 0 18 0 1 0 36556600 12566528 374 996147200 4194304 4206940 548682068592 18446744073709551615 206399271125 0 0 4224 0 0 0 0 17 0 0 0
/proc/11800/statm: 3068 374 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.301895 s]
/proc/loadavg: 2.49 2.51 2.24 4/82 11800
/proc/meminfo: memFree=1049800/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=0.03
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 894 127 4 0 3 0 0 0 18 0 1 0 36556600 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.702971 s]
/proc/loadavg: 2.49 2.51 2.24 4/82 11800
/proc/meminfo: memFree=1049800/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=0.03
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 894 127 4 0 3 0 0 0 18 0 1 0 36556600 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50112 s]
/proc/loadavg: 2.49 2.51 2.24 3/93 11812
/proc/meminfo: memFree=1012528/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=0.03
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 894 127 4 0 3 0 0 0 18 0 1 0 36556600 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 796 370 3 0 500 0
[pid=11803] ppid=11800 vsize=5356 CPUtime=0
/proc/11803/stat : 11803 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36556618 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11803/statm: 1339 233 193 169 0 50 0
[pid=11804] ppid=11803 vsize=864144 CPUtime=1.09
/proc/11804/stat : 11804 (java) S 11803 11800 11559 0 -1 0 8951 0 53 0 99 10 0 0 18 0 9 0 36556618 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11804/statm: 216036 8160 2527 9 0 210618 0
[pid=11804/tid=11805] ppid=11803 vsize=864144 CPUtime=0.84
/proc/11804/task/11805/stat : 11805 (java) R 11803 11800 11559 0 -1 64 2851 0 29 0 79 5 0 0 25 0 9 0 36556629 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4126502624 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11804/tid=11806] ppid=11803 vsize=864144 CPUtime=0.16
/proc/11804/task/11806/stat : 11806 (java) S 11803 11800 11559 0 -1 64 5111 0 0 0 14 2 0 0 16 0 9 0 36556636 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11804/tid=11807] ppid=11803 vsize=864144 CPUtime=0
/proc/11804/task/11807/stat : 11807 (java) S 11803 11800 11559 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 36556636 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11804/tid=11808] ppid=11803 vsize=864144 CPUtime=0
/proc/11804/task/11808/stat : 11808 (java) S 11803 11800 11559 0 -1 64 8 0 1 0 0 0 0 0 15 0 9 0 36556636 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11804/tid=11809] ppid=11803 vsize=864144 CPUtime=0
/proc/11804/task/11809/stat : 11809 (java) S 11803 11800 11559 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36556639 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11804/tid=11810] ppid=11803 vsize=864144 CPUtime=0.05
/proc/11804/task/11810/stat : 11810 (java) S 11803 11800 11559 0 -1 64 316 0 0 0 5 0 0 0 16 0 9 0 36556639 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11804/tid=11811] ppid=11803 vsize=864144 CPUtime=0
/proc/11804/task/11811/stat : 11811 (java) S 11803 11800 11559 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 36556639 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11804/tid=11812] ppid=11803 vsize=864144 CPUtime=0
/proc/11804/task/11812/stat : 11812 (java) S 11803 11800 11559 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 36556639 884883456 8160 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 883100
[startup+3.10141 s]
/proc/loadavg: 2.49 2.51 2.24 4/93 11822
/proc/meminfo: memFree=1009776/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1.26
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 970 9398 4 53 3 0 112 11 16 0 1 0 36556600 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 797 370 3 0 500 0
[pid=11813] ppid=11800 vsize=5356 CPUtime=0
/proc/11813/stat : 11813 (sh) S 11800 11800 11559 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 36556765 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11813/statm: 1339 233 193 169 0 50 0
[pid=11814] ppid=11813 vsize=864076 CPUtime=1.42
/proc/11814/stat : 11814 (java) S 11813 11800 11559 0 -1 0 11310 0 2 0 137 5 0 0 20 0 9 0 36556766 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11814/statm: 216019 10576 2532 9 0 210601 0
[pid=11814/tid=11815] ppid=11813 vsize=864076 CPUtime=0.81
/proc/11814/task/11815/stat : 11815 (java) R 11813 11800 11559 0 -1 64 2786 0 2 0 80 1 0 0 25 0 9 0 36556766 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11816] ppid=11813 vsize=864076 CPUtime=0.54
/proc/11814/task/11816/stat : 11816 (java) R 11813 11800 11559 0 -1 64 7513 0 0 0 52 2 0 0 16 0 9 0 36556767 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 102514306 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11817] ppid=11813 vsize=864076 CPUtime=0
/proc/11814/task/11817/stat : 11817 (java) S 11813 11800 11559 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 36556768 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11818] ppid=11813 vsize=864076 CPUtime=0
/proc/11814/task/11818/stat : 11818 (java) S 11813 11800 11559 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 36556768 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11819] ppid=11813 vsize=864076 CPUtime=0
/proc/11814/task/11819/stat : 11819 (java) S 11813 11800 11559 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 36556769 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11820] ppid=11813 vsize=864076 CPUtime=0.03
/proc/11814/task/11820/stat : 11820 (java) S 11813 11800 11559 0 -1 64 315 0 0 0 3 0 0 0 16 0 9 0 36556769 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11821] ppid=11813 vsize=864076 CPUtime=0
/proc/11814/task/11821/stat : 11821 (java) S 11813 11800 11559 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 36556770 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11822] ppid=11813 vsize=864076 CPUtime=0
/proc/11814/task/11822/stat : 11822 (java) S 11813 11800 11559 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 36556770 884813824 10576 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 883032
[startup+6.303 s]
/proc/loadavg: 2.53 2.52 2.24 4/93 11822
/proc/meminfo: memFree=915320/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1.27
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 970 9398 4 53 3 1 112 11 15 0 1 0 36556600 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 797 370 3 0 500 0
[pid=11813] ppid=11800 vsize=5356 CPUtime=0
/proc/11813/stat : 11813 (sh) S 11800 11800 11559 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 36556765 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11813/statm: 1339 233 193 169 0 50 0
[pid=11814] ppid=11813 vsize=864280 CPUtime=4.58
/proc/11814/stat : 11814 (java) S 11813 11800 11559 0 -1 0 27311 0 4 0 442 16 0 0 20 0 9 0 36556766 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11814/statm: 216070 26495 2565 9 0 210617 0
[pid=11814/tid=11815] ppid=11813 vsize=864280 CPUtime=2.37
/proc/11814/task/11815/stat : 11815 (java) R 11813 11800 11559 0 -1 64 3691 0 4 0 234 3 0 0 25 0 9 0 36556766 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4126541319 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11816] ppid=11813 vsize=864280 CPUtime=2.07
/proc/11814/task/11816/stat : 11816 (java) S 11813 11800 11559 0 -1 64 22563 0 0 0 196 11 0 0 16 0 9 0 36556767 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11817] ppid=11813 vsize=864280 CPUtime=0
/proc/11814/task/11817/stat : 11817 (java) S 11813 11800 11559 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 36556768 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11818] ppid=11813 vsize=864280 CPUtime=0
/proc/11814/task/11818/stat : 11818 (java) S 11813 11800 11559 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 36556768 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11819] ppid=11813 vsize=864280 CPUtime=0
/proc/11814/task/11819/stat : 11819 (java) S 11813 11800 11559 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 36556769 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11820] ppid=11813 vsize=864280 CPUtime=0.11
/proc/11814/task/11820/stat : 11820 (java) S 11813 11800 11559 0 -1 64 361 0 0 0 11 0 0 0 16 0 9 0 36556769 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11821] ppid=11813 vsize=864280 CPUtime=0
/proc/11814/task/11821/stat : 11821 (java) S 11813 11800 11559 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 36556770 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11814/tid=11822] ppid=11813 vsize=864280 CPUtime=0
/proc/11814/task/11822/stat : 11822 (java) S 11813 11800 11559 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 36556770 885022720 26495 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 883236
[startup+12.7012 s]
/proc/loadavg: 2.49 2.51 2.24 3/85 11836
/proc/meminfo: memFree=940856/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=9.25
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1167 44881 7 58 4 1 882 38 15 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=11835] ppid=11800 vsize=5356 CPUtime=0
/proc/11835/stat : 11835 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36557596 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11835/statm: 1339 232 193 169 0 50 0
[pid=11836] ppid=11835 vsize=16936 CPUtime=2.71
/proc/11836/stat : 11836 (minisat) R 11835 11800 11559 0 -1 4194304 4073 0 0 0 269 2 0 0 25 0 1 0 36557596 17342464 4059 996147200 134512640 135127466 4294956256 18446744073709551615 134530739 0 0 4096 3 0 0 0 17 0 0 0
/proc/11836/statm: 4234 4059 75 150 0 4081 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 35892
[startup+25.5025 s]
/proc/loadavg: 2.45 2.50 2.24 3/85 11848
/proc/meminfo: memFree=857784/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=17.37
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1281 53249 7 59 4 1 1687 45 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=11847] ppid=11800 vsize=5356 CPUtime=0
/proc/11847/stat : 11847 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36558418 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11847/statm: 1339 232 193 169 0 50 0
[pid=11848] ppid=11847 vsize=17344 CPUtime=7.24
/proc/11848/stat : 11848 (minisat) R 11847 11800 11559 0 -1 4194304 4202 0 0 0 719 5 0 0 25 0 1 0 36558418 17760256 4188 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/11848/statm: 4336 4188 75 150 0 4183 0
Current children cumulated CPU time (s) 24.61
Current children cumulated vsize (KiB) 36300
[startup+51.1022 s]
/proc/loadavg: 2.36 2.47 2.24 3/75 11875
/proc/meminfo: memFree=1908936/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=17.37
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1281 53249 7 59 4 1 1687 45 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=11847] ppid=11800 vsize=5356 CPUtime=0
/proc/11847/stat : 11847 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36558418 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11847/statm: 1339 232 193 169 0 50 0
[pid=11848] ppid=11847 vsize=21432 CPUtime=32.62
/proc/11848/stat : 11848 (minisat) R 11847 11800 11559 0 -1 4194304 5209 0 0 0 3251 11 0 0 25 0 1 0 36558418 21946368 5195 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11848/statm: 5358 5195 75 150 0 5205 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 40388
[startup+102.307 s]
/proc/loadavg: 2.16 2.40 2.22 3/84 12162
/proc/meminfo: memFree=1889016/2055920 swapFree=4181132/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=51.5
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1395 62510 7 60 4 1 5085 60 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
################
# More data... #
################
/proc/meminfo: memFree=1820360/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=86476 CPUtime=1769.99
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 21138 0 0 0 176975 24 0 0 25 0 1 0 36688956 88551424 21124 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 21619 21124 75 150 0 21466 0
Current children cumulated CPU time (s) 3087.05
Current children cumulated vsize (KiB) 105432
[startup+3162.3 s]
/proc/loadavg: 2.40 2.18 2.05 3/84 12194
/proc/meminfo: memFree=1820360/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=86476 CPUtime=1829.7
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 21138 0 0 0 182946 24 0 0 25 0 1 0 36688956 88551424 21124 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 21619 21124 75 150 0 21466 0
Current children cumulated CPU time (s) 3146.76
Current children cumulated vsize (KiB) 105432
[startup+3222.3 s]
/proc/loadavg: 2.15 2.15 2.05 3/84 12194
/proc/meminfo: memFree=1820360/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=86476 CPUtime=1889.4
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 21139 0 0 0 188916 24 0 0 25 0 1 0 36688956 88551424 21125 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 21619 21125 75 150 0 21466 0
Current children cumulated CPU time (s) 3206.46
Current children cumulated vsize (KiB) 105432
[startup+3282.3 s]
/proc/loadavg: 2.05 2.12 2.04 3/84 12194
/proc/meminfo: memFree=1820360/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=86476 CPUtime=1949.11
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 21141 0 0 0 194887 24 0 0 25 0 1 0 36688956 88551424 21127 996147200 134512640 135127466 4294956256 18446744073709551615 134530647 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 21619 21127 75 150 0 21466 0
Current children cumulated CPU time (s) 3266.17
Current children cumulated vsize (KiB) 105432
[startup+3342.3 s]
/proc/loadavg: 2.02 2.09 2.03 3/84 12194
/proc/meminfo: memFree=1818440/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=88736 CPUtime=2008.82
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 21641 0 0 0 200857 25 0 0 25 0 1 0 36688956 90865664 21627 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 22184 21627 75 150 0 22031 0
Current children cumulated CPU time (s) 3325.88
Current children cumulated vsize (KiB) 107692
[startup+3402.31 s]
/proc/loadavg: 2.00 2.07 2.03 3/84 12194
/proc/meminfo: memFree=1815944/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=91136 CPUtime=2068.52
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 22224 0 0 0 206827 25 0 0 25 0 1 0 36688956 93323264 22210 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 22784 22210 75 150 0 22631 0
Current children cumulated CPU time (s) 3385.58
Current children cumulated vsize (KiB) 110092
[startup+3462.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/84 12194
/proc/meminfo: memFree=1813640/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=93524 CPUtime=2128.23
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 22799 0 0 0 212797 26 0 0 25 0 1 0 36688956 95768576 22785 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 23381 22785 75 150 0 23228 0
Current children cumulated CPU time (s) 3445.29
Current children cumulated vsize (KiB) 112480
[startup+3522.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/84 12194
/proc/meminfo: memFree=1811272/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=95908 CPUtime=2187.93
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 23351 0 0 0 218767 26 0 0 25 0 1 0 36688956 98209792 23337 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 23977 23337 75 150 0 23824 0
Current children cumulated CPU time (s) 3504.99
Current children cumulated vsize (KiB) 114864
[startup+3582.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/84 12194
/proc/meminfo: memFree=1809416/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=97660 CPUtime=2247.64
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 23813 0 0 0 224736 28 0 0 25 0 1 0 36688956 100003840 23799 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 24415 23799 75 150 0 24262 0
Current children cumulated CPU time (s) 3564.7
Current children cumulated vsize (KiB) 116616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.8 s]
/proc/loadavg: 2.00 2.03 2.01 3/84 12194
/proc/meminfo: memFree=1807944/2055920 swapFree=4181172/4192956
[pid=11800] ppid=11798 vsize=13600 CPUtime=1317.06
/proc/11800/stat : 11800 (sugar) S 11798 11800 11559 0 -1 4194304 1623 97301 7 62 5 2 131597 102 16 0 1 0 36556600 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/11800/statm: 3400 805 374 3 0 500 0
[pid=12191] ppid=11800 vsize=5356 CPUtime=0
/proc/12191/stat : 12191 (sh) S 11800 11800 11559 0 -1 4194304 277 0 0 0 0 0 0 0 15 0 1 0 36688955 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12191/statm: 1339 232 193 169 0 50 0
[pid=12192] ppid=12191 vsize=99024 CPUtime=2282.96
/proc/12192/stat : 12192 (minisat) R 12191 11800 11559 0 -1 4194304 24148 0 0 0 228268 28 0 0 25 0 1 0 36688956 101400576 24134 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12192/statm: 24756 24134 75 150 0 24603 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 117980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11800 and gives
# childrusage.ru_utime.tv_sec=1316
# childrusage.ru_utime.tv_usec=32932
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=56839
# CPU time returned by wait4() is 1317.09
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3617.84
CPU time (s): 3600.02
CPU user time (s): 3598.7
CPU system time (s): 1.32
CPU usage (%): 99.5075
Max. virtual memory (cumulated for all children) (KiB): 883236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1316.03
system time used= 1.05684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99267
page faults= 69
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4932
involuntary context switches= 23064
runsolver used 3.35749 second user time and 9.8455 second system time
The end
Begin job on node2 at 2008-07-11 19:48:51
IDJOB=1109128
IDBENCH=60921
IDSOLVER=368
FILE ID=node2/1109128-1215798530
PBS_JOBID= 7903231
Free space on /tmp= 63864 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-4_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-1109128-1215798530/watcher-1109128-1215798530 -o /tmp/evaluation-result-1109128-1215798530/solver-1109128-1215798530 -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-1109128-1215798530.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 05cdd2b4602ac29383ff8939ced15a9d
RANDOM SEED=2021051453
node2.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 : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1050472 kB
Buffers: 4448 kB
Cached: 885308 kB
SwapCached: 4512 kB
Active: 661436 kB
Inactive: 252480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1050472 kB
SwapTotal: 4192956 kB
SwapFree: 4181132 kB
Dirty: 52896 kB
Writeback: 0 kB
Mapped: 42232 kB
Slab: 76620 kB
Committed_AS: 162872 kB
PageTables: 2032 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= 66508 MiB
End job on node2 at 2008-07-11 20:49:11