0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Wed Jul 23 01:25:04 2008
0.00/0.08 c 0 PID 3829
0.06/0.08 c 0 HOST node66.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-1127459-1216769104.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127459-1216769104.xml' 'HOME/temp.csp'
0.07/0.31 c 0 1 domains, 40 variables, 0 predicates, 11 relations, 250 constraints
0.07/0.36 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.36 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.32/0.44 c 0 Parsing HOME/temp.csp
0.32/0.53 c 0 parsed 302 expressions
0.32/0.53 c 0 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.32/0.54 c 0 MAX CSP: 250 constraints
0.32/0.54 c 0 Converting to clausal form CSP
0.32/0.57 c 0 converted 56 (10%) expressions
0.32/0.58 c 0 converted 111 (20%) expressions
0.32/0.59 c 0 converted 167 (30%) expressions
0.32/0.59 c 0 converted 222 (40%) expressions
0.32/0.60 c 0 converted 278 (50%) expressions
0.32/0.60 c 0 converted 333 (60%) expressions
0.32/0.61 c 0 converted 389 (70%) expressions
0.32/0.61 c 0 converted 444 (80%) expressions
0.32/0.62 c 0 converted 500 (90%) expressions
0.32/0.78 c 0 converted 555 (100%) expressions
0.32/0.78 c 0 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 376
0.32/0.78 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.32/0.78 c 0 Propagation in CSP
0.32/0.81 c 0 244 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.32/0.81 c 0 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
0.32/0.81 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.32/0.81 c 0 Simplifing CSP by introducing new Boolean variables
0.32/0.81 c 0 CSP : 540 integers, 0 booleans, 749 clauses, largest domain size 251
0.32/0.81 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.32/0.84 c 0 Encoding CSP to SAT : HOME/temp.cnf
0.32/0.85 c 0 54 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.85 c 0 108 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.85 c 0 162 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.85 c 0 216 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.85 c 0 270 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.32/0.86 c 1 324 (60%) CSP integer variables are encoded (380 clauses, 4244 bytes)
0.32/0.86 c 1 378 (70%) CSP integer variables are encoded (635 clauses, 7070 bytes)
0.32/0.87 c 1 432 (80%) CSP integer variables are encoded (2553 clauses, 32004 bytes)
0.32/0.87 c 1 486 (90%) CSP integer variables are encoded (2836 clauses, 35683 bytes)
0.32/0.87 c 1 540 (100%) CSP integer variables are encoded (3251 clauses, 41078 bytes)
0.32/0.88 c 1 75 (10%) CSP clauses are encoded (3328 clauses, 41974 bytes)
0.32/0.89 c 1 150 (20%) CSP clauses are encoded (3407 clauses, 43046 bytes)
0.32/0.90 c 1 225 (30%) CSP clauses are encoded (3485 clauses, 44095 bytes)
0.32/0.92 c 1 300 (40%) CSP clauses are encoded (4010 clauses, 51293 bytes)
0.32/0.93 c 1 375 (50%) CSP clauses are encoded (8173 clauses, 113242 bytes)
0.32/0.97 c 1 450 (60%) CSP clauses are encoded (26470 clauses, 424911 bytes)
0.93/1.06 c 1 525 (70%) CSP clauses are encoded (70920 clauses, 1211475 bytes)
0.93/1.07 c 1 600 (80%) CSP clauses are encoded (72482 clauses, 1238022 bytes)
0.93/1.08 c 1 675 (90%) CSP clauses are encoded (75931 clauses, 1299005 bytes)
1.03/1.10 c 1 749 (100%) CSP clauses are encoded (88137 clauses, 1519459 bytes)
1.03/1.10 c 1 749 CSP clauses encoded
1.03/1.10 c 1 Writing map file : HOME/temp.map
1.03/1.11 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.11 c 1 SAT : 3791 SAT variables, 88137 SAT clauses, 1519459 bytes
1.03/1.11 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.03/1.15 c 1 OBJECTIVE minimize _COST
1.03/1.15 c 1 SOLVING HOME/temp.cnf
1.03/1.15 c 1 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.03/1.15 c 1 This is MiniSat 2.0 beta incremental
1.03/1.15 c 1 WARNING: for repeatability, setting FPU to use double precision
1.03/1.15 c 1 ============================[ Problem Statistics ]=============================
1.03/1.15 c 1 | |
1.03/1.16 c 1 | Number of variables: 3791 |
1.03/1.16 c 1 | Number of clauses: 88137 |
1.06/1.20 c 1 | Parsing time: 0.04 s |
1.06/1.20 c 1 OK
1.06/1.20 c 1 OBJECTIVE BOUND: 0 <= _COST <=
1.06/1.20 c 1 SEARCHING: _COST <= 125
1.06/1.20 c 1 ============================[ Search Statistics ]==============================
1.06/1.20 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.06/1.20 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.06/1.20 c 1 ===============================================================================
1.06/1.20 c 1 | 0 | 3791 88137 254381 | 29379 0 nan | 0.000 % |
1.06/1.23 c 1 ===============================================================================
1.06/1.23 c 1 restarts : 1
1.06/1.23 c 1 conflicts : 60 (833 /sec)
1.06/1.23 c 1 decisions : 357 (0.28 % random) (4959 /sec)
1.06/1.23 c 1 propagations : 37304 (518190 /sec)
1.06/1.23 c 1 conflict literals : 978 (16.62 % deleted)
1.06/1.23 c 1 Memory used : 5.55 MB
1.06/1.23 c 1 CPU time : 0.071989 s
1.06/1.23 c 1
1.06/1.23 c 1 SATISFIABLE
1.06/1.24 c 1 OK
1.06/1.24 c 1 FOUND: _COST <= 125
1.06/1.24 s SATISFIABLE
1.06/1.24 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.06/1.24 c 1 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.06/1.32 c 1 Decoding HOME/temp.out
1.06/1.38 c 1 OBJECTIVE _COST 125
1.06/1.38 o 125
1.06/1.39 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0
1.06/1.39 c 1 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.06/1.40 c 1 OK
1.06/1.40 c 1 OBJECTIVE BOUND: 0 <= _COST <= 125
1.06/1.40 c 1 SEARCHING: _COST <= 62
1.06/1.40 c 1 ============================[ Search Statistics ]==============================
1.06/1.41 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.06/1.41 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.06/1.41 c 1 ===============================================================================
1.06/1.41 c 1 | 60 | 3791 88137 254381 | 29379 60 16 | 0.000 % |
1.06/1.42 c 1 | 161 | 3791 88137 254381 | 32316 161 14 | 26.382 % |
1.06/1.43 c 1 | 311 | 3791 88137 254381 | 35548 311 14 | 26.382 % |
1.06/1.44 c 1 ===============================================================================
1.06/1.44 c 1 restarts : 4
1.06/1.44 c 1 conflicts : 364 (3166 /sec)
1.06/1.44 c 1 decisions : 813 (0.62 % random) (7071 /sec)
1.06/1.44 c 1 propagations : 107193 (932259 /sec)
1.06/1.44 c 1 conflict literals : 4964 (21.08 % deleted)
1.06/1.44 c 1 Memory used : 5.68 MB
1.06/1.44 c 1 CPU time : 0.114982 s
1.06/1.44 c 1
1.06/1.44 c 1 SATISFIABLE
1.06/1.44 c 1 OK
1.06/1.44 c 1 FOUND: _COST <= 62
1.06/1.44 c 1 DECODING HOME/temp.out WITH HOME/temp.map
1.06/1.44 c 1 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.21/1.52 c 1 Decoding HOME/temp.out
1.21/1.59 c 1 OBJECTIVE _COST 62
1.21/1.59 o 62
1.21/1.59 v 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1
1.21/1.60 c 1 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.21/1.61 c 1 OK
1.21/1.61 c 1 OBJECTIVE BOUND: 0 <= _COST <= 62
1.21/1.61 c 1 SEARCHING: _COST <= 31
1.21/1.61 c 1 ============================[ Search Statistics ]==============================
1.21/1.62 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
1.21/1.62 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.21/1.62 c 1 ===============================================================================
1.21/1.62 c 1 | 364 | 2791 88137 254381 | 29379 364 14 | 26.382 % |
1.21/1.63 c 1 | 466 | 2791 88137 254381 | 32316 466 13 | 41.443 % |
1.21/1.65 c 1 | 616 | 2791 88137 254381 | 35548 616 12 | 41.443 % |
1.21/1.67 c 1 | 841 | 2791 88137 254381 | 39103 841 13 | 41.443 % |
1.36/1.71 c 1 | 1178 | 2791 88137 254381 | 43013 1178 13 | 41.443 % |
1.36/1.79 c 1 | 1684 | 2220 37106 105815 | 47315 1642 13 | 41.443 % |
1.36/1.87 c 2 | 2444 | 2207 36718 104698 | 52046 2401 13 | 41.786 % |
1.36/2.00 c 2 | 3583 | 2207 36718 104698 | 57251 3540 13 | 41.786 % |
2.06/2.21 c 2 | 5291 | 2207 36718 104698 | 62976 5248 13 | 41.786 % |
2.35/2.54 c 2 | 7854 | 2207 36718 104698 | 69274 7811 14 | 41.786 % |
2.94/3.12 c 3 | 11701 | 2207 36718 104698 | 76201 11658 15 | 41.786 % |
4.03/4.23 c 4 | 17467 | 2207 36718 104698 | 83821 17424 15 | 41.786 % |
6.12/6.37 c 6 | 26120 | 2207 36718 104698 | 92203 26077 16 | 41.786 % |
10.38/10.66 c 10 | 39094 | 2207 36718 104698 | 101424 39051 16 | 41.786 % |
19.09/19.49 c 19 | 58556 | 2207 36718 104698 | 111566 58513 16 | 41.786 % |
38.51/39.00 c 39 | 87750 | 2207 36718 104698 | 122723 87707 17 | 41.786 % |
80.22/81.13 c 81 | 131541 | 2207 36718 104698 | 134995 23300 15 | 41.786 % |
117.86/119.18 c 119 | 197226 | 2207 36718 104698 | 148495 88985 16 | 41.786 % |
201.47/203.54 c 203 | 295754 | 2207 36718 104698 | 163344 56776 15 | 41.786 % |
325.40/328.69 c 328 | 443543 | 2207 36718 104698 | 179679 55135 16 | 41.786 % |
519.17/524.20 c 524 | 665226 | 2207 36718 104698 | 197647 112027 16 | 41.786 % |
715.41/722.31 c 722 ===============================================================================
715.41/722.31 c 722 restarts : 25
715.41/722.31 c 722 conflicts : 843605 (1182 /sec)
715.41/722.31 c 722 decisions : 1004136 (0.85 % random) (1406 /sec)
715.41/722.31 c 722 propagations : 230010615 (322151 /sec)
715.41/722.31 c 722 conflict literals : 13874513 (35.04 % deleted)
715.41/722.31 c 722 Memory used : 26.80 MB
715.41/722.31 c 722 CPU time : 713.983 s
715.41/722.31 c 722
715.41/722.31 c 722 UNSATISFIABLE
715.41/722.31 c 722 OK
715.41/722.31 c 722 NOT FOUND: _COST <= 31
715.41/722.31 c 722 OK
715.41/722.31 c 722 OBJECTIVE BOUND: 32 <= _COST <= 62
715.41/722.31 c 722 SEARCHING: _COST <= 47
715.41/722.31 c 722 ============================[ Search Statistics ]==============================
715.41/722.31 c 722 | Conflicts | ORIGINAL | LEARNT | Progress |
715.41/722.31 c 722 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
715.41/722.31 c 722 ===============================================================================
715.41/722.31 c 722 | 843605 | 2078 35530 101516 | 11843 69488 17 | 41.786 % |
716.01/722.91 c 723 | 843705 | 2078 35530 101516 | 13027 11509 14 | 45.187 % |
716.01/722.94 c 723 | 843859 | 2078 35530 101516 | 14330 11663 14 | 45.187 % |
716.01/722.98 c 723 | 844084 | 2078 35530 101516 | 15763 11888 14 | 45.187 % |
716.11/723.03 c 723 | 844421 | 2078 35530 101516 | 17339 12225 15 | 45.187 % |
716.22/723.10 c 723 | 844930 | 2078 35530 101516 | 19073 12734 15 | 45.187 % |
716.32/723.24 c 723 | 845690 | 2078 35530 101516 | 20981 13494 15 | 45.187 % |
716.51/723.43 c 723 | 846829 | 2078 35530 101516 | 23079 14633 15 | 45.187 % |
716.81/723.73 c 723 | 848538 | 2078 35530 101516 | 25387 16342 16 | 45.187 % |
717.31/724.28 c 724 | 851100 | 2078 35530 101516 | 27925 18904 17 | 45.187 % |
718.00/724.94 c 725 ===============================================================================
718.00/724.94 c 725 restarts : 35
718.00/724.94 c 725 conflicts : 853861 (1192 /sec)
718.00/724.94 c 725 decisions : 1016541 (0.85 % random) (1419 /sec)
718.00/724.94 c 725 propagations : 232570788 (324553 /sec)
718.00/724.94 c 725 conflict literals : 14079679 (34.90 % deleted)
718.00/724.94 c 725 Memory used : 26.80 MB
718.00/724.94 c 725 CPU time : 716.589 s
718.00/724.94 c 725
718.00/724.94 c 725 SATISFIABLE
718.00/724.95 c 725 OK
718.00/724.95 c 725 FOUND: _COST <= 47
718.00/724.95 c 725 DECODING HOME/temp.out WITH HOME/temp.map
718.00/724.95 c 725 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
718.05/725.04 c 725 Decoding HOME/temp.out
718.05/725.11 c 725 OBJECTIVE _COST 47
718.05/725.11 o 47
718.05/725.11 v 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0
718.05/725.12 c 725 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
718.05/725.18 c 725 OK
718.05/725.18 c 725 OBJECTIVE BOUND: 32 <= _COST <= 47
718.05/725.18 c 725 SEARCHING: _COST <= 39
718.05/725.18 c 725 ============================[ Search Statistics ]==============================
718.05/725.18 c 725 | Conflicts | ORIGINAL | LEARNT | Progress |
718.05/725.18 c 725 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
718.05/725.18 c 725 ===============================================================================
718.05/725.18 c 725 | 853861 | 1900 28041 79566 | 9347 21665 17 | 45.187 % |
718.26/725.23 c 725 | 853961 | 1900 28041 79566 | 10281 10933 19 | 49.882 % |
718.26/725.26 c 725 | 854113 | 1900 28041 79566 | 11309 11085 19 | 49.882 % |
718.36/725.30 c 725 | 854338 | 1900 28041 79566 | 12440 11310 19 | 49.882 % |
718.36/725.36 c 725 | 854676 | 1900 28041 79566 | 13684 11648 19 | 49.882 % |
718.46/725.44 c 725 | 855185 | 1900 28041 79566 | 15053 12157 19 | 49.882 % |
718.56/725.56 c 725 | 855944 | 1900 28041 79566 | 16558 12916 19 | 49.882 % |
718.76/725.78 c 725 | 857084 | 1900 28041 79566 | 18214 14056 19 | 49.882 % |
719.06/726.09 c 726 | 858792 | 1900 28041 79566 | 20036 15764 19 | 49.882 % |
719.55/726.59 c 726 | 861355 | 1900 28041 79566 | 22039 18327 19 | 49.882 % |
720.44/727.50 c 727 | 865200 | 1900 28041 79566 | 24243 22172 19 | 49.882 % |
722.03/729.05 c 729 | 870966 | 1900 28041 79566 | 26668 13071 19 | 49.882 % |
724.20/731.27 c 731 | 879615 | 1900 28041 79566 | 29334 21720 20 | 49.882 % |
728.46/735.53 c 735 | 892590 | 1900 28041 79566 | 32268 15931 20 | 49.882 % |
734.60/741.79 c 741 | 912051 | 1900 28041 79566 | 35495 13606 21 | 49.882 % |
743.52/750.78 c 750 | 941243 | 1900 28041 79566 | 39044 18703 20 | 49.882 % |
751.54/758.86 c 759 ===============================================================================
751.54/758.86 c 759 restarts : 51
751.54/758.86 c 759 conflicts : 965615 (1288 /sec)
751.54/758.86 c 759 decisions : 1151396 (0.86 % random) (1535 /sec)
751.54/758.86 c 759 propagations : 261469117 (348644 /sec)
751.54/758.86 c 759 conflict literals : 16433696 (34.02 % deleted)
751.54/758.86 c 759 Memory used : 26.80 MB
751.54/758.86 c 759 CPU time : 749.96 s
751.54/758.86 c 759
751.54/758.86 c 759 SATISFIABLE
751.54/758.86 c 759 OK
751.54/758.86 c 759 FOUND: _COST <= 39
751.54/758.86 c 759 DECODING HOME/temp.out WITH HOME/temp.map
751.54/758.86 c 759 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
751.63/758.95 c 759 Decoding HOME/temp.out
751.73/759.02 c 759 OBJECTIVE _COST 39
751.73/759.02 o 39
751.73/759.02 v 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 0 0
751.73/759.02 c 759 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
751.73/759.04 c 759 OK
751.73/759.04 c 759 OBJECTIVE BOUND: 32 <= _COST <= 39
751.73/759.04 c 759 SEARCHING: _COST <= 35
751.73/759.04 c 759 ============================[ Search Statistics ]==============================
751.73/759.04 c 759 | Conflicts | ORIGINAL | LEARNT | Progress |
751.73/759.04 c 759 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
751.73/759.04 c 759 ===============================================================================
751.73/759.04 c 759 | 965615 | 1804 24253 68482 | 8084 15399 20 | 49.882 % |
751.73/759.08 c 759 | 965716 | 1804 24253 68482 | 8892 7801 19 | 52.414 % |
751.82/759.10 c 759 | 965867 | 1804 24253 68482 | 9782 7952 19 | 52.414 % |
751.82/759.14 c 759 | 966092 | 1804 24253 68482 | 10760 8177 19 | 52.414 % |
751.82/759.19 c 759 | 966430 | 1804 24253 68482 | 11836 8515 19 | 52.414 % |
751.92/759.27 c 759 | 966936 | 1804 24253 68482 | 13019 9021 18 | 52.414 % |
752.02/759.39 c 759 | 967695 | 1804 24253 68482 | 14321 9780 18 | 52.414 % |
752.22/759.59 c 759 | 968834 | 1804 24253 68482 | 15754 10919 18 | 52.414 % |
752.61/759.94 c 760 | 970545 | 1804 24253 68482 | 17329 12630 18 | 52.414 % |
753.11/760.44 c 760 | 973107 | 1804 24253 68482 | 19062 15192 18 | 52.414 % |
754.00/761.39 c 761 | 976951 | 1804 24253 68482 | 20968 19036 19 | 52.414 % |
755.49/762.85 c 762 | 982717 | 1804 24253 68482 | 23065 13022 18 | 52.414 % |
757.47/764.80 c 764 | 991366 | 1804 24253 68482 | 25372 21671 18 | 52.414 % |
760.53/767.90 c 768 | 1004342 | 1804 24253 68482 | 27909 19391 19 | 52.414 % |
765.49/772.94 c 773 | 1023803 | 1804 24253 68482 | 30700 20843 19 | 52.414 % |
774.20/781.79 c 781 | 1052997 | 1804 24253 68482 | 33770 30315 20 | 52.414 % |
786.78/794.42 c 794 | 1096788 | 1804 24253 68482 | 37147 29015 18 | 52.414 % |
807.59/815.44 c 815 | 1162472 | 1804 24253 68482 | 40862 16355 17 | 52.414 % |
840.87/849.05 c 849 | 1260998 | 1804 24253 68482 | 44948 27816 17 | 52.414 % |
895.96/904.65 c 904 | 1408789 | 1804 24253 68482 | 49443 47258 18 | 52.414 % |
969.47/978.85 c 979 ===============================================================================
969.47/978.85 c 979 restarts : 71
969.47/978.85 c 979 conflicts : 1605235 (1659 /sec)
969.47/978.85 c 979 decisions : 1910680 (0.93 % random) (1974 /sec)
969.47/978.85 c 979 propagations : 428820421 (443127 /sec)
969.47/978.85 c 979 conflict literals : 28600992 (32.78 % deleted)
969.47/978.85 c 979 Memory used : 26.80 MB
969.47/978.85 c 979 CPU time : 967.715 s
969.47/978.85 c 979
969.47/978.85 c 979 SATISFIABLE
969.47/978.86 c 979 OK
969.47/978.86 c 979 FOUND: _COST <= 35
969.47/978.86 c 979 DECODING HOME/temp.out WITH HOME/temp.map
969.47/978.86 c 979 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
969.54/978.95 c 979 Decoding HOME/temp.out
969.64/979.02 c 979 OBJECTIVE _COST 35
969.64/979.02 o 35
969.64/979.03 v 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0
969.64/979.05 c 979 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
969.64/979.09 c 979 OK
969.64/979.09 c 979 OBJECTIVE BOUND: 32 <= _COST <= 35
969.64/979.09 c 979 SEARCHING: _COST <= 33
969.64/979.09 c 979 ============================[ Search Statistics ]==============================
969.64/979.09 c 979 | Conflicts | ORIGINAL | LEARNT | Progress |
969.64/979.09 c 979 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
969.64/979.09 c 979 ===============================================================================
969.64/979.09 c 979 | 1605235 | 1756 22431 63156 | 7477 19031 19 | 52.414 % |
969.72/979.14 c 979 | 1605336 | 1756 22431 63156 | 8224 9617 20 | 53.680 % |
969.72/979.19 c 979 | 1605488 | 1756 22431 63156 | 9047 9769 19 | 53.680 % |
969.82/979.23 c 979 | 1605713 | 1756 22431 63156 | 9951 9994 19 | 53.680 % |
969.82/979.29 c 979 | 1606050 | 1756 22431 63156 | 10947 10331 19 | 53.680 % |
969.92/979.37 c 979 | 1606561 | 1756 22431 63156 | 12041 10842 19 | 53.680 % |
970.12/979.51 c 979 | 1607322 | 1756 22431 63156 | 13245 11603 19 | 53.680 % |
970.31/979.73 c 979 | 1608461 | 1756 22431 63156 | 14570 12742 19 | 53.680 % |
970.61/980.08 c 980 | 1610169 | 1756 22431 63156 | 16027 14450 19 | 53.680 % |
971.21/980.66 c 980 | 1612731 | 1756 22431 63156 | 17630 17012 19 | 53.680 % |
972.10/981.55 c 981 | 1616575 | 1756 22431 63156 | 19393 10826 18 | 53.680 % |
973.29/982.79 c 982 | 1622342 | 1756 22431 63156 | 21332 16593 18 | 53.680 % |
975.46/984.99 c 985 | 1630992 | 1756 22431 63156 | 23466 13322 17 | 53.680 % |
978.83/988.37 c 988 | 1643968 | 1756 22431 63156 | 25812 13295 18 | 53.680 % |
983.88/993.48 c 993 | 1663429 | 1756 22431 63156 | 28393 17373 17 | 53.680 % |
991.61/1001.23 c 1001 | 1692621 | 1756 22431 63156 | 31233 28122 18 | 53.680 % |
1003.99/1013.75 c 1013 | 1736412 | 1756 22431 63156 | 34356 31234 17 | 53.680 % |
1022.91/1032.89 c 1033 | 1802097 | 1756 22431 63156 | 37792 25991 18 | 53.680 % |
1052.33/1062.55 c 1062 | 1900624 | 1756 22431 63156 | 41571 17280 17 | 53.680 % |
1103.25/1113.91 c 1114 | 2048413 | 1756 22431 63156 | 45728 16616 15 | 53.680 % |
1176.46/1187.89 c 1188 | 2270096 | 1756 22431 63156 | 50301 35915 17 | 53.680 % |
1303.06/1315.66 c 1315 | 2602622 | 1756 22431 63156 | 55331 25178 15 | 53.680 % |
1493.17/1507.59 c 1507 | 3101410 | 1756 22431 63156 | 60864 47536 18 | 53.680 % |
1809.77/1827.17 c 1827 | 3849594 | 1756 22431 63156 | 66951 20655 16 | 53.680 % |
2312.89/2335.09 c 2335 | 4971869 | 1756 22431 63156 | 73646 59700 16 | 53.680 % |
2385.90/2408.74 c 2408 ===============================================================================
2385.90/2408.74 c 2408 restarts : 96
2385.90/2408.74 c 2408 conflicts : 5120912 (2148 /sec)
2385.90/2408.74 c 2408 decisions : 6120085 (1.02 % random) (2567 /sec)
2385.90/2408.74 c 2408 propagations : 1346794142 (564945 /sec)
2385.90/2408.74 c 2408 conflict literals : 90249304 (32.98 % deleted)
2385.90/2408.74 c 2408 Memory used : 27.40 MB
2385.90/2408.74 c 2408 CPU time : 2383.94 s
2385.90/2408.74 c 2408
2385.90/2408.74 c 2408 UNSATISFIABLE
2385.90/2408.74 c 2408 OK
2385.90/2408.74 c 2408 NOT FOUND: _COST <= 33
2385.90/2408.74 c 2408 OK
2385.90/2408.74 c 2408 OBJECTIVE BOUND: 34 <= _COST <= 35
2385.90/2408.74 c 2408 SEARCHING: _COST <= 34
2385.90/2408.74 c 2408 ============================[ Search Statistics ]==============================
2385.90/2408.74 c 2408 | Conflicts | ORIGINAL | LEARNT | Progress |
2385.90/2408.74 c 2408 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2385.90/2408.74 c 2408 ===============================================================================
2385.90/2408.74 c 2408 | 5120912 | 1744 22268 62703 | 7422 17178 15 | 53.680 % |
2385.90/2408.79 c 2408 | 5121012 | 1744 22268 62703 | 8164 8314 14 | 53.996 % |
2386.00/2408.82 c 2408 | 5121162 | 1744 22268 62703 | 8981 8464 14 | 53.996 % |
2386.00/2408.85 c 2408 | 5121388 | 1744 22268 62703 | 9879 8690 14 | 53.996 % |
2386.10/2408.90 c 2409 | 5121725 | 1744 22268 62703 | 10867 9027 14 | 53.996 % |
2386.10/2408.98 c 2409 | 5122232 | 1744 22268 62703 | 11954 9534 14 | 53.996 % |
2386.20/2409.09 c 2409 | 5122991 | 1744 22268 62703 | 13149 10293 14 | 53.996 % |
2386.39/2409.28 c 2409 | 5124130 | 1744 22268 62703 | 14464 11432 14 | 53.996 % |
2386.69/2409.60 c 2409 | 5125838 | 1744 22268 62703 | 15911 13140 15 | 53.996 % |
2387.19/2410.10 c 2410 | 5128400 | 1744 22268 62703 | 17502 15702 15 | 53.996 % |
2388.08/2410.95 c 2411 | 5132246 | 1744 22268 62703 | 19252 19548 15 | 53.996 % |
2389.37/2412.24 c 2412 | 5138013 | 1744 22268 62703 | 21177 14428 16 | 53.996 % |
2391.25/2414.13 c 2414 | 5146664 | 1744 22268 62703 | 23295 23079 18 | 53.996 % |
2394.73/2417.66 c 2417 | 5159640 | 1744 22268 62703 | 25625 22405 19 | 53.996 % |
2400.77/2423.70 c 2423 | 5179101 | 1744 22268 62703 | 28187 27060 18 | 53.996 % |
2409.29/2432.38 c 2432 | 5208294 | 1744 22268 62703 | 31006 22874 18 | 53.996 % |
2422.37/2445.55 c 2445 | 5252085 | 1744 22268 62703 | 34106 26809 17 | 53.996 % |
2441.59/2464.95 c 2465 | 5317769 | 1744 22268 62703 | 37517 23198 18 | 53.996 % |
2473.89/2497.58 c 2497 | 5416296 | 1744 22268 62703 | 41269 18028 16 | 53.996 % |
2521.34/2545.41 c 2545 | 5564085 | 1744 22268 62703 | 45396 15919 19 | 53.996 % |
2598.11/2622.97 c 2623 | 5785769 | 1744 22268 62703 | 49935 34896 18 | 53.996 % |
2620.40/2645.46 c 2645 ===============================================================================
2620.40/2645.46 c 2645 restarts : 117
2620.40/2645.46 c 2645 conflicts : 5845876 (2233 /sec)
2620.40/2645.46 c 2645 decisions : 6994960 (1.02 % random) (2671 /sec)
2620.40/2645.46 c 2645 propagations : 1532554844 (585294 /sec)
2620.40/2645.46 c 2645 conflict literals : 103827618 (32.54 % deleted)
2620.40/2645.46 c 2645 Memory used : 27.40 MB
2620.40/2645.46 c 2645 CPU time : 2618.43 s
2620.40/2645.46 c 2645
2620.40/2645.46 c 2645 SATISFIABLE
2620.40/2645.46 c 2645 OK
2620.40/2645.46 c 2645 FOUND: _COST <= 34
2620.40/2645.46 c 2645 DECODING HOME/temp.out WITH HOME/temp.map
2620.40/2645.46 c 2645 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2620.46/2645.55 c 2645 Decoding HOME/temp.out
2620.46/2645.63 c 2645 OBJECTIVE _COST 34
2620.46/2645.63 o 34
2620.46/2645.63 v 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0
2620.46/2645.63 c 2645 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2620.46/2645.69 c 2645 OK
2620.46/2645.69 c 2645 OBJECTIVE _COST 34
2620.46/2645.69 s OPTIMUM FOUND
2620.46/2645.70 c 2645 CPU 2620.26 (0.08 0.02 2620.18 0.39)
2620.46/2645.70 c 2645 END Wed Jul 23 02:09: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-1127459-1216769104/watcher-1127459-1216769104 -o /tmp/evaluation-result-1127459-1216769104/solver-1127459-1216769104 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1127459-1216769104.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.62 2.71 2.65 4/74 3829
/proc/meminfo: memFree=1263520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=12268 CPUtime=0
/proc/3829/stat : 3829 (sugar++) R 3827 3829 3588 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 3997288 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 227607804517 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/3829/statm: 3067 316 241 3 0 167 0
[startup+0.082347 s]
/proc/loadavg: 2.62 2.71 2.65 4/74 3829
/proc/meminfo: memFree=1263520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16740 CPUtime=0.06
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1143 0 0 0 5 1 0 0 18 0 1 0 3997288 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101988 s]
/proc/loadavg: 2.62 2.71 2.65 4/74 3829
/proc/meminfo: memFree=1263520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16740 CPUtime=0.07
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 3997288 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.302006 s]
/proc/loadavg: 2.62 2.71 2.65 4/74 3829
/proc/meminfo: memFree=1263520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16740 CPUtime=0.07
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 3997288 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701064 s]
/proc/loadavg: 2.62 2.71 2.65 4/74 3829
/proc/meminfo: memFree=1263520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16740 CPUtime=0.32
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1296 4150 0 1 6 1 22 3 15 0 1 0 3997288 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 16740
[startup+1.50216 s]
/proc/loadavg: 2.62 2.71 2.65 3/85 3851
/proc/meminfo: memFree=1247752/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.21
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1584 14502 0 3 6 1 103 11 15 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 16872
[startup+3.10235 s]
/proc/loadavg: 2.57 2.70 2.64 3/76 3872
/proc/meminfo: memFree=1253520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 15 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=5952 CPUtime=1.58
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 1449 0 0 0 158 0 0 0 25 0 1 0 3997404 6094848 1394 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 1488 1394 79 151 0 1334 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 22824
[startup+6.30174 s]
/proc/loadavg: 2.57 2.70 2.64 3/76 3872
/proc/meminfo: memFree=1252624/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=7160 CPUtime=4.76
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 1727 0 0 0 475 1 0 0 25 0 1 0 3997404 7331840 1672 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 1790 1672 79 151 0 1636 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 24032
[startup+12.7015 s]
/proc/loadavg: 2.53 2.69 2.64 3/76 3872
/proc/meminfo: memFree=1250640/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=9148 CPUtime=11.1
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 2208 0 0 0 1109 1 0 0 25 0 1 0 3997404 9367552 2153 996147200 134512640 135134323 4294956192 18446744073709551615 134532019 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 2287 2153 79 151 0 2133 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 26020
[startup+25.5011 s]
/proc/loadavg: 2.41 2.65 2.63 3/76 3872
/proc/meminfo: memFree=1248080/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=11912 CPUtime=23.77
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 2868 0 0 0 2375 2 0 0 25 0 1 0 3997404 12197888 2813 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 2978 2813 79 151 0 2824 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 28784
[startup+51.1014 s]
/proc/loadavg: 2.27 2.60 2.61 3/76 3872
/proc/meminfo: memFree=1244688/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=15300 CPUtime=49.14
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 3719 0 0 0 4910 4 0 0 25 0 1 0 3997404 15667200 3664 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 3825 3664 79 151 0 3671 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 32172
[startup+102.307 s]
/proc/loadavg: 2.10 2.50 2.57 3/76 3872
/proc/meminfo: memFree=1242064/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=17664 CPUtime=99.86
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 4303 0 0 0 9981 5 0 0 25 0 1 0 3997404 18087936 4248 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 4416 4248 79 151 0 4262 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 34536
[startup+162.301 s]
/proc/loadavg: 2.04 2.41 2.54 3/76 3872
/proc/meminfo: memFree=1240720/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=19104 CPUtime=159.29
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 4623 0 0 0 15924 5 0 0 25 0 1 0 3997404 19562496 4568 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 4776 4568 79 151 0 4622 0
Current children cumulated CPU time (s) 160.65
Current children cumulated vsize (KiB) 35976
[startup+222.302 s]
/proc/loadavg: 2.01 2.33 2.50 3/76 3872
/proc/meminfo: memFree=1233808/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=20900 CPUtime=218.73
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 4990 0 0 0 21867 6 0 0 25 0 1 0 3997404 21401600 4935 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 5225 4935 79 151 0 5071 0
Current children cumulated CPU time (s) 220.09
Current children cumulated vsize (KiB) 37772
[startup+282.302 s]
/proc/loadavg: 2.00 2.27 2.47 3/76 3872
/proc/meminfo: memFree=1228240/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=21508 CPUtime=278.17
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 5111 0 0 0 27811 6 0 0 25 0 1 0 3997404 22024192 5056 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 5377 5056 79 151 0 5223 0
Current children cumulated CPU time (s) 279.53
Current children cumulated vsize (KiB) 38380
[startup+342.302 s]
/proc/loadavg: 2.00 2.22 2.43 3/76 3872
/proc/meminfo: memFree=1222416/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=22868 CPUtime=337.61
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 5455 0 0 0 33754 7 0 0 25 0 1 0 3997404 23416832 5400 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 5717 5400 79 151 0 5563 0
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (KiB) 39740
[startup+402.302 s]
/proc/loadavg: 2.00 2.18 2.41 3/76 3872
/proc/meminfo: memFree=1217232/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.36
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1619 18267 0 4 6 1 115 14 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=23256 CPUtime=397.04
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 5592 0 0 0 39697 7 0 0 25 0 1 0 3997404 23814144 5537 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 5814 5537 79 151 0 5660 0
Current children cumulated CPU time (s) 398.4
Current children cumulated vsize (KiB) 40128
[startup+462.302 s]
/proc/loadavg: 2.00 2.14 2.38 3/76 3872
/proc/meminfo: memFree=1210448/2055920 swapFree=4192956/4192956
################
# More data... #
################
/proc/3852/statm: 6974 6644 79 151 0 6820 0
Current children cumulated CPU time (s) 2181.44
Current children cumulated vsize (KiB) 44768
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 3908
/proc/meminfo: memFree=1095368/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.9
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1825 29569 0 7 7 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2238.98
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6737 0 0 0 223887 11 0 0 25 0 1 0 3997404 28729344 6674 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6674 79 151 0 6860 0
Current children cumulated CPU time (s) 2240.88
Current children cumulated vsize (KiB) 44928
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/76 3908
/proc/meminfo: memFree=1092360/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.9
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1825 29569 0 7 7 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2298.41
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6737 0 0 0 229830 11 0 0 25 0 1 0 3997404 28729344 6674 996147200 134512640 135134323 4294956192 18446744073709551615 134522964 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6674 79 151 0 6860 0
Current children cumulated CPU time (s) 2300.31
Current children cumulated vsize (KiB) 44928
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1089032/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.9
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1825 29569 0 7 7 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2357.85
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6764 0 0 0 235774 11 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134532177 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2359.75
Current children cumulated vsize (KiB) 44928
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1086216/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2417.29
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 241717 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2419.2
Current children cumulated vsize (KiB) 44928
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1083280/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2476.73
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 247661 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2478.64
Current children cumulated vsize (KiB) 44928
[startup+2562.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1080592/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2536.17
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 253605 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2538.08
Current children cumulated vsize (KiB) 44928
[startup+2622.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1077584/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2595.61
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 259549 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2597.52
Current children cumulated vsize (KiB) 44928
Solver just ended. Dumping a history of the last processes samples
[startup+2623.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1077520/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2597.19
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 259707 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2599.1
Current children cumulated vsize (KiB) 44928
[startup+2636.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1076816/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2609.87
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 260975 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2611.78
Current children cumulated vsize (KiB) 44928
[startup+2639.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1076688/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2613.04
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 261292 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2614.95
Current children cumulated vsize (KiB) 44928
[startup+2643.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1076560/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2616.21
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 261609 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2618.12
Current children cumulated vsize (KiB) 44928
[startup+2644.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1076496/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1827 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2617.8
/proc/3852/stat : 3852 (minisat-inc) R 3829 3829 3588 0 -1 4194304 6766 0 0 0 261768 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2619.71
Current children cumulated vsize (KiB) 44928
[startup+2645.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1076432/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=16872 CPUtime=1.91
/proc/3829/stat : 3829 (sugar++) S 3827 3829 3588 0 -1 4194304 1859 29569 0 7 8 2 159 22 16 0 1 0 3997288 17276928 1119 996147200 4194304 4206940 548682068528 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3829/statm: 4218 1119 414 3 0 797 0
[pid=3852] ppid=3829 vsize=28056 CPUtime=2618.55
/proc/3852/stat : 3852 (minisat-inc) S 3829 3829 3588 0 -1 4194304 6768 0 0 0 261843 12 0 0 25 0 1 0 3997404 28729344 6701 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 1 0 0
/proc/3852/statm: 7014 6701 79 151 0 6860 0
Current children cumulated CPU time (s) 2620.46
Current children cumulated vsize (KiB) 44928
[startup+2645.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3908
/proc/meminfo: memFree=1076432/2055920 swapFree=4192956/4192956
[pid=3829] ppid=3827 vsize=0 CPUtime=2620.68
/proc/3829/stat : 3829 (sugar++) R 3827 3829 3588 0 -1 4194308 1972 40101 0 8 8 3 262018 39 16 0 1 0 3997288 0 0 996147200 0 0 0 0 0 0 0 4224 16386 0 0 0 17 1 0 0
/proc/3829/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2620.68
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2645.7
CPU time (s): 2620.7
CPU user time (s): 2620.27
CPU system time (s): 0.422935
CPU usage (%): 99.0548
Max. virtual memory (cumulated for all children) (KiB): 890544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2620.27
system time used= 0.422935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42073
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3017
involuntary context switches= 58192
runsolver used 3.11753 second user time and 8.94164 second system time
The end
Begin job on node66 at 2008-07-23 01:25:04
IDJOB=1127459
IDBENCH=63442
IDSOLVER=367
FILE ID=node66/1127459-1216769104
PBS_JOBID= 7974102
Free space on /tmp= 66496 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/2-40-100-1000/normalized-cnf-2-40-300-182022_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127459-1216769104/watcher-1127459-1216769104 -o /tmp/evaluation-result-1127459-1216769104/solver-1127459-1216769104 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1127459-1216769104.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ab7421862167f77ef1f054de462fd35e
RANDOM SEED=2113094567
node66.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.235
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.235
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: 1264000 kB
Buffers: 33184 kB
Cached: 542300 kB
SwapCached: 0 kB
Active: 357896 kB
Inactive: 364796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1264000 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1004 kB
Writeback: 0 kB
Mapped: 158324 kB
Slab: 54168 kB
Committed_AS: 212652 kB
PageTables: 2080 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= 66496 MiB
End job on node66 at 2008-07-23 02:09:09