0.08/0.99 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.08/1.00 c 0 BEGIN Sat Jul 12 16:14:07 2008
0.08/1.00 c 0 PID 17433
0.08/1.02 c 0 HOST node26.alineos.net
0.08/1.02 c 0 CONVERTING HOME/instance-1112661-1215872046.xml TO HOME/temp.csp
0.08/1.02 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112661-1215872046.xml' 'HOME/temp.csp'
0.08/1.90 c 1 1 domains, 40 variables, 2 predicates, 0 relations, 590 constraints
0.08/1.91 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.08/1.91 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.08/1.99 c 1 Parsing HOME/temp.csp
0.59/2.12 c 1 parsed 633 expressions
0.59/2.13 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.59/2.14 c 1 MAX CSP: 590 constraints
0.59/2.14 c 1 Converting to clausal form CSP
0.69/2.22 c 1 converted 123 (10%) expressions
0.78/2.32 c 1 converted 246 (20%) expressions
0.78/2.35 c 1 converted 368 (30%) expressions
0.78/2.37 c 1 converted 491 (40%) expressions
0.78/2.39 c 2 converted 613 (50%) expressions
0.87/2.40 c 2 converted 736 (60%) expressions
0.87/2.41 c 2 converted 859 (70%) expressions
0.87/2.42 c 2 converted 981 (80%) expressions
0.87/2.43 c 2 converted 1104 (90%) expressions
0.97/2.51 c 2 converted 1226 (100%) expressions
0.97/2.51 c 2 CSP : 1220 integers, 1140 booleans, 4049 clauses, largest domain size 886
0.97/2.51 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/2.51 c 2 Propagation in CSP
0.97/2.58 c 2 585 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.97/2.58 c 2 CSP : 1220 integers, 1140 booleans, 4049 clauses, largest domain size 591
0.97/2.58 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.97/2.58 c 2 Simplifing CSP by introducing new Boolean variables
1.08/2.60 c 2 CSP : 1220 integers, 3454 booleans, 6363 clauses, largest domain size 591
1.08/2.60 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.08/2.64 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.08/2.66 c 2 122 (10%) CSP integer variables are encoded (720 clauses, 7780 bytes)
1.08/2.67 c 2 244 (20%) CSP integer variables are encoded (720 clauses, 7780 bytes)
1.08/2.67 c 2 366 (30%) CSP integer variables are encoded (720 clauses, 7780 bytes)
1.08/2.67 c 2 488 (40%) CSP integer variables are encoded (720 clauses, 7780 bytes)
1.08/2.67 c 2 610 (50%) CSP integer variables are encoded (720 clauses, 7780 bytes)
1.08/2.67 c 2 732 (60%) CSP integer variables are encoded (1788 clauses, 21664 bytes)
1.08/2.67 c 2 854 (70%) CSP integer variables are encoded (2633 clauses, 32649 bytes)
1.08/2.68 c 2 976 (80%) CSP integer variables are encoded (8371 clauses, 107243 bytes)
1.08/2.68 c 2 1098 (90%) CSP integer variables are encoded (9184 clauses, 118325 bytes)
1.08/2.69 c 2 1220 (100%) CSP integer variables are encoded (10322 clauses, 135395 bytes)
1.18/2.73 c 2 637 (10%) CSP clauses are encoded (16601 clauses, 249324 bytes)
1.18/2.75 c 2 1273 (20%) CSP clauses are encoded (22491 clauses, 357800 bytes)
1.18/2.77 c 2 1909 (30%) CSP clauses are encoded (28671 clauses, 477300 bytes)
1.28/2.80 c 2 2546 (40%) CSP clauses are encoded (35205 clauses, 604916 bytes)
1.28/2.82 c 2 3182 (50%) CSP clauses are encoded (42023 clauses, 738668 bytes)
1.28/2.84 c 2 3818 (60%) CSP clauses are encoded (48954 clauses, 874874 bytes)
1.28/2.85 c 2 4455 (70%) CSP clauses are encoded (56295 clauses, 1019780 bytes)
1.28/2.87 c 2 5091 (80%) CSP clauses are encoded (64069 clauses, 1173829 bytes)
1.49/3.02 c 2 5727 (90%) CSP clauses are encoded (112678 clauses, 2026530 bytes)
2.18/3.74 c 3 6363 (100%) CSP clauses are encoded (519615 clauses, 9707880 bytes)
2.18/3.74 c 3 6363 CSP clauses encoded
2.18/3.74 c 3 Writing map file : HOME/temp.map
2.18/3.76 c 3 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.18/3.76 c 3 SAT : 14996 SAT variables, 519615 SAT clauses, 9707880 bytes
2.18/3.76 c 3 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.18/3.80 c 3 OBJECTIVE minimize _COST
2.18/3.80 c 3 SOLVING HOME/temp.cnf
2.18/3.80 c 3 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.18/3.80 c 3 This is MiniSat 2.0 beta incremental
2.18/3.80 c 3 WARNING: for repeatability, setting FPU to use double precision
2.18/3.80 c 3 ============================[ Problem Statistics ]=============================
2.18/3.80 c 3 | |
2.26/3.80 c 3 | Number of variables: 14996 |
2.26/3.80 c 3 | Number of clauses: 519615 |
2.26/4.04 c 3 | Parsing time: 0.21 s |
2.26/4.05 c 3 OK
2.26/4.05 c 3 OBJECTIVE BOUND: 0 <= _COST <=
2.26/4.05 c 3 SEARCHING: _COST <= 295
2.26/4.05 c 3 ============================[ Search Statistics ]==============================
2.26/4.05 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.26/4.05 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.26/4.05 c 3 ===============================================================================
2.26/4.05 c 3 | 0 | 14996 519615 1538915 | 173205 0 nan | 0.000 % |
2.26/4.12 c 3 ===============================================================================
2.26/4.12 c 3 restarts : 1
2.26/4.12 c 3 conflicts : 43 (149 /sec)
2.26/4.12 c 3 decisions : 1766 (0.62 % random) (6112 /sec)
2.26/4.12 c 3 propagations : 32993 (114180 /sec)
2.26/4.12 c 3 conflict literals : 681 (1.02 % deleted)
2.26/4.12 c 3 Memory used : 24.15 MB
2.26/4.12 c 3 CPU time : 0.288956 s
2.26/4.12 c 3
2.26/4.12 c 3 SATISFIABLE
2.26/4.13 c 3 OK
2.26/4.13 c 3 FOUND: _COST <= 295
2.26/4.13 s SATISFIABLE
2.26/4.13 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.26/4.13 c 3 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.26/4.21 c 3 Decoding HOME/temp.out
2.73/4.33 c 3 OBJECTIVE _COST 166
2.73/4.33 o 166
2.73/4.33 v 18 10 14 15 9 20 2 20 5 6 1 11 14 20 19 18 11 20 12 15 15 16 16 13 19 16 17 17 18 20 17 17 17 20 17 17 17 18 17 20
2.73/4.34 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.73/4.34 c 3 OK
2.73/4.34 c 3 OBJECTIVE BOUND: 0 <= _COST <= 166
2.73/4.34 c 3 SEARCHING: _COST <= 83
2.73/4.35 c 3 ============================[ Search Statistics ]==============================
2.73/4.36 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.73/4.36 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.73/4.36 c 3 ===============================================================================
2.73/4.36 c 3 | 43 | 14996 519615 1538915 | 173205 43 16 | 0.000 % |
2.84/4.41 c 4 | 144 | 14996 519615 1538915 | 190525 144 27 | 29.135 % |
2.84/4.44 c 4 ===============================================================================
2.84/4.44 c 4 restarts : 3
2.84/4.44 c 4 conflicts : 171 (436 /sec)
2.84/4.44 c 4 decisions : 3195 (0.53 % random) (8152 /sec)
2.84/4.44 c 4 propagations : 164054 (418569 /sec)
2.84/4.44 c 4 conflict literals : 4021 (17.53 % deleted)
2.84/4.44 c 4 Memory used : 24.41 MB
2.84/4.44 c 4 CPU time : 0.39194 s
2.84/4.44 c 4
2.84/4.44 c 4 SATISFIABLE
2.84/4.45 c 4 OK
2.84/4.45 c 4 FOUND: _COST <= 83
2.84/4.45 c 4 DECODING HOME/temp.out WITH HOME/temp.map
2.84/4.45 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2.88/4.53 c 4 Decoding HOME/temp.out
2.88/4.65 c 4 OBJECTIVE _COST 83
2.88/4.65 o 83
2.88/4.65 v 20 10 15 3 20 12 2 19 15 13 20 19 7 18 20 13 19 6 14 6 16 19 16 15 20 9 20 8 17 10 19 13 17 1 19 12 18 18 11 10
2.88/4.65 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.88/4.66 c 4 OK
2.88/4.66 c 4 OBJECTIVE BOUND: 0 <= _COST <= 83
2.88/4.66 c 4 SEARCHING: _COST <= 41
2.88/4.66 c 4 ============================[ Search Statistics ]==============================
2.88/4.67 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
2.88/4.67 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.88/4.67 c 4 ===============================================================================
2.88/4.67 c 4 | 171 | 10627 519615 1538915 | 173205 171 24 | 29.135 % |
2.88/4.69 c 4 ===============================================================================
2.88/4.69 c 4 restarts : 4
2.88/4.69 c 4 conflicts : 201 (478 /sec)
2.88/4.69 c 4 decisions : 3562 (0.48 % random) (8462 /sec)
2.88/4.69 c 4 propagations : 185664 (441074 /sec)
2.88/4.69 c 4 conflict literals : 4370 (16.94 % deleted)
2.88/4.69 c 4 Memory used : 24.41 MB
2.88/4.69 c 4 CPU time : 0.420936 s
2.88/4.69 c 4
2.88/4.69 c 4 SATISFIABLE
2.88/4.69 c 4 OK
2.88/4.69 c 4 FOUND: _COST <= 41
2.88/4.69 c 4 DECODING HOME/temp.out WITH HOME/temp.map
2.88/4.69 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.12/4.77 c 4 Decoding HOME/temp.out
3.12/5.00 c 4 OBJECTIVE _COST 41
3.12/5.00 o 41
3.12/5.00 v 20 2 8 3 13 4 7 19 17 13 20 14 12 1 5 15 19 1 19 4 16 3 5 14 20 2 20 6 10 3 20 14 17 15 20 14 18 18 11 4
3.12/5.00 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.12/5.01 c 4 OK
3.12/5.01 c 4 OBJECTIVE BOUND: 0 <= _COST <= 41
3.12/5.01 c 4 SEARCHING: _COST <= 20
3.12/5.01 c 4 ============================[ Search Statistics ]==============================
3.12/5.02 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.12/5.02 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.12/5.02 c 4 ===============================================================================
3.12/5.02 c 4 | 201 | 9520 519615 1538915 | 173205 201 22 | 29.135 % |
3.12/5.05 c 4 | 302 | 9519 519615 1538915 | 190525 302 32 | 41.972 % |
3.51/5.14 c 4 ===============================================================================
3.51/5.14 c 4 restarts : 6
3.51/5.14 c 4 conflicts : 420 (764 /sec)
3.51/5.14 c 4 decisions : 4158 (0.46 % random) (7561 /sec)
3.51/5.14 c 4 propagations : 345367 (628036 /sec)
3.51/5.14 c 4 conflict literals : 13227 (14.25 % deleted)
3.51/5.14 c 4 Memory used : 24.41 MB
3.51/5.14 c 4 CPU time : 0.549916 s
3.51/5.14 c 4
3.51/5.14 c 4 SATISFIABLE
3.51/5.14 c 4 OK
3.51/5.14 c 4 FOUND: _COST <= 20
3.51/5.14 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.51/5.14 c 4 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
3.56/5.23 c 4 Decoding HOME/temp.out
3.56/5.34 c 4 OBJECTIVE _COST 20
3.56/5.34 o 20
3.56/5.34 v 14 5 16 7 18 7 12 9 6 9 1 3 17 3 11 5 20 5 2 15 20 15 18 5 20 10 20 3 13 8 4 10 19 10 20 9 19 8 19 7
3.56/5.34 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.56/5.36 c 4 OK
3.56/5.36 c 4 OBJECTIVE BOUND: 0 <= _COST <= 20
3.56/5.36 c 4 SEARCHING: _COST <= 10
3.56/5.37 c 4 ============================[ Search Statistics ]==============================
3.56/5.38 c 5 | Conflicts | ORIGINAL | LEARNT | Progress |
3.56/5.38 c 5 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.56/5.38 c 5 ===============================================================================
3.56/5.38 c 5 | 420 | 8702 519615 1538915 | 173205 420 31 | 41.972 % |
3.80/5.41 c 5 | 521 | 8702 519615 1538915 | 190525 521 39 | 46.606 % |
3.80/5.47 c 5 | 672 | 8702 519615 1538915 | 209578 672 40 | 46.606 % |
3.90/5.56 c 5 | 899 | 8702 519615 1538915 | 230535 899 46 | 46.606 % |
3.99/5.67 c 5 | 1239 | 8702 519615 1538915 | 253589 1239 52 | 46.606 % |
4.18/5.83 c 5 | 1747 | 8702 519615 1538915 | 278948 1747 57 | 46.606 % |
4.38/6.07 c 5 | 2507 | 8702 519615 1538915 | 306843 2507 65 | 46.606 % |
4.88/6.53 c 6 | 3647 | 8702 519615 1538915 | 337527 3647 67 | 46.606 % |
5.78/7.41 c 7 | 5355 | 8007 92747 278708 | 371280 5331 72 | 46.606 % |
6.76/8.43 c 8 | 7917 | 8007 92747 278708 | 408408 7893 79 | 46.606 % |
8.55/10.21 c 9 | 11762 | 8007 92747 278708 | 449249 11738 80 | 46.606 % |
11.42/13.14 c 12 | 17528 | 8007 92747 278708 | 494174 17504 87 | 46.606 % |
18.46/20.23 c 19 | 26177 | 8007 92747 278708 | 543591 26153 82 | 46.606 % |
27.47/29.35 c 28 | 39152 | 8007 92747 278708 | 597950 39128 83 | 46.606 % |
44.62/46.67 c 46 | 58615 | 8007 92747 278708 | 657745 58591 88 | 46.606 % |
78.62/80.96 c 80 | 87807 | 8007 92747 278708 | 723520 87783 94 | 46.606 % |
113.03/115.69 c 115 ===============================================================================
113.03/115.69 c 115 restarts : 22
113.03/115.69 c 115 conflicts : 110350 (1005 /sec)
113.03/115.69 c 115 decisions : 137361 (0.40 % random) (1251 /sec)
113.03/115.69 c 115 propagations : 53167200 (484151 /sec)
113.03/115.69 c 115 conflict literals : 11091734 (10.18 % deleted)
113.03/115.69 c 115 Memory used : 60.57 MB
113.03/115.69 c 115 CPU time : 109.815 s
113.03/115.69 c 115
113.03/115.69 c 115 SATISFIABLE
113.03/115.69 c 115 OK
113.03/115.69 c 115 FOUND: _COST <= 10
113.03/115.69 c 115 DECODING HOME/temp.out WITH HOME/temp.map
113.03/115.69 c 115 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
113.11/115.82 c 115 Decoding HOME/temp.out
113.11/115.93 c 115 OBJECTIVE _COST 10
113.11/115.93 o 10
113.11/115.93 v 12 1 16 2 7 3 17 4 15 2 9 3 5 4 20 1 8 2 19 4 13 3 18 4 20 1 19 2 10 4 6 3 20 2 14 1 20 4 11 3
113.11/115.94 c 115 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
113.34/116.17 c 115 OK
113.34/116.17 c 115 OBJECTIVE BOUND: 0 <= _COST <= 10
113.34/116.17 c 115 SEARCHING: _COST <= 5
113.34/116.17 c 115 ============================[ Search Statistics ]==============================
113.34/116.17 c 115 | Conflicts | ORIGINAL | LEARNT | Progress |
113.34/116.17 c 115 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
113.34/116.17 c 115 ===============================================================================
113.34/116.17 c 115 | 110350 | 7385 76894 233005 | 25631 110272 101 | 46.606 % |
113.64/116.50 c 116 | 110451 | 7385 76894 233005 | 28194 15104 100 | 50.754 % |
113.75/116.57 c 116 | 110601 | 7385 76894 233005 | 31013 15254 100 | 50.754 % |
113.85/116.68 c 116 | 110827 | 7385 76894 233005 | 34115 15480 99 | 50.754 % |
113.94/116.79 c 116 | 111166 | 7385 76894 233005 | 37526 15819 98 | 50.754 % |
114.14/117.00 c 116 | 111674 | 7385 76894 233005 | 41279 16327 98 | 50.754 % |
114.44/117.28 c 116 | 112434 | 7385 76894 233005 | 45407 17087 96 | 50.754 % |
115.04/117.87 c 117 | 113574 | 7385 76894 233005 | 49948 18227 98 | 50.754 % |
115.84/118.68 c 118 | 115283 | 7385 76894 233005 | 54943 19936 99 | 50.754 % |
117.34/120.13 c 119 | 117845 | 7385 76894 233005 | 60437 22498 97 | 50.754 % |
119.74/122.55 c 122 | 121690 | 7385 76894 233005 | 66481 26343 95 | 50.754 % |
123.84/126.66 c 126 | 127457 | 7385 76894 233005 | 73129 32110 95 | 50.754 % |
130.63/133.41 c 133 | 136106 | 7385 76894 233005 | 80442 40759 92 | 50.754 % |
141.83/144.69 c 144 | 149081 | 7385 76894 233005 | 88486 53734 93 | 50.754 % |
162.92/165.74 c 165 | 168543 | 7385 76894 233005 | 97334 73196 96 | 50.754 % |
200.90/203.75 c 203 | 197738 | 7385 76894 233005 | 107068 102391 98 | 50.754 % |
243.78/246.65 c 246 | 241527 | 7385 76894 233005 | 117775 40075 103 | 50.754 % |
325.26/328.13 c 327 | 307211 | 7385 76894 233005 | 129552 105759 115 | 50.754 % |
461.70/464.68 c 464 | 405737 | 7385 76894 233005 | 142508 77931 89 | 50.754 % |
689.23/692.29 c 691 | 553527 | 7385 76894 233005 | 156758 87174 118 | 50.754 % |
1080.49/1083.68 c 1083 | 775211 | 7385 76894 233005 | 172434 156288 138 | 50.754 % |
1731.13/1734.50 c 1734 | 1107737 | 7385 76894 233005 | 189678 153868 114 | 50.754 % |
2726.30/2730.05 c 2729 | 1606526 | 7385 76894 233005 | 208646 100579 142 | 50.754 % |
3600.00/3604.01 c ERROR INTERRUPTED
3600.00/3604.03 c 3603 CPU 3599.03 (0.06 0.04 3598.97 0.97)
3600.00/3604.03 c 3603 END Sat Jul 12 17:14:10 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-1112661-1215872046/watcher-1112661-1215872046 -o /tmp/evaluation-result-1112661-1215872046/solver-1112661-1215872046 -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-1112661-1215872046.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: 3.68 3.53 3.40 4/80 17433
/proc/meminfo: memFree=1882200/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=18572 CPUtime=0
/proc/17433/stat : 17433 (runsolver) D 17431 17433 17344 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 43906540 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 269028486439 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/17433/statm: 4643 292 257 25 0 2626 0
[startup+0.0318889 s]
/proc/loadavg: 3.68 3.53 3.40 4/80 17433
/proc/meminfo: memFree=1882200/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=2504 CPUtime=0
/proc/17433/stat : 17433 (sugar++) D 17431 17433 17344 0 -1 4194304 41 0 0 0 0 0 0 0 18 0 1 0 43906540 2564096 26 996147200 4194304 4206940 548682068528 18446744073709551615 269025867145 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17433/statm: 626 26 19 3 0 5 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2504
[startup+0.103047 s]
/proc/loadavg: 3.68 3.53 3.40 4/80 17433
/proc/meminfo: memFree=1882200/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=12272 CPUtime=0
/proc/17433/stat : 17433 (sugar++) D 17431 17433 17344 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 43906540 12566528 364 996147200 4194304 4206940 548682068528 18446744073709551615 269037386750 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/17433/statm: 3068 364 274 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.301059 s]
/proc/loadavg: 3.68 3.53 3.40 4/80 17433
/proc/meminfo: memFree=1882200/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=13468 CPUtime=0.03
/proc/17433/stat : 17433 (sugar++) R 17431 17433 17344 0 -1 4194304 749 0 0 0 2 1 0 0 18 0 1 0 43906540 13791232 717 996147200 4194304 4206940 548682068528 18446744073709551615 269028338173 0 0 4224 0 0 0 0 17 1 0 0
/proc/17433/statm: 3367 717 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468
[startup+0.701091 s]
/proc/loadavg: 3.68 3.53 3.40 4/80 17433
/proc/meminfo: memFree=1882200/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=15948 CPUtime=0.06
/proc/17433/stat : 17433 (sugar++) R 17431 17433 17344 0 -1 4194304 913 0 0 0 3 3 0 0 18 0 1 0 43906540 16330752 881 996147200 4194304 4206940 548682068528 18446744073709551615 269037386750 0 0 4224 0 0 0 0 17 1 0 0
/proc/17433/statm: 3987 881 380 3 0 566 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15948
[startup+1.50116 s]
/proc/loadavg: 3.68 3.53 3.40 3/81 17434
/proc/meminfo: memFree=1878992/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16740 CPUtime=0.08
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1219 128 0 0 5 3 0 0 17 0 1 0 43906540 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16740
[startup+3.10228 s]
/proc/loadavg: 3.68 3.53 3.40 4/91 17455
/proc/meminfo: memFree=1871808/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16740 CPUtime=0.44
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1297 4536 0 1 6 4 30 4 15 0 1 0 43906540 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17433/statm: 4185 1104 409 3 0 764 0
[pid=17446] ppid=17433 vsize=5356 CPUtime=0
/proc/17446/stat : 17446 (sh) S 17433 17433 17344 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 43906731 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17446/statm: 1339 233 193 169 0 50 0
[pid=17447] ppid=17446 vsize=868488 CPUtime=1.15
/proc/17447/stat : 17447 (java) S 17446 17433 17344 0 -1 0 6927 0 1 0 108 7 0 0 18 0 9 0 43906731 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17447/statm: 217122 6071 2562 9 0 211669 0
[pid=17447/tid=17448] ppid=17446 vsize=868488 CPUtime=0.79
/proc/17447/task/17448/stat : 17448 (java) R 17446 17433 17344 0 -1 64 2801 0 1 0 75 4 0 0 21 0 9 0 43906732 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4126949288 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17449] ppid=17446 vsize=868488 CPUtime=0.1
/proc/17447/task/17449/stat : 17449 (java) S 17446 17433 17344 0 -1 64 1956 0 0 0 9 1 0 0 16 0 9 0 43906733 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17450] ppid=17446 vsize=868488 CPUtime=0
/proc/17447/task/17450/stat : 17450 (java) S 17446 17433 17344 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43906733 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17451] ppid=17446 vsize=868488 CPUtime=0
/proc/17447/task/17451/stat : 17451 (java) S 17446 17433 17344 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 43906734 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17452] ppid=17446 vsize=868488 CPUtime=0
/proc/17447/task/17452/stat : 17452 (java) S 17446 17433 17344 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 43906735 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17453] ppid=17446 vsize=868488 CPUtime=0.24
/proc/17447/task/17453/stat : 17453 (java) S 17446 17433 17344 0 -1 64 1478 0 0 0 23 1 0 0 16 0 9 0 43906735 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17454] ppid=17446 vsize=868488 CPUtime=0
/proc/17447/task/17454/stat : 17454 (java) S 17446 17433 17344 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 43906736 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17447/tid=17455] ppid=17446 vsize=868488 CPUtime=0
/proc/17447/task/17455/stat : 17455 (java) S 17446 17433 17344 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43906736 889331712 6071 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 890584
[startup+6.30154 s]
/proc/loadavg: 3.62 3.52 3.39 4/82 17496
/proc/meminfo: memFree=1844040/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.17
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1771 27480 0 6 6 4 278 29 15 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=25912 CPUtime=1.51
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 6210 0 0 0 147 4 0 0 23 0 1 0 43906920 26533888 6151 996147200 134512640 135134323 4294956192 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 6478 6151 80 151 0 6324 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 42784
[startup+12.701 s]
/proc/loadavg: 3.57 3.52 3.39 4/82 17496
/proc/meminfo: memFree=1843272/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.17
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1771 27480 0 6 6 4 278 29 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=26176 CPUtime=7.85
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 6274 0 0 0 780 5 0 0 25 0 1 0 43906920 26804224 6215 996147200 134512640 135134323 4294956192 18446744073709551615 134532500 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 6544 6215 80 151 0 6390 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 43048
[startup+25.5011 s]
/proc/loadavg: 3.37 3.47 3.38 4/82 17496
/proc/meminfo: memFree=1842504/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.17
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1771 27480 0 6 6 4 278 29 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=27368 CPUtime=20.53
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 6600 0 0 0 2048 5 0 0 25 0 1 0 43906920 28024832 6541 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 6842 6541 80 151 0 6688 0
Current children cumulated CPU time (s) 23.7
Current children cumulated vsize (KiB) 44240
[startup+51.1011 s]
/proc/loadavg: 3.10 3.40 3.36 3/82 17496
/proc/meminfo: memFree=1831304/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.17
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1771 27480 0 6 6 4 278 29 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=38960 CPUtime=45.9
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 9456 0 0 0 4583 7 0 0 25 0 1 0 43906920 39895040 9397 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 9740 9397 80 151 0 9586 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 55832
[startup+102.306 s]
/proc/loadavg: 2.72 3.25 3.30 4/82 17496
/proc/meminfo: memFree=1812232/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.17
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1771 27480 0 6 6 4 278 29 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=57924 CPUtime=96.67
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 14175 0 0 0 9655 12 0 0 25 0 1 0 43906920 59314176 14116 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17456/statm: 14481 14116 80 151 0 14327 0
Current children cumulated CPU time (s) 99.84
Current children cumulated vsize (KiB) 74796
[startup+162.302 s]
/proc/loadavg: 2.60 3.11 3.25 3/82 17506
/proc/meminfo: memFree=1807880/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=62016 CPUtime=156.16
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 15209 0 0 0 15602 14 0 0 25 0 1 0 43906920 63504384 15148 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 15504 15148 80 151 0 15350 0
Current children cumulated CPU time (s) 159.52
Current children cumulated vsize (KiB) 78888
[startup+222.302 s]
/proc/loadavg: 2.44 2.97 3.19 3/82 17506
/proc/meminfo: memFree=1805512/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=64524 CPUtime=216.14
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 15862 0 0 0 21599 15 0 0 25 0 1 0 43906920 66072576 15801 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 16131 15801 80 151 0 15977 0
Current children cumulated CPU time (s) 219.5
Current children cumulated vsize (KiB) 81396
[startup+282.301 s]
/proc/loadavg: 2.53 2.89 3.15 3/82 17508
/proc/meminfo: memFree=1804552/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=65316 CPUtime=276.11
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 16048 0 0 0 27596 15 0 0 25 0 1 0 43906920 66883584 15987 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 16329 15987 80 151 0 16175 0
Current children cumulated CPU time (s) 279.47
Current children cumulated vsize (KiB) 82188
[startup+342.301 s]
/proc/loadavg: 2.75 2.88 3.13 3/82 17508
/proc/meminfo: memFree=1797000/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=72888 CPUtime=336.08
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 17937 0 0 0 33591 17 0 0 25 0 1 0 43906920 74637312 17876 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
################
# More data... #
################
[pid=17456] ppid=17433 vsize=140132 CPUtime=2855.18
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 34744 0 0 0 285459 59 0 0 25 0 1 0 43906920 143495168 34683 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 35033 34683 80 151 0 34879 0
Current children cumulated CPU time (s) 2858.54
Current children cumulated vsize (KiB) 157004
[startup+2922.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/83 17762
/proc/meminfo: memFree=1749176/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=140132 CPUtime=2915.16
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 34744 0 0 0 291457 59 0 0 25 0 1 0 43906920 143495168 34683 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 35033 34683 80 151 0 34879 0
Current children cumulated CPU time (s) 2918.52
Current children cumulated vsize (KiB) 157004
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/83 17762
/proc/meminfo: memFree=1749112/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=140132 CPUtime=2975.15
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 34745 0 0 0 297455 60 0 0 25 0 1 0 43906920 143495168 34684 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 35033 34684 80 151 0 34879 0
Current children cumulated CPU time (s) 2978.51
Current children cumulated vsize (KiB) 157004
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/83 17762
/proc/meminfo: memFree=1742072/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=147960 CPUtime=3035.13
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36602 0 0 0 303451 62 0 0 25 0 1 0 43906920 151511040 36541 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 36990 36541 80 151 0 36836 0
Current children cumulated CPU time (s) 3038.49
Current children cumulated vsize (KiB) 164832
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/83 17762
/proc/meminfo: memFree=1740344/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3095.1
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36988 0 0 0 309448 62 0 0 25 0 1 0 43906920 153133056 36927 996147200 134512640 135134323 4294956192 18446744073709551615 134532037 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36927 80 151 0 37232 0
Current children cumulated CPU time (s) 3098.46
Current children cumulated vsize (KiB) 166416
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/83 17762
/proc/meminfo: memFree=1740352/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3155.08
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36988 0 0 0 315446 62 0 0 25 0 1 0 43906920 153133056 36927 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36927 80 151 0 37232 0
Current children cumulated CPU time (s) 3158.44
Current children cumulated vsize (KiB) 166416
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/83 17762
/proc/meminfo: memFree=1740224/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3215.06
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36990 0 0 0 321444 62 0 0 25 0 1 0 43906920 153133056 36929 996147200 134512640 135134323 4294956192 18446744073709551615 134532031 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36929 80 151 0 37232 0
Current children cumulated CPU time (s) 3218.42
Current children cumulated vsize (KiB) 166416
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/83 17762
/proc/meminfo: memFree=1740160/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3275.04
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36990 0 0 0 327442 62 0 0 25 0 1 0 43906920 153133056 36929 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36929 80 151 0 37232 0
Current children cumulated CPU time (s) 3278.4
Current children cumulated vsize (KiB) 166416
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/83 17762
/proc/meminfo: memFree=1740032/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3335.02
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36990 0 0 0 333440 62 0 0 25 0 1 0 43906920 153133056 36929 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36929 80 151 0 37232 0
Current children cumulated CPU time (s) 3338.38
Current children cumulated vsize (KiB) 166416
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/83 17762
/proc/meminfo: memFree=1739904/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3395
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36990 0 0 0 339438 62 0 0 25 0 1 0 43906920 153133056 36929 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36929 80 151 0 37232 0
Current children cumulated CPU time (s) 3398.36
Current children cumulated vsize (KiB) 166416
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/83 17762
/proc/meminfo: memFree=1739904/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149544 CPUtime=3454.98
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36991 0 0 0 345435 63 0 0 25 0 1 0 43906920 153133056 36930 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37386 36930 80 151 0 37232 0
Current children cumulated CPU time (s) 3458.34
Current children cumulated vsize (KiB) 166416
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 17762
/proc/meminfo: memFree=1739904/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149464 CPUtime=3514.97
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36992 0 0 0 351434 63 0 0 25 0 1 0 43906920 153051136 36931 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37366 36931 80 151 0 37212 0
Current children cumulated CPU time (s) 3518.33
Current children cumulated vsize (KiB) 166336
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 17762
/proc/meminfo: memFree=1739840/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149464 CPUtime=3574.94
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36992 0 0 0 357431 63 0 0 25 0 1 0 43906920 153051136 36931 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37366 36931 80 151 0 37212 0
Current children cumulated CPU time (s) 3578.3
Current children cumulated vsize (KiB) 166336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 17762
/proc/meminfo: memFree=1739776/2055920 swapFree=4181272/4192956
[pid=17433] ppid=17431 vsize=16872 CPUtime=3.36
/proc/17433/stat : 17433 (sugar++) S 17431 17433 17344 0 -1 4194304 1840 31357 0 7 6 4 295 31 16 0 1 0 43906540 17276928 1130 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17433/statm: 4218 1130 414 3 0 797 0
[pid=17456] ppid=17433 vsize=149464 CPUtime=3596.64
/proc/17456/stat : 17456 (minisat-inc) R 17433 17433 17344 0 -1 4194304 36992 0 0 0 359601 63 0 0 25 0 1 0 43906920 153051136 36931 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17456/statm: 37366 36931 80 151 0 37212 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 166336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 3604.04
CPU time (s): 3600.07
CPU user time (s): 3599.04
CPU system time (s): 1.02484
CPU usage (%): 99.8899
Max. virtual memory (cumulated for all children) (KiB): 890584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.02484
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70268
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5993
involuntary context switches= 54662
runsolver used 4.72128 second user time and 10.7594 second system time
The end
Begin job on node26 at 2008-07-12 16:14:06
IDJOB=1112661
IDBENCH=61453
IDSOLVER=367
FILE ID=node26/1112661-1215872046
PBS_JOBID= 7903578
Free space on /tmp= 66468 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/super-queens/normalized-super-queens-8.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-1112661-1215872046/watcher-1112661-1215872046 -o /tmp/evaluation-result-1112661-1215872046/solver-1112661-1215872046 -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-1112661-1215872046.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= cd97e8f7f9b4ac982d62b737eb37200e
RANDOM SEED=670429040
node26.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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
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: 1882936 kB
Buffers: 3128 kB
Cached: 32452 kB
SwapCached: 5424 kB
Active: 116160 kB
Inactive: 3792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882936 kB
SwapTotal: 4192956 kB
SwapFree: 4181272 kB
Dirty: 1268 kB
Writeback: 0 kB
Mapped: 100672 kB
Slab: 38312 kB
Committed_AS: 975824 kB
PageTables: 1952 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= 66468 MiB
End job on node26 at 2008-07-12 17:14:12