0.00/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08 c 0 BEGIN Sat Jul 12 05:39:37 2008
0.00/0.08 c 0 PID 14225
0.06/0.08 c 0 HOST node2.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-1110753-1215833977.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110753-1215833977.xml' 'HOME/temp.csp'
0.06/0.78 c 1 1 domains, 193 variables, 8 predicates, 6 relations, 698 constraints
0.06/0.82 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.82 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.75/0.90 c 1 Parsing HOME/temp.csp
1.01/1.17 c 1 parsed 906 expressions
1.01/1.17 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.01/1.19 c 1 MAX CSP: 698 constraints
1.01/1.19 c 1 Converting to clausal form CSP
1.10/1.21 c 1 converted 161 (10%) expressions
1.91/2.02 c 2 converted 322 (20%) expressions
2.10/2.24 c 2 converted 483 (30%) expressions
2.29/2.46 c 2 converted 643 (40%) expressions
2.39/2.51 c 2 converted 804 (50%) expressions
2.59/2.73 c 3 converted 965 (60%) expressions
2.69/2.87 c 3 converted 1125 (70%) expressions
2.69/2.88 c 3 converted 1286 (80%) expressions
2.79/2.91 c 3 converted 1447 (90%) expressions
2.89/3.00 c 3 converted 1607 (100%) expressions
2.89/3.00 c 3 CSP : 1589 integers, 0 booleans, 2093 clauses, largest domain size 1048
2.89/3.01 c 3 Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.89/3.01 c 3 Propagation in CSP
2.89/3.08 c 3 692 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.89/3.08 c 3 CSP : 1589 integers, 0 booleans, 2093 clauses, largest domain size 699
2.89/3.08 c 3 Heap : 42 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.89/3.08 c 3 Simplifing CSP by introducing new Boolean variables
2.99/3.10 c 3 CSP : 1589 integers, 5444 booleans, 7537 clauses, largest domain size 699
2.99/3.10 c 3 Heap : 44 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.18/3.36 c 3 Encoding CSP to SAT : HOME/temp.cnf
3.18/3.39 c 3 159 (10%) CSP integer variables are encoded (3816 clauses, 47545 bytes)
3.18/3.39 c 3 318 (20%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39 c 3 477 (30%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39 c 3 636 (40%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39 c 3 795 (50%) CSP integer variables are encoded (4632 clauses, 58153 bytes)
3.18/3.39 c 3 954 (60%) CSP integer variables are encoded (5578 clauses, 70451 bytes)
3.18/3.39 c 3 1113 (70%) CSP integer variables are encoded (6681 clauses, 84790 bytes)
3.28/3.40 c 3 1272 (80%) CSP integer variables are encoded (13657 clauses, 185083 bytes)
3.28/3.41 c 3 1431 (90%) CSP integer variables are encoded (14735 clauses, 201253 bytes)
3.28/3.41 c 3 1589 (100%) CSP integer variables are encoded (16179 clauses, 222913 bytes)
26.73/27.11 c 27 754 (10%) CSP clauses are encoded (484450 clauses, 21853516 bytes)
34.76/35.21 c 35 1508 (20%) CSP clauses are encoded (592366 clauses, 27242449 bytes)
45.36/45.94 c 46 2262 (30%) CSP clauses are encoded (684568 clauses, 32013601 bytes)
50.69/51.31 c 51 3015 (40%) CSP clauses are encoded (739420 clauses, 34884735 bytes)
56.44/57.11 c 57 3769 (50%) CSP clauses are encoded (794598 clauses, 37760735 bytes)
56.44/57.14 c 57 4523 (60%) CSP clauses are encoded (812502 clauses, 38114533 bytes)
56.44/57.19 c 57 5276 (70%) CSP clauses are encoded (830355 clauses, 38467381 bytes)
56.73/57.46 c 57 6030 (80%) CSP clauses are encoded (854251 clauses, 39349091 bytes)
57.13/57.84 c 58 6784 (90%) CSP clauses are encoded (1024821 clauses, 42671663 bytes)
57.92/58.69 c 59 7537 (100%) CSP clauses are encoded (1489162 clauses, 52374540 bytes)
57.92/58.69 c 59 7537 CSP clauses encoded
57.92/58.69 c 59 Writing map file : HOME/temp.map
58.02/58.71 c 59 Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
58.02/58.71 c 59 SAT : 23212 SAT variables, 1489162 SAT clauses, 52374540 bytes
58.02/58.71 c 59 Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
58.02/58.77 c 59 OBJECTIVE minimize _COST
58.02/58.77 c 59 SOLVING HOME/temp.cnf
58.02/58.77 c 59 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
58.02/58.77 c 59 This is MiniSat 2.0 beta incremental
58.02/58.77 c 59 WARNING: for repeatability, setting FPU to use double precision
58.02/58.77 c 59 ============================[ Problem Statistics ]=============================
58.02/58.77 c 59 | |
58.02/58.77 c 59 | Number of variables: 23212 |
58.02/58.77 c 59 | Number of clauses: 1489162 |
59.08/59.89 c 60 | Parsing time: 0.99 s |
59.18/59.96 c 60 OK
59.18/59.96 c 60 OBJECTIVE BOUND: 0 <= _COST <=
59.18/59.96 c 60 SEARCHING: _COST <= 349
59.18/59.96 c 60 ============================[ Search Statistics ]==============================
59.18/59.96 c 60 | Conflicts | ORIGINAL | LEARNT | Progress |
59.18/59.96 c 60 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
59.18/59.96 c 60 ===============================================================================
59.18/59.96 c 60 | 0 | 23212 1489162 8880203 | 496387 0 nan | 0.000 % |
59.38/60.12 c 60 | 100 | 23212 1489162 8880203 | 546026 100 10 | 0.001 % |
59.48/60.21 c 60 | 250 | 23212 1489162 8880203 | 600628 250 8 | 0.001 % |
59.57/60.30 c 60 | 476 | 23212 1489162 8880203 | 660691 476 8 | 0.001 % |
59.68/60.49 c 60 | 814 | 23212 1489162 8880203 | 726760 814 8 | 0.001 % |
59.87/60.61 c 61 | 1320 | 23212 1489162 8880203 | 799436 1320 8 | 0.001 % |
60.07/60.81 c 61 | 2079 | 23212 1489162 8880203 | 879380 2079 9 | 0.001 % |
60.17/60.90 c 61 ===============================================================================
60.17/60.91 c 61 restarts : 7
60.17/60.91 c 61 conflicts : 2192 (1106 /sec)
60.17/60.91 c 61 decisions : 42102 (0.77 % random) (21235 /sec)
60.17/60.91 c 61 propagations : 341355 (172167 /sec)
60.17/60.91 c 61 conflict literals : 18868 (17.87 % deleted)
60.17/60.91 c 61 Memory used : 82.29 MB
60.17/60.91 c 61 CPU time : 1.9827 s
60.17/60.91 c 61
60.17/60.91 c 61 SATISFIABLE
60.17/60.92 c 61 OK
60.17/60.92 c 61 FOUND: _COST <= 349
60.17/60.92 s SATISFIABLE
60.17/60.92 c 61 DECODING HOME/temp.out WITH HOME/temp.map
60.17/60.92 c 61 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
60.19/61.01 c 61 Decoding HOME/temp.out
60.19/61.14 c 61 OBJECTIVE _COST 218
60.19/61.14 o 218
60.19/61.15 v 25 25 24 25 25 25 23 25 25 25 24 24 24 24 23 25 25 25 25 25 25 25 25 24 25 24 24 23 24 23 23 25 25 24 25 25 24 25 24 22 24 20 25 25 25 25 25 25 25 25 25 24 25 25 24 25 25 25 5 20 25 25 24 25 25 25 25 25 25 18 24 24 25 25 25 25 25 25 25 24 25 25 10 25 25 25 24 23 25 25 25 25 25 25 24 25 25 25 25 25 24 25 25 25 25 25 23 25 25 24 24 25 23 23 25 24 23 25 25 23 22 25 22 0 11 19 25 22 21 22 25 25 25 21 24 24 25 21 25 22 25 24 25 25 25 25 25 25 25 23 24 24 25 25 25 25 24 24 25 24 25 25 21 25 25 25 25 25 25 25 24 24 25 21 24 25 25 25 25 21 25 25 25 25 25 25 25 24 25 23 25 23 23
60.19/61.15 c 61 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
60.19/61.19 c 61 OK
60.19/61.19 c 61 OBJECTIVE BOUND: 0 <= _COST <= 218
60.19/61.19 c 61 SEARCHING: _COST <= 109
60.19/61.19 c 61 ============================[ Search Statistics ]==============================
60.19/61.19 c 61 | Conflicts | ORIGINAL | LEARNT | Progress |
60.19/61.19 c 61 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
60.19/61.19 c 61 ===============================================================================
60.19/61.19 c 61 | 2192 | 23212 1489162 8880203 | 496387 2192 9 | 0.001 % |
60.43/61.24 c 61 | 2293 | 23212 1489162 8880203 | 546026 2293 9 | 21.244 % |
60.43/61.29 c 61 | 2443 | 23212 1489162 8880203 | 600628 2443 9 | 21.244 % |
60.53/61.39 c 61 | 2668 | 23212 1489162 8880203 | 660691 2668 9 | 21.244 % |
60.62/61.49 c 61 | 3005 | 23212 1489162 8880203 | 726760 3005 9 | 21.244 % |
60.72/61.57 c 61 ===============================================================================
60.72/61.57 c 61 restarts : 12
60.72/61.57 c 61 conflicts : 3151 (1332 /sec)
60.72/61.57 c 61 decisions : 51094 (0.72 % random) (21598 /sec)
60.72/61.57 c 61 propagations : 496595 (209920 /sec)
60.72/61.57 c 61 conflict literals : 26869 (18.56 % deleted)
60.72/61.57 c 61 Memory used : 82.95 MB
60.72/61.57 c 61 CPU time : 2.36564 s
60.72/61.58 c 61
60.72/61.58 c 61 SATISFIABLE
60.72/61.59 c 62 OK
60.72/61.59 c 62 FOUND: _COST <= 109
60.72/61.59 c 62 DECODING HOME/temp.out WITH HOME/temp.map
60.72/61.59 c 62 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
60.80/61.66 c 62 Decoding HOME/temp.out
60.80/62.00 c 62 OBJECTIVE _COST 109
60.80/62.01 o 109
60.80/62.01 v 24 25 23 25 25 25 24 25 25 25 22 14 18 25 25 25 5 25 25 25 24 25 25 23 7 22 22 25 24 25 20 25 25 23 25 25 25 25 25 8 11 0 25 25 25 25 25 24 25 25 25 25 25 24 24 25 25 25 25 25 25 25 25 25 25 25 25 25 25 23 23 24 25 21 25 25 25 25 25 25 25 25 20 25 25 25 8 25 0 25 25 25 25 25 24 22 25 25 25 25 22 13 25 8 25 25 25 24 25 24 25 25 22 25 24 20 17 25 24 23 24 24 25 25 24 25 25 11 24 4 25 25 25 23 25 25 25 4 25 21 25 25 25 25 25 25 25 25 25 24 25 24 25 25 25 25 24 23 25 25 25 25 17 25 25 25 25 25 25 25 24 25 25 23 24 25 0 25 22 25 25 25 25 25 25 24 25 23 25 22 25 22 21
60.80/62.02 c 62 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
60.80/62.06 c 62 OK
60.80/62.06 c 62 OBJECTIVE BOUND: 0 <= _COST <= 109
60.80/62.06 c 62 SEARCHING: _COST <= 54
61.23/62.25 c 62 ============================[ Search Statistics ]==============================
61.23/62.25 c 62 | Conflicts | ORIGINAL | LEARNT | Progress |
61.23/62.25 c 62 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
61.23/62.25 c 62 ===============================================================================
61.23/62.25 c 62 | 3151 | 18281 1489162 8880203 | 496387 3151 9 | 21.244 % |
61.23/62.27 c 62 | 3251 | 18281 1489162 8880203 | 546026 3251 9 | 27.258 % |
61.29/62.34 c 62 | 3401 | 18281 1489162 8880203 | 600628 3401 8 | 27.258 % |
61.39/62.46 c 62 | 3627 | 18281 1489162 8880203 | 660691 3627 9 | 27.258 % |
61.49/62.53 c 62 | 3964 | 18281 1489162 8880203 | 726760 3964 9 | 27.258 % |
61.59/62.67 c 63 | 4470 | 18281 1489162 8880203 | 799436 4470 8 | 27.258 % |
61.78/62.85 c 63 | 5230 | 18281 1489162 8880203 | 879380 5230 8 | 27.258 % |
61.98/63.03 c 63 | 6371 | 18281 1489162 8880203 | 967318 6371 9 | 27.258 % |
62.38/63.40 c 63 | 8079 | 18281 1489162 8880203 | 1064050 8079 9 | 27.258 % |
62.77/63.85 c 64 | 10641 | 18281 1489162 8880203 | 1170455 10641 9 | 27.258 % |
63.57/64.64 c 65 | 14485 | 18217 1489162 8880203 | 1287500 14485 9 | 27.258 % |
64.36/65.48 c 65 | 20251 | 18217 1489162 8880203 | 1416250 20251 10 | 27.258 % |
66.54/67.60 c 68 ===============================================================================
66.54/67.60 c 68 restarts : 24
66.54/67.60 c 68 conflicts : 27669 (3605 /sec)
66.54/67.60 c 68 decisions : 116330 (0.77 % random) (15155 /sec)
66.54/67.60 c 68 propagations : 1893185 (246642 /sec)
66.54/67.60 c 68 conflict literals : 305164 (19.76 % deleted)
66.54/67.60 c 68 Memory used : 88.38 MB
66.54/67.60 c 68 CPU time : 7.67583 s
66.54/67.60 c 68
66.54/67.60 c 68 SATISFIABLE
66.54/67.61 c 68 OK
66.54/67.61 c 68 FOUND: _COST <= 54
66.54/67.61 c 68 DECODING HOME/temp.out WITH HOME/temp.map
66.54/67.61 c 68 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
66.54/67.69 c 68 Decoding HOME/temp.out
66.55/67.82 c 68 OBJECTIVE _COST 54
66.55/67.83 o 54
66.55/67.83 v 19 19 11 19 19 25 25 25 25 25 25 25 25 7 4 0 15 20 22 25 16 25 25 23 19 25 25 20 23 25 24 23 23 22 25 25 25 25 24 25 24 25 18 19 24 11 4 24 25 25 25 25 25 24 25 4 3 19 25 25 25 24 25 25 25 25 14 17 0 19 4 25 25 21 24 14 24 25 25 22 20 18 13 25 25 22 8 25 25 25 24 25 14 19 18 18 25 24 25 25 24 13 25 14 25 24 23 11 17 18 25 25 23 23 24 25 13 25 25 25 21 20 25 25 25 22 25 11 24 4 4 12 15 19 24 23 25 25 5 25 11 15 4 17 4 25 25 25 20 25 25 20 24 24 25 4 19 25 25 25 25 25 24 18 25 14 25 25 13 21 17 19 25 24 25 25 23 18 25 17 25 25 23 25 24 24 4 25 17 0 17 20 13
66.55/67.84 c 68 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
66.55/67.88 c 68 OK
66.55/67.88 c 68 OBJECTIVE BOUND: 0 <= _COST <= 54
66.55/67.88 c 68 SEARCHING: _COST <= 27
66.55/67.88 c 68 ============================[ Search Statistics ]==============================
66.55/67.88 c 68 | Conflicts | ORIGINAL | LEARNT | Progress |
66.55/67.88 c 68 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
66.55/67.88 c 68 ===============================================================================
66.55/67.88 c 68 | 27669 | 16885 1489162 8880203 | 496387 27669 11 | 27.258 % |
66.80/67.95 c 68 | 27769 | 16882 1489162 8880203 | 546026 27769 11 | 31.579 % |
66.90/68.01 c 68 | 27919 | 16882 1489162 8880203 | 600628 27919 11 | 31.579 % |
66.90/68.07 c 68 | 28144 | 16882 1489162 8880203 | 660691 28144 11 | 31.579 % |
67.10/68.26 c 68 | 28481 | 16882 1489162 8880203 | 726760 28481 11 | 31.579 % |
67.19/68.38 c 68 | 28987 | 16882 1489162 8880203 | 799436 28987 11 | 31.579 % |
67.29/68.45 c 68 | 29746 | 16882 1489162 8880203 | 879380 29746 11 | 31.579 % |
67.69/68.85 c 69 | 30886 | 16882 1489162 8880203 | 967318 30886 11 | 31.579 % |
68.28/69.40 c 69 | 32594 | 16781 1489162 8880203 | 1064050 32594 11 | 31.579 % |
68.68/69.82 c 70 | 35156 | 16781 1489162 8880203 | 1170455 35156 11 | 31.579 % |
69.27/70.49 c 70 | 39001 | 16781 1489162 8880203 | 1287500 39001 11 | 31.579 % |
70.96/72.11 c 72 | 44769 | 16781 1489162 8880203 | 1416250 44769 11 | 31.579 % |
72.25/73.48 c 73 | 53420 | 16781 1489162 8880203 | 1557876 53420 11 | 31.579 % |
75.22/76.45 c 76 | 66397 | 16774 1489162 8880203 | 1713663 66397 11 | 31.579 % |
84.04/85.38 c 85 | 85859 | 16773 1489162 8880203 | 1885030 85859 13 | 31.579 % |
90.78/92.19 c 92 | 115051 | 16364 1489162 8880203 | 2073533 115051 13 | 31.579 % |
113.26/114.89 c 115 | 158840 | 16162 1489162 8880203 | 2280886 158840 15 | 31.579 % |
122.08/123.70 c 124 ===============================================================================
122.08/123.70 c 124 restarts : 41
122.08/123.70 c 124 conflicts : 181586 (2886 /sec)
122.08/123.70 c 124 decisions : 370161 (0.94 % random) (5882 /sec)
122.08/123.70 c 124 propagations : 10854468 (172486 /sec)
122.08/123.70 c 124 conflict literals : 2721883 (22.79 % deleted)
122.08/123.70 c 124 Memory used : 103.43 MB
122.08/123.70 c 124 CPU time : 62.9294 s
122.08/123.70 c 124
122.08/123.70 c 124 SATISFIABLE
122.08/123.71 c 124 OK
122.08/123.71 c 124 FOUND: _COST <= 27
122.08/123.71 c 124 DECODING HOME/temp.out WITH HOME/temp.map
122.08/123.71 c 124 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
122.08/123.79 c 124 Decoding HOME/temp.out
122.09/124.13 c 124 OBJECTIVE _COST 27
122.09/124.13 o 27
122.09/124.14 v 1 2 17 18 14 13 24 25 25 4 24 20 18 20 14 18 17 24 20 20 25 25 24 6 14 19 4 17 25 21 20 25 19 12 25 25 25 24 14 18 0 23 6 24 15 18 24 1 24 22 0 24 19 7 24 4 6 6 25 25 25 24 22 1 8 3 24 0 19 4 18 24 24 25 17 10 20 17 8 18 17 14 22 25 25 11 0 0 17 25 22 25 24 25 19 24 25 25 24 25 8 8 25 20 25 8 25 17 0 7 25 14 14 4 17 14 18 24 13 24 8 13 8 11 4 20 12 4 17 4 0 25 20 17 4 21 4 23 18 19 20 8 18 14 25 23 3 22 24 4 17 22 24 25 25 1 20 13 25 25 24 20 25 20 25 25 20 15 17 14 0 17 25 25 20 18 24 10 24 24 12 14 25 25 17 24 25 25 7 0 8 21 24
122.09/124.14 c 124 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
122.09/124.19 c 124 OK
122.09/124.19 c 124 OBJECTIVE BOUND: 0 <= _COST <= 27
122.09/124.19 c 124 SEARCHING: _COST <= 13
122.09/124.19 c 124 ============================[ Search Statistics ]==============================
122.09/124.19 c 124 | Conflicts | ORIGINAL | LEARNT | Progress |
122.09/124.19 c 124 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
122.09/124.19 c 124 ===============================================================================
122.09/124.19 c 124 | 181586 | 15882 945516 7270611 | 315172 181584 15 | 31.579 % |
122.52/124.27 c 124 | 181687 | 15882 945516 7270611 | 346689 181685 15 | 35.098 % |
122.62/124.39 c 124 | 181837 | 15882 945516 7270611 | 381358 181835 15 | 35.098 % |
122.91/124.60 c 125 | 182063 | 15882 945516 7270611 | 419493 182061 15 | 35.098 % |
122.91/124.68 c 125 | 182400 | 15882 945516 7270611 | 461443 182398 15 | 35.098 % |
123.31/125.05 c 125 | 182906 | 15882 945516 7270611 | 507587 182904 15 | 35.098 % |
123.51/125.26 c 125 | 183665 | 15882 945516 7270611 | 558346 183663 15 | 35.098 % |
123.71/125.47 c 125 | 184804 | 15882 945516 7270611 | 614181 184802 15 | 35.098 % |
124.20/125.92 c 126 | 186513 | 15882 945516 7270611 | 675599 186511 15 | 35.098 % |
125.69/127.49 c 127 | 189077 | 15882 945516 7270611 | 743159 189075 15 | 35.098 % |
127.27/129.09 c 129 | 192921 | 15882 945516 7270611 | 817474 192919 15 | 35.098 % |
129.75/131.51 c 131 | 198688 | 15882 945516 7270611 | 899222 198686 15 | 35.098 % |
132.91/134.73 c 135 | 207338 | 15874 945516 7270611 | 989144 207336 15 | 35.098 % |
136.38/138.27 c 138 | 220312 | 15874 945516 7270611 | 1088059 220310 15 | 35.098 % |
145.89/147.88 c 148 | 239773 | 15555 945516 7270611 | 1196865 239771 15 | 35.098 % |
164.51/166.67 c 167 | 268965 | 15555 945516 7270611 | 1316551 268963 16 | 35.098 % |
188.08/190.47 c 190 | 312754 | 15483 945516 7270611 | 1448206 312752 16 | 35.098 % |
238.50/241.39 c 241 | 378439 | 15454 945516 7270611 | 1593027 378437 17 | 35.098 % |
289.22/292.59 c 293 | 476965 | 15065 901194 7140069 | 1752330 476944 18 | 35.098 % |
386.98/391.27 c 391 ===============================================================================
386.98/391.27 c 391 restarts : 60
386.98/391.27 c 391 conflicts : 572270 (1748 /sec)
386.98/391.27 c 391 decisions : 911990 (1.06 % random) (2785 /sec)
386.98/391.27 c 391 propagations : 35458432 (108299 /sec)
386.98/391.27 c 391 conflict literals : 11004631 (22.86 % deleted)
386.98/391.27 c 391 Memory used : 138.21 MB
386.98/391.27 c 391 CPU time : 327.412 s
386.98/391.27 c 391
386.98/391.27 c 391 SATISFIABLE
386.98/391.28 c 391 OK
386.98/391.28 c 391 FOUND: _COST <= 13
386.98/391.28 c 391 DECODING HOME/temp.out WITH HOME/temp.map
386.98/391.28 c 391 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
387.06/391.37 c 391 Decoding HOME/temp.out
387.45/391.72 c 392 OBJECTIVE _COST 13
387.45/391.72 o 13
387.45/391.72 v 20 7 5 18 19 4 22 2 0 15 20 19 14 18 14 11 8 19 0 17 24 0 20 18 19 8 13 15 11 4 13 8 15 14 19 4 13 19 8 0 17 24 18 19 0 5 5 18 8 13 0 8 7 4 23 14 11 3 7 14 11 18 19 20 18 2 4 17 17 14 11 19 8 1 4 17 11 8 11 0 14 8 11 5 8 6 0 17 14 19 17 8 2 7 11 14 17 14 0 2 4 19 8 2 17 4 13 19 0 11 17 20 19 17 4 2 10 0 13 19 14 13 22 8 19 19 24 18 7 24 17 20 25 14 23 24 25 21 17 14 3 10 16 17 25 24 5 20 25 25 24 18 15 20 8 10 25 13 25 13 22 25 25 14 25 14 21 20 11 2 0 13 25 25 17 25 25 17 25 17 15 18 24 2 7 14 25 25 24 25 13 24 4
387.45/391.73 c 392 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
387.45/391.77 c 392 OK
387.45/391.77 c 392 OBJECTIVE BOUND: 0 <= _COST <= 13
387.45/391.77 c 392 SEARCHING: _COST <= 6
387.45/391.77 c 392 ============================[ Search Statistics ]==============================
387.45/391.77 c 392 | Conflicts | ORIGINAL | LEARNT | Progress |
387.45/391.77 c 392 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
387.45/391.77 c 392 ===============================================================================
387.45/391.77 c 392 | 572270 | 15065 901194 7140069 | 300398 572249 19 | 35.098 % |
389.90/394.20 c 394 | 572370 | 15065 901194 7140069 | 330437 24932 26 | 38.450 % |
390.00/394.38 c 394 | 572522 | 15065 901194 7140069 | 363481 25084 26 | 38.450 % |
390.20/394.58 c 395 | 572749 | 15065 901194 7140069 | 399829 25311 26 | 38.450 % |
390.40/394.72 c 395 | 573086 | 15065 901194 7140069 | 439812 25648 26 | 38.450 % |
390.60/394.97 c 395 | 573592 | 15065 901194 7140069 | 483793 26154 25 | 38.450 % |
390.79/395.18 c 395 | 574351 | 15065 901194 7140069 | 532173 26913 25 | 38.450 % |
390.99/395.36 c 395 | 575490 | 15065 901194 7140069 | 585390 28052 24 | 38.450 % |
391.19/395.52 c 395 | 577199 | 15065 901194 7140069 | 643929 29761 24 | 38.450 % |
391.49/395.85 c 396 | 579761 | 15065 901194 7140069 | 708322 32323 23 | 38.450 % |
392.28/396.69 c 397 | 583606 | 15065 901194 7140069 | 779155 36168 22 | 38.450 % |
393.96/398.36 c 398 | 589374 | 15065 901194 7140069 | 857070 41936 20 | 38.450 % |
399.31/403.71 c 404 | 598023 | 14287 876215 7067452 | 942777 50585 21 | 38.450 % |
403.18/407.61 c 408 | 610998 | 14287 876215 7067452 | 1037055 63560 20 | 38.450 % |
410.21/414.78 c 415 | 630459 | 14287 876215 7067452 | 1140760 83021 19 | 38.450 % |
426.36/431.06 c 431 | 659654 | 14287 876215 7067452 | 1254836 112216 20 | 38.450 % |
445.27/450.12 c 450 | 703443 | 14287 876215 7067452 | 1380320 156005 19 | 38.450 % |
491.34/496.63 c 497 | 769127 | 14287 876215 7067452 | 1518352 221689 20 | 38.450 % |
562.47/568.46 c 568 | 867654 | 14287 876215 7067452 | 1670188 320216 21 | 38.450 % |
690.05/697.25 c 697 | 1015443 | 14287 876215 7067452 | 1837206 468005 22 | 38.450 % |
838.73/847.34 c 847 ===============================================================================
838.73/847.34 c 847 restarts : 80
838.73/847.34 c 847 conflicts : 1186490 (1524 /sec)
838.73/847.34 c 847 decisions : 1769136 (1.15 % random) (2272 /sec)
838.73/847.34 c 847 propagations : 79268138 (101806 /sec)
838.73/847.34 c 847 conflict literals : 25034546 (23.03 % deleted)
838.73/847.34 c 847 Memory used : 157.35 MB
838.73/847.34 c 847 CPU time : 778.622 s
838.73/847.34 c 847
838.73/847.34 c 847 SATISFIABLE
838.73/847.35 c 847 OK
838.73/847.35 c 847 FOUND: _COST <= 6
838.73/847.35 c 847 DECODING HOME/temp.out WITH HOME/temp.map
838.73/847.35 c 847 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
838.77/847.44 c 847 Decoding HOME/temp.out
838.77/847.77 c 848 OBJECTIVE _COST 6
838.77/847.77 o 6
838.77/847.78 v 18 2 12 20 19 0 7 18 22 0 19 7 4 0 17 8 0 13 8 18 12 2 14 13 17 0 3 13 14 19 22 8 19 7 18 19 0 13 3 8 13 6 18 22 4 0 19 24 8 4 11 3 14 3 4 24 0 22 15 4 3 17 14 0 11 15 11 24 12 0 13 14 20 19 2 25 17 4 0 11 0 17 19 18 20 25 20 10 8 20 21 20 24 21 19 18 25 16 19 18 4 19 25 25 1 4 11 14 8 19 14 20 17 11 14 18 19 0 11 14 13 6 10 17 0 20 19 17 0 24 18 13 4 4 17 19 8 12 18 2 8 4 17 13 18 19 6 14 20 3 0 4 11 4 2 19 17 14 15 7 14 17 4 18 8 18 15 20 4 17 19 14 11 4 13 8 13 8 18 19 19 4 4 19 4 17 0 12 4 18 0 2 12
838.77/847.78 c 848 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
839.45/848.10 c 848 OK
839.45/848.10 c 848 OBJECTIVE BOUND: 0 <= _COST <= 6
839.45/848.10 c 848 SEARCHING: _COST <= 3
839.45/848.10 c 848 ============================[ Search Statistics ]==============================
839.45/848.10 c 848 | Conflicts | ORIGINAL | LEARNT | Progress |
839.45/848.10 c 848 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
839.45/848.10 c 848 ===============================================================================
839.45/848.10 c 848 | 1186490 | 13508 862322 7028103 | 287440 639052 23 | 38.450 % |
842.03/850.79 c 851 | 1186590 | 13508 862322 7028103 | 316184 25138 22 | 41.806 % |
842.33/851.00 c 851 | 1186740 | 13508 862322 7028103 | 347803 25288 22 | 41.806 % |
842.33/851.04 c 851 | 1186965 | 13508 862322 7028103 | 382583 25513 22 | 41.806 % |
842.43/851.13 c 851 | 1187302 | 13508 862322 7028103 | 420841 25850 22 | 41.806 % |
842.63/851.39 c 851 | 1187809 | 13508 862322 7028103 | 462926 26357 22 | 41.806 % |
843.01/851.71 c 852 | 1188570 | 13508 862322 7028103 | 509218 27118 22 | 41.806 % |
843.11/851.89 c 852 | 1189710 | 13508 862322 7028103 | 560140 28258 21 | 41.806 % |
843.41/852.11 c 852 | 1191418 | 13508 862322 7028103 | 616154 29966 20 | 41.806 % |
844.10/852.83 c 853 | 1193980 | 13508 862322 7028103 | 677770 32528 20 | 41.806 % |
844.99/853.70 c 854 | 1197824 | 13508 862322 7028103 | 745547 36372 19 | 41.806 % |
845.59/854.39 c 854 | 1203591 | 13508 862322 7028103 | 820101 42139 18 | 41.806 % |
848.07/856.86 c 857 | 1212240 | 13508 862322 7028103 | 902111 50788 17 | 41.806 % |
850.44/859.29 c 859 | 1225216 | 13508 862322 7028103 | 992323 63764 16 | 41.806 % |
857.48/866.39 c 866 | 1244678 | 13508 862322 7028103 | 1091555 83226 16 | 41.806 % |
873.23/882.29 c 882 | 1273870 | 13508 862322 7028103 | 1200710 112418 17 | 41.806 % |
901.06/910.33 c 910 | 1317659 | 13508 862322 7028103 | 1320782 156207 19 | 41.806 % |
938.11/947.77 c 948 | 1383343 | 13508 862322 7028103 | 1452860 221891 20 | 41.806 % |
992.49/1002.65 c 1003 | 1481869 | 13508 862322 7028103 | 1598146 320417 20 | 41.806 % |
1132.26/1143.72 c 1144 | 1629658 | 13508 862322 7028103 | 1757960 468206 22 | 41.806 % |
1359.57/1373.26 c 1373 ===============================================================================
1359.57/1373.26 c 1373 restarts : 100
1359.57/1373.26 c 1373 conflicts : 1837724 (1415 /sec)
1359.57/1373.26 c 1373 decisions : 2683983 (1.23 % random) (2066 /sec)
1359.57/1373.26 c 1373 propagations : 127217555 (97932 /sec)
1359.57/1373.26 c 1373 conflict literals : 40463496 (22.61 % deleted)
1359.57/1373.26 c 1373 Memory used : 165.80 MB
1359.57/1373.26 c 1373 CPU time : 1299.04 s
1359.57/1373.26 c 1373
1359.57/1373.26 c 1373 SATISFIABLE
1359.57/1373.27 c 1373 OK
1359.57/1373.27 c 1373 FOUND: _COST <= 3
1359.57/1373.27 c 1373 DECODING HOME/temp.out WITH HOME/temp.map
1359.57/1373.27 c 1373 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1359.65/1373.36 c 1373 Decoding HOME/temp.out
1359.65/1373.69 c 1374 OBJECTIVE _COST 3
1359.65/1373.69 o 3
1359.66/1373.70 v 17 4 19 22 8 15 4 15 11 0 19 19 4 4 2 18 19 0 19 8 2 0 4 13 4 8 3 2 7 0 17 11 14 19 19 4 18 21 8 11 11 4 10 14 17 0 13 7 0 8 19 8 11 4 13 15 20 18 6 17 4 19 0 0 11 0 19 7 14 18 4 0 1 14 21 4 12 14 13 10 14 22 4 0 19 1 25 0 23 0 2 10 13 14 22 11 4 3 6 4 0 1 11 4 18 0 11 0 17 24 18 4 22 18 15 20 17 18 11 4 15 19 0 19 11 0 18 24 4 19 15 7 14 19 14 24 0 15 0 13 0 8 17 14 13 24 1 20 17 18 19 19 4 11 4 2 14 12 12 20 13 8 2 0 19 4 14 17 4 6 14 13 15 11 0 13 10 19 14 13 15 14 2 14 13 14 25 4 19 0 0 15 19
1359.66/1373.71 c 1374 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1360.32/1374.03 c 1374 OK
1360.32/1374.03 c 1374 OBJECTIVE BOUND: 0 <= _COST <= 3
1360.32/1374.03 c 1374 SEARCHING: _COST <= 1
1360.32/1374.03 c 1374 ============================[ Search Statistics ]==============================
1360.32/1374.03 c 1374 | Conflicts | ORIGINAL | LEARNT | Progress |
1360.32/1374.03 c 1374 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1360.32/1374.03 c 1374 ===============================================================================
1360.32/1374.03 c 1374 | 1837724 | 12806 855132 7008636 | 285044 676272 24 | 41.806 % |
1363.20/1376.97 c 1377 | 1837824 | 12806 855132 7008636 | 313548 32130 24 | 44.830 % |
1363.30/1377.03 c 1377 | 1837974 | 12806 855132 7008636 | 344903 32280 24 | 44.830 % |
1363.49/1377.28 c 1377 | 1838199 | 12806 855132 7008636 | 379393 32505 24 | 44.830 % |
1363.69/1377.41 c 1377 | 1838537 | 12806 855132 7008636 | 417332 32843 23 | 44.830 % |
1363.79/1377.56 c 1377 | 1839043 | 12806 855132 7008636 | 459066 33349 23 | 44.830 % |
1363.99/1377.71 c 1378 | 1839802 | 12806 855132 7008636 | 504972 34108 23 | 44.830 % |
1364.58/1378.38 c 1378 | 1840942 | 12806 855132 7008636 | 555470 35248 23 | 44.830 % |
1365.28/1379.06 c 1379 | 1842651 | 12806 855132 7008636 | 611017 36957 22 | 44.830 % |
1366.37/1380.17 c 1380 | 1845214 | 12806 855132 7008636 | 672118 39520 22 | 44.830 % |
1367.35/1381.18 c 1381 | 1849060 | 12806 855132 7008636 | 739330 43366 21 | 44.830 % |
1369.43/1383.28 c 1383 | 1854827 | 12806 855132 7008636 | 813263 49133 21 | 44.830 % |
1371.12/1384.99 c 1385 | 1863478 | 12806 855132 7008636 | 894590 57784 20 | 44.830 % |
1377.75/1391.66 c 1392 | 1876452 | 12806 855132 7008636 | 984049 70758 20 | 44.830 % |
1390.44/1404.43 c 1404 | 1895914 | 12806 855132 7008636 | 1082454 90220 19 | 44.830 % |
1408.37/1422.59 c 1423 | 1925107 | 12806 855132 7008636 | 1190699 119413 20 | 44.830 % |
1434.82/1449.23 c 1449 | 1968896 | 12806 855132 7008636 | 1309769 163202 20 | 44.830 % |
1479.69/1494.50 c 1494 | 2034581 | 12806 855132 7008636 | 1440746 228887 21 | 44.830 % |
1534.27/1549.61 c 1550 | 2133107 | 12806 855132 7008636 | 1584821 327413 22 | 44.830 % |
1584.88/1600.74 c 1601 ===============================================================================
1584.88/1600.74 c 1601 restarts : 119
1584.88/1600.74 c 1601 conflicts : 2188164 (1436 /sec)
1584.88/1600.74 c 1601 decisions : 3183661 (1.25 % random) (2089 /sec)
1584.88/1600.74 c 1601 propagations : 152844861 (100301 /sec)
1584.88/1600.74 c 1601 conflict literals : 48486128 (22.24 % deleted)
1584.88/1600.74 c 1601 Memory used : 165.80 MB
1584.88/1600.74 c 1601 CPU time : 1523.86 s
1584.88/1600.74 c 1601
1584.88/1600.74 c 1601 SATISFIABLE
1584.88/1600.75 c 1601 OK
1584.88/1600.75 c 1601 FOUND: _COST <= 1
1584.88/1600.75 c 1601 DECODING HOME/temp.out WITH HOME/temp.map
1584.88/1600.75 c 1601 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1584.93/1600.83 c 1601 Decoding HOME/temp.out
1584.93/1601.17 c 1601 OBJECTIVE _COST 1
1584.93/1601.17 o 1
1584.93/1601.17 v 0 22 11 5 11 14 4 0 17 2 0 13 0 2 7 0 19 4 0 20 23 17 4 20 1 4 13 7 4 19 4 17 14 18 19 17 20 2 19 20 17 4 4 19 7 4 17 19 17 8 1 4 19 14 22 19 8 19 0 3 0 15 19 22 7 14 18 7 0 11 4 19 17 4 18 18 7 0 2 10 4 11 8 19 14 8 11 4 19 8 13 2 14 12 12 4 13 18 20 17 0 1 11 4 18 14 20 17 2 4 6 4 19 11 14 12 4 7 8 17 0 12 1 20 23 14 12 22 0 17 13 8 5 4 8 17 0 22 0 18 18 11 14 4 18 18 17 0 1 0 19 2 7 0 17 11 14 19 19 4 18 21 8 11 11 4 12 20 18 2 0 19 8 17 17 8 19 0 19 4 4 19 7 0 13 4 2 0 8 13 19 14 13
1584.93/1601.18 c 1601 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1585.52/1601.42 c 1601 OK
1585.52/1601.42 c 1601 OBJECTIVE BOUND: 0 <= _COST <= 1
1585.52/1601.42 c 1601 SEARCHING: _COST <= 0
1585.52/1601.42 c 1601 ============================[ Search Statistics ]==============================
1585.52/1601.42 c 1601 | Conflicts | ORIGINAL | LEARNT | Progress |
1585.52/1601.42 c 1601 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1585.52/1601.42 c 1601 ===============================================================================
1585.52/1601.42 c 1601 | 2188164 | 11665 848305 6991576 | 282768 382470 23 | 44.830 % |
1587.10/1603.09 c 1603 | 2188264 | 11665 848305 6991576 | 311045 19749 24 | 49.746 % |
1587.20/1603.13 c 1603 | 2188415 | 11665 848305 6991576 | 342149 19900 24 | 49.746 % |
1587.30/1603.21 c 1603 | 2188640 | 11665 848305 6991576 | 376364 20125 24 | 49.746 % |
1587.40/1603.31 c 1603 | 2188977 | 11665 848305 6991576 | 414001 20462 24 | 49.746 % |
1587.49/1603.42 c 1603 | 2189483 | 11665 848305 6991576 | 455401 20968 23 | 49.746 % |
1587.59/1603.53 c 1603 | 2190242 | 11665 848305 6991576 | 500941 21727 23 | 49.746 % |
1587.79/1603.71 c 1604 | 2191381 | 11665 848305 6991576 | 551035 22866 22 | 49.746 % |
1587.98/1603.95 c 1604 | 2193090 | 11665 848305 6991576 | 606139 24575 21 | 49.746 % |
1588.28/1604.30 c 1604 | 2195653 | 11665 848305 6991576 | 666752 27138 20 | 49.746 % |
1589.07/1605.08 c 1605 | 2199497 | 11665 848305 6991576 | 733428 30982 19 | 49.746 % |
1590.36/1606.31 c 1606 | 2205263 | 11665 848305 6991576 | 806771 36748 18 | 49.746 % |
1591.95/1607.97 c 1608 | 2213914 | 11665 848305 6991576 | 887448 45399 17 | 49.746 % |
1594.33/1610.34 c 1610 | 2226889 | 11665 848305 6991576 | 976192 58374 16 | 49.746 % |
1599.78/1615.88 c 1616 | 2246351 | 11665 848305 6991576 | 1073812 77836 16 | 49.746 % |
1619.09/1635.35 c 1635 | 2275546 | 11665 848305 6991576 | 1181193 107031 18 | 49.746 % |
1642.07/1658.59 c 1659 | 2319336 | 11665 848305 6991576 | 1299312 150821 18 | 49.746 % |
1688.52/1705.45 c 1705 | 2385021 | 11665 848305 6991576 | 1429244 216506 20 | 49.746 % |
1784.71/1802.52 c 1802 | 2483549 | 11665 848305 6991576 | 1572168 315034 24 | 49.746 % |
1907.43/1926.49 c 1926 | 2631338 | 11665 848305 6991576 | 1729385 462823 25 | 49.746 % |
1983.41/2003.18 c 2003 ===============================================================================
1983.41/2003.18 c 2003 restarts : 139
1983.41/2003.18 c 2003 conflicts : 2709548 (1410 /sec)
1983.41/2003.18 c 2003 decisions : 3889057 (1.31 % random) (2023 /sec)
1983.41/2003.18 c 2003 propagations : 189680469 (98689 /sec)
1983.41/2003.18 c 2003 conflict literals : 62156398 (21.87 % deleted)
1983.41/2003.18 c 2003 Memory used : 165.80 MB
1983.41/2003.18 c 2003 CPU time : 1922.01 s
1983.41/2003.18 c 2003
1983.41/2003.18 c 2003 UNSATISFIABLE
1983.41/2003.18 c 2003 OK
1983.41/2003.18 c 2003 NOT FOUND: _COST <= 0
1983.41/2003.18 c 2003 OK
1983.41/2003.18 c 2003 OBJECTIVE _COST 1
1983.41/2003.18 s OPTIMUM FOUND
1983.51/2003.24 c 2003 CPU 1982.28 (0.07 0.04 1982.21 1.21)
1983.51/2003.24 c 2003 END Sat Jul 12 06:13:00 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-1110753-1215833977/watcher-1110753-1215833977 -o /tmp/evaluation-result-1110753-1215833977/solver-1110753-1215833977 -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-1110753-1215833977.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=12268 CPUtime=0
/proc/14225/stat : 14225 (sugar++) R 14223 14225 13348 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 40101181 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 206390213630 0 0 4224 0 0 0 0 17 1 0 0
/proc/14225/statm: 3067 316 241 3 0 167 0
[startup+0.0808909 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1143 0 0 0 4 2 0 0 18 0 1 0 40101181 17141760 1099 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1099 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.102199 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.30208 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.70216 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 14225
/proc/meminfo: memFree=1723208/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.06
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1219 128 0 0 4 2 0 0 19 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50126 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 14247
/proc/meminfo: memFree=1714288/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1296 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=864140 CPUtime=0.65
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 7094 0 1 0 62 3 0 0 18 0 9 0 40101264 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 216035 6346 2540 9 0 210610 0
[pid=14239/tid=14240] ppid=14238 vsize=864140 CPUtime=0.35
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 2659 0 1 0 34 1 0 0 22 0 9 0 40101265 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=864140 CPUtime=0.19
/proc/14239/task/14241/stat : 14241 (java) R 14238 14225 13348 0 -1 64 3400 0 0 0 18 1 0 0 16 0 9 0 40101266 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 102723254 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40101266 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=864140 CPUtime=0.08
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 343 0 0 0 8 0 0 0 16 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 884879360 6346 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=864140 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 884879360 6346 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) 886236
[startup+3.1026 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 14247
/proc/meminfo: memFree=1687408/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868360 CPUtime=2.24
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 17494 0 1 0 214 10 0 0 18 0 9 0 40101264 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217090 16669 2540 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868360 CPUtime=0.97
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3246 0 1 0 95 2 0 0 25 0 9 0 40101265 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4125924832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868360 CPUtime=1.01
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 12069 0 0 0 95 6 0 0 16 0 9 0 40101266 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 40101266 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=868360 CPUtime=0.22
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 1487 0 0 0 22 0 0 0 15 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=868360 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 889200640 16669 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890456
[startup+6.30115 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 14247
/proc/meminfo: memFree=1655672/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868472 CPUtime=5.41
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 18884 0 1 0 526 15 0 0 18 0 9 0 40101264 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217118 17947 2565 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868472 CPUtime=3.72
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3384 0 1 0 367 5 0 0 25 0 9 0 40101265 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4127055710 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868472 CPUtime=1.39
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 13299 0 0 0 132 7 0 0 16 0 9 0 40101266 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=868472 CPUtime=0.26
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 1509 0 0 0 26 0 0 0 16 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 889315328 17947 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890568
[startup+12.7023 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 14247
/proc/meminfo: memFree=1638648/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868472 CPUtime=11.73
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 21427 0 1 0 1153 20 0 0 18 0 9 0 40101264 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217118 20401 2565 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868472 CPUtime=9.79
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3473 0 1 0 970 9 0 0 25 0 9 0 40101265 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4126589893 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868472 CPUtime=1.64
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 15749 0 0 0 155 9 0 0 16 0 9 0 40101266 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14244] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14244/stat : 14244 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14245] ppid=14238 vsize=868472 CPUtime=0.27
/proc/14239/task/14245/stat : 14245 (java) S 14238 14225 13348 0 -1 64 1513 0 0 0 27 0 0 0 17 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14246] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14246/stat : 14246 (java) S 14238 14225 13348 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14247] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14247/stat : 14247 (java) S 14238 14225 13348 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40101268 889315328 20401 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 890568
[startup+25.5027 s]
/proc/loadavg: 2.13 2.03 2.01 3/92 14247
/proc/meminfo: memFree=1612536/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16740 CPUtime=0.75
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 1297 5277 0 1 4 2 65 4 15 0 1 0 40101181 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4185 1104 409 3 0 764 0
[pid=14238] ppid=14225 vsize=5356 CPUtime=0
/proc/14238/stat : 14238 (sh) S 14225 14225 13348 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 40101263 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14238/statm: 1339 233 193 169 0 50 0
[pid=14239] ppid=14238 vsize=868472 CPUtime=24.4
/proc/14239/stat : 14239 (java) S 14238 14225 13348 0 -1 0 29739 0 1 0 2410 30 0 0 18 0 9 0 40101264 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14239/statm: 217118 24068 2565 9 0 211665 0
[pid=14239/tid=14240] ppid=14238 vsize=868472 CPUtime=21.74
/proc/14239/task/14240/stat : 14240 (java) R 14238 14225 13348 0 -1 64 3630 0 1 0 2159 15 0 0 25 0 9 0 40101265 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4127032478 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14241] ppid=14238 vsize=868472 CPUtime=2.34
/proc/14239/task/14241/stat : 14241 (java) S 14238 14225 13348 0 -1 64 23897 0 0 0 221 13 0 0 16 0 9 0 40101266 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14242] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14242/stat : 14242 (java) S 14238 14225 13348 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14239/tid=14243] ppid=14238 vsize=868472 CPUtime=0
/proc/14239/task/14243/stat : 14243 (java) S 14238 14225 13348 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40101266 889315328 24068 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 14334
/proc/meminfo: memFree=1498304/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1644.16
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42158 0 0 0 164379 37 0 0 25 0 1 0 40107058 173850624 42091 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42091 80 151 0 42290 0
Current children cumulated CPU time (s) 1705.27
Current children cumulated vsize (KiB) 186648
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/83 14334
/proc/meminfo: memFree=1498240/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1703.58
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42159 0 0 0 170321 37 0 0 25 0 1 0 40107058 173850624 42092 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42092 80 151 0 42290 0
Current children cumulated CPU time (s) 1764.69
Current children cumulated vsize (KiB) 186648
[startup+1842.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/83 14334
/proc/meminfo: memFree=1498240/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1763.02
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 176265 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1824.13
Current children cumulated vsize (KiB) 186648
[startup+1902.3 s]
/proc/loadavg: 2.54 2.18 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1822.45
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 182208 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134532085 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1883.56
Current children cumulated vsize (KiB) 186648
[startup+1962.3 s]
/proc/loadavg: 2.27 2.16 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1881.89
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 188152 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1943
Current children cumulated vsize (KiB) 186648
Solver just ended. Dumping a history of the last processes samples
[startup+1971.1 s]
/proc/loadavg: 2.23 2.15 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1890.6
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 189023 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1951.71
Current children cumulated vsize (KiB) 186648
[startup+1983.9 s]
/proc/loadavg: 2.18 2.15 2.05 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1903.28
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 190291 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1964.39
Current children cumulated vsize (KiB) 186648
[startup+1996.7 s]
/proc/loadavg: 2.15 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1915.96
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 191559 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1977.07
Current children cumulated vsize (KiB) 186648
[startup+1999.9 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1919.12
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42160 0 0 0 191875 37 0 0 25 0 1 0 40107058 173850624 42093 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42093 80 151 0 42290 0
Current children cumulated CPU time (s) 1980.23
Current children cumulated vsize (KiB) 186648
[startup+2001.5 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1920.72
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192035 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1981.83
Current children cumulated vsize (KiB) 186648
[startup+2002.3 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1921.5
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192113 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1982.61
Current children cumulated vsize (KiB) 186648
[startup+2002.7 s]
/proc/loadavg: 2.14 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1921.9
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192153 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1983.01
Current children cumulated vsize (KiB) 186648
[startup+2003.11 s]
/proc/loadavg: 2.12 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2058 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=169776 CPUtime=1922.3
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194304 42161 0 0 0 192193 37 0 0 25 0 1 0 40107058 173850624 42094 996147200 134512640 135134323 4294956192 18446744073709551615 134532993 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 42444 42094 80 151 0 42290 0
Current children cumulated CPU time (s) 1983.41
Current children cumulated vsize (KiB) 186648
[startup+2003.2 s]
/proc/loadavg: 2.12 2.14 2.04 3/83 14334
/proc/meminfo: memFree=1498176/2055920 swapFree=4181172/4192956
[pid=14225] ppid=14223 vsize=16872 CPUtime=61.11
/proc/14225/stat : 14225 (sugar++) S 14223 14225 13348 0 -1 4194304 2074 71632 0 10 7 4 6019 81 16 0 1 0 40101181 17276928 1133 996147200 4194304 4206940 548682068528 18446744073709551615 206390214548 0 0 4224 16386 18446744071563356171 0 0 17 1 0 0
/proc/14225/statm: 4218 1133 414 3 0 797 0
[pid=14248] ppid=14225 vsize=0 CPUtime=1922.4
/proc/14248/stat : 14248 (minisat-inc) R 14225 14225 13348 0 -1 4194308 42163 0 0 0 192201 39 0 0 25 0 1 0 40107058 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/14248/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1983.51
Current children cumulated vsize (KiB) 16872
Child status: 0
Real time (s): 2003.24
CPU time (s): 1983.58
CPU user time (s): 1982.29
CPU system time (s): 1.2948
CPU usage (%): 99.0186
Max. virtual memory (cumulated for all children) (KiB): 903380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1982.29
system time used= 1.2948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115931
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11608
involuntary context switches= 53475
runsolver used 2.6046 second user time and 6.549 second system time
The end
Begin job on node2 at 2008-07-12 05:39:37
IDJOB=1110753
IDBENCH=61148
IDSOLVER=367
FILE ID=node2/1110753-1215833977
PBS_JOBID= 7903355
Free space on /tmp= 66512 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-15-04.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-1110753-1215833977/watcher-1110753-1215833977 -o /tmp/evaluation-result-1110753-1215833977/solver-1110753-1215833977 -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-1110753-1215833977.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9d1b2e6b4288428f6850493c899fc596
RANDOM SEED=318922938
node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1723688 kB
Buffers: 35640 kB
Cached: 86536 kB
SwapCached: 6004 kB
Active: 205984 kB
Inactive: 65792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1723688 kB
SwapTotal: 4192956 kB
SwapFree: 4181172 kB
Dirty: 1136 kB
Writeback: 0 kB
Mapped: 165288 kB
Slab: 45192 kB
Committed_AS: 335548 kB
PageTables: 2236 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66512 MiB
End job on node2 at 2008-07-12 06:13:00