0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Tue Jul 15 23:55:19 2008
0.00/0.08 c 0 PID 24988
0.00/0.08 c 0 HOST node74.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-1124131-1216158919.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1124131-1216158919.xml' 'HOME/temp.csp'
0.06/0.40 c 1 1 domains, 30 variables, 0 predicates, 109 relations, 109 constraints
0.06/0.42 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.42 c 1 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.06/0.50 c 1 Parsing HOME/temp.csp
0.38/0.63 c 1 parsed 249 expressions
0.38/0.64 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.38/0.64 c 1 MAX CSP: 109 constraints
0.38/0.64 c 1 Converting to clausal form CSP
0.38/0.66 c 1 converted 37 (10%) expressions
0.38/0.67 c 1 converted 73 (20%) expressions
0.38/0.67 c 1 converted 109 (30%) expressions
0.38/0.68 c 1 converted 145 (40%) expressions
0.38/0.69 c 1 converted 181 (50%) expressions
0.38/0.70 c 1 converted 217 (60%) expressions
0.38/0.70 c 1 converted 253 (70%) expressions
0.38/0.71 c 1 converted 289 (80%) expressions
0.38/0.71 c 1 converted 325 (90%) expressions
0.38/0.77 c 1 converted 361 (100%) expressions
0.38/0.77 c 1 CSP : 248 integers, 0 booleans, 326 clauses, largest domain size 164
0.38/0.77 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/0.77 c 1 Propagation in CSP
0.38/0.80 c 1 104 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.38/0.80 c 1 CSP : 248 integers, 0 booleans, 326 clauses, largest domain size 110
0.38/0.80 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/0.80 c 1 Simplifing CSP by introducing new Boolean variables
0.38/0.80 c 1 CSP : 248 integers, 0 booleans, 326 clauses, largest domain size 110
0.38/0.80 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/0.82 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.38/0.84 c 1 25 (10%) CSP integer variables are encoded (200 clauses, 2072 bytes)
0.38/0.85 c 1 50 (20%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.38/0.85 c 1 75 (30%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.38/0.85 c 1 100 (40%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.38/0.85 c 1 124 (50%) CSP integer variables are encoded (240 clauses, 2512 bytes)
0.38/0.85 c 1 149 (60%) CSP integer variables are encoded (367 clauses, 3909 bytes)
0.38/0.85 c 1 174 (70%) CSP integer variables are encoded (472 clauses, 5064 bytes)
0.38/0.85 c 1 199 (80%) CSP integer variables are encoded (623 clauses, 6725 bytes)
0.38/0.86 c 1 224 (90%) CSP integer variables are encoded (1219 clauses, 14152 bytes)
0.38/0.86 c 1 248 (100%) CSP integer variables are encoded (1426 clauses, 16843 bytes)
0.38/0.91 c 1 33 (10%) CSP clauses are encoded (2264 clauses, 33114 bytes)
0.38/0.93 c 1 66 (20%) CSP clauses are encoded (3096 clauses, 49850 bytes)
0.38/0.94 c 1 98 (30%) CSP clauses are encoded (3900 clauses, 67433 bytes)
0.38/0.95 c 1 131 (40%) CSP clauses are encoded (4315 clauses, 75513 bytes)
0.38/0.96 c 1 163 (50%) CSP clauses are encoded (5217 clauses, 88567 bytes)
0.38/0.97 c 1 196 (60%) CSP clauses are encoded (5538 clauses, 92976 bytes)
0.38/0.97 c 1 229 (70%) CSP clauses are encoded (7883 clauses, 128045 bytes)
0.38/0.97 c 1 261 (80%) CSP clauses are encoded (9267 clauses, 147641 bytes)
0.38/0.99 c 1 294 (90%) CSP clauses are encoded (15084 clauses, 246575 bytes)
0.38/1.00 c 1 326 (100%) CSP clauses are encoded (21358 clauses, 359778 bytes)
0.38/1.00 c 1 326 CSP clauses encoded
0.38/1.00 c 1 Writing map file : HOME/temp.map
0.38/1.01 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/1.01 c 1 SAT : 1674 SAT variables, 21358 SAT clauses, 359778 bytes
0.38/1.01 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.38/1.05 c 1 OBJECTIVE minimize _COST
0.38/1.05 c 1 SOLVING HOME/temp.cnf
0.38/1.05 c 1 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
0.38/1.05 c 1 This is MiniSat 2.0 beta incremental
0.38/1.05 c 1 WARNING: for repeatability, setting FPU to use double precision
0.38/1.05 c 1 ============================[ Problem Statistics ]=============================
0.38/1.05 c 1 | |
0.38/1.05 c 1 | Number of variables: 1674 |
0.38/1.05 c 1 | Number of clauses: 21358 |
0.38/1.06 c 1 | Parsing time: 0.01 s |
0.38/1.06 c 1 OK
0.38/1.06 c 1 OBJECTIVE BOUND: 0 <= _COST <=
0.38/1.06 c 1 SEARCHING: _COST <= 55
0.38/1.06 c 1 ============================[ Search Statistics ]==============================
0.38/1.06 c 1 | Conflicts | ORIGINAL | LEARNT | Progress |
0.38/1.06 c 1 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.38/1.06 c 1 ===============================================================================
0.38/1.06 c 1 | 0 | 1674 21358 63803 | 7119 0 nan | 0.000 % |
0.38/1.07 c 1 | 101 | 1674 21358 63803 | 7831 101 19 | 0.013 % |
0.38/1.07 c 1 ===============================================================================
0.38/1.07 c 1 restarts : 2
0.38/1.07 c 1 conflicts : 177 (8430 /sec)
0.38/1.07 c 1 decisions : 327 (0.92 % random) (15574 /sec)
0.38/1.07 c 1 propagations : 19551 (931177 /sec)
0.38/1.07 c 1 conflict literals : 3901 (21.11 % deleted)
0.38/1.07 c 1 Memory used : 2.73 MB
0.38/1.07 c 1 CPU time : 0.020996 s
0.38/1.07 c 1
0.38/1.07 c 1 SATISFIABLE
0.38/1.08 c 1 OK
0.38/1.08 c 1 FOUND: _COST <= 55
0.38/1.08 s SATISFIABLE
0.38/1.08 c 1 DECODING HOME/temp.out WITH HOME/temp.map
0.38/1.08 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.00/1.16 c 2 Decoding HOME/temp.out
1.09/1.21 c 2 OBJECTIVE _COST 55
1.09/1.21 o 55
1.09/1.22 v 10 9 1 10 7 2 10 9 6 9 10 10 4 1 2 10 9 9 4 3 6 9 10 10 10 10 10 10 10 10
1.09/1.22 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.09/1.25 c 2 OK
1.09/1.25 c 2 OBJECTIVE BOUND: 0 <= _COST <= 55
1.09/1.25 c 2 SEARCHING: _COST <= 27
1.09/1.26 c 2 ============================[ Search Statistics ]==============================
1.09/1.26 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.09/1.26 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.09/1.26 c 2 ===============================================================================
1.09/1.26 c 2 | 177 | 1674 21358 63803 | 7119 177 22 | 0.013 % |
1.09/1.26 c 2 | 277 | 1673 21358 63803 | 7831 277 19 | 22.589 % |
1.09/1.26 c 2 ===============================================================================
1.09/1.26 c 2 restarts : 4
1.09/1.26 c 2 conflicts : 312 (10066 /sec)
1.09/1.26 c 2 decisions : 566 (0.71 % random) (18261 /sec)
1.09/1.26 c 2 propagations : 38497 (1242039 /sec)
1.09/1.26 c 2 conflict literals : 6004 (22.92 % deleted)
1.09/1.26 c 2 Memory used : 2.86 MB
1.09/1.26 c 2 CPU time : 0.030995 s
1.09/1.26 c 2
1.09/1.26 c 2 SATISFIABLE
1.09/1.26 c 2 OK
1.09/1.26 c 2 FOUND: _COST <= 27
1.09/1.26 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.09/1.26 c 2 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.13/1.34 c 2 Decoding HOME/temp.out
1.13/1.38 c 2 OBJECTIVE _COST 27
1.13/1.38 o 27
1.13/1.39 v 8 9 10 8 9 10 10 1 10 9 7 1 1 5 8 8 9 9 9 10 6 8 10 10 3 1 6 8 9 10
1.13/1.39 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.13/1.42 c 2 OK
1.13/1.42 c 2 OBJECTIVE BOUND: 0 <= _COST <= 27
1.13/1.42 c 2 SEARCHING: _COST <= 13
1.13/1.43 c 2 ============================[ Search Statistics ]==============================
1.13/1.43 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.13/1.43 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.13/1.43 c 2 ===============================================================================
1.13/1.43 c 2 | 312 | 1296 21358 63803 | 7119 312 19 | 22.589 % |
1.13/1.43 c 2 | 414 | 1295 21358 63803 | 7831 414 18 | 36.027 % |
1.13/1.44 c 2 | 565 | 1295 21358 63803 | 8614 565 17 | 36.027 % |
1.13/1.46 c 2 | 790 | 1071 10891 34129 | 9475 779 17 | 36.027 % |
1.13/1.47 c 2 | 1127 | 1071 10891 34129 | 10423 1116 17 | 36.027 % |
1.33/1.51 c 2 | 1634 | 1071 10891 34129 | 11465 1623 16 | 36.027 % |
1.33/1.56 c 2 | 2394 | 1071 10891 34129 | 12612 2383 16 | 36.027 % |
1.43/1.65 c 2 | 3533 | 1071 10891 34129 | 13873 3522 16 | 36.027 % |
1.53/1.80 c 2 | 5242 | 1071 10891 34129 | 15260 5231 16 | 36.027 % |
1.83/2.03 c 2 | 7805 | 1071 10891 34129 | 16787 7794 17 | 36.027 % |
2.22/2.49 c 3 | 11651 | 1071 10891 34129 | 18465 11640 17 | 36.027 % |
3.02/3.25 c 4 | 17417 | 1071 10891 34129 | 20312 17406 17 | 36.027 % |
4.31/4.53 c 5 | 26066 | 1071 10891 34129 | 22343 15366 16 | 36.027 % |
6.19/6.44 c 7 | 39041 | 1071 10891 34129 | 24577 16593 19 | 36.027 % |
9.05/9.39 c 10 | 58502 | 1071 10891 34129 | 27035 22622 18 | 36.027 % |
13.71/14.04 c 14 | 87695 | 1071 10891 34129 | 29739 20975 20 | 36.027 % |
22.31/22.70 c 23 | 131485 | 1071 10891 34129 | 32713 29523 19 | 36.027 % |
36.47/37.00 c 37 | 197169 | 1071 10891 34129 | 35984 18986 19 | 36.027 % |
57.56/58.34 c 59 | 295695 | 1071 10891 34129 | 39582 27182 16 | 36.027 % |
93.68/94.81 c 95 | 443484 | 1071 10891 34129 | 43541 40479 21 | 36.027 % |
149.03/150.73 c 151 | 665167 | 1071 10891 34129 | 47895 26501 21 | 36.027 % |
239.01/241.67 c 242 | 997692 | 1071 10891 34129 | 52684 22681 21 | 36.027 % |
384.41/388.51 c 389 | 1496480 | 1071 10891 34129 | 57953 25535 22 | 36.027 % |
628.32/634.91 c 635 | 2244663 | 1071 10891 34129 | 63748 37774 17 | 36.027 % |
845.20/854.03 c 854 ===============================================================================
845.20/854.04 c 854 restarts : 28
845.20/854.04 c 854 conflicts : 2834975 (3359 /sec)
845.20/854.04 c 854 decisions : 3235786 (0.91 % random) (3834 /sec)
845.20/854.04 c 854 propagations : 409160545 (484819 /sec)
845.20/854.04 c 854 conflict literals : 62104686 (29.10 % deleted)
845.20/854.04 c 854 Memory used : 17.32 MB
845.20/854.04 c 854 CPU time : 843.945 s
845.20/854.04 c 854
845.20/854.04 c 854 SATISFIABLE
845.20/854.04 c 854 OK
845.20/854.04 c 854 FOUND: _COST <= 13
845.20/854.04 c 854 DECODING HOME/temp.out WITH HOME/temp.map
845.20/854.04 c 854 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
845.24/854.12 c 855 Decoding HOME/temp.out
845.24/854.16 c 855 OBJECTIVE _COST 13
845.24/854.16 o 13
845.24/854.17 v 8 7 7 1 4 1 10 9 2 4 5 1 7 7 4 4 1 3 5 6 6 8 3 2 10 1 10 8 3 7
845.24/854.17 c 855 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
845.24/854.24 c 855 OK
845.24/854.24 c 855 OBJECTIVE BOUND: 0 <= _COST <= 13
845.24/854.24 c 855 SEARCHING: _COST <= 6
845.24/854.24 c 855 ============================[ Search Statistics ]==============================
845.24/854.24 c 855 | Conflicts | ORIGINAL | LEARNT | Progress |
845.24/854.24 c 855 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
845.24/854.24 c 855 ===============================================================================
845.24/854.24 c 855 | 2834975 | 912 7625 24794 | 2541 48377 24 | 36.027 % |
845.56/854.48 c 855 | 2835075 | 912 7625 24794 | 2795 1902 17 | 45.525 % |
845.56/854.49 c 855 | 2835226 | 912 7625 24794 | 3075 2053 16 | 45.525 % |
845.66/854.51 c 855 | 2835451 | 912 7625 24794 | 3382 2278 16 | 45.525 % |
845.66/854.53 c 855 | 2835788 | 912 7625 24794 | 3721 2615 15 | 45.525 % |
845.66/854.58 c 855 | 2836295 | 912 7625 24794 | 4093 3122 15 | 45.525 % |
845.75/854.65 c 855 | 2837054 | 912 7625 24794 | 4502 3881 14 | 45.525 % |
845.85/854.74 c 855 | 2838194 | 912 7625 24794 | 4952 5021 14 | 45.525 % |
846.04/854.90 c 855 | 2839902 | 912 7625 24794 | 5448 3740 12 | 45.525 % |
846.24/855.12 c 856 | 2842465 | 912 7625 24794 | 5993 6303 14 | 45.525 % |
846.54/855.48 c 856 | 2846311 | 912 7625 24794 | 6592 6661 17 | 45.525 % |
847.13/856.04 c 856 | 2852077 | 912 7625 24794 | 7251 4747 15 | 45.525 % |
848.03/856.91 c 857 | 2860727 | 912 7625 24794 | 7976 5089 15 | 45.525 % |
849.32/858.23 c 859 | 2873704 | 912 7625 24794 | 8774 9034 16 | 45.525 % |
851.41/860.33 c 861 | 2893165 | 912 7625 24794 | 9651 8747 16 | 45.525 % |
854.67/863.61 c 864 | 2922359 | 912 7625 24794 | 10617 5785 15 | 45.525 % |
859.62/868.62 c 869 | 2966149 | 912 7625 24794 | 11678 8386 21 | 45.525 % |
867.44/876.56 c 877 | 3031833 | 912 7625 24794 | 12846 10378 19 | 45.525 % |
880.11/889.33 c 890 | 3130361 | 912 7625 24794 | 14131 11355 17 | 45.525 % |
899.51/908.91 c 909 | 3278150 | 912 7625 24794 | 15544 14380 21 | 45.525 % |
928.81/938.54 c 939 | 3499834 | 912 7625 24794 | 17099 11606 22 | 45.525 % |
936.54/946.37 c 947 ===============================================================================
936.54/946.37 c 947 restarts : 49
936.54/946.37 c 947 conflicts : 3552795 (3799 /sec)
936.54/946.37 c 947 decisions : 4044041 (0.92 % random) (4324 /sec)
936.54/946.37 c 947 propagations : 511866933 (547353 /sec)
936.54/946.37 c 947 conflict literals : 76714969 (29.21 % deleted)
936.54/946.37 c 947 Memory used : 17.32 MB
936.54/946.37 c 947 CPU time : 935.168 s
936.54/946.37 c 947
936.54/946.38 c 947 UNSATISFIABLE
936.54/946.38 c 947 OK
936.54/946.38 c 947 NOT FOUND: _COST <= 6
936.54/946.38 c 947 OK
936.54/946.38 c 947 OBJECTIVE BOUND: 7 <= _COST <= 13
936.54/946.38 c 947 SEARCHING: _COST <= 10
936.54/946.38 c 947 ============================[ Search Statistics ]==============================
936.54/946.38 c 947 | Conflicts | ORIGINAL | LEARNT | Progress |
936.54/946.38 c 947 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
936.54/946.38 c 947 ===============================================================================
936.54/946.38 c 947 | 3552795 | 894 7533 24572 | 2511 6919 14 | 45.525 % |
936.54/946.39 c 947 | 3552895 | 894 7533 24572 | 2762 1830 11 | 46.597 % |
936.63/946.40 c 947 | 3553045 | 894 7533 24572 | 3038 1980 11 | 46.597 % |
936.63/946.42 c 947 | 3553270 | 894 7533 24572 | 3342 2205 12 | 46.597 % |
936.63/946.44 c 947 | 3553608 | 894 7533 24572 | 3676 2543 12 | 46.597 % |
936.63/946.48 c 947 | 3554114 | 894 7533 24572 | 4043 3049 12 | 46.597 % |
936.73/946.54 c 947 | 3554873 | 894 7533 24572 | 4448 3808 13 | 46.597 % |
936.83/946.64 c 947 | 3556013 | 894 7533 24572 | 4893 4948 13 | 46.597 % |
937.03/946.80 c 947 | 3557721 | 894 7533 24572 | 5382 3632 14 | 46.597 % |
937.24/947.03 c 947 | 3560283 | 894 7533 24572 | 5920 6194 15 | 46.597 % |
937.63/947.42 c 948 | 3564128 | 894 7533 24572 | 6512 6511 17 | 46.597 % |
938.23/948.06 c 948 | 3569896 | 894 7533 24572 | 7164 4677 15 | 46.597 % |
939.12/948.91 c 949 | 3578545 | 894 7533 24572 | 7880 5137 15 | 46.597 % |
940.41/950.27 c 951 | 3591519 | 894 7533 24572 | 8668 4752 16 | 46.597 % |
942.59/952.42 c 953 | 3610980 | 894 7533 24572 | 9535 9634 18 | 46.597 % |
945.86/955.73 c 956 | 3640174 | 894 7533 24572 | 10489 7178 15 | 46.597 % |
950.90/960.85 c 961 | 3683964 | 894 7533 24572 | 11537 10539 17 | 46.597 % |
958.93/968.92 c 969 | 3749648 | 894 7533 24572 | 12691 6782 21 | 46.597 % |
972.09/982.25 c 983 | 3848174 | 894 7533 24572 | 13960 8918 23 | 46.597 % |
990.62/1000.97 c 1001 | 3995963 | 894 7533 24572 | 15357 14083 21 | 46.597 % |
1019.51/1030.16 c 1031 | 4217647 | 894 7533 24572 | 16892 13937 24 | 46.597 % |
1068.71/1079.83 c 1080 | 4550173 | 894 7533 24572 | 18582 14207 21 | 46.597 % |
1142.59/1154.36 c 1155 | 5048962 | 894 7533 24572 | 20440 12002 21 | 46.597 % |
1256.14/1267.95 c 1268 | 5797144 | 894 7533 24572 | 22484 17881 23 | 46.597 % |
1436.35/1448.23 c 1449 | 6919418 | 894 7533 24572 | 24732 20061 26 | 46.597 % |
1740.60/1752.65 c 1753 | 8602829 | 894 7533 24572 | 27205 19524 26 | 46.597 % |
2192.79/2205.09 c 2205 | 11127946 | 894 7533 24572 | 29926 19461 26 | 46.597 % |
2241.27/2253.55 c 2254 ===============================================================================
2241.27/2253.56 c 2254 restarts : 76
2241.27/2253.56 c 2254 conflicts : 11399181 (5089 /sec)
2241.27/2253.56 c 2254 decisions : 12898401 (1.01 % random) (5759 /sec)
2241.27/2253.56 c 2254 propagations : 1622080996 (724196 /sec)
2241.27/2253.56 c 2254 conflict literals : 266203767 (27.70 % deleted)
2241.27/2253.56 c 2254 Memory used : 19.60 MB
2241.27/2253.56 c 2254 CPU time : 2239.84 s
2241.27/2253.56 c 2254
2241.27/2253.56 c 2254 SATISFIABLE
2241.27/2253.56 c 2254 OK
2241.27/2253.56 c 2254 FOUND: _COST <= 10
2241.27/2253.56 c 2254 DECODING HOME/temp.out WITH HOME/temp.map
2241.27/2253.56 c 2254 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2241.33/2253.64 c 2254 Decoding HOME/temp.out
2241.33/2253.69 c 2254 OBJECTIVE _COST 10
2241.33/2253.69 o 10
2241.33/2253.69 v 5 9 8 8 9 5 5 3 5 9 10 7 10 8 7 9 8 9 7 10 1 10 8 8 7 7 3 1 8 3
2241.33/2253.69 c 2254 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2241.33/2253.73 c 2254 OK
2241.33/2253.73 c 2254 OBJECTIVE BOUND: 7 <= _COST <= 10
2241.33/2253.73 c 2254 SEARCHING: _COST <= 8
2241.33/2253.73 c 2254 ============================[ Search Statistics ]==============================
2241.33/2253.73 c 2254 | Conflicts | ORIGINAL | LEARNT | Progress |
2241.33/2253.73 c 2254 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2241.33/2253.73 c 2254 ===============================================================================
2241.33/2253.73 c 2254 | 11399181 | 840 6630 22022 | 2210 29096 24 | 46.597 % |
2241.54/2253.84 c 2254 | 11399281 | 840 6630 22022 | 2431 1864 17 | 49.822 % |
2241.54/2253.85 c 2254 | 11399431 | 840 6630 22022 | 2674 2014 16 | 49.822 % |
2241.54/2253.86 c 2254 | 11399657 | 840 6630 22022 | 2941 2240 16 | 49.822 % |
2241.54/2253.88 c 2254 | 11399994 | 840 6630 22022 | 3235 2577 16 | 49.822 % |
2241.64/2253.92 c 2254 | 11400501 | 840 6630 22022 | 3559 3084 15 | 49.822 % |
2241.64/2253.98 c 2254 | 11401260 | 840 6630 22022 | 3915 3843 15 | 49.822 % |
2241.74/2254.08 c 2254 | 11402399 | 840 6630 22022 | 4306 2527 14 | 49.822 % |
2241.94/2254.22 c 2255 | 11404108 | 840 6630 22022 | 4737 4236 14 | 49.822 % |
2242.14/2254.45 c 2255 | 11406670 | 840 6630 22022 | 5211 3916 13 | 49.822 % |
2242.54/2254.81 c 2255 | 11410515 | 840 6630 22022 | 5732 4640 15 | 49.822 % |
2243.04/2255.34 c 2256 | 11416281 | 840 6630 22022 | 6305 3625 15 | 49.822 % |
2243.84/2256.12 c 2257 | 11424930 | 840 6630 22022 | 6935 4908 14 | 49.822 % |
2245.04/2257.35 c 2258 | 11437904 | 840 6630 22022 | 7629 5836 20 | 49.822 % |
2247.03/2259.31 c 2260 | 11457369 | 840 6630 22022 | 8392 7974 16 | 49.822 % |
2249.93/2262.24 c 2263 | 11486562 | 840 6630 22022 | 9231 8784 19 | 49.822 % |
2254.63/2266.96 c 2267 | 11530352 | 840 6630 22022 | 10154 6063 19 | 49.822 % |
2261.82/2274.14 c 2275 | 11596038 | 840 6630 22022 | 11170 10095 21 | 49.822 % |
2272.92/2285.24 c 2286 | 11694564 | 840 6630 22022 | 12287 10703 16 | 49.822 % |
2290.61/2302.93 c 2303 | 11842354 | 840 6630 22022 | 13516 11613 21 | 49.822 % |
2316.99/2329.33 c 2330 | 12064038 | 840 6630 22022 | 14867 14243 21 | 49.822 % |
2359.97/2372.40 c 2373 | 12396563 | 840 6630 22022 | 16354 12067 22 | 49.822 % |
2372.97/2385.32 c 2386 ===============================================================================
2372.97/2385.32 c 2386 restarts : 98
2372.97/2385.32 c 2386 conflicts : 12494379 (5269 /sec)
2372.97/2385.32 c 2386 decisions : 14137814 (1.01 % random) (5962 /sec)
2372.97/2385.32 c 2386 propagations : 1780270940 (750739 /sec)
2372.97/2385.32 c 2386 conflict literals : 289643408 (27.80 % deleted)
2372.97/2385.32 c 2386 Memory used : 19.73 MB
2372.97/2385.32 c 2386 CPU time : 2371.36 s
2372.97/2385.32 c 2386
2372.97/2385.32 c 2386 SATISFIABLE
2372.97/2385.32 c 2386 OK
2372.97/2385.32 c 2386 FOUND: _COST <= 8
2372.97/2385.32 c 2386 DECODING HOME/temp.out WITH HOME/temp.map
2372.97/2385.32 c 2386 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2372.98/2385.40 c 2386 Decoding HOME/temp.out
2372.98/2385.44 c 2386 OBJECTIVE _COST 8
2372.98/2385.45 o 8
2372.98/2385.45 v 4 2 4 10 7 1 5 8 4 9 10 10 4 8 9 9 8 1 4 3 5 10 8 7 7 7 3 10 8 2
2372.98/2385.45 c 2386 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2372.98/2385.51 c 2386 OK
2372.98/2385.51 c 2386 OBJECTIVE BOUND: 7 <= _COST <= 8
2372.98/2385.51 c 2386 SEARCHING: _COST <= 7
2372.98/2385.51 c 2386 ============================[ Search Statistics ]==============================
2372.98/2385.51 c 2386 | Conflicts | ORIGINAL | LEARNT | Progress |
2372.98/2385.51 c 2386 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2372.98/2385.51 c 2386 ===============================================================================
2372.98/2385.51 c 2386 | 12494379 | 804 6083 20487 | 2027 13977 22 | 49.822 % |
2372.98/2385.53 c 2386 | 12494479 | 804 6083 20487 | 2230 1848 20 | 51.972 % |
2372.98/2385.55 c 2386 | 12494629 | 804 6083 20487 | 2453 1998 19 | 51.972 % |
2372.98/2385.56 c 2386 | 12494855 | 804 6083 20487 | 2698 2224 19 | 51.972 % |
2372.98/2385.59 c 2386 | 12495192 | 804 6083 20487 | 2968 2561 18 | 51.972 % |
2373.23/2385.63 c 2386 | 12495700 | 804 6083 20487 | 3265 3069 17 | 51.972 % |
2373.23/2385.69 c 2386 | 12496460 | 804 6083 20487 | 3592 3829 16 | 51.972 % |
2373.33/2385.78 c 2386 | 12497600 | 804 6083 20487 | 3951 2612 12 | 51.972 % |
2373.53/2385.93 c 2386 | 12499308 | 804 6083 20487 | 4346 4320 13 | 51.972 % |
2373.72/2386.15 c 2387 | 12501872 | 804 6083 20487 | 4781 4173 13 | 51.972 % |
2374.12/2386.50 c 2387 | 12505718 | 804 6083 20487 | 5259 5080 14 | 51.972 % |
2374.62/2387.08 c 2387 | 12511484 | 804 6083 20487 | 5785 4450 14 | 51.972 % |
2375.51/2387.92 c 2388 | 12520133 | 804 6083 20487 | 6363 6197 16 | 51.972 % |
2376.80/2389.21 c 2390 | 12533108 | 804 6083 20487 | 7000 4210 16 | 51.972 % |
2378.77/2391.27 c 2392 | 12552570 | 804 6083 20487 | 7700 7474 16 | 51.972 % |
2381.84/2394.33 c 2395 | 12581762 | 804 6083 20487 | 8470 5894 16 | 51.972 % |
2386.50/2399.01 c 2399 | 12625554 | 804 6083 20487 | 9317 6589 16 | 51.972 % |
2393.73/2406.34 c 2407 | 12691238 | 804 6083 20487 | 10248 9809 16 | 51.972 % |
2405.12/2417.88 c 2418 | 12789764 | 804 6083 20487 | 11273 6508 18 | 51.972 % |
2422.64/2435.57 c 2436 | 12937554 | 804 6083 20487 | 12401 12310 19 | 51.972 % |
2449.27/2462.41 c 2463 | 13159237 | 804 6083 20487 | 13641 11104 23 | 51.972 % |
2493.53/2507.14 c 2508 | 13491762 | 804 6083 20487 | 15005 12255 24 | 51.972 % |
2560.86/2575.18 c 2576 | 13990550 | 804 6083 20487 | 16505 11693 24 | 51.972 % |
2664.42/2679.76 c 2680 | 14738733 | 804 6083 20487 | 18156 10662 21 | 51.972 % |
2772.70/2789.19 c 2790 ===============================================================================
2772.70/2789.19 c 2790 restarts : 122
2772.70/2789.19 c 2790 conflicts : 15496759 (5592 /sec)
2772.70/2789.19 c 2790 decisions : 17527579 (1.04 % random) (6325 /sec)
2772.70/2789.19 c 2790 propagations : 2203624379 (795248 /sec)
2772.70/2789.19 c 2790 conflict literals : 357261391 (27.75 % deleted)
2772.70/2789.19 c 2790 Memory used : 19.89 MB
2772.70/2789.19 c 2790 CPU time : 2770.99 s
2772.70/2789.19 c 2790
2772.70/2789.19 c 2790 UNSATISFIABLE
2772.70/2789.19 c 2790 OK
2772.70/2789.19 c 2790 NOT FOUND: _COST <= 7
2772.70/2789.19 c 2790 OK
2772.70/2789.19 c 2790 OBJECTIVE _COST 8
2772.70/2789.19 s OPTIMUM FOUND
2772.70/2789.20 c 2790 CPU 2772.44 (0.06 0.02 2772.38 0.35)
2772.70/2789.20 c 2790 END Wed Jul 16 00:41:49 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-1124131-1216158919/watcher-1124131-1216158919 -o /tmp/evaluation-result-1124131-1216158919/solver-1124131-1216158919 -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-1124131-1216158919.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.00 2.00 2.00 4/88 24988
/proc/meminfo: memFree=830704/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=12268 CPUtime=0
/proc/24988/stat : 24988 (sugar++) R 24986 24988 24951 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 72589854 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 228774869605 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/24988/statm: 3067 316 241 3 0 167 0
[startup+0.10179 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 24988
/proc/meminfo: memFree=830704/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16740 CPUtime=0.06
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 72589854 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.201801 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 24988
/proc/meminfo: memFree=830704/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16740 CPUtime=0.06
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 72589854 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.30182 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 24988
/proc/meminfo: memFree=830704/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16740 CPUtime=0.06
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 72589854 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701897 s]
/proc/loadavg: 2.00 2.00 2.00 4/88 24988
/proc/meminfo: memFree=830704/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16740 CPUtime=0.38
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1296 4347 0 1 5 1 29 3 15 0 1 0 72589854 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 16740
[startup+1.50105 s]
/proc/loadavg: 2.16 2.03 2.01 3/93 25014
/proc/meminfo: memFree=823744/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 15 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=2924 CPUtime=0.1
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 518 0 0 0 10 0 0 0 16 0 1 0 72589960 2994176 462 996147200 134512640 135134323 4294956192 18446744073709551615 134707180 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 731 462 79 151 0 577 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 19796
[startup+3.10237 s]
/proc/loadavg: 2.16 2.03 2.01 3/90 25031
/proc/meminfo: memFree=824856/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 15 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=4248 CPUtime=1.69
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 852 0 0 0 169 0 0 0 25 0 1 0 72589960 4349952 796 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 1062 796 79 151 0 908 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 21120
[startup+6.302 s]
/proc/loadavg: 2.15 2.03 2.01 3/90 25031
/proc/meminfo: memFree=823384/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=5128 CPUtime=4.86
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 1069 0 0 0 486 0 0 0 25 0 1 0 72589960 5251072 1013 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 1282 1013 79 151 0 1128 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 22000
[startup+12.7013 s]
/proc/loadavg: 2.13 2.03 2.01 3/90 25031
/proc/meminfo: memFree=822184/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=6216 CPUtime=11.19
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 1335 0 0 0 1119 0 0 0 25 0 1 0 72589960 6365184 1279 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 1554 1279 79 151 0 1400 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 23088
[startup+25.5018 s]
/proc/loadavg: 2.10 2.03 2.01 3/90 25031
/proc/meminfo: memFree=821032/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=7300 CPUtime=23.86
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 1611 0 0 0 2385 1 0 0 25 0 1 0 72589960 7475200 1555 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 1825 1555 79 151 0 1671 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 24172
[startup+51.1017 s]
/proc/loadavg: 2.07 2.03 2.01 3/90 25031
/proc/meminfo: memFree=820136/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=8260 CPUtime=49.2
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 1842 0 0 0 4919 1 0 0 25 0 1 0 72589960 8458240 1786 996147200 134512640 135134323 4294956192 18446744073709551615 134524721 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 2065 1786 79 151 0 1911 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 25132
[startup+102.302 s]
/proc/loadavg: 2.11 2.04 2.01 3/90 25031
/proc/meminfo: memFree=818472/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=10196 CPUtime=99.89
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 2300 0 0 0 9987 2 0 0 25 0 1 0 72589960 10440704 2244 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 2549 2244 79 151 0 2395 0
Current children cumulated CPU time (s) 101.12
Current children cumulated vsize (KiB) 27068
[startup+162.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/90 25031
/proc/meminfo: memFree=817448/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=11048 CPUtime=159.28
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 2497 0 0 0 15925 3 0 0 25 0 1 0 72589960 11313152 2441 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 2762 2441 79 151 0 2608 0
Current children cumulated CPU time (s) 160.51
Current children cumulated vsize (KiB) 27920
[startup+222.306 s]
/proc/loadavg: 2.12 2.06 2.01 3/90 25031
/proc/meminfo: memFree=816360/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=12392 CPUtime=218.67
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 2798 0 0 0 21864 3 0 0 25 0 1 0 72589960 12689408 2742 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 3098 2742 79 151 0 2944 0
Current children cumulated CPU time (s) 219.9
Current children cumulated vsize (KiB) 29264
[startup+282.303 s]
/proc/loadavg: 2.09 2.06 2.01 3/90 25031
/proc/meminfo: memFree=815848/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=12932 CPUtime=278.07
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 2925 0 0 0 27803 4 0 0 25 0 1 0 72589960 13242368 2869 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 3233 2869 79 151 0 3079 0
Current children cumulated CPU time (s) 279.3
Current children cumulated vsize (KiB) 29804
[startup+342.302 s]
/proc/loadavg: 2.03 2.05 2.00 3/90 25037
/proc/meminfo: memFree=815008/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=13672 CPUtime=337.45
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 3097 0 0 0 33741 4 0 0 25 0 1 0 72589960 14000128 3041 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 3418 3041 79 151 0 3264 0
Current children cumulated CPU time (s) 338.68
Current children cumulated vsize (KiB) 30544
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/90 25037
/proc/meminfo: memFree=814368/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.23
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1617 17436 0 4 5 2 105 11 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=14320 CPUtime=396.84
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 3252 0 0 0 39680 4 0 0 25 0 1 0 72589960 14663680 3196 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 3580 3196 79 151 0 3426 0
Current children cumulated CPU time (s) 398.07
Current children cumulated vsize (KiB) 31192
################
# More data... #
################
[startup+2442.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/90 25139
/proc/meminfo: memFree=808296/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20196 CPUtime=2427.71
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4628 0 0 0 242759 12 0 0 25 0 1 0 72589960 20680704 4564 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5049 4564 79 151 0 4895 0
Current children cumulated CPU time (s) 2429.37
Current children cumulated vsize (KiB) 37068
[startup+2502.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/90 25139
/proc/meminfo: memFree=808296/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20196 CPUtime=2487.12
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4628 0 0 0 248699 13 0 0 25 0 1 0 72589960 20680704 4564 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5049 4564 79 151 0 4895 0
Current children cumulated CPU time (s) 2488.78
Current children cumulated vsize (KiB) 37068
[startup+2562.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/90 25139
/proc/meminfo: memFree=808296/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20196 CPUtime=2546.52
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4633 0 0 0 254638 14 0 0 25 0 1 0 72589960 20680704 4569 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5049 4569 79 151 0 4895 0
Current children cumulated CPU time (s) 2548.18
Current children cumulated vsize (KiB) 37068
[startup+2622.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808296/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20196 CPUtime=2605.92
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4643 0 0 0 260578 14 0 0 25 0 1 0 72589960 20680704 4579 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5049 4579 79 151 0 4895 0
Current children cumulated CPU time (s) 2607.58
Current children cumulated vsize (KiB) 37068
[startup+2682.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808232/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20196 CPUtime=2665.33
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4648 0 0 0 266518 15 0 0 25 0 1 0 72589960 20680704 4584 996147200 134512640 135134323 4294956192 18446744073709551615 134524675 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5049 4584 79 151 0 4895 0
Current children cumulated CPU time (s) 2666.99
Current children cumulated vsize (KiB) 37068
[startup+2742.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808168/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2724.72
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 272457 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2726.38
Current children cumulated vsize (KiB) 37232
Solver just ended. Dumping a history of the last processes samples
[startup+2764.8 s]
/proc/loadavg: 2.08 2.08 2.01 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2746.99
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 274684 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2748.65
Current children cumulated vsize (KiB) 37232
[startup+2777.61 s]
/proc/loadavg: 2.06 2.08 2.01 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2759.67
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 275952 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2761.33
Current children cumulated vsize (KiB) 37232
[startup+2784 s]
/proc/loadavg: 2.06 2.07 2.01 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2766
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 276585 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2767.66
Current children cumulated vsize (KiB) 37232
[startup+2787.2 s]
/proc/loadavg: 2.13 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2769.17
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 276902 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531929 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2770.83
Current children cumulated vsize (KiB) 37232
[startup+2788 s]
/proc/loadavg: 2.13 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2769.95
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 276980 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134532331 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2771.61
Current children cumulated vsize (KiB) 37232
[startup+2788.8 s]
/proc/loadavg: 2.13 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2770.75
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 277060 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2772.41
Current children cumulated vsize (KiB) 37232
[startup+2789 s]
/proc/loadavg: 2.13 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2770.94
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 277079 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2772.6
Current children cumulated vsize (KiB) 37232
[startup+2789.1 s]
/proc/loadavg: 2.13 2.09 2.02 3/90 25139
/proc/meminfo: memFree=808104/2055920 swapFree=4190156/4192956
[pid=24988] ppid=24986 vsize=16872 CPUtime=1.66
/proc/24988/stat : 24988 (sugar++) S 24986 24988 24951 0 -1 4194304 1823 28600 0 7 6 2 139 19 16 0 1 0 72589854 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24988/statm: 4218 1116 414 3 0 797 0
[pid=25011] ppid=24988 vsize=20360 CPUtime=2771.04
/proc/25011/stat : 25011 (minisat-inc) R 24988 24988 24951 0 -1 4194304 4681 0 0 0 277089 15 0 0 25 0 1 0 72589960 20848640 4617 996147200 134512640 135134323 4294956192 18446744073709551615 134532153 0 0 4096 3 0 0 0 17 1 0 0
/proc/25011/statm: 5090 4617 79 151 0 4936 0
Current children cumulated CPU time (s) 2772.7
Current children cumulated vsize (KiB) 37232
Child status: 0
Real time (s): 2789.2
CPU time (s): 2772.84
CPU user time (s): 2772.45
CPU system time (s): 0.384941
CPU usage (%): 99.4133
Max. virtual memory (cumulated for all children) (KiB): 220640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2772.45
system time used= 0.384941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35187
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2568
involuntary context switches= 68983
runsolver used 3.60845 second user time and 9.09462 second system time
The end
Begin job on node74 at 2008-07-15 23:55:19
IDJOB=1124131
IDBENCH=62956
IDSOLVER=367
FILE ID=node74/1124131-1216158919
PBS_JOBID= 7905755
Free space on /tmp= 103240 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/pi/pi-30-10-25-t58/normalized-pi-30-10-197-42-23.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-1124131-1216158919/watcher-1124131-1216158919 -o /tmp/evaluation-result-1124131-1216158919/solver-1124131-1216158919 -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-1124131-1216158919.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 27e65dacdfd86651b2df8b67f2237f85
RANDOM SEED=1255893966
node74.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 831184 kB
Buffers: 65420 kB
Cached: 1065148 kB
SwapCached: 0 kB
Active: 1101392 kB
Inactive: 57960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 831184 kB
SwapTotal: 4192956 kB
SwapFree: 4190156 kB
Dirty: 876 kB
Writeback: 0 kB
Mapped: 50180 kB
Slab: 49748 kB
Committed_AS: 270184 kB
PageTables: 2512 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103240 MiB
End job on node74 at 2008-07-16 00:41:49