0.00/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Sun Jul 13 00:22:17 2008
0.00/0.08 c 0 PID 20709
0.07/0.08 c 0 HOST node28.alineos.net
0.07/0.08 c 0 CONVERTING HOME/instance-1114395-1215901336.xml TO HOME/temp.csp
0.07/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114395-1215901336.xml' 'HOME/temp.csp'
0.07/0.68 c 0 1 domains, 40 variables, 0 predicates, 180 relations, 180 constraints
0.07/0.71 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.72 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.07/0.79 c 0 Parsing HOME/temp.csp
1.32/1.41 c 1 parsed 401 expressions
1.32/1.41 c 1 Heap : 6 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.32/1.42 c 1 MAX CSP: 180 constraints
1.32/1.42 c 1 Converting to clausal form CSP
1.32/1.45 c 1 converted 59 (10%) expressions
1.32/1.45 c 1 converted 117 (20%) expressions
1.32/1.46 c 1 converted 176 (30%) expressions
1.32/1.48 c 1 converted 234 (40%) expressions
1.42/1.56 c 1 converted 292 (50%) expressions
1.42/1.58 c 1 converted 351 (60%) expressions
1.52/1.60 c 1 converted 409 (70%) expressions
1.52/1.63 c 1 converted 468 (80%) expressions
1.52/1.65 c 1 converted 526 (90%) expressions
1.71/1.81 c 1 converted 584 (100%) expressions
1.71/1.81 c 1 CSP : 400 integers, 0 booleans, 539 clauses, largest domain size 271
1.71/1.81 c 1 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.71/1.81 c 1 Propagation in CSP
1.71/1.83 c 1 176 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.71/1.83 c 1 CSP : 400 integers, 0 booleans, 539 clauses, largest domain size 181
1.71/1.83 c 1 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.71/1.83 c 1 Simplifing CSP by introducing new Boolean variables
1.71/1.83 c 1 CSP : 400 integers, 0 booleans, 539 clauses, largest domain size 181
1.71/1.83 c 1 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.71/1.88 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.81/1.90 c 1 40 (10%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.81/1.90 c 1 80 (20%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.81/1.90 c 1 120 (30%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.81/1.91 c 1 160 (40%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.81/1.91 c 1 200 (50%) CSP integer variables are encoded (920 clauses, 9978 bytes)
1.81/1.91 c 1 240 (60%) CSP integer variables are encoded (1147 clauses, 12929 bytes)
1.81/1.91 c 1 280 (70%) CSP integer variables are encoded (2337 clauses, 28399 bytes)
1.81/1.91 c 1 320 (80%) CSP integer variables are encoded (2703 clauses, 33157 bytes)
1.81/1.91 c 1 360 (90%) CSP integer variables are encoded (2904 clauses, 35770 bytes)
1.81/1.91 c 1 400 (100%) CSP integer variables are encoded (3189 clauses, 39475 bytes)
1.91/2.01 c 2 54 (10%) CSP clauses are encoded (11101 clauses, 220784 bytes)
1.91/2.07 c 2 108 (20%) CSP clauses are encoded (18946 clauses, 415907 bytes)
2.01/2.13 c 2 162 (30%) CSP clauses are encoded (26777 clauses, 610544 bytes)
2.01/2.16 c 2 216 (40%) CSP clauses are encoded (29689 clauses, 680292 bytes)
2.11/2.20 c 2 270 (50%) CSP clauses are encoded (48083 clauses, 1007297 bytes)
2.11/2.21 c 2 324 (60%) CSP clauses are encoded (48863 clauses, 1020351 bytes)
2.11/2.24 c 2 378 (70%) CSP clauses are encoded (65239 clauses, 1319322 bytes)
2.11/2.24 c 2 432 (80%) CSP clauses are encoded (66083 clauses, 1333487 bytes)
2.11/2.24 c 2 486 (90%) CSP clauses are encoded (67931 clauses, 1365846 bytes)
2.11/2.26 c 2 539 (100%) CSP clauses are encoded (74429 clauses, 1482436 bytes)
2.11/2.26 c 2 539 CSP clauses encoded
2.11/2.26 c 2 Writing map file : HOME/temp.map
2.11/2.26 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.11/2.26 c 2 SAT : 3589 SAT variables, 74429 SAT clauses, 1482436 bytes
2.11/2.26 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.11/2.29 c 2 OBJECTIVE minimize _COST
2.11/2.29 c 2 SOLVING HOME/temp.cnf
2.11/2.29 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.11/2.29 c 2 This is MiniSat 2.0 beta incremental
2.11/2.29 c 2 WARNING: for repeatability, setting FPU to use double precision
2.11/2.29 c 2 ============================[ Problem Statistics ]=============================
2.11/2.29 c 2 | |
2.11/2.29 c 2 | Number of variables: 3589 |
2.11/2.29 c 2 | Number of clauses: 74429 |
2.18/2.33 c 2 | Parsing time: 0.04 s |
2.18/2.33 c 2 OK
2.18/2.33 c 2 OBJECTIVE BOUND: 0 <= _COST <=
2.18/2.33 c 2 SEARCHING: _COST <= 90
2.18/2.33 c 2 ============================[ Search Statistics ]==============================
2.18/2.33 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.18/2.33 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.18/2.33 c 2 ===============================================================================
2.18/2.33 c 2 | 0 | 3589 74429 261108 | 24809 0 nan | 0.000 % |
2.18/2.34 c 2 ===============================================================================
2.18/2.34 c 2 restarts : 1
2.18/2.34 c 2 conflicts : 5 (114 /sec)
2.18/2.34 c 2 decisions : 63 (0.00 % random) (1432 /sec)
2.18/2.34 c 2 propagations : 4064 (92378 /sec)
2.18/2.34 c 2 conflict literals : 60 (14.29 % deleted)
2.18/2.34 c 2 Memory used : 5.25 MB
2.18/2.34 c 2 CPU time : 0.043993 s
2.18/2.34 c 2
2.18/2.34 c 2 SATISFIABLE
2.18/2.34 c 2 OK
2.18/2.34 c 2 FOUND: _COST <= 90
2.18/2.34 s SATISFIABLE
2.18/2.34 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.18/2.34 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'
2.18/2.42 c 2 Decoding HOME/temp.out
2.18/2.49 c 2 OBJECTIVE _COST 90
2.18/2.49 o 90
2.18/2.49 v 3 22 23 18 22 22 16 16 24 12 10 24 24 5 2 12 22 6 21 13 20 18 21 16 3 18 23 23 22 12 23 23 24 24 24 24 24 24 24 24
2.18/2.50 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.18/2.55 c 2 OK
2.18/2.55 c 2 OBJECTIVE BOUND: 0 <= _COST <= 90
2.18/2.55 c 2 SEARCHING: _COST <= 45
2.18/2.57 c 2 ============================[ Search Statistics ]==============================
2.18/2.57 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.18/2.57 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.18/2.57 c 2 ===============================================================================
2.18/2.57 c 2 | 5 | 3589 74429 261108 | 24809 5 12 | 0.000 % |
2.18/2.57 c 2 | 105 | 2996 74429 261108 | 27290 105 24 | 20.064 % |
2.18/2.57 c 2 ===============================================================================
2.18/2.57 c 2 restarts : 3
2.18/2.57 c 2 conflicts : 127 (1868 /sec)
2.18/2.57 c 2 decisions : 351 (0.85 % random) (5163 /sec)
2.18/2.57 c 2 propagations : 38500 (566268 /sec)
2.18/2.57 c 2 conflict literals : 3201 (23.51 % deleted)
2.18/2.57 c 2 Memory used : 5.38 MB
2.18/2.57 c 2 CPU time : 0.067989 s
2.18/2.57 c 2
2.18/2.57 c 2 SATISFIABLE
2.18/2.57 c 2 OK
2.18/2.57 c 2 FOUND: _COST <= 45
2.18/2.57 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.18/2.57 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'
2.36/2.65 c 2 Decoding HOME/temp.out
2.37/2.72 c 2 OBJECTIVE _COST 45
2.37/2.72 o 45
2.37/2.72 v 14 24 21 1 24 17 4 17 7 24 0 18 24 2 17 15 24 14 3 23 17 12 24 13 23 2 0 11 24 5 24 24 22 19 14 2 0 9 23 24
2.37/2.72 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.37/2.77 c 2 OK
2.37/2.77 c 2 OBJECTIVE BOUND: 0 <= _COST <= 45
2.37/2.77 c 2 SEARCHING: _COST <= 22
2.37/2.79 c 2 ============================[ Search Statistics ]==============================
2.37/2.79 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
2.37/2.79 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.37/2.79 c 2 ===============================================================================
2.37/2.79 c 2 | 127 | 2869 74429 261108 | 24809 127 25 | 20.064 % |
2.54/2.80 c 2 | 227 | 2869 74429 261108 | 27290 227 23 | 31.348 % |
2.54/2.82 c 2 | 377 | 2869 74429 261108 | 30019 377 27 | 31.348 % |
2.54/2.84 c 2 ===============================================================================
2.54/2.84 c 2 restarts : 6
2.54/2.84 c 2 conflicts : 598 (4366 /sec)
2.54/2.84 c 2 decisions : 1134 (1.15 % random) (8279 /sec)
2.54/2.84 c 2 propagations : 138991 (1014688 /sec)
2.54/2.84 c 2 conflict literals : 18617 (21.11 % deleted)
2.54/2.84 c 2 Memory used : 5.38 MB
2.54/2.84 c 2 CPU time : 0.136979 s
2.54/2.84 c 2
2.54/2.84 c 2 SATISFIABLE
2.54/2.85 c 2 OK
2.54/2.85 c 2 FOUND: _COST <= 22
2.54/2.85 c 2 DECODING HOME/temp.out WITH HOME/temp.map
2.54/2.85 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'
2.55/2.92 c 2 Decoding HOME/temp.out
2.55/2.99 c 3 OBJECTIVE _COST 22
2.55/2.99 o 22
2.55/2.99 v 16 24 5 13 24 22 12 1 15 12 0 18 24 22 24 5 24 6 17 2 17 12 21 1 24 16 11 1 20 5 24 21 24 20 14 24 14 16 24 13
2.55/2.99 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.55/3.05 c 3 OK
2.55/3.05 c 3 OBJECTIVE BOUND: 0 <= _COST <= 22
2.55/3.05 c 3 SEARCHING: _COST <= 11
2.55/3.05 c 3 ============================[ Search Statistics ]==============================
2.55/3.06 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.55/3.06 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.55/3.06 c 3 ===============================================================================
2.55/3.06 c 3 | 598 | 2464 74429 261108 | 24809 598 31 | 31.348 % |
2.55/3.07 c 3 | 698 | 2464 74429 261108 | 27290 698 29 | 39.149 % |
2.55/3.09 c 3 | 848 | 2464 74429 261108 | 30019 848 29 | 39.149 % |
2.72/3.12 c 3 | 1073 | 2464 74429 261108 | 33021 1073 30 | 39.149 % |
2.72/3.17 c 3 | 1410 | 2464 74429 261108 | 36323 1410 28 | 39.149 % |
3.00/3.27 c 3 | 1916 | 2184 38925 158653 | 39956 1905 28 | 39.149 % |
3.10/3.39 c 3 | 2675 | 2184 38925 158653 | 43951 2664 30 | 39.149 % |
3.30/3.59 c 3 | 3814 | 2184 38925 158653 | 48347 3803 30 | 39.149 % |
3.59/3.87 c 3 | 5522 | 2184 38925 158653 | 53181 5511 27 | 39.149 % |
4.09/4.32 c 4 | 8084 | 2184 38925 158653 | 58499 8073 27 | 39.149 % |
4.78/5.07 c 5 | 11928 | 2184 38925 158653 | 64349 11917 27 | 39.149 % |
6.17/6.41 c 6 | 17694 | 2184 38925 158653 | 70784 17683 27 | 39.149 % |
8.64/8.96 c 8 | 26343 | 2184 38925 158653 | 77863 26332 33 | 39.149 % |
13.10/13.49 c 13 | 39317 | 2184 38925 158653 | 85649 39306 32 | 39.149 % |
21.61/22.02 c 22 | 58778 | 2184 38925 158653 | 94214 58767 33 | 39.149 % |
40.58/41.25 c 41 | 87970 | 2184 38925 158653 | 103636 87959 33 | 39.149 % |
63.26/64.16 c 64 | 131759 | 2184 38925 158653 | 113999 40991 32 | 39.149 % |
64.95/65.80 c 65 ===============================================================================
64.95/65.80 c 65 restarts : 23
64.95/65.80 c 65 conflicts : 135060 (2171 /sec)
64.95/65.80 c 65 decisions : 148295 (0.85 % random) (2384 /sec)
64.95/65.80 c 65 propagations : 38916408 (625680 /sec)
64.95/65.80 c 65 conflict literals : 4425726 (36.92 % deleted)
64.95/65.80 c 65 Memory used : 21.56 MB
64.95/65.80 c 65 CPU time : 62.1985 s
64.95/65.80 c 65
64.95/65.80 c 65 SATISFIABLE
64.95/65.80 c 65 OK
64.95/65.80 c 65 FOUND: _COST <= 11
64.95/65.80 c 65 DECODING HOME/temp.out WITH HOME/temp.map
64.95/65.80 c 65 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
64.95/65.89 c 65 Decoding HOME/temp.out
65.03/65.96 c 65 OBJECTIVE _COST 11
65.03/65.96 o 11
65.03/65.96 v 12 20 4 3 2 11 23 2 22 24 13 2 23 24 16 15 21 14 22 4 17 10 10 13 24 16 11 24 0 22 24 1 3 17 23 11 20 19 24 12
65.03/65.97 c 65 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
65.12/66.04 c 66 OK
65.12/66.04 c 66 OBJECTIVE BOUND: 0 <= _COST <= 11
65.12/66.04 c 66 SEARCHING: _COST <= 5
65.12/66.04 c 66 ============================[ Search Statistics ]==============================
65.12/66.04 c 66 | Conflicts | ORIGINAL | LEARNT | Progress |
65.12/66.04 c 66 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
65.12/66.04 c 66 ===============================================================================
65.12/66.04 c 66 | 135060 | 1971 34040 144626 | 11346 44292 32 | 39.149 % |
65.31/66.28 c 66 | 135160 | 1971 34040 144626 | 12481 7500 29 | 45.084 % |
65.40/66.32 c 66 | 135310 | 1971 34040 144626 | 13729 7650 29 | 45.084 % |
65.40/66.36 c 66 | 135535 | 1971 34040 144626 | 15102 7875 29 | 45.084 % |
65.50/66.42 c 66 | 135873 | 1971 34040 144626 | 16612 8213 29 | 45.084 % |
65.60/66.51 c 66 | 136379 | 1971 34040 144626 | 18273 8719 29 | 45.084 % |
65.70/66.66 c 66 | 137140 | 1971 34040 144626 | 20101 9480 29 | 45.084 % |
65.90/66.89 c 66 | 138279 | 1971 34040 144626 | 22111 10619 30 | 45.084 % |
66.29/67.30 c 67 | 139988 | 1971 34040 144626 | 24322 12328 32 | 45.084 % |
66.99/67.93 c 67 | 142550 | 1971 34040 144626 | 26754 14890 32 | 45.084 % |
68.08/69.09 c 69 | 146394 | 1971 34040 144626 | 29430 18734 34 | 45.084 % |
69.94/70.96 c 70 | 152160 | 1971 34040 144626 | 32373 24500 33 | 45.084 % |
72.82/73.85 c 73 | 160809 | 1971 34040 144626 | 35610 33149 33 | 45.084 % |
75.89/76.95 c 76 ===============================================================================
75.89/76.95 c 76 restarts : 36
75.89/76.95 c 76 conflicts : 170025 (2329 /sec)
75.89/76.95 c 76 decisions : 187576 (0.86 % random) (2569 /sec)
75.89/76.95 c 76 propagations : 48802914 (668470 /sec)
75.89/76.95 c 76 conflict literals : 5682304 (36.65 % deleted)
75.89/76.95 c 76 Memory used : 21.56 MB
75.89/76.95 c 76 CPU time : 73.0069 s
75.89/76.95 c 76
75.89/76.95 c 76 SATISFIABLE
75.89/76.95 c 76 OK
75.89/76.95 c 76 FOUND: _COST <= 5
75.89/76.95 c 76 DECODING HOME/temp.out WITH HOME/temp.map
75.89/76.95 c 76 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
75.93/77.03 c 77 Decoding HOME/temp.out
75.93/77.09 c 77 OBJECTIVE _COST 5
75.93/77.09 o 5
75.93/77.09 v 13 15 12 18 8 4 4 14 20 18 16 2 23 24 24 14 5 14 2 4 14 17 21 1 24 16 13 24 21 15 21 11 4 6 8 24 18 3 16 17
75.93/77.09 c 77 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
75.93/77.12 c 77 OK
75.93/77.12 c 77 OBJECTIVE BOUND: 0 <= _COST <= 5
75.93/77.12 c 77 SEARCHING: _COST <= 2
75.93/77.12 c 77 ============================[ Search Statistics ]==============================
75.93/77.12 c 77 | Conflicts | ORIGINAL | LEARNT | Progress |
75.93/77.12 c 77 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
75.93/77.12 c 77 ===============================================================================
75.93/77.12 c 77 | 170025 | 1747 30831 135665 | 10277 17931 35 | 45.084 % |
75.93/77.17 c 77 | 170125 | 1747 30831 135665 | 11304 9066 38 | 51.325 % |
76.17/77.20 c 77 | 170275 | 1747 30831 135665 | 12435 9216 38 | 51.325 % |
76.17/77.25 c 77 | 170502 | 1747 30831 135665 | 13678 9443 38 | 51.325 % |
76.26/77.33 c 77 | 170839 | 1747 30831 135665 | 15046 9780 37 | 51.325 % |
76.36/77.45 c 77 | 171345 | 1747 30831 135665 | 16551 10286 38 | 51.325 % |
76.56/77.66 c 77 | 172105 | 1747 30831 135665 | 18206 11046 38 | 51.325 % |
76.86/77.99 c 78 | 173245 | 1747 30831 135665 | 20026 12186 38 | 51.325 % |
77.45/78.55 c 78 | 174954 | 1747 30831 135665 | 22029 13895 40 | 51.325 % |
78.35/79.45 c 79 | 177517 | 1747 30831 135665 | 24232 16458 41 | 51.325 % |
79.53/80.64 c 80 | 181362 | 1747 30831 135665 | 26655 20303 41 | 51.325 % |
81.61/82.76 c 82 | 187128 | 1747 30831 135665 | 29321 26069 41 | 51.325 % |
84.29/85.44 c 85 | 195777 | 1747 30831 135665 | 32253 14990 45 | 51.325 % |
89.23/90.45 c 90 | 208751 | 1747 30831 135665 | 35478 27964 51 | 51.325 % |
97.65/98.96 c 98 | 228212 | 1747 30831 135665 | 39026 23572 45 | 51.325 % |
109.03/110.50 c 110 | 257404 | 1747 30831 135665 | 42929 24083 52 | 51.325 % |
128.25/129.85 c 129 | 301194 | 1747 30831 135665 | 47222 36610 43 | 51.325 % |
158.25/160.19 c 160 | 366878 | 1747 30831 135665 | 51944 33680 46 | 51.325 % |
206.08/208.42 c 208 | 465404 | 1747 30831 135665 | 57139 52563 48 | 51.325 % |
272.83/275.80 c 275 | 613193 | 1747 30831 135665 | 62853 25154 42 | 51.325 % |
291.25/294.41 c 294 ===============================================================================
291.25/294.41 c 294 restarts : 56
291.25/294.41 c 294 conflicts : 641676 (2227 /sec)
291.25/294.41 c 294 decisions : 744514 (0.88 % random) (2583 /sec)
291.25/294.41 c 294 propagations : 139944923 (485604 /sec)
291.25/294.41 c 294 conflict literals : 29082461 (28.81 % deleted)
291.25/294.41 c 294 Memory used : 23.01 MB
291.25/294.41 c 294 CPU time : 288.187 s
291.25/294.41 c 294
291.25/294.41 c 294 SATISFIABLE
291.25/294.42 c 294 OK
291.25/294.42 c 294 FOUND: _COST <= 2
291.25/294.42 c 294 DECODING HOME/temp.out WITH HOME/temp.map
291.25/294.42 c 294 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
291.26/294.50 c 294 Decoding HOME/temp.out
291.26/294.57 c 294 OBJECTIVE _COST 2
291.26/294.57 o 2
291.26/294.57 v 12 14 14 18 19 15 22 16 23 0 19 14 10 7 24 18 12 20 15 9 17 17 9 1 24 3 5 1 20 11 24 3 8 6 7 24 8 21 24 12
291.26/294.57 c 294 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
291.26/294.65 c 294 OK
291.26/294.65 c 294 OBJECTIVE BOUND: 0 <= _COST <= 2
291.26/294.65 c 294 SEARCHING: _COST <= 1
291.26/294.65 c 294 ============================[ Search Statistics ]==============================
291.26/294.65 c 294 | Conflicts | ORIGINAL | LEARNT | Progress |
291.26/294.65 c 294 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
291.26/294.65 c 294 ===============================================================================
291.26/294.65 c 294 | 641676 | 1500 28796 130298 | 9598 53637 50 | 51.325 % |
291.71/294.92 c 294 | 641778 | 1500 28796 130298 | 10558 8212 45 | 58.207 % |
291.71/294.97 c 294 | 641929 | 1500 28796 130298 | 11614 8363 45 | 58.207 % |
291.81/295.08 c 295 | 642154 | 1500 28796 130298 | 12775 8588 45 | 58.207 % |
292.01/295.23 c 295 | 642491 | 1500 28796 130298 | 14053 8925 46 | 58.207 % |
292.21/295.42 c 295 | 642997 | 1500 28796 130298 | 15458 9431 46 | 58.207 % |
292.40/295.69 c 295 | 643757 | 1500 28796 130298 | 17004 10191 47 | 58.207 % |
292.80/296.09 c 296 | 644896 | 1500 28796 130298 | 18705 11330 49 | 58.207 % |
293.29/296.54 c 296 | 646605 | 1500 28796 130298 | 20575 13039 49 | 58.207 % |
293.89/297.19 c 297 | 649167 | 1500 28796 130298 | 22633 15601 48 | 58.207 % |
295.08/298.33 c 298 | 653013 | 1500 28796 130298 | 24896 19447 47 | 58.207 % |
296.74/300.01 c 300 | 658779 | 1500 28796 130298 | 27386 25213 46 | 58.207 % |
299.12/302.42 c 302 | 667428 | 1500 28796 130298 | 30124 16269 39 | 58.207 % |
303.77/307.13 c 307 | 680402 | 1500 28796 130298 | 33137 29243 43 | 58.207 % |
310.40/313.84 c 313 | 699864 | 1500 28796 130298 | 36450 26688 50 | 58.207 % |
321.20/324.75 c 324 | 729056 | 1500 28796 130298 | 40096 30924 41 | 58.207 % |
339.60/343.39 c 343 | 772845 | 1500 28796 130298 | 44105 18712 40 | 58.207 % |
365.35/369.38 c 369 | 838529 | 1500 28796 130298 | 48516 18636 43 | 58.207 % |
414.95/419.40 c 419 | 937057 | 1500 28796 130298 | 53367 47932 40 | 58.207 % |
485.87/491.04 c 491 | 1084846 | 1500 28796 130298 | 58704 36756 35 | 58.207 % |
605.11/611.47 c 611 | 1306531 | 1500 28796 130298 | 64575 36181 39 | 58.207 % |
810.91/819.25 c 819 | 1639057 | 1500 28796 130298 | 71032 32022 65 | 58.207 % |
1144.96/1156.57 c 1156 | 2137846 | 1500 28796 130298 | 78135 31812 50 | 58.207 % |
1652.86/1670.90 c 1670 | 2886030 | 1500 28796 130298 | 85949 40414 49 | 58.207 % |
2414.21/2437.34 c 2437 | 4008305 | 1500 28796 130298 | 94544 44353 51 | 58.207 % |
2685.71/2710.09 c 2710 ===============================================================================
2685.71/2710.09 c 2710 restarts : 81
2685.71/2710.09 c 2710 conflicts : 4363042 (1627 /sec)
2685.71/2710.09 c 2710 decisions : 5102276 (1.05 % random) (1902 /sec)
2685.71/2710.09 c 2710 propagations : 813018044 (303094 /sec)
2685.71/2710.09 c 2710 conflict literals : 222545018 (27.52 % deleted)
2685.71/2710.09 c 2710 Memory used : 44.21 MB
2685.71/2710.09 c 2710 CPU time : 2682.39 s
2685.71/2710.09 c 2710
2685.71/2710.09 c 2710 SATISFIABLE
2685.71/2710.09 c 2710 OK
2685.71/2710.09 c 2710 FOUND: _COST <= 1
2685.71/2710.09 c 2710 DECODING HOME/temp.out WITH HOME/temp.map
2685.71/2710.09 c 2710 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2685.80/2710.18 c 2710 Decoding HOME/temp.out
2685.80/2710.23 c 2710 OBJECTIVE _COST 1
2685.80/2710.23 o 1
2685.80/2710.24 v 5 18 21 5 18 24 19 17 11 9 19 22 4 23 9 18 21 21 15 16 6 10 17 1 3 14 17 4 9 6 23 7 8 3 6 18 21 6 16 13
2685.80/2710.24 c 2710 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2685.97/2710.30 c 2710 OK
2685.97/2710.30 c 2710 OBJECTIVE BOUND: 0 <= _COST <= 1
2685.97/2710.30 c 2710 SEARCHING: _COST <= 0
2685.97/2710.30 c 2710 ============================[ Search Statistics ]==============================
2685.97/2710.30 c 2710 | Conflicts | ORIGINAL | LEARNT | Progress |
2685.97/2710.30 c 2710 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2685.97/2710.30 c 2710 ===============================================================================
2685.97/2710.30 c 2710 | 4363042 | 1319 27767 127688 | 9255 81892 57 | 58.207 % |
2686.27/2710.66 c 2710 | 4363143 | 1319 27767 127688 | 10181 9982 43 | 63.252 % |
2686.27/2710.69 c 2710 | 4363294 | 1319 27767 127688 | 11199 10133 43 | 63.252 % |
2686.37/2710.76 c 2710 | 4363519 | 1319 27767 127688 | 12319 10358 43 | 63.252 % |
2686.47/2710.83 c 2710 | 4363857 | 1319 27767 127688 | 13551 10696 42 | 63.252 % |
2686.57/2710.92 c 2710 | 4364363 | 1319 27767 127688 | 14906 11202 42 | 63.252 % |
2686.77/2711.10 c 2711 | 4365122 | 1319 27767 127688 | 16396 11961 42 | 63.252 % |
2686.97/2711.39 c 2711 | 4366261 | 1319 27767 127688 | 18036 13100 41 | 63.252 % |
2687.46/2711.83 c 2711 | 4367969 | 1319 27767 127688 | 19840 14808 40 | 63.252 % |
2688.06/2712.48 c 2712 | 4370534 | 1319 27767 127688 | 21824 17373 41 | 63.252 % |
2689.06/2713.44 c 2713 | 4374379 | 1319 27767 127688 | 24006 21218 41 | 63.252 % |
2690.65/2715.08 c 2715 | 4380145 | 1319 27767 127688 | 26407 12522 40 | 63.252 % |
2692.84/2717.23 c 2717 | 4388794 | 1319 27767 127688 | 29048 21171 40 | 63.252 % |
2697.12/2721.50 c 2721 | 4401768 | 1319 27767 127688 | 31953 15676 37 | 63.252 % |
2703.88/2728.31 c 2728 | 4421229 | 1319 27767 127688 | 35148 14033 41 | 63.252 % |
2713.53/2738.01 c 2738 | 4450422 | 1319 27767 127688 | 38663 18509 45 | 63.252 % |
2732.93/2757.59 c 2757 | 4494213 | 1319 27767 127688 | 42529 38445 47 | 63.252 % |
2757.91/2782.70 c 2782 | 4559898 | 1319 27767 127688 | 46782 43816 45 | 63.252 % |
2799.53/2824.49 c 2824 | 4658424 | 1319 27767 127688 | 51460 40737 44 | 63.252 % |
2866.90/2892.18 c 2892 | 4806213 | 1319 27767 127688 | 56606 36211 48 | 63.252 % |
2967.85/2993.52 c 2993 | 5027897 | 1319 27767 127688 | 62267 41861 46 | 63.252 % |
3132.83/3159.22 c 3159 | 5360422 | 1319 27767 127688 | 68494 37113 43 | 63.252 % |
3396.40/3424.13 c 3424 | 5859210 | 1319 27767 127688 | 75343 54782 40 | 63.252 % |
3600.09/3628.81 c ERROR INTERRUPTED
3600.09/3628.81 c 3628 CPU 3599.58 (0.06 0.03 3599.52 0.51)
3600.09/3628.81 c 3628 END Sun Jul 13 01:22:45 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-1114395-1215901336/watcher-1114395-1215901336 -o /tmp/evaluation-result-1114395-1215901336/solver-1114395-1215901336 -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-1114395-1215901336.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.09 2.09 2.04 4/81 20709
/proc/meminfo: memFree=1792572/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=12268 CPUtime=0
/proc/20709/stat : 20709 (sugar++) R 20707 20709 19928 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 46835833 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 217889563903 0 0 4224 0 0 0 0 17 1 0 0
/proc/20709/statm: 3067 316 241 3 0 167 0
[startup+0.0820551 s]
/proc/loadavg: 2.09 2.09 2.04 4/81 20709
/proc/meminfo: memFree=1792572/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16740 CPUtime=0.07
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1143 0 0 0 5 2 0 0 18 0 1 0 46835833 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.101969 s]
/proc/loadavg: 2.09 2.09 2.04 4/81 20709
/proc/meminfo: memFree=1792572/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16740 CPUtime=0.07
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 46835833 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.303 s]
/proc/loadavg: 2.09 2.09 2.04 4/81 20709
/proc/meminfo: memFree=1792572/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16740 CPUtime=0.07
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1219 128 0 0 5 2 0 0 19 0 1 0 46835833 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701033 s]
/proc/loadavg: 2.09 2.09 2.04 4/81 20709
/proc/meminfo: memFree=1792572/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16740 CPUtime=0.07
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1236 128 0 0 5 2 0 0 15 0 1 0 46835833 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.50113 s]
/proc/loadavg: 2.16 2.10 2.04 4/92 20731
/proc/meminfo: memFree=1783460/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16740 CPUtime=0.66
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1296 4656 0 1 5 2 55 4 15 0 1 0 46835833 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4185 1104 409 3 0 764 0
[pid=20722] ppid=20709 vsize=5356 CPUtime=0
/proc/20722/stat : 20722 (sh) S 20709 20709 19928 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46835905 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20722/statm: 1339 233 193 169 0 50 0
[pid=20723] ppid=20722 vsize=864196 CPUtime=0.76
/proc/20723/stat : 20723 (java) S 20722 20709 19928 0 -1 0 6701 0 1 0 73 3 0 0 18 0 9 0 46835905 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20723/statm: 216049 5978 2542 9 0 210624 0
[pid=20723/tid=20724] ppid=20722 vsize=864196 CPUtime=0.55
/proc/20723/task/20724/stat : 20724 (java) R 20722 20709 19928 0 -1 64 2589 0 1 0 54 1 0 0 22 0 9 0 46835906 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 101444646 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20725] ppid=20722 vsize=864196 CPUtime=0.1
/proc/20723/task/20725/stat : 20725 (java) S 20722 20709 19928 0 -1 64 3085 0 0 0 10 0 0 0 16 0 9 0 46835907 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20726] ppid=20722 vsize=864196 CPUtime=0
/proc/20723/task/20726/stat : 20726 (java) S 20722 20709 19928 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46835907 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20727] ppid=20722 vsize=864196 CPUtime=0
/proc/20723/task/20727/stat : 20727 (java) S 20722 20709 19928 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 46835907 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20728] ppid=20722 vsize=864196 CPUtime=0
/proc/20723/task/20728/stat : 20728 (java) S 20722 20709 19928 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46835909 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20729] ppid=20722 vsize=864196 CPUtime=0.07
/proc/20723/task/20729/stat : 20729 (java) S 20722 20709 19928 0 -1 64 330 0 0 0 7 0 0 0 16 0 9 0 46835909 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20730] ppid=20722 vsize=864196 CPUtime=0
/proc/20723/task/20730/stat : 20730 (java) S 20722 20709 19928 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46835909 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20723/tid=20731] ppid=20722 vsize=864196 CPUtime=0
/proc/20723/task/20731/stat : 20731 (java) S 20722 20709 19928 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46835909 884936704 5978 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 886292
[startup+3.10132 s]
/proc/loadavg: 2.16 2.10 2.04 3/92 20731
/proc/meminfo: memFree=1765476/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=2.72
/proc/20709/stat : 20709 (sugar++) R 20707 20709 19928 0 -1 4194304 1692 25252 0 5 6 3 245 18 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506322 0 0 4224 16386 0 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 16872
[startup+6.30169 s]
/proc/loadavg: 2.16 2.10 2.04 3/83 20762
/proc/meminfo: memFree=1781484/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=2.72
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1692 25252 0 5 6 3 245 18 15 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=7112 CPUtime=3.35
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 1712 0 0 0 335 0 0 0 25 0 1 0 46836062 7282688 1655 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 1778 1655 79 151 0 1624 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 23984
[startup+12.7014 s]
/proc/loadavg: 2.13 2.10 2.04 3/83 20762
/proc/meminfo: memFree=1777708/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=2.72
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1692 25252 0 5 6 3 245 18 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=10644 CPUtime=9.68
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 2610 0 0 0 967 1 0 0 25 0 1 0 46836062 10899456 2553 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 2661 2553 79 151 0 2507 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 27516
[startup+25.5029 s]
/proc/loadavg: 2.11 2.10 2.04 3/83 20762
/proc/meminfo: memFree=1773036/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=2.72
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1692 25252 0 5 6 3 245 18 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=15488 CPUtime=22.35
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 3770 0 0 0 2233 2 0 0 25 0 1 0 46836062 15859712 3713 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 3872 3713 79 151 0 3718 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 32360
[startup+51.1029 s]
/proc/loadavg: 2.13 2.10 2.04 3/83 20762
/proc/meminfo: memFree=1766892/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=2.72
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1692 25252 0 5 6 3 245 18 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=21680 CPUtime=47.67
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 5309 0 0 0 4763 4 0 0 25 0 1 0 46836062 22200320 5252 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 5420 5252 79 151 0 5266 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 38552
[startup+102.308 s]
/proc/loadavg: 2.16 2.11 2.05 3/83 20782
/proc/meminfo: memFree=1766188/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.04
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1831 32743 0 7 6 3 272 23 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=22076 CPUtime=97.98
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 5415 0 0 0 9794 4 0 0 25 0 1 0 46836062 22605824 5354 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 5519 5354 79 151 0 5365 0
Current children cumulated CPU time (s) 101.02
Current children cumulated vsize (KiB) 38948
[startup+162.303 s]
/proc/loadavg: 2.11 2.11 2.05 3/83 20782
/proc/meminfo: memFree=1766252/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.04
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1831 32743 0 7 6 3 272 23 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=22076 CPUtime=157.39
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 5416 0 0 0 15735 4 0 0 25 0 1 0 46836062 22605824 5355 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 5519 5355 79 151 0 5365 0
Current children cumulated CPU time (s) 160.43
Current children cumulated vsize (KiB) 38948
[startup+222.303 s]
/proc/loadavg: 2.09 2.10 2.05 3/83 20782
/proc/meminfo: memFree=1766252/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.04
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1831 32743 0 7 6 3 272 23 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=22076 CPUtime=216.81
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 5430 0 0 0 21677 4 0 0 25 0 1 0 46836062 22605824 5369 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 5519 5369 79 151 0 5365 0
Current children cumulated CPU time (s) 219.85
Current children cumulated vsize (KiB) 38948
[startup+282.303 s]
/proc/loadavg: 2.07 2.09 2.04 3/83 20782
/proc/meminfo: memFree=1764780/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.04
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1831 32743 0 7 6 3 272 23 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=23556 CPUtime=276.23
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 5763 0 0 0 27619 4 0 0 25 0 1 0 46836062 24121344 5702 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 5889 5702 79 151 0 5735 0
Current children cumulated CPU time (s) 279.27
Current children cumulated vsize (KiB) 40428
[startup+342.303 s]
/proc/loadavg: 2.07 2.09 2.04 3/83 20792
/proc/meminfo: memFree=1764588/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.22
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1901 36488 0 8 6 3 287 26 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=23556 CPUtime=335.39
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 5777 0 0 0 33535 4 0 0 25 0 1 0 46836062 24121344 5714 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
################
# More data... #
################
[pid=20732] ppid=20709 vsize=45268 CPUtime=2893.63
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 289343 20 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 2896.98
Current children cumulated vsize (KiB) 62140
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1723820/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=2953.35
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 295315 20 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134532166 0 0 4096 3 0 0 0 17 0 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 2956.7
Current children cumulated vsize (KiB) 62140
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1723820/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3013.09
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 301289 20 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3016.44
Current children cumulated vsize (KiB) 62140
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1722732/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3072.83
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 307263 20 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134532059 0 0 4096 3 0 0 0 17 0 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3076.18
Current children cumulated vsize (KiB) 62140
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1720428/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3132.57
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 313237 20 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3135.92
Current children cumulated vsize (KiB) 62140
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20959
/proc/meminfo: memFree=1719468/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3192.3
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 319210 20 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3195.65
Current children cumulated vsize (KiB) 62140
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20997
/proc/meminfo: memFree=1741028/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3251.96
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 325175 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3255.31
Current children cumulated vsize (KiB) 62140
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20997
/proc/meminfo: memFree=1740836/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3311.65
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 331144 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3315
Current children cumulated vsize (KiB) 62140
[startup+3402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20999
/proc/meminfo: memFree=1740636/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3371.36
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 337115 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531929 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3374.71
Current children cumulated vsize (KiB) 62140
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 20999
/proc/meminfo: memFree=1740644/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3431.06
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 343085 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531888 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3434.41
Current children cumulated vsize (KiB) 62140
[startup+3522.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20999
/proc/meminfo: memFree=1740644/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3490.76
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 349055 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3494.11
Current children cumulated vsize (KiB) 62140
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20999
/proc/meminfo: memFree=1740652/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3550.46
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 355025 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531932 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3553.81
Current children cumulated vsize (KiB) 62140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3628.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20999
/proc/meminfo: memFree=1740652/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3596.74
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 359653 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 62140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3628.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20999
/proc/meminfo: memFree=1740652/2055920 swapFree=4180120/4192956
[pid=20709] ppid=20707 vsize=16872 CPUtime=3.35
/proc/20709/stat : 20709 (sugar++) S 20707 20709 19928 0 -1 4194304 1972 40237 0 9 6 3 298 28 16 0 1 0 46835833 17276928 1118 996147200 4194304 4206940 548682068528 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20709/statm: 4218 1118 414 3 0 797 0
[pid=20732] ppid=20709 vsize=45268 CPUtime=3596.74
/proc/20732/stat : 20732 (minisat-inc) R 20709 20709 19928 0 -1 4194304 11124 0 0 0 359653 21 0 0 25 0 1 0 46836062 46354432 11038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/20732/statm: 11317 11038 79 151 0 11163 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 62140
Child status: 0
Real time (s): 3628.82
CPU time (s): 3600.14
CPU user time (s): 3599.59
CPU system time (s): 0.552915
CPU usage (%): 99.2098
Max. virtual memory (cumulated for all children) (KiB): 890572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.552915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53412
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3327
involuntary context switches= 103229
runsolver used 4.31434 second user time and 10.8104 second system time
The end
Begin job on node28 at 2008-07-13 00:22:16
IDJOB=1114395
IDBENCH=61728
IDSOLVER=367
FILE ID=node28/1114395-1215901336
PBS_JOBID= 7903639
Free space on /tmp= 66504 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-24_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-1114395-1215901336/watcher-1114395-1215901336 -o /tmp/evaluation-result-1114395-1215901336/solver-1114395-1215901336 -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-1114395-1215901336.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fc9ad1f135834eb048e4bc1b71381aef
RANDOM SEED=1526258308
node28.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.223
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 : 5931.00
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.223
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: 1793052 kB
Buffers: 59384 kB
Cached: 134608 kB
SwapCached: 6064 kB
Active: 100024 kB
Inactive: 117944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793052 kB
SwapTotal: 4192956 kB
SwapFree: 4180120 kB
Dirty: 1156 kB
Writeback: 0 kB
Mapped: 37060 kB
Slab: 29768 kB
Committed_AS: 263280 kB
PageTables: 1960 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= 66504 MiB
End job on node28 at 2008-07-13 01:22:47