Trace number 1127652

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 NameAnswerCPU timeWall clock time
Sugar v1.13+minisatMSAT (TO) 3600.01 3616

General information on the benchmark

Namemaxcsp/cnf/3-40-2100-3000/
normalized-cnf-3-40-2400-421722_ext.xml
MD5SUMbbe34f29fd67f84517d58d41a3beaed4
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints194
Best CPU time to get the best result obtained on this benchmark236.737
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints2123
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension2123
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.02/0.11	c 0	Sugar v1-13 + HOME/minisat
0.02/0.11	c 0	BEGIN Wed Jul 23 02:46:56 2008
0.02/0.11	c 0	PID 8053
0.02/0.11	c 0	HOST node48.alineos.net
0.02/0.11	c 0	CONVERTING HOME/instance-1127652-1216774016.xml TO HOME/temp.csp
0.02/0.11	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127652-1216774016.xml' 'HOME/temp.csp'
0.03/0.74	c 1	1 domains, 40 variables, 0 predicates, 51 relations, 2123 constraints
0.03/0.77	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.77	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.48/0.85	c 1	Parsing HOME/temp.csp
0.68/1.06	c 1	parsed 2215 expressions
0.68/1.06	c 1	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.68/1.09	c 1	MAX CSP: 2123 constraints
0.68/1.09	c 1	Converting to clausal form CSP
0.79/1.15	c 1	converted 435 (10%) expressions
0.79/1.19	c 1	converted 869 (20%) expressions
0.88/1.27	c 1	converted 1303 (30%) expressions
0.88/1.29	c 1	converted 1737 (40%) expressions
0.88/1.30	c 1	converted 2171 (50%) expressions
0.98/1.31	c 1	converted 2605 (60%) expressions
0.98/1.33	c 1	converted 3039 (70%) expressions
0.98/1.35	c 1	converted 3473 (80%) expressions
0.98/1.35	c 2	converted 3907 (90%) expressions
1.17/1.60	c 2	converted 4341 (100%) expressions
1.17/1.60	c 2	CSP : 4286 integers, 0 booleans, 6368 clauses, largest domain size 3185
1.17/1.60	c 2	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.17/1.60	c 2	Propagation in CSP
1.27/1.68	c 2	2118 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.27/1.69	c 2	CSP : 4286 integers, 0 booleans, 6368 clauses, largest domain size 2124
1.27/1.69	c 2	Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.27/1.69	c 2	Simplifing CSP by introducing new Boolean variables
1.27/1.70	c 2	CSP : 4286 integers, 0 booleans, 6368 clauses, largest domain size 2124
1.27/1.70	c 2	Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.37/1.75	c 2	Encoding CSP to SAT : HOME/temp.cnf
1.37/1.76	c 2	429 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.37/1.76	c 2	858 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.37/1.77	c 2	1286 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.37/1.77	c 2	1715 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.37/1.77	c 2	2143 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.37/1.78	c 2	2572 (60%) CSP integer variables are encoded (4840 clauses, 62984 bytes)
1.37/1.79	c 2	3001 (70%) CSP integer variables are encoded (8455 clauses, 112542 bytes)
1.37/1.80	c 2	3429 (80%) CSP integer variables are encoded (12918 clauses, 179487 bytes)
1.47/1.80	c 2	3858 (90%) CSP integer variables are encoded (16530 clauses, 233667 bytes)
1.47/1.83	c 2	4286 (100%) CSP integer variables are encoded (42616 clauses, 624957 bytes)
1.56/1.90	c 2	637 (10%) CSP clauses are encoded (43291 clauses, 635728 bytes)
1.56/1.92	c 2	1274 (20%) CSP clauses are encoded (43966 clauses, 647189 bytes)
1.56/1.95	c 2	1911 (30%) CSP clauses are encoded (44645 clauses, 659637 bytes)
1.67/2.02	c 2	2548 (40%) CSP clauses are encoded (69758 clauses, 1108377 bytes)
2.16/2.51	c 3	3184 (50%) CSP clauses are encoded (335939 clauses, 5994498 bytes)
2.26/2.67	c 3	3821 (60%) CSP clauses are encoded (412644 clauses, 7533114 bytes)
3.83/4.22	c 4	4458 (70%) CSP clauses are encoded (1199807 clauses, 23837213 bytes)
3.94/4.39	c 5	5095 (80%) CSP clauses are encoded (1287826 clauses, 25694005 bytes)
5.73/6.11	c 6	5732 (90%) CSP clauses are encoded (1814371 clauses, 36764602 bytes)
13.15/13.68	c 14	6368 (100%) CSP clauses are encoded (5762954 clauses, 121499706 bytes)
13.15/13.69	c 14	6368 CSP clauses encoded
13.15/13.69	c 14	Writing map file : HOME/temp.map
13.24/13.73	c 14	Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
13.24/13.73	c 14	SAT : 46902 SAT variables, 5762954 SAT clauses, 121499706 bytes
13.24/13.73	c 14	Heap : 4 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
13.24/13.80	c 14	OBJECTIVE minimize _COST
13.24/13.80	c 14	OBJECTIVE BOUND: 0 <= _COST <= 
13.31/13.80	c 14	SEARCHING: _COST <= 1062
13.31/13.80	c 14	SOLVING HOME/temp.cnf
13.31/13.80	c 14	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
13.31/13.80	c 14	This is MiniSat 2.0 beta
13.31/13.80	c 14	WARNING: for repeatability, setting FPU to use double precision
13.31/13.80	c 14	============================[ Problem Statistics ]=============================
13.31/13.80	c 14	|                                                                             |
13.31/13.80	c 14	|  Number of variables:  46902                                                |
13.31/13.80	c 14	|  Number of clauses:    5762955                                              |
16.08/16.67	c 17	|  Parsing time:         2.50         s                                       |
22.46/23.07	c 23	============================[ Search Statistics ]==============================
22.46/23.07	c 23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.46/23.07	c 23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
22.46/23.07	c 23	===============================================================================
22.46/23.07	c 23	|         0 |   34170  3662755 10897576 |  1220918        0    nan |  0.000 % |
24.14/24.77	c 25	===============================================================================
24.14/24.77	c 25	restarts              : 1
24.14/24.77	c 25	conflicts             : 86             (8 /sec)
24.14/24.77	c 25	decisions             : 867            (1.61 % random) (82 /sec)
24.14/24.77	c 25	propagations          : 583109         (55201 /sec)
24.14/24.77	c 25	conflict literals     : 2040           (25.22 % deleted)
24.14/24.77	c 25	Memory used           : 230.88 MB
24.14/24.77	c 25	CPU time              : 10.5634 s
24.14/24.77	c 25	
24.14/24.79	c 25	SATISFIABLE
24.25/24.83	c 25	FOUND: _COST <= 1062
24.25/24.83	s SATISFIABLE
24.25/24.83	c 25	DECODING HOME/temp.out WITH HOME/temp.map
24.25/24.83	c 25	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
24.30/24.91	c 25	Decoding HOME/temp.out
24.66/25.22	c 25	OBJECTIVE _COST 997
24.66/25.22	o 997
24.66/25.23	v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
24.66/25.23	c 25	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
24.66/25.25	c 25	OBJECTIVE BOUND: 0 <= _COST <= 997
24.66/25.25	c 25	SEARCHING: _COST <= 498
24.66/25.25	c 25	SOLVING HOME/temp.cnf
24.66/25.25	c 25	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
24.66/25.25	c 25	This is MiniSat 2.0 beta
24.66/25.25	c 25	WARNING: for repeatability, setting FPU to use double precision
24.66/25.25	c 25	============================[ Problem Statistics ]=============================
24.66/25.25	c 25	|                                                                             |
24.66/25.26	c 25	|  Number of variables:  46902                                                |
24.66/25.26	c 25	|  Number of clauses:    5762955                                              |
27.62/28.24	c 28	|  Parsing time:         2.63         s                                       |
36.57/37.20	c 37	============================[ Search Statistics ]==============================
36.57/37.20	c 37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.57/37.20	c 37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.57/37.20	c 37	===============================================================================
36.57/37.20	c 37	|         0 |   26739  2235061  6636223 |   745020        0    nan |  0.000 % |
37.87/38.56	c 39	|       100 |   26739  2235061  6636223 |   819522      100     40 | 42.990 % |
38.06/38.71	c 39	===============================================================================
38.06/38.71	c 39	restarts              : 2
38.06/38.71	c 39	conflicts             : 117            (9 /sec)
38.06/38.71	c 39	decisions             : 1368           (1.24 % random) (105 /sec)
38.06/38.71	c 39	propagations          : 556733         (42711 /sec)
38.06/38.71	c 39	conflict literals     : 4671           (23.69 % deleted)
38.06/38.71	c 39	Memory used           : 235.16 MB
38.06/38.71	c 39	CPU time              : 13.035 s
38.06/38.71	c 39	
38.06/38.73	c 39	SATISFIABLE
38.06/38.76	c 39	FOUND: _COST <= 498
38.06/38.76	c 39	DECODING HOME/temp.out WITH HOME/temp.map
38.06/38.76	c 39	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
38.14/38.85	c 39	Decoding HOME/temp.out
38.14/39.06	c 39	OBJECTIVE _COST 498
38.14/39.06	o 498
38.14/39.06	v 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
38.14/39.06	c 39	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
38.14/39.09	c 39	OBJECTIVE BOUND: 0 <= _COST <= 498
38.14/39.09	c 39	SEARCHING: _COST <= 249
38.14/39.09	c 39	SOLVING HOME/temp.cnf
38.14/39.09	c 39	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
38.14/39.09	c 39	This is MiniSat 2.0 beta
38.14/39.09	c 39	WARNING: for repeatability, setting FPU to use double precision
38.14/39.09	c 39	============================[ Problem Statistics ]=============================
38.14/39.09	c 39	|                                                                             |
38.14/39.09	c 39	|  Number of variables:  46902                                                |
38.14/39.09	c 39	|  Number of clauses:    5762955                                              |
41.31/42.06	c 42	|  Parsing time:         2.60         s                                       |
50.88/51.64	c 52	============================[ Search Statistics ]==============================
50.88/51.64	c 52	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.88/51.64	c 52	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
50.88/51.64	c 52	===============================================================================
50.88/51.64	c 52	|         0 |   22640  1254085  3705343 |   418028        0    nan |  0.000 % |
52.07/52.84	c 53	|       101 |   22640  1254085  3705343 |   459831      101     38 | 51.729 % |
52.96/53.74	c 54	|       252 |   22640  1254085  3705343 |   505814      252     40 | 51.729 % |
54.55/55.30	c 55	|       477 |   22640  1254085  3705343 |   556395      477     44 | 51.729 % |
56.74/57.57	c 58	|       815 |   22640  1254085  3705343 |   612035      815     45 | 51.729 % |
59.03/59.86	c 60	|      1321 |   22640  1254085  3705343 |   673238     1321     37 | 51.729 % |
63.31/64.14	c 64	|      2082 |   22640  1254085  3705343 |   740562     2082     40 | 51.729 % |
71.17/72.07	c 72	|      3221 |   22640  1254085  3705343 |   814618     3221     41 | 51.729 % |
83.11/84.05	c 84	|      4929 |   22640  1254085  3705343 |   896080     4929     42 | 51.729 % |
99.93/100.97	c 101	|      7492 |   22640  1254085  3705343 |   985688     7492     43 | 51.729 % |
127.09/128.28	c 128	|     11337 |   22640  1254085  3705343 |  1084257    11337     44 | 51.729 % |
169.28/170.64	c 171	|     17105 |   22640  1254085  3705343 |  1192683    17105     44 | 51.729 % |
233.78/235.45	c 236	|     25754 |   22640  1254085  3705343 |  1311951    25754     45 | 51.729 % |
342.98/345.15	c 345	|     38729 |   22640  1254085  3705343 |  1443147    38729     45 | 51.729 % |
507.08/510.09	c 510	|     58192 |   22640  1254085  3705343 |  1587461    58192     44 | 51.729 % |
764.00/768.03	c 768	|     87384 |   22640  1254085  3705343 |  1746208    87384     44 | 51.729 % |
1181.07/1186.90	c 1187	|    131174 |   22640  1254085  3705343 |  1920828   131174     44 | 51.729 % |
1867.81/1876.49	c 1877	|    196858 |   22640  1254085  3705343 |  2112911   196858     44 | 51.729 % |
2785.35/2797.86	c 2798	===============================================================================
2785.35/2797.86	c 2798	restarts              : 18
2785.35/2797.86	c 2798	conflicts             : 276243         (101 /sec)
2785.35/2797.86	c 2798	decisions             : 308057         (1.03 % random) (112 /sec)
2785.35/2797.86	c 2798	propagations          : 843768708      (307212 /sec)
2785.35/2797.86	c 2798	conflict literals     : 12132555       (51.09 % deleted)
2785.35/2797.86	c 2798	Memory used           : 241.02 MB
2785.35/2797.86	c 2798	CPU time              : 2746.53 s
2785.35/2797.86	c 2798	
2785.35/2797.88	c 2798	SATISFIABLE
2785.46/2797.92	c 2798	FOUND: _COST <= 249
2785.46/2797.92	c 2798	DECODING HOME/temp.out WITH HOME/temp.map
2785.46/2797.92	c 2798	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
2785.49/2798.01	c 2798	Decoding HOME/temp.out
2785.49/2798.22	c 2798	OBJECTIVE _COST 249
2785.49/2798.22	o 249
2785.49/2798.23	v 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1
2785.49/2798.23	c 2798	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2785.49/2798.24	c 2798	OBJECTIVE BOUND: 0 <= _COST <= 249
2785.49/2798.24	c 2798	SEARCHING: _COST <= 124
2785.49/2798.24	c 2798	SOLVING HOME/temp.cnf
2785.49/2798.24	c 2798	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
2785.49/2798.24	c 2798	This is MiniSat 2.0 beta
2785.49/2798.24	c 2798	WARNING: for repeatability, setting FPU to use double precision
2785.49/2798.24	c 2798	============================[ Problem Statistics ]=============================
2785.49/2798.24	c 2798	|                                                                             |
2785.49/2798.24	c 2798	|  Number of variables:  46902                                                |
2785.49/2798.24	c 2798	|  Number of clauses:    5762955                                              |
2788.83/2801.34	c 2801	|  Parsing time:         2.64         s                                       |
2798.37/2810.99	c 2811	============================[ Search Statistics ]==============================
2798.37/2810.99	c 2811	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2798.37/2810.99	c 2811	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2798.37/2810.99	c 2811	===============================================================================
2798.37/2810.99	c 2811	|         0 |   19634   673542  1972607 |   224514        0    nan |  0.000 % |
2799.17/2811.78	c 2812	|       100 |   19634   673542  1972607 |   246965      100     26 | 58.138 % |
2799.97/2812.50	c 2813	|       251 |   19634   673542  1972607 |   271661      251     28 | 58.138 % |
2800.96/2813.52	c 2814	|       477 |   19634   673542  1972607 |   298828      477     29 | 58.138 % |
2802.45/2815.01	c 2815	|       814 |   19634   673542  1972607 |   328710      814     28 | 58.138 % |
2804.75/2817.37	c 2818	|      1320 |   19634   673542  1972607 |   361582     1320     29 | 58.138 % |
2808.23/2820.81	c 2821	|      2080 |   19634   673542  1972607 |   397740     2080     28 | 58.138 % |
2813.51/2826.12	c 2826	|      3219 |   19634   673542  1972607 |   437514     3219     28 | 58.138 % |
2821.68/2834.32	c 2834	|      4928 |   19634   673542  1972607 |   481265     4928     29 | 58.138 % |
2835.22/2847.99	c 2848	|      7491 |   19634   673542  1972607 |   529392     7491     30 | 58.138 % |
2854.83/2867.69	c 2868	|     11335 |   19634   673542  1972607 |   582331    11335     30 | 58.138 % |
2885.90/2898.82	c 2899	|     17102 |   19634   673542  1972607 |   640564    17102     30 | 58.138 % |
2932.22/2945.32	c 2945	|     25751 |   19634   673542  1972607 |   704621    25751     30 | 58.138 % |
3006.01/3019.42	c 3020	|     38725 |   19634   673542  1972607 |   775083    38725     29 | 58.138 % |
3116.13/3130.07	c 3130	|     58187 |   19634   673542  1972607 |   852591    58187     29 | 58.138 % |
3294.20/3308.85	c 3309	|     87381 |   19634   673542  1972607 |   937850    87381     29 | 58.138 % |
3580.00/3595.87	c 3596	|    131170 |   19634   673542  1972607 |  1031635   131170     29 | 58.138 % |
3600.01/3615.91	c ERROR INTERRUPTED
3600.01/3615.95	c 3616	CPU 2783.31 (0.04 0.02 2783.27 2.46)
3600.01/3615.95	c 3616	END Wed Jul 23 03:47:12 2008

Verifier Data (download as text)

OK	249	1874
249 unsatisfied constraints, 1874 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-1127652-1216774016/watcher-1127652-1216774016 -o /tmp/evaluation-result-1127652-1216774016/solver-1127652-1216774016 -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-1127652-1216774016.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.00 1.00 1.00 4/68 8053
/proc/meminfo: memFree=1331256/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=6268 CPUtime=0
/proc/8053/stat : 8053 (sugar) R 8051 8053 8003 0 -1 4194304 62 0 0 0 0 0 0 0 18 0 1 0 4490282 6418432 47 996147200 4194304 4206940 548682068592 18446744073709551615 255536985481 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/8053/statm: 1567 47 36 3 0 8 0

[startup+0.054055 s]
/proc/loadavg: 1.00 1.00 1.00 4/68 8053
/proc/meminfo: memFree=1331256/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=12268 CPUtime=0
/proc/8053/stat : 8053 (sugar) D 8051 8053 8003 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 4490282 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 255539772005 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/8053/statm: 3067 316 241 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.105714 s]
/proc/loadavg: 1.00 1.00 1.00 4/68 8053
/proc/meminfo: memFree=1331256/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13204 CPUtime=0.02
/proc/8053/stat : 8053 (sugar) D 8051 8053 8003 0 -1 4194304 687 0 0 0 1 1 0 0 18 0 1 0 4490282 13520896 655 996147200 4194304 4206940 548682068592 18446744073709551615 255539772005 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/8053/statm: 3301 655 336 3 0 401 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13204

[startup+0.303262 s]
/proc/loadavg: 1.00 1.00 1.00 4/68 8053
/proc/meminfo: memFree=1331256/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13600 CPUtime=0.03
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 898 127 0 0 2 1 0 0 18 0 1 0 4490282 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+0.701888 s]
/proc/loadavg: 1.00 1.00 1.00 4/68 8053
/proc/meminfo: memFree=1331256/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13600 CPUtime=0.03
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 898 127 0 0 2 1 0 0 18 0 1 0 4490282 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600

[startup+1.50303 s]
/proc/loadavg: 1.08 1.02 1.01 3/84 8086
/proc/meminfo: memFree=1284904/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13600 CPUtime=0.49
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 974 4838 0 72 3 1 34 11 15 0 1 0 4490282 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8053/statm: 3400 797 370 3 0 500 0
[pid=8077] ppid=8053 vsize=5356 CPUtime=0
/proc/8077/stat : 8077 (sh) S 8053 8053 8003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4490360 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8077/statm: 1339 233 193 169 0 50 0
[pid=8078] ppid=8077 vsize=868400 CPUtime=0.68
/proc/8078/stat : 8078 (java) S 8077 8053 8003 0 -1 0 7074 0 10 0 64 4 0 0 18 0 9 0 4490360 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8078/statm: 217100 6330 2537 9 0 211675 0
[pid=8078/tid=8079] ppid=8077 vsize=868400 CPUtime=0.38
/proc/8078/task/8079/stat : 8079 (java) S 8077 8053 8003 0 -1 64 2648 0 5 0 37 1 0 0 25 0 9 0 4490361 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8080] ppid=8077 vsize=868400 CPUtime=0.07
/proc/8078/task/8080/stat : 8080 (java) R 8077 8053 8003 0 -1 64 2266 0 5 0 7 0 0 0 16 0 9 0 4490362 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 102731867 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8081] ppid=8077 vsize=868400 CPUtime=0
/proc/8078/task/8081/stat : 8081 (java) S 8077 8053 8003 0 -1 64 10 0 0 0 0 0 0 0 22 0 9 0 4490362 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8082] ppid=8077 vsize=868400 CPUtime=0
/proc/8078/task/8082/stat : 8082 (java) S 8077 8053 8003 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 4490362 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8083] ppid=8077 vsize=868400 CPUtime=0
/proc/8078/task/8083/stat : 8083 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4490364 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8084] ppid=8077 vsize=868400 CPUtime=0.2
/proc/8078/task/8084/stat : 8084 (java) S 8077 8053 8003 0 -1 64 1469 0 0 0 19 1 0 0 16 0 9 0 4490364 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8085] ppid=8077 vsize=868400 CPUtime=0
/proc/8078/task/8085/stat : 8085 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4490364 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8086] ppid=8077 vsize=868400 CPUtime=0
/proc/8078/task/8086/stat : 8086 (java) S 8077 8053 8003 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4490364 889241600 6330 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 887356

[startup+3.1023 s]
/proc/loadavg: 1.08 1.02 1.01 3/84 8086
/proc/meminfo: memFree=1269544/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13600 CPUtime=0.49
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 974 4838 0 72 3 1 34 11 15 0 1 0 4490282 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8053/statm: 3400 797 370 3 0 500 0
[pid=8077] ppid=8053 vsize=5356 CPUtime=0
/proc/8077/stat : 8077 (sh) S 8053 8053 8003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4490360 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8077/statm: 1339 233 193 169 0 50 0
[pid=8078] ppid=8077 vsize=868512 CPUtime=2.26
/proc/8078/stat : 8078 (java) S 8077 8053 8003 0 -1 0 8074 0 10 0 211 15 0 0 18 0 9 0 4490360 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8078/statm: 217128 6913 2564 9 0 211675 0
[pid=8078/tid=8079] ppid=8077 vsize=868512 CPUtime=1.69
/proc/8078/task/8079/stat : 8079 (java) R 8077 8053 8003 0 -1 64 3098 0 5 0 159 10 0 0 25 0 9 0 4490361 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4126551470 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8080] ppid=8077 vsize=868512 CPUtime=0.26
/proc/8078/task/8080/stat : 8080 (java) S 8077 8053 8003 0 -1 64 2765 0 5 0 23 3 0 0 16 0 9 0 4490362 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8081] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8081/stat : 8081 (java) S 8077 8053 8003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4490362 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8082] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8082/stat : 8082 (java) S 8077 8053 8003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4490362 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8083] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8083/stat : 8083 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4490364 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8084] ppid=8077 vsize=868512 CPUtime=0.28
/proc/8078/task/8084/stat : 8084 (java) S 8077 8053 8003 0 -1 64 1519 0 0 0 27 1 0 0 16 0 9 0 4490364 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8085] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8085/stat : 8085 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4490364 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8086] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8086/stat : 8086 (java) S 8077 8053 8003 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4490364 889356288 6913 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 887468

[startup+6.30285 s]
/proc/loadavg: 1.08 1.02 1.01 3/84 8086
/proc/meminfo: memFree=1240232/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13600 CPUtime=0.49
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 974 4838 0 72 3 1 34 11 16 0 1 0 4490282 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8053/statm: 3400 797 370 3 0 500 0
[pid=8077] ppid=8053 vsize=5356 CPUtime=0
/proc/8077/stat : 8077 (sh) S 8053 8053 8003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4490360 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8077/statm: 1339 233 193 169 0 50 0
[pid=8078] ppid=8077 vsize=868512 CPUtime=5.43
/proc/8078/stat : 8078 (java) S 8077 8053 8003 0 -1 0 8888 0 10 0 509 34 0 0 18 0 9 0 4490360 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8078/statm: 217128 6919 2565 9 0 211675 0
[pid=8078/tid=8079] ppid=8077 vsize=868512 CPUtime=4.66
/proc/8078/task/8079/stat : 8079 (java) R 8077 8053 8003 0 -1 64 3906 0 5 0 440 26 0 0 25 0 9 0 4490361 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8080] ppid=8077 vsize=868512 CPUtime=0.46
/proc/8078/task/8080/stat : 8080 (java) S 8077 8053 8003 0 -1 64 2765 0 5 0 40 6 0 0 16 0 9 0 4490362 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8081] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8081/stat : 8081 (java) S 8077 8053 8003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4490362 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8082] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8082/stat : 8082 (java) S 8077 8053 8003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4490362 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8083] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8083/stat : 8083 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8084] ppid=8077 vsize=868512 CPUtime=0.29
/proc/8078/task/8084/stat : 8084 (java) S 8077 8053 8003 0 -1 64 1525 0 0 0 28 1 0 0 16 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8085] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8085/stat : 8085 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8086] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8086/stat : 8086 (java) S 8077 8053 8003 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 887468

[startup+12.703 s]
/proc/loadavg: 1.30 1.06 1.02 3/84 8086
/proc/meminfo: memFree=1167016/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13600 CPUtime=0.49
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 974 4838 0 72 3 1 34 11 16 0 1 0 4490282 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8053/statm: 3400 797 370 3 0 500 0
[pid=8077] ppid=8053 vsize=5356 CPUtime=0
/proc/8077/stat : 8077 (sh) S 8053 8053 8003 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4490360 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8077/statm: 1339 233 193 169 0 50 0
[pid=8078] ppid=8077 vsize=868512 CPUtime=11.78
/proc/8078/stat : 8078 (java) S 8077 8053 8003 0 -1 0 10811 0 10 0 1090 88 0 0 18 0 9 0 4490360 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8078/statm: 217128 6919 2565 9 0 211675 0
[pid=8078/tid=8079] ppid=8077 vsize=868512 CPUtime=10.5
/proc/8078/task/8079/stat : 8079 (java) R 8077 8053 8003 0 -1 64 5829 0 5 0 981 69 0 0 25 0 9 0 4490361 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8080] ppid=8077 vsize=868512 CPUtime=0.96
/proc/8078/task/8080/stat : 8080 (java) S 8077 8053 8003 0 -1 64 2765 0 5 0 80 16 0 0 16 0 9 0 4490362 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8081] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8081/stat : 8081 (java) S 8077 8053 8003 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4490362 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8082] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8082/stat : 8082 (java) S 8077 8053 8003 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 4490362 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8083] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8083/stat : 8083 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8084] ppid=8077 vsize=868512 CPUtime=0.29
/proc/8078/task/8084/stat : 8084 (java) S 8077 8053 8003 0 -1 64 1525 0 0 0 28 1 0 0 16 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8078/tid=8085] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8085/stat : 8085 (java) S 8077 8053 8003 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8078/tid=8086] ppid=8077 vsize=868512 CPUtime=0
/proc/8078/task/8086/stat : 8086 (java) S 8077 8053 8003 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4490364 889356288 6919 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 887468

[startup+25.5012 s]
/proc/loadavg: 1.41 1.10 1.03 3/84 8098
/proc/meminfo: memFree=1160104/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=24.7
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1240 77221 0 83 4 2 2313 151 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 13864

[startup+51.1016 s]
/proc/loadavg: 1.61 1.17 1.05 3/76 8112
/proc/meminfo: memFree=935848/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=38.43
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1356 139279 0 84 4 2 3645 192 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8111] ppid=8053 vsize=5356 CPUtime=0
/proc/8111/stat : 8111 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4494191 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8111/statm: 1339 232 193 169 0 50 0
[pid=8112] ppid=8111 vsize=240572 CPUtime=11.94
/proc/8112/stat : 8112 (minisat) R 8111 8053 8003 0 -1 4194304 57664 0 0 0 1158 36 0 0 25 0 1 0 4494191 246345728 57650 996147200 134512640 135127466 4294956256 18446744073709551615 134523441 0 0 4096 3 0 0 0 17 1 0 0

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

/proc/meminfo: memFree=435744/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=362.51
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 36206 45 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3148.3
Current children cumulated vsize (KiB) 259008

[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=435744/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=422.26
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 42181 45 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134528598 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3208.05
Current children cumulated vsize (KiB) 259008

[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=435680/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=482.03
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 48157 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3267.82
Current children cumulated vsize (KiB) 259008

[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=435232/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=541.77
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 54131 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3327.56
Current children cumulated vsize (KiB) 259008

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=435040/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=601.52
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 60106 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3387.31
Current children cumulated vsize (KiB) 259008

[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=434720/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=661.27
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 66081 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3447.06
Current children cumulated vsize (KiB) 259008

[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=434656/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=721.02
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 72056 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3506.81
Current children cumulated vsize (KiB) 259008

[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=434592/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=780.76
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 78030 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3566.55
Current children cumulated vsize (KiB) 259008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=434592/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=814.22
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 81376 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 259008

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

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

[startup+3615.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/76 8211
/proc/meminfo: memFree=434592/2055920 swapFree=4192956/4192956
[pid=8053] ppid=8051 vsize=13864 CPUtime=2785.79
/proc/8053/stat : 8053 (sugar) S 8051 8053 8003 0 -1 4194304 1470 202549 0 85 4 2 278327 246 16 0 1 0 4490282 14196736 869 996147200 4194304 4206940 548682068592 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/8053/statm: 3466 869 374 3 0 566 0
[pid=8210] ppid=8053 vsize=5356 CPUtime=0
/proc/8210/stat : 8210 (sh) S 8053 8053 8003 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4770106 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8210/statm: 1339 232 193 169 0 50 0
[pid=8211] ppid=8210 vsize=239788 CPUtime=814.22
/proc/8211/stat : 8211 (minisat) R 8210 8053 8003 0 -1 4194304 57450 0 0 0 81376 46 0 0 25 0 1 0 4770106 245542912 57436 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/8211/statm: 59947 57436 75 150 0 59794 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 259008

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8053 and gives
#  childrusage.ru_utime.tv_sec=2783
#  childrusage.ru_utime.tv_usec=328869
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=553611
# CPU time returned by wait4() is 2785.88
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3616
CPU time (s): 3600.01
CPU user time (s): 3597.07
CPU system time (s): 2.94
CPU usage (%): 99.5578
Max. virtual memory (cumulated for all children) (KiB): 887468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2783.33
system time used= 2.55361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204361
page faults= 85
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28301
involuntary context switches= 65466

runsolver used 3.68744 second user time and 9.69553 second system time

The end

Launcher Data (download as text)

Begin job on node48 at 2008-07-23 02:46:56
IDJOB=1127652
IDBENCH=63730
IDSOLVER=368
FILE ID=node48/1127652-1216774016
PBS_JOBID= 7974185
Free space on /tmp= 66564 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2400-421722_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-1127652-1216774016/watcher-1127652-1216774016 -o /tmp/evaluation-result-1127652-1216774016/solver-1127652-1216774016 -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-1127652-1216774016.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= bbe34f29fd67f84517d58d41a3beaed4
RANDOM SEED=787085517

node48.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.259
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.259
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:       1333976 kB
Buffers:         22492 kB
Cached:         634320 kB
SwapCached:          0 kB
Active:         262124 kB
Inactive:       409004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1333976 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1788 kB
Writeback:           0 kB
Mapped:          24120 kB
Slab:            36572 kB
Committed_AS:    58684 kB
PageTables:       1600 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= 66396 MiB
End job on node48 at 2008-07-23 03:47:14