Trace number 3190262

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1300.75 1300.06

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf
MD5SUM8a262b49dcf27b27fb405f8a8cdf125f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark69.9854
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.06/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.21	c See www.sat4j.org for details.
0.06/0.22	c no version file found!!!
0.06/0.22	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.22	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.22	c java.vm.version	19.1-b02
0.06/0.22	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.22	c sun.arch.data.model	64
0.06/0.22	c java.version		1.6.0_24
0.06/0.22	c os.name		Linux
0.06/0.22	c os.version		2.6.18-164.el5
0.06/0.22	c os.arch		amd64
0.06/0.22	c Free memory 		6997539544
0.06/0.22	c Max memory 		7034241024
0.06/0.22	c Total memory 		7034241024
0.06/0.22	c Number of processors 	8
0.06/0.24	c --- Begin Solver configuration ---
0.06/0.24	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.06/0.24	c Learn all clauses as in MiniSAT
0.06/0.24	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.24	c Expensive reason simplification
0.06/0.24	c Armin Biere (Picosat) restarts strategy
0.06/0.24	c Glucose learned constraints deletion strategy
0.06/0.24	c timeout=2147483647s
0.06/0.24	c DB Simplification allowed=true
0.06/0.24	c --- End Solver configuration ---
0.06/0.24	c solving HOME/instance-3190262-1302597668.cnf
0.06/0.24	c reading problem ... 
0.06/0.33	c ... done. Wall clock time 0.094s.
0.06/0.33	c #vars     200
0.06/0.33	c #constraints  17000
0.06/0.33	c constraints type 
0.06/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1.30/1.11	c cleaning 2498 clauses out of 5001 with flag 5001/5001
1.90/1.78	c cleaning 4246 clauses out of 8502 with flag 11000/11000
2.80/2.60	c cleaning 5627 clauses out of 11256 with flag 18000/18000
3.70/3.59	c cleaning 6812 clauses out of 13630 with flag 26001/26001
4.93/4.78	c cleaning 7903 clauses out of 15817 with flag 35000/35000
6.32/6.15	c cleaning 8953 clauses out of 17914 with flag 45000/45000
7.93/7.70	c cleaning 9976 clauses out of 19962 with flag 56001/56001
9.72/9.52	c cleaning 10989 clauses out of 21985 with flag 68000/68000
11.62/11.45	c cleaning 11996 clauses out of 23997 with flag 81001/81001
13.83/13.65	c cleaning 12995 clauses out of 26000 with flag 95000/95000
16.33/16.17	c cleaning 14000 clauses out of 28006 with flag 110001/110001
19.13/18.96	c cleaning 14995 clauses out of 30005 with flag 126000/126000
22.14/21.91	c cleaning 16001 clauses out of 32011 with flag 143001/143001
25.13/24.95	c cleaning 16500 clauses out of 33009 with flag 160000/160000
28.23/28.03	c cleaning 16749 clauses out of 33511 with flag 177002/177002
31.23/31.09	c cleaning 16876 clauses out of 33761 with flag 194001/194001
34.13/33.99	c cleaning 16934 clauses out of 33884 with flag 211000/211000
37.24/37.02	c cleaning 16969 clauses out of 33950 with flag 228000/228000
40.33/40.11	c cleaning 16986 clauses out of 33982 with flag 245001/245001
43.14/42.96	c cleaning 16994 clauses out of 33995 with flag 262000/262000
46.24/46.02	c cleaning 17000 clauses out of 34003 with flag 279002/279002
49.14/48.94	c cleaning 16993 clauses out of 34001 with flag 296000/296000
52.14/51.94	c cleaning 16996 clauses out of 34009 with flag 313001/313001
55.15/55.00	c cleaning 17002 clauses out of 34012 with flag 330000/330000
58.24/58.03	c cleaning 17002 clauses out of 34011 with flag 347001/347001
61.04/60.88	c cleaning 16997 clauses out of 34008 with flag 364000/364000
64.14/63.99	c cleaning 17001 clauses out of 34012 with flag 381001/381001
67.14/66.90	c cleaning 16996 clauses out of 34011 with flag 398001/398001
70.14/69.91	c cleaning 16996 clauses out of 34014 with flag 415000/415000
73.04/72.88	c cleaning 17004 clauses out of 34018 with flag 432000/432000
76.05/75.89	c cleaning 17004 clauses out of 34016 with flag 449002/449002
79.04/78.88	c cleaning 17002 clauses out of 34012 with flag 466002/466002
81.94/81.76	c cleaning 16999 clauses out of 34010 with flag 483002/483002
85.05/84.81	c cleaning 16999 clauses out of 34011 with flag 500002/500002
88.05/87.83	c cleaning 16996 clauses out of 34010 with flag 517000/517000
91.05/90.85	c cleaning 16998 clauses out of 34015 with flag 534001/534001
94.05/93.82	c cleaning 17005 clauses out of 34016 with flag 551000/551000
97.06/96.85	c cleaning 17002 clauses out of 34015 with flag 568004/568004
99.96/99.76	c cleaning 17000 clauses out of 34009 with flag 585000/585000
102.86/102.61	c cleaning 16994 clauses out of 34009 with flag 602000/602000
105.96/105.73	c cleaning 16997 clauses out of 34015 with flag 619000/619000
108.96/108.72	c cleaning 17002 clauses out of 34021 with flag 636003/636003
111.76/111.58	c cleaning 16997 clauses out of 34017 with flag 653001/653001
114.76/114.58	c cleaning 17000 clauses out of 34019 with flag 670000/670000
117.87/117.63	c cleaning 17002 clauses out of 34019 with flag 687000/687000
120.66/120.48	c cleaning 17001 clauses out of 34017 with flag 704000/704000
123.56/123.33	c cleaning 16998 clauses out of 34017 with flag 721001/721001
126.46/126.26	c cleaning 17004 clauses out of 34019 with flag 738001/738001
129.47/129.24	c cleaning 17003 clauses out of 34015 with flag 755001/755001
132.36/132.14	c cleaning 17004 clauses out of 34012 with flag 772001/772001
135.37/135.11	c cleaning 16994 clauses out of 34008 with flag 789001/789001
138.27/138.05	c cleaning 17005 clauses out of 34015 with flag 806002/806002
141.27/141.03	c cleaning 17000 clauses out of 34008 with flag 823000/823000
144.27/144.06	c cleaning 17000 clauses out of 34008 with flag 840000/840000
147.27/147.03	c cleaning 16998 clauses out of 34009 with flag 857001/857001
150.17/149.96	c cleaning 17000 clauses out of 34011 with flag 874001/874001
153.18/152.93	c cleaning 17000 clauses out of 34010 with flag 891000/891000
156.07/155.87	c cleaning 17000 clauses out of 34011 with flag 908001/908001
159.17/159.00	c cleaning 17000 clauses out of 34010 with flag 925000/925000
162.17/161.94	c cleaning 17001 clauses out of 34012 with flag 942002/942002
165.07/164.90	c cleaning 16998 clauses out of 34011 with flag 959002/959002
167.97/167.79	c cleaning 17001 clauses out of 34012 with flag 976001/976001
171.07/170.83	c cleaning 16997 clauses out of 34010 with flag 993000/993000
174.08/173.81	c cleaning 16998 clauses out of 34013 with flag 1010000/1010000
176.98/176.78	c cleaning 17000 clauses out of 34016 with flag 1027001/1027001
179.88/179.61	c cleaning 17001 clauses out of 34015 with flag 1044000/1044000
182.78/182.55	c cleaning 17002 clauses out of 34015 with flag 1061001/1061001
185.88/185.63	c cleaning 17002 clauses out of 34014 with flag 1078002/1078002
188.88/188.64	c cleaning 16996 clauses out of 34010 with flag 1095000/1095000
191.98/191.78	c cleaning 17001 clauses out of 34014 with flag 1112000/1112000
195.08/194.87	c cleaning 16999 clauses out of 34014 with flag 1129001/1129001
198.08/197.82	c cleaning 17002 clauses out of 34014 with flag 1146000/1146000
201.08/200.81	c cleaning 16999 clauses out of 34012 with flag 1163000/1163000
204.00/203.73	c cleaning 17001 clauses out of 34013 with flag 1180000/1180000
207.10/206.82	c cleaning 17000 clauses out of 34013 with flag 1197001/1197001
210.10/209.81	c cleaning 17003 clauses out of 34014 with flag 1214002/1214002
213.10/212.82	c cleaning 16996 clauses out of 34010 with flag 1231001/1231001
216.20/215.92	c cleaning 17002 clauses out of 34013 with flag 1248000/1248000
219.10/218.84	c cleaning 17001 clauses out of 34011 with flag 1265000/1265000
222.10/221.82	c cleaning 16995 clauses out of 34011 with flag 1282001/1282001
224.90/224.66	c cleaning 16999 clauses out of 34015 with flag 1299000/1299000
227.80/227.59	c cleaning 16997 clauses out of 34016 with flag 1316000/1316000
230.80/230.57	c cleaning 16999 clauses out of 34019 with flag 1333000/1333000
233.80/233.55	c cleaning 17002 clauses out of 34021 with flag 1350001/1350001
237.00/236.72	c cleaning 17004 clauses out of 34018 with flag 1367000/1367000
240.01/239.71	c cleaning 17001 clauses out of 34014 with flag 1384000/1384000
242.90/242.60	c cleaning 17001 clauses out of 34015 with flag 1401002/1401002
245.70/245.48	c cleaning 17003 clauses out of 34013 with flag 1418001/1418001
248.81/248.59	c cleaning 16999 clauses out of 34009 with flag 1435000/1435000
251.80/251.54	c cleaning 16997 clauses out of 34012 with flag 1452002/1452002
255.00/254.71	c cleaning 16995 clauses out of 34014 with flag 1469001/1469001
258.10/257.81	c cleaning 17001 clauses out of 34019 with flag 1486001/1486001
261.20/260.95	c cleaning 17004 clauses out of 34018 with flag 1503001/1503001
264.21/263.94	c cleaning 17005 clauses out of 34015 with flag 1520002/1520002
267.10/266.89	c cleaning 17003 clauses out of 34009 with flag 1537001/1537001
270.10/269.84	c cleaning 16994 clauses out of 34005 with flag 1554000/1554000
273.11/272.87	c cleaning 16999 clauses out of 34011 with flag 1571000/1571000
276.20/275.98	c cleaning 17005 clauses out of 34015 with flag 1588003/1588003
279.00/278.79	c cleaning 16989 clauses out of 34007 with flag 1605000/1605000
281.91/281.68	c cleaning 17001 clauses out of 34018 with flag 1622000/1622000
284.90/284.65	c cleaning 16999 clauses out of 34018 with flag 1639001/1639001
287.90/287.63	c cleaning 17003 clauses out of 34018 with flag 1656000/1656000
290.91/290.65	c cleaning 17004 clauses out of 34017 with flag 1673002/1673002
293.91/293.64	c cleaning 17003 clauses out of 34013 with flag 1690002/1690002
296.81/296.57	c cleaning 16994 clauses out of 34008 with flag 1707000/1707000
299.81/299.56	c cleaning 17003 clauses out of 34015 with flag 1724001/1724001
302.72/302.44	c cleaning 16996 clauses out of 34011 with flag 1741000/1741000
305.61/305.31	c cleaning 17001 clauses out of 34015 with flag 1758000/1758000
308.51/308.24	c cleaning 17002 clauses out of 34014 with flag 1775000/1775000
311.62/311.31	c cleaning 16998 clauses out of 34013 with flag 1792001/1792001
314.61/314.37	c cleaning 16997 clauses out of 34015 with flag 1809001/1809001
317.62/317.36	c cleaning 16994 clauses out of 34018 with flag 1826001/1826001
320.62/320.38	c cleaning 17005 clauses out of 34023 with flag 1843000/1843000
323.62/323.33	c cleaning 17002 clauses out of 34018 with flag 1860000/1860000
326.62/326.30	c cleaning 17000 clauses out of 34016 with flag 1877000/1877000
329.52/329.24	c cleaning 17003 clauses out of 34017 with flag 1894001/1894001
332.53/332.23	c cleaning 17003 clauses out of 34013 with flag 1911000/1911000
335.52/335.26	c cleaning 16999 clauses out of 34010 with flag 1928000/1928000
338.72/338.45	c cleaning 17001 clauses out of 34011 with flag 1945000/1945000
341.73/341.41	c cleaning 16993 clauses out of 34011 with flag 1962001/1962001
344.64/344.36	c cleaning 16998 clauses out of 34017 with flag 1979000/1979000
347.73/347.47	c cleaning 17002 clauses out of 34019 with flag 1996000/1996000
350.84/350.53	c cleaning 16999 clauses out of 34017 with flag 2013000/2013000
353.94/353.61	c cleaning 17010 clauses out of 34021 with flag 2030003/2030003
356.74/356.44	c cleaning 16998 clauses out of 34010 with flag 2047002/2047002
359.64/359.35	c cleaning 17000 clauses out of 34010 with flag 2064000/2064000
362.54/362.29	c cleaning 16998 clauses out of 34011 with flag 2081001/2081001
365.55/365.25	c cleaning 16992 clauses out of 34012 with flag 2098000/2098000
368.44/368.14	c cleaning 17001 clauses out of 34020 with flag 2115000/2115000
371.34/371.04	c cleaning 17003 clauses out of 34019 with flag 2132000/2132000
374.25/374.00	c cleaning 17002 clauses out of 34016 with flag 2149000/2149000
377.24/376.98	c cleaning 17000 clauses out of 34014 with flag 2166000/2166000
380.24/379.99	c cleaning 17000 clauses out of 34015 with flag 2183001/2183001
383.24/382.94	c cleaning 17001 clauses out of 34017 with flag 2200003/2200003
386.15/385.87	c cleaning 17001 clauses out of 34014 with flag 2217001/2217001
389.15/388.89	c cleaning 17002 clauses out of 34012 with flag 2234000/2234000
391.95/391.70	c cleaning 16996 clauses out of 34011 with flag 2251001/2251001
394.75/394.49	c cleaning 16997 clauses out of 34014 with flag 2268000/2268000
397.65/397.32	c cleaning 16998 clauses out of 34018 with flag 2285001/2285001
400.45/400.15	c cleaning 17004 clauses out of 34021 with flag 2302002/2302002
403.35/403.00	c cleaning 17002 clauses out of 34016 with flag 2319001/2319001
406.16/405.84	c cleaning 17002 clauses out of 34013 with flag 2336000/2336000
409.15/408.85	c cleaning 16999 clauses out of 34012 with flag 2353001/2353001
412.05/411.72	c cleaning 16995 clauses out of 34014 with flag 2370002/2370002
414.85/414.59	c cleaning 17000 clauses out of 34017 with flag 2387000/2387000
417.85/417.53	c cleaning 17000 clauses out of 34018 with flag 2404001/2404001
420.85/420.53	c cleaning 16998 clauses out of 34017 with flag 2421000/2421000
423.76/423.45	c cleaning 16998 clauses out of 34019 with flag 2438000/2438000
426.86/426.51	c cleaning 17008 clauses out of 34021 with flag 2455000/2455000
429.75/429.45	c cleaning 17001 clauses out of 34013 with flag 2472000/2472000
432.66/432.37	c cleaning 16998 clauses out of 34013 with flag 2489001/2489001
435.56/435.23	c cleaning 17000 clauses out of 34014 with flag 2506000/2506000
438.46/438.11	c cleaning 16997 clauses out of 34014 with flag 2523000/2523000
441.46/441.15	c cleaning 17002 clauses out of 34017 with flag 2540000/2540000
444.47/444.18	c cleaning 17000 clauses out of 34016 with flag 2557001/2557001
447.57/447.24	c cleaning 17000 clauses out of 34016 with flag 2574001/2574001
450.77/450.43	c cleaning 17004 clauses out of 34015 with flag 2591000/2591000
453.77/453.42	c cleaning 16999 clauses out of 34012 with flag 2608001/2608001
456.78/456.44	c cleaning 16998 clauses out of 34013 with flag 2625001/2625001
459.67/459.39	c cleaning 17002 clauses out of 34014 with flag 2642000/2642000
462.87/462.57	c cleaning 17004 clauses out of 34013 with flag 2659001/2659001
466.08/465.71	c cleaning 16996 clauses out of 34009 with flag 2676001/2676001
469.18/468.86	c cleaning 16995 clauses out of 34012 with flag 2693000/2693000
472.28/471.91	c cleaning 17004 clauses out of 34018 with flag 2710001/2710001
475.08/474.79	c cleaning 17003 clauses out of 34015 with flag 2727002/2727002
477.98/477.67	c cleaning 16999 clauses out of 34010 with flag 2744000/2744000
480.99/480.66	c cleaning 16999 clauses out of 34011 with flag 2761000/2761000
483.88/483.53	c cleaning 16996 clauses out of 34012 with flag 2778000/2778000
486.79/486.45	c cleaning 16996 clauses out of 34016 with flag 2795000/2795000
489.69/489.39	c cleaning 17003 clauses out of 34020 with flag 2812000/2812000
492.59/492.29	c cleaning 17004 clauses out of 34017 with flag 2829000/2829000
495.59/495.23	c cleaning 16999 clauses out of 34013 with flag 2846000/2846000
498.39/498.04	c cleaning 17005 clauses out of 34014 with flag 2863000/2863000
501.19/500.81	c cleaning 16998 clauses out of 34012 with flag 2880003/2880003
504.10/503.75	c cleaning 16997 clauses out of 34011 with flag 2897000/2897000
507.19/506.82	c cleaning 17000 clauses out of 34014 with flag 2914000/2914000
510.19/509.83	c cleaning 17001 clauses out of 34014 with flag 2931000/2931000
513.29/512.93	c cleaning 16996 clauses out of 34013 with flag 2948000/2948000
516.39/516.01	c cleaning 16992 clauses out of 34018 with flag 2965001/2965001
519.39/519.07	c cleaning 17007 clauses out of 34025 with flag 2982000/2982000
522.39/522.00	c cleaning 17001 clauses out of 34019 with flag 2999001/2999001
525.20/524.85	c cleaning 16995 clauses out of 34017 with flag 3016000/3016000
528.10/527.79	c cleaning 17007 clauses out of 34023 with flag 3033001/3033001
531.10/530.72	c cleaning 17004 clauses out of 34015 with flag 3050000/3050000
534.00/533.61	c cleaning 16992 clauses out of 34012 with flag 3067001/3067001
537.00/536.65	c cleaning 17001 clauses out of 34019 with flag 3084000/3084000
539.90/539.54	c cleaning 17003 clauses out of 34020 with flag 3101002/3101002
542.90/542.52	c cleaning 17001 clauses out of 34017 with flag 3118002/3118002
545.91/545.56	c cleaning 17004 clauses out of 34014 with flag 3135000/3135000
548.90/548.50	c cleaning 16998 clauses out of 34010 with flag 3152000/3152000
551.90/551.55	c cleaning 17000 clauses out of 34014 with flag 3169002/3169002
554.81/554.50	c cleaning 16994 clauses out of 34013 with flag 3186001/3186001
557.91/557.53	c cleaning 16998 clauses out of 34018 with flag 3203000/3203000
561.01/560.64	c cleaning 17005 clauses out of 34020 with flag 3220000/3220000
563.81/563.44	c cleaning 16997 clauses out of 34016 with flag 3237001/3237001
566.82/566.46	c cleaning 16998 clauses out of 34018 with flag 3254000/3254000
569.91/569.51	c cleaning 17000 clauses out of 34021 with flag 3271001/3271001
572.91/572.53	c cleaning 16998 clauses out of 34020 with flag 3288000/3288000
575.81/575.43	c cleaning 17005 clauses out of 34022 with flag 3305000/3305000
578.62/578.30	c cleaning 17000 clauses out of 34017 with flag 3322000/3322000
581.61/581.28	c cleaning 17005 clauses out of 34017 with flag 3339000/3339000
584.61/584.24	c cleaning 16996 clauses out of 34012 with flag 3356000/3356000
587.51/587.12	c cleaning 16998 clauses out of 34016 with flag 3373000/3373000
590.41/590.08	c cleaning 17000 clauses out of 34018 with flag 3390000/3390000
593.42/593.02	c cleaning 17003 clauses out of 34018 with flag 3407000/3407000
596.32/595.93	c cleaning 16995 clauses out of 34015 with flag 3424000/3424000
599.22/598.82	c cleaning 17001 clauses out of 34020 with flag 3441000/3441000
602.13/601.76	c cleaning 17002 clauses out of 34019 with flag 3458000/3458000
605.02/604.62	c cleaning 16999 clauses out of 34017 with flag 3475000/3475000
607.92/607.51	c cleaning 17005 clauses out of 34018 with flag 3492000/3492000
610.93/610.53	c cleaning 17002 clauses out of 34013 with flag 3509000/3509000
613.92/613.59	c cleaning 17000 clauses out of 34014 with flag 3526003/3526003
616.72/616.33	c cleaning 16994 clauses out of 34011 with flag 3543000/3543000
619.53/619.18	c cleaning 17003 clauses out of 34017 with flag 3560000/3560000
622.54/622.15	c cleaning 17001 clauses out of 34014 with flag 3577000/3577000
625.34/624.93	c cleaning 17000 clauses out of 34014 with flag 3594001/3594001
628.24/627.81	c cleaning 16997 clauses out of 34013 with flag 3611000/3611000
631.04/630.68	c cleaning 17003 clauses out of 34016 with flag 3628000/3628000
633.84/633.50	c cleaning 16997 clauses out of 34013 with flag 3645000/3645000
636.64/636.26	c cleaning 17000 clauses out of 34017 with flag 3662001/3662001
639.64/639.24	c cleaning 17003 clauses out of 34016 with flag 3679000/3679000
642.54/642.12	c cleaning 16997 clauses out of 34014 with flag 3696001/3696001
645.44/645.09	c cleaning 17003 clauses out of 34019 with flag 3713003/3713003
648.44/648.02	c cleaning 17000 clauses out of 34013 with flag 3730000/3730000
651.34/650.94	c cleaning 17000 clauses out of 34013 with flag 3747000/3747000
654.14/653.75	c cleaning 16996 clauses out of 34013 with flag 3764000/3764000
657.15/656.78	c cleaning 16997 clauses out of 34018 with flag 3781001/3781001
660.24/659.81	c cleaning 17002 clauses out of 34022 with flag 3798002/3798002
663.14/662.75	c cleaning 17001 clauses out of 34019 with flag 3815001/3815001
665.95/665.51	c cleaning 16999 clauses out of 34017 with flag 3832000/3832000
668.75/668.33	c cleaning 16996 clauses out of 34018 with flag 3849000/3849000
671.75/671.33	c cleaning 17004 clauses out of 34022 with flag 3866000/3866000
674.85/674.45	c cleaning 17006 clauses out of 34019 with flag 3883001/3883001
677.75/677.30	c cleaning 17000 clauses out of 34013 with flag 3900001/3900001
680.75/680.30	c cleaning 17001 clauses out of 34013 with flag 3917001/3917001
683.65/683.28	c cleaning 16997 clauses out of 34012 with flag 3934001/3934001
686.65/686.22	c cleaning 17001 clauses out of 34014 with flag 3951000/3951000
689.55/689.19	c cleaning 16997 clauses out of 34014 with flag 3968001/3968001
692.65/692.22	c cleaning 17004 clauses out of 34016 with flag 3985000/3985000
695.45/695.07	c cleaning 17000 clauses out of 34012 with flag 4002000/4002000
698.25/697.83	c cleaning 17000 clauses out of 34013 with flag 4019001/4019001
701.06/700.68	c cleaning 16996 clauses out of 34012 with flag 4036000/4036000
703.85/703.43	c cleaning 17006 clauses out of 34017 with flag 4053001/4053001
706.66/706.23	c cleaning 16997 clauses out of 34010 with flag 4070000/4070000
709.55/709.15	c cleaning 17003 clauses out of 34017 with flag 4087004/4087004
712.45/712.06	c cleaning 16992 clauses out of 34010 with flag 4104000/4104000
715.36/714.98	c cleaning 17002 clauses out of 34019 with flag 4121001/4121001
718.46/718.03	c cleaning 17002 clauses out of 34017 with flag 4138001/4138001
721.46/721.02	c cleaning 17000 clauses out of 34016 with flag 4155002/4155002
724.47/724.02	c cleaning 16998 clauses out of 34014 with flag 4172000/4172000
727.57/727.11	c cleaning 17000 clauses out of 34016 with flag 4189000/4189000
730.67/730.27	c cleaning 16996 clauses out of 34016 with flag 4206000/4206000
733.57/733.15	c cleaning 17007 clauses out of 34020 with flag 4223000/4223000
736.37/735.93	c cleaning 16997 clauses out of 34013 with flag 4240000/4240000
739.37/738.95	c cleaning 17001 clauses out of 34016 with flag 4257000/4257000
742.47/742.01	c cleaning 17001 clauses out of 34016 with flag 4274001/4274001
745.47/745.00	c cleaning 16993 clauses out of 34015 with flag 4291001/4291001
748.38/747.91	c cleaning 17002 clauses out of 34021 with flag 4308000/4308000
751.27/750.81	c cleaning 17001 clauses out of 34021 with flag 4325002/4325002
754.38/753.92	c cleaning 17004 clauses out of 34018 with flag 4342000/4342000
757.28/756.81	c cleaning 17001 clauses out of 34016 with flag 4359002/4359002
760.18/759.79	c cleaning 17000 clauses out of 34014 with flag 4376001/4376001
763.18/762.80	c cleaning 17000 clauses out of 34014 with flag 4393001/4393001
766.18/765.72	c cleaning 16997 clauses out of 34014 with flag 4410001/4410001
768.98/768.52	c cleaning 17001 clauses out of 34016 with flag 4427000/4427000
771.88/771.49	c cleaning 16994 clauses out of 34015 with flag 4444000/4444000
774.88/774.40	c cleaning 17000 clauses out of 34022 with flag 4461001/4461001
777.68/777.27	c cleaning 17002 clauses out of 34022 with flag 4478001/4478001
780.58/780.15	c cleaning 17000 clauses out of 34019 with flag 4495000/4495000
783.38/782.92	c cleaning 17004 clauses out of 34019 with flag 4512000/4512000
786.38/785.90	c cleaning 16999 clauses out of 34015 with flag 4529000/4529000
789.38/788.90	c cleaning 16996 clauses out of 34016 with flag 4546000/4546000
792.39/791.99	c cleaning 16993 clauses out of 34020 with flag 4563000/4563000
795.39/794.91	c cleaning 17001 clauses out of 34027 with flag 4580000/4580000
798.39/797.90	c cleaning 17002 clauses out of 34026 with flag 4597000/4597000
801.39/800.93	c cleaning 17007 clauses out of 34024 with flag 4614000/4614000
804.39/803.95	c cleaning 17004 clauses out of 34017 with flag 4631000/4631000
807.29/806.84	c cleaning 17000 clauses out of 34013 with flag 4648000/4648000
810.19/809.71	c cleaning 16998 clauses out of 34013 with flag 4665000/4665000
813.09/812.61	c cleaning 16996 clauses out of 34015 with flag 4682000/4682000
815.89/815.48	c cleaning 16994 clauses out of 34019 with flag 4699000/4699000
818.99/818.55	c cleaning 17004 clauses out of 34025 with flag 4716000/4716000
822.00/821.50	c cleaning 17004 clauses out of 34021 with flag 4733000/4733000
825.10/824.66	c cleaning 16997 clauses out of 34018 with flag 4750001/4750001
828.20/827.78	c cleaning 17004 clauses out of 34020 with flag 4767000/4767000
831.30/830.82	c cleaning 17000 clauses out of 34017 with flag 4784001/4784001
834.21/833.74	c cleaning 17007 clauses out of 34018 with flag 4801002/4801002
837.20/836.79	c cleaning 16997 clauses out of 34010 with flag 4818001/4818001
840.30/839.86	c cleaning 17002 clauses out of 34013 with flag 4835001/4835001
843.20/842.76	c cleaning 16997 clauses out of 34011 with flag 4852001/4852001
846.20/845.77	c cleaning 16998 clauses out of 34015 with flag 4869002/4869002
849.10/848.63	c cleaning 17005 clauses out of 34015 with flag 4886000/4886000
852.01/851.58	c cleaning 16998 clauses out of 34010 with flag 4903000/4903000
855.01/854.59	c cleaning 16997 clauses out of 34012 with flag 4920000/4920000
858.01/857.51	c cleaning 17003 clauses out of 34015 with flag 4937000/4937000
860.91/860.45	c cleaning 17002 clauses out of 34014 with flag 4954002/4954002
863.81/863.39	c cleaning 17004 clauses out of 34010 with flag 4971000/4971000
866.81/866.31	c cleaning 17000 clauses out of 34007 with flag 4988001/4988001
869.71/869.23	c cleaning 16998 clauses out of 34008 with flag 5005002/5005002
872.72/872.21	c cleaning 16999 clauses out of 34009 with flag 5022001/5022001
875.71/875.27	c cleaning 16999 clauses out of 34010 with flag 5039001/5039001
878.81/878.38	c cleaning 16988 clauses out of 34010 with flag 5056000/5056000
881.81/881.39	c cleaning 17002 clauses out of 34023 with flag 5073001/5073001
884.71/884.20	c cleaning 17000 clauses out of 34021 with flag 5090001/5090001
887.51/887.07	c cleaning 17003 clauses out of 34020 with flag 5107000/5107000
890.61/890.14	c cleaning 16997 clauses out of 34017 with flag 5124000/5124000
893.52/893.08	c cleaning 17006 clauses out of 34021 with flag 5141001/5141001
896.52/896.06	c cleaning 16996 clauses out of 34015 with flag 5158001/5158001
899.52/899.01	c cleaning 17003 clauses out of 34019 with flag 5175001/5175001
902.43/901.99	c cleaning 16995 clauses out of 34015 with flag 5192000/5192000
905.43/904.92	c cleaning 17004 clauses out of 34022 with flag 5209002/5209002
908.43/907.94	c cleaning 16997 clauses out of 34016 with flag 5226000/5226000
911.43/910.91	c cleaning 17000 clauses out of 34019 with flag 5243000/5243000
914.43/913.93	c cleaning 17002 clauses out of 34020 with flag 5260001/5260001
917.43/916.95	c cleaning 17007 clauses out of 34018 with flag 5277001/5277001
920.53/920.08	c cleaning 16994 clauses out of 34010 with flag 5294000/5294000
923.73/923.27	c cleaning 17004 clauses out of 34017 with flag 5311001/5311001
926.83/926.31	c cleaning 17001 clauses out of 34012 with flag 5328000/5328000
929.63/929.18	c cleaning 16994 clauses out of 34011 with flag 5345000/5345000
932.53/932.03	c cleaning 17003 clauses out of 34017 with flag 5362000/5362000
935.33/934.84	c cleaning 17002 clauses out of 34015 with flag 5379001/5379001
938.24/937.75	c cleaning 16996 clauses out of 34014 with flag 5396002/5396002
941.04/940.56	c cleaning 16999 clauses out of 34016 with flag 5413000/5413000
943.84/943.36	c cleaning 16993 clauses out of 34017 with flag 5430000/5430000
946.74/946.26	c cleaning 17008 clauses out of 34027 with flag 5447003/5447003
949.64/949.20	c cleaning 17002 clauses out of 34018 with flag 5464002/5464002
952.64/952.12	c cleaning 17002 clauses out of 34015 with flag 5481001/5481001
955.44/954.92	c cleaning 17001 clauses out of 34015 with flag 5498003/5498003
958.34/957.87	c cleaning 17001 clauses out of 34011 with flag 5515000/5515000
961.44/960.92	c cleaning 16996 clauses out of 34011 with flag 5532001/5532001
964.54/964.02	c cleaning 17000 clauses out of 34014 with flag 5549000/5549000
967.64/967.10	c cleaning 17000 clauses out of 34014 with flag 5566000/5566000
970.65/970.12	c cleaning 17001 clauses out of 34014 with flag 5583000/5583000
973.54/973.06	c cleaning 17000 clauses out of 34015 with flag 5600002/5600002
976.64/976.12	c cleaning 16998 clauses out of 34014 with flag 5617001/5617001
979.45/978.93	c cleaning 17000 clauses out of 34017 with flag 5634002/5634002
982.55/982.07	c cleaning 16999 clauses out of 34015 with flag 5651000/5651000
985.65/985.16	c cleaning 17000 clauses out of 34016 with flag 5668000/5668000
988.75/988.30	c cleaning 16999 clauses out of 34016 with flag 5685000/5685000
991.75/991.26	c cleaning 16998 clauses out of 34021 with flag 5702004/5702004
994.65/994.19	c cleaning 17001 clauses out of 34019 with flag 5719000/5719000
997.55/997.03	c cleaning 17002 clauses out of 34018 with flag 5736000/5736000
1000.55/1000.03	c cleaning 16998 clauses out of 34018 with flag 5753002/5753002
1003.36/1002.85	c cleaning 17003 clauses out of 34018 with flag 5770000/5770000
1006.46/1005.98	c cleaning 17002 clauses out of 34015 with flag 5787000/5787000
1009.66/1009.14	c cleaning 16994 clauses out of 34014 with flag 5804001/5804001
1012.57/1012.02	c cleaning 16997 clauses out of 34020 with flag 5821001/5821001
1015.46/1014.95	c cleaning 17006 clauses out of 34023 with flag 5838001/5838001
1018.37/1017.89	c cleaning 17000 clauses out of 34016 with flag 5855000/5855000
1021.37/1020.82	c cleaning 17001 clauses out of 34016 with flag 5872000/5872000
1024.27/1023.71	c cleaning 17002 clauses out of 34015 with flag 5889000/5889000
1027.17/1026.61	c cleaning 16996 clauses out of 34013 with flag 5906000/5906000
1029.87/1029.36	c cleaning 17002 clauses out of 34017 with flag 5923000/5923000
1032.77/1032.21	c cleaning 16998 clauses out of 34017 with flag 5940002/5940002
1035.58/1035.07	c cleaning 17003 clauses out of 34017 with flag 5957000/5957000
1038.37/1037.86	c cleaning 16998 clauses out of 34014 with flag 5974000/5974000
1041.47/1040.91	c cleaning 17003 clauses out of 34019 with flag 5991003/5991003
1044.27/1043.75	c cleaning 16999 clauses out of 34013 with flag 6008000/6008000
1047.17/1046.65	c cleaning 17004 clauses out of 34017 with flag 6025003/6025003
1049.98/1049.43	c cleaning 16997 clauses out of 34010 with flag 6042000/6042000
1052.78/1052.28	c cleaning 16999 clauses out of 34013 with flag 6059000/6059000
1055.78/1055.20	c cleaning 16999 clauses out of 34014 with flag 6076000/6076000
1058.58/1058.07	c cleaning 16998 clauses out of 34016 with flag 6093001/6093001
1061.58/1061.03	c cleaning 17002 clauses out of 34017 with flag 6110000/6110000
1064.58/1064.03	c cleaning 16997 clauses out of 34016 with flag 6127001/6127001
1067.38/1066.85	c cleaning 17005 clauses out of 34018 with flag 6144000/6144000
1070.38/1069.86	c cleaning 16997 clauses out of 34013 with flag 6161000/6161000
1073.58/1073.02	c cleaning 16999 clauses out of 34017 with flag 6178001/6178001
1076.49/1075.92	c cleaning 16998 clauses out of 34017 with flag 6195000/6195000
1079.48/1078.99	c cleaning 16999 clauses out of 34019 with flag 6212000/6212000
1082.49/1081.91	c cleaning 17001 clauses out of 34020 with flag 6229000/6229000
1085.49/1084.94	c cleaning 17003 clauses out of 34019 with flag 6246000/6246000
1088.50/1087.98	c cleaning 17000 clauses out of 34016 with flag 6263000/6263000
1091.70/1091.12	c cleaning 16997 clauses out of 34018 with flag 6280002/6280002
1094.69/1094.20	c cleaning 16996 clauses out of 34021 with flag 6297002/6297002
1097.59/1097.08	c cleaning 16998 clauses out of 34023 with flag 6314000/6314000
1100.69/1100.10	c cleaning 16998 clauses out of 34026 with flag 6331001/6331001
1103.70/1103.19	c cleaning 17010 clauses out of 34027 with flag 6348000/6348000
1106.80/1106.28	c cleaning 16995 clauses out of 34017 with flag 6365000/6365000
1110.00/1109.40	c cleaning 17008 clauses out of 34022 with flag 6382000/6382000
1113.00/1112.45	c cleaning 16997 clauses out of 34015 with flag 6399001/6399001
1116.10/1115.59	c cleaning 16997 clauses out of 34018 with flag 6416001/6416001
1119.21/1118.60	c cleaning 17000 clauses out of 34020 with flag 6433000/6433000
1122.20/1121.61	c cleaning 17002 clauses out of 34020 with flag 6450000/6450000
1125.20/1124.63	c cleaning 17004 clauses out of 34018 with flag 6467000/6467000
1128.01/1127.41	c cleaning 16998 clauses out of 34014 with flag 6484000/6484000
1130.91/1130.31	c cleaning 17004 clauses out of 34016 with flag 6501000/6501000
1133.81/1133.27	c cleaning 16999 clauses out of 34014 with flag 6518002/6518002
1136.81/1136.30	c cleaning 17000 clauses out of 34014 with flag 6535001/6535001
1139.81/1139.22	c cleaning 16997 clauses out of 34013 with flag 6552000/6552000
1142.81/1142.22	c cleaning 16995 clauses out of 34016 with flag 6569000/6569000
1145.91/1145.36	c cleaning 16996 clauses out of 34022 with flag 6586001/6586001
1148.92/1148.38	c cleaning 17005 clauses out of 34027 with flag 6603002/6603002
1152.01/1151.47	c cleaning 17004 clauses out of 34020 with flag 6620000/6620000
1155.11/1154.51	c cleaning 16999 clauses out of 34018 with flag 6637002/6637002
1158.11/1157.55	c cleaning 17004 clauses out of 34018 with flag 6654001/6654001
1161.02/1160.48	c cleaning 16999 clauses out of 34014 with flag 6671001/6671001
1164.12/1163.56	c cleaning 17001 clauses out of 34015 with flag 6688001/6688001
1167.21/1166.67	c cleaning 16997 clauses out of 34013 with flag 6705000/6705000
1170.32/1169.80	c cleaning 16997 clauses out of 34017 with flag 6722001/6722001
1173.42/1172.83	c cleaning 17000 clauses out of 34020 with flag 6739001/6739001
1176.42/1175.83	c cleaning 17004 clauses out of 34019 with flag 6756000/6756000
1179.52/1178.91	c cleaning 17002 clauses out of 34016 with flag 6773001/6773001
1182.43/1181.85	c cleaning 16997 clauses out of 34013 with flag 6790000/6790000
1185.43/1184.85	c cleaning 16986 clauses out of 34016 with flag 6807000/6807000
1188.23/1187.69	c cleaning 17008 clauses out of 34030 with flag 6824000/6824000
1191.33/1190.77	c cleaning 17005 clauses out of 34022 with flag 6841000/6841000
1194.23/1193.70	c cleaning 16998 clauses out of 34017 with flag 6858000/6858000
1197.34/1196.74	c cleaning 16992 clauses out of 34020 with flag 6875001/6875001
1200.43/1199.81	c cleaning 17007 clauses out of 34029 with flag 6892002/6892002
1203.33/1202.79	c cleaning 16995 clauses out of 34020 with flag 6909000/6909000
1206.34/1205.78	c cleaning 17004 clauses out of 34025 with flag 6926000/6926000
1209.44/1208.86	c cleaning 16999 clauses out of 34022 with flag 6943001/6943001
1212.64/1212.01	c cleaning 17006 clauses out of 34024 with flag 6960002/6960002
1215.64/1215.08	c cleaning 17002 clauses out of 34016 with flag 6977000/6977000
1218.74/1218.10	c cleaning 16998 clauses out of 34014 with flag 6994000/6994000
1221.74/1221.16	c cleaning 16996 clauses out of 34016 with flag 7011000/7011000
1224.74/1224.19	c cleaning 17003 clauses out of 34020 with flag 7028000/7028000
1227.74/1227.15	c cleaning 17004 clauses out of 34019 with flag 7045002/7045002
1230.74/1230.13	c cleaning 16997 clauses out of 34015 with flag 7062002/7062002
1233.65/1233.05	c cleaning 17003 clauses out of 34019 with flag 7079003/7079003
1236.65/1236.02	c cleaning 16993 clauses out of 34013 with flag 7096000/7096000
1239.55/1238.95	c cleaning 17006 clauses out of 34020 with flag 7113000/7113000
1242.35/1241.73	c cleaning 16999 clauses out of 34014 with flag 7130000/7130000
1245.15/1244.58	c cleaning 17005 clauses out of 34017 with flag 7147002/7147002
1248.06/1247.46	c cleaning 17003 clauses out of 34013 with flag 7164003/7164003
1250.95/1250.33	c cleaning 16999 clauses out of 34009 with flag 7181002/7181002
1253.85/1253.27	c cleaning 17001 clauses out of 34008 with flag 7198000/7198000
1256.76/1256.14	c cleaning 16990 clauses out of 34007 with flag 7215000/7215000
1259.65/1259.03	c cleaning 17003 clauses out of 34017 with flag 7232000/7232000
1262.46/1261.82	c cleaning 16998 clauses out of 34015 with flag 7249001/7249001
1265.26/1264.62	c cleaning 17000 clauses out of 34016 with flag 7266000/7266000
1268.16/1267.55	c cleaning 17005 clauses out of 34017 with flag 7283001/7283001
1270.96/1270.32	c cleaning 17000 clauses out of 34014 with flag 7300003/7300003
1273.96/1273.31	c cleaning 17000 clauses out of 34013 with flag 7317002/7317002
1276.86/1276.22	c cleaning 16999 clauses out of 34013 with flag 7334002/7334002
1280.06/1279.41	c cleaning 16997 clauses out of 34012 with flag 7351000/7351000
1282.96/1282.36	c cleaning 16995 clauses out of 34015 with flag 7368000/7368000
1285.87/1285.23	c cleaning 16995 clauses out of 34020 with flag 7385000/7385000
1288.87/1288.26	c cleaning 17001 clauses out of 34025 with flag 7402000/7402000
1291.77/1291.14	c cleaning 17003 clauses out of 34027 with flag 7419003/7419003
1294.77/1294.15	c cleaning 17007 clauses out of 34022 with flag 7436001/7436001
1297.77/1297.16	c cleaning 17004 clauses out of 34018 with flag 7453004/7453004
1300.68/1300.01	c starts		: 2408
1300.68/1300.01	c conflicts		: 7469359
1300.68/1300.01	c decisions		: 8665536
1300.68/1300.01	c propagations		: 167296776
1300.68/1300.01	c inspects		: 16026856497
1300.68/1300.01	c shortcuts		: 0
1300.68/1300.01	c learnt literals	: 0
1300.68/1300.01	c learnt binary clauses	: 0
1300.68/1300.01	c learnt ternary clauses	: 0
1300.68/1300.01	c learnt constraints	: 7469359
1300.68/1300.01	c ignored constraints	: 0
1300.68/1300.01	c root simplifications	: 2408
1300.68/1300.01	c removed literals (reason simplification)	: 37679566
1300.68/1300.01	c reason swapping (by a shorter reason)	: 0
1300.68/1300.01	c Calls to reduceDB	: 443
1300.68/1300.01	c speed (assignments/second)	: 128721.9091527427
1300.68/1300.01	c non guided choices	90
1300.68/1300.05	c learnt constraints type 
1300.68/1300.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33411
1300.68/1300.05	c constraints type 
1300.68/1300.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1300.68/1300.05	s UNKNOWN
1300.68/1300.05	c Total wall clock time (in seconds) : 1299.77

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190262-1302597668/watcher-3190262-1302597668 -o /tmp/evaluation-result-3190262-1302597668/solver-3190262-1302597668 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190262-1302597668.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.15 3/188 29400
/proc/meminfo: memFree=11085716/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=11760 CPUtime=0 cores=5,7
/proc/29400/stat : 29400 (runsolver) S 29398 29400 29350 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 1 0 371365025 12042240 55 33554432000 4194304 5392636 140736567330768 18446744073709551615 5012135 0 2147483391 4096 24578 18446744071699453118 0 0 17 5 0 0 0
/proc/29400/statm: 2940 55 36 293 0 2644 0

[startup+0.0480211 s]
/proc/loadavg: 0.92 0.98 1.15 3/188 29400
/proc/meminfo: memFree=11085716/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=23028 CPUtime=0 cores=5,7
/proc/29400/stat : 29400 (java) D 29398 29400 29350 0 -1 4202496 1072 0 6 0 0 0 0 0 17 0 1 0 371365025 23580672 819 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 47820210036672 0 0 4096 0 18446744071562234166 0 0 17 5 0 0 1
/proc/29400/statm: 5757 819 615 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100991 s]
/proc/loadavg: 0.92 0.98 1.15 3/188 29400
/proc/meminfo: memFree=11085716/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7551884 CPUtime=0.01 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 8159 0 58 0 0 1 0 0 17 0 10 0 371365025 7733129216 7912 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1887971 7914 1515 9 0 1878719 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551884

[startup+0.341634 s]
/proc/loadavg: 0.92 0.98 1.15 3/188 29400
/proc/meminfo: memFree=11085716/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7636924 CPUtime=0.28 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 11450 0 58 0 25 3 0 0 17 0 18 0 371365025 7820210176 11071 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1909231 11072 2196 9 0 1899969 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7636924

[startup+0.700842 s]
/proc/loadavg: 0.92 0.98 1.15 3/188 29400
/proc/meminfo: memFree=11085716/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=0.89 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 13185 0 58 0 86 3 0 0 17 0 19 0 371365025 7824429056 12217 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 12217 2224 9 0 1900999 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 7641044

[startup+1.50075 s]
/proc/loadavg: 0.92 0.98 1.15 7/266 29483
/proc/meminfo: memFree=10889932/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=1.7 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 15421 0 58 0 167 3 0 0 17 0 19 0 371365025 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 14013 2253 9 0 1900999 0
[pid=29400/tid=29404] ppid=29398 vsize=7641044 CPUtime=1.22 cores=5,7
/proc/29400/task/29404/stat : 29404 (java) R 29398 29400 29350 0 -1 4202560 9831 0 50 0 120 2 0 0 20 0 19 0 371365030 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 46912505581247 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=29400/tid=29405] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 29350 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365033 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=0.01 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 730 0 0 0 1 0 0 0 16 0 19 0 371365036 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.26 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 846 0 0 0 26 0 0 0 16 0 19 0 371365043 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2136 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 14013 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 7641044

[startup+3.10141 s]
/proc/loadavg: 0.92 0.98 1.15 5/266 29483
/proc/meminfo: memFree=10823468/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=3.31 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 16126 0 58 0 328 3 0 0 17 0 19 0 371365025 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 14716 2255 9 0 1900999 0
[pid=29400/tid=29404] ppid=29398 vsize=7641044 CPUtime=2.77 cores=5,7
/proc/29400/task/29404/stat : 29404 (java) R 29398 29400 29350 0 -1 4202560 9832 0 50 0 275 2 0 0 19 0 19 0 371365030 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 46912505581329 0 4 0 16800975 0 0 0 -1 7 0 0 8
[pid=29400/tid=29405] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 29350 0 -1 4202560 724 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 29350 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 29350 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 348 0 0 0 0 0 0 0 16 0 19 0 371365033 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=0.04 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 1066 0 0 0 4 0 0 0 15 0 19 0 371365036 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.29 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 853 0 0 0 29 0 0 0 15 0 19 0 371365043 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2137 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 14716 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 7641044

[startup+6.30086 s]
/proc/loadavg: 1.49 1.10 1.18 5/266 29483
/proc/meminfo: memFree=10760524/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=6.52 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 16535 0 58 0 648 4 0 0 17 0 19 0 371365025 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 15121 2255 9 0 1900999 0
[pid=29400/tid=29404] ppid=29398 vsize=7641044 CPUtime=5.89 cores=5,7
/proc/29400/task/29404/stat : 29404 (java) R 29398 29400 29350 0 -1 4202560 9835 0 50 0 587 2 0 0 25 0 19 0 371365030 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 46912505580992 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=29400/tid=29405] ppid=29398 vsize=7641044 CPUtime=0.01 cores=5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 29350 0 -1 4202560 882 0 0 0 1 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 29350 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 29350 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 422 0 0 0 0 0 0 0 15 0 19 0 371365033 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=0.09 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 1230 0 0 0 9 0 0 0 16 0 19 0 371365036 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.31 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 859 0 0 0 31 0 0 0 15 0 19 0 371365043 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2137 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 15121 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 7641044

[startup+12.7007 s]

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

[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0.13 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 169 0 0 0 13 0 0 0 15 0 19 0 371365033 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 264 0 0 0 14 0 0 0 16 0 19 0 371365033 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0.13 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 434 0 0 0 13 0 0 0 15 0 19 0 371365033 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=7.84 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 2275 0 0 0 781 3 0 0 16 0 19 0 371365036 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.33 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 863 0 0 0 33 0 0 0 15 0 19 0 371365043 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2137 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 16616 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1122.9
Current children cumulated vsize (KiB) 7641044

[startup+1182.3 s]
/proc/loadavg: 4.02 4.00 3.24 5/266 29515
/proc/meminfo: memFree=10503144/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=1182.93 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 18571 0 58 0 118281 12 0 0 17 0 19 0 371365025 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 16621 2256 9 0 1900999 0
[pid=29400/tid=29404] ppid=29398 vsize=7641044 CPUtime=1172.96 cores=5,7
/proc/29400/task/29404/stat : 29404 (java) R 29398 29400 29350 0 -1 4202560 10233 0 50 0 117292 4 0 0 25 0 19 0 371365030 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 46912505616966 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=29400/tid=29405] ppid=29398 vsize=7641044 CPUtime=0.16 cores=5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 29350 0 -1 4202560 892 0 0 0 16 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 29350 0 -1 4202560 15 0 0 0 14 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=7641044 CPUtime=0.12 cores=5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 29350 0 -1 4202560 23 0 0 0 12 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 29350 0 -1 4202560 14 0 0 0 14 0 0 0 16 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=7641044 CPUtime=0.12 cores=5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 29350 0 -1 4202560 31 0 0 0 12 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 171 0 0 0 14 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 265 0 0 0 14 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0.13 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 435 0 0 0 13 0 0 0 15 0 19 0 371365033 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=8.27 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 2277 0 0 0 823 4 0 0 16 0 19 0 371365036 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.33 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 863 0 0 0 33 0 0 0 15 0 19 0 371365043 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2137 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 16621 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (KiB) 7641044

[startup+1242.3 s]
/proc/loadavg: 4.06 4.01 3.29 5/266 29525
/proc/meminfo: memFree=10487156/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=1242.95 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 18607 0 58 0 124283 12 0 0 17 0 19 0 371365025 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 16629 2256 9 0 1900999 0
[pid=29400/tid=29404] ppid=29398 vsize=7641044 CPUtime=1232.5 cores=5,7
/proc/29400/task/29404/stat : 29404 (java) R 29398 29400 29350 0 -1 4202560 10253 0 50 0 123246 4 0 0 25 0 19 0 371365030 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 46912505616966 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=29400/tid=29405] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 29350 0 -1 4202560 894 0 0 0 17 0 0 0 15 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 14 0 0 0 15 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=7641044 CPUtime=0.13 cores=5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 29350 0 -1 4202560 23 0 0 0 13 0 0 0 16 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=7641044 CPUtime=0.15 cores=5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 29350 0 -1 4202560 14 0 0 0 15 0 0 0 15 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=7641044 CPUtime=0.13 cores=5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 29350 0 -1 4202560 32 0 0 0 13 0 0 0 15 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 172 0 0 0 14 0 0 0 15 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0.15 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 265 0 0 0 15 0 0 0 15 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 437 0 0 0 14 0 0 0 16 0 19 0 371365033 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=8.7 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 2281 0 0 0 866 4 0 0 16 0 19 0 371365036 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.33 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 863 0 0 0 33 0 0 0 15 0 19 0 371365043 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2137 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 16629 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1242.95
Current children cumulated vsize (KiB) 7641044



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.01 3.33 3/228 29533
/proc/meminfo: memFree=10668064/32951124 swapFree=67111524/67111528
[pid=29400] ppid=29398 vsize=7641044 CPUtime=1300.68 cores=5,7
/proc/29400/stat : 29400 (java) S 29398 29400 29350 0 -1 4202496 18640 0 58 0 130056 12 0 0 17 0 19 0 371365025 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1
/proc/29400/statm: 1910261 16635 2256 9 0 1900999 0
[pid=29400/tid=29404] ppid=29398 vsize=7641044 CPUtime=1289.77 cores=5,7
/proc/29400/task/29404/stat : 29404 (java) R 29398 29400 29350 0 -1 4202560 10272 0 50 0 128973 4 0 0 25 0 19 0 371365030 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 46912505616966 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=29400/tid=29405] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 29350 0 -1 4202560 894 0 0 0 17 0 0 0 16 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=7641044 CPUtime=0.16 cores=5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 16 0 0 0 16 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=7641044 CPUtime=0.14 cores=5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 29350 0 -1 4202560 23 0 0 0 14 0 0 0 15 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=7641044 CPUtime=0.16 cores=5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 29350 0 -1 4202560 14 0 0 0 16 0 0 0 15 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=7641044 CPUtime=0.13 cores=5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 29350 0 -1 4202560 32 0 0 0 13 0 0 0 16 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=7641044 CPUtime=0.15 cores=5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 29350 0 -1 4202560 172 0 0 0 15 0 0 0 15 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=7641044 CPUtime=0.15 cores=5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 29350 0 -1 4202560 267 0 0 0 15 0 0 0 15 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=7641044 CPUtime=0.15 cores=5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 29350 0 -1 4202560 439 0 0 0 15 0 0 0 15 0 19 0 371365033 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29431] ppid=29398 vsize=7641044 CPUtime=9.1 cores=5,7
/proc/29400/task/29431/stat : 29431 (java) S 29398 29400 29350 0 -1 4202560 2287 0 0 0 906 4 0 0 15 0 19 0 371365036 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 0 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29434] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29434/stat : 29434 (java) S 29398 29400 29350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29437] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29437/stat : 29437 (java) S 29398 29400 29350 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371365037 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 25
[pid=29400/tid=29440] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29440/stat : 29440 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371365043 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528657841 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29443] ppid=29398 vsize=7641044 CPUtime=0.33 cores=5,7
/proc/29400/task/29443/stat : 29443 (java) S 29398 29400 29350 0 -1 4202560 863 0 0 0 33 0 0 0 15 0 19 0 371365043 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29444] ppid=29398 vsize=7641044 CPUtime=0.17 cores=5,7
/proc/29400/task/29444/stat : 29444 (java) S 29398 29400 29350 0 -1 4202560 2137 0 0 0 17 0 0 0 15 0 19 0 371365043 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29448] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29448/stat : 29448 (java) S 29398 29400 29350 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371365043 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650137 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
[pid=29400/tid=29452] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29452/stat : 29452 (java) S 29398 29400 29350 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371365043 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 7 0 0 0
[pid=29400/tid=29458] ppid=29398 vsize=7641044 CPUtime=0 cores=5,7
/proc/29400/task/29458/stat : 29458 (java) S 29398 29400 29350 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371365059 7824429056 16635 33554432000 1073741824 1073778376 140734849491136 18446744073709551615 246528650752 0 4 0 16800975 18446604471116486528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1300.68
Current children cumulated vsize (KiB) 7641044

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

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

Child status: 143
Real time (s): 1300.06
CPU time (s): 1300.75
CPU user time (s): 1300.61
CPU system time (s): 0.131979
CPU usage (%): 100.053
Max. virtual memory (cumulated for all children) (KiB): 7641044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.61
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18676
page faults= 58
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39584
involuntary context switches= 13085

runsolver used 2.03269 second user time and 5.12522 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-12 10:41:08
IDJOB=3190262
IDBENCH=82593
IDSOLVER=1611
FILE ID=node134/3190262-1302597668
RUNJOBID= node134-1302597668-29371
PBS_JOBID= 12958108
Free space on /tmp= 71436 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190262-1302597668/watcher-3190262-1302597668 -o /tmp/evaluation-result-3190262-1302597668/solver-3190262-1302597668 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190262-1302597668.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 8a262b49dcf27b27fb405f8a8cdf125f
RANDOM SEED=1121015898

node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 7186.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11086532 kB
Buffers:        688588 kB
Cached:       20658264 kB
SwapCached:          4 kB
Active:        9718156 kB
Inactive:     11695488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11086532 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1700 kB
Writeback:           0 kB
AnonPages:       65860 kB
Mapped:          16820 kB
Slab:           385192 kB
PageTables:       5924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   234048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71432 MiB
End job on node134 at 2011-04-12 11:02:50