0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sun Jul 13 00:12:04 2008
0.00/0.04 c 0 PID 16597
0.00/0.04 c 0 HOST node80.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1114340-1215900723.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114340-1215900723.xml' 'HOME/temp.csp'
0.03/0.54 c 0 1 domains, 297 variables, 0 predicates, 76 relations, 4121 constraints
0.03/0.59 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.59 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.47/0.66 c 0 Parsing HOME/temp.csp
0.47/0.88 c 0 parsed 4495 expressions
0.47/0.88 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.47/0.92 c 0 MAX CSP: 4121 constraints
0.47/0.92 c 0 Converting to clausal form CSP
0.47/1.00 c 0 converted 862 (10%) expressions
0.98/1.16 c 1 converted 1724 (20%) expressions
1.07/1.22 c 1 converted 2586 (30%) expressions
1.07/1.28 c 1 converted 3448 (40%) expressions
1.16/1.36 c 1 converted 4310 (50%) expressions
1.16/1.39 c 1 converted 5172 (60%) expressions
1.26/1.42 c 1 converted 6034 (70%) expressions
1.26/1.45 c 1 converted 6896 (80%) expressions
1.37/1.56 c 1 converted 7758 (90%) expressions
1.76/1.92 c 1 converted 8619 (100%) expressions
1.76/1.92 c 1 CSP : 8539 integers, 0 booleans, 12362 clauses, largest domain size 6182
1.76/1.92 c 1 Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.76/1.92 c 1 Propagation in CSP
1.87/2.07 c 2 4117 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.87/2.08 c 2 CSP : 8539 integers, 0 booleans, 12362 clauses, largest domain size 4122
1.87/2.08 c 2 Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.87/2.08 c 2 Simplifing CSP by introducing new Boolean variables
1.87/2.09 c 2 CSP : 8539 integers, 0 booleans, 12362 clauses, largest domain size 4122
1.87/2.09 c 2 Heap : 21 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.07/2.21 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.07/2.24 c 2 854 (10%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.07/2.24 c 2 1708 (20%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.07/2.25 c 2 2562 (30%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.07/2.25 c 2 3416 (40%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.07/2.25 c 2 4270 (50%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.07/2.26 c 2 5124 (60%) CSP integer variables are encoded (10752 clauses, 148338 bytes)
2.07/2.28 c 2 5978 (70%) CSP integer variables are encoded (19064 clauses, 273018 bytes)
2.07/2.29 c 2 6832 (80%) CSP integer variables are encoded (28511 clauses, 414723 bytes)
2.16/2.35 c 2 7686 (90%) CSP integer variables are encoded (79762 clauses, 1183488 bytes)
2.16/2.37 c 2 8539 (100%) CSP integer variables are encoded (92202 clauses, 1371571 bytes)
2.35/2.53 c 2 1237 (10%) CSP clauses are encoded (103936 clauses, 1627971 bytes)
2.45/2.63 c 2 2473 (20%) CSP clauses are encoded (115729 clauses, 1897167 bytes)
2.55/2.73 c 2 3709 (30%) CSP clauses are encoded (127389 clauses, 2172857 bytes)
2.76/2.94 c 2 4945 (40%) CSP clauses are encoded (220440 clauses, 4143736 bytes)
4.44/4.68 c 4 6181 (50%) CSP clauses are encoded (1213704 clauses, 25402243 bytes)
4.93/5.16 c 5 7418 (60%) CSP clauses are encoded (1494076 clauses, 31359840 bytes)
9.88/10.13 c 10 8654 (70%) CSP clauses are encoded (4445734 clauses, 94707506 bytes)
19.79/21.52 c 21 9890 (80%) CSP clauses are encoded (8828708 clauses, 188307259 bytes)
26.92/29.17 c 29 11126 (90%) CSP clauses are encoded (13107898 clauses, 280179945 bytes)
41.14/44.09 c 44 12362 (100%) CSP clauses are encoded (21538801 clauses, 462802332 bytes)
41.14/44.10 c 44 12362 CSP clauses encoded
41.14/44.10 c 44 Writing map file : HOME/temp.map
41.23/44.15 c 44 Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
41.23/44.15 c 44 SAT : 100741 SAT variables, 21538801 SAT clauses, 462802332 bytes
41.23/44.15 c 44 Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
41.23/44.18 c 44 OBJECTIVE minimize _COST
41.23/44.18 c 44 OBJECTIVE BOUND: 0 <= _COST <=
41.23/44.18 c 44 SEARCHING: _COST <= 2061
41.23/44.18 c 44 SOLVING HOME/temp.cnf
41.23/44.18 c 44 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
41.32/44.21 c 44 This is MiniSat 2.0 beta
41.32/44.21 c 44 WARNING: for repeatability, setting FPU to use double precision
41.32/44.21 c 44 ============================[ Problem Statistics ]=============================
41.32/44.21 c 44 | |
41.32/44.21 c 44 | Number of variables: 100741 |
41.32/44.21 c 44 | Number of clauses: 21538802 |
51.05/54.05 c 54 | Parsing time: 8.50 s |
125.42/128.92 c 128 ============================[ Search Statistics ]==============================
125.42/128.92 c 128 | Conflicts | ORIGINAL | LEARNT | Progress |
125.42/128.92 c 128 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
125.42/128.92 c 128 ===============================================================================
125.42/128.92 c 128 | 0 | 73961 13681747 40887258 | 4560582 0 nan | 0.000 % |
129.30/132.82 c 132 | 101 | 73961 13681747 40887258 | 5016640 101 41 | 26.583 % |
130.00/133.55 c 133 | 251 | 73961 13681747 40887258 | 5518304 251 20 | 26.583 % |
132.28/135.89 c 135 | 476 | 73961 13681747 40887258 | 6070135 476 27 | 26.583 % |
134.07/137.69 c 137 | 813 | 73961 13681747 40887258 | 6677148 813 36 | 26.583 % |
137.16/140.77 c 140 | 1319 | 73961 13681747 40887258 | 7344863 1319 33 | 26.583 % |
140.03/143.69 c 143 | 2078 | 73961 13681747 40887258 | 8079349 2078 34 | 26.583 % |
140.73/144.32 c 144 ===============================================================================
140.73/144.32 c 144 restarts : 7
140.73/144.32 c 144 conflicts : 2345 (24 /sec)
140.73/144.32 c 144 decisions : 15107 (0.89 % random) (154 /sec)
140.73/144.32 c 144 propagations : 4689232 (47805 /sec)
140.73/144.32 c 144 conflict literals : 74234 (15.15 % deleted)
140.73/144.32 c 144 Memory used : 835.16 MB
140.73/144.32 c 144 CPU time : 98.0911 s
140.73/144.32 c 144
140.73/144.36 c 144 SATISFIABLE
140.82/144.48 c 144 FOUND: _COST <= 2061
140.82/144.48 s SATISFIABLE
140.82/144.48 c 144 DECODING HOME/temp.out WITH HOME/temp.map
140.82/144.48 c 144 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
140.93/144.56 c 144 Decoding HOME/temp.out
140.93/144.82 c 144 OBJECTIVE _COST 826
140.93/144.82 o 826
140.93/144.84 v 1 2 1 4 4 4 2 7 4 7 5 1 1 4 7 4 4 2 6 4 6 5 4 2 2 5 1 1 7 5 7 5 6 5 1 6 4 1 5 6 6 3 7 2 6 3 5 5 1 4 6 3 3 4 1 3 6 5 4 6 6 2 4 4 3 3 5 5 1 2 2 2 6 1 7 3 3 2 7 1 1 7 4 6 2 7 5 3 1 4 5 4 6 6 7 5 4 4 3 2 5 6 4 4 3 4 7 2 2 7 1 6 5 3 5 6 4 7 2 4 1 5 7 7 7 1 4 5 1 4 6 4 6 2 1 4 6 3 6 1 1 3 4 5 1 5 2 5 1 3 5 7 7 7 4 2 5 5 7 6 6 1 6 4 3 1 4 4 6 4 1 7 6 6 4 1 5 3 4 2 7 1 6 3 1 5 6 1 1 7 7 2 6 5 3 5 1 7 4 1 2 1 7 4 4 4 5 1 4 7 7 2 2 4 1 6 4 1 6 3 5 4 6 4 6 4 1 1 5 2 1 5 6 1 7 2 6 4 2 7 6 3 2 7 2 3 6 6 1 7 7 4 2 6 5 1 2 2 1 7 4 4 1 6 4 4 5 6 5 6 6 4 4 5 2 6 7 5 3 3 5 7 7 5 6 1 2 3 3 4 4 7 3 5 2 7 7
140.93/144.84 c 144 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
140.93/144.86 c 144 OBJECTIVE BOUND: 0 <= _COST <= 826
140.93/144.86 c 144 SEARCHING: _COST <= 413
140.93/144.86 c 144 SOLVING HOME/temp.cnf
140.93/144.86 c 144 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
140.93/144.86 c 144 This is MiniSat 2.0 beta
140.93/144.86 c 144 WARNING: for repeatability, setting FPU to use double precision
140.93/144.86 c 144 ============================[ Problem Statistics ]=============================
140.93/144.86 c 144 | |
140.93/144.86 c 144 | Number of variables: 100741 |
140.93/144.86 c 144 | Number of clauses: 21538802 |
151.64/155.39 c 155 | Parsing time: 9.12 s |
240.22/244.45 c 244 ============================[ Search Statistics ]==============================
240.22/244.45 c 244 | Conflicts | ORIGINAL | LEARNT | Progress |
240.22/244.45 c 244 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
240.22/244.45 c 244 ===============================================================================
240.22/244.45 c 244 | 0 | 48322 3986799 11877683 | 1328933 0 nan | 0.000 % |
241.71/245.90 c 245 | 100 | 48322 3986799 11877683 | 1461826 100 29 | 52.033 % |
241.91/246.12 c 246 | 253 | 48322 3986799 11877683 | 1608008 253 18 | 52.033 % |
242.80/247.02 c 246 | 479 | 48322 3986799 11877683 | 1768809 479 21 | 52.033 % |
243.90/248.13 c 248 | 816 | 48322 3986799 11877683 | 1945690 816 18 | 52.033 % |
245.79/250.03 c 250 | 1322 | 48322 3986799 11877683 | 2140259 1322 28 | 52.033 % |
247.58/251.83 c 251 | 2081 | 48322 3986799 11877683 | 2354285 2081 33 | 52.033 % |
248.87/253.16 c 253 ===============================================================================
248.87/253.16 c 253 restarts : 7
248.87/253.16 c 253 conflicts : 2691 (25 /sec)
248.87/253.16 c 253 decisions : 11204 (1.03 % random) (105 /sec)
248.87/253.16 c 253 propagations : 4752571 (44701 /sec)
248.87/253.16 c 253 conflict literals : 87931 (15.89 % deleted)
248.87/253.16 c 253 Memory used : 858.35 MB
248.87/253.16 c 253 CPU time : 106.32 s
248.87/253.16 c 253
248.97/253.20 c 253 SATISFIABLE
249.07/253.33 c 253 FOUND: _COST <= 413
249.07/253.33 c 253 DECODING HOME/temp.out WITH HOME/temp.map
249.07/253.33 c 253 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
249.12/253.45 c 253 Decoding HOME/temp.out
249.12/253.73 c 253 OBJECTIVE _COST 413
249.12/253.73 o 413
249.12/253.75 v 5 4 7 4 4 4 6 7 4 7 7 5 4 6 7 4 4 2 4 4 2 7 1 4 1 3 7 2 6 1 6 7 2 5 2 5 1 1 5 7 3 5 7 1 6 5 5 7 1 4 6 1 6 3 1 3 4 2 4 2 5 2 4 7 2 1 4 5 3 7 6 1 2 6 2 6 1 4 7 1 3 7 4 5 7 7 6 1 1 2 6 1 6 5 1 1 7 4 6 2 6 7 6 1 7 7 6 2 6 7 5 7 4 2 4 3 4 4 6 7 3 1 7 4 6 7 4 5 1 6 7 5 3 4 1 4 7 4 3 3 5 3 1 4 2 6 1 5 3 4 6 2 1 7 1 1 6 2 5 3 4 4 2 7 6 1 7 2 4 6 5 7 6 1 5 3 5 3 4 3 3 7 6 4 3 6 5 1 4 1 4 2 7 4 1 2 4 7 6 7 1 4 4 3 3 1 4 6 2 1 1 2 3 1 2 6 6 3 1 4 5 4 1 2 4 6 5 7 1 6 7 6 2 1 3 4 2 1 1 7 1 3 1 5 7 3 7 1 1 5 4 4 6 7 2 4 2 6 4 5 4 2 7 5 4 2 2 4 1 4 7 6 5 7 3 5 7 3 6 4 4 2 7 4 1 1 7 1 4 6 4 5 6 3 4 5 7
249.12/253.75 c 253 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
249.12/253.79 c 253 OBJECTIVE BOUND: 0 <= _COST <= 413
249.12/253.79 c 253 SEARCHING: _COST <= 206
249.12/253.79 c 253 SOLVING HOME/temp.cnf
249.12/253.79 c 253 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
249.12/253.79 c 253 This is MiniSat 2.0 beta
249.12/253.79 c 253 WARNING: for repeatability, setting FPU to use double precision
249.12/253.79 c 253 ============================[ Problem Statistics ]=============================
249.12/253.79 c 253 | |
249.12/253.79 c 253 | Number of variables: 100741 |
249.12/253.79 c 253 | Number of clauses: 21538802 |
260.43/264.83 c 264 | Parsing time: 9.62 s |
349.70/354.68 c 354 ============================[ Search Statistics ]==============================
349.70/354.68 c 354 | Conflicts | ORIGINAL | LEARNT | Progress |
349.70/354.68 c 354 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
349.70/354.68 c 354 ===============================================================================
349.70/354.68 c 354 | 0 | 42580 2127440 6316625 | 709146 0 nan | 0.000 % |
350.99/355.97 c 355 | 102 | 42580 2127440 6316625 | 780061 102 26 | 57.733 % |
351.58/356.59 c 356 | 252 | 42580 2127440 6316625 | 858067 252 17 | 57.733 % |
352.48/357.44 c 357 | 477 | 42580 2127440 6316625 | 943874 477 16 | 57.733 % |
353.38/358.31 c 358 | 815 | 42580 2127440 6316625 | 1038261 815 16 | 57.733 % |
354.07/359.08 c 359 ===============================================================================
354.07/359.09 c 359 restarts : 5
354.07/359.09 c 359 conflicts : 1125 (11 /sec)
354.07/359.09 c 359 decisions : 2399 (0.92 % random) (23 /sec)
354.07/359.09 c 359 propagations : 4102209 (39710 /sec)
354.07/359.09 c 359 conflict literals : 18223 (18.58 % deleted)
354.07/359.09 c 359 Memory used : 859.53 MB
354.07/359.09 c 359 CPU time : 103.304 s
354.07/359.09 c 359
354.17/359.13 c 359 SATISFIABLE
354.27/359.25 c 359 FOUND: _COST <= 206
354.27/359.25 c 359 DECODING HOME/temp.out WITH HOME/temp.map
354.27/359.25 c 359 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
354.34/359.34 c 359 Decoding HOME/temp.out
354.66/359.61 c 359 OBJECTIVE _COST 206
354.66/359.61 o 206
354.66/359.63 v 4 2 4 1 6 7 5 5 1 6 2 6 6 7 4 7 4 5 4 5 6 6 2 5 7 7 1 3 5 3 4 1 2 7 1 7 4 2 7 4 2 2 5 5 5 1 2 5 3 5 4 2 5 1 7 1 7 5 1 1 4 1 4 2 5 5 5 3 7 5 6 7 2 4 5 5 7 3 6 3 1 4 5 6 2 5 4 7 3 2 6 5 4 6 4 5 5 5 7 2 5 5 6 1 3 4 5 3 1 3 3 4 7 4 7 7 1 3 4 7 7 6 2 7 3 4 5 2 5 2 2 2 6 3 5 4 5 3 5 3 2 1 1 3 5 6 2 3 7 1 2 7 3 7 1 3 4 4 1 6 5 5 4 5 5 1 7 6 7 5 1 6 5 5 4 2 1 7 6 7 4 4 6 7 3 3 2 1 4 5 2 6 2 4 1 1 5 5 1 3 3 3 5 4 5 4 3 1 3 6 5 3 7 2 1 6 2 3 2 2 5 4 4 5 4 1 4 6 1 2 5 7 1 1 4 1 4 4 2 5 2 3 4 5 5 6 1 2 5 5 4 7 2 7 6 1 4 6 4 3 2 4 4 1 4 7 5 6 5 5 5 1 5 6 2 4 6 7 7 2 1 4 4 5 3 1 6 5 7 4 7 3 2 5 2 3 6
354.66/359.63 c 359 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
354.66/359.68 c 359 OBJECTIVE BOUND: 0 <= _COST <= 206
354.66/359.68 c 359 SEARCHING: _COST <= 103
354.66/359.68 c 359 SOLVING HOME/temp.cnf
354.66/359.68 c 359 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
354.66/359.68 c 359 This is MiniSat 2.0 beta
354.66/359.68 c 359 WARNING: for repeatability, setting FPU to use double precision
354.66/359.68 c 359 ============================[ Problem Statistics ]=============================
354.66/359.68 c 359 | |
354.66/359.68 c 359 | Number of variables: 100741 |
354.66/359.68 c 359 | Number of clauses: 21538802 |
365.55/370.69 c 370 | Parsing time: 9.55 s |
450.54/456.10 c 456 ============================[ Search Statistics ]==============================
450.54/456.10 c 456 | Conflicts | ORIGINAL | LEARNT | Progress |
450.54/456.10 c 456 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
450.54/456.10 c 456 ===============================================================================
450.54/456.10 c 456 | 0 | 37763 1140161 3369136 | 380053 0 nan | 0.000 % |
451.54/457.20 c 457 | 101 | 37763 1140161 3369136 | 418059 101 20 | 62.515 % |
452.04/457.69 c 457 | 251 | 37763 1140161 3369136 | 459864 251 18 | 62.515 % |
452.63/458.27 c 458 | 476 | 37763 1140161 3369136 | 505851 476 18 | 62.515 % |
453.33/458.99 c 458 | 813 | 37763 1140161 3369136 | 556436 813 18 | 62.515 % |
453.93/459.59 c 459 ===============================================================================
453.93/459.59 c 459 restarts : 5
453.93/459.59 c 459 conflicts : 1143 (12 /sec)
453.93/459.59 c 459 decisions : 2119 (0.76 % random) (22 /sec)
453.93/459.59 c 459 propagations : 3550994 (36259 /sec)
453.93/459.59 c 459 conflict literals : 20519 (20.97 % deleted)
453.93/459.59 c 459 Memory used : 861.13 MB
453.93/459.59 c 459 CPU time : 97.9331 s
453.93/459.59 c 459
454.02/459.63 c 459 SATISFIABLE
454.12/459.77 c 459 FOUND: _COST <= 103
454.12/459.77 c 459 DECODING HOME/temp.out WITH HOME/temp.map
454.12/459.77 c 459 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
454.21/459.85 c 459 Decoding HOME/temp.out
454.21/460.12 c 460 OBJECTIVE _COST 103
454.21/460.12 o 103
454.21/460.13 v 2 4 7 4 2 4 1 6 5 6 4 4 7 1 6 7 4 1 6 3 2 7 2 5 3 7 1 3 5 1 4 1 6 6 1 7 3 2 7 4 2 2 4 5 4 1 3 5 3 4 4 4 5 5 7 5 7 5 3 1 4 4 4 1 5 5 5 1 7 5 6 3 3 4 5 7 6 2 5 2 2 5 4 2 2 5 5 3 3 2 6 5 2 4 7 5 7 4 7 2 5 1 4 5 3 2 6 1 4 7 3 4 4 6 5 5 1 3 4 5 6 4 2 7 1 5 5 1 5 2 6 2 6 3 4 4 5 1 5 3 1 3 1 1 1 6 2 5 3 1 2 5 2 7 1 3 1 1 1 7 5 7 4 5 3 3 2 4 3 4 1 6 6 5 5 2 5 3 6 3 6 4 6 7 6 1 6 1 4 7 2 2 2 4 3 5 5 5 5 2 3 2 5 4 5 4 3 3 2 7 7 2 7 2 1 2 2 7 2 3 5 4 4 3 5 1 4 6 1 2 4 7 2 3 7 1 6 4 2 5 2 3 4 5 7 6 4 3 5 1 4 7 2 5 6 1 7 4 2 3 2 4 4 5 2 5 5 2 5 4 5 7 7 6 2 5 7 3 7 2 4 4 6 2 3 2 2 5 7 2 5 7 6 5 2 3 6
454.21/460.13 c 460 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
454.21/460.14 c 460 OBJECTIVE BOUND: 0 <= _COST <= 103
454.21/460.14 c 460 SEARCHING: _COST <= 51
454.21/460.14 c 460 SOLVING HOME/temp.cnf
454.21/460.14 c 460 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
454.21/460.14 c 460 This is MiniSat 2.0 beta
454.21/460.14 c 460 WARNING: for repeatability, setting FPU to use double precision
454.21/460.14 c 460 ============================[ Problem Statistics ]=============================
454.21/460.14 c 460 | |
454.21/460.14 c 460 | Number of variables: 100741 |
454.21/460.14 c 460 | Number of clauses: 21538802 |
465.64/471.39 c 471 | Parsing time: 9.80 s |
547.25/553.40 c 553 ============================[ Search Statistics ]==============================
547.25/553.40 c 553 | Conflicts | ORIGINAL | LEARNT | Progress |
547.25/553.40 c 553 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
547.25/553.40 c 553 ===============================================================================
547.25/553.40 c 553 | 0 | 33279 620995 1825038 | 206998 0 nan | 0.000 % |
548.15/554.34 c 554 | 100 | 33279 620995 1825038 | 227698 100 19 | 66.966 % |
548.54/554.72 c 554 | 252 | 33279 620995 1825038 | 250467 252 15 | 66.966 % |
549.04/555.28 c 555 | 477 | 33279 620995 1825038 | 275514 477 13 | 66.966 % |
549.54/555.72 c 555 ===============================================================================
549.54/555.72 c 555 restarts : 4
549.54/555.72 c 555 conflicts : 646 (7 /sec)
549.54/555.72 c 555 decisions : 1087 (0.83 % random) (12 /sec)
549.54/555.72 c 555 propagations : 2718174 (29031 /sec)
549.54/555.72 c 555 conflict literals : 7968 (19.68 % deleted)
549.54/555.72 c 555 Memory used : 863.89 MB
549.54/555.72 c 555 CPU time : 93.6308 s
549.54/555.72 c 555
549.54/555.76 c 555 SATISFIABLE
549.64/555.89 c 555 FOUND: _COST <= 51
549.64/555.89 c 555 DECODING HOME/temp.out WITH HOME/temp.map
549.64/555.89 c 555 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
549.76/555.98 c 555 Decoding HOME/temp.out
549.76/556.23 c 556 OBJECTIVE _COST 51
549.76/556.23 o 51
549.76/556.25 v 5 2 1 5 4 5 2 3 6 3 3 3 4 4 1 4 6 6 7 4 6 4 2 4 3 7 3 2 7 6 6 3 2 4 3 7 6 1 7 4 4 1 1 5 4 1 2 5 3 2 6 6 6 7 1 4 4 5 2 1 6 3 5 6 7 5 5 7 7 1 6 3 2 4 4 6 5 7 6 2 1 1 5 2 6 5 4 7 3 2 6 5 4 7 2 7 5 7 6 1 6 1 6 1 5 5 5 2 1 3 3 4 3 4 3 1 1 7 4 5 2 6 2 1 2 2 1 3 5 5 2 1 7 7 4 1 7 2 5 5 2 2 1 7 4 2 4 7 5 3 7 6 3 3 1 1 4 5 1 2 5 1 3 4 7 1 6 5 3 5 7 3 4 4 4 2 5 3 2 7 4 4 7 4 7 4 3 1 2 3 4 6 3 4 1 1 5 6 2 2 3 3 4 2 4 2 7 4 4 1 7 7 7 5 2 7 2 7 5 3 5 4 4 5 1 5 5 5 2 6 4 7 1 3 1 3 4 4 2 7 4 2 4 4 4 6 2 2 5 1 4 4 6 4 6 5 6 4 6 5 2 1 1 1 2 6 3 2 1 4 7 1 7 7 2 4 7 7 1 4 5 4 4 3 3 2 3 4 5 1 2 1 2 5 2 3 4
549.76/556.25 c 556 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
549.76/556.26 c 556 OBJECTIVE BOUND: 0 <= _COST <= 51
549.76/556.26 c 556 SEARCHING: _COST <= 25
549.76/556.26 c 556 SOLVING HOME/temp.cnf
549.76/556.26 c 556 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
549.76/556.27 c 556 This is MiniSat 2.0 beta
549.76/556.27 c 556 WARNING: for repeatability, setting FPU to use double precision
549.76/556.27 c 556 ============================[ Problem Statistics ]=============================
549.76/556.27 c 556 | |
549.76/556.27 c 556 | Number of variables: 100741 |
549.76/556.27 c 556 | Number of clauses: 21538802 |
561.26/567.53 c 567 | Parsing time: 9.80 s |
641.38/648.11 c 648 ============================[ Search Statistics ]==============================
641.38/648.11 c 648 | Conflicts | ORIGINAL | LEARNT | Progress |
641.38/648.11 c 648 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
641.38/648.11 c 648 ===============================================================================
641.38/648.11 c 648 | 0 | 28907 351472 1029559 | 117157 0 nan | 0.000 % |
641.58/648.31 c 648 | 102 | 28907 351472 1029559 | 128873 102 19 | 71.306 % |
642.57/649.40 c 649 | 252 | 28907 351472 1029559 | 141760 252 15 | 71.306 % |
643.27/650.05 c 650 | 477 | 28907 351472 1029559 | 155936 477 14 | 71.306 % |
644.36/651.13 c 651 | 815 | 28907 351472 1029559 | 171530 815 14 | 71.306 % |
645.95/652.70 c 652 | 1321 | 28907 351472 1029559 | 188683 1321 14 | 71.306 % |
648.04/654.87 c 654 | 2082 | 28907 351472 1029559 | 207551 2082 14 | 71.306 % |
651.32/658.16 c 658 | 3221 | 28907 351472 1029559 | 228306 3221 14 | 71.306 % |
652.91/659.75 c 659 ===============================================================================
652.91/659.75 c 659 restarts : 8
652.91/659.75 c 659 conflicts : 3799 (37 /sec)
652.91/659.75 c 659 decisions : 5360 (1.10 % random) (53 /sec)
652.91/659.75 c 659 propagations : 17829366 (175696 /sec)
652.91/659.75 c 659 conflict literals : 52587 (25.72 % deleted)
652.91/659.75 c 659 Memory used : 850.12 MB
652.91/659.75 c 659 CPU time : 101.479 s
652.91/659.75 c 659
652.91/659.79 c 659 SATISFIABLE
653.11/659.92 c 659 FOUND: _COST <= 25
653.11/659.92 c 659 DECODING HOME/temp.out WITH HOME/temp.map
653.11/659.92 c 659 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
653.15/660.01 c 659 Decoding HOME/temp.out
653.15/660.29 c 660 OBJECTIVE _COST 25
653.15/660.29 o 25
653.16/660.30 v 4 2 4 2 6 6 5 1 7 2 6 4 6 7 4 3 2 5 5 5 7 5 2 4 2 7 1 1 5 4 4 1 2 7 1 7 1 1 7 4 6 2 1 5 4 1 3 4 3 6 6 7 7 5 3 4 5 5 2 1 6 1 4 7 7 5 5 7 7 5 6 3 2 4 4 6 5 6 7 2 3 5 7 6 2 1 4 3 3 2 2 5 4 4 7 7 5 4 4 5 7 1 6 1 5 5 4 1 1 3 3 4 6 4 7 7 1 7 4 5 5 6 2 5 3 2 1 3 4 1 2 2 6 3 4 4 7 1 4 5 2 2 1 7 1 2 4 7 5 3 1 7 2 3 1 1 4 1 1 7 5 1 1 4 7 5 6 5 3 5 5 2 4 5 6 2 5 3 6 3 4 4 2 6 6 4 2 5 1 3 4 2 2 4 1 1 5 5 4 2 2 2 6 4 4 2 3 5 4 5 7 7 7 5 2 7 2 7 6 3 5 4 4 1 4 5 3 6 3 6 4 7 1 1 5 1 4 4 2 1 4 3 4 4 2 6 2 3 5 1 4 5 7 4 6 1 6 4 4 5 2 4 1 1 2 7 1 6 4 4 5 3 5 6 6 5 7 3 3 2 7 4 4 6 3 2 6 4 7 1 7 5 6 5 2 3 4
653.16/660.30 c 660 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
653.16/660.35 c 660 OBJECTIVE BOUND: 0 <= _COST <= 25
653.16/660.35 c 660 SEARCHING: _COST <= 12
653.16/660.35 c 660 SOLVING HOME/temp.cnf
653.16/660.35 c 660 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
653.16/660.35 c 660 This is MiniSat 2.0 beta
653.16/660.35 c 660 WARNING: for repeatability, setting FPU to use double precision
653.16/660.35 c 660 ============================[ Problem Statistics ]=============================
653.16/660.35 c 660 | |
653.16/660.35 c 660 | Number of variables: 100741 |
653.16/660.35 c 660 | Number of clauses: 21538802 |
664.60/671.56 c 671 | Parsing time: 9.74 s |
743.93/751.39 c 751 ============================[ Search Statistics ]==============================
743.93/751.39 c 751 | Conflicts | ORIGINAL | LEARNT | Progress |
743.93/751.39 c 751 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
743.93/751.39 c 751 ===============================================================================
743.93/751.40 c 751 | 0 | 24482 209190 615975 | 69730 0 nan | 0.000 % |
744.12/751.54 c 751 | 101 | 24482 209190 615975 | 76703 101 18 | 75.698 % |
745.21/752.66 c 752 | 254 | 24482 209190 615975 | 84373 254 13 | 75.698 % |
745.71/753.10 c 753 ===============================================================================
745.71/753.11 c 753 restarts : 3
745.71/753.11 c 753 conflicts : 419 (5 /sec)
745.71/753.11 c 753 decisions : 626 (0.96 % random) (7 /sec)
745.71/753.11 c 753 propagations : 1729259 (19044 /sec)
745.71/753.11 c 753 conflict literals : 6612 (15.20 % deleted)
745.71/753.11 c 753 Memory used : 850.28 MB
745.71/753.11 c 753 CPU time : 90.8052 s
745.71/753.11 c 753
745.71/753.14 c 753 SATISFIABLE
745.81/753.27 c 753 FOUND: _COST <= 12
745.81/753.27 c 753 DECODING HOME/temp.out WITH HOME/temp.map
745.81/753.27 c 753 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
745.90/753.36 c 753 Decoding HOME/temp.out
746.20/753.62 c 753 OBJECTIVE _COST 12
746.20/753.62 o 12
746.20/753.64 v 2 4 6 4 2 6 5 4 5 6 4 4 7 3 6 7 4 1 4 3 2 3 2 4 2 7 5 1 5 4 4 1 6 6 1 3 7 1 7 4 6 2 1 5 4 1 3 5 3 6 6 5 7 5 3 4 7 5 2 1 6 1 4 4 3 4 7 7 7 5 6 3 3 4 4 6 5 6 7 2 3 5 5 2 2 4 1 3 3 2 6 5 4 2 7 6 7 4 7 3 7 1 4 5 5 2 5 3 5 3 2 4 6 4 7 5 1 7 4 5 4 6 2 4 3 2 1 3 5 1 2 2 6 3 4 4 7 3 4 1 2 3 1 7 1 2 1 7 5 3 1 5 3 3 1 3 1 1 1 6 5 1 1 4 3 1 6 5 3 5 1 2 4 5 5 2 4 3 6 3 6 4 6 7 7 4 2 1 1 7 4 2 2 4 3 5 7 1 4 2 2 3 6 4 4 2 3 7 4 7 7 3 7 4 4 7 2 7 6 3 5 4 4 3 5 5 1 6 3 6 4 7 1 3 5 1 4 4 2 5 4 3 4 4 2 6 2 1 5 1 4 5 6 4 6 1 7 5 2 4 2 4 1 1 2 5 5 2 5 4 5 7 7 2 2 5 7 3 3 2 4 4 4 2 3 2 6 4 7 2 7 4 2 4 2 3 4
746.20/753.64 c 753 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
746.20/753.69 c 753 OBJECTIVE BOUND: 0 <= _COST <= 12
746.20/753.69 c 753 SEARCHING: _COST <= 6
746.20/753.69 c 753 SOLVING HOME/temp.cnf
746.20/753.69 c 753 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
746.20/753.70 c 753 This is MiniSat 2.0 beta
746.20/753.70 c 753 WARNING: for repeatability, setting FPU to use double precision
746.20/753.70 c 753 ============================[ Problem Statistics ]=============================
746.20/753.70 c 753 | |
746.25/753.70 c 753 | Number of variables: 100741 |
746.25/753.70 c 753 | Number of clauses: 21538802 |
757.47/765.05 c 765 | Parsing time: 9.94 s |
836.62/844.61 c 844 ============================[ Search Statistics ]==============================
836.62/844.61 c 844 | Conflicts | ORIGINAL | LEARNT | Progress |
836.62/844.61 c 844 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
836.62/844.61 c 844 ===============================================================================
836.62/844.61 c 844 | 0 | 20345 137236 412518 | 45745 0 nan | 0.000 % |
837.41/845.46 c 845 | 101 | 20345 137236 412518 | 50319 101 17 | 79.805 % |
837.82/845.81 c 845 | 251 | 20345 137236 412518 | 55351 251 11 | 79.805 % |
838.31/846.31 c 846 | 476 | 20345 137236 412518 | 60887 476 10 | 79.805 % |
838.91/846.95 c 846 | 813 | 20345 137236 412518 | 66975 813 10 | 79.805 % |
839.70/847.80 c 847 | 1319 | 20345 137236 412518 | 73673 1319 9 | 79.805 % |
840.99/849.02 c 848 | 2082 | 20337 136990 411544 | 81040 1153 9 | 82.383 % |
841.10/849.13 c 849 ===============================================================================
841.10/849.13 c 849 restarts : 7
841.10/849.13 c 849 conflicts : 2157 (23 /sec)
841.10/849.13 c 849 decisions : 2988 (1.41 % random) (32 /sec)
841.10/849.13 c 849 propagations : 7438572 (79526 /sec)
841.10/849.13 c 849 conflict literals : 18556 (22.06 % deleted)
841.10/849.13 c 849 Memory used : 849.60 MB
841.10/849.13 c 849 CPU time : 93.5358 s
841.10/849.13 c 849
841.10/849.13 c 849 UNSATISFIABLE
841.20/849.25 c 849 NOT FOUND: _COST <= 6
841.20/849.25 c 849 OBJECTIVE BOUND: 7 <= _COST <= 12
841.20/849.25 c 849 SEARCHING: _COST <= 9
841.20/849.25 c 849 SOLVING HOME/temp.cnf
841.20/849.25 c 849 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
841.20/849.26 c 849 This is MiniSat 2.0 beta
841.20/849.26 c 849 WARNING: for repeatability, setting FPU to use double precision
841.20/849.26 c 849 ============================[ Problem Statistics ]=============================
841.20/849.26 c 849 | |
841.20/849.26 c 849 | Number of variables: 100741 |
841.20/849.26 c 849 | Number of clauses: 21538802 |
852.44/860.55 c 860 | Parsing time: 9.86 s |
932.18/940.74 c 940 ============================[ Search Statistics ]==============================
932.18/940.74 c 940 | Conflicts | ORIGINAL | LEARNT | Progress |
932.18/940.74 c 940 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
932.18/940.74 c 940 ===============================================================================
932.18/940.74 c 940 | 0 | 22937 176178 521571 | 58726 0 nan | 0.000 % |
932.27/940.87 c 940 | 101 | 22937 176178 521571 | 64598 101 17 | 77.232 % |
933.47/942.01 c 941 | 251 | 22937 176178 521571 | 71058 251 12 | 77.232 % |
933.56/942.16 c 942 ===============================================================================
933.56/942.16 c 942 restarts : 3
933.56/942.16 c 942 conflicts : 278 (3 /sec)
933.56/942.16 c 942 decisions : 445 (0.67 % random) (5 /sec)
933.56/942.16 c 942 propagations : 1266231 (13914 /sec)
933.56/942.16 c 942 conflict literals : 3476 (17.53 % deleted)
933.56/942.16 c 942 Memory used : 851.02 MB
933.56/942.16 c 942 CPU time : 91.0022 s
933.56/942.16 c 942
933.66/942.20 c 942 SATISFIABLE
933.77/942.33 c 942 FOUND: _COST <= 9
933.77/942.33 c 942 DECODING HOME/temp.out WITH HOME/temp.map
933.77/942.33 c 942 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
933.80/942.41 c 942 Decoding HOME/temp.out
934.04/942.67 c 942 OBJECTIVE _COST 9
934.04/942.67 o 9
934.04/942.69 v 2 4 6 4 2 6 4 4 4 6 5 4 5 3 7 7 4 1 4 3 2 3 2 1 3 7 1 3 5 1 4 1 6 4 1 7 2 2 7 4 2 2 5 5 4 1 3 4 3 4 4 2 5 5 7 1 6 5 1 1 4 3 4 1 1 1 5 1 3 5 6 3 3 4 5 7 3 2 7 3 1 7 5 2 2 3 5 3 3 2 2 5 6 4 7 5 5 4 5 6 5 5 4 5 3 6 6 1 1 3 3 4 5 4 7 5 1 3 4 4 6 7 2 7 7 4 5 3 4 6 2 2 6 2 1 4 5 1 5 3 2 3 1 1 1 6 2 7 3 1 2 7 2 7 1 2 1 5 1 7 5 5 4 5 3 5 6 4 7 5 1 6 4 7 6 2 5 3 6 3 7 4 2 7 2 1 2 5 4 7 2 2 6 4 3 5 5 5 5 3 3 2 5 4 5 4 1 1 2 7 7 3 7 2 1 6 2 3 2 3 5 4 4 5 5 1 4 3 1 2 1 7 4 3 7 1 6 4 2 5 2 3 4 5 7 6 4 2 5 5 4 6 2 7 6 1 7 6 2 3 6 4 4 1 4 5 5 2 4 4 5 5 7 6 2 4 7 7 7 2 5 4 4 1 3 1 6 1 7 4 7 7 7 5 2 3 6
934.04/942.69 c 942 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
934.04/942.70 c 942 OBJECTIVE BOUND: 7 <= _COST <= 9
934.04/942.70 c 942 SEARCHING: _COST <= 8
934.04/942.70 c 942 SOLVING HOME/temp.cnf
934.04/942.70 c 942 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
934.04/942.70 c 942 This is MiniSat 2.0 beta
934.04/942.70 c 942 WARNING: for repeatability, setting FPU to use double precision
934.04/942.70 c 942 ============================[ Problem Statistics ]=============================
934.04/942.70 c 942 | |
934.04/942.70 c 942 | Number of variables: 100741 |
934.04/942.70 c 942 | Number of clauses: 21538802 |
945.26/953.99 c 953 | Parsing time: 9.85 s |
1025.18/1034.33 c 1034 ============================[ Search Statistics ]==============================
1025.18/1034.33 c 1034 | Conflicts | ORIGINAL | LEARNT | Progress |
1025.18/1034.33 c 1034 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1025.18/1034.33 c 1034 ===============================================================================
1025.18/1034.33 c 1034 | 0 | 22397 165913 492395 | 55304 0 nan | 0.000 % |
1025.98/1035.18 c 1035 | 100 | 22397 165913 492395 | 60834 100 17 | 77.768 % |
1026.38/1035.50 c 1035 | 250 | 22397 165913 492395 | 66918 250 12 | 77.768 % |
1026.98/1036.12 c 1036 | 475 | 22397 165913 492395 | 73610 475 10 | 77.768 % |
1027.57/1036.78 c 1036 | 813 | 22397 165913 492395 | 80971 813 10 | 77.768 % |
1028.46/1037.66 c 1037 | 1321 | 22397 165913 492395 | 89068 1321 10 | 77.768 % |
1030.16/1039.31 c 1039 | 2082 | 22397 165913 492395 | 97975 2082 9 | 77.768 % |
1032.15/1041.35 c 1041 | 3221 | 22397 165913 492395 | 107772 3221 9 | 77.768 % |
1034.92/1044.16 c 1044 | 4930 | 22397 165913 492395 | 118549 4930 10 | 77.768 % |
1038.21/1047.40 c 1047 ===============================================================================
1038.21/1047.40 c 1047 restarts : 9
1038.21/1047.40 c 1047 conflicts : 6759 (66 /sec)
1038.21/1047.40 c 1047 decisions : 8909 (1.18 % random) (87 /sec)
1038.21/1047.40 c 1047 propagations : 22726607 (221275 /sec)
1038.21/1047.40 c 1047 conflict literals : 62722 (25.56 % deleted)
1038.21/1047.40 c 1047 Memory used : 849.70 MB
1038.21/1047.40 c 1047 CPU time : 102.707 s
1038.21/1047.40 c 1047
1038.21/1047.40 c 1047 UNSATISFIABLE
1038.31/1047.53 c 1047 NOT FOUND: _COST <= 8
1038.31/1047.53 c 1047 OBJECTIVE _COST 9
1038.31/1047.53 s OPTIMUM FOUND
1038.31/1047.53 c 1047 CPU 1019.94 (0.07 0.03 1019.87 18.4)
1038.31/1047.53 c 1047 END Sun Jul 13 00:29:31 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-1114340-1215900723/watcher-1114340-1215900723 -o /tmp/evaluation-result-1114340-1215900723/solver-1114340-1215900723 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1114340-1215900723.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.81 2.73 2.63 5/99 16597
/proc/meminfo: memFree=1764504/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=12268 CPUtime=0
/proc/16597/stat : 16597 (sugar) R 16595 16597 15767 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 46768945 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 226687154789 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/16597/statm: 3067 316 241 3 0 167 0
[startup+0.078833 s]
/proc/loadavg: 2.81 2.73 2.63 5/99 16597
/proc/meminfo: memFree=1764504/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.03
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 898 127 0 0 3 0 0 0 21 0 1 0 46768945 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101833 s]
/proc/loadavg: 2.81 2.73 2.63 5/99 16597
/proc/meminfo: memFree=1764504/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.03
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 898 127 0 0 3 0 0 0 21 0 1 0 46768945 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301856 s]
/proc/loadavg: 2.81 2.73 2.63 5/99 16597
/proc/meminfo: memFree=1764504/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.03
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 898 127 0 0 3 0 0 0 21 0 1 0 46768945 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701905 s]
/proc/loadavg: 2.81 2.73 2.63 5/99 16597
/proc/meminfo: memFree=1764504/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.47
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 974 5342 0 1 3 0 41 3 16 0 1 0 46768945 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13600
[startup+1.503 s]
/proc/loadavg: 2.81 2.73 2.63 4/110 16619
/proc/meminfo: memFree=1753728/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.48
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 974 5342 0 1 3 1 41 3 15 0 1 0 46768945 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3400 797 370 3 0 500 0
[pid=16610] ppid=16597 vsize=5356 CPUtime=0
/proc/16610/stat : 16610 (sh) S 16597 16597 15767 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46769004 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16610/statm: 1339 233 193 169 0 50 0
[pid=16611] ppid=16610 vsize=868360 CPUtime=0.89
/proc/16611/stat : 16611 (java) S 16610 16597 15767 0 -1 0 9277 0 1 0 84 5 0 0 19 0 9 0 46769005 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16611/statm: 217090 8482 2540 9 0 211665 0
[pid=16611/tid=16612] ppid=16610 vsize=868360 CPUtime=0.43
/proc/16611/task/16612/stat : 16612 (java) R 16610 16597 15767 0 -1 64 2668 0 1 0 42 1 0 0 24 0 9 0 46769006 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16613] ppid=16610 vsize=868360 CPUtime=0.24
/proc/16611/task/16613/stat : 16613 (java) R 16610 16597 15767 0 -1 64 4464 0 0 0 23 1 0 0 16 0 9 0 46769007 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16614] ppid=16610 vsize=868360 CPUtime=0
/proc/16611/task/16614/stat : 16614 (java) S 16610 16597 15767 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46769007 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16615] ppid=16610 vsize=868360 CPUtime=0
/proc/16611/task/16615/stat : 16615 (java) S 16610 16597 15767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46769007 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16616] ppid=16610 vsize=868360 CPUtime=0
/proc/16611/task/16616/stat : 16616 (java) S 16610 16597 15767 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46769009 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16617] ppid=16610 vsize=868360 CPUtime=0.17
/proc/16611/task/16617/stat : 16617 (java) S 16610 16597 15767 0 -1 64 1452 0 0 0 17 0 0 0 16 0 9 0 46769009 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16618] ppid=16610 vsize=868360 CPUtime=0
/proc/16611/task/16618/stat : 16618 (java) S 16610 16597 15767 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46769009 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16619] ppid=16610 vsize=868360 CPUtime=0
/proc/16611/task/16619/stat : 16619 (java) S 16610 16597 15767 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46769009 889200640 8482 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 887316
[startup+3.10221 s]
/proc/loadavg: 2.81 2.73 2.63 5/110 16619
/proc/meminfo: memFree=1730560/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.48
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 974 5342 0 1 3 1 41 3 15 0 1 0 46768945 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3400 797 370 3 0 500 0
[pid=16610] ppid=16597 vsize=5356 CPUtime=0
/proc/16610/stat : 16610 (sh) S 16597 16597 15767 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46769004 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16610/statm: 1339 233 193 169 0 50 0
[pid=16611] ppid=16610 vsize=868472 CPUtime=2.47
/proc/16611/stat : 16611 (java) S 16610 16597 15767 0 -1 0 11601 0 1 0 236 11 0 0 19 0 9 0 46769005 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16611/statm: 217118 10549 2567 9 0 211665 0
[pid=16611/tid=16612] ppid=16610 vsize=868472 CPUtime=1.57
/proc/16611/task/16612/stat : 16612 (java) R 16610 16597 15767 0 -1 64 3009 0 1 0 151 6 0 0 25 0 9 0 46769006 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16613] ppid=16610 vsize=868472 CPUtime=0.59
/proc/16611/task/16613/stat : 16613 (java) S 16610 16597 15767 0 -1 64 6377 0 0 0 56 3 0 0 16 0 9 0 46769007 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16614] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16614/stat : 16614 (java) S 16610 16597 15767 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46769007 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16615] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16615/stat : 16615 (java) S 16610 16597 15767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46769007 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16616] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16616/stat : 16616 (java) S 16610 16597 15767 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46769009 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16617] ppid=16610 vsize=868472 CPUtime=0.29
/proc/16611/task/16617/stat : 16617 (java) S 16610 16597 15767 0 -1 64 1522 0 0 0 28 1 0 0 15 0 9 0 46769009 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16618] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16618/stat : 16618 (java) S 16610 16597 15767 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46769009 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16619] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16619/stat : 16619 (java) S 16610 16597 15767 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46769009 889315328 10549 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 887428
[startup+6.30261 s]
/proc/loadavg: 2.82 2.73 2.64 3/110 16619
/proc/meminfo: memFree=1695040/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.48
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 974 5342 0 1 3 1 41 3 15 0 1 0 46768945 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3400 797 370 3 0 500 0
[pid=16610] ppid=16597 vsize=5356 CPUtime=0
/proc/16610/stat : 16610 (sh) S 16597 16597 15767 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46769004 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16610/statm: 1339 233 193 169 0 50 0
[pid=16611] ppid=16610 vsize=868472 CPUtime=5.65
/proc/16611/stat : 16611 (java) S 16610 16597 15767 0 -1 0 12123 0 1 0 526 39 0 0 19 0 9 0 46769005 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16611/statm: 217118 10555 2567 9 0 211665 0
[pid=16611/tid=16612] ppid=16610 vsize=868472 CPUtime=4.54
/proc/16611/task/16612/stat : 16612 (java) R 16610 16597 15767 0 -1 64 3525 0 1 0 423 31 0 0 25 0 9 0 46769006 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4126513281 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16613] ppid=16610 vsize=868472 CPUtime=0.78
/proc/16611/task/16613/stat : 16613 (java) S 16610 16597 15767 0 -1 64 6377 0 0 0 72 6 0 0 16 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16614] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16614/stat : 16614 (java) S 16610 16597 15767 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16615] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16615/stat : 16615 (java) S 16610 16597 15767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16616] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16616/stat : 16616 (java) S 16610 16597 15767 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16617] ppid=16610 vsize=868472 CPUtime=0.3
/proc/16611/task/16617/stat : 16617 (java) S 16610 16597 15767 0 -1 64 1528 0 0 0 29 1 0 0 16 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16618] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16618/stat : 16618 (java) S 16610 16597 15767 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16619] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16619/stat : 16619 (java) S 16610 16597 15767 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 887428
[startup+12.7024 s]
/proc/loadavg: 2.84 2.74 2.64 3/110 16619
/proc/meminfo: memFree=1630920/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.48
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 974 5342 0 1 3 1 41 3 16 0 1 0 46768945 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3400 797 370 3 0 500 0
[pid=16610] ppid=16597 vsize=5356 CPUtime=0
/proc/16610/stat : 16610 (sh) S 16597 16597 15767 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46769004 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16610/statm: 1339 233 193 169 0 50 0
[pid=16611] ppid=16610 vsize=868472 CPUtime=11.99
/proc/16611/stat : 16611 (java) S 16610 16597 15767 0 -1 0 12918 0 1 0 1127 72 0 0 19 0 9 0 46769005 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16611/statm: 217118 10555 2567 9 0 211665 0
[pid=16611/tid=16612] ppid=16610 vsize=868472 CPUtime=10.6
/proc/16611/task/16612/stat : 16612 (java) R 16610 16597 15767 0 -1 64 4320 0 1 0 1002 58 0 0 25 0 9 0 46769006 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4126616624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16613] ppid=16610 vsize=868472 CPUtime=1.06
/proc/16611/task/16613/stat : 16613 (java) S 16610 16597 15767 0 -1 64 6377 0 0 0 95 11 0 0 16 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16614] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16614/stat : 16614 (java) S 16610 16597 15767 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16615] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16615/stat : 16615 (java) S 16610 16597 15767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16616] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16616/stat : 16616 (java) S 16610 16597 15767 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16617] ppid=16610 vsize=868472 CPUtime=0.3
/proc/16611/task/16617/stat : 16617 (java) S 16610 16597 15767 0 -1 64 1528 0 0 0 29 1 0 0 16 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16618] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16618/stat : 16618 (java) S 16610 16597 15767 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16619] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16619/stat : 16619 (java) S 16610 16597 15767 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 46769009 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 887428
[startup+25.5021 s]
/proc/loadavg: 3.09 2.80 2.66 3/110 16619
/proc/meminfo: memFree=1494280/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=13600 CPUtime=0.48
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 974 5342 0 1 3 1 41 3 16 0 1 0 46768945 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3400 797 370 3 0 500 0
[pid=16610] ppid=16597 vsize=5356 CPUtime=0
/proc/16610/stat : 16610 (sh) S 16597 16597 15767 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 46769004 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16610/statm: 1339 233 193 169 0 50 0
[pid=16611] ppid=16610 vsize=868472 CPUtime=22.84
/proc/16611/stat : 16611 (java) S 16610 16597 15767 0 -1 0 14690 0 1 0 2128 156 0 0 19 0 9 0 46769005 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16611/statm: 217118 10555 2567 9 0 211665 0
[pid=16611/tid=16612] ppid=16610 vsize=868472 CPUtime=20.88
/proc/16611/task/16612/stat : 16612 (java) R 16610 16597 15767 0 -1 64 6092 0 1 0 1957 131 0 0 25 0 9 0 46769006 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16611/tid=16613] ppid=16610 vsize=868472 CPUtime=1.64
/proc/16611/task/16613/stat : 16613 (java) S 16610 16597 15767 0 -1 64 6377 0 0 0 141 23 0 0 16 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16611/tid=16614] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16614/stat : 16614 (java) S 16610 16597 15767 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16611/tid=16615] ppid=16610 vsize=868472 CPUtime=0
/proc/16611/task/16615/stat : 16615 (java) S 16610 16597 15767 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 46769007 889315328 10555 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16745] ppid=16597 vsize=5356 CPUtime=0
/proc/16745/stat : 16745 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46844315 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16745/statm: 1339 232 193 169 0 50 0
[pid=16746] ppid=16745 vsize=766880 CPUtime=8.54
/proc/16746/stat : 16746 (minisat) R 16745 16597 15767 0 -1 4194304 183553 0 0 0 736 118 0 0 25 0 1 0 46844315 785285120 183538 996147200 134512640 135127466 4294956256 18446744073709551615 134706298 0 0 4096 3 0 0 0 17 1 0 0
/proc/16746/statm: 191720 183539 62 150 0 191567 0
Current children cumulated CPU time (s) 754.79
Current children cumulated vsize (KiB) 786364
[startup+822.302 s]
/proc/loadavg: 2.00 2.07 2.30 3/95 16746
/proc/meminfo: memFree=582080/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=746.25
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2004 1540056 0 9 6 3 73228 1388 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16745] ppid=16597 vsize=5356 CPUtime=0
/proc/16745/stat : 16745 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46844315 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16745/statm: 1339 232 193 169 0 50 0
[pid=16746] ppid=16745 vsize=869808 CPUtime=68.19
/proc/16746/stat : 16746 (minisat) R 16745 16597 15767 0 -1 4194304 211160 0 0 0 6685 134 0 0 25 0 1 0 46844315 890683392 211145 996147200 134512640 135127466 4294956256 18446744073709551615 134523430 0 0 4096 3 0 0 0 17 1 0 0
/proc/16746/statm: 217452 211145 73 150 0 217299 0
Current children cumulated CPU time (s) 814.44
Current children cumulated vsize (KiB) 889292
[startup+882.301 s]
/proc/loadavg: 2.00 2.05 2.28 3/95 16748
/proc/meminfo: memFree=580864/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=841.27
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2060 1751531 0 9 6 3 82582 1536 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16747] ppid=16597 vsize=5356 CPUtime=0
/proc/16747/stat : 16747 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46853871 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16747/statm: 1339 232 193 169 0 50 0
[pid=16748] ppid=16747 vsize=871264 CPUtime=32.84
/proc/16748/stat : 16748 (minisat) R 16747 16597 15767 0 -1 4194304 211533 0 0 0 3148 136 0 0 25 0 1 0 46853872 892174336 211518 996147200 134512640 135127466 4294956256 18446744073709551615 134523520 0 0 4096 3 0 0 0 17 1 0 0
/proc/16748/statm: 217816 211518 73 150 0 217663 0
Current children cumulated CPU time (s) 874.11
Current children cumulated vsize (KiB) 890748
[startup+942.302 s]
/proc/loadavg: 2.00 2.04 2.26 3/95 16748
/proc/meminfo: memFree=580672/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=841.27
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2060 1751531 0 9 6 3 82582 1536 15 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16747] ppid=16597 vsize=5356 CPUtime=0
/proc/16747/stat : 16747 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46853871 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16747/statm: 1339 232 193 169 0 50 0
[pid=16748] ppid=16747 vsize=0 CPUtime=92.5
/proc/16748/stat : 16748 (minisat) R 16747 16597 15767 0 -1 4194308 211568 0 0 0 9104 146 0 0 25 0 1 0 46853872 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/16748/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 933.77
Current children cumulated vsize (KiB) 19484
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.24 3/95 16760
/proc/meminfo: memFree=582016/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=869912 CPUtime=59.23
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194304 211169 0 0 0 5786 137 0 0 25 0 1 0 46863216 890789888 211154 996147200 134512640 135127466 4294956256 18446744073709551615 134523542 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 217478 211154 73 150 0 217325 0
Current children cumulated CPU time (s) 993.37
Current children cumulated vsize (KiB) 889396
Solver just ended. Dumping a history of the last processes samples
[startup+1023.9 s]
/proc/loadavg: 2.00 2.03 2.24 3/95 16760
/proc/meminfo: memFree=582016/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=869912 CPUtime=80.71
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194304 211169 0 0 0 7934 137 0 0 25 0 1 0 46863216 890789888 211154 996147200 134512640 135127466 4294956256 18446744073709551615 134523548 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 217478 211154 73 150 0 217325 0
Current children cumulated CPU time (s) 1014.85
Current children cumulated vsize (KiB) 889396
[startup+1036.7 s]
/proc/loadavg: 2.00 2.03 2.23 3/95 16760
/proc/meminfo: memFree=581888/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 15 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=870092 CPUtime=93.43
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194304 211192 0 0 0 9206 137 0 0 25 0 1 0 46863216 890974208 211177 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 217523 211177 75 150 0 217370 0
Current children cumulated CPU time (s) 1027.57
Current children cumulated vsize (KiB) 889576
[startup+1043.1 s]
/proc/loadavg: 2.00 2.03 2.23 3/95 16760
/proc/meminfo: memFree=581888/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=870092 CPUtime=99.79
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194304 211192 0 0 0 9842 137 0 0 25 0 1 0 46863216 890974208 211177 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 217523 211177 75 150 0 217370 0
Current children cumulated CPU time (s) 1033.93
Current children cumulated vsize (KiB) 889576
[startup+1046.3 s]
/proc/loadavg: 2.00 2.03 2.23 3/95 16760
/proc/meminfo: memFree=581888/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=870092 CPUtime=102.97
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194304 211192 0 0 0 10160 137 0 0 25 0 1 0 46863216 890974208 211177 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 217523 211177 75 150 0 217370 0
Current children cumulated CPU time (s) 1037.11
Current children cumulated vsize (KiB) 889576
[startup+1047.1 s]
/proc/loadavg: 2.00 2.03 2.23 3/95 16760
/proc/meminfo: memFree=581888/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=870092 CPUtime=103.77
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194304 211192 0 0 0 10240 137 0 0 25 0 1 0 46863216 890974208 211177 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 217523 211177 75 150 0 217370 0
Current children cumulated CPU time (s) 1037.91
Current children cumulated vsize (KiB) 889576
[startup+1047.5 s]
/proc/loadavg: 2.00 2.03 2.23 3/95 16760
/proc/meminfo: memFree=581888/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=934.14
/proc/16597/stat : 16597 (sugar) S 16595 16597 15767 0 -1 4194304 2176 1967472 0 10 6 3 91716 1689 16 0 1 0 46768945 14467072 935 996147200 4194304 4206940 548682068592 18446744073709551615 226695884898 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16597/statm: 3532 935 374 3 0 632 0
[pid=16759] ppid=16597 vsize=5356 CPUtime=0
/proc/16759/stat : 16759 (sh) S 16597 16597 15767 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 46863215 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16759/statm: 1339 232 193 169 0 50 0
[pid=16760] ppid=16759 vsize=0 CPUtime=104.17
/proc/16760/stat : 16760 (minisat) R 16759 16597 15767 0 -1 4194308 211201 0 0 0 10270 147 0 0 25 0 1 0 46863216 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/16760/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1038.31
Current children cumulated vsize (KiB) 19484
[startup+1047.7 s]
/proc/loadavg: 2.00 2.03 2.23 3/95 16760
/proc/meminfo: memFree=581888/2055920 swapFree=4192812/4192956
[pid=16597] ppid=16595 vsize=14128 CPUtime=1038.54
/proc/16597/stat : 16597 (sugar) R 16595 16597 15767 0 -1 4194304 2217 2178958 0 10 7 20 101987 1840 16 0 1 0 46768945 14467072 936 996147200 4194304 4206940 548682068592 18446744073709551615 226687161385 0 0 4224 16386 0 0 0 17 0 0 0
/proc/16597/statm: 3532 936 375 3 0 632 0
Current children cumulated CPU time (s) 1038.54
Current children cumulated vsize (KiB) 14128
Child status: 0
Real time (s): 1047.76
CPU time (s): 1038.61
CPU user time (s): 1019.95
CPU system time (s): 18.6592
CPU usage (%): 99.1267
Max. virtual memory (cumulated for all children) (KiB): 904104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1019.95
system time used= 18.6592
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2181205
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= 53355
involuntary context switches= 66763
runsolver used 1.39179 second user time and 4.35234 second system time
The end