Trace number 1110356

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar v1.13+minisatMSAT (TO)4 3600.05 3631.95

General information on the benchmark

Namecsp/wordsVg/
normalized-crossword-m1c-words-vg6-10_ext.xml
MD5SUM9adead530525957babaa0ae74a947472
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints4
Best CPU time to get the best result obtained on this benchmark3600.05
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints16
Maximum constraint arity10
Maximum domain size26
Number of constraints which are defined in extension16
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.05	c 0	Sugar v1-13 + HOME/minisat
0.00/0.05	c 0	BEGIN Sat Jul 12 01:58:23 2008
0.00/0.05	c 0	PID 14703
0.00/0.05	c 0	HOST node10.alineos.net
0.00/0.05	c 0	CONVERTING HOME/instance-1110356-1215820703.xml TO HOME/temp.csp
0.00/0.05	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110356-1215820703.xml' 'HOME/temp.csp'
0.04/0.53	c 1	1 domains, 60 variables, 0 predicates, 2 relations, 16 constraints
0.04/0.58	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.58	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.51/0.67	c 1	Parsing HOME/temp.csp
0.51/0.96	c 1	parsed 79 expressions
0.51/0.96	c 1	Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.51/0.96	c 1	MAX CSP: 16 constraints
0.51/0.96	c 1	Converting to clausal form CSP
0.51/0.99	c 1	converted 10 (10%) expressions
0.51/0.99	c 1	converted 20 (20%) expressions
0.51/0.99	c 1	converted 30 (30%) expressions
0.51/0.99	c 1	converted 40 (40%) expressions
0.51/0.99	c 1	converted 49 (50%) expressions
0.51/0.99	c 1	converted 59 (60%) expressions
1.10/1.21	c 1	converted 69 (70%) expressions
1.40/1.57	c 2	converted 79 (80%) expressions
1.79/1.98	c 2	converted 89 (90%) expressions
1.99/2.20	c 2	converted 98 (100%) expressions
1.99/2.20	c 2	CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
1.99/2.20	c 2	Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.99/2.20	c 2	Propagation in CSP
2.10/2.21	c 2	15 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.10/2.21	c 2	CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.10/2.21	c 2	Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.10/2.21	c 2	Simplifing CSP by introducing new Boolean variables
2.10/2.21	c 2	CSP : 92 integers, 0 booleans, 47 clauses, largest domain size 26
2.10/2.21	c 2	Heap : 35 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.29/2.44	c 2	Encoding CSP to SAT : HOME/temp.cnf
2.29/2.46	c 2	10 (10%) CSP integer variables are encoded (240 clauses, 2496 bytes)
2.29/2.46	c 2	19 (20%) CSP integer variables are encoded (456 clauses, 4872 bytes)
2.29/2.46	c 2	28 (30%) CSP integer variables are encoded (672 clauses, 7248 bytes)
2.29/2.47	c 2	37 (40%) CSP integer variables are encoded (888 clauses, 9624 bytes)
2.29/2.47	c 2	46 (50%) CSP integer variables are encoded (1104 clauses, 12289 bytes)
2.29/2.47	c 2	56 (60%) CSP integer variables are encoded (1344 clauses, 15409 bytes)
2.29/2.47	c 2	65 (70%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
2.29/2.47	c 2	74 (80%) CSP integer variables are encoded (1440 clauses, 16657 bytes)
2.29/2.47	c 2	83 (90%) CSP integer variables are encoded (1503 clauses, 17476 bytes)
2.29/2.47	c 2	92 (100%) CSP integer variables are encoded (1538 clauses, 17931 bytes)
19.91/20.25	c 20	5 (10%) CSP clauses are encoded (156398 clauses, 7434687 bytes)
37.63/38.19	c 38	10 (20%) CSP clauses are encoded (311258 clauses, 15116274 bytes)
107.14/108.30	c 108	15 (30%) CSP clauses are encoded (609853 clauses, 35736237 bytes)
120.91/122.26	c 122	19 (40%) CSP clauses are encoded (669667 clauses, 40597871 bytes)
120.91/122.26	c 122	24 (50%) CSP clauses are encoded (669800 clauses, 40600014 bytes)
120.91/122.27	c 122	29 (60%) CSP clauses are encoded (669820 clauses, 40600320 bytes)
120.91/122.27	c 122	33 (70%) CSP clauses are encoded (669979 clauses, 40603027 bytes)
120.91/122.27	c 122	38 (80%) CSP clauses are encoded (670004 clauses, 40603412 bytes)
120.91/122.27	c 122	43 (90%) CSP clauses are encoded (670024 clauses, 40603718 bytes)
120.91/122.27	c 122	47 (100%) CSP clauses are encoded (670088 clauses, 40604738 bytes)
120.91/122.27	c 122	47 CSP clauses encoded
120.91/122.27	c 122	Writing map file : HOME/temp.map
120.91/122.27	c 122	Heap : 62 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
120.91/122.27	c 122	SAT : 1630 SAT variables, 670088 SAT clauses, 40604738 bytes
120.91/122.27	c 122	Heap : 62 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
120.99/122.31	c 122	OBJECTIVE minimize _COST
120.99/122.31	c 122	OBJECTIVE BOUND: 0 <= _COST <= 
120.99/122.31	c 122	SEARCHING: _COST <= 8
120.99/122.31	c 122	SOLVING HOME/temp.cnf
120.99/122.31	c 122	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
120.99/122.32	c 122	This is MiniSat 2.0 beta
120.99/122.32	c 122	WARNING: for repeatability, setting FPU to use double precision
120.99/122.32	c 122	============================[ Problem Statistics ]=============================
120.99/122.32	c 122	|                                                                             |
120.99/122.32	c 122	|  Number of variables:  1630                                                 |
120.99/122.32	c 122	|  Number of clauses:    670089                                               |
121.88/123.27	c 123	|  Parsing time:         0.82         s                                       |
121.97/123.33	c 123	============================[ Search Statistics ]==============================
121.97/123.33	c 123	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
121.97/123.33	c 123	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
121.97/123.33	c 123	===============================================================================
121.97/123.33	c 123	|         0 |    1590   669863  8175847 |   223287        0    nan |  0.000 % |
121.97/123.39	c 123	|       100 |    1590   669863  8175847 |   245616      100      6 |  2.454 % |
122.07/123.47	c 123	|       250 |    1590   669863  8175847 |   270178      250      6 |  2.454 % |
122.17/123.53	c 124	|       478 |    1590   669863  8175847 |   297195      478      7 |  2.454 % |
122.17/123.57	c 124	|       815 |    1590   669863  8175847 |   326915      815      7 |  2.454 % |
122.37/123.72	c 124	|      1322 |    1590   669863  8175847 |   359607     1322      8 |  2.454 % |
122.57/123.90	c 124	|      2082 |    1590   669863  8175847 |   395567     2082      9 |  2.454 % |
122.77/124.16	c 124	|      3222 |    1590   669863  8175847 |   435124     3222     10 |  2.454 % |
123.26/124.60	c 125	|      4930 |    1590   669863  8175847 |   478636     4930     10 |  2.454 % |
123.55/124.92	c 125	|      7492 |    1590   669863  8175847 |   526500     7492     10 |  2.454 % |
123.95/125.33	c 125	|     11336 |    1590   669863  8175847 |   579150    11336     10 |  2.454 % |
125.15/126.57	c 127	|     17102 |    1590   669863  8175847 |   637065    17102     11 |  2.454 % |
126.14/127.59	c 128	|     25752 |    1590   669863  8175847 |   700772    25752     11 |  2.454 % |
130.29/131.78	c 132	|     38726 |    1590   669863  8175847 |   770849    38726     11 |  2.454 % |
135.05/136.57	c 137	===============================================================================
135.05/136.57	c 137	restarts              : 14
135.05/136.57	c 137	conflicts             : 46452          (3324 /sec)
135.05/136.57	c 137	decisions             : 62303          (1.46 % random) (4458 /sec)
135.05/136.57	c 137	propagations          : 713088         (51026 /sec)
135.05/136.57	c 137	conflict literals     : 538120         (20.85 % deleted)
135.05/136.57	c 137	Memory used           : 63.35 MB
135.05/136.57	c 137	CPU time              : 13.9749 s
135.05/136.57	c 137	
135.05/136.57	c 137	SATISFIABLE
135.05/136.59	c 137	FOUND: _COST <= 8
135.05/136.59	s SATISFIABLE
135.05/136.59	c 137	DECODING HOME/temp.out WITH HOME/temp.map
135.05/136.59	c 137	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
135.14/136.67	c 137	Decoding HOME/temp.out
135.14/136.71	c 137	OBJECTIVE _COST 8
135.14/136.71	o 8
135.14/136.71	v 4 24 4 22 8 19 13 4 18 18 18 25 12 25 25 25 25 21 2 20 18 20 1 21 4 17 18 8 14 13 0 25 17 25 25 25 25 13 19 3 24 25 24 25 25 25 25 2 8 4 18 15 14 17 19 18 22 4 0 17
135.14/136.73	c 137	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
135.14/136.76	c 137	OBJECTIVE BOUND: 0 <= _COST <= 8
135.14/136.76	c 137	SEARCHING: _COST <= 4
135.14/136.76	c 137	SOLVING HOME/temp.cnf
135.14/136.76	c 137	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
135.14/136.77	c 137	This is MiniSat 2.0 beta
135.14/136.77	c 137	WARNING: for repeatability, setting FPU to use double precision
135.14/136.77	c 137	============================[ Problem Statistics ]=============================
135.14/136.77	c 137	|                                                                             |
135.14/136.77	c 137	|  Number of variables:  1630                                                 |
135.14/136.77	c 137	|  Number of clauses:    670089                                               |
136.19/137.72	c 138	|  Parsing time:         0.84         s                                       |
136.19/137.78	c 138	============================[ Search Statistics ]==============================
136.19/137.78	c 138	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
136.19/137.78	c 138	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
136.19/137.78	c 138	===============================================================================
136.19/137.78	c 138	|         0 |    1566   669725  8175501 |   223241        0    nan |  0.000 % |
136.29/137.84	c 138	|       100 |    1566   669725  8175501 |   245565      100      6 |  3.926 % |
136.39/137.95	c 138	|       250 |    1566   669725  8175501 |   270122      250      6 |  3.927 % |
136.49/138.05	c 138	|       476 |    1566   669725  8175501 |   297134      476      7 |  3.927 % |
136.69/138.26	c 138	|       813 |    1566   669725  8175501 |   326848      813      8 |  3.927 % |
136.99/138.53	c 139	|      1320 |    1566   669725  8175501 |   359532     1320      9 |  3.927 % |
137.28/138.83	c 139	|      2081 |    1566   669725  8175501 |   395486     2081      9 |  3.927 % |
137.68/139.21	c 139	|      3220 |    1566   669725  8175501 |   435034     3220     10 |  3.927 % |
138.47/140.05	c 140	|      4929 |    1566   669725  8175501 |   478538     4929     10 |  3.927 % |
142.33/143.98	c 144	|      7494 |    1566   669725  8175501 |   526392     7494     12 |  3.927 % |
143.03/144.65	c 145	|     11338 |    1566   669725  8175501 |   579031    11338     12 |  3.927 % |
148.57/150.25	c 150	|     17104 |    1566   669725  8175501 |   636934    17104     13 |  3.927 % |
152.24/153.95	c 154	|     25753 |    1566   669725  8175501 |   700627    25753     13 |  3.927 % |
161.83/163.60	c 164	|     38728 |    1566   669725  8175501 |   770690    38728     14 |  3.927 % |
174.11/176.03	c 176	|     58189 |    1566   669725  8175501 |   847759    58189     14 |  3.927 % |
191.25/193.36	c 193	|     87381 |    1566   669725  8175501 |   932535    87381     15 |  3.927 % |
220.57/222.97	c 223	|    131170 |    1566   669725  8175501 |  1025789   131170     15 |  3.927 % |
350.04/353.60	c 354	|    196857 |    1566   669725  8175501 |  1128368   196857     18 |  3.927 % |
432.26/436.62	c 437	|    295386 |    1566   669725  8175501 |  1241205   295386     18 |  3.927 % |
821.38/829.43	c 829	|    443175 |    1566   669725  8175501 |  1365325   443175     20 |  3.927 % |
1199.79/1211.43	c 1211	===============================================================================
1199.79/1211.43	c 1211	restarts              : 20
1199.79/1211.43	c 1211	conflicts             : 551723         (518 /sec)
1199.79/1211.43	c 1211	decisions             : 741662         (1.43 % random) (697 /sec)
1199.79/1211.43	c 1211	propagations          : 25544634       (24003 /sec)
1199.79/1211.43	c 1211	conflict literals     : 11322690       (23.48 % deleted)
1199.79/1211.43	c 1211	Memory used           : 125.63 MB
1199.79/1211.43	c 1211	CPU time              : 1064.22 s
1199.79/1211.43	c 1211	
1199.79/1211.43	c 1211	SATISFIABLE
1199.79/1211.45	c 1211	FOUND: _COST <= 4
1199.79/1211.45	c 1211	DECODING HOME/temp.out WITH HOME/temp.map
1199.79/1211.45	c 1211	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1199.85/1211.54	c 1212	Decoding HOME/temp.out
1199.85/1211.58	c 1212	OBJECTIVE _COST 4
1199.85/1211.58	o 4
1199.85/1211.58	v 18 14 15 14 25 0 20 21 18 0 15 17 14 15 14 17 19 8 14 13 4 13 11 8 18 19 12 4 13 19 17 4 11 0 19 8 14 13 0 11 17 17 20 19 25 18 18 13 19 4 24 24 23 4 25 19 19 0 0 17
1199.85/1211.58	c 1212	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1199.85/1211.64	c 1212	OBJECTIVE BOUND: 0 <= _COST <= 4
1199.85/1211.64	c 1212	SEARCHING: _COST <= 2
1199.85/1211.64	c 1212	SOLVING HOME/temp.cnf
1199.85/1211.64	c 1212	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
1199.85/1211.64	c 1212	This is MiniSat 2.0 beta
1199.85/1211.64	c 1212	WARNING: for repeatability, setting FPU to use double precision
1199.85/1211.64	c 1212	============================[ Problem Statistics ]=============================
1199.85/1211.64	c 1212	|                                                                             |
1199.85/1211.64	c 1212	|  Number of variables:  1630                                                 |
1199.85/1211.64	c 1212	|  Number of clauses:    670089                                               |
1200.85/1212.60	c 1213	|  Parsing time:         0.83         s                                       |
1200.96/1212.66	c 1213	============================[ Search Statistics ]==============================
1200.96/1212.66	c 1213	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1200.96/1212.66	c 1213	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1200.96/1212.66	c 1213	===============================================================================
1200.96/1212.66	c 1213	|         0 |    1548   669616  8175226 |   223205        0    nan |  0.000 % |
1201.06/1212.72	c 1213	|       100 |    1548   669616  8175226 |   245525      100      6 |  5.031 % |
1201.16/1212.81	c 1213	|       251 |    1548   669616  8175226 |   270078      251      7 |  5.031 % |
1201.35/1213.08	c 1213	|       476 |    1548   669616  8175226 |   297086      476      8 |  5.031 % |
1201.75/1213.42	c 1213	|       813 |    1548   669616  8175226 |   326794      813     10 |  5.031 % |
1201.85/1213.58	c 1214	|      1319 |    1548   669616  8175226 |   359474     1319     10 |  5.031 % |
1202.54/1214.29	c 1214	|      2079 |    1548   669616  8175226 |   395421     2079     11 |  5.031 % |
1203.43/1215.12	c 1215	|      3220 |    1548   669616  8175226 |   434964     3220     11 |  5.031 % |
1207.10/1218.88	c 1219	|      4928 |    1548   669616  8175226 |   478460     4928     13 |  5.031 % |
1210.76/1222.59	c 1223	|      7491 |    1548   669616  8175226 |   526306     7491     14 |  5.031 % |
1214.72/1226.51	c 1226	|     11335 |    1548   669616  8175226 |   578937    11335     15 |  5.031 % |
1226.80/1238.70	c 1239	|     17101 |    1548   669616  8175226 |   636830    17101     17 |  5.031 % |
1243.65/1255.77	c 1256	|     25751 |    1548   669616  8175226 |   700513    25751     18 |  5.031 % |
1266.63/1278.97	c 1279	|     38727 |    1548   669616  8175226 |   770565    38727     20 |  5.031 % |
1310.12/1322.87	c 1323	|     58189 |    1548   669616  8175226 |   847621    58189     20 |  5.031 % |
1366.78/1380.04	c 1380	|     87382 |    1548   669616  8175226 |   932384    87382     21 |  5.031 % |
1461.08/1475.29	c 1475	|    131172 |    1548   669616  8175226 |  1025622   131172     21 |  5.031 % |
1686.16/1702.42	c 1702	|    196856 |    1548   669616  8175226 |  1128184   196856     22 |  5.031 % |
2056.35/2076.10	c 2076	|    295383 |    1548   669616  8175226 |  1241003   295383     24 |  5.031 % |
2828.94/2856.09	c 2856	|    443174 |    1548   669616  8175226 |  1365103   443174     25 |  5.031 % |
3600.05/3631.91	c ERROR INTERRUPTED
3600.05/3631.93	c 3632	CPU 1198.87 (0.04 0.02 1198.83 1.13)
3600.05/3631.93	c 3632	END Sat Jul 12 02:58:55 2008

Verifier Data (download as text)

OK	4	12
4 unsatisfied constraints, 12 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110356-1215820703/watcher-1110356-1215820703 -o /tmp/evaluation-result-1110356-1215820703/solver-1110356-1215820703 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1110356-1215820703.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: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=18572 CPUtime=0
/proc/14703/stat : 14703 (runsolver) R 14701 14703 13430 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 38773191 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14703/statm: 4643 292 257 25 0 2626 0

[startup+0.098304 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.04
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 38773191 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.101301 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.04
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 38773191 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301331 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.04
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 38773191 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.701385 s]
/proc/loadavg: 1.92 1.98 1.99 4/73 14703
/proc/meminfo: memFree=1708432/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 16 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13600

[startup+1.5025 s]
/proc/loadavg: 1.92 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1697720/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864408 CPUtime=0.89
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 8326 0 1 0 85 4 0 0 18 0 9 0 38773250 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216102 7547 2540 9 0 210677 0
[pid=14717/tid=14718] ppid=14716 vsize=864408 CPUtime=0.47
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 2654 0 1 0 47 0 0 0 21 0 9 0 38773251 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864408 CPUtime=0.33
/proc/14717/task/14719/stat : 14719 (java) R 14716 14703 13430 0 -1 64 4659 0 0 0 31 2 0 0 17 0 9 0 38773252 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 104182224 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864408 CPUtime=0.06
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 320 0 0 0 6 0 0 0 16 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864408 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885153792 7547 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 883364

[startup+3.1027 s]
/proc/loadavg: 1.92 1.98 1.99 4/84 14725
/proc/meminfo: memFree=1667256/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864300 CPUtime=2.47
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 14383 0 1 0 240 7 0 0 18 0 9 0 38773250 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216075 13489 2564 9 0 210622 0
[pid=14717/tid=14718] ppid=14716 vsize=864300 CPUtime=1.34
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3149 0 1 0 133 1 0 0 23 0 9 0 38773251 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4126602052 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864300 CPUtime=1.01
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 10199 0 0 0 96 5 0 0 16 0 9 0 38773252 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864300 CPUtime=0.1
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 342 0 0 0 10 0 0 0 16 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885043200 13489 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 883256

[startup+6.30213 s]
/proc/loadavg: 1.93 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1660216/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864300 CPUtime=5.64
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 14871 0 1 0 555 9 0 0 18 0 9 0 38773250 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216075 13940 2564 9 0 210622 0
[pid=14717/tid=14718] ppid=14716 vsize=864300 CPUtime=4.42
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3186 0 1 0 440 2 0 0 25 0 9 0 38773251 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4126541850 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864300 CPUtime=1.1
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 10647 0 0 0 104 6 0 0 16 0 9 0 38773252 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864300 CPUtime=0.1
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 345 0 0 0 10 0 0 0 16 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885043200 13940 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 883256

[startup+12.703 s]
/proc/loadavg: 1.93 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1650040/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 15 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864300 CPUtime=11.98
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 16576 0 1 0 1187 11 0 0 18 0 9 0 38773250 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216075 15591 2564 9 0 210622 0
[pid=14717/tid=14718] ppid=14716 vsize=864300 CPUtime=10.63
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3240 0 1 0 1060 3 0 0 25 0 9 0 38773251 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864300 CPUtime=1.21
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 12297 0 0 0 115 6 0 0 16 0 9 0 38773252 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 38773253 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14722] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14722/stat : 14722 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14723] ppid=14716 vsize=864300 CPUtime=0.1
/proc/14717/task/14723/stat : 14723 (java) S 14716 14703 13430 0 -1 64 346 0 0 0 10 0 0 0 17 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14724] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14724/stat : 14724 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14725] ppid=14716 vsize=864300 CPUtime=0
/proc/14717/task/14725/stat : 14725 (java) S 14716 14703 13430 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 38773255 885043200 15591 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 883256

[startup+25.5017 s]
/proc/loadavg: 1.95 1.98 1.99 3/84 14725
/proc/meminfo: memFree=1631544/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=0.51
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 974 6513 0 1 3 1 43 4 16 0 1 0 38773191 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 797 370 3 0 500 0
[pid=14716] ppid=14703 vsize=5356 CPUtime=0
/proc/14716/stat : 14716 (sh) S 14703 14703 13430 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 38773250 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14716/statm: 1339 233 193 169 0 50 0
[pid=14717] ppid=14716 vsize=864376 CPUtime=24.64
/proc/14717/stat : 14717 (java) S 14716 14703 13430 0 -1 0 22051 0 1 0 2445 19 0 0 18 0 9 0 38773250 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14717/statm: 216094 18378 2564 9 0 210641 0
[pid=14717/tid=14718] ppid=14716 vsize=864376 CPUtime=22.74
/proc/14717/task/14718/stat : 14718 (java) R 14716 14703 13430 0 -1 64 3374 0 1 0 2267 7 0 0 25 0 9 0 38773251 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 103215168 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14719] ppid=14716 vsize=864376 CPUtime=1.76
/proc/14717/task/14719/stat : 14719 (java) S 14716 14703 13430 0 -1 64 17635 0 0 0 166 10 0 0 16 0 9 0 38773252 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14720] ppid=14716 vsize=864376 CPUtime=0
/proc/14717/task/14720/stat : 14720 (java) S 14716 14703 13430 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 38773252 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14717/tid=14721] ppid=14716 vsize=864376 CPUtime=0
/proc/14717/task/14721/stat : 14721 (java) S 14716 14703 13430 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 38773253 885121024 18378 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

################
# More data... #
################

/proc/meminfo: memFree=1720200/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=131796 CPUtime=1932.69
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 32313 0 0 0 193229 40 0 0 25 0 1 0 38894356 134959104 32299 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 32949 32299 75 150 0 32796 0
Current children cumulated CPU time (s) 3132.71
Current children cumulated vsize (KiB) 150752

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1718536/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=133380 CPUtime=1992.4
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 32707 0 0 0 199199 41 0 0 25 0 1 0 38894356 136581120 32693 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 33345 32693 75 150 0 33192 0
Current children cumulated CPU time (s) 3192.42
Current children cumulated vsize (KiB) 152336

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1716744/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=134876 CPUtime=2052.11
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 33096 0 0 0 205170 41 0 0 25 0 1 0 38894356 138113024 33082 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 33719 33082 75 150 0 33566 0
Current children cumulated CPU time (s) 3252.13
Current children cumulated vsize (KiB) 153832

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1714888/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=136640 CPUtime=2111.82
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 33545 0 0 0 211140 42 0 0 25 0 1 0 38894356 139919360 33531 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 34160 33531 75 150 0 34007 0
Current children cumulated CPU time (s) 3311.84
Current children cumulated vsize (KiB) 155596

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1713288/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=138092 CPUtime=2171.54
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 33936 0 0 0 217111 43 0 0 25 0 1 0 38894356 141406208 33922 996147200 134512640 135127466 4294956256 18446744073709551615 134530752 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 34523 33922 75 150 0 34370 0
Current children cumulated CPU time (s) 3371.56
Current children cumulated vsize (KiB) 157048

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1711752/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=139628 CPUtime=2231.24
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 34310 0 0 0 223081 43 0 0 25 0 1 0 38894356 142979072 34296 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 34907 34296 75 150 0 34754 0
Current children cumulated CPU time (s) 3431.26
Current children cumulated vsize (KiB) 158584

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1710152/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=141108 CPUtime=2290.95
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 34695 0 0 0 229051 44 0 0 25 0 1 0 38894356 144494592 34681 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35277 34681 75 150 0 35124 0
Current children cumulated CPU time (s) 3490.97
Current children cumulated vsize (KiB) 160064

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1708552/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=142592 CPUtime=2350.66
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 35080 0 0 0 235021 45 0 0 25 0 1 0 38894356 146014208 35066 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35648 35066 75 150 0 35495 0
Current children cumulated CPU time (s) 3550.68
Current children cumulated vsize (KiB) 161548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3631.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1707336/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=143812 CPUtime=2400.03
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 35379 0 0 0 239957 46 0 0 25 0 1 0 38894356 147263488 35365 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35953 35365 75 150 0 35800 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 162768

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+3631.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14795
/proc/meminfo: memFree=1707336/2055920 swapFree=4192812/4192956
[pid=14703] ppid=14701 vsize=13600 CPUtime=1200.02
/proc/14703/stat : 14703 (sugar) S 14701 14703 13430 0 -1 4194304 1283 93808 0 4 4 2 119883 113 16 0 1 0 38773191 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14703/statm: 3400 803 374 3 0 500 0
[pid=14758] ppid=14703 vsize=5356 CPUtime=0
/proc/14758/stat : 14758 (sh) S 14703 14703 13430 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 38894355 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14758/statm: 1339 232 193 169 0 50 0
[pid=14759] ppid=14758 vsize=143812 CPUtime=2400.03
/proc/14759/stat : 14759 (minisat) R 14758 14703 13430 0 -1 4194304 35379 0 0 0 239957 46 0 0 25 0 1 0 38894356 147263488 35365 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/14759/statm: 35953 35365 75 150 0 35800 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 162768

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14703 and gives
#  childrusage.ru_utime.tv_sec=1198
#  childrusage.ru_utime.tv_usec=874743
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=178820
# CPU time returned by wait4() is 1200.05
# while last known CPU time is 3600.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3631.95
CPU time (s): 3600.05
CPU user time (s): 3598.44
CPU system time (s): 1.61
CPU usage (%): 99.1216
Max. virtual memory (cumulated for all children) (KiB): 888964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.87
system time used= 1.17882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95433
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10177
involuntary context switches= 36272

runsolver used 4.37733 second user time and 11.6732 second system time

The end

Launcher Data (download as text)

Begin job on node10 at 2008-07-12 01:58:23
IDJOB=1110356
IDBENCH=61095
IDSOLVER=368
FILE ID=node10/1110356-1215820703
PBS_JOBID= 7903296
Free space on /tmp= 66432 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg6-10_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1110356-1215820703/watcher-1110356-1215820703 -o /tmp/evaluation-result-1110356-1215820703/solver-1110356-1215820703 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1110356-1215820703.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 9adead530525957babaa0ae74a947472
RANDOM SEED=608508363

node10.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.236
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.236
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:       1708912 kB
Buffers:          8240 kB
Cached:         132792 kB
SwapCached:          0 kB
Active:         280996 kB
Inactive:        16752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1708912 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1572 kB
Writeback:           0 kB
Mapped:         167976 kB
Slab:            34272 kB
Committed_AS:   274928 kB
PageTables:       2164 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= 66508 MiB
End job on node10 at 2008-07-12 02:58:57