0.05/0.23 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.05/0.23 c 0 BEGIN Fri Jul 11 19:46:44 2008
0.05/0.23 c 0 PID 14902
0.05/0.23 c 0 HOST node33.alineos.net
0.05/0.23 c 0 CONVERTING HOME/instance-1109109-1215798404.xml TO HOME/temp.csp
0.05/0.23 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1109109-1215798404.xml' 'HOME/temp.csp'
0.07/0.52 c 0 30 domains, 154 variables, 7 predicates, 0 relations, 111 constraints
0.07/0.56 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.56 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.36/0.70 c 1 Parsing HOME/temp.csp
0.36/0.82 c 1 parsed 302 expressions
0.36/0.88 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.36/0.88 c 1 MAX CSP: 111 constraints
0.36/0.88 c 1 Converting to clausal form CSP
0.36/0.90 c 1 converted 42 (10%) expressions
0.36/0.90 c 1 converted 84 (20%) expressions
0.36/0.90 c 1 converted 125 (30%) expressions
0.36/0.91 c 1 converted 167 (40%) expressions
0.36/0.92 c 1 converted 208 (50%) expressions
0.36/0.95 c 1 converted 250 (60%) expressions
0.36/0.98 c 1 converted 292 (70%) expressions
0.77/1.13 c 1 converted 333 (80%) expressions
0.77/1.20 c 1 converted 375 (90%) expressions
0.86/1.26 c 1 converted 416 (100%) expressions
0.86/1.26 c 1 CSP : 376 integers, 1384 booleans, 5558 clauses, largest domain size 167
0.86/1.26 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.86/1.26 c 1 Propagation in CSP
0.98/1.32 c 1 105 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.98/1.32 c 1 CSP : 376 integers, 1384 booleans, 5558 clauses, largest domain size 112
0.98/1.32 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.98/1.32 c 1 Simplifing CSP by introducing new Boolean variables
0.98/1.37 c 1 CSP : 376 integers, 1804 booleans, 5978 clauses, largest domain size 112
0.98/1.37 c 1 Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.08/1.42 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.08/1.43 c 1 38 (10%) CSP integer variables are encoded (99 clauses, 991 bytes)
1.08/1.44 c 1 76 (20%) CSP integer variables are encoded (813 clauses, 8845 bytes)
1.08/1.44 c 1 113 (30%) CSP integer variables are encoded (1694 clauses, 20045 bytes)
1.08/1.45 c 1 151 (40%) CSP integer variables are encoded (2622 clauses, 32109 bytes)
1.08/1.45 c 1 188 (50%) CSP integer variables are encoded (2710 clauses, 33253 bytes)
1.08/1.45 c 1 226 (60%) CSP integer variables are encoded (2710 clauses, 33253 bytes)
1.08/1.45 c 1 264 (70%) CSP integer variables are encoded (2710 clauses, 33253 bytes)
1.08/1.45 c 1 301 (80%) CSP integer variables are encoded (2945 clauses, 36308 bytes)
1.08/1.45 c 1 339 (90%) CSP integer variables are encoded (3142 clauses, 38869 bytes)
1.08/1.45 c 1 376 (100%) CSP integer variables are encoded (3921 clauses, 48996 bytes)
1.20/1.51 c 1 598 (10%) CSP clauses are encoded (7753 clauses, 116484 bytes)
1.20/1.53 c 1 1196 (20%) CSP clauses are encoded (8844 clauses, 134582 bytes)
1.20/1.54 c 1 1794 (30%) CSP clauses are encoded (9442 clauses, 146013 bytes)
1.20/1.56 c 1 2392 (40%) CSP clauses are encoded (10040 clauses, 157578 bytes)
1.20/1.57 c 2 2989 (50%) CSP clauses are encoded (10637 clauses, 169366 bytes)
1.20/1.58 c 2 3587 (60%) CSP clauses are encoded (11235 clauses, 181179 bytes)
1.20/1.58 c 2 4185 (70%) CSP clauses are encoded (11833 clauses, 192980 bytes)
1.20/1.59 c 2 4783 (80%) CSP clauses are encoded (12431 clauses, 204828 bytes)
1.29/1.60 c 2 5381 (90%) CSP clauses are encoded (13029 clauses, 216757 bytes)
1.29/1.64 c 2 5978 (100%) CSP clauses are encoded (31173 clauses, 539465 bytes)
1.29/1.64 c 2 5978 CSP clauses encoded
1.29/1.64 c 2 Writing map file : HOME/temp.map
1.29/1.65 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.29/1.65 c 2 SAT : 6045 SAT variables, 31173 SAT clauses, 539465 bytes
1.29/1.65 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.29/1.68 c 2 OBJECTIVE minimize _COST
1.29/1.68 c 2 SOLVING HOME/temp.cnf
1.29/1.68 c 2 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
1.36/1.70 c 2 This is MiniSat 2.0 beta incremental
1.36/1.70 c 2 WARNING: for repeatability, setting FPU to use double precision
1.36/1.71 c 2 ============================[ Problem Statistics ]=============================
1.36/1.71 c 2 | |
1.36/1.71 c 2 | Number of variables: 6045 |
1.36/1.71 c 2 | Number of clauses: 31173 |
1.36/1.72 c 2 | Parsing time: 0.01 s |
1.36/1.72 c 2 OK
1.36/1.72 c 2 OBJECTIVE BOUND: 0 <= _COST <=
1.36/1.72 c 2 SEARCHING: _COST <= 56
1.36/1.72 c 2 ============================[ Search Statistics ]==============================
1.36/1.72 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.36/1.72 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.36/1.72 c 2 ===============================================================================
1.36/1.72 c 2 | 0 | 6045 31173 89637 | 10391 0 nan | 0.000 % |
1.36/1.73 c 2 ===============================================================================
1.36/1.73 c 2 restarts : 1
1.36/1.73 c 2 conflicts : 5 (278 /sec)
1.36/1.73 c 2 decisions : 2754 (1.09 % random) (153026 /sec)
1.36/1.73 c 2 propagations : 9128 (507196 /sec)
1.36/1.73 c 2 conflict literals : 32 (5.88 % deleted)
1.36/1.73 c 2 Memory used : 3.45 MB
1.36/1.73 c 2 CPU time : 0.017997 s
1.36/1.73 c 2
1.36/1.73 c 2 SATISFIABLE
1.36/1.73 c 2 OK
1.36/1.73 c 2 FOUND: _COST <= 56
1.36/1.73 s SATISFIABLE
1.36/1.73 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.36/1.73 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.36/1.82 c 2 Decoding HOME/temp.out
1.36/1.88 c 2 OBJECTIVE _COST 56
1.36/1.88 o 56
1.36/1.89 v 1 7 7 3 4 5 5 4 2 7 7 7 1 6 4 1 3 5 7 1 6 6 3 1 4 3 7 6 6 4 6 1 5 7 1 7 5 4 7 7 6 5 2 6 6 1 6 3 7 43 43 1 46 1 46 1 20 1 27 1 35 1 30 1 43 2 43 43 2 43 2 43 2 49 2 43 2 41 2 17 3 49 3 43 17 3 49 3 48 3 4 3 41 3 25 4 21 4 5 4 43 25 4 15 4 49 4 25 4 42 5 28 5 42 5 49 5 43 33 5 49 5 42 5 47 6 29 6 49 6 47 6 49 6 43 41 6 49 6 12 7 41 7 49 7 6 7 36 7 19 7 43 49 7
1.36/1.89 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.36/1.91 c 2 OK
1.36/1.91 c 2 OBJECTIVE BOUND: 0 <= _COST <= 56
1.36/1.91 c 2 SEARCHING: _COST <= 28
1.36/1.91 c 2 ============================[ Search Statistics ]==============================
1.36/1.91 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.36/1.91 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.36/1.91 c 2 ===============================================================================
1.36/1.91 c 2 | 5 | 6045 31173 89637 | 10391 5 6 | 0.000 % |
1.36/1.94 c 2 | 107 | 5728 31173 89637 | 11430 107 29 | 6.370 % |
1.36/1.95 c 2 ===============================================================================
1.36/1.95 c 2 restarts : 3
1.36/1.95 c 2 conflicts : 255 (4397 /sec)
1.36/1.95 c 2 decisions : 3872 (0.98 % random) (66769 /sec)
1.36/1.95 c 2 propagations : 156025 (2690504 /sec)
1.36/1.95 c 2 conflict literals : 7361 (18.93 % deleted)
1.36/1.95 c 2 Memory used : 3.45 MB
1.36/1.95 c 2 CPU time : 0.057991 s
1.36/1.95 c 2
1.36/1.95 c 2 SATISFIABLE
1.36/1.95 c 2 OK
1.36/1.95 c 2 FOUND: _COST <= 28
1.36/1.95 c 2 DECODING HOME/temp.out WITH HOME/temp.map
1.36/1.95 c 2 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1.55/2.03 c 2 Decoding HOME/temp.out
1.73/2.11 c 2 OBJECTIVE _COST 28
1.73/2.11 o 28
1.73/2.12 v 1 6 2 7 3 3 6 4 2 5 7 7 1 6 6 1 3 6 7 7 1 5 7 7 4 7 2 5 2 4 4 6 5 7 4 7 3 1 1 7 6 3 3 5 6 2 1 4 7 43 39 1 39 1 13 1 47 1 16 1 21 1 38 1 29 2 43 9 2 29 2 46 2 46 2 3 2 49 2 37 3 5 3 43 17 3 42 3 46 3 43 3 6 3 35 4 49 4 48 4 43 25 4 48 4 8 4 48 4 10 5 28 5 44 5 44 5 43 33 5 49 5 22 5 45 6 15 6 7 6 45 6 45 6 43 41 6 49 6 20 7 49 7 36 7 12 7 4 7 49 7 43 49 7
1.73/2.12 c 2 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1.73/2.17 c 2 OK
1.73/2.17 c 2 OBJECTIVE BOUND: 0 <= _COST <= 28
1.73/2.17 c 2 SEARCHING: _COST <= 14
1.73/2.18 c 2 ============================[ Search Statistics ]==============================
1.73/2.19 c 2 | Conflicts | ORIGINAL | LEARNT | Progress |
1.73/2.19 c 2 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.73/2.19 c 2 ===============================================================================
1.73/2.19 c 2 | 255 | 5436 20470 59272 | 6823 255 29 | 6.370 % |
1.73/2.19 c 2 | 355 | 5436 20470 59272 | 7505 355 30 | 10.075 % |
1.81/2.22 c 2 | 505 | 5436 20470 59272 | 8256 505 31 | 10.075 % |
1.81/2.26 c 2 | 730 | 5436 20470 59272 | 9081 730 33 | 10.075 % |
1.91/2.32 c 2 | 1068 | 5436 20470 59272 | 9990 1068 34 | 10.075 % |
2.01/2.43 c 2 | 1574 | 5436 20470 59272 | 10989 1574 37 | 10.075 % |
2.21/2.60 c 3 | 2333 | 5436 20470 59272 | 12087 2333 38 | 10.075 % |
2.41/2.86 c 3 | 3472 | 5436 20470 59272 | 13296 3472 40 | 10.075 % |
2.90/3.31 c 3 | 5180 | 5436 20470 59272 | 14626 5180 38 | 10.075 % |
2.90/3.34 c 3 ===============================================================================
2.90/3.34 c 3 restarts : 12
2.90/3.34 c 3 conflicts : 5296 (4317 /sec)
2.90/3.34 c 3 decisions : 10656 (1.18 % random) (8686 /sec)
2.90/3.34 c 3 propagations : 4316259 (3518270 /sec)
2.90/3.34 c 3 conflict literals : 202427 (21.30 % deleted)
2.90/3.34 c 3 Memory used : 4.23 MB
2.90/3.34 c 3 CPU time : 1.22681 s
2.90/3.34 c 3
2.90/3.34 c 3 SATISFIABLE
2.90/3.34 c 3 OK
2.90/3.34 c 3 FOUND: _COST <= 14
2.90/3.34 c 3 DECODING HOME/temp.out WITH HOME/temp.map
2.90/3.34 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.94/3.42 c 3 Decoding HOME/temp.out
2.94/3.51 c 3 OBJECTIVE _COST 14
2.94/3.51 o 14
2.94/3.52 v 1 5 4 2 3 7 6 4 2 7 3 6 1 5 2 6 3 5 1 7 1 6 1 7 4 2 5 5 7 4 6 1 5 2 3 5 4 1 2 7 6 3 3 6 5 6 4 2 7 43 38 1 32 1 23 1 13 1 21 1 47 1 38 1 26 2 43 9 2 48 2 15 2 39 2 4 2 34 2 11 3 42 3 43 17 3 35 3 6 3 43 3 5 3 37 4 3 4 47 4 43 25 4 8 4 30 4 34 4 45 5 27 5 36 5 2 5 43 33 5 14 5 18 5 46 6 22 6 7 6 12 6 44 6 43 41 6 16 6 20 7 40 7 29 7 40 7 24 7 10 7 43 49 7
2.94/3.54 c 3 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
2.94/3.56 c 4 OK
2.94/3.56 c 4 OBJECTIVE BOUND: 0 <= _COST <= 14
2.94/3.56 c 4 SEARCHING: _COST <= 7
2.94/3.57 c 4 ============================[ Search Statistics ]==============================
2.94/3.58 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
2.94/3.58 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.94/3.58 c 4 ===============================================================================
2.94/3.58 c 4 | 5296 | 5282 17215 49955 | 5738 5268 38 | 10.075 % |
2.94/3.59 c 4 | 5396 | 5282 17215 49955 | 6312 5368 38 | 12.622 % |
3.17/3.63 c 4 | 5549 | 5282 17215 49955 | 6943 5521 38 | 12.622 % |
3.17/3.69 c 4 | 5774 | 5282 17215 49955 | 7637 5746 39 | 12.622 % |
3.27/3.79 c 4 | 6113 | 5282 17215 49955 | 8401 6085 39 | 12.622 % |
3.46/3.91 c 4 | 6619 | 5282 17215 49955 | 9241 6591 38 | 12.622 % |
3.46/3.92 c 4 ===============================================================================
3.46/3.92 c 4 restarts : 18
3.46/3.92 c 4 conflicts : 6668 (4205 /sec)
3.46/3.92 c 4 decisions : 12713 (1.20 % random) (8017 /sec)
3.46/3.92 c 4 propagations : 5382504 (3394278 /sec)
3.46/3.92 c 4 conflict literals : 251128 (20.32 % deleted)
3.46/3.92 c 4 Memory used : 4.49 MB
3.46/3.92 c 4 CPU time : 1.58576 s
3.46/3.92 c 4
3.46/3.92 c 4 SATISFIABLE
3.46/3.93 c 4 OK
3.46/3.93 c 4 FOUND: _COST <= 7
3.46/3.93 c 4 DECODING HOME/temp.out WITH HOME/temp.map
3.46/3.93 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.49/4.00 c 4 Decoding HOME/temp.out
3.49/4.10 c 4 OBJECTIVE _COST 7
3.49/4.10 o 7
3.49/4.10 v 1 3 5 2 6 7 4 5 2 7 3 4 1 6 4 5 3 7 1 7 2 6 7 1 4 3 2 5 7 6 2 1 5 4 3 2 4 1 5 7 6 1 3 1 4 6 2 5 7 43 42 1 19 1 32 1 13 1 42 1 44 1 24 1 31 2 43 9 2 47 2 21 2 27 2 4 2 36 2 26 3 35 3 43 17 3 43 3 2 3 43 3 11 3 37 4 45 4 7 4 43 25 4 15 4 12 4 34 4 48 5 39 5 8 5 3 5 43 33 5 28 5 16 5 14 6 22 6 46 6 30 6 46 6 43 41 6 5 6 18 7 6 7 23 7 40 7 10 7 29 7 43 49 7
3.49/4.13 c 4 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
3.49/4.14 c 4 OK
3.49/4.14 c 4 OBJECTIVE BOUND: 0 <= _COST <= 7
3.49/4.14 c 4 SEARCHING: _COST <= 3
3.49/4.14 c 4 ============================[ Search Statistics ]==============================
3.49/4.15 c 4 | Conflicts | ORIGINAL | LEARNT | Progress |
3.49/4.15 c 4 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.49/4.16 c 4 ===============================================================================
3.49/4.16 c 4 | 6668 | 5156 15171 44194 | 5057 6529 38 | 12.622 % |
3.49/4.17 c 4 | 6769 | 5156 15171 44194 | 5562 3366 32 | 14.707 % |
3.78/4.21 c 4 | 6919 | 5156 15171 44194 | 6118 3516 33 | 14.707 % |
3.78/4.28 c 4 | 7145 | 5156 15171 44194 | 6730 3742 34 | 14.707 % |
3.88/4.37 c 4 | 7484 | 5156 15171 44194 | 7403 4081 35 | 14.707 % |
4.08/4.51 c 4 | 7990 | 5156 15171 44194 | 8144 4587 36 | 14.707 % |
4.28/4.74 c 5 | 8749 | 5156 15171 44194 | 8958 5346 38 | 14.707 % |
4.68/5.11 c 5 | 9888 | 5156 15171 44194 | 9854 6485 40 | 14.707 % |
5.27/5.74 c 6 | 11596 | 5156 15171 44194 | 10840 8193 42 | 14.707 % |
6.26/6.74 c 7 | 14158 | 5156 15171 44194 | 11924 10755 45 | 14.707 % |
8.05/8.59 c 9 | 18002 | 5156 15171 44194 | 13116 7428 46 | 14.707 % |
10.64/11.16 c 11 | 23770 | 5156 15171 44194 | 14428 13196 49 | 14.707 % |
15.11/15.64 c 16 | 32419 | 5156 15171 44194 | 15871 13362 53 | 14.707 % |
22.58/23.17 c 23 | 45393 | 5156 15171 44194 | 17458 8839 57 | 14.707 % |
33.73/34.30 c 34 | 64858 | 5156 15171 44194 | 19203 18428 51 | 14.707 % |
51.94/52.69 c 53 | 94050 | 5156 15171 44194 | 21124 16023 57 | 14.707 % |
80.89/81.75 c 82 | 137839 | 5156 15171 44194 | 23236 13597 48 | 14.707 % |
127.76/128.84 c 129 | 203523 | 5156 15171 44194 | 25560 15287 64 | 14.707 % |
200.10/201.53 c 201 | 302050 | 5156 15171 44194 | 28116 16475 47 | 14.707 % |
306.13/308.00 c 308 | 449841 | 5156 15171 44194 | 30928 28535 42 | 14.707 % |
451.72/454.22 c 454 | 671524 | 5156 15171 44194 | 34020 29487 33 | 14.707 % |
675.40/678.81 c 679 | 1004051 | 5156 15171 44194 | 37423 30472 28 | 14.707 % |
992.48/997.24 c 997 | 1502839 | 5156 15171 44194 | 41165 17995 24 | 14.707 % |
1479.75/1486.52 c 1486 | 2251021 | 5156 15171 44194 | 45281 34227 39 | 14.707 % |
2239.99/2249.97 c 2250 | 3373296 | 5156 15171 44194 | 49810 39010 28 | 14.707 % |
3492.10/3507.23 c 3507 | 5056708 | 5156 15171 44194 | 54791 42094 26 | 14.707 % |
3600.06/3615.61 c 3616 CPU 3599.69 (0.07 0.03 3599.62 0.35)
3600.06/3615.61 c 3616 END Fri Jul 11 20:47:00 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109109-1215798404/watcher-1109109-1215798404 -o /tmp/evaluation-result-1109109-1215798404/solver-1109109-1215798404 -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-1109109-1215798404.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: 0.98 1.13 1.66 4/72 14902
/proc/meminfo: memFree=1952824/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=12272 CPUtime=0
/proc/14902/stat : 14902 (sugar++) D 14900 14902 14827 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 36541929 12566528 330 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/14902/statm: 3068 330 246 3 0 168 0
[startup+0.046688 s]
/proc/loadavg: 0.98 1.13 1.66 4/72 14902
/proc/meminfo: memFree=1952824/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=12676 CPUtime=0.01
/proc/14902/stat : 14902 (sugar++) R 14900 14902 14827 0 -1 4194304 531 0 0 0 1 0 0 0 18 0 1 0 36541929 12980224 499 996147200 4194304 4206940 548682068528 18446744073709551615 210824297061 0 0 4224 0 0 0 0 17 1 0 0
/proc/14902/statm: 3169 499 315 3 0 269 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12676
[startup+0.101827 s]
/proc/loadavg: 0.98 1.13 1.66 4/72 14902
/proc/meminfo: memFree=1952824/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=13468 CPUtime=0.03
/proc/14902/stat : 14902 (sugar++) D 14900 14902 14827 0 -1 4194304 753 0 0 0 2 1 0 0 18 0 1 0 36541929 13791232 721 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/14902/statm: 3367 721 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468
[startup+0.301872 s]
/proc/loadavg: 0.98 1.13 1.66 4/72 14902
/proc/meminfo: memFree=1952824/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16740 CPUtime=0.07
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 36541929 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.70195 s]
/proc/loadavg: 0.98 1.13 1.66 4/72 14902
/proc/meminfo: memFree=1952824/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16740 CPUtime=0.36
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1279 4473 0 2 6 2 25 3 16 0 1 0 36541929 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 16740
[startup+1.50211 s]
/proc/loadavg: 0.98 1.13 1.66 5/93 14945
/proc/meminfo: memFree=1920456/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16740 CPUtime=0.36
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1297 4473 0 2 6 2 25 3 15 0 1 0 36541929 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4185 1104 409 3 0 764 0
[pid=14932] ppid=14902 vsize=5356 CPUtime=0
/proc/14932/stat : 14932 (sh) S 14902 14902 14827 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 36541986 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14932/statm: 1339 233 193 169 0 50 0
[pid=14933] ppid=14932 vsize=868484 CPUtime=0.84
/proc/14933/stat : 14933 (java) S 14932 14902 14827 0 -1 0 7153 0 1 0 80 4 0 0 18 0 9 0 36541986 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14933/statm: 217121 6381 2564 9 0 211668 0
[pid=14933/tid=14938] ppid=14932 vsize=868484 CPUtime=0.46
/proc/14933/task/14938/stat : 14938 (java) R 14932 14902 14827 0 -1 64 2716 0 1 0 45 1 0 0 17 0 9 0 36541987 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4126467443 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14933/tid=14939] ppid=14932 vsize=868484 CPUtime=0.13
/proc/14933/task/14939/stat : 14939 (java) S 14932 14902 14827 0 -1 64 2269 0 0 0 12 1 0 0 16 0 9 0 36541988 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14933/tid=14940] ppid=14932 vsize=868484 CPUtime=0
/proc/14933/task/14940/stat : 14940 (java) S 14932 14902 14827 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 36541988 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14933/tid=14941] ppid=14932 vsize=868484 CPUtime=0
/proc/14933/task/14941/stat : 14941 (java) S 14932 14902 14827 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 36541988 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14933/tid=14942] ppid=14932 vsize=868484 CPUtime=0
/proc/14933/task/14942/stat : 14942 (java) S 14932 14902 14827 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 36541990 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14933/tid=14943] ppid=14932 vsize=868484 CPUtime=0.22
/proc/14933/task/14943/stat : 14943 (java) S 14932 14902 14827 0 -1 64 1475 0 0 0 21 1 0 0 16 0 9 0 36541990 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14933/tid=14944] ppid=14932 vsize=868484 CPUtime=0
/proc/14933/task/14944/stat : 14944 (java) S 14932 14902 14827 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 36541991 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14933/tid=14945] ppid=14932 vsize=868484 CPUtime=0
/proc/14933/task/14945/stat : 14945 (java) S 14932 14902 14827 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 36541992 889327616 6381 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 890580
[startup+3.10143 s]
/proc/loadavg: 1.14 1.16 1.67 3/86 15004
/proc/meminfo: memFree=1929272/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=1.72
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1620 19550 2 5 7 2 149 14 15 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=4192 CPUtime=0.98
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 874 0 0 0 98 0 0 0 24 0 1 0 36542100 4292608 817 996147200 134512640 135134323 4294956192 18446744073709551615 134532161 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 1048 817 80 151 0 894 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 21060
[startup+6.30107 s]
/proc/loadavg: 1.14 1.16 1.67 3/76 15024
/proc/meminfo: memFree=1932680/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 15 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=5388 CPUtime=3.74
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 1165 0 0 0 373 1 0 0 25 0 1 0 36542100 5517312 1104 996147200 134512640 135134323 4294956192 18446744073709551615 134708315 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 1347 1104 80 151 0 1193 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 22256
[startup+12.7014 s]
/proc/loadavg: 1.35 1.20 1.67 3/76 15024
/proc/meminfo: memFree=1930000/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=7256 CPUtime=10.1
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 1632 0 0 0 1009 1 0 0 25 0 1 0 36542100 7430144 1571 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 1814 1571 80 151 0 1660 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 24124
[startup+25.5019 s]
/proc/loadavg: 1.45 1.23 1.68 3/76 15024
/proc/meminfo: memFree=1928016/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=8588 CPUtime=22.83
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 1970 0 0 0 2281 2 0 0 25 0 1 0 36542100 8794112 1909 996147200 134512640 135134323 4294956192 18446744073709551615 134528433 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 2147 1909 80 151 0 1993 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 25456
[startup+51.101 s]
/proc/loadavg: 1.64 1.29 1.68 3/76 15024
/proc/meminfo: memFree=1925648/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=10364 CPUtime=48.31
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 2401 0 0 0 4828 3 0 0 25 0 1 0 36542100 10612736 2340 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 2591 2340 80 151 0 2437 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 27232
[startup+102.306 s]
/proc/loadavg: 1.89 1.42 1.71 3/76 15024
/proc/meminfo: memFree=1923920/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=11340 CPUtime=99.26
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 2648 0 0 0 9923 3 0 0 25 0 1 0 36542100 11612160 2587 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 2835 2587 80 151 0 2681 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 28208
[startup+162.301 s]
/proc/loadavg: 2.00 1.54 1.73 3/76 15024
/proc/meminfo: memFree=1921360/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=13244 CPUtime=158.96
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 3109 0 0 0 15893 3 0 0 25 0 1 0 36542100 13561856 3048 996147200 134512640 135134323 4294956192 18446744073709551615 134532052 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 3311 3048 80 151 0 3157 0
Current children cumulated CPU time (s) 161.09
Current children cumulated vsize (KiB) 30112
[startup+222.301 s]
/proc/loadavg: 2.03 1.63 1.75 3/76 15024
/proc/meminfo: memFree=1921040/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=13244 CPUtime=218.66
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 3120 0 0 0 21863 3 0 0 25 0 1 0 36542100 13561856 3059 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14971/statm: 3311 3059 80 151 0 3157 0
Current children cumulated CPU time (s) 220.79
Current children cumulated vsize (KiB) 30112
[startup+282.301 s]
/proc/loadavg: 2.01 1.69 1.76 3/76 15050
/proc/meminfo: memFree=1922768/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=14176 CPUtime=278.4
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 3347 0 0 0 27836 4 0 0 25 0 1 0 36542100 14516224 3286 996147200 134512640 135134323 4294956192 18446744073709551615 134531952 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 3544 3286 80 151 0 3390 0
Current children cumulated CPU time (s) 280.53
Current children cumulated vsize (KiB) 31044
[startup+342.302 s]
/proc/loadavg: 2.07 1.78 1.78 3/76 15050
/proc/meminfo: memFree=1920848/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
[pid=14971] ppid=14902 vsize=20428 CPUtime=2847.74
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4826 0 0 0 284760 14 0 0 25 0 1 0 36542100 20918272 4765 996147200 134512640 135134323 4294956192 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5107 4765 80 151 0 4953 0
Current children cumulated CPU time (s) 2849.87
Current children cumulated vsize (KiB) 37296
[startup+2922.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874656/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20428 CPUtime=2907.49
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4826 0 0 0 290735 14 0 0 25 0 1 0 36542100 20918272 4765 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5107 4765 80 151 0 4953 0
Current children cumulated CPU time (s) 2909.62
Current children cumulated vsize (KiB) 37296
[startup+2982.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874592/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20428 CPUtime=2967.23
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4826 0 0 0 296709 14 0 0 25 0 1 0 36542100 20918272 4765 996147200 134512640 135134323 4294956192 18446744073709551615 134523888 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5107 4765 80 151 0 4953 0
Current children cumulated CPU time (s) 2969.36
Current children cumulated vsize (KiB) 37296
[startup+3042.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874592/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20428 CPUtime=3026.99
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4834 0 0 0 302685 14 0 0 25 0 1 0 36542100 20918272 4773 996147200 134512640 135134323 4294956192 18446744073709551615 134531915 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5107 4773 80 151 0 4953 0
Current children cumulated CPU time (s) 3029.12
Current children cumulated vsize (KiB) 37296
[startup+3102.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874528/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20584 CPUtime=3086.74
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4855 0 0 0 308660 14 0 0 25 0 1 0 36542100 21078016 4794 996147200 134512640 135134323 4294956192 18446744073709551615 134532031 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5146 4794 80 151 0 4992 0
Current children cumulated CPU time (s) 3088.87
Current children cumulated vsize (KiB) 37452
[startup+3162.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874336/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20584 CPUtime=3146.5
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4874 0 0 0 314635 15 0 0 25 0 1 0 36542100 21078016 4813 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5146 4813 80 151 0 4992 0
Current children cumulated CPU time (s) 3148.63
Current children cumulated vsize (KiB) 37452
[startup+3222.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874080/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20724 CPUtime=3206.25
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4904 0 0 0 320610 15 0 0 25 0 1 0 36542100 21221376 4843 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5181 4843 80 151 0 5027 0
Current children cumulated CPU time (s) 3208.38
Current children cumulated vsize (KiB) 37592
[startup+3282.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874080/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20724 CPUtime=3266
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4904 0 0 0 326585 15 0 0 25 0 1 0 36542100 21221376 4843 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5181 4843 80 151 0 5027 0
Current children cumulated CPU time (s) 3268.13
Current children cumulated vsize (KiB) 37592
[startup+3342.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874080/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20724 CPUtime=3325.75
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4904 0 0 0 332560 15 0 0 25 0 1 0 36542100 21221376 4843 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5181 4843 80 151 0 5027 0
Current children cumulated CPU time (s) 3327.88
Current children cumulated vsize (KiB) 37592
[startup+3402.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1874080/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20724 CPUtime=3385.51
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4918 0 0 0 338536 15 0 0 25 0 1 0 36542100 21221376 4857 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5181 4857 80 151 0 5027 0
Current children cumulated CPU time (s) 3387.64
Current children cumulated vsize (KiB) 37592
[startup+3462.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1873824/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20892 CPUtime=3445.25
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4929 0 0 0 344510 15 0 0 25 0 1 0 36542100 21393408 4868 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5223 4868 80 151 0 5069 0
Current children cumulated CPU time (s) 3447.38
Current children cumulated vsize (KiB) 37760
[startup+3522.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1873760/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=20892 CPUtime=3505.02
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 4933 0 0 0 350486 16 0 0 25 0 1 0 36542100 21393408 4872 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5223 4872 80 151 0 5069 0
Current children cumulated CPU time (s) 3507.15
Current children cumulated vsize (KiB) 37760
[startup+3582.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/82 15093
/proc/meminfo: memFree=1873440/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=21156 CPUtime=3564.77
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 5013 0 0 0 356461 16 0 0 25 0 1 0 36542100 21663744 4952 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5289 4952 80 151 0 5135 0
Current children cumulated CPU time (s) 3566.9
Current children cumulated vsize (KiB) 38024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.6 s]
/proc/loadavg: 2.00 1.97 1.91 4/82 15093
/proc/meminfo: memFree=1873376/2055920 swapFree=4192812/4192956
[pid=14902] ppid=14900 vsize=16868 CPUtime=2.13
/proc/14902/stat : 14902 (sugar++) S 14900 14902 14827 0 -1 4194304 1762 27130 2 7 7 3 184 19 16 0 1 0 36541929 17272832 1116 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14902/statm: 4217 1116 414 3 0 796 0
[pid=14971] ppid=14902 vsize=21156 CPUtime=3597.93
/proc/14971/stat : 14971 (minisat-inc) R 14902 14902 14827 0 -1 4194304 5018 0 0 0 359777 16 0 0 25 0 1 0 36542100 21663744 4957 996147200 134512640 135134323 4294956192 18446744073709551615 134532097 0 0 4096 3 0 0 0 17 0 0 0
/proc/14971/statm: 5289 4957 80 151 0 5135 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 38024
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): 3615.62
CPU time (s): 3600.09
CPU user time (s): 3599.7
CPU system time (s): 0.38994
CPU usage (%): 99.5707
Max. virtual memory (cumulated for all children) (KiB): 890580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.7
system time used= 0.38994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33985
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2967
involuntary context switches= 52488
runsolver used 2.79757 second user time and 10.3764 second system time
The end
Begin job on node33 at 2008-07-11 19:46:44
IDJOB=1109109
IDBENCH=60917
IDSOLVER=367
FILE ID=node33/1109109-1215798404
PBS_JOBID= 7903252
Free space on /tmp= 66472 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/QG3/normalized-quasigroup3-7.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-1109109-1215798404/watcher-1109109-1215798404 -o /tmp/evaluation-result-1109109-1215798404/solver-1109109-1215798404 -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-1109109-1215798404.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= fafe0dcba984bf536ec9e261fa39bfe8
RANDOM SEED=1769040420
node33.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.264
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.264
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: 1953368 kB
Buffers: 3960 kB
Cached: 33508 kB
SwapCached: 0 kB
Active: 45900 kB
Inactive: 7056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1953368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2616 kB
Writeback: 0 kB
Mapped: 25900 kB
Slab: 35140 kB
Committed_AS: 122540 kB
PageTables: 1748 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= 66472 MiB
End job on node33 at 2008-07-11 20:47:00