0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Fri Jul 11 16:19:54 2008
0.00/0.08 c 0 PID 9652
0.00/0.08 c 0 HOST node78.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-1108723-1215785994.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-1108723-1215785994.xml' 'HOME/temp.csp'
0.06/0.56 c 1 1 domains, 23 variables, 0 predicates, 253 relations, 253 constraints
0.06/0.57 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.57 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.52/0.68 c 1 Parsing HOME/temp.csp
0.52/0.96 c 1 parsed 530 expressions
0.52/0.96 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.52/0.96 c 1 MAX CSP: 253 constraints
0.52/0.96 c 1 Converting to clausal form CSP
0.52/0.99 c 1 converted 79 (10%) expressions
0.52/0.99 c 1 converted 158 (20%) expressions
0.52/1.00 c 1 converted 236 (30%) expressions
0.90/1.07 c 1 converted 315 (40%) expressions
0.90/1.09 c 1 converted 393 (50%) expressions
1.00/1.11 c 1 converted 472 (60%) expressions
1.00/1.13 c 2 converted 551 (70%) expressions
1.00/1.14 c 2 converted 629 (80%) expressions
1.00/1.16 c 2 converted 708 (90%) expressions
1.19/1.32 c 2 converted 786 (100%) expressions
1.19/1.32 c 2 CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 380
1.19/1.32 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.19/1.32 c 2 Propagation in CSP
1.29/1.40 c 2 246 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.29/1.40 c 2 CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 254
1.29/1.40 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.29/1.41 c 2 Simplifing CSP by introducing new Boolean variables
1.29/1.41 c 2 CSP : 529 integers, 0 booleans, 758 clauses, largest domain size 254
1.29/1.41 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.29/1.45 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.29/1.46 c 2 53 (10%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.29/1.47 c 2 106 (20%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.29/1.47 c 2 159 (30%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.29/1.47 c 2 212 (40%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.29/1.47 c 2 265 (50%) CSP integer variables are encoded (483 clauses, 5171 bytes)
1.29/1.47 c 2 318 (60%) CSP integer variables are encoded (886 clauses, 9931 bytes)
1.29/1.47 c 2 371 (70%) CSP integer variables are encoded (1185 clauses, 13818 bytes)
1.29/1.47 c 2 424 (80%) CSP integer variables are encoded (1556 clauses, 18641 bytes)
1.29/1.48 c 2 477 (90%) CSP integer variables are encoded (3233 clauses, 40442 bytes)
1.29/1.48 c 2 529 (100%) CSP integer variables are encoded (3777 clauses, 47514 bytes)
1.40/1.56 c 2 76 (10%) CSP clauses are encoded (10488 clauses, 193168 bytes)
1.49/1.61 c 2 152 (20%) CSP clauses are encoded (17183 clauses, 351450 bytes)
1.49/1.65 c 2 228 (30%) CSP clauses are encoded (23894 clauses, 512606 bytes)
1.49/1.68 c 2 304 (40%) CSP clauses are encoded (26627 clauses, 574296 bytes)
1.49/1.69 c 2 379 (50%) CSP clauses are encoded (30924 clauses, 650493 bytes)
1.49/1.69 c 2 455 (60%) CSP clauses are encoded (32340 clauses, 674505 bytes)
1.59/1.72 c 2 531 (70%) CSP clauses are encoded (44062 clauses, 887244 bytes)
1.59/1.72 c 2 607 (80%) CSP clauses are encoded (45622 clauses, 913788 bytes)
1.59/1.78 c 2 683 (90%) CSP clauses are encoded (79838 clauses, 1526779 bytes)
1.69/1.84 c 2 758 (100%) CSP clauses are encoded (112597 clauses, 2125631 bytes)
1.69/1.84 c 2 758 CSP clauses encoded
1.69/1.84 c 2 Writing map file : HOME/temp.map
1.69/1.85 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.69/1.85 c 2 SAT : 4306 SAT variables, 112597 SAT clauses, 2125631 bytes
1.69/1.85 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.74/1.91 c 2 OBJECTIVE minimize _COST
1.74/1.91 c 2 SOLVING HOME/temp.cnf
1.74/1.91 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.74/1.91 c 2 This is MiniSat 2.0 beta incremental
1.74/1.91 c 2 WARNING: for repeatability, setting FPU to use double precision
1.74/1.91 c 2 ============================[ Problem Statistics ]=============================
1.74/1.91 c 2 | |
1.74/1.91 c 2 | Number of variables: 4306 |
1.74/1.91 c 2 | Number of clauses: 112597 |
1.74/1.96 c 2 | Parsing time: 0.05 s |
1.74/1.97 c 2 OK
1.74/1.97 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.74/1.97 c 2 SEARCHING: _COST <= 127
1.74/1.97 c 2 ============================[ Search Statistics ]==============================
1.74/1.97 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.74/1.97 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.74/1.97 c 2 ===============================================================================
1.74/1.97 c 2 | 0 | 4306 112597 367002 | 37532 0 nan | 0.000 % |
1.74/1.99 c 2 | 100 | 4306 112597 367002 | 41285 100 54 | 0.005 % |
1.76/2.02 c 2 | 250 | 4306 112597 367002 | 45414 250 41 | 0.005 % |
1.76/2.02 c 2 ===============================================================================
1.76/2.02 c 2 restarts : 3
1.76/2.02 c 2 conflicts : 283 (2573 /sec)
1.76/2.02 c 2 decisions : 501 (0.40 % random) (4555 /sec)
1.76/2.03 c 2 propagations : 72773 (661675 /sec)
1.76/2.03 c 2 conflict literals : 11395 (20.20 % deleted)
1.76/2.03 c 2 Memory used : 6.95 MB
1.76/2.03 c 2 CPU time : 0.109983 s
1.76/2.03 c 2
1.76/2.03 c 2 SATISFIABLE
1.76/2.03 c 2 OK
1.76/2.03 c 2 FOUND: _COST <= 127
1.76/2.03 s SATISFIABLE
1.76/2.03 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.76/2.03 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.89/2.15 c 3 Decoding HOME/temp.out
1.99/2.21 c 3 OBJECTIVE _COST 49
1.99/2.21 o 49
1.99/2.21 v 14 20 20 22 17 20 22 22 22 0 21 19 21 6 22 19 19 20 22 22 22 22 22
1.99/2.22 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.99/2.23 c 3 OK
1.99/2.23 c 3 OBJECTIVE BOUND: 0 <= _COST <= 49
1.99/2.23 c 3 SEARCHING: _COST <= 24
1.99/2.24 c 3 ============================[ Search Statistics ]==============================
1.99/2.25 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
1.99/2.25 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.99/2.25 c 3 ===============================================================================
1.99/2.25 c 3 | 283 | 4306 112597 367002 | 37532 283 40 | 0.005 % |
1.99/2.26 c 3 | 383 | 4306 112597 367002 | 41285 383 38 | 40.713 % |
1.99/2.28 c 3 | 533 | 4306 112597 367002 | 45414 533 34 | 40.713 % |
2.07/2.31 c 3 | 759 | 4306 112597 367002 | 49955 759 32 | 40.713 % |
2.07/2.37 c 3 | 1098 | 4306 112597 367002 | 54951 1098 31 | 40.713 % |
2.18/2.45 c 3 | 1606 | 4306 112597 367002 | 60446 1606 30 | 40.713 % |
2.38/2.61 c 3 ===============================================================================
2.38/2.61 c 3 restarts : 9
2.38/2.61 c 3 conflicts : 2358 (4863 /sec)
2.38/2.61 c 3 decisions : 2903 (0.48 % random) (5986 /sec)
2.38/2.61 c 3 propagations : 704417 (1452628 /sec)
2.38/2.61 c 3 conflict literals : 72415 (35.32 % deleted)
2.38/2.61 c 3 Memory used : 7.21 MB
2.38/2.61 c 3 CPU time : 0.484926 s
2.38/2.61 c 3
2.38/2.61 c 3 SATISFIABLE
2.38/2.61 c 3 OK
2.38/2.61 c 3 FOUND: _COST <= 24
2.38/2.61 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.38/2.61 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'
2.39/2.71 c 3 Decoding HOME/temp.out
2.39/2.77 c 3 OBJECTIVE _COST 24
2.39/2.77 o 24
2.39/2.78 v 22 18 21 12 20 22 22 22 22 1 22 9 8 22 3 22 17 17 22 22 22 0 22
2.39/2.78 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.39/2.79 c 3 OK
2.39/2.79 c 3 OBJECTIVE BOUND: 0 <= _COST <= 24
2.39/2.79 c 3 SEARCHING: _COST <= 12
2.56/2.80 c 3 ============================[ Search Statistics ]==============================
2.56/2.80 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.56/2.80 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.56/2.80 c 3 ===============================================================================
2.56/2.80 c 3 | 2358 | 2553 53544 194898 | 17848 2358 31 | 40.713 % |
2.56/2.81 c 3 | 2458 | 2553 53544 194898 | 19632 2458 30 | 48.933 % |
2.56/2.84 c 3 | 2608 | 2199 40410 156533 | 21596 2592 30 | 48.933 % |
2.56/2.88 c 3 | 2833 | 2199 40410 156533 | 23755 2817 30 | 48.933 % |
2.66/2.94 c 3 | 3170 | 2199 40410 156533 | 26131 3154 29 | 48.933 % |
2.76/3.03 c 3 | 3676 | 2199 40410 156533 | 28744 3660 29 | 48.933 % |
2.86/3.17 c 4 | 4437 | 2199 40410 156533 | 31618 4421 33 | 48.933 % |
3.05/3.38 c 4 | 5576 | 2199 40410 156533 | 34780 5560 32 | 48.933 % |
3.35/3.68 c 4 | 7286 | 2199 40410 156533 | 38258 7270 31 | 48.933 % |
3.95/4.22 c 5 | 9848 | 2199 40410 156533 | 42084 9832 29 | 48.933 % |
4.84/5.11 c 5 | 13692 | 2199 40410 156533 | 46293 13676 29 | 48.933 % |
6.23/6.51 c 7 | 19458 | 2199 40410 156533 | 50922 19442 31 | 48.933 % |
9.11/9.43 c 10 | 28107 | 2199 40410 156533 | 56014 28091 30 | 48.933 % |
15.47/15.81 c 16 | 41081 | 2199 40410 156533 | 61616 41065 31 | 48.933 % |
27.80/28.28 c 29 | 60545 | 2199 40410 156533 | 67777 60529 31 | 48.933 % |
41.52/42.00 c 42 | 89741 | 2199 40410 156533 | 74555 32741 32 | 48.933 % |
69.85/70.52 c 71 | 133531 | 2199 40410 156533 | 82011 76531 31 | 48.933 % |
72.85/73.60 c 74 ===============================================================================
72.85/73.60 c 74 restarts : 26
72.85/73.60 c 74 conflicts : 137617 (1943 /sec)
72.85/73.60 c 74 decisions : 149517 (0.58 % random) (2111 /sec)
72.85/73.60 c 74 propagations : 39051804 (551250 /sec)
72.85/73.60 c 74 conflict literals : 4298082 (38.65 % deleted)
72.85/73.60 c 74 Memory used : 18.38 MB
72.85/73.60 c 74 CPU time : 70.8422 s
72.85/73.60 c 74
72.85/73.60 c 74 SATISFIABLE
72.95/73.61 c 74 OK
72.95/73.61 c 74 FOUND: _COST <= 12
72.95/73.61 c 74 DECODING HOME/temp.out WITH HOME/temp.map
72.95/73.61 c 74 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
72.95/73.72 c 74 Decoding HOME/temp.out
72.95/73.78 c 74 OBJECTIVE _COST 12
72.95/73.78 o 12
72.95/73.78 v 16 18 1 12 22 11 17 22 22 1 14 5 12 5 22 22 14 8 16 17 22 0 4
72.95/73.78 c 74 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
72.96/73.83 c 74 OK
72.96/73.83 c 74 OBJECTIVE BOUND: 0 <= _COST <= 12
72.96/73.83 c 74 SEARCHING: _COST <= 6
72.96/73.83 c 74 ============================[ Search Statistics ]==============================
72.96/73.83 c 74 | Conflicts | ORIGINAL | LEARNT | Progress |
72.96/73.83 c 74 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
72.96/73.83 c 74 ===============================================================================
72.96/73.83 c 74 | 137617 | 1913 32986 135107 | 10995 80617 31 | 48.933 % |
74.00/74.75 c 75 | 137717 | 1913 32986 135107 | 12094 7460 29 | 55.575 % |
74.00/74.79 c 75 | 137868 | 1913 32986 135107 | 13304 7611 29 | 55.575 % |
74.10/74.83 c 75 | 138094 | 1913 32986 135107 | 14634 7837 29 | 55.575 % |
74.10/74.90 c 75 | 138431 | 1913 32986 135107 | 16098 8174 29 | 55.575 % |
74.19/74.99 c 75 | 138937 | 1913 32986 135107 | 17708 8680 29 | 55.575 % |
74.39/75.14 c 76 | 139696 | 1913 32986 135107 | 19478 9439 29 | 55.575 % |
74.59/75.34 c 76 | 140835 | 1913 32986 135107 | 21426 10578 29 | 55.575 % |
74.89/75.69 c 76 | 142544 | 1913 32986 135107 | 23569 12287 29 | 55.575 % |
75.48/76.27 c 77 | 145106 | 1913 32986 135107 | 25926 14849 31 | 55.575 % |
76.47/77.28 c 78 | 148950 | 1913 32986 135107 | 28519 18693 35 | 55.575 % |
77.97/78.73 c 79 | 154716 | 1913 32986 135107 | 31370 24459 34 | 55.575 % |
80.45/81.26 c 82 | 163365 | 1913 32986 135107 | 34508 33108 37 | 55.575 % |
84.63/85.43 c 86 | 176340 | 1913 32986 135107 | 37958 20239 48 | 55.575 % |
91.39/92.27 c 93 | 195801 | 1913 32986 135107 | 41754 39700 48 | 55.575 % |
96.86/97.76 c 98 ===============================================================================
96.86/97.76 c 98 restarts : 41
96.86/97.76 c 98 conflicts : 213894 (2259 /sec)
96.86/97.76 c 98 decisions : 233417 (0.57 % random) (2466 /sec)
96.86/97.76 c 98 propagations : 59248448 (625851 /sec)
96.86/97.76 c 98 conflict literals : 7544130 (34.24 % deleted)
96.86/97.76 c 98 Memory used : 18.38 MB
96.86/97.76 c 98 CPU time : 94.6686 s
96.86/97.76 c 98
96.86/97.76 c 98 SATISFIABLE
96.86/97.76 c 98 OK
96.86/97.76 c 98 FOUND: _COST <= 6
96.86/97.76 c 98 DECODING HOME/temp.out WITH HOME/temp.map
96.86/97.76 c 98 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
96.93/97.87 c 98 Decoding HOME/temp.out
97.02/97.93 c 98 OBJECTIVE _COST 6
97.02/97.93 o 6
97.02/97.93 v 2 22 1 21 22 16 22 22 5 0 20 19 21 17 17 16 16 3 22 22 21 22 5
97.02/97.94 c 98 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
97.02/97.97 c 98 OK
97.02/97.97 c 98 OBJECTIVE BOUND: 0 <= _COST <= 6
97.02/97.97 c 98 SEARCHING: _COST <= 3
97.02/97.97 c 98 ============================[ Search Statistics ]==============================
97.02/97.97 c 98 | Conflicts | ORIGINAL | LEARNT | Progress |
97.02/97.97 c 98 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
97.02/97.97 c 98 ===============================================================================
97.02/97.97 c 98 | 213894 | 1649 28721 123098 | 9573 25999 40 | 55.575 % |
97.11/98.04 c 98 | 213994 | 1649 28721 123098 | 10531 6365 33 | 61.706 % |
97.11/98.07 c 98 | 214144 | 1649 28721 123098 | 11584 6515 34 | 61.706 % |
97.21/98.11 c 98 | 214369 | 1649 28721 123098 | 12742 6740 34 | 61.706 % |
97.21/98.18 c 99 | 214706 | 1649 28721 123098 | 14016 7077 35 | 61.706 % |
97.31/98.29 c 99 | 215212 | 1649 28721 123098 | 15418 7583 35 | 61.706 % |
97.50/98.45 c 99 | 215975 | 1649 28721 123098 | 16960 8346 37 | 61.706 % |
97.70/98.69 c 99 | 217114 | 1649 28721 123098 | 18656 9485 36 | 61.706 % |
98.11/99.02 c 99 | 218822 | 1649 28721 123098 | 20522 11193 39 | 61.706 % |
98.70/99.65 c 100 | 221384 | 1649 28721 123098 | 22574 13755 39 | 61.706 % |
99.59/100.51 c 101 | 225228 | 1649 28721 123098 | 24831 17599 41 | 61.706 % |
101.18/102.12 c 103 | 230996 | 1649 28721 123098 | 27314 23367 39 | 61.706 % |
103.96/104.96 c 105 | 239645 | 1649 28721 123098 | 30046 13261 32 | 61.706 % |
107.74/108.75 c 109 | 252619 | 1649 28721 123098 | 33050 26235 34 | 61.706 % |
113.31/114.37 c 115 | 272081 | 1649 28721 123098 | 36355 20588 55 | 61.706 % |
126.03/127.10 c 127 | 301273 | 1649 28721 123098 | 39991 23987 69 | 61.706 % |
144.93/146.17 c 147 | 345063 | 1649 28721 123098 | 43990 39709 54 | 61.706 % |
168.68/170.01 c 170 | 410747 | 1649 28721 123098 | 48389 37724 38 | 61.706 % |
212.02/213.65 c 214 | 509275 | 1649 28721 123098 | 53228 21661 42 | 61.706 % |
280.02/282.08 c 282 | 657064 | 1649 28721 123098 | 58551 41804 44 | 61.706 % |
376.95/379.53 c 380 | 878747 | 1649 28721 123098 | 64406 28032 34 | 61.706 % |
527.45/530.98 c 531 | 1211274 | 1649 28721 123098 | 70847 42090 28 | 61.706 % |
774.49/779.49 c 780 | 1710062 | 1649 28721 123098 | 77932 71840 32 | 61.706 % |
981.67/987.88 c 988 ===============================================================================
981.67/987.89 c 988 restarts : 64
981.67/987.89 c 988 conflicts : 2091668 (2136 /sec)
981.67/987.89 c 988 decisions : 2292639 (0.63 % random) (2341 /sec)
981.67/987.89 c 988 propagations : 547825064 (559403 /sec)
981.67/987.89 c 988 conflict literals : 83185378 (28.32 % deleted)
981.67/987.89 c 988 Memory used : 34.11 MB
981.67/987.89 c 988 CPU time : 979.303 s
981.67/987.89 c 988
981.67/987.89 c 988 SATISFIABLE
981.67/987.89 c 988 OK
981.67/987.89 c 988 FOUND: _COST <= 3
981.67/987.89 c 988 DECODING HOME/temp.out WITH HOME/temp.map
981.67/987.89 c 988 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
981.75/988.00 c 988 Decoding HOME/temp.out
981.75/988.06 c 988 OBJECTIVE _COST 3
981.75/988.06 o 3
981.75/988.06 v 18 19 18 12 7 12 1 9 14 19 22 10 22 18 4 6 0 17 7 19 20 22 12
981.75/988.06 c 988 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
981.92/988.10 c 988 OK
981.92/988.10 c 988 OBJECTIVE BOUND: 0 <= _COST <= 3
981.92/988.10 c 988 SEARCHING: _COST <= 1
981.92/988.10 c 988 ============================[ Search Statistics ]==============================
981.92/988.10 c 988 | Conflicts | ORIGINAL | LEARNT | Progress |
981.92/988.10 c 988 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
981.92/988.10 c 988 ===============================================================================
981.92/988.10 c 988 | 2091668 | 1393 26169 116207 | 8723 56370 38 | 61.706 % |
982.12/988.36 c 989 | 2091768 | 1393 26169 116207 | 9595 7901 42 | 67.652 % |
982.22/988.40 c 989 | 2091918 | 1393 26169 116207 | 10554 8051 43 | 67.652 % |
982.22/988.46 c 989 | 2092143 | 1393 26169 116207 | 11610 8276 42 | 67.652 % |
982.32/988.54 c 989 | 2092480 | 1393 26169 116207 | 12771 8613 42 | 67.652 % |
982.42/988.66 c 989 | 2092986 | 1393 26169 116207 | 14048 9119 43 | 67.652 % |
982.62/988.86 c 989 | 2093745 | 1393 26169 116207 | 15453 9878 42 | 67.652 % |
982.91/989.12 c 990 | 2094884 | 1393 26169 116207 | 16998 11017 41 | 67.652 % |
983.31/989.50 c 990 | 2096592 | 1393 26169 116207 | 18698 12725 41 | 67.652 % |
983.90/990.13 c 991 | 2099155 | 1393 26169 116207 | 20568 15288 41 | 67.652 % |
984.81/991.03 c 991 | 2102999 | 1393 26169 116207 | 22625 19132 42 | 67.652 % |
986.59/992.84 c 993 | 2108765 | 1393 26169 116207 | 24887 24898 43 | 67.652 % |
989.18/995.46 c 996 | 2117414 | 1393 26169 116207 | 27376 16485 42 | 67.652 % |
993.85/1000.15 c 1001 | 2130388 | 1393 26169 116207 | 30114 29459 48 | 67.652 % |
999.81/1006.20 c 1007 | 2149849 | 1393 26169 116207 | 33125 26937 55 | 67.652 % |
1008.96/1015.34 c 1016 | 2179041 | 1393 26169 116207 | 36438 31386 39 | 67.652 % |
1025.06/1031.59 c 1032 | 2222830 | 1393 26169 116207 | 40081 19741 51 | 67.652 % |
1047.82/1054.44 c 1055 | 2288514 | 1393 26169 116207 | 44090 22023 54 | 67.652 % |
1090.27/1097.13 c 1098 | 2387040 | 1393 26169 116207 | 48499 19660 44 | 67.652 % |
1151.61/1158.86 c 1159 | 2534829 | 1393 26169 116207 | 53349 51422 38 | 67.652 % |
1242.17/1249.96 c 1250 | 2756512 | 1393 26169 116207 | 58683 15185 34 | 67.652 % |
1379.46/1388.08 c 1388 | 3089037 | 1393 26169 116207 | 64552 52536 60 | 67.652 % |
1663.09/1673.30 c 1674 | 3587826 | 1393 26169 116207 | 71007 21492 36 | 67.652 % |
2038.97/2051.44 c 2052 | 4336008 | 1393 26169 116207 | 78108 46178 44 | 67.652 % |
2293.06/2307.04 c 2307 ===============================================================================
2293.06/2307.04 c 2307 restarts : 88
2293.06/2307.04 c 2307 conflicts : 4781356 (2088 /sec)
2293.06/2307.04 c 2307 decisions : 5351230 (0.62 % random) (2336 /sec)
2293.06/2307.04 c 2307 propagations : 1045342986 (456389 /sec)
2293.06/2307.04 c 2307 conflict literals : 218050620 (24.26 % deleted)
2293.06/2307.04 c 2307 Memory used : 46.93 MB
2293.06/2307.04 c 2307 CPU time : 2290.46 s
2293.06/2307.04 c 2307
2293.06/2307.04 c 2307 SATISFIABLE
2293.06/2307.05 c 2307 OK
2293.06/2307.05 c 2307 FOUND: _COST <= 1
2293.06/2307.05 c 2307 DECODING HOME/temp.out WITH HOME/temp.map
2293.06/2307.05 c 2307 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2293.11/2307.17 c 2308 Decoding HOME/temp.out
2293.11/2307.24 c 2308 OBJECTIVE _COST 1
2293.11/2307.24 o 1
2293.11/2307.24 v 3 0 0 4 19 3 14 7 11 10 12 18 21 20 7 22 20 3 22 15 15 3 22
2293.11/2307.25 c 2308 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2293.11/2307.32 c 2308 OK
2293.11/2307.32 c 2308 OBJECTIVE BOUND: 0 <= _COST <= 1
2293.11/2307.32 c 2308 SEARCHING: _COST <= 0
2293.11/2307.32 c 2308 ============================[ Search Statistics ]==============================
2293.11/2307.32 c 2308 | Conflicts | ORIGINAL | LEARNT | Progress |
2293.11/2307.32 c 2308 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2293.11/2307.32 c 2308 ===============================================================================
2293.11/2307.32 c 2308 | 4781356 | 1012 23839 110358 | 7946 26104 57 | 67.652 % |
2293.35/2307.40 c 2308 | 4781457 | 1012 23839 110358 | 8740 6627 52 | 76.501 % |
2293.35/2307.43 c 2308 | 4781607 | 1012 23839 110358 | 9615 6777 52 | 76.501 % |
2293.35/2307.48 c 2308 | 4781832 | 1012 23839 110358 | 10576 7002 52 | 76.501 % |
2293.46/2307.54 c 2308 | 4782169 | 1012 23839 110358 | 11634 7339 52 | 76.501 % |
2293.56/2307.65 c 2308 | 4782675 | 1012 23839 110358 | 12797 7845 52 | 76.501 % |
2293.67/2307.80 c 2308 | 4783435 | 1012 23839 110358 | 14077 8605 52 | 76.501 % |
2293.95/2308.04 c 2308 | 4784574 | 1012 23839 110358 | 15485 9744 52 | 76.501 % |
2294.35/2308.40 c 2309 | 4786282 | 1012 23839 110358 | 17033 11452 52 | 76.501 % |
2294.95/2309.04 c 2309 | 4788844 | 1012 23839 110358 | 18737 14014 58 | 76.501 % |
2295.95/2310.02 c 2310 | 4792689 | 1012 23839 110358 | 20610 17859 58 | 76.501 % |
2297.64/2311.79 c 2312 | 4798455 | 1012 23839 110358 | 22671 23625 55 | 76.501 % |
2300.32/2314.47 c 2315 | 4807105 | 1012 23839 110358 | 24938 17405 46 | 76.501 % |
2304.29/2318.46 c 2319 | 4820079 | 1012 23839 110358 | 27432 13317 51 | 76.501 % |
2310.95/2325.16 c 2326 | 4839540 | 1012 23839 110358 | 30176 13400 49 | 76.501 % |
2320.00/2334.23 c 2335 | 4868732 | 1012 23839 110358 | 33193 20067 55 | 76.501 % |
2334.61/2348.92 c 2349 | 4912522 | 1012 23839 110358 | 36513 13895 54 | 76.501 % |
2358.68/2373.16 c 2374 | 4978208 | 1012 23839 110358 | 40164 24439 56 | 76.501 % |
2393.57/2408.28 c 2409 | 5076734 | 1012 23839 110358 | 44180 28479 56 | 76.501 % |
2455.99/2471.03 c 2471 | 5224523 | 1012 23839 110358 | 48599 37543 67 | 76.501 % |
2548.15/2563.74 c 2564 | 5446207 | 1012 23839 110358 | 53458 25077 59 | 76.501 % |
2691.51/2707.91 c 2708 | 5778732 | 1012 23839 110358 | 58804 51895 57 | 76.501 % |
2910.02/2927.79 c 2928 | 6277520 | 1012 23839 110358 | 64685 57399 58 | 76.501 % |
3249.31/3269.00 c 3269 | 7025704 | 1012 23839 110358 | 71153 33561 57 | 76.501 % |
3600.05/3620.31 c ERROR INTERRUPTED
3600.05/3620.31 c 3621 CPU 3599.57 (0.07 0.03 3599.5 0.48)
3600.05/3620.31 c 3621 END Fri Jul 11 17:20:15 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-1108723-1215785994/watcher-1108723-1215785994 -o /tmp/evaluation-result-1108723-1215785994/solver-1108723-1215785994 -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-1108723-1215785994.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.23 2.59 2.63 4/98 9652
/proc/meminfo: memFree=1498136/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=12268 CPUtime=0
/proc/9652/stat : 9652 (sugar++) R 9650 9652 9208 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 35296050 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 255373048421 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/9652/statm: 3067 316 241 3 0 167 0
[startup+0.0909381 s]
/proc/loadavg: 2.23 2.59 2.63 4/98 9652
/proc/meminfo: memFree=1498136/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16740 CPUtime=0.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 35296050 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101934 s]
/proc/loadavg: 2.23 2.59 2.63 4/98 9652
/proc/meminfo: memFree=1498136/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16740 CPUtime=0.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 35296050 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.301953 s]
/proc/loadavg: 2.23 2.59 2.63 4/98 9652
/proc/meminfo: memFree=1498136/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16740 CPUtime=0.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 35296050 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701995 s]
/proc/loadavg: 2.23 2.59 2.63 4/98 9652
/proc/meminfo: memFree=1498136/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16740 CPUtime=0.52
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1296 4702 0 1 5 2 41 4 16 0 1 0 35296050 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 16740
[startup+1.50208 s]
/proc/loadavg: 2.23 2.59 2.63 3/109 9674
/proc/meminfo: memFree=1485120/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16740 CPUtime=0.52
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1297 4702 0 1 5 2 41 4 15 0 1 0 35296050 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4185 1104 409 3 0 764 0
[pid=9665] ppid=9652 vsize=5356 CPUtime=0
/proc/9665/stat : 9665 (sh) S 9652 9652 9208 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 35296108 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9665/statm: 1339 233 193 169 0 50 0
[pid=9666] ppid=9665 vsize=868356 CPUtime=0.88
/proc/9666/stat : 9666 (java) S 9665 9652 9208 0 -1 0 8025 0 1 0 84 4 0 0 18 0 9 0 35296108 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9666/statm: 217089 7236 2565 9 0 211636 0
[pid=9666/tid=9667] ppid=9665 vsize=868356 CPUtime=0.43
/proc/9666/task/9667/stat : 9667 (java) R 9665 9652 9208 0 -1 64 2720 0 1 0 42 1 0 0 22 0 9 0 35296109 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4160647107 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9668] ppid=9665 vsize=868356 CPUtime=0.22
/proc/9666/task/9668/stat : 9668 (java) R 9665 9652 9208 0 -1 64 3131 0 0 0 21 1 0 0 16 0 9 0 35296111 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9669] ppid=9665 vsize=868356 CPUtime=0
/proc/9666/task/9669/stat : 9669 (java) S 9665 9652 9208 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 35296111 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9670] ppid=9665 vsize=868356 CPUtime=0
/proc/9666/task/9670/stat : 9670 (java) S 9665 9652 9208 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 35296111 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9671] ppid=9665 vsize=868356 CPUtime=0
/proc/9666/task/9671/stat : 9671 (java) S 9665 9652 9208 0 -1 64 0 0 0 0 0 0 0 0 17 0 9 0 35296115 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9672] ppid=9665 vsize=868356 CPUtime=0.2
/proc/9666/task/9672/stat : 9672 (java) S 9665 9652 9208 0 -1 64 1481 0 0 0 20 0 0 0 16 0 9 0 35296115 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9673] ppid=9665 vsize=868356 CPUtime=0
/proc/9666/task/9673/stat : 9673 (java) S 9665 9652 9208 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 35296115 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9666/tid=9674] ppid=9665 vsize=868356 CPUtime=0
/proc/9666/task/9674/stat : 9674 (java) S 9665 9652 9208 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 35296115 889196544 7236 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 890452
[startup+3.10125 s]
/proc/loadavg: 2.23 2.59 2.63 3/106 9681
/proc/meminfo: memFree=1483160/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1621 20652 0 4 5 2 183 16 15 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=7376 CPUtime=0.8
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 1758 0 0 0 79 1 0 0 18 0 1 0 35296241 7553024 1704 996147200 134512640 135134323 4294956192 18446744073709551615 134532100 0 0 4096 3 0 0 0 17 1 0 0
/proc/9675/statm: 1844 1704 79 151 0 1690 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 24248
[startup+6.30259 s]
/proc/loadavg: 2.21 2.58 2.62 3/100 9695
/proc/meminfo: memFree=1485512/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1621 20652 0 4 5 2 183 16 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=8324 CPUtime=3.97
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 1984 0 0 0 396 1 0 0 25 0 1 0 35296241 8523776 1930 996147200 134512640 135134323 4294956192 18446744073709551615 134531859 0 0 4096 3 0 0 0 17 1 0 0
/proc/9675/statm: 2081 1930 79 151 0 1927 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 25196
[startup+12.7013 s]
/proc/loadavg: 2.19 2.57 2.62 3/100 9695
/proc/meminfo: memFree=1482256/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1621 20652 0 4 5 2 183 16 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=11004 CPUtime=10.34
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 2675 0 0 0 1032 2 0 0 25 0 1 0 35296241 11268096 2621 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/9675/statm: 2751 2621 79 151 0 2597 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 27876
[startup+25.5016 s]
/proc/loadavg: 2.15 2.54 2.61 3/100 9695
/proc/meminfo: memFree=1478800/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1621 20652 0 4 5 2 183 16 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=14440 CPUtime=23.05
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 3532 0 0 0 2302 3 0 0 25 0 1 0 35296241 14786560 3478 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/9675/statm: 3610 3478 79 151 0 3456 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 31312
[startup+51.1013 s]
/proc/loadavg: 2.10 2.49 2.59 3/100 9695
/proc/meminfo: memFree=1476368/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.06
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1621 20652 0 4 5 2 183 16 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=16868 CPUtime=48.51
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 4110 0 0 0 4847 4 0 0 25 0 1 0 35296241 17272832 4056 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/9675/statm: 4217 4056 79 151 0 4063 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 33740
[startup+102.308 s]
/proc/loadavg: 2.04 2.42 2.56 3/100 9715
/proc/meminfo: memFree=1474248/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.35
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1761 28175 0 6 6 2 206 21 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=18816 CPUtime=99.03
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 4599 0 0 0 9898 5 0 0 25 0 1 0 35296241 19267584 4541 996147200 134512640 135134323 4294956192 18446744073709551615 134531971 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 4704 4541 79 151 0 4550 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 35688
[startup+162.302 s]
/proc/loadavg: 2.01 2.34 2.52 3/100 9715
/proc/meminfo: memFree=1470352/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.35
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1761 28175 0 6 6 2 206 21 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=22976 CPUtime=158.68
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 5600 0 0 0 15862 6 0 0 25 0 1 0 35296241 23527424 5542 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 5744 5542 79 151 0 5590 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 39848
[startup+222.301 s]
/proc/loadavg: 2.00 2.27 2.48 3/100 9715
/proc/meminfo: memFree=1470096/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.35
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1761 28175 0 6 6 2 206 21 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=23120 CPUtime=218.32
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 5661 0 0 0 21826 6 0 0 25 0 1 0 35296241 23674880 5603 996147200 134512640 135134323 4294956192 18446744073709551615 134531815 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 5780 5603 79 151 0 5626 0
Current children cumulated CPU time (s) 220.67
Current children cumulated vsize (KiB) 39992
[startup+282.301 s]
/proc/loadavg: 2.00 2.22 2.45 3/100 9715
/proc/meminfo: memFree=1465296/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.35
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1761 28175 0 6 6 2 206 21 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=28064 CPUtime=277.97
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 6853 0 0 0 27790 7 0 0 25 0 1 0 35296241 28737536 6795 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 7016 6795 79 151 0 6862 0
Current children cumulated CPU time (s) 280.32
Current children cumulated vsize (KiB) 44936
[startup+342.302 s]
/proc/loadavg: 2.00 2.18 2.42 3/100 9715
/proc/meminfo: memFree=1465296/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.35
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1761 28175 0 6 6 2 206 21 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=9675] ppid=9652 vsize=47940 CPUtime=2901.98
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 290182 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 2904.65
Current children cumulated vsize (KiB) 64812
[startup+2982.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/100 9741
/proc/meminfo: memFree=1443408/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=47940 CPUtime=2961.62
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 296146 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 2964.29
Current children cumulated vsize (KiB) 64812
[startup+3042.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/100 9741
/proc/meminfo: memFree=1443408/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=47940 CPUtime=3021.27
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 302111 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 3023.94
Current children cumulated vsize (KiB) 64812
[startup+3102.3 s]
/proc/loadavg: 2.25 2.10 2.02 3/100 9741
/proc/meminfo: memFree=1443408/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=47940 CPUtime=3080.92
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 308076 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 3083.59
Current children cumulated vsize (KiB) 64812
[startup+3162.3 s]
/proc/loadavg: 2.13 2.10 2.02 3/100 9741
/proc/meminfo: memFree=1443408/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=47940 CPUtime=3140.57
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 314041 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 3143.24
Current children cumulated vsize (KiB) 64812
[startup+3222.3 s]
/proc/loadavg: 2.05 2.08 2.01 3/100 9741
/proc/meminfo: memFree=1443344/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=47940 CPUtime=3200.21
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 320005 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134524184 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 3202.88
Current children cumulated vsize (KiB) 64812
[startup+3282.3 s]
/proc/loadavg: 2.02 2.06 2.00 3/100 9741
/proc/meminfo: memFree=1443152/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=47940 CPUtime=3259.87
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 11892 0 0 0 325971 16 0 0 25 0 1 0 35296241 49090560 11749 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 11985 11749 79 151 0 11831 0
Current children cumulated CPU time (s) 3262.54
Current children cumulated vsize (KiB) 64812
[startup+3342.3 s]
/proc/loadavg: 2.00 2.05 2.00 3/109 9790
/proc/meminfo: memFree=1416008/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=56276 CPUtime=3319.52
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13940 0 0 0 331933 19 0 0 25 0 1 0 35296241 57626624 13797 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 14069 13797 79 151 0 13915 0
Current children cumulated CPU time (s) 3322.19
Current children cumulated vsize (KiB) 73148
[startup+3402.31 s]
/proc/loadavg: 2.06 2.05 2.00 3/100 9871
/proc/meminfo: memFree=1281552/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=56204 CPUtime=3379.5
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13941 0 0 0 337929 21 0 0 25 0 1 0 35296241 57552896 13798 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 14051 13798 79 151 0 13897 0
Current children cumulated CPU time (s) 3382.17
Current children cumulated vsize (KiB) 73076
[startup+3462.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/100 9871
/proc/meminfo: memFree=1281168/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=56172 CPUtime=3439.46
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13942 0 0 0 343925 21 0 0 25 0 1 0 35296241 57520128 13799 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 14043 13799 79 151 0 13889 0
Current children cumulated CPU time (s) 3442.13
Current children cumulated vsize (KiB) 73044
[startup+3522.3 s]
/proc/loadavg: 2.16 2.09 2.01 3/100 9871
/proc/meminfo: memFree=1274320/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=56128 CPUtime=3499.43
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13942 0 0 0 349922 21 0 0 25 0 1 0 35296241 57475072 13794 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 14032 13794 79 151 0 13878 0
Current children cumulated CPU time (s) 3502.1
Current children cumulated vsize (KiB) 73000
[startup+3582.3 s]
/proc/loadavg: 2.18 2.11 2.02 3/100 9873
/proc/meminfo: memFree=1258128/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=56128 CPUtime=3559.4
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13942 0 0 0 355919 21 0 0 25 0 1 0 35296241 57475072 13794 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 14032 13794 79 151 0 13878 0
Current children cumulated CPU time (s) 3562.07
Current children cumulated vsize (KiB) 73000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.3 s]
/proc/loadavg: 2.15 2.11 2.03 3/100 9873
/proc/meminfo: memFree=1248656/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=55544 CPUtime=3597.38
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13942 0 0 0 359717 21 0 0 25 0 1 0 35296241 56877056 13648 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 13886 13648 79 151 0 13732 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 72416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3620.3 s]
/proc/loadavg: 2.15 2.11 2.03 3/100 9873
/proc/meminfo: memFree=1248656/2055912 swapFree=4170900/4192956
[pid=9652] ppid=9650 vsize=16872 CPUtime=2.67
/proc/9652/stat : 9652 (sugar++) S 9650 9652 9208 0 -1 4194304 1902 35714 0 8 7 3 232 25 16 0 1 0 35296050 17276928 1120 996147200 4194304 4206940 548682068528 18446744073709551615 255381778530 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/9652/statm: 4218 1120 414 3 0 797 0
[pid=9675] ppid=9652 vsize=55544 CPUtime=3597.38
/proc/9675/stat : 9675 (minisat-inc) R 9652 9652 9208 0 -1 4194304 13942 0 0 0 359717 21 0 0 25 0 1 0 35296241 56877056 13648 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/9675/statm: 13886 13648 79 151 0 13732 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 72416
Child status: 0
Real time (s): 3620.32
CPU time (s): 3600.09
CPU user time (s): 3599.57
CPU system time (s): 0.51992
CPU usage (%): 99.4413
Max. virtual memory (cumulated for all children) (KiB): 890580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.57
system time used= 0.51992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51637
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= 4196
involuntary context switches= 52152
runsolver used 5.07723 second user time and 14.7418 second system time
The end
Begin job on node78 at 2008-07-11 16:19:54
IDJOB=1108723
IDBENCH=60755
IDSOLVER=367
FILE ID=node78/1108723-1215785994
PBS_JOBID= 7903059
Free space on /tmp= 126632 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/rand-2-23/normalized-rand-23-23-253-131-52021_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-1108723-1215785994/watcher-1108723-1215785994 -o /tmp/evaluation-result-1108723-1215785994/solver-1108723-1215785994 -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-1108723-1215785994.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0a9c73d0b855ac0192956966c26a87a3
RANDOM SEED=1185083302
node78.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.232
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.232
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: 2055912 kB
MemFree: 1498616 kB
Buffers: 24580 kB
Cached: 461264 kB
SwapCached: 7768 kB
Active: 220336 kB
Inactive: 292148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1498616 kB
SwapTotal: 4192956 kB
SwapFree: 4170900 kB
Dirty: 1220 kB
Writeback: 0 kB
Mapped: 33044 kB
Slab: 27260 kB
Committed_AS: 242200 kB
PageTables: 3920 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= 126600 MiB
End job on node78 at 2008-07-11 17:20:17