Trace number 1111795

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+minisat-incMSAT (TO)1 3600.13 3627.33

General information on the benchmark

Namecsp/lexVg/
normalized-crossword-m1c-lex-vg5-7_ext.xml
MD5SUMc56f703fbfb446fbf73a9fe89e10396f
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables35
Number of constraints12
Maximum constraint arity7
Maximum domain size26
Number of constraints which are defined in extension12
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.08	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.00/0.08	c 0	BEGIN Sat Jul 12 11:14:07 2008
0.00/0.08	c 0	PID 17872
0.00/0.08	c 0	HOST node33.alineos.net
0.00/0.08	c 0	CONVERTING HOME/instance-1111795-1215854047.xml TO HOME/temp.csp
0.00/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1111795-1215854047.xml' 'HOME/temp.csp'
0.06/0.50	c 1	1 domains, 35 variables, 0 predicates, 2 relations, 12 constraints
0.06/0.51	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.51	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.59	c 1	Parsing HOME/temp.csp
0.46/0.72	c 1	parsed 50 expressions
0.46/0.72	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.46/0.72	c 1	MAX CSP: 12 constraints
0.46/0.72	c 1	Converting to clausal form CSP
0.46/0.74	c 1	converted 7 (10%) expressions
0.46/0.74	c 1	converted 13 (20%) expressions
0.46/0.74	c 1	converted 20 (30%) expressions
0.46/0.74	c 1	converted 26 (40%) expressions
0.46/0.74	c 1	converted 33 (50%) expressions
0.46/0.76	c 1	converted 39 (60%) expressions
0.46/0.84	c 1	converted 46 (70%) expressions
0.46/0.93	c 1	converted 52 (80%) expressions
0.94/1.08	c 1	converted 59 (90%) expressions
1.14/1.22	c 1	converted 65 (100%) expressions
1.14/1.22	c 1	CSP : 59 integers, 0 booleans, 35 clauses, largest domain size 26
1.14/1.22	c 1	Heap : 13 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.14/1.22	c 1	Propagation in CSP
1.14/1.23	c 1	10 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.14/1.23	c 1	CSP : 59 integers, 0 booleans, 35 clauses, largest domain size 26
1.14/1.23	c 1	Heap : 13 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.14/1.23	c 1	Simplifing CSP by introducing new Boolean variables
1.14/1.23	c 1	CSP : 59 integers, 0 booleans, 35 clauses, largest domain size 26
1.14/1.23	c 1	Heap : 13 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.23/1.32	c 1	Encoding CSP to SAT : HOME/temp.cnf
1.23/1.33	c 1	6 (10%) CSP integer variables are encoded (144 clauses, 1440 bytes)
1.23/1.33	c 1	12 (20%) CSP integer variables are encoded (288 clauses, 3024 bytes)
1.23/1.34	c 1	18 (30%) CSP integer variables are encoded (432 clauses, 4608 bytes)
1.23/1.34	c 1	24 (40%) CSP integer variables are encoded (576 clauses, 6192 bytes)
1.23/1.34	c 1	30 (50%) CSP integer variables are encoded (720 clauses, 7776 bytes)
1.23/1.34	c 1	36 (60%) CSP integer variables are encoded (840 clauses, 9096 bytes)
1.23/1.34	c 1	42 (70%) CSP integer variables are encoded (840 clauses, 9096 bytes)
1.23/1.34	c 1	48 (80%) CSP integer variables are encoded (851 clauses, 9217 bytes)
1.23/1.34	c 1	54 (90%) CSP integer variables are encoded (888 clauses, 9624 bytes)
1.23/1.34	c 1	59 (100%) CSP integer variables are encoded (899 clauses, 9745 bytes)
3.60/3.73	c 4	4 (10%) CSP clauses are encoded (47599 clauses, 1824246 bytes)
5.30/5.48	c 6	7 (20%) CSP clauses are encoded (82624 clauses, 3259239 bytes)
21.51/21.89	c 22	11 (30%) CSP clauses are encoded (213684 clauses, 9689145 bytes)
25.67/26.05	c 26	14 (40%) CSP clauses are encoded (246455 clauses, 11364725 bytes)
25.67/26.05	c 26	18 (50%) CSP clauses are encoded (246573 clauses, 11366324 bytes)
25.67/26.05	c 26	21 (60%) CSP clauses are encoded (246584 clauses, 11366464 bytes)
25.67/26.05	c 26	25 (70%) CSP clauses are encoded (246682 clauses, 11367837 bytes)
25.67/26.05	c 26	28 (80%) CSP clauses are encoded (246695 clauses, 11368002 bytes)
25.67/26.05	c 26	32 (90%) CSP clauses are encoded (246711 clauses, 11368205 bytes)
25.67/26.05	c 26	35 (100%) CSP clauses are encoded (246747 clauses, 11368676 bytes)
25.67/26.05	c 26	35 CSP clauses encoded
25.67/26.05	c 26	Writing map file : HOME/temp.map
25.67/26.06	c 26	Heap : 15 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
25.67/26.06	c 26	SAT : 958 SAT variables, 246747 SAT clauses, 11368676 bytes
25.67/26.06	c 26	Heap : 15 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
25.75/26.10	c 26	OBJECTIVE minimize _COST
25.75/26.10	c 26	SOLVING HOME/temp.cnf
25.75/26.10	c 26	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
25.75/26.10	c 26	This is MiniSat 2.0 beta incremental
25.75/26.10	c 26	WARNING: for repeatability, setting FPU to use double precision
25.75/26.10	c 26	============================[ Problem Statistics ]=============================
25.75/26.10	c 26	|                                                                             |
25.75/26.10	c 26	|  Number of variables:  958                                                  |
25.75/26.10	c 26	|  Number of clauses:    246747                                               |
25.93/26.37	c 26	|  Parsing time:         0.23         s                                       |
25.93/26.39	c 26	OK
25.93/26.39	c 26	OBJECTIVE BOUND: 0 <= _COST <= 
25.93/26.39	c 26	SEARCHING: _COST <= 6
25.93/26.39	c 26	============================[ Search Statistics ]==============================
25.93/26.39	c 26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.93/26.39	c 26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
25.93/26.39	c 26	===============================================================================
25.93/26.39	c 26	|         0 |     958   246747  2459287 |    82249        0    nan |  0.000 % |
26.04/26.41	c 27	|       101 |     958   246747  2459287 |    90473      101      6 |  0.003 % |
26.04/26.44	c 27	|       252 |     958   246747  2459287 |    99521      252      7 |  0.003 % |
26.04/26.49	c 27	|       477 |     958   246747  2459287 |   109473      477      8 |  0.003 % |
26.13/26.56	c 27	|       814 |     958   246747  2459287 |   120420      814      8 |  0.003 % |
26.13/26.60	c 27	|      1320 |     958   246747  2459287 |   132462     1320      9 |  0.003 % |
26.32/26.78	c 27	|      2079 |     958   246747  2459287 |   145709     2079      9 |  0.003 % |
26.42/26.81	c 27	===============================================================================
26.42/26.81	c 27	restarts              : 7
26.42/26.81	c 27	conflicts             : 2131          (3259 /sec)
26.42/26.81	c 27	decisions             : 4213          (1.31 % random) (6443 /sec)
26.42/26.81	c 27	propagations          : 43887          (67116 /sec)
26.42/26.81	c 27	conflict literals     : 20218          (17.93 % deleted)
26.42/26.81	c 27	Memory used           : 20.40 MB
26.42/26.81	c 27	CPU time              : 0.6539 s
26.42/26.81	c 27	
26.42/26.81	c 27	SATISFIABLE
26.42/26.81	c 27	OK
26.42/26.81	c 27	FOUND: _COST <= 6
26.42/26.81	s SATISFIABLE
26.42/26.81	c 27	DECODING HOME/temp.out WITH HOME/temp.map
26.42/26.81	c 27	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
26.42/26.89	c 27	Decoding HOME/temp.out
26.43/26.92	c 27	OBJECTIVE _COST 6
26.43/26.92	o 6
26.43/26.92	v 1 20 25 25 18 0 22 20 25 25 25 19 17 14 25 25 25 25 17 20 21 25 25 25 25 20 1 4 24 20 2 0 19 0 13
26.43/26.92	c 27	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
26.43/26.97	c 27	OK
26.43/26.97	c 27	OBJECTIVE BOUND: 0 <= _COST <= 6
26.43/26.97	c 27	SEARCHING: _COST <= 3
26.43/26.99	c 27	============================[ Search Statistics ]==============================
26.43/26.99	c 27	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.43/26.99	c 27	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
26.43/26.99	c 27	===============================================================================
26.43/26.99	c 27	|      2131 |     958   246747  2459287 |    82249     2131      9 |  0.003 % |
26.58/27.01	c 27	|      2232 |     958   246747  2459287 |    90473     2232      9 |  2.507 % |
26.58/27.07	c 27	|      2383 |     958   246747  2459287 |    99521     2383     10 |  2.507 % |
26.68/27.13	c 27	|      2608 |     958   246747  2459287 |   109473     2608      9 |  2.507 % |
26.88/27.31	c 27	|      2945 |     958   246747  2459287 |   120420     2945     10 |  2.507 % |
26.88/27.39	c 27	|      3453 |     958   246747  2459287 |   132462     3453     10 |  2.507 % |
27.18/27.65	c 28	|      4213 |     958   246747  2459287 |   145709     4213     10 |  2.507 % |
27.27/27.71	c 28	===============================================================================
27.27/27.71	c 28	restarts              : 14
27.27/27.71	c 28	conflicts             : 4365          (3161 /sec)
27.27/27.71	c 28	decisions             : 8390          (1.16 % random) (6076 /sec)
27.27/27.71	c 28	propagations          : 126956         (91944 /sec)
27.27/27.71	c 28	conflict literals     : 45483          (19.86 % deleted)
27.27/27.71	c 28	Memory used           : 21.05 MB
27.27/27.71	c 28	CPU time              : 1.38079 s
27.27/27.71	c 28	
27.27/27.71	c 28	SATISFIABLE
27.27/27.71	c 28	OK
27.27/27.71	c 28	FOUND: _COST <= 3
27.27/27.71	c 28	DECODING HOME/temp.out WITH HOME/temp.map
27.27/27.71	c 28	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
27.27/27.79	c 28	Decoding HOME/temp.out
27.29/27.82	c 28	OBJECTIVE _COST 3
27.29/27.82	o 3
27.29/27.83	v 0 25 19 4 2 0 13 1 0 20 23 8 19 4 24 25 25 4 21 14 21 18 19 24 17 4 13 4 18 19 20 19 19 4 17
27.29/27.83	c 28	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
27.29/27.87	c 28	OK
27.29/27.87	c 28	OBJECTIVE BOUND: 0 <= _COST <= 3
27.29/27.87	c 28	SEARCHING: _COST <= 1
27.29/27.89	c 28	============================[ Search Statistics ]==============================
27.29/27.89	c 28	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.29/27.89	c 28	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
27.29/27.89	c 28	===============================================================================
27.29/27.89	c 28	|      4365 |     934   246747  2459287 |    82249     4365     10 |  2.507 % |
27.29/27.89	c 28	|      4466 |     934   246747  2459287 |    90473     4466     10 |  4.073 % |
27.43/27.92	c 28	|      4617 |     934   246747  2459287 |    99521     4617     10 |  4.073 % |
27.43/27.95	c 28	|      4844 |     934   246747  2459287 |   109473     4844     10 |  4.073 % |
27.43/27.99	c 28	|      5183 |     934   246747  2459287 |   120420     5183     10 |  4.073 % |
27.53/28.04	c 28	|      5689 |     934   246747  2459287 |   132462     5689     10 |  4.073 % |
27.63/28.11	c 28	|      6449 |     934   246747  2459287 |   145709     6449     10 |  4.073 % |
27.63/28.18	c 28	|      7588 |     934   246747  2459287 |   160280     7588     10 |  4.073 % |
28.42/28.97	c 29	|      9296 |     934   246747  2459287 |   176308     9296     11 |  4.073 % |
29.90/30.44	c 31	|     11860 |     934   246747  2459287 |   193938    11860     13 |  4.073 % |
32.68/33.20	c 33	|     15704 |     934   246747  2459287 |   213332    15704     13 |  4.073 % |
38.23/38.80	c 39	|     21472 |     934   246747  2459287 |   234665    21472     16 |  4.073 % |
48.14/48.88	c 49	|     30121 |     934   246747  2459287 |   258132    30121     17 |  4.073 % |
61.43/62.27	c 62	|     43095 |     934   246747  2459287 |   283945    43095     18 |  4.073 % |
83.71/84.73	c 85	|     62556 |     919   246538  2458768 |   312340    62556     19 |  4.073 % |
130.98/132.50	c 133	|     91748 |     919   246538  2458768 |   343574    91748     20 |  4.073 % |
198.77/200.88	c 201	|    135537 |     919   246538  2458768 |   377931   135537     21 |  4.073 % |
256.77/259.30	c 259	===============================================================================
256.77/259.30	c 259	restarts              : 31
256.77/259.30	c 259	conflicts             : 169246        (734 /sec)
256.77/259.30	c 259	decisions             : 225324        (1.21 % random) (977 /sec)
256.77/259.30	c 259	propagations          : 12468221       (54054 /sec)
256.77/259.30	c 259	conflict literals     : 3726559        (23.74 % deleted)
256.77/259.30	c 259	Memory used           : 41.42 MB
256.77/259.30	c 259	CPU time              : 230.664 s
256.77/259.30	c 259	
256.77/259.30	c 259	SATISFIABLE
256.77/259.30	c 259	OK
256.77/259.30	c 259	FOUND: _COST <= 1
256.77/259.30	c 259	DECODING HOME/temp.out WITH HOME/temp.map
256.77/259.30	c 259	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
256.77/259.39	c 259	Decoding HOME/temp.out
256.78/259.41	c 260	OBJECTIVE _COST 1
256.78/259.41	o 1
256.78/259.41	v 6 20 18 19 0 21 4 20 19 22 4 3 14 21 18 19 14 17 0 6 4 19 4 17 17 8 4 17 14 17 3 4 17 11 24
256.78/259.42	c 260	Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
256.92/259.54	c 260	OK
256.92/259.54	c 260	OBJECTIVE BOUND: 0 <= _COST <= 1
256.92/259.54	c 260	SEARCHING: _COST <= 0
256.92/259.54	c 260	============================[ Search Statistics ]==============================
256.92/259.54	c 260	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
256.92/259.54	c 260	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
256.92/259.54	c 260	===============================================================================
256.92/259.54	c 260	|    169246 |     899   246435  2458517 |    82145   169217     22 |  4.073 % |
258.11/260.72	c 261	|    169346 |     899   246435  2458517 |    90359    21515     20 |  6.161 % |
258.30/261.00	c 261	|    169497 |     899   246435  2458517 |    99395    21666     20 |  6.161 % |
258.70/261.31	c 261	|    169722 |     899   246435  2458517 |   109334    21891     20 |  6.161 % |
259.10/261.79	c 262	|    170059 |     899   246435  2458517 |   120268    22228     20 |  6.161 % |
259.89/262.51	c 263	|    170566 |     899   246435  2458517 |   132295    22735     20 |  6.161 % |
260.77/263.43	c 264	|    171326 |     899   246435  2458517 |   145524    23495     20 |  6.161 % |
262.06/264.71	c 265	|    172466 |     899   246435  2458517 |   160077    24635     20 |  6.161 % |
264.14/266.81	c 267	|    174176 |     899   246435  2458517 |   176085    26345     20 |  6.161 % |
267.91/270.64	c 271	|    176738 |     899   246435  2458517 |   193693    28907     20 |  6.161 % |
273.06/275.85	c 276	|    180582 |     899   246435  2458517 |   213062    32751     20 |  6.161 % |
281.79/284.64	c 285	|    186348 |     899   246435  2458517 |   234369    38517     21 |  6.161 % |
295.35/298.36	c 298	|    194997 |     899   246435  2458517 |   257806    47166     21 |  6.161 % |
315.58/318.73	c 319	|    207971 |     899   246435  2458517 |   283586    60140     21 |  6.161 % |
348.97/352.46	c 353	|    227432 |     899   246435  2458517 |   311945    79601     22 |  6.161 % |
399.92/403.81	c 404	|    256624 |     899   246435  2458517 |   343140   108793     22 |  6.161 % |
483.95/488.66	c 489	|    300415 |     899   246435  2458517 |   377454   152584     23 |  6.161 % |
639.07/645.17	c 645	|    366100 |     899   246435  2458517 |   415199   218269     24 |  6.161 % |
922.33/930.98	c 931	|    464628 |     899   246435  2458517 |   456719   316797     25 |  6.161 % |
1427.98/1441.04	c 1441	|    612418 |     899   246435  2458517 |   502391    33219     22 |  6.161 % |
1921.46/1938.93	c 1939	|    834102 |     899   246435  2458517 |   552630   254903     26 |  6.161 % |
3157.18/3184.26	c 3184	|   1166629 |     899   246435  2458517 |   607893    62568     24 |  6.161 % |
3600.06/3627.31	c ERROR INTERRUPTED
3600.06/3627.32	c 3627	CPU 3599.28 (0.07 0.02 3599.21 0.8)
3600.06/3627.32	c 3627	END Sat Jul 12 12:14:34 2008

Verifier Data (download as text)

OK	1	11
1 unsatisfied constraints, 11 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-1111795-1215854047/watcher-1111795-1215854047 -o /tmp/evaluation-result-1111795-1215854047/solver-1111795-1215854047 -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-1111795-1215854047.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.22 2.42 4/80 17872
/proc/meminfo: memFree=1816240/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=12268 CPUtime=0
/proc/17872/stat : 17872 (sugar++) R 17870 17872 15751 0 -1 4194304 348 0 0 0 0 0 0 0 22 0 1 0 42106246 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 210823975002 0 0 4224 0 0 0 0 17 1 0 0
/proc/17872/statm: 3067 316 241 3 0 167 0

[startup+0.0850939 s]
/proc/loadavg: 2.12 2.22 2.42 4/80 17872
/proc/meminfo: memFree=1816240/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.06
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.101302 s]
/proc/loadavg: 2.12 2.22 2.42 4/80 17872
/proc/meminfo: memFree=1816240/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.06
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.301338 s]
/proc/loadavg: 2.12 2.22 2.42 4/80 17872
/proc/meminfo: memFree=1816240/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.06
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1219 128 0 0 5 1 0 0 19 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.701422 s]
/proc/loadavg: 2.12 2.22 2.42 4/80 17872
/proc/meminfo: memFree=1816240/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.46
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1296 4649 0 1 5 1 38 2 16 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 16740

[startup+1.50258 s]
/proc/loadavg: 2.12 2.22 2.42 4/91 17894
/proc/meminfo: memFree=1799128/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.47
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1297 4649 0 1 6 1 38 2 15 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
[pid=17885] ppid=17872 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (sh) S 17872 17872 15751 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42106297 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 233 193 169 0 50 0
[pid=17886] ppid=17885 vsize=864280 CPUtime=0.96
/proc/17886/stat : 17886 (java) S 17885 17872 15751 0 -1 0 8392 0 1 0 93 3 0 0 18 0 9 0 42106297 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17886/statm: 216070 7634 2564 9 0 210617 0
[pid=17886/tid=17887] ppid=17885 vsize=864280 CPUtime=0.47
/proc/17886/task/17887/stat : 17887 (java) R 17885 17872 15751 0 -1 64 2834 0 1 0 46 1 0 0 18 0 9 0 42106298 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17888] ppid=17885 vsize=864280 CPUtime=0.38
/proc/17886/task/17888/stat : 17888 (java) R 17885 17872 15751 0 -1 64 4519 0 0 0 37 1 0 0 16 0 9 0 42106299 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 102516781 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17889] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17889/stat : 17889 (java) S 17885 17872 15751 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42106299 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17890] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17890/stat : 17890 (java) S 17885 17872 15751 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42106299 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17891] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17891/stat : 17891 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42106301 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17892] ppid=17885 vsize=864280 CPUtime=0.09
/proc/17886/task/17892/stat : 17892 (java) S 17885 17872 15751 0 -1 64 347 0 0 0 9 0 0 0 16 0 9 0 42106301 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17893] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17893/stat : 17893 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42106301 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17894] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17894/stat : 17894 (java) R 17885 17872 15751 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42106301 885022720 7634 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 886376

[startup+3.1019 s]
/proc/loadavg: 2.12 2.22 2.42 3/91 17894
/proc/meminfo: memFree=1791704/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.47
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1297 4649 0 1 6 1 38 2 15 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
[pid=17885] ppid=17872 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (sh) S 17872 17872 15751 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42106297 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 233 193 169 0 50 0
[pid=17886] ppid=17885 vsize=864280 CPUtime=2.54
/proc/17886/stat : 17886 (java) S 17885 17872 15751 0 -1 0 8921 0 1 0 250 4 0 0 18 0 9 0 42106297 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17886/statm: 216070 8098 2564 9 0 210617 0
[pid=17886/tid=17887] ppid=17885 vsize=864280 CPUtime=1.98
/proc/17886/task/17887/stat : 17887 (java) R 17885 17872 15751 0 -1 64 2899 0 1 0 197 1 0 0 25 0 9 0 42106298 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4126552368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17888] ppid=17885 vsize=864280 CPUtime=0.43
/proc/17886/task/17888/stat : 17888 (java) S 17885 17872 15751 0 -1 64 4977 0 0 0 42 1 0 0 16 0 9 0 42106299 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17889] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17889/stat : 17889 (java) S 17885 17872 15751 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42106299 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17890] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17890/stat : 17890 (java) S 17885 17872 15751 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42106299 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17891] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17891/stat : 17891 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42106301 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17892] ppid=17885 vsize=864280 CPUtime=0.1
/proc/17886/task/17892/stat : 17892 (java) S 17885 17872 15751 0 -1 64 353 0 0 0 10 0 0 0 16 0 9 0 42106301 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17893] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17893/stat : 17893 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42106301 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17894] ppid=17885 vsize=864280 CPUtime=0
/proc/17886/task/17894/stat : 17894 (java) S 17885 17872 15751 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42106301 885022720 8098 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 886376

[startup+6.30254 s]
/proc/loadavg: 2.11 2.22 2.42 3/91 17894
/proc/meminfo: memFree=1782488/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.47
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1297 4649 0 1 6 1 38 2 16 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
[pid=17885] ppid=17872 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (sh) S 17872 17872 15751 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42106297 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 233 193 169 0 50 0
[pid=17886] ppid=17885 vsize=864380 CPUtime=5.71
/proc/17886/stat : 17886 (java) S 17885 17872 15751 0 -1 0 11718 0 1 0 563 8 0 0 18 0 9 0 42106297 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17886/statm: 216095 9525 2564 9 0 210642 0
[pid=17886/tid=17887] ppid=17885 vsize=864380 CPUtime=4.93
/proc/17886/task/17887/stat : 17887 (java) R 17885 17872 15751 0 -1 64 3038 0 1 0 490 3 0 0 25 0 9 0 42106298 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4126578583 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17888] ppid=17885 vsize=864380 CPUtime=0.65
/proc/17886/task/17888/stat : 17888 (java) S 17885 17872 15751 0 -1 64 7634 0 0 0 62 3 0 0 16 0 9 0 42106299 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17889] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17889/stat : 17889 (java) S 17885 17872 15751 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42106299 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17890] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17890/stat : 17890 (java) S 17885 17872 15751 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42106299 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17891] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17891/stat : 17891 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17892] ppid=17885 vsize=864380 CPUtime=0.1
/proc/17886/task/17892/stat : 17892 (java) S 17885 17872 15751 0 -1 64 354 0 0 0 10 0 0 0 16 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17893] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17893/stat : 17893 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17894] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17894/stat : 17894 (java) S 17885 17872 15751 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 886476

[startup+12.702 s]
/proc/loadavg: 2.10 2.22 2.42 3/91 17894
/proc/meminfo: memFree=1779736/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.47
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1297 4649 0 1 6 1 38 2 16 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
[pid=17885] ppid=17872 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (sh) S 17872 17872 15751 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42106297 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 233 193 169 0 50 0
[pid=17886] ppid=17885 vsize=864380 CPUtime=12.05
/proc/17886/stat : 17886 (java) S 17885 17872 15751 0 -1 0 11875 0 1 0 1195 10 0 0 18 0 9 0 42106297 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17886/statm: 216095 9525 2564 9 0 210642 0
[pid=17886/tid=17887] ppid=17885 vsize=864380 CPUtime=11.13
/proc/17886/task/17887/stat : 17887 (java) R 17885 17872 15751 0 -1 64 3195 0 1 0 1108 5 0 0 25 0 9 0 42106298 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17888] ppid=17885 vsize=864380 CPUtime=0.79
/proc/17886/task/17888/stat : 17888 (java) S 17885 17872 15751 0 -1 64 7634 0 0 0 75 4 0 0 15 0 9 0 42106299 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17889] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17889/stat : 17889 (java) S 17885 17872 15751 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42106299 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17890] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17890/stat : 17890 (java) S 17885 17872 15751 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42106299 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17891] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17891/stat : 17891 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17892] ppid=17885 vsize=864380 CPUtime=0.1
/proc/17886/task/17892/stat : 17892 (java) S 17885 17872 15751 0 -1 64 354 0 0 0 10 0 0 0 16 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17893] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17893/stat : 17893 (java) S 17885 17872 15751 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17894] ppid=17885 vsize=864380 CPUtime=0
/proc/17886/task/17894/stat : 17894 (java) S 17885 17872 15751 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 42106301 885125120 9525 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 886476

[startup+25.5024 s]
/proc/loadavg: 2.08 2.20 2.41 3/91 17894
/proc/meminfo: memFree=1770008/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=0.47
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1297 4649 0 1 6 1 38 2 16 0 1 0 42106246 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1104 409 3 0 764 0
[pid=17885] ppid=17872 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (sh) S 17872 17872 15751 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42106297 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 233 193 169 0 50 0
[pid=17886] ppid=17885 vsize=864364 CPUtime=24.7
/proc/17886/stat : 17886 (java) S 17885 17872 15751 0 -1 0 15839 0 1 0 2452 18 0 0 18 0 9 0 42106297 885108736 10673 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17886/statm: 216091 10673 2564 9 0 210638 0
[pid=17886/tid=17887] ppid=17885 vsize=864364 CPUtime=23.3
/proc/17886/task/17887/stat : 17887 (java) R 17885 17872 15751 0 -1 64 3482 0 1 0 2321 9 0 0 25 0 9 0 42106298 885108736 10673 996147200 134512640 134550740 4294955920 18446744073709551615 4126578555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17888] ppid=17885 vsize=864364 CPUtime=1.27
/proc/17886/task/17888/stat : 17888 (java) S 17885 17872 15751 0 -1 64 11307 0 0 0 119 8 0 0 16 0 9 0 42106299 885108736 10673 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17889] ppid=17885 vsize=864364 CPUtime=0
/proc/17886/task/17889/stat : 17889 (java) S 17885 17872 15751 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42106299 885108736 10673 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17886/tid=17890] ppid=17885 vsize=864364 CPUtime=0
/proc/17886/task/17890/stat : 17890 (java) S 17885 17872 15751 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42106299 885108736 10673 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

[pid=17895] ppid=17872 vsize=99304 CPUtime=2870.09
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 24230 0 0 0 286967 42 0 0 25 0 1 0 42108856 101687296 24172 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17895/statm: 24826 24172 79 151 0 24672 0
Current children cumulated CPU time (s) 2896.21
Current children cumulated vsize (KiB) 116044

[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 17933
/proc/meminfo: memFree=1701728/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=100948 CPUtime=2929.57
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 24657 0 0 0 292914 43 0 0 25 0 1 0 42108856 103370752 24599 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/17895/statm: 25237 24599 79 151 0 25083 0
Current children cumulated CPU time (s) 2955.69
Current children cumulated vsize (KiB) 117688

[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1709400/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=103124 CPUtime=2989.22
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25191 0 0 0 298877 45 0 0 25 0 1 0 42108856 105598976 25133 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 25781 25133 79 151 0 25627 0
Current children cumulated CPU time (s) 3015.34
Current children cumulated vsize (KiB) 119864

[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1707544/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105060 CPUtime=3049.19
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25651 0 0 0 304874 45 0 0 25 0 1 0 42108856 107581440 25593 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26265 25593 79 151 0 26111 0
Current children cumulated CPU time (s) 3075.31
Current children cumulated vsize (KiB) 121800

[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1707032/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105456 CPUtime=3109.17
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25764 0 0 0 310871 46 0 0 25 0 1 0 42108856 107986944 25706 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26364 25706 79 151 0 26210 0
Current children cumulated CPU time (s) 3135.29
Current children cumulated vsize (KiB) 122196

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706968/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105456 CPUtime=3169.14
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25764 0 0 0 316868 46 0 0 25 0 1 0 42108856 107986944 25706 996147200 134512640 135134323 4294956192 18446744073709551615 134532120 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26364 25706 79 151 0 26210 0
Current children cumulated CPU time (s) 3195.26
Current children cumulated vsize (KiB) 122196

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706904/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105456 CPUtime=3229.11
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25764 0 0 0 322865 46 0 0 25 0 1 0 42108856 107986944 25706 996147200 134512640 135134323 4294956192 18446744073709551615 134531965 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26364 25706 79 151 0 26210 0
Current children cumulated CPU time (s) 3255.23
Current children cumulated vsize (KiB) 122196

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706904/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105456 CPUtime=3289.08
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25779 0 0 0 328862 46 0 0 25 0 1 0 42108856 107986944 25721 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26364 25721 79 151 0 26210 0
Current children cumulated CPU time (s) 3315.2
Current children cumulated vsize (KiB) 122196

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706904/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105616 CPUtime=3349.05
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25792 0 0 0 334859 46 0 0 25 0 1 0 42108856 108150784 25734 996147200 134512640 135134323 4294956192 18446744073709551615 134531911 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26404 25734 79 151 0 26250 0
Current children cumulated CPU time (s) 3375.17
Current children cumulated vsize (KiB) 122356

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706648/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105616 CPUtime=3409.01
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25816 0 0 0 340855 46 0 0 25 0 1 0 42108856 108150784 25758 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26404 25758 79 151 0 26250 0
Current children cumulated CPU time (s) 3435.13
Current children cumulated vsize (KiB) 122356

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706520/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105808 CPUtime=3468.98
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25852 0 0 0 346852 46 0 0 25 0 1 0 42108856 108347392 25794 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26452 25794 79 151 0 26298 0
Current children cumulated CPU time (s) 3495.1
Current children cumulated vsize (KiB) 122548

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706456/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=105808 CPUtime=3528.96
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25862 0 0 0 352849 47 0 0 25 0 1 0 42108856 108347392 25804 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26452 25804 79 151 0 26298 0
Current children cumulated CPU time (s) 3555.08
Current children cumulated vsize (KiB) 122548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3627.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706456/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=106020 CPUtime=3573.94
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25881 0 0 0 357347 47 0 0 25 0 1 0 42108856 108564480 25823 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26505 25823 79 151 0 26351 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 122760

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

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

[startup+3627.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 17969
/proc/meminfo: memFree=1706456/2055920 swapFree=4192812/4192956
[pid=17872] ppid=17870 vsize=16740 CPUtime=26.12
/proc/17872/stat : 17872 (sugar++) S 17870 17872 15751 0 -1 4194304 1684 31906 0 5 7 2 2573 30 16 0 1 0 42106246 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 210833027170 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17872/statm: 4185 1114 414 3 0 764 0
[pid=17895] ppid=17872 vsize=106020 CPUtime=3573.94
/proc/17895/stat : 17895 (minisat-inc) R 17872 17872 15751 0 -1 4194304 25881 0 0 0 357347 47 0 0 25 0 1 0 42108856 108564480 25823 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/17895/statm: 26505 25823 79 151 0 26351 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 122760

Child status: 0
Real time (s): 3627.33
CPU time (s): 3600.13
CPU user time (s): 3599.29
CPU system time (s): 0.831873
CPU usage (%): 99.25
Max. virtual memory (cumulated for all children) (KiB): 889028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.29
system time used= 0.831873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59549
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7045
involuntary context switches= 133909

runsolver used 4.39233 second user time and 9.52355 second system time

The end

Launcher Data (download as text)

Begin job on node33 at 2008-07-12 11:14:07
IDJOB=1111795
IDBENCH=61324
IDSOLVER=367
FILE ID=node33/1111795-1215854047
PBS_JOBID= 7903360
Free space on /tmp= 66472 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg5-7_ext.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-1111795-1215854047/watcher-1111795-1215854047 -o /tmp/evaluation-result-1111795-1215854047/solver-1111795-1215854047 -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-1111795-1215854047.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= c56f703fbfb446fbf73a9fe89e10396f
RANDOM SEED=1280422063

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:       1816720 kB
Buffers:         44720 kB
Cached:          90940 kB
SwapCached:          0 kB
Active:         109404 kB
Inactive:        70344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             944 kB
Writeback:           0 kB
Mapped:          64360 kB
Slab:            44576 kB
Committed_AS:   972648 kB
PageTables:       1892 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= 66464 MiB
End job on node33 at 2008-07-12 12:14:36