0.00/0.14 c 0 Sugar v1-13 + HOME/minisat
0.00/0.14 c 0 BEGIN Fri Jul 11 19:46:44 2008
0.00/0.14 c 0 PID 14894
0.00/0.14 c 0 HOST node33.alineos.net
0.00/0.14 c 0 CONVERTING HOME/instance-1109108-1215798404.xml TO HOME/temp.csp
0.00/0.14 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1109108-1215798404.xml' 'HOME/temp.csp'
0.03/0.54 c 0 23 domains, 114 variables, 6 predicates, 0 relations, 83 constraints
0.03/0.59 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.59 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.32/0.66 c 1 Parsing HOME/temp.csp
0.32/0.74 c 1 parsed 226 expressions
0.32/0.74 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.75 c 1 MAX CSP: 83 constraints
0.32/0.75 c 1 Converting to clausal form CSP
0.32/0.77 c 1 converted 32 (10%) expressions
0.32/0.77 c 1 converted 63 (20%) expressions
0.32/0.77 c 1 converted 94 (30%) expressions
0.32/0.77 c 1 converted 125 (40%) expressions
0.32/0.78 c 1 converted 156 (50%) expressions
0.32/0.80 c 1 converted 188 (60%) expressions
0.32/0.83 c 1 converted 219 (70%) expressions
0.32/0.92 c 1 converted 250 (80%) expressions
0.32/0.98 c 1 converted 281 (90%) expressions
0.81/1.02 c 1 converted 312 (100%) expressions
0.81/1.02 c 1 CSP : 280 integers, 658 booleans, 2867 clauses, largest domain size 125
0.81/1.02 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.81/1.02 c 1 Propagation in CSP
0.81/1.06 c 1 79 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.81/1.06 c 1 CSP : 280 integers, 658 booleans, 2867 clauses, largest domain size 84
0.81/1.06 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.81/1.07 c 1 Simplifing CSP by introducing new Boolean variables
0.81/1.07 c 1 CSP : 280 integers, 898 booleans, 3107 clauses, largest domain size 84
0.81/1.07 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.91/1.11 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.91/1.12 c 1 28 (10%) CSP integer variables are encoded (48 clauses, 484 bytes)
0.91/1.13 c 1 56 (20%) CSP integer variables are encoded (419 clauses, 4524 bytes)
0.91/1.13 c 1 84 (30%) CSP integer variables are encoded (919 clauses, 10024 bytes)
0.91/1.14 c 1 112 (40%) CSP integer variables are encoded (1419 clauses, 16477 bytes)
0.91/1.14 c 1 140 (50%) CSP integer variables are encoded (1453 clauses, 16919 bytes)
0.91/1.14 c 1 168 (60%) CSP integer variables are encoded (1453 clauses, 16919 bytes)
0.91/1.14 c 1 196 (70%) CSP integer variables are encoded (1453 clauses, 16919 bytes)
0.91/1.14 c 1 224 (80%) CSP integer variables are encoded (1621 clauses, 19103 bytes)
0.91/1.14 c 1 252 (90%) CSP integer variables are encoded (1757 clauses, 20871 bytes)
0.91/1.14 c 1 280 (100%) CSP integer variables are encoded (2326 clauses, 28268 bytes)
0.91/1.19 c 1 311 (10%) CSP clauses are encoded (3877 clauses, 54044 bytes)
1.00/1.21 c 1 622 (20%) CSP clauses are encoded (4487 clauses, 63231 bytes)
1.00/1.22 c 1 933 (30%) CSP clauses are encoded (4798 clauses, 69034 bytes)
1.00/1.23 c 1 1243 (40%) CSP clauses are encoded (5108 clauses, 74828 bytes)
1.00/1.23 c 1 1554 (50%) CSP clauses are encoded (5419 clauses, 80626 bytes)
1.00/1.24 c 1 1865 (60%) CSP clauses are encoded (5730 clauses, 86447 bytes)
1.00/1.25 c 1 2175 (70%) CSP clauses are encoded (6040 clauses, 92277 bytes)
1.00/1.26 c 1 2486 (80%) CSP clauses are encoded (6351 clauses, 98361 bytes)
1.00/1.26 c 1 2797 (90%) CSP clauses are encoded (6662 clauses, 104558 bytes)
1.00/1.29 c 1 3107 (100%) CSP clauses are encoded (17123 clauses, 288302 bytes)
1.00/1.29 c 1 3107 CSP clauses encoded
1.00/1.29 c 1 Writing map file : HOME/temp.map
1.00/1.29 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/1.29 c 1 SAT : 3462 SAT variables, 17123 SAT clauses, 288302 bytes
1.00/1.29 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.32 c 1 OBJECTIVE minimize _COST
1.10/1.35 c 1 OBJECTIVE BOUND: 0 <= _COST <=
1.10/1.35 c 1 SEARCHING: _COST <= 42
1.10/1.35 c 1 SOLVING HOME/temp.cnf
1.10/1.35 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.10/1.36 c 1 This is MiniSat 2.0 beta
1.10/1.36 c 1 WARNING: for repeatability, setting FPU to use double precision
1.10/1.36 c 1 ============================[ Problem Statistics ]=============================
1.10/1.36 c 1 | |
1.10/1.36 c 1 | Number of variables: 3462 |
1.10/1.36 c 1 | Number of clauses: 17124 |
1.10/1.37 c 1 | Parsing time: 0.01 s |
1.10/1.37 c 1 ============================[ Search Statistics ]==============================
1.10/1.37 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.10/1.37 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.10/1.37 c 1 ===============================================================================
1.10/1.37 c 1 | 0 | 3175 13250 37434 | 4416 0 nan | 0.000 % |
1.10/1.38 c 1 ===============================================================================
1.10/1.38 c 1 restarts : 1
1.10/1.38 c 1 conflicts : 5 (455 /sec)
1.10/1.38 c 1 decisions : 1045 (1.44 % random) (95017 /sec)
1.10/1.38 c 1 propagations : 5647 (513457 /sec)
1.10/1.38 c 1 conflict literals : 24 (4.00 % deleted)
1.10/1.38 c 1 Memory used : 2.70 MB
1.10/1.38 c 1 CPU time : 0.010998 s
1.10/1.38 c 1
1.10/1.38 c 1 SATISFIABLE
1.10/1.38 c 1 FOUND: _COST <= 42
1.10/1.38 s SATISFIABLE
1.10/1.38 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.10/1.38 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'
1.13/1.47 c 1 Decoding HOME/temp.out
1.13/1.52 c 1 OBJECTIVE _COST 42
1.13/1.52 o 42
1.13/1.53 v 1 4 6 5 6 5 3 2 6 6 6 5 6 1 3 2 6 5 6 1 1 4 6 5 2 1 6 6 5 1 2 1 5 5 4 6 31 30 1 21 1 36 1 30 1 32 1 26 1 16 2 31 31 2 31 2 31 2 31 2 25 2 36 3 6 3 31 15 3 7 3 36 3 29 3 35 4 6 4 2 4 31 22 4 36 4 29 4 36 5 6 5 36 5 36 5 31 29 5 4 5 11 6 36 6 29 6 29 6 19 6 31 36 6
1.13/1.54 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.13/1.55 c 1 OBJECTIVE BOUND: 0 <= _COST <= 42
1.13/1.55 c 1 SEARCHING: _COST <= 21
1.13/1.55 c 1 SOLVING HOME/temp.cnf
1.13/1.55 c 1 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.13/1.56 c 1 This is MiniSat 2.0 beta
1.13/1.56 c 1 WARNING: for repeatability, setting FPU to use double precision
1.13/1.56 c 1 ============================[ Problem Statistics ]=============================
1.13/1.56 c 1 | |
1.13/1.56 c 1 | Number of variables: 3462 |
1.13/1.56 c 1 | Number of clauses: 17124 |
1.13/1.57 c 1 | Parsing time: 0.01 s |
1.13/1.57 c 1 ============================[ Search Statistics ]==============================
1.13/1.57 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.13/1.57 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.13/1.57 c 1 ===============================================================================
1.13/1.57 c 1 | 0 | 3007 10835 30672 | 3611 0 nan | 0.000 % |
1.13/1.57 c 1 ===============================================================================
1.13/1.57 c 1 restarts : 1
1.13/1.57 c 1 conflicts : 5 (455 /sec)
1.13/1.57 c 1 decisions : 701 (1.28 % random) (63739 /sec)
1.13/1.57 c 1 propagations : 4776 (434261 /sec)
1.13/1.57 c 1 conflict literals : 51 (7.27 % deleted)
1.13/1.57 c 1 Memory used : 2.68 MB
1.13/1.57 c 1 CPU time : 0.010998 s
1.13/1.57 c 1
1.13/1.57 c 1 SATISFIABLE
1.13/1.57 c 1 FOUND: _COST <= 21
1.13/1.57 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.13/1.57 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'
1.30/1.65 c 2 Decoding HOME/temp.out
1.30/1.71 c 2 OBJECTIVE _COST 21
1.30/1.71 o 21
1.30/1.72 v 1 4 4 6 3 4 6 2 5 3 3 4 2 1 3 5 2 2 2 1 6 4 1 1 6 6 4 6 5 3 5 1 5 2 4 6 31 24 1 24 1 20 1 32 1 18 1 23 1 34 2 31 8 2 19 2 13 2 18 2 19 2 10 3 5 3 31 15 3 30 3 10 3 11 3 12 4 3 4 35 4 31 22 4 6 4 2 4 33 5 33 5 20 5 31 5 31 33 5 33 5 28 6 36 6 26 6 7 6 21 6 31 36 6
1.30/1.72 c 2 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.30/1.76 c 2 OBJECTIVE BOUND: 0 <= _COST <= 21
1.30/1.76 c 2 SEARCHING: _COST <= 10
1.30/1.76 c 2 SOLVING HOME/temp.cnf
1.30/1.76 c 2 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.30/1.77 c 2 This is MiniSat 2.0 beta
1.30/1.77 c 2 WARNING: for repeatability, setting FPU to use double precision
1.30/1.77 c 2 ============================[ Problem Statistics ]=============================
1.30/1.77 c 2 | |
1.30/1.77 c 2 | Number of variables: 3462 |
1.30/1.77 c 2 | Number of clauses: 17124 |
1.30/1.78 c 2 | Parsing time: 0.01 s |
1.30/1.78 c 2 ============================[ Search Statistics ]==============================
1.30/1.78 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.30/1.78 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.30/1.78 c 2 ===============================================================================
1.30/1.78 c 2 | 0 | 2883 8805 24943 | 2935 0 nan | 0.000 % |
1.30/1.78 c 2 ===============================================================================
1.30/1.78 c 2 restarts : 1
1.30/1.78 c 2 conflicts : 11 (917 /sec)
1.30/1.78 c 2 decisions : 306 (0.98 % random) (25504 /sec)
1.30/1.78 c 2 propagations : 7126 (593932 /sec)
1.30/1.78 c 2 conflict literals : 223 (16.17 % deleted)
1.30/1.78 c 2 Memory used : 2.68 MB
1.30/1.78 c 2 CPU time : 0.011998 s
1.30/1.78 c 2
1.30/1.78 c 2 SATISFIABLE
1.30/1.78 c 2 FOUND: _COST <= 10
1.30/1.78 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.30/1.78 c 2 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.49/1.86 c 2 Decoding HOME/temp.out
1.49/1.91 c 2 OBJECTIVE _COST 10
1.49/1.91 o 10
1.49/1.92 v 1 4 6 5 3 2 6 2 1 3 4 4 5 6 3 6 2 1 2 5 2 4 2 1 6 1 4 6 5 3 3 3 5 2 1 6 31 26 1 24 1 35 1 26 1 18 1 9 1 34 2 31 8 2 6 2 17 2 19 2 21 2 30 3 31 3 31 15 3 32 3 10 3 5 3 11 4 27 4 12 4 31 22 4 12 4 2 4 33 5 4 5 20 5 33 5 31 29 5 13 5 14 6 16 6 25 6 7 6 3 6 31 36 6
1.49/1.92 c 2 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.49/1.98 c 2 OBJECTIVE BOUND: 0 <= _COST <= 10
1.49/1.98 c 2 SEARCHING: _COST <= 5
1.49/1.98 c 2 SOLVING HOME/temp.cnf
1.49/1.98 c 2 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1.49/1.98 c 2 This is MiniSat 2.0 beta
1.49/1.98 c 2 WARNING: for repeatability, setting FPU to use double precision
1.49/1.98 c 2 ============================[ Problem Statistics ]=============================
1.49/1.98 c 2 | |
1.49/1.98 c 2 | Number of variables: 3462 |
1.49/1.98 c 2 | Number of clauses: 17124 |
1.49/1.99 c 2 | Parsing time: 0.01 s |
1.49/1.99 c 2 ============================[ Search Statistics ]==============================
1.49/1.99 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.49/1.99 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.49/1.99 c 2 ===============================================================================
1.49/1.99 c 2 | 0 | 2790 7641 21725 | 2547 0 nan | 0.000 % |
1.64/2.01 c 2 | 100 | 2790 7641 21725 | 2801 100 32 | 19.411 % |
1.64/2.03 c 2 | 250 | 2790 7641 21725 | 3081 250 33 | 19.411 % |
1.64/2.06 c 2 | 475 | 2790 7641 21725 | 3390 475 32 | 19.411 % |
1.64/2.10 c 2 | 812 | 2790 7641 21725 | 3729 812 33 | 19.411 % |
1.75/2.19 c 2 | 1319 | 2790 7641 21725 | 4101 1319 31 | 19.411 % |
1.84/2.29 c 2 | 2080 | 2790 7641 21725 | 4512 2080 27 | 19.411 % |
2.04/2.46 c 2 | 3219 | 2790 7641 21725 | 4963 3219 23 | 19.411 % |
2.34/2.71 c 3 | 4927 | 2790 7641 21725 | 5459 4927 20 | 19.411 % |
2.74/3.12 c 3 | 7489 | 2790 7641 21725 | 6005 4350 16 | 19.411 % |
3.34/3.74 c 4 | 11333 | 2790 7641 21725 | 6606 4806 20 | 19.411 % |
4.23/4.64 c 5 | 17101 | 2790 7641 21725 | 7266 6787 19 | 19.411 % |
5.62/6.04 c 6 | 25751 | 2790 7641 21725 | 7993 7279 18 | 19.411 % |
7.61/8.09 c 8 | 38725 | 2790 7641 21725 | 8792 7107 21 | 19.411 % |
10.91/11.36 c 11 | 58186 | 2790 7641 21725 | 9672 7290 15 | 19.411 % |
15.99/16.44 c 16 | 87381 | 2790 7641 21725 | 10639 10200 19 | 19.411 % |
24.15/24.68 c 25 | 131170 | 2790 7641 21725 | 11703 7940 18 | 19.411 % |
36.61/37.16 c 37 | 196855 | 2790 7641 21725 | 12873 10760 17 | 19.411 % |
56.12/56.74 c 57 | 295381 | 2790 7641 21725 | 14161 12970 18 | 19.411 % |
86.40/87.18 c 87 | 443170 | 2790 7641 21725 | 15577 10225 19 | 19.411 % |
134.10/135.05 c 135 | 664854 | 2789 7620 21660 | 17134 11750 19 | 19.440 % |
208.69/209.99 c 210 | 997379 | 2779 7538 21405 | 18848 6615 13 | 19.729 % |
244.44/245.86 c 246 ===============================================================================
244.44/245.86 c 246 restarts : 22
244.44/245.86 c 246 conflicts : 1147492 (4725 /sec)
244.44/245.86 c 246 decisions : 1298986 (1.57 % random) (5349 /sec)
244.44/245.86 c 246 propagations : 488971880 (2013514 /sec)
244.44/245.86 c 246 conflict literals : 21395941 (34.56 % deleted)
244.44/245.86 c 246 Memory used : 6.83 MB
244.44/245.86 c 246 CPU time : 242.845 s
244.44/245.86 c 246
244.44/245.86 c 246 UNSATISFIABLE
244.44/245.86 c 246 NOT FOUND: _COST <= 5
244.44/245.86 c 246 OBJECTIVE BOUND: 6 <= _COST <= 10
244.44/245.86 c 246 SEARCHING: _COST <= 8
244.44/245.86 c 246 SOLVING HOME/temp.cnf
244.44/245.86 c 246 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
244.44/245.87 c 246 This is MiniSat 2.0 beta
244.44/245.87 c 246 WARNING: for repeatability, setting FPU to use double precision
244.44/245.87 c 246 ============================[ Problem Statistics ]=============================
244.44/245.87 c 246 | |
244.44/245.87 c 246 | Number of variables: 3462 |
244.44/245.87 c 246 | Number of clauses: 17124 |
244.44/245.88 c 246 | Parsing time: 0.01 s |
244.44/245.88 c 246 ============================[ Search Statistics ]==============================
244.44/245.88 c 246 | Conflicts | ORIGINAL | LEARNT | Progress |
244.44/245.88 c 246 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
244.44/245.88 c 246 ===============================================================================
244.44/245.88 c 246 | 0 | 2847 8316 23582 | 2772 0 nan | 0.000 % |
244.44/245.89 c 246 | 101 | 2847 8316 23582 | 3049 101 31 | 17.764 % |
244.51/245.91 c 246 | 252 | 2847 8316 23582 | 3354 252 31 | 17.764 % |
244.51/245.94 c 246 | 477 | 2847 8316 23582 | 3689 477 29 | 17.764 % |
244.51/246.00 c 246 | 816 | 2847 8316 23582 | 4058 816 30 | 17.764 % |
244.51/246.03 c 246 ===============================================================================
244.51/246.03 c 246 restarts : 5
244.51/246.03 c 246 conflicts : 1034 (6672 /sec)
244.51/246.03 c 246 decisions : 1556 (1.03 % random) (10040 /sec)
244.51/246.03 c 246 propagations : 553823 (3573605 /sec)
244.51/246.03 c 246 conflict literals : 29978 (22.53 % deleted)
244.51/246.03 c 246 Memory used : 2.68 MB
244.51/246.03 c 246 CPU time : 0.154976 s
244.51/246.03 c 246
244.51/246.03 c 246 SATISFIABLE
244.51/246.03 c 246 FOUND: _COST <= 8
244.51/246.03 c 246 DECODING HOME/temp.out WITH HOME/temp.map
244.51/246.03 c 246 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
244.68/246.11 c 246 Decoding HOME/temp.out
244.68/246.18 c 246 OBJECTIVE _COST 8
244.68/246.18 o 8
244.68/246.18 v 1 6 5 3 6 4 4 2 5 6 4 3 6 4 3 5 2 1 6 1 2 4 3 5 4 3 6 2 5 1 2 5 4 1 3 6 31 30 1 34 1 30 1 18 1 34 1 20 1 31 2 31 8 2 28 2 31 2 21 2 17 2 35 3 23 3 31 15 3 26 3 12 3 4 3 33 4 6 4 11 4 31 22 4 14 4 25 4 24 5 16 5 32 5 9 5 31 29 5 3 5 10 6 27 6 19 6 5 6 13 6 31 36 6
244.68/246.19 c 246 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
244.68/246.24 c 246 OBJECTIVE BOUND: 6 <= _COST <= 8
244.68/246.24 c 246 SEARCHING: _COST <= 7
244.68/246.24 c 246 SOLVING HOME/temp.cnf
244.68/246.24 c 246 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
244.68/246.24 c 246 This is MiniSat 2.0 beta
244.68/246.24 c 246 WARNING: for repeatability, setting FPU to use double precision
244.68/246.24 c 246 ============================[ Problem Statistics ]=============================
244.68/246.24 c 246 | |
244.68/246.24 c 246 | Number of variables: 3462 |
244.68/246.24 c 246 | Number of clauses: 17124 |
244.68/246.25 c 246 | Parsing time: 0.01 s |
244.68/246.25 c 246 ============================[ Search Statistics ]==============================
244.68/246.25 c 246 | Conflicts | ORIGINAL | LEARNT | Progress |
244.68/246.25 c 246 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
244.68/246.25 c 246 ===============================================================================
244.68/246.25 c 246 | 0 | 2829 8088 22951 | 2696 0 nan | 0.000 % |
244.68/246.27 c 246 | 101 | 2829 8088 22951 | 2965 101 35 | 18.284 % |
244.68/246.29 c 246 | 253 | 2829 8088 22951 | 3262 253 25 | 18.284 % |
244.90/246.32 c 246 | 478 | 2829 8088 22951 | 3588 478 21 | 18.284 % |
244.90/246.37 c 246 | 815 | 2829 8088 22951 | 3947 815 20 | 18.284 % |
245.00/246.43 c 246 | 1322 | 2829 8088 22951 | 4341 1322 19 | 18.284 % |
245.09/246.53 c 246 | 2081 | 2829 8088 22951 | 4776 2081 19 | 18.284 % |
245.19/246.69 c 247 | 3220 | 2829 8088 22951 | 5253 3220 21 | 18.284 % |
245.49/246.94 c 247 | 4928 | 2829 8088 22951 | 5779 4928 20 | 18.284 % |
245.89/247.35 c 247 | 7491 | 2829 8088 22951 | 6357 4163 18 | 18.284 % |
246.59/248.02 c 248 | 11335 | 2829 8088 22951 | 6992 4351 19 | 18.284 % |
247.68/249.13 c 249 | 17103 | 2829 8088 22951 | 7692 6194 19 | 18.284 % |
249.28/250.78 c 251 | 25752 | 2829 8088 22951 | 8461 6314 18 | 18.284 % |
251.66/253.10 c 253 | 38727 | 2829 8088 22951 | 9307 5318 16 | 18.284 % |
254.95/256.48 c 256 | 58189 | 2829 8088 22951 | 10238 9599 17 | 18.284 % |
260.22/261.79 c 262 | 87381 | 2829 8088 22951 | 11261 11058 17 | 18.284 % |
268.98/270.51 c 270 | 131170 | 2829 8088 22951 | 12388 6326 16 | 18.284 % |
273.16/274.79 c 275 ===============================================================================
273.16/274.79 c 275 restarts : 17
273.16/274.79 c 275 conflicts : 152358 (5363 /sec)
273.16/274.79 c 275 decisions : 174154 (1.59 % random) (6130 /sec)
273.16/274.79 c 275 propagations : 67458535 (2374491 /sec)
273.16/274.79 c 275 conflict literals : 2835070 (36.25 % deleted)
273.16/274.79 c 275 Memory used : 4.56 MB
273.16/274.79 c 275 CPU time : 28.4097 s
273.16/274.79 c 275
273.16/274.79 c 275 SATISFIABLE
273.16/274.80 c 275 FOUND: _COST <= 7
273.16/274.80 c 275 DECODING HOME/temp.out WITH HOME/temp.map
273.16/274.80 c 275 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
273.27/274.88 c 275 Decoding HOME/temp.out
273.36/274.95 c 275 OBJECTIVE _COST 7
273.36/274.95 o 7
273.36/274.95 v 1 4 2 5 6 3 3 2 5 1 4 3 4 6 3 2 1 5 2 3 1 4 6 5 4 1 6 3 5 2 5 5 4 1 3 6 31 26 1 21 1 10 1 26 1 34 1 17 1 16 2 31 8 2 30 2 3 2 19 2 17 2 20 3 35 3 31 15 3 7 3 6 3 28 3 11 4 13 4 2 4 31 22 4 33 4 25 4 24 5 4 5 31 5 18 5 31 29 5 9 5 27 6 27 6 23 6 5 6 14 6 31 36 6
273.36/274.96 c 275 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
273.43/275.01 c 275 OBJECTIVE BOUND: 6 <= _COST <= 7
273.43/275.01 c 275 SEARCHING: _COST <= 6
273.43/275.01 c 275 SOLVING HOME/temp.cnf
273.43/275.01 c 275 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
273.43/275.01 c 275 This is MiniSat 2.0 beta
273.43/275.01 c 275 WARNING: for repeatability, setting FPU to use double precision
273.43/275.01 c 275 ============================[ Problem Statistics ]=============================
273.43/275.01 c 275 | |
273.43/275.01 c 275 | Number of variables: 3462 |
273.43/275.01 c 275 | Number of clauses: 17124 |
273.43/275.02 c 275 | Parsing time: 0.01 s |
273.43/275.02 c 275 ============================[ Search Statistics ]==============================
273.43/275.02 c 275 | Conflicts | ORIGINAL | LEARNT | Progress |
273.43/275.02 c 275 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
273.43/275.02 c 275 ===============================================================================
273.43/275.02 c 275 | 0 | 2811 7871 22353 | 2623 0 nan | 0.000 % |
273.43/275.04 c 275 | 101 | 2811 7871 22353 | 2886 101 35 | 18.804 % |
273.43/275.06 c 275 | 251 | 2811 7871 22353 | 3174 251 32 | 18.804 % |
273.43/275.09 c 275 | 476 | 2811 7871 22353 | 3492 476 32 | 18.804 % |
273.44/275.14 c 275 | 813 | 2811 7871 22353 | 3841 813 28 | 18.804 % |
273.44/275.22 c 275 | 1321 | 2811 7871 22353 | 4225 1321 25 | 18.804 % |
273.44/275.34 c 275 | 2080 | 2811 7871 22353 | 4647 2080 24 | 18.804 % |
273.44/275.51 c 275 | 3220 | 2811 7871 22353 | 5112 3220 22 | 18.804 % |
273.44/275.77 c 276 | 4928 | 2811 7871 22353 | 5624 4928 21 | 18.804 % |
274.52/276.17 c 276 | 7491 | 2811 7871 22353 | 6186 4192 17 | 18.804 % |
275.11/276.77 c 277 | 11336 | 2811 7871 22353 | 6805 4521 17 | 18.804 % |
276.10/277.72 c 278 | 17103 | 2811 7871 22353 | 7485 6487 17 | 18.804 % |
277.50/279.10 c 279 | 25754 | 2811 7871 22353 | 8234 6811 16 | 18.804 % |
279.69/281.40 c 281 | 38730 | 2811 7871 22353 | 9057 6184 18 | 18.804 % |
283.37/285.02 c 285 | 58191 | 2811 7871 22353 | 9963 5660 20 | 18.804 % |
289.24/290.92 c 291 | 87384 | 2811 7871 22353 | 10959 7660 16 | 18.804 % |
297.79/299.51 c 299 | 131174 | 2811 7871 22353 | 12055 10031 19 | 18.804 % |
311.43/313.25 c 313 | 196858 | 2811 7871 22353 | 13261 11316 19 | 18.804 % |
332.13/334.01 c 334 | 295384 | 2811 7871 22353 | 14587 10928 20 | 18.804 % |
364.97/367.01 c 367 | 443175 | 2811 7871 22353 | 16046 11847 19 | 18.804 % |
415.72/418.05 c 418 | 664859 | 2811 7871 22353 | 17650 13298 20 | 18.804 % |
496.22/498.96 c 499 | 997384 | 2811 7871 22353 | 19415 11888 18 | 18.804 % |
621.60/624.98 c 625 | 1496172 | 2811 7871 22353 | 21357 13133 17 | 18.804 % |
828.47/832.90 c 833 | 2244354 | 2811 7871 22353 | 23493 16056 19 | 18.805 % |
1143.00/1148.91 c 1149 | 3366628 | 2811 7871 22353 | 25842 17799 18 | 18.804 % |
1332.67/1339.55 c 1339 ===============================================================================
1332.67/1339.55 c 1339 restarts : 25
1332.67/1339.55 c 1339 conflicts : 4018426 (3794 /sec)
1332.67/1339.55 c 1339 decisions : 4550987 (1.59 % random) (4296 /sec)
1332.67/1339.55 c 1339 propagations : 1612354387 (1522124 /sec)
1332.67/1339.55 c 1339 conflict literals : 81154327 (33.78 % deleted)
1332.67/1339.55 c 1339 Memory used : 9.91 MB
1332.67/1339.55 c 1339 CPU time : 1059.28 s
1332.67/1339.55 c 1339
1332.67/1339.55 c 1339 UNSATISFIABLE
1332.67/1339.56 c 1339 NOT FOUND: _COST <= 6
1332.67/1339.56 c 1339 OBJECTIVE _COST 7
1332.67/1339.56 s OPTIMUM FOUND
1332.67/1339.56 c 1339 CPU 1332.4 (0.03 0.02 1332.37 0.32)
1332.67/1339.56 c 1339 END Fri Jul 11 20:09:03 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-1109108-1215798404/watcher-1109108-1215798404 -o /tmp/evaluation-result-1109108-1215798404/solver-1109108-1215798404 -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-1109108-1215798404.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: 0.98 1.13 1.66 2/67 14894
/proc/meminfo: memFree=1955616/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=18572 CPUtime=0
/proc/14894/stat : 14894 (runsolver) D 14892 14894 14826 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 36541923 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 210824129831 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/14894/statm: 4643 292 257 25 0 2626 0
[startup+0.075504 s]
/proc/loadavg: 0.98 1.13 1.66 2/67 14894
/proc/meminfo: memFree=1955616/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=12272 CPUtime=0
/proc/14894/stat : 14894 (sugar) D 14892 14894 14826 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 36541923 12566528 330 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/14894/statm: 3068 330 246 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.101523 s]
/proc/loadavg: 0.98 1.13 1.66 2/67 14894
/proc/meminfo: memFree=1955616/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=12412 CPUtime=0
/proc/14894/stat : 14894 (sugar) D 14892 14894 14826 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 36541923 12709888 393 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/14894/statm: 3103 393 275 3 0 203 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12412
[startup+0.301742 s]
/proc/loadavg: 0.98 1.13 1.66 2/67 14894
/proc/meminfo: memFree=1955616/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=0.03
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 898 127 0 0 2 1 0 0 16 0 1 0 36541923 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701845 s]
/proc/loadavg: 0.98 1.13 1.66 2/67 14894
/proc/meminfo: memFree=1955616/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=0.32
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 974 4267 0 50 2 1 23 6 15 0 1 0 36541923 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 13600
[startup+1.50298 s]
/proc/loadavg: 0.98 1.13 1.66 3/93 14945
/proc/meminfo: memFree=1921224/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.13
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1118 11940 3 51 2 1 99 11 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 13600
[startup+3.1013 s]
/proc/loadavg: 1.14 1.16 1.67 4/86 15004
/proc/meminfo: memFree=1930104/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.64
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 2 2 139 21 15 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=3144 CPUtime=1.1
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 534 0 0 0 110 0 0 0 25 0 1 0 36542121 3219456 520 996147200 134512640 135127466 4294956256 18446744073709551615 134530762 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 786 520 75 150 0 633 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 22100
[startup+6.30294 s]
/proc/loadavg: 1.14 1.16 1.67 3/76 15024
/proc/meminfo: memFree=1932680/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.64
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 2 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=3672 CPUtime=4.28
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 640 0 0 0 428 0 0 0 25 0 1 0 36542121 3760128 626 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 918 626 75 150 0 765 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 22628
[startup+12.7012 s]
/proc/loadavg: 1.35 1.20 1.67 3/76 15024
/proc/meminfo: memFree=1930000/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.65
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 3 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=3936 CPUtime=10.65
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 725 0 0 0 1065 0 0 0 25 0 1 0 36542121 4030464 711 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 984 711 75 150 0 831 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 22892
[startup+25.5028 s]
/proc/loadavg: 1.45 1.23 1.68 3/76 15024
/proc/meminfo: memFree=1928016/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.65
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 3 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=4728 CPUtime=23.4
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 895 0 0 0 2340 0 0 0 25 0 1 0 36542121 4841472 881 996147200 134512640 135127466 4294956256 18446744073709551615 134530849 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 1182 881 75 150 0 1029 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 23684
[startup+51.1029 s]
/proc/loadavg: 1.64 1.29 1.68 3/76 15024
/proc/meminfo: memFree=1925648/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.65
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 3 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=5400 CPUtime=48.9
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 1082 0 0 0 4889 1 0 0 25 0 1 0 36542121 5529600 1068 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 1350 1068 75 150 0 1197 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 24356
[startup+102.306 s]
/proc/loadavg: 1.89 1.42 1.71 3/76 15024
/proc/meminfo: memFree=1923920/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.65
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 3 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=5956 CPUtime=99.89
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 1200 0 0 0 9988 1 0 0 25 0 1 0 36542121 6098944 1186 996147200 134512640 135127466 4294956256 18446744073709551615 134522666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 1489 1186 75 150 0 1336 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 24912
[startup+162.301 s]
/proc/loadavg: 2.00 1.54 1.73 3/76 15024
/proc/meminfo: memFree=1921360/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.65
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 3 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=6548 CPUtime=159.64
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 1346 0 0 0 15963 1 0 0 25 0 1 0 36542121 6705152 1332 996147200 134512640 135127466 4294956256 18446744073709551615 134530952 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 1637 1332 75 150 0 1484 0
Current children cumulated CPU time (s) 161.29
Current children cumulated vsize (KiB) 25504
[startup+222.301 s]
/proc/loadavg: 2.03 1.63 1.75 3/76 15024
/proc/meminfo: memFree=1921040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=1.65
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1396 24635 3 54 3 2 139 21 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=14993] ppid=14894 vsize=5356 CPUtime=0
/proc/14993/stat : 14993 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36542121 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14993/statm: 1339 232 193 169 0 50 0
[pid=14994] ppid=14993 vsize=6840 CPUtime=219.38
/proc/14994/stat : 14994 (minisat) R 14993 14894 14826 0 -1 4194304 1409 0 0 0 21937 1 0 0 25 0 1 0 36542121 7004160 1395 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 0 0 0
/proc/14994/statm: 1710 1395 75 150 0 1557 0
Current children cumulated CPU time (s) 221.03
Current children cumulated vsize (KiB) 25796
[startup+282.301 s]
/proc/loadavg: 2.01 1.69 1.76 3/76 15050
/proc/meminfo: memFree=1922768/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=3932 CPUtime=7.24
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 702 0 0 0 724 0 0 0 25 0 1 0 36569424 4026368 688 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 983 688 76 150 0 830 0
Current children cumulated CPU time (s) 280.68
Current children cumulated vsize (KiB) 22888
################
# More data... #
################
/proc/15050/statm: 2499 2167 76 150 0 2346 0
Current children cumulated CPU time (s) 1116.53
Current children cumulated vsize (KiB) 28952
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/76 15056
/proc/meminfo: memFree=1913744/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=902.8
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2201 0 0 0 90279 1 0 0 25 0 1 0 36569424 10383360 2187 996147200 134512640 135127466 4294956256 18446744073709551615 134530936 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2187 76 150 0 2382 0
Current children cumulated CPU time (s) 1176.24
Current children cumulated vsize (KiB) 29096
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/76 15056
/proc/meminfo: memFree=1913360/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=962.5
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2203 0 0 0 96249 1 0 0 25 0 1 0 36569424 10383360 2189 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2189 76 150 0 2382 0
Current children cumulated CPU time (s) 1235.94
Current children cumulated vsize (KiB) 29096
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913104/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1022.21
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 102220 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530979 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1295.65
Current children cumulated vsize (KiB) 29096
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913104/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1025.4
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 102539 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530949 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1298.84
Current children cumulated vsize (KiB) 29096
[startup+1318.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913104/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1038.13
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 103812 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1311.57
Current children cumulated vsize (KiB) 29096
[startup+1331.1 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1050.87
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 105086 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1324.31
Current children cumulated vsize (KiB) 29096
[startup+1334.31 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1054.06
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 105405 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530775 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1327.5
Current children cumulated vsize (KiB) 29096
[startup+1337.5 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1057.24
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 105723 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1330.68
Current children cumulated vsize (KiB) 29096
[startup+1338.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1058.03
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 105802 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1331.47
Current children cumulated vsize (KiB) 29096
[startup+1339.1 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1058.83
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 105882 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134528655 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1332.27
Current children cumulated vsize (KiB) 29096
[startup+1339.5 s]
/proc/loadavg: 2.00 1.97 1.90 3/76 15056
/proc/meminfo: memFree=1913040/2055920 swapFree=4192812/4192956
[pid=14894] ppid=14892 vsize=13600 CPUtime=273.44
/proc/14894/stat : 14894 (sugar) S 14892 14894 14826 0 -1 4194304 1672 35793 3 56 3 2 27309 30 16 0 1 0 36541923 13926400 805 996147200 4194304 4206940 548682068592 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14894/statm: 3400 805 374 3 0 500 0
[pid=15049] ppid=14894 vsize=5356 CPUtime=0
/proc/15049/stat : 15049 (sh) S 14894 14894 14826 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 36569424 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15049/statm: 1339 232 193 169 0 50 0
[pid=15050] ppid=15049 vsize=10140 CPUtime=1059.23
/proc/15050/stat : 15050 (minisat) R 15049 14894 14826 0 -1 4194304 2232 0 0 0 105922 1 0 0 25 0 1 0 36569424 10383360 2218 996147200 134512640 135127466 4294956256 18446744073709551615 134530692 0 0 4096 3 0 0 0 17 1 0 0
/proc/15050/statm: 2535 2218 76 150 0 2382 0
Current children cumulated CPU time (s) 1332.67
Current children cumulated vsize (KiB) 29096
Child status: 0
Real time (s): 1339.56
CPU time (s): 1332.77
CPU user time (s): 1332.41
CPU system time (s): 0.351946
CPU usage (%): 99.4928
Max. virtual memory (cumulated for all children) (KiB): 888440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1332.41
system time used= 0.351946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40064
page faults= 59
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2872
involuntary context switches= 18171
runsolver used 1.44778 second user time and 4.66529 second system time
The end
Begin job on node33 at 2008-07-11 19:46:44
IDJOB=1109108
IDBENCH=60916
IDSOLVER=368
FILE ID=node33/1109108-1215798404
PBS_JOBID= 7903251
Free space on /tmp= 66476 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/QG3/normalized-quasigroup3-6.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-1109108-1215798404/watcher-1109108-1215798404 -o /tmp/evaluation-result-1109108-1215798404/solver-1109108-1215798404 -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-1109108-1215798404.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3e09204d6ccaaf10c2593d87ac2a1e59
RANDOM SEED=1769040420
node33.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.264
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.264
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: 1956352 kB
Buffers: 3920 kB
Cached: 31576 kB
SwapCached: 0 kB
Active: 44204 kB
Inactive: 5992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1956352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 24452 kB
Slab: 35140 kB
Committed_AS: 100376 kB
PageTables: 1596 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= 66472 MiB
End job on node33 at 2008-07-11 20:09:03