0.00/0.09 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.09 c 0 BEGIN Sun Jul 13 04:29:35 2008
0.00/0.09 c 0 PID 17343
0.00/0.09 c 0 HOST node14.alineos.net
0.00/0.09 c 0 CONVERTING HOME/instance-1115187-1215916175.xml TO HOME/temp.csp
0.00/0.09 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1115187-1215916175.xml' 'HOME/temp.csp'
0.07/0.61 c 0 1 domains, 40 variables, 0 predicates, 103 relations, 103 constraints
0.07/0.62 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.62 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.57/0.73 c 1 Parsing HOME/temp.csp
1.43/1.64 c 1 parsed 247 expressions
1.43/1.64 c 1 Heap : 13 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.43/1.64 c 1 MAX CSP: 103 constraints
1.43/1.64 c 1 Converting to clausal form CSP
1.43/1.66 c 1 converted 36 (10%) expressions
1.43/1.68 c 1 converted 71 (20%) expressions
1.43/1.69 c 1 converted 106 (30%) expressions
1.53/1.70 c 2 converted 142 (40%) expressions
1.53/1.77 c 2 converted 177 (50%) expressions
1.62/1.83 c 2 converted 212 (60%) expressions
1.81/2.02 c 2 converted 248 (70%) expressions
1.81/2.09 c 2 converted 283 (80%) expressions
1.92/2.16 c 2 converted 318 (90%) expressions
2.00/2.27 c 2 converted 353 (100%) expressions
2.00/2.27 c 2 CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 155
2.00/2.27 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.00/2.27 c 2 Propagation in CSP
2.00/2.29 c 2 98 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.00/2.29 c 2 CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
2.00/2.29 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.00/2.29 c 2 Simplifing CSP by introducing new Boolean variables
2.00/2.30 c 2 CSP : 246 integers, 0 booleans, 308 clauses, largest domain size 104
2.00/2.30 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.11/2.39 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.20/2.41 c 2 25 (10%) CSP integer variables are encoded (1950 clauses, 23229 bytes)
2.20/2.41 c 2 50 (20%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.20/2.41 c 2 74 (30%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.20/2.41 c 2 99 (40%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.20/2.42 c 2 123 (50%) CSP integer variables are encoded (3120 clauses, 38439 bytes)
2.20/2.42 c 2 148 (60%) CSP integer variables are encoded (3228 clauses, 39843 bytes)
2.20/2.42 c 2 173 (70%) CSP integer variables are encoded (3327 clauses, 41130 bytes)
2.20/2.42 c 2 197 (80%) CSP integer variables are encoded (3473 clauses, 43028 bytes)
2.20/2.42 c 2 222 (90%) CSP integer variables are encoded (3572 clauses, 44315 bytes)
2.20/2.42 c 2 246 (100%) CSP integer variables are encoded (4234 clauses, 52921 bytes)
2.49/2.73 c 3 31 (10%) CSP clauses are encoded (36602 clauses, 907238 bytes)
2.73/3.04 c 3 62 (20%) CSP clauses are encoded (68896 clauses, 1815593 bytes)
2.99/3.33 c 3 93 (30%) CSP clauses are encoded (101213 clauses, 2759108 bytes)
3.10/3.43 c 3 124 (40%) CSP clauses are encoded (111869 clauses, 3068439 bytes)
3.10/3.44 c 3 154 (50%) CSP clauses are encoded (112641 clauses, 3081705 bytes)
3.10/3.44 c 3 185 (60%) CSP clauses are encoded (112926 clauses, 3086339 bytes)
3.10/3.45 c 3 216 (70%) CSP clauses are encoded (115055 clauses, 3124263 bytes)
3.10/3.45 c 3 247 (80%) CSP clauses are encoded (115350 clauses, 3129060 bytes)
3.10/3.45 c 3 278 (90%) CSP clauses are encoded (116089 clauses, 3141757 bytes)
3.10/3.48 c 3 308 (100%) CSP clauses are encoded (127178 clauses, 3339117 bytes)
3.10/3.48 c 3 308 CSP clauses encoded
3.10/3.48 c 3 Writing map file : HOME/temp.map
3.10/3.48 c 3 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.10/3.48 c 3 SAT : 4480 SAT variables, 127178 SAT clauses, 3339117 bytes
3.10/3.48 c 3 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.16/3.52 c 3 OBJECTIVE minimize _COST
3.16/3.52 c 3 SOLVING HOME/temp.cnf
3.16/3.52 c 3 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
3.16/3.52 c 3 This is MiniSat 2.0 beta incremental
3.16/3.52 c 3 WARNING: for repeatability, setting FPU to use double precision
3.16/3.52 c 3 ============================[ Problem Statistics ]=============================
3.16/3.52 c 3 | |
3.16/3.52 c 3 | Number of variables: 4480 |
3.16/3.52 c 3 | Number of clauses: 127178 |
3.18/3.60 c 3 | Parsing time: 0.07 s |
3.18/3.60 c 3 OK
3.18/3.60 c 3 OBJECTIVE BOUND: 0 <= _COST <=
3.18/3.61 c 3 SEARCHING: _COST <= 52
3.18/3.61 c 3 ============================[ Search Statistics ]==============================
3.18/3.61 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
3.18/3.61 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.18/3.61 c 3 ===============================================================================
3.18/3.61 c 3 | 0 | 4480 127178 574198 | 42392 0 nan | 0.000 % |
3.18/3.65 c 3 | 100 | 4480 127178 574198 | 46631 100 17 | 0.002 % |
3.18/3.66 c 3 ===============================================================================
3.18/3.67 c 3 restarts : 2
3.18/3.67 c 3 conflicts : 110 (853 /sec)
3.18/3.67 c 3 decisions : 372 (1.08 % random) (2884 /sec)
3.18/3.67 c 3 propagations : 31298 (242658 /sec)
3.18/3.67 c 3 conflict literals : 1853 (39.29 % deleted)
3.18/3.67 c 3 Memory used : 8.25 MB
3.18/3.67 c 3 CPU time : 0.12898 s
3.18/3.67 c 3
3.18/3.67 c 3 SATISFIABLE
3.18/3.67 c 3 OK
3.18/3.67 c 3 FOUND: _COST <= 52
3.18/3.67 s SATISFIABLE
3.18/3.67 c 3 DECODING HOME/temp.out WITH HOME/temp.map
3.18/3.67 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.18/3.76 c 4 Decoding HOME/temp.out
3.18/3.82 c 4 OBJECTIVE _COST 52
3.18/3.82 o 52
3.18/3.82 v 56 33 79 78 74 79 79 57 8 22 79 15 77 72 31 76 58 32 68 79 78 79 76 66 78 75 78 79 59 79 69 75 79 79 79 79 78 79 79 79
3.18/3.83 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.18/3.88 c 4 OK
3.18/3.88 c 4 OBJECTIVE BOUND: 0 <= _COST <= 52
3.18/3.88 c 4 SEARCHING: _COST <= 26
3.33/3.91 c 4 ============================[ Search Statistics ]==============================
3.33/3.91 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.33/3.91 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.33/3.91 c 4 ===============================================================================
3.33/3.91 c 4 | 110 | 4480 127178 574198 | 42392 110 17 | 0.002 % |
3.33/3.92 c 4 | 210 | 4480 127178 574198 | 46631 210 20 | 7.970 % |
3.33/3.93 c 4 ===============================================================================
3.33/3.93 c 4 restarts : 4
3.33/3.93 c 4 conflicts : 240 (1326 /sec)
3.33/3.93 c 4 decisions : 752 (1.33 % random) (4155 /sec)
3.33/3.93 c 4 propagations : 92131 (509090 /sec)
3.33/3.93 c 4 conflict literals : 4689 (39.88 % deleted)
3.33/3.93 c 4 Memory used : 8.38 MB
3.33/3.93 c 4 CPU time : 0.180972 s
3.33/3.93 c 4
3.33/3.93 c 4 SATISFIABLE
3.33/3.94 c 4 OK
3.33/3.94 c 4 FOUND: _COST <= 26
3.33/3.94 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.33/3.94 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.33/4.04 c 4 Decoding HOME/temp.out
3.33/4.09 c 4 OBJECTIVE _COST 26
3.33/4.09 o 26
3.33/4.09 v 54 30 56 63 36 77 79 74 30 18 79 41 73 39 60 17 33 39 68 79 37 29 68 76 79 18 79 59 59 70 17 79 52 79 79 78 60 36 79 22
3.33/4.10 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.33/4.12 c 4 OK
3.33/4.12 c 4 OBJECTIVE BOUND: 0 <= _COST <= 26
3.33/4.12 c 4 SEARCHING: _COST <= 13
3.33/4.13 c 4 ============================[ Search Statistics ]==============================
3.33/4.13 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.33/4.13 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.33/4.13 c 4 ===============================================================================
3.33/4.13 c 4 | 240 | 4123 127178 574198 | 42392 240 20 | 7.970 % |
3.33/4.16 c 4 | 340 | 4123 127178 574198 | 46631 340 19 | 12.612 % |
3.46/4.20 c 4 | 491 | 4123 127178 574198 | 51295 491 18 | 12.612 % |
3.46/4.28 c 4 ===============================================================================
3.46/4.28 c 4 restarts : 7
3.46/4.28 c 4 conflicts : 704 (2053 /sec)
3.46/4.28 c 4 decisions : 1502 (1.07 % random) (4380 /sec)
3.46/4.28 c 4 propagations : 257744 (751556 /sec)
3.46/4.28 c 4 conflict literals : 13694 (42.77 % deleted)
3.46/4.28 c 4 Memory used : 8.38 MB
3.46/4.28 c 4 CPU time : 0.342947 s
3.46/4.28 c 4
3.46/4.28 c 4 SATISFIABLE
3.46/4.28 c 4 OK
3.46/4.28 c 4 FOUND: _COST <= 13
3.46/4.28 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.46/4.28 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.46/4.36 c 4 Decoding HOME/temp.out
3.91/4.41 c 4 OBJECTIVE _COST 13
3.91/4.41 o 13
3.91/4.41 v 56 59 65 5 51 79 79 41 78 36 45 74 79 70 62 14 33 45 66 79 48 29 16 75 56 0 12 71 59 10 41 58 31 79 26 79 8 36 33 61
3.91/4.42 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.91/4.44 c 4 OK
3.91/4.44 c 4 OBJECTIVE BOUND: 0 <= _COST <= 13
3.91/4.44 c 4 SEARCHING: _COST <= 6
3.91/4.46 c 4 ============================[ Search Statistics ]==============================
3.91/4.46 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.91/4.46 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.91/4.46 c 4 ===============================================================================
3.91/4.46 c 4 | 704 | 3915 127178 574198 | 42392 704 19 | 12.612 % |
3.91/4.47 c 4 | 804 | 3915 127178 574198 | 46631 804 19 | 15.804 % |
4.00/4.51 c 4 | 954 | 3915 127178 574198 | 51295 954 18 | 15.804 % |
4.10/4.62 c 4 | 1179 | 3915 127178 574198 | 56424 1179 20 | 15.804 % |
4.20/4.71 c 5 | 1517 | 3915 127178 574198 | 62067 1517 19 | 15.804 % |
4.40/4.95 c 5 | 2023 | 3915 127178 574198 | 68273 2023 20 | 15.804 % |
4.79/5.32 c 5 | 2783 | 3772 115020 539758 | 75101 2777 22 | 15.804 % |
5.28/5.83 c 6 | 3922 | 3772 115020 539758 | 82611 3916 23 | 15.804 % |
6.09/6.65 c 6 | 5630 | 3772 115020 539758 | 90872 5624 24 | 15.804 % |
7.04/7.65 c 7 | 8192 | 3772 115020 539758 | 99959 8186 24 | 15.804 % |
9.21/9.88 c 10 | 12036 | 3772 115020 539758 | 109955 12030 25 | 15.804 % |
11.41/12.02 c 12 | 17802 | 3772 115020 539758 | 120951 17796 26 | 15.804 % |
14.28/14.93 c 15 ===============================================================================
14.28/14.93 c 15 restarts : 19
14.28/14.93 c 15 conflicts : 22021 (2059 /sec)
14.28/14.93 c 15 decisions : 31397 (1.37 % random) (2935 /sec)
14.28/14.93 c 15 propagations : 5384098 (503310 /sec)
14.28/14.93 c 15 conflict literals : 585929 (34.23 % deleted)
14.28/14.93 c 15 Memory used : 11.18 MB
14.28/14.93 c 15 CPU time : 10.6974 s
14.28/14.93 c 15
14.28/14.93 c 15 SATISFIABLE
14.28/14.93 c 15 OK
14.28/14.93 c 15 FOUND: _COST <= 6
14.28/14.93 c 15 DECODING HOME/temp.out WITH HOME/temp.map
14.28/14.93 c 15 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
14.31/15.04 c 15 Decoding HOME/temp.out
14.31/15.09 c 15 OBJECTIVE _COST 6
14.31/15.09 o 6
14.31/15.09 v 75 58 5 60 75 79 39 56 78 17 23 3 78 6 25 47 43 30 76 79 21 2 5 79 49 50 55 16 56 27 23 36 9 61 76 79 72 24 73 52
14.31/15.11 c 15 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
14.31/15.15 c 15 OK
14.31/15.15 c 15 OBJECTIVE BOUND: 0 <= _COST <= 6
14.31/15.15 c 15 SEARCHING: _COST <= 3
14.31/15.15 c 15 ============================[ Search Statistics ]==============================
14.31/15.15 c 15 | Conflicts | ORIGINAL | LEARNT | Progress |
14.31/15.15 c 15 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
14.31/15.15 c 15 ===============================================================================
14.31/15.15 c 15 | 22021 | 3639 113053 534249 | 37684 21903 27 | 15.804 % |
14.51/15.23 c 15 | 22121 | 3639 113053 534249 | 41452 22003 27 | 18.773 % |
14.60/15.34 c 15 | 22272 | 3639 113053 534249 | 45598 22154 27 | 18.773 % |
14.69/15.46 c 15 | 22498 | 3639 113053 534249 | 50157 22380 27 | 18.773 % |
14.87/15.68 c 15 | 22835 | 3639 113053 534249 | 55173 22717 27 | 18.773 % |
15.20/16.00 c 16 | 23341 | 3639 113053 534249 | 60690 23223 27 | 18.773 % |
15.70/16.67 c 16 | 24101 | 3639 113053 534249 | 66760 23983 27 | 18.773 % |
16.33/17.37 c 17 | 25240 | 3639 113053 534249 | 73436 25122 27 | 18.773 % |
17.61/18.96 c 19 | 26948 | 3639 113053 534249 | 80779 26830 27 | 18.773 % |
19.19/20.87 c 21 | 29512 | 3639 113053 534249 | 88857 29394 27 | 18.773 % |
21.86/24.16 c 24 | 33356 | 3639 113053 534249 | 97743 33238 27 | 18.773 % |
27.13/30.39 c 30 | 39122 | 3639 113053 534249 | 107517 39004 28 | 18.773 % |
33.69/37.94 c 38 | 47774 | 3639 113053 534249 | 118269 47656 28 | 18.773 % |
49.20/56.33 c 56 | 60749 | 3639 113053 534249 | 130096 60631 31 | 18.773 % |
69.56/78.87 c 79 | 80211 | 3639 113053 534249 | 143106 80093 32 | 18.773 % |
109.59/119.22 c 119 | 109403 | 3639 113053 534249 | 157416 109285 33 | 18.773 % |
190.66/201.03 c 201 | 153192 | 3639 113053 534249 | 173158 153074 35 | 18.773 % |
289.26/300.54 c 300 | 218876 | 3639 113053 534249 | 190474 69408 34 | 18.773 % |
457.23/470.02 c 470 | 317403 | 3639 113053 534249 | 209521 167935 38 | 18.773 % |
769.50/785.13 c 785 | 465194 | 3639 113053 534249 | 230473 138994 43 | 18.773 % |
790.70/806.58 c 806 ===============================================================================
790.70/806.58 c 806 restarts : 39
790.70/806.58 c 806 conflicts : 472829 (601 /sec)
790.70/806.58 c 806 decisions : 551097 (1.50 % random) (700 /sec)
790.70/806.58 c 806 propagations : 118580053 (150697 /sec)
790.70/806.58 c 806 conflict literals : 18938623 (30.71 % deleted)
790.70/806.58 c 806 Memory used : 54.96 MB
790.70/806.58 c 806 CPU time : 786.879 s
790.70/806.58 c 806
790.70/806.58 c 806 SATISFIABLE
790.70/806.58 c 806 OK
790.70/806.58 c 806 FOUND: _COST <= 3
790.70/806.58 c 806 DECODING HOME/temp.out WITH HOME/temp.map
790.70/806.58 c 806 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
790.79/806.67 c 806 Decoding HOME/temp.out
790.79/806.73 c 807 OBJECTIVE _COST 3
790.79/806.73 o 3
790.79/806.74 v 6 31 74 17 56 79 34 13 61 22 69 28 79 5 23 73 58 58 69 79 50 50 12 78 78 6 3 53 70 7 57 30 34 23 41 72 75 0 76 36
790.79/806.74 c 807 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
790.95/806.97 c 807 OK
790.95/806.97 c 807 OBJECTIVE BOUND: 0 <= _COST <= 3
790.95/806.97 c 807 SEARCHING: _COST <= 1
790.95/806.97 c 807 ============================[ Search Statistics ]==============================
790.95/806.97 c 807 | Conflicts | ORIGINAL | LEARNT | Progress |
790.95/806.97 c 807 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
790.95/806.97 c 807 ===============================================================================
790.95/806.97 c 807 | 472829 | 3533 112027 531486 | 37342 146629 43 | 18.773 % |
797.00/813.05 c 813 | 472929 | 3533 112027 531486 | 41076 27150 31 | 21.139 % |
797.19/813.21 c 813 | 473079 | 3533 112027 531486 | 45184 27300 31 | 21.139 % |
797.29/813.33 c 813 | 473305 | 3533 112027 531486 | 49702 27526 31 | 21.139 % |
797.49/813.56 c 813 | 473642 | 3533 112027 531486 | 54672 27863 31 | 21.139 % |
797.79/813.88 c 814 | 474149 | 3533 112027 531486 | 60140 28370 31 | 21.139 % |
798.38/814.40 c 814 | 474908 | 3533 112027 531486 | 66154 29129 31 | 21.139 % |
799.18/815.29 c 815 | 476048 | 3533 112027 531486 | 72769 30269 31 | 21.139 % |
800.85/816.92 c 817 | 477756 | 3533 112027 531486 | 80046 31977 31 | 21.139 % |
802.54/818.66 c 818 | 480319 | 3533 112027 531486 | 88051 34540 31 | 21.139 % |
805.21/821.34 c 821 | 484163 | 3533 112027 531486 | 96856 38384 30 | 21.139 % |
808.88/825.02 c 825 | 489930 | 3533 112027 531486 | 106542 44151 29 | 21.139 % |
814.13/830.39 c 830 | 498579 | 3533 112027 531486 | 117196 52800 29 | 21.139 % |
823.45/839.75 c 840 | 511554 | 3533 112027 531486 | 128915 65775 28 | 21.139 % |
841.48/857.90 c 858 | 531015 | 3533 112027 531486 | 141807 85236 28 | 21.139 % |
872.69/889.49 c 889 | 560207 | 3533 112027 531486 | 155988 114428 28 | 21.139 % |
921.34/938.51 c 938 | 603996 | 3533 112027 531486 | 171587 20069 22 | 21.139 % |
979.71/997.40 c 997 | 669680 | 3533 112027 531486 | 188745 85753 29 | 21.139 % |
1117.34/1136.35 c 1136 | 768209 | 3533 112027 531486 | 207620 184282 31 | 21.139 % |
1313.83/1334.69 c 1334 | 915998 | 3533 112027 531486 | 228382 153427 31 | 21.139 % |
1674.88/1696.05 c 1696 | 1137683 | 3533 112027 531486 | 251220 177256 33 | 21.139 % |
2261.11/2282.58 c 2282 | 1470208 | 3533 112027 531486 | 276342 58870 31 | 21.139 % |
2586.95/2608.57 c 2608 ===============================================================================
2586.95/2608.57 c 2608 restarts : 61
2586.95/2608.57 c 2608 conflicts : 1660129 (643 /sec)
2586.95/2608.57 c 2608 decisions : 2027875 (1.60 % random) (785 /sec)
2586.95/2608.57 c 2608 propagations : 337286076 (130595 /sec)
2586.95/2608.57 c 2608 conflict literals : 60569112 (28.35 % deleted)
2586.95/2608.57 c 2608 Memory used : 70.49 MB
2586.95/2608.57 c 2608 CPU time : 2582.7 s
2586.95/2608.57 c 2608
2586.95/2608.57 c 2608 UNSATISFIABLE
2586.95/2608.57 c 2608 OK
2586.95/2608.57 c 2608 NOT FOUND: _COST <= 1
2586.95/2608.57 c 2608 OK
2586.95/2608.57 c 2608 OBJECTIVE BOUND: 2 <= _COST <= 3
2586.95/2608.57 c 2608 SEARCHING: _COST <= 2
2586.95/2608.57 c 2608 ============================[ Search Statistics ]==============================
2586.95/2608.57 c 2608 | Conflicts | ORIGINAL | LEARNT | Progress |
2586.95/2608.57 c 2608 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2586.95/2608.57 c 2608 ===============================================================================
2586.95/2608.57 c 2608 | 1660129 | 3530 112016 531462 | 37338 188348 32 | 21.139 % |
2587.77/2609.38 c 2609 | 1660229 | 3530 112016 531462 | 41072 23670 25 | 21.206 % |
2587.96/2609.51 c 2609 | 1660379 | 3530 112016 531462 | 45179 23820 25 | 21.206 % |
2588.06/2609.68 c 2609 | 1660605 | 3530 112016 531462 | 49697 24046 25 | 21.206 % |
2588.46/2610.02 c 2610 | 1660943 | 3530 112016 531462 | 54667 24384 25 | 21.206 % |
2588.87/2610.41 c 2610 | 1661450 | 3530 112016 531462 | 60134 24891 25 | 21.206 % |
2589.46/2611.01 c 2611 | 1662210 | 3530 112016 531462 | 66147 25651 25 | 21.206 % |
2589.96/2611.58 c 2611 | 1663350 | 3530 112016 531462 | 72762 26791 25 | 21.206 % |
2591.06/2612.67 c 2612 | 1665060 | 3530 112016 531462 | 80038 28501 25 | 21.206 % |
2592.96/2614.52 c 2614 | 1667623 | 3530 112016 531462 | 88042 31064 25 | 21.206 % |
2595.96/2617.59 c 2617 | 1671467 | 3530 112016 531462 | 96846 34908 25 | 21.206 % |
2601.25/2622.88 c 2623 | 1677234 | 3530 112016 531462 | 106531 40675 26 | 21.206 % |
2611.75/2633.38 c 2633 | 1685885 | 3530 112016 531462 | 117184 49326 27 | 21.206 % |
2621.14/2642.74 c 2643 | 1698863 | 3530 112016 531462 | 128903 62304 27 | 21.206 % |
2639.83/2661.48 c 2661 | 1718326 | 3530 112016 531462 | 141793 81767 28 | 21.206 % |
2672.12/2693.74 c 2694 | 1747519 | 3530 112016 531462 | 155972 110960 28 | 21.206 % |
2735.79/2757.41 c 2757 | 1791309 | 3530 112016 531462 | 171570 154750 29 | 21.206 % |
2806.96/2828.65 c 2828 | 1856993 | 3530 112016 531462 | 188727 70664 28 | 21.206 % |
2809.15/2830.83 c 2831 ===============================================================================
2809.15/2830.83 c 2831 restarts : 79
2809.15/2830.83 c 2831 conflicts : 1858756 (663 /sec)
2809.15/2830.83 c 2831 decisions : 2285547 (1.60 % random) (815 /sec)
2809.15/2830.83 c 2831 propagations : 376933199 (134386 /sec)
2809.15/2830.83 c 2831 conflict literals : 66560309 (28.24 % deleted)
2809.15/2830.83 c 2831 Memory used : 70.49 MB
2809.15/2830.83 c 2831 CPU time : 2804.85 s
2809.15/2830.83 c 2831
2809.15/2830.83 c 2831 SATISFIABLE
2809.15/2830.83 c 2831 OK
2809.15/2830.83 c 2831 FOUND: _COST <= 2
2809.15/2830.83 c 2831 DECODING HOME/temp.out WITH HOME/temp.map
2809.15/2830.83 c 2831 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2809.19/2830.92 c 2831 Decoding HOME/temp.out
2809.19/2830.97 c 2831 OBJECTIVE _COST 2
2809.19/2830.97 o 2
2809.19/2830.97 v 28 29 54 57 43 74 2 77 64 41 18 66 79 61 60 33 23 6 58 8 38 44 61 74 22 37 52 43 6 66 25 19 14 78 73 22 35 64 63 43
2809.19/2830.98 c 2831 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2809.33/2831.03 c 2831 OK
2809.33/2831.03 c 2831 OBJECTIVE _COST 2
2809.33/2831.03 s OPTIMUM FOUND
2809.33/2831.04 c 2831 CPU 2808.6 (0.06 0.03 2808.54 0.75)
2809.33/2831.04 c 2831 END Sun Jul 13 05:16:46 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-1115187-1215916175/watcher-1115187-1215916175 -o /tmp/evaluation-result-1115187-1215916175/solver-1115187-1215916175 -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-1115187-1215916175.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: 4.06 3.66 3.13 6/86 17343
/proc/meminfo: memFree=1700888/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=11912 CPUtime=0
/proc/17343/stat : 17343 (sugar++) R 17341 17343 17919 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 48320096 12197888 77 996147200 4194304 4206940 548682068528 18446744073709551615 212231835488 0 0 4096 0 0 0 0 17 1 0 0
/proc/17343/statm: 2978 77 52 3 0 66 0
[startup+0.115894 s]
/proc/loadavg: 4.06 3.66 3.13 6/86 17343
/proc/meminfo: memFree=1700888/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16740 CPUtime=0.07
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48320096 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.201909 s]
/proc/loadavg: 4.06 3.66 3.13 6/86 17343
/proc/meminfo: memFree=1700888/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16740 CPUtime=0.07
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48320096 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.301922 s]
/proc/loadavg: 4.06 3.66 3.13 6/86 17343
/proc/meminfo: memFree=1700888/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16740 CPUtime=0.07
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 48320096 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701996 s]
/proc/loadavg: 4.06 3.66 3.13 6/86 17343
/proc/meminfo: memFree=1700888/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16740 CPUtime=0.57
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1279 5142 0 1 5 2 45 5 16 0 1 0 48320096 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 16740
[startup+1.50213 s]
/proc/loadavg: 4.06 3.66 3.13 5/97 17425
/proc/meminfo: memFree=1686016/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16740 CPUtime=0.57
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1296 5142 0 1 5 2 45 5 16 0 1 0 48320096 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4185 1104 409 3 0 764 0
[pid=17384] ppid=17343 vsize=5356 CPUtime=0
/proc/17384/stat : 17384 (sh) S 17343 17343 17919 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48320158 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17384/statm: 1339 233 193 169 0 50 0
[pid=17387] ppid=17384 vsize=864012 CPUtime=0.76
/proc/17387/stat : 17387 (java) S 17384 17343 17919 0 -1 0 7744 0 1 0 72 4 0 0 18 0 9 0 48320159 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17387/statm: 216003 7023 2532 9 0 210585 0
[pid=17387/tid=17389] ppid=17384 vsize=864012 CPUtime=0.48
/proc/17387/task/17389/stat : 17389 (java) R 17384 17343 17919 0 -1 64 2467 0 1 0 46 2 0 0 23 0 9 0 48320161 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4126413009 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17390] ppid=17384 vsize=864012 CPUtime=0.21
/proc/17387/task/17390/stat : 17390 (java) S 17384 17343 17919 0 -1 64 4265 0 0 0 20 1 0 0 16 0 9 0 48320162 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17391] ppid=17384 vsize=864012 CPUtime=0
/proc/17387/task/17391/stat : 17391 (java) S 17384 17343 17919 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48320162 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17392] ppid=17384 vsize=864012 CPUtime=0
/proc/17387/task/17392/stat : 17392 (java) S 17384 17343 17919 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 48320162 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17393] ppid=17384 vsize=864012 CPUtime=0
/proc/17387/task/17393/stat : 17393 (java) S 17384 17343 17919 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 48320164 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17394] ppid=17384 vsize=864012 CPUtime=0.04
/proc/17387/task/17394/stat : 17394 (java) S 17384 17343 17919 0 -1 64 315 0 0 0 4 0 0 0 16 0 9 0 48320164 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17399] ppid=17384 vsize=864012 CPUtime=0
/proc/17387/task/17399/stat : 17399 (java) S 17384 17343 17919 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 48320165 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17400] ppid=17384 vsize=864012 CPUtime=0
/proc/17387/task/17400/stat : 17400 (java) S 17384 17343 17919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48320165 884748288 7023 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 886108
[startup+3.10142 s]
/proc/loadavg: 4.06 3.66 3.13 6/98 17446
/proc/meminfo: memFree=1662328/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16740 CPUtime=0.57
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1297 5142 0 1 5 2 45 5 15 0 1 0 48320096 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4185 1104 409 3 0 764 0
[pid=17384] ppid=17343 vsize=5356 CPUtime=0
/proc/17384/stat : 17384 (sh) S 17343 17343 17919 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 48320158 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17384/statm: 1339 233 193 169 0 50 0
[pid=17387] ppid=17384 vsize=864404 CPUtime=2.26
/proc/17387/stat : 17387 (java) S 17384 17343 17919 0 -1 0 11979 0 1 0 217 9 0 0 18 0 9 0 48320159 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17387/statm: 216101 11171 2565 9 0 210648 0
[pid=17387/tid=17389] ppid=17384 vsize=864404 CPUtime=1.37
/proc/17387/task/17389/stat : 17389 (java) R 17384 17343 17919 0 -1 64 3005 0 1 0 133 4 0 0 22 0 9 0 48320161 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4126683484 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17390] ppid=17384 vsize=864404 CPUtime=0.73
/proc/17387/task/17390/stat : 17390 (java) S 17384 17343 17919 0 -1 64 7912 0 0 0 70 3 0 0 16 0 9 0 48320162 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17391] ppid=17384 vsize=864404 CPUtime=0
/proc/17387/task/17391/stat : 17391 (java) S 17384 17343 17919 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 48320162 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17392] ppid=17384 vsize=864404 CPUtime=0
/proc/17387/task/17392/stat : 17392 (java) S 17384 17343 17919 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 48320162 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17393] ppid=17384 vsize=864404 CPUtime=0
/proc/17387/task/17393/stat : 17393 (java) S 17384 17343 17919 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 48320164 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17394] ppid=17384 vsize=864404 CPUtime=0.12
/proc/17387/task/17394/stat : 17394 (java) S 17384 17343 17919 0 -1 64 365 0 0 0 12 0 0 0 15 0 9 0 48320164 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17399] ppid=17384 vsize=864404 CPUtime=0
/proc/17387/task/17399/stat : 17399 (java) S 17384 17343 17919 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 48320165 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17387/tid=17400] ppid=17384 vsize=864404 CPUtime=0
/proc/17387/task/17400/stat : 17400 (java) S 17384 17343 17919 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 48320165 885149696 11171 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 886500
[startup+6.30298 s]
/proc/loadavg: 4.13 3.68 3.14 5/89 17622
/proc/meminfo: memFree=1684472/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.59
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1690 28641 0 5 5 2 329 23 15 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=8972 CPUtime=2.19
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 2178 0 0 0 218 1 0 0 25 0 1 0 48320448 9187328 2120 996147200 134512640 135134323 4294956192 18446744073709551615 134531980 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 2243 2120 79 151 0 2089 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 25844
[startup+12.7011 s]
/proc/loadavg: 4.12 3.69 3.15 3/89 17867
/proc/meminfo: memFree=1682552/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.59
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1690 28641 0 5 5 2 329 23 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=11044 CPUtime=8.52
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 2692 0 0 0 849 3 0 0 25 0 1 0 48320448 11309056 2634 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 2761 2634 79 151 0 2607 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 27916
[startup+25.5013 s]
/proc/loadavg: 4.10 3.70 3.16 5/88 18860
/proc/meminfo: memFree=1679352/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.75
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1759 32371 0 6 6 2 341 26 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=13388 CPUtime=19.31
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 3285 0 0 0 1928 3 0 0 25 0 1 0 48320448 13709312 3225 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/17512/statm: 3347 3225 79 151 0 3193 0
Current children cumulated CPU time (s) 23.06
Current children cumulated vsize (KiB) 30260
[startup+51.1017 s]
/proc/loadavg: 4.02 3.71 3.18 5/89 20676
/proc/meminfo: memFree=1673008/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.75
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1759 32371 0 6 6 2 341 26 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=17700 CPUtime=40.98
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 4348 0 0 0 4093 5 0 0 25 0 1 0 48320448 18124800 4288 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17512/statm: 4425 4288 79 151 0 4271 0
Current children cumulated CPU time (s) 44.73
Current children cumulated vsize (KiB) 34572
[startup+102.303 s]
/proc/loadavg: 3.57 3.66 3.19 4/82 21817
/proc/meminfo: memFree=1666728/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.75
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1759 32371 0 6 6 2 341 26 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=25512 CPUtime=89.1
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 6205 0 0 0 8902 8 0 0 25 0 1 0 48320448 26124288 6145 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17512/statm: 6378 6145 79 151 0 6224 0
Current children cumulated CPU time (s) 92.85
Current children cumulated vsize (KiB) 42384
[startup+162.302 s]
/proc/loadavg: 3.10 3.51 3.16 4/82 21817
/proc/meminfo: memFree=1659624/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.75
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1759 32371 0 6 6 2 341 26 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=32548 CPUtime=148.55
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 7997 0 0 0 14846 9 0 0 25 0 1 0 48320448 33329152 7937 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17512/statm: 8137 7937 79 151 0 7983 0
Current children cumulated CPU time (s) 152.3
Current children cumulated vsize (KiB) 49420
[startup+222.306 s]
/proc/loadavg: 2.75 3.33 3.12 4/82 21817
/proc/meminfo: memFree=1652840/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.75
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1759 32371 0 6 6 2 341 26 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=39664 CPUtime=208.02
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 9661 0 0 0 20792 10 0 0 25 0 1 0 48320448 40615936 9601 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17512/statm: 9916 9601 79 151 0 9762 0
Current children cumulated CPU time (s) 211.77
################
# More data... #
################
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.22 3/76 21946
/proc/meminfo: memFree=1657048/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1829 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2416.91
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17326 0 0 0 241650 41 0 0 25 0 1 0 48320448 73912320 17264 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17264 79 151 0 17891 0
Current children cumulated CPU time (s) 2420.83
Current children cumulated vsize (KiB) 89052
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/76 21946
/proc/meminfo: memFree=1656024/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1829 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2476.88
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17327 0 0 0 247647 41 0 0 25 0 1 0 48320448 73912320 17265 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17265 79 151 0 17891 0
Current children cumulated CPU time (s) 2480.8
Current children cumulated vsize (KiB) 89052
[startup+2562.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/76 21946
/proc/meminfo: memFree=1655960/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1829 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2536.85
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17330 0 0 0 253644 41 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2540.77
Current children cumulated vsize (KiB) 89052
[startup+2622.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/76 21946
/proc/meminfo: memFree=1655576/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2596.83
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 259641 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2600.75
Current children cumulated vsize (KiB) 89052
[startup+2682.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/76 21946
/proc/meminfo: memFree=1655128/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2656.8
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 265638 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2660.72
Current children cumulated vsize (KiB) 89052
[startup+2742.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/76 21946
/proc/meminfo: memFree=1654232/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2716.78
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 271636 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2720.7
Current children cumulated vsize (KiB) 89052
[startup+2802.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/76 21946
/proc/meminfo: memFree=1648152/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2776.75
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 277633 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531865 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2780.67
Current children cumulated vsize (KiB) 89052
Solver just ended. Dumping a history of the last processes samples
[startup+2816 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1646680/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2790.44
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 279002 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2794.36
Current children cumulated vsize (KiB) 89052
[startup+2822.4 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1646104/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2796.84
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 279642 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2800.76
Current children cumulated vsize (KiB) 89052
[startup+2825.6 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1645912/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2800.04
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 279962 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2803.96
Current children cumulated vsize (KiB) 89052
[startup+2828.8 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1645720/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2803.24
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 280282 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2807.16
Current children cumulated vsize (KiB) 89052
[startup+2830.41 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1645656/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2804.84
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 280442 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134532106 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2808.76
Current children cumulated vsize (KiB) 89052
[startup+2830.8 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1645656/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=3.92
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1831 36099 0 7 6 3 355 28 16 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2805.23
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17332 0 0 0 280481 42 0 0 25 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2809.15
Current children cumulated vsize (KiB) 89052
[startup+2831.01 s]
/proc/loadavg: 2.00 2.00 2.13 3/76 21946
/proc/meminfo: memFree=1645656/2055920 swapFree=4192812/4192956
[pid=17343] ppid=17341 vsize=16872 CPUtime=4.06
/proc/17343/stat : 17343 (sugar++) S 17341 17343 17919 0 -1 4194304 1897 39828 0 8 6 3 366 31 15 0 1 0 48320096 17276928 1116 996147200 4194304 4206940 548682068528 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17343/statm: 4218 1116 414 3 0 797 0
[pid=17512] ppid=17343 vsize=72180 CPUtime=2805.27
/proc/17512/stat : 17512 (minisat-inc) R 17343 17343 17919 0 -1 4194304 17334 0 0 0 280485 42 0 0 24 0 1 0 48320448 73912320 17268 996147200 134512640 135134323 4294956192 18446744073709551615 134532718 0 0 4096 3 0 0 0 17 0 0 0
/proc/17512/statm: 18045 17268 79 151 0 17891 0
Current children cumulated CPU time (s) 2809.33
Current children cumulated vsize (KiB) 89052
Child status: 0
Real time (s): 2831.05
CPU time (s): 2809.4
CPU user time (s): 2808.61
CPU system time (s): 0.78888
CPU usage (%): 99.2354
Max. virtual memory (cumulated for all children) (KiB): 886500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2808.61
system time used= 0.78888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59140
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= 4019
involuntary context switches= 38972
runsolver used 3.10253 second user time and 9.31558 second system time
The end
Begin job on node14 at 2008-07-13 04:29:35
IDJOB=1115187
IDBENCH=61827
IDSOLVER=367
FILE ID=node14/1115187-1215916175
PBS_JOBID= 7903726
Free space on /tmp= 66460 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.8/normalized-rand-2-40-80-103-800-3_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-1115187-1215916175/watcher-1115187-1215916175 -o /tmp/evaluation-result-1115187-1215916175/solver-1115187-1215916175 -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-1115187-1215916175.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3b0f4f3d9fb4873abcdbd753efb5e9cf
RANDOM SEED=2043640870
node14.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.270
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.270
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: 1701496 kB
Buffers: 48304 kB
Cached: 145496 kB
SwapCached: 0 kB
Active: 206976 kB
Inactive: 91100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1701496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1584 kB
Writeback: 0 kB
Mapped: 124972 kB
Slab: 40888 kB
Committed_AS: 1033560 kB
PageTables: 2440 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= 66460 MiB
End job on node14 at 2008-07-13 05:16:46