Trace number 3190176

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) 1299.91 1300.04

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
MD5SUM860d0404ebc2282cbe692f8828f81b2c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark454.473
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/1.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/1.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/1.06	c See www.sat4j.org for details.
0.06/1.06	c no version file found!!!
0.06/1.06	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/1.06	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/1.06	c java.vm.version	19.1-b02
0.06/1.06	c java.vm.vendor	Sun Microsystems Inc.
0.06/1.06	c sun.arch.data.model	64
0.06/1.06	c java.version		1.6.0_24
0.06/1.06	c os.name		Linux
0.06/1.06	c os.version		2.6.18-164.el5
0.06/1.06	c os.arch		amd64
0.06/1.06	c Free memory 		6997539544
0.06/1.06	c Max memory 		7034241024
0.06/1.06	c Total memory 		7034241024
0.06/1.06	c Number of processors 	8
0.06/1.08	c --- Begin Solver configuration ---
0.06/1.08	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.06/1.08	c Learn all clauses as in MiniSAT
0.06/1.08	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/1.08	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/1.08	c Expensive reason simplification
0.06/1.08	c Armin Biere (Picosat) restarts strategy
0.06/1.08	c Glucose learned constraints deletion strategy
0.06/1.08	c timeout=2147483647s
0.06/1.08	c DB Simplification allowed=true
0.06/1.08	c --- End Solver configuration ---
0.06/1.08	c solving HOME/instance-3190176-1302596679.cnf
0.06/1.08	c reading problem ... 
0.15/1.18	c ... done. Wall clock time 0.094s.
0.15/1.18	c #vars     200
0.15/1.18	c #constraints  17000
0.15/1.18	c constraints type 
0.15/1.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1.30/1.95	c cleaning 2497 clauses out of 5000 with flag 5000/5000
2.02/2.61	c cleaning 4247 clauses out of 8503 with flag 11000/11000
2.82/3.44	c cleaning 5626 clauses out of 11258 with flag 18002/18002
3.83/4.48	c cleaning 6812 clauses out of 13632 with flag 26002/26002
5.03/5.67	c cleaning 7906 clauses out of 15819 with flag 35001/35001
6.43/7.05	c cleaning 8948 clauses out of 17912 with flag 45000/45000
8.02/8.61	c cleaning 9979 clauses out of 19964 with flag 56000/56000
9.83/10.45	c cleaning 10991 clauses out of 21986 with flag 68001/68001
11.83/12.46	c cleaning 11993 clauses out of 23994 with flag 81000/81000
14.13/14.73	c cleaning 13000 clauses out of 26002 with flag 95001/95001
16.63/17.29	c cleaning 13995 clauses out of 28001 with flag 110000/110000
19.44/20.08	c cleaning 15000 clauses out of 30007 with flag 126001/126001
22.54/23.15	c cleaning 16001 clauses out of 32007 with flag 143001/143001
25.75/26.36	c cleaning 16500 clauses out of 33007 with flag 160002/160002
28.94/29.51	c cleaning 16749 clauses out of 33505 with flag 177000/177000
32.04/32.65	c cleaning 16873 clauses out of 33758 with flag 194002/194002
35.05/35.60	c cleaning 16936 clauses out of 33884 with flag 211001/211001
38.15/38.74	c cleaning 16966 clauses out of 33947 with flag 228000/228000
41.25/41.87	c cleaning 16987 clauses out of 33982 with flag 245001/245001
44.35/44.95	c cleaning 16990 clauses out of 33994 with flag 262000/262000
47.55/48.11	c cleaning 17001 clauses out of 34005 with flag 279001/279001
50.65/51.21	c cleaning 16997 clauses out of 34003 with flag 296000/296000
53.65/54.24	c cleaning 16999 clauses out of 34006 with flag 313000/313000
56.85/57.43	c cleaning 16997 clauses out of 34007 with flag 330000/330000
59.75/60.40	c cleaning 17002 clauses out of 34011 with flag 347001/347001
62.85/63.41	c cleaning 17001 clauses out of 34009 with flag 364001/364001
65.85/66.45	c cleaning 16997 clauses out of 34007 with flag 381000/381000
68.66/69.29	c cleaning 16998 clauses out of 34012 with flag 398002/398002
71.85/72.41	c cleaning 17004 clauses out of 34015 with flag 415003/415003
74.75/75.33	c cleaning 16999 clauses out of 34008 with flag 432000/432000
77.85/78.41	c cleaning 17002 clauses out of 34009 with flag 449000/449000
80.86/81.48	c cleaning 17000 clauses out of 34007 with flag 466000/466000
83.85/84.45	c cleaning 16996 clauses out of 34008 with flag 483001/483001
87.05/87.61	c cleaning 17001 clauses out of 34013 with flag 500002/500002
90.05/90.64	c cleaning 17004 clauses out of 34011 with flag 517001/517001
92.96/93.59	c cleaning 17001 clauses out of 34007 with flag 534001/534001
95.96/96.55	c cleaning 16998 clauses out of 34005 with flag 551000/551000
98.96/99.60	c cleaning 16999 clauses out of 34008 with flag 568001/568001
101.86/102.50	c cleaning 17002 clauses out of 34010 with flag 585002/585002
104.86/105.44	c cleaning 17001 clauses out of 34009 with flag 602003/602003
107.86/108.46	c cleaning 16997 clauses out of 34005 with flag 619000/619000
110.86/111.40	c cleaning 16998 clauses out of 34009 with flag 636001/636001
113.77/114.35	c cleaning 17001 clauses out of 34011 with flag 653001/653001
116.76/117.31	c cleaning 16995 clauses out of 34009 with flag 670000/670000
119.86/120.40	c cleaning 17001 clauses out of 34014 with flag 687000/687000
122.67/123.21	c cleaning 16999 clauses out of 34013 with flag 704000/704000
125.56/126.16	c cleaning 17000 clauses out of 34015 with flag 721001/721001
128.36/128.90	c cleaning 16999 clauses out of 34015 with flag 738001/738001
131.37/131.99	c cleaning 17002 clauses out of 34017 with flag 755002/755002
134.36/134.97	c cleaning 16996 clauses out of 34013 with flag 772000/772000
137.27/137.86	c cleaning 17000 clauses out of 34017 with flag 789000/789000
140.27/140.87	c cleaning 17002 clauses out of 34018 with flag 806001/806001
143.37/143.95	c cleaning 17000 clauses out of 34016 with flag 823001/823001
146.47/147.07	c cleaning 16999 clauses out of 34015 with flag 840000/840000
149.47/150.03	c cleaning 17006 clauses out of 34019 with flag 857003/857003
152.47/153.05	c cleaning 17002 clauses out of 34011 with flag 874001/874001
155.37/155.93	c cleaning 17001 clauses out of 34008 with flag 891000/891000
158.37/158.99	c cleaning 16999 clauses out of 34007 with flag 908000/908000
161.47/162.06	c cleaning 17000 clauses out of 34008 with flag 925000/925000
164.38/164.97	c cleaning 16996 clauses out of 34008 with flag 942000/942000
167.37/167.96	c cleaning 17003 clauses out of 34015 with flag 959003/959003
170.37/170.97	c cleaning 16996 clauses out of 34009 with flag 976000/976000
173.37/173.97	c cleaning 17001 clauses out of 34013 with flag 993000/993000
176.37/177.00	c cleaning 17005 clauses out of 34012 with flag 1010000/1010000
179.37/179.98	c cleaning 16995 clauses out of 34007 with flag 1027000/1027000
182.37/182.91	c cleaning 17001 clauses out of 34012 with flag 1044000/1044000
185.28/185.86	c cleaning 16998 clauses out of 34011 with flag 1061000/1061000
188.17/188.75	c cleaning 16995 clauses out of 34013 with flag 1078000/1078000
191.17/191.75	c cleaning 16998 clauses out of 34018 with flag 1095000/1095000
194.28/194.86	c cleaning 17003 clauses out of 34021 with flag 1112001/1112001
197.38/197.92	c cleaning 17005 clauses out of 34018 with flag 1129001/1129001
200.18/200.80	c cleaning 17001 clauses out of 34012 with flag 1146000/1146000
203.08/203.63	c cleaning 16996 clauses out of 34012 with flag 1163001/1163001
205.99/206.54	c cleaning 17005 clauses out of 34017 with flag 1180002/1180002
209.10/209.63	c cleaning 16995 clauses out of 34010 with flag 1197000/1197000
212.10/212.69	c cleaning 17001 clauses out of 34015 with flag 1214000/1214000
215.20/215.71	c cleaning 17000 clauses out of 34014 with flag 1231000/1231000
218.20/218.76	c cleaning 17000 clauses out of 34014 with flag 1248000/1248000
221.20/221.77	c cleaning 16998 clauses out of 34015 with flag 1265001/1265001
224.30/224.84	c cleaning 17000 clauses out of 34016 with flag 1282000/1282000
227.30/227.83	c cleaning 17002 clauses out of 34017 with flag 1299001/1299001
230.30/230.89	c cleaning 16996 clauses out of 34015 with flag 1316001/1316001
233.20/233.77	c cleaning 17003 clauses out of 34021 with flag 1333003/1333003
236.20/236.74	c cleaning 16998 clauses out of 34015 with flag 1350000/1350000
239.31/239.84	c cleaning 17002 clauses out of 34017 with flag 1367000/1367000
242.30/242.87	c cleaning 17002 clauses out of 34016 with flag 1384001/1384001
245.30/245.88	c cleaning 16999 clauses out of 34014 with flag 1401001/1401001
248.20/248.78	c cleaning 17005 clauses out of 34016 with flag 1418002/1418002
251.31/251.86	c cleaning 16994 clauses out of 34009 with flag 1435000/1435000
254.30/254.82	c cleaning 16998 clauses out of 34015 with flag 1452000/1452000
257.30/257.86	c cleaning 17003 clauses out of 34018 with flag 1469001/1469001
260.21/260.77	c cleaning 16999 clauses out of 34014 with flag 1486000/1486000
263.51/264.08	c cleaning 17004 clauses out of 34015 with flag 1503000/1503000
266.51/267.08	c cleaning 17002 clauses out of 34015 with flag 1520004/1520004
269.61/270.14	c cleaning 16998 clauses out of 34011 with flag 1537002/1537002
272.61/273.11	c cleaning 16999 clauses out of 34011 with flag 1554000/1554000
275.71/276.24	c cleaning 16997 clauses out of 34012 with flag 1571000/1571000
278.61/279.19	c cleaning 17001 clauses out of 34015 with flag 1588000/1588000
281.71/282.25	c cleaning 16999 clauses out of 34014 with flag 1605000/1605000
284.81/285.37	c cleaning 17002 clauses out of 34018 with flag 1622003/1622003
287.82/288.35	c cleaning 16998 clauses out of 34013 with flag 1639000/1639000
291.02/291.54	c cleaning 17007 clauses out of 34015 with flag 1656000/1656000
294.12/294.60	c cleaning 16998 clauses out of 34009 with flag 1673001/1673001
297.02/297.59	c cleaning 16999 clauses out of 34010 with flag 1690000/1690000
300.02/300.55	c cleaning 16994 clauses out of 34011 with flag 1707000/1707000
303.02/303.54	c cleaning 17000 clauses out of 34017 with flag 1724000/1724000
306.02/306.50	c cleaning 17005 clauses out of 34017 with flag 1741000/1741000
308.92/309.42	c cleaning 16996 clauses out of 34012 with flag 1758000/1758000
312.02/312.53	c cleaning 16999 clauses out of 34016 with flag 1775000/1775000
314.92/315.49	c cleaning 16998 clauses out of 34017 with flag 1792000/1792000
318.02/318.53	c cleaning 16995 clauses out of 34019 with flag 1809000/1809000
321.12/321.63	c cleaning 17003 clauses out of 34026 with flag 1826002/1826002
324.12/324.69	c cleaning 17003 clauses out of 34021 with flag 1843000/1843000
327.12/327.62	c cleaning 17007 clauses out of 34019 with flag 1860001/1860001
330.02/330.55	c cleaning 16999 clauses out of 34012 with flag 1877001/1877001
332.92/333.49	c cleaning 17004 clauses out of 34013 with flag 1894001/1894001
335.92/336.49	c cleaning 16998 clauses out of 34010 with flag 1911002/1911002
338.82/339.36	c cleaning 16996 clauses out of 34011 with flag 1928001/1928001
341.72/342.28	c cleaning 17001 clauses out of 34014 with flag 1945000/1945000
344.72/345.22	c cleaning 16997 clauses out of 34013 with flag 1962000/1962000
347.93/348.44	c cleaning 16998 clauses out of 34016 with flag 1979000/1979000
350.94/351.49	c cleaning 17003 clauses out of 34020 with flag 1996002/1996002
354.04/354.57	c cleaning 17003 clauses out of 34017 with flag 2013002/2013002
357.04/357.58	c cleaning 17002 clauses out of 34014 with flag 2030002/2030002
360.04/360.53	c cleaning 17000 clauses out of 34011 with flag 2047001/2047001
363.04/363.51	c cleaning 17002 clauses out of 34011 with flag 2064001/2064001
366.04/366.53	c cleaning 17000 clauses out of 34009 with flag 2081001/2081001
368.94/369.42	c cleaning 16998 clauses out of 34009 with flag 2098001/2098001
371.74/372.23	c cleaning 16999 clauses out of 34012 with flag 2115002/2115002
374.84/375.30	c cleaning 17002 clauses out of 34011 with flag 2132000/2132000
377.74/378.21	c cleaning 16996 clauses out of 34010 with flag 2149001/2149001
380.74/381.25	c cleaning 17002 clauses out of 34013 with flag 2166000/2166000
383.75/384.24	c cleaning 16996 clauses out of 34011 with flag 2183000/2183000
386.75/387.27	c cleaning 16999 clauses out of 34015 with flag 2200000/2200000
389.95/390.44	c cleaning 17004 clauses out of 34019 with flag 2217003/2217003
393.05/393.55	c cleaning 17005 clauses out of 34012 with flag 2234000/2234000
395.95/396.49	c cleaning 16995 clauses out of 34007 with flag 2251000/2251000
398.85/399.40	c cleaning 16998 clauses out of 34012 with flag 2268000/2268000
401.85/402.35	c cleaning 17000 clauses out of 34014 with flag 2285000/2285000
404.75/405.27	c cleaning 17001 clauses out of 34016 with flag 2302002/2302002
407.75/408.28	c cleaning 17000 clauses out of 34014 with flag 2319001/2319001
410.75/411.27	c cleaning 16997 clauses out of 34013 with flag 2336000/2336000
413.75/414.25	c cleaning 17003 clauses out of 34017 with flag 2353001/2353001
416.75/417.28	c cleaning 16997 clauses out of 34013 with flag 2370000/2370000
419.65/420.17	c cleaning 16991 clauses out of 34016 with flag 2387000/2387000
422.55/423.01	c cleaning 17001 clauses out of 34025 with flag 2404000/2404000
425.45/425.90	c cleaning 17004 clauses out of 34025 with flag 2421001/2421001
428.35/428.80	c cleaning 17002 clauses out of 34020 with flag 2438000/2438000
431.35/431.81	c cleaning 17005 clauses out of 34019 with flag 2455001/2455001
434.25/434.78	c cleaning 17004 clauses out of 34014 with flag 2472001/2472001
437.15/437.65	c cleaning 16997 clauses out of 34009 with flag 2489000/2489000
440.06/440.56	c cleaning 16995 clauses out of 34013 with flag 2506001/2506001
442.96/443.47	c cleaning 17005 clauses out of 34018 with flag 2523001/2523001
445.96/446.45	c cleaning 16995 clauses out of 34012 with flag 2540000/2540000
448.86/449.36	c cleaning 17001 clauses out of 34017 with flag 2557000/2557000
451.86/452.31	c cleaning 17002 clauses out of 34017 with flag 2574001/2574001
454.86/455.34	c cleaning 16998 clauses out of 34014 with flag 2591000/2591000
457.96/458.47	c cleaning 17005 clauses out of 34017 with flag 2608001/2608001
460.96/461.49	c cleaning 16997 clauses out of 34013 with flag 2625002/2625002
463.96/464.46	c cleaning 16998 clauses out of 34015 with flag 2642001/2642001
467.07/467.55	c cleaning 17000 clauses out of 34018 with flag 2659002/2659002
470.16/470.64	c cleaning 17002 clauses out of 34017 with flag 2676001/2676001
473.17/473.61	c cleaning 16991 clauses out of 34014 with flag 2693000/2693000
476.17/476.68	c cleaning 17011 clauses out of 34025 with flag 2710002/2710002
479.18/479.68	c cleaning 16998 clauses out of 34012 with flag 2727000/2727000
482.17/482.62	c cleaning 17001 clauses out of 34014 with flag 2744000/2744000
485.07/485.53	c cleaning 16999 clauses out of 34013 with flag 2761000/2761000
487.98/488.42	c cleaning 17005 clauses out of 34016 with flag 2778002/2778002
490.87/491.33	c cleaning 17000 clauses out of 34011 with flag 2795002/2795002
493.87/494.39	c cleaning 16997 clauses out of 34009 with flag 2812000/2812000
496.88/497.35	c cleaning 17001 clauses out of 34013 with flag 2829001/2829001
499.98/500.44	c cleaning 16995 clauses out of 34011 with flag 2846000/2846000
502.97/503.41	c cleaning 16997 clauses out of 34016 with flag 2863000/2863000
505.88/506.40	c cleaning 16999 clauses out of 34019 with flag 2880000/2880000
508.78/509.26	c cleaning 17004 clauses out of 34021 with flag 2897001/2897001
511.78/512.21	c cleaning 17000 clauses out of 34017 with flag 2914001/2914001
514.78/515.22	c cleaning 16998 clauses out of 34016 with flag 2931000/2931000
517.88/518.35	c cleaning 16998 clauses out of 34018 with flag 2948000/2948000
520.99/521.42	c cleaning 17000 clauses out of 34021 with flag 2965001/2965001
524.08/524.59	c cleaning 17005 clauses out of 34022 with flag 2982002/2982002
527.08/527.50	c cleaning 17003 clauses out of 34016 with flag 2999001/2999001
529.88/530.33	c cleaning 16998 clauses out of 34013 with flag 3016001/3016001
532.78/533.23	c cleaning 17000 clauses out of 34014 with flag 3033000/3033000
535.68/536.15	c cleaning 16996 clauses out of 34014 with flag 3050000/3050000
538.69/539.14	c cleaning 17003 clauses out of 34018 with flag 3067000/3067000
541.59/542.08	c cleaning 17000 clauses out of 34016 with flag 3084001/3084001
544.59/545.08	c cleaning 17004 clauses out of 34016 with flag 3101001/3101001
547.59/548.00	c cleaning 17000 clauses out of 34012 with flag 3118001/3118001
550.59/551.09	c cleaning 16996 clauses out of 34011 with flag 3135000/3135000
553.59/554.09	c cleaning 17004 clauses out of 34016 with flag 3152001/3152001
556.69/557.16	c cleaning 16996 clauses out of 34012 with flag 3169001/3169001
559.79/560.21	c cleaning 17004 clauses out of 34020 with flag 3186005/3186005
562.99/563.48	c cleaning 16998 clauses out of 34013 with flag 3203002/3203002
566.10/566.56	c cleaning 16994 clauses out of 34013 with flag 3220000/3220000
568.99/569.48	c cleaning 17002 clauses out of 34019 with flag 3237000/3237000
572.09/572.54	c cleaning 16998 clauses out of 34019 with flag 3254002/3254002
575.29/575.75	c cleaning 17002 clauses out of 34021 with flag 3271002/3271002
578.39/578.83	c cleaning 17000 clauses out of 34017 with flag 3288000/3288000
581.30/581.78	c cleaning 17003 clauses out of 34018 with flag 3305001/3305001
584.30/584.71	c cleaning 16995 clauses out of 34014 with flag 3322000/3322000
587.00/587.49	c cleaning 17004 clauses out of 34020 with flag 3339001/3339001
590.10/590.52	c cleaning 16998 clauses out of 34015 with flag 3356000/3356000
593.01/593.46	c cleaning 17001 clauses out of 34017 with flag 3373000/3373000
596.01/596.40	c cleaning 16999 clauses out of 34017 with flag 3390001/3390001
598.91/599.32	c cleaning 16997 clauses out of 34017 with flag 3407000/3407000
601.91/602.33	c cleaning 17004 clauses out of 34021 with flag 3424001/3424001
604.91/605.33	c cleaning 16996 clauses out of 34017 with flag 3441001/3441001
607.82/608.29	c cleaning 17002 clauses out of 34021 with flag 3458001/3458001
610.81/611.21	c cleaning 17000 clauses out of 34018 with flag 3475000/3475000
613.61/614.07	c cleaning 16999 clauses out of 34020 with flag 3492002/3492002
616.72/617.17	c cleaning 17002 clauses out of 34019 with flag 3509000/3509000
619.81/620.26	c cleaning 17000 clauses out of 34018 with flag 3526001/3526001
622.81/623.28	c cleaning 17003 clauses out of 34017 with flag 3543000/3543000
625.92/626.31	c cleaning 16998 clauses out of 34014 with flag 3560000/3560000
628.92/629.38	c cleaning 16999 clauses out of 34016 with flag 3577000/3577000
631.92/632.38	c cleaning 16997 clauses out of 34017 with flag 3594000/3594000
634.92/635.39	c cleaning 17000 clauses out of 34021 with flag 3611001/3611001
637.92/638.39	c cleaning 17006 clauses out of 34021 with flag 3628001/3628001
640.83/641.26	c cleaning 16990 clauses out of 34014 with flag 3645000/3645000
643.92/644.35	c cleaning 17000 clauses out of 34024 with flag 3662000/3662000
646.82/647.28	c cleaning 17005 clauses out of 34025 with flag 3679001/3679001
649.83/650.26	c cleaning 16999 clauses out of 34020 with flag 3696001/3696001
652.83/653.26	c cleaning 17003 clauses out of 34021 with flag 3713001/3713001
655.73/656.19	c cleaning 17003 clauses out of 34017 with flag 3730000/3730000
658.73/659.13	c cleaning 17001 clauses out of 34015 with flag 3747001/3747001
661.63/662.09	c cleaning 17000 clauses out of 34014 with flag 3764001/3764001
664.63/665.04	c cleaning 17000 clauses out of 34014 with flag 3781001/3781001
667.63/668.03	c cleaning 16998 clauses out of 34014 with flag 3798001/3798001
670.54/670.95	c cleaning 17000 clauses out of 34016 with flag 3815001/3815001
673.53/673.95	c cleaning 16999 clauses out of 34016 with flag 3832001/3832001
676.53/676.92	c cleaning 17003 clauses out of 34016 with flag 3849000/3849000
679.53/679.90	c cleaning 17003 clauses out of 34013 with flag 3866000/3866000
682.64/683.03	c cleaning 16996 clauses out of 34010 with flag 3883000/3883000
685.63/686.02	c cleaning 16995 clauses out of 34014 with flag 3900000/3900000
688.84/689.25	c cleaning 17003 clauses out of 34020 with flag 3917001/3917001
692.04/692.41	c cleaning 16995 clauses out of 34016 with flag 3934000/3934000
695.14/695.58	c cleaning 17001 clauses out of 34023 with flag 3951002/3951002
698.24/698.63	c cleaning 17004 clauses out of 34020 with flag 3968000/3968000
701.35/701.74	c cleaning 17000 clauses out of 34016 with flag 3985000/3985000
704.24/704.62	c cleaning 17002 clauses out of 34016 with flag 4002000/4002000
707.14/707.55	c cleaning 17000 clauses out of 34014 with flag 4019000/4019000
710.04/710.47	c cleaning 17000 clauses out of 34014 with flag 4036000/4036000
713.04/713.42	c cleaning 17004 clauses out of 34016 with flag 4053002/4053002
715.94/716.35	c cleaning 16998 clauses out of 34010 with flag 4070000/4070000
718.84/719.22	c cleaning 16998 clauses out of 34012 with flag 4087000/4087000
721.84/722.20	c cleaning 16996 clauses out of 34014 with flag 4104000/4104000
724.75/725.13	c cleaning 17001 clauses out of 34020 with flag 4121002/4121002
727.85/728.24	c cleaning 17002 clauses out of 34017 with flag 4138000/4138000
730.95/731.34	c cleaning 17000 clauses out of 34015 with flag 4155000/4155000
734.05/734.40	c cleaning 16996 clauses out of 34016 with flag 4172001/4172001
737.15/737.51	c cleaning 17003 clauses out of 34019 with flag 4189000/4189000
740.35/740.77	c cleaning 16993 clauses out of 34017 with flag 4206001/4206001
743.35/743.79	c cleaning 17003 clauses out of 34023 with flag 4223000/4223000
746.16/746.58	c cleaning 17004 clauses out of 34022 with flag 4240002/4240002
749.26/749.69	c cleaning 17004 clauses out of 34016 with flag 4257000/4257000
752.26/752.68	c cleaning 16999 clauses out of 34013 with flag 4274001/4274001
755.26/755.62	c cleaning 16998 clauses out of 34013 with flag 4291000/4291000
758.16/758.54	c cleaning 16993 clauses out of 34015 with flag 4308000/4308000
760.96/761.38	c cleaning 17003 clauses out of 34023 with flag 4325001/4325001
763.97/764.35	c cleaning 17005 clauses out of 34021 with flag 4342002/4342002
766.97/767.31	c cleaning 17001 clauses out of 34016 with flag 4359002/4359002
769.97/770.36	c cleaning 17000 clauses out of 34015 with flag 4376002/4376002
773.07/773.46	c cleaning 17005 clauses out of 34014 with flag 4393001/4393001
776.07/776.43	c cleaning 16997 clauses out of 34009 with flag 4410001/4410001
778.97/779.31	c cleaning 16996 clauses out of 34013 with flag 4427002/4427002
781.97/782.33	c cleaning 17002 clauses out of 34015 with flag 4444000/4444000
784.98/785.33	c cleaning 16998 clauses out of 34014 with flag 4461001/4461001
787.87/788.29	c cleaning 16995 clauses out of 34015 with flag 4478000/4478000
790.77/791.17	c cleaning 17004 clauses out of 34022 with flag 4495002/4495002
793.68/794.07	c cleaning 16999 clauses out of 34016 with flag 4512000/4512000
796.58/796.96	c cleaning 17006 clauses out of 34017 with flag 4529000/4529000
799.58/799.92	c cleaning 16998 clauses out of 34011 with flag 4546000/4546000
802.48/802.82	c cleaning 16991 clauses out of 34014 with flag 4563001/4563001
805.38/805.76	c cleaning 17005 clauses out of 34023 with flag 4580001/4580001
808.48/808.82	c cleaning 17001 clauses out of 34017 with flag 4597000/4597000
811.58/811.91	c cleaning 17005 clauses out of 34017 with flag 4614001/4614001
814.69/815.05	c cleaning 16997 clauses out of 34011 with flag 4631000/4631000
817.69/818.04	c cleaning 16998 clauses out of 34014 with flag 4648000/4648000
820.79/821.11	c cleaning 17004 clauses out of 34017 with flag 4665001/4665001
823.89/824.28	c cleaning 16998 clauses out of 34012 with flag 4682000/4682000
826.99/827.30	c cleaning 16997 clauses out of 34014 with flag 4699000/4699000
830.10/830.46	c cleaning 16998 clauses out of 34017 with flag 4716000/4716000
833.09/833.46	c cleaning 17002 clauses out of 34020 with flag 4733001/4733001
836.09/836.45	c cleaning 17006 clauses out of 34017 with flag 4750000/4750000
839.00/839.34	c cleaning 17001 clauses out of 34011 with flag 4767000/4767000
841.99/842.34	c cleaning 16996 clauses out of 34011 with flag 4784001/4784001
844.89/845.24	c cleaning 17001 clauses out of 34016 with flag 4801002/4801002
847.89/848.29	c cleaning 17000 clauses out of 34014 with flag 4818001/4818001
851.00/851.35	c cleaning 16999 clauses out of 34014 with flag 4835001/4835001
853.99/854.36	c cleaning 16993 clauses out of 34014 with flag 4852000/4852000
856.90/857.21	c cleaning 17006 clauses out of 34021 with flag 4869000/4869000
859.70/860.10	c cleaning 16998 clauses out of 34015 with flag 4886000/4886000
862.60/862.98	c cleaning 17004 clauses out of 34017 with flag 4903000/4903000
865.50/865.88	c cleaning 16998 clauses out of 34013 with flag 4920000/4920000
868.50/868.84	c cleaning 17006 clauses out of 34017 with flag 4937002/4937002
871.40/871.76	c cleaning 17000 clauses out of 34011 with flag 4954002/4954002
874.30/874.67	c cleaning 16996 clauses out of 34009 with flag 4971000/4971000
877.41/877.79	c cleaning 17004 clauses out of 34013 with flag 4988000/4988000
880.50/880.84	c cleaning 16997 clauses out of 34010 with flag 5005001/5005001
883.60/883.90	c cleaning 16995 clauses out of 34013 with flag 5022001/5022001
886.50/886.85	c cleaning 17000 clauses out of 34018 with flag 5039001/5039001
889.51/889.90	c cleaning 17001 clauses out of 34018 with flag 5056001/5056001
892.51/892.83	c cleaning 17001 clauses out of 34016 with flag 5073000/5073000
895.31/895.61	c cleaning 16997 clauses out of 34015 with flag 5090000/5090000
898.21/898.53	c cleaning 16999 clauses out of 34018 with flag 5107000/5107000
901.31/901.64	c cleaning 17000 clauses out of 34020 with flag 5124001/5124001
904.31/904.60	c cleaning 17001 clauses out of 34020 with flag 5141001/5141001
907.31/907.67	c cleaning 16999 clauses out of 34018 with flag 5158000/5158000
910.11/910.48	c cleaning 17001 clauses out of 34020 with flag 5175001/5175001
913.01/913.36	c cleaning 16997 clauses out of 34018 with flag 5192000/5192000
915.71/916.03	c cleaning 17001 clauses out of 34022 with flag 5209001/5209001
918.71/919.07	c cleaning 17000 clauses out of 34021 with flag 5226001/5226001
921.52/921.86	c cleaning 17004 clauses out of 34020 with flag 5243000/5243000
924.51/924.86	c cleaning 17003 clauses out of 34018 with flag 5260002/5260002
927.43/927.77	c cleaning 17002 clauses out of 34013 with flag 5277000/5277000
930.43/930.71	c cleaning 16998 clauses out of 34012 with flag 5294001/5294001
933.43/933.76	c cleaning 16999 clauses out of 34014 with flag 5311001/5311001
936.43/936.76	c cleaning 16997 clauses out of 34014 with flag 5328000/5328000
939.33/939.69	c cleaning 17002 clauses out of 34018 with flag 5345001/5345001
942.13/942.45	c cleaning 17001 clauses out of 34015 with flag 5362000/5362000
945.03/945.33	c cleaning 17003 clauses out of 34015 with flag 5379001/5379001
947.83/948.12	c cleaning 17000 clauses out of 34011 with flag 5396000/5396000
950.53/950.90	c cleaning 16994 clauses out of 34011 with flag 5413000/5413000
953.44/953.74	c cleaning 17003 clauses out of 34017 with flag 5430000/5430000
956.13/956.45	c cleaning 16998 clauses out of 34014 with flag 5447000/5447000
959.13/959.49	c cleaning 17001 clauses out of 34016 with flag 5464000/5464000
962.14/962.42	c cleaning 16999 clauses out of 34016 with flag 5481001/5481001
965.04/965.37	c cleaning 16998 clauses out of 34016 with flag 5498000/5498000
967.93/968.22	c cleaning 17002 clauses out of 34020 with flag 5515002/5515002
970.74/971.08	c cleaning 17003 clauses out of 34016 with flag 5532000/5532000
973.84/974.10	c cleaning 16998 clauses out of 34013 with flag 5549000/5549000
976.74/977.08	c cleaning 16999 clauses out of 34015 with flag 5566000/5566000
979.74/980.01	c cleaning 17002 clauses out of 34019 with flag 5583003/5583003
982.54/982.87	c cleaning 17000 clauses out of 34017 with flag 5600003/5600003
985.54/985.89	c cleaning 17001 clauses out of 34014 with flag 5617000/5617000
988.55/988.88	c cleaning 16989 clauses out of 34013 with flag 5634000/5634000
991.74/992.06	c cleaning 17000 clauses out of 34024 with flag 5651000/5651000
994.74/995.04	c cleaning 17006 clauses out of 34024 with flag 5668000/5668000
997.85/998.13	c cleaning 16998 clauses out of 34018 with flag 5685000/5685000
1000.75/1001.01	c cleaning 16999 clauses out of 34021 with flag 5702001/5702001
1003.65/1003.97	c cleaning 17000 clauses out of 34021 with flag 5719000/5719000
1006.55/1006.84	c cleaning 17003 clauses out of 34022 with flag 5736001/5736001
1009.45/1009.71	c cleaning 16998 clauses out of 34018 with flag 5753000/5753000
1012.35/1012.63	c cleaning 17004 clauses out of 34021 with flag 5770001/5770001
1015.55/1015.80	c cleaning 16999 clauses out of 34016 with flag 5787000/5787000
1018.65/1018.98	c cleaning 16993 clauses out of 34017 with flag 5804000/5804000
1021.56/1021.89	c cleaning 17003 clauses out of 34025 with flag 5821001/5821001
1024.66/1024.98	c cleaning 17000 clauses out of 34021 with flag 5838000/5838000
1027.66/1027.93	c cleaning 17001 clauses out of 34022 with flag 5855001/5855001
1030.66/1030.97	c cleaning 17004 clauses out of 34020 with flag 5872000/5872000
1033.45/1033.77	c cleaning 16997 clauses out of 34016 with flag 5889000/5889000
1036.26/1036.59	c cleaning 17001 clauses out of 34020 with flag 5906001/5906001
1039.16/1039.49	c cleaning 16999 clauses out of 34019 with flag 5923001/5923001
1042.06/1042.35	c cleaning 17004 clauses out of 34019 with flag 5940000/5940000
1044.96/1045.26	c cleaning 17001 clauses out of 34016 with flag 5957001/5957001
1047.86/1048.14	c cleaning 16994 clauses out of 34014 with flag 5974000/5974000
1050.86/1051.17	c cleaning 17002 clauses out of 34020 with flag 5991000/5991000
1053.86/1054.16	c cleaning 17000 clauses out of 34018 with flag 6008000/6008000
1056.88/1057.18	c cleaning 16999 clauses out of 34018 with flag 6025000/6025000
1059.87/1060.16	c cleaning 17001 clauses out of 34021 with flag 6042002/6042002
1062.87/1063.17	c cleaning 17002 clauses out of 34018 with flag 6059000/6059000
1065.88/1066.11	c cleaning 17003 clauses out of 34017 with flag 6076001/6076001
1068.78/1069.09	c cleaning 16994 clauses out of 34013 with flag 6093000/6093000
1071.98/1072.22	c cleaning 17004 clauses out of 34022 with flag 6110003/6110003
1074.98/1075.24	c cleaning 16999 clauses out of 34016 with flag 6127001/6127001
1077.88/1078.10	c cleaning 16998 clauses out of 34016 with flag 6144000/6144000
1080.78/1081.01	c cleaning 16999 clauses out of 34018 with flag 6161000/6161000
1083.78/1084.09	c cleaning 17005 clauses out of 34021 with flag 6178002/6178002
1086.88/1087.11	c cleaning 16999 clauses out of 34014 with flag 6195000/6195000
1089.98/1090.27	c cleaning 16996 clauses out of 34015 with flag 6212000/6212000
1092.98/1093.23	c cleaning 17001 clauses out of 34019 with flag 6229000/6229000
1096.08/1096.37	c cleaning 16999 clauses out of 34019 with flag 6246001/6246001
1099.08/1099.32	c cleaning 17001 clauses out of 34019 with flag 6263000/6263000
1102.18/1102.47	c cleaning 17000 clauses out of 34018 with flag 6280000/6280000
1105.19/1105.49	c cleaning 16997 clauses out of 34020 with flag 6297002/6297002
1108.18/1108.47	c cleaning 17004 clauses out of 34021 with flag 6314000/6314000
1111.29/1111.50	c cleaning 17004 clauses out of 34018 with flag 6331001/6331001
1114.29/1114.50	c cleaning 17004 clauses out of 34013 with flag 6348000/6348000
1117.49/1117.72	c cleaning 16992 clauses out of 34009 with flag 6365000/6365000
1120.48/1120.74	c cleaning 17001 clauses out of 34017 with flag 6382000/6382000
1123.59/1123.80	c cleaning 16997 clauses out of 34017 with flag 6399001/6399001
1126.58/1126.84	c cleaning 16996 clauses out of 34020 with flag 6416001/6416001
1129.68/1129.92	c cleaning 17001 clauses out of 34025 with flag 6433002/6433002
1132.58/1132.82	c cleaning 17003 clauses out of 34023 with flag 6450001/6450001
1135.58/1135.86	c cleaning 17005 clauses out of 34021 with flag 6467002/6467002
1138.48/1138.74	c cleaning 16995 clauses out of 34015 with flag 6484001/6484001
1141.28/1141.59	c cleaning 17001 clauses out of 34020 with flag 6501001/6501001
1144.09/1144.36	c cleaning 17002 clauses out of 34018 with flag 6518000/6518000
1146.99/1147.22	c cleaning 17004 clauses out of 34016 with flag 6535000/6535000
1149.89/1150.13	c cleaning 16998 clauses out of 34013 with flag 6552001/6552001
1152.90/1153.12	c cleaning 16997 clauses out of 34015 with flag 6569001/6569001
1155.91/1156.17	c cleaning 17001 clauses out of 34017 with flag 6586000/6586000
1158.80/1159.10	c cleaning 16998 clauses out of 34016 with flag 6603000/6603000
1161.70/1161.99	c cleaning 16997 clauses out of 34018 with flag 6620000/6620000
1164.71/1164.99	c cleaning 17001 clauses out of 34021 with flag 6637000/6637000
1167.80/1168.02	c cleaning 17007 clauses out of 34022 with flag 6654002/6654002
1170.80/1171.00	c cleaning 16996 clauses out of 34014 with flag 6671001/6671001
1173.70/1173.91	c cleaning 16994 clauses out of 34019 with flag 6688002/6688002
1176.60/1176.82	c cleaning 17008 clauses out of 34024 with flag 6705001/6705001
1179.50/1179.77	c cleaning 17000 clauses out of 34015 with flag 6722000/6722000
1182.40/1182.66	c cleaning 16999 clauses out of 34016 with flag 6739001/6739001
1185.41/1185.67	c cleaning 17003 clauses out of 34016 with flag 6756000/6756000
1188.51/1188.70	c cleaning 16997 clauses out of 34014 with flag 6773001/6773001
1191.21/1191.47	c cleaning 17001 clauses out of 34017 with flag 6790001/6790001
1194.32/1194.52	c cleaning 16998 clauses out of 34018 with flag 6807003/6807003
1197.21/1197.46	c cleaning 17001 clauses out of 34017 with flag 6824000/6824000
1200.21/1200.48	c cleaning 16997 clauses out of 34016 with flag 6841000/6841000
1203.22/1203.42	c cleaning 17002 clauses out of 34019 with flag 6858000/6858000
1206.22/1206.43	c cleaning 17002 clauses out of 34017 with flag 6875000/6875000
1209.32/1209.50	c cleaning 16998 clauses out of 34015 with flag 6892000/6892000
1212.22/1212.45	c cleaning 16999 clauses out of 34017 with flag 6909000/6909000
1215.32/1215.51	c cleaning 17002 clauses out of 34019 with flag 6926001/6926001
1218.32/1218.54	c cleaning 17001 clauses out of 34016 with flag 6943000/6943000
1221.42/1221.60	c cleaning 17003 clauses out of 34016 with flag 6960001/6960001
1224.52/1224.72	c cleaning 16994 clauses out of 34012 with flag 6977000/6977000
1227.52/1227.79	c cleaning 17000 clauses out of 34019 with flag 6994001/6994001
1230.63/1230.85	c cleaning 17000 clauses out of 34019 with flag 7011001/7011001
1233.82/1234.01	c cleaning 16998 clauses out of 34022 with flag 7028004/7028004
1236.72/1236.96	c cleaning 17004 clauses out of 34021 with flag 7045001/7045001
1239.92/1240.13	c cleaning 16994 clauses out of 34018 with flag 7062002/7062002
1243.02/1243.22	c cleaning 17003 clauses out of 34024 with flag 7079002/7079002
1246.13/1246.32	c cleaning 16999 clauses out of 34019 with flag 7096000/7096000
1249.12/1249.32	c cleaning 17004 clauses out of 34020 with flag 7113000/7113000
1252.03/1252.23	c cleaning 17003 clauses out of 34017 with flag 7130001/7130001
1254.83/1255.07	c cleaning 16999 clauses out of 34013 with flag 7147000/7147000
1257.83/1258.04	c cleaning 16997 clauses out of 34014 with flag 7164000/7164000
1260.73/1260.98	c cleaning 17000 clauses out of 34017 with flag 7181000/7181000
1263.74/1263.96	c cleaning 17004 clauses out of 34017 with flag 7198000/7198000
1266.83/1267.02	c cleaning 17000 clauses out of 34015 with flag 7215002/7215002
1269.93/1270.10	c cleaning 17002 clauses out of 34014 with flag 7232001/7232001
1272.93/1273.17	c cleaning 17001 clauses out of 34012 with flag 7249001/7249001
1275.93/1276.11	c cleaning 16993 clauses out of 34011 with flag 7266001/7266001
1278.73/1278.97	c cleaning 17003 clauses out of 34019 with flag 7283002/7283002
1281.53/1281.78	c cleaning 16997 clauses out of 34014 with flag 7300000/7300000
1284.54/1284.75	c cleaning 17004 clauses out of 34018 with flag 7317001/7317001
1287.64/1287.82	c cleaning 16999 clauses out of 34014 with flag 7334001/7334001
1290.74/1290.91	c cleaning 16996 clauses out of 34015 with flag 7351001/7351001
1293.84/1294.01	c cleaning 17001 clauses out of 34018 with flag 7368000/7368000
1296.84/1297.01	c cleaning 17005 clauses out of 34019 with flag 7385002/7385002
1299.85/1300.01	c starts		: 2406
1299.85/1300.01	c conflicts		: 7401626
1299.85/1300.01	c decisions		: 8600692
1299.85/1300.01	c propagations		: 165512070
1299.85/1300.01	c inspects		: 16038709034
1299.85/1300.01	c shortcuts		: 0
1299.85/1300.01	c learnt literals	: 0
1299.85/1300.01	c learnt binary clauses	: 0
1299.85/1300.01	c learnt ternary clauses	: 0
1299.85/1300.01	c learnt constraints	: 7401625
1299.85/1300.01	c ignored constraints	: 0
1299.85/1300.01	c root simplifications	: 2406
1299.85/1300.01	c removed literals (reason simplification)	: 36806514
1299.85/1300.01	c reason swapping (by a shorter reason)	: 0
1299.85/1300.01	c Calls to reduceDB	: 439
1299.85/1300.01	c speed (assignments/second)	: 127431.46996686253
1299.85/1300.01	c non guided choices	82
1299.85/1300.03	c learnt constraints type 
1299.85/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33661
1299.85/1300.03	c constraints type 
1299.85/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1299.85/1300.03	s UNKNOWN
1299.85/1300.03	c Total wall clock time (in seconds) : 1298.926

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-3190176-1302596679/watcher-3190176-1302596679 -o /tmp/evaluation-result-3190176-1302596679/solver-3190176-1302596679 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190176-1302596679.cnf 

running on 2 cores: 0,2

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 1.03 1.43 2/180 18653
/proc/meminfo: memFree=14585692/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=11760 CPUtime=0 cores=0,2
/proc/18653/stat : 18653 (runsolver) D 18648 18653 18602 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 1 0 371268426 12042240 56 33554432000 4194304 5392636 140734235463376 18446744073709551615 5012135 0 0 4096 24578 18446744071562234166 0 0 17 0 0 0 0
/proc/18653/statm: 2940 56 36 293 0 2644 0

[startup+0.0285051 s]
/proc/loadavg: 0.92 1.03 1.43 2/180 18653
/proc/meminfo: memFree=14585692/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=252 CPUtime=0 cores=0,2
/proc/18653/stat : 18653 (java) D 18648 18653 18602 0 -1 4194304 79 0 1 0 0 0 0 0 18 0 1 0 371268426 258048 31 33554432000 1073741824 1073778376 140733289760288 18446744073709551615 230804242055 0 0 4096 0 0 0 0 17 2 0 0 1
/proc/18653/statm: 63 31 24 9 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 252

[startup+0.100506 s]
/proc/loadavg: 0.92 1.03 1.43 2/180 18653
/proc/meminfo: memFree=14585692/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=256 CPUtime=0 cores=0,2
/proc/18653/stat : 18653 (java) D 18648 18653 18602 0 -1 4194304 270 0 2 0 0 0 0 0 17 0 1 0 371268426 262144 33 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230804241909 0 0 4096 0 0 0 0 17 2 0 0 5
/proc/18653/statm: 64 33 24 9 0 23 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 256

[startup+0.30044 s]
/proc/loadavg: 0.92 1.03 1.43 2/180 18653
/proc/meminfo: memFree=14585692/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=23028 CPUtime=0 cores=0,2
/proc/18653/stat : 18653 (java) D 18648 18653 18602 0 -1 4202496 634 0 11 0 0 0 0 0 17 0 1 0 371268426 23580672 386 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230804203264 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 15
/proc/18653/statm: 5757 386 293 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.700421 s]
/proc/loadavg: 0.92 1.03 1.43 2/180 18653
/proc/meminfo: memFree=14585692/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=23028 CPUtime=0 cores=0,2
/proc/18653/stat : 18653 (java) D 18648 18653 18602 0 -1 4202496 1011 0 46 0 0 0 0 0 17 0 1 0 371268426 23580672 798 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 47875148659168 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 55
/proc/18653/statm: 5757 798 593 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+1.5012 s]
/proc/loadavg: 0.92 1.03 1.43 1/238 18711
/proc/meminfo: memFree=14459596/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=0.86 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 13776 0 100 0 83 3 0 0 17 0 19 0 371268426 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 12371 2223 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=0.5 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 9514 0 48 0 48 2 0 0 19 0 19 0 371268501 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505630784 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18677/stat : 18677 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18681] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18681/stat : 18681 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18686] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18686/stat : 18686 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268518 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 371268521 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 371268523 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 371268523 7822729216 12371 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 7639384

[startup+3.10094 s]
/proc/loadavg: 0.92 1.03 1.43 8/262 18735
/proc/meminfo: memFree=14335540/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=2.52 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 16119 0 100 0 248 4 0 0 17 0 19 0 371268426 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 14709 2254 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=2.02 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 9824 0 48 0 200 2 0 0 22 0 19 0 371268501 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505589879 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 377 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18677/stat : 18677 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18681] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18681/stat : 18681 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18686] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18686/stat : 18686 (java) S 18648 18653 18602 0 -1 4202560 147 0 0 0 0 0 0 0 16 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=0.02 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 881 0 0 0 2 0 0 0 15 0 19 0 371268521 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18713] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18713/stat : 18713 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268529 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820989361 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18718] ppid=18648 vsize=7639384 CPUtime=0.18 cores=0,2
/proc/18653/task/18718/stat : 18718 (java) S 18648 18653 18602 0 -1 4202560 596 0 0 0 18 0 0 0 16 0 19 0 371268529 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18722] ppid=18648 vsize=7639384 CPUtime=0.25 cores=0,2
/proc/18653/task/18722/stat : 18722 (java) S 18648 18653 18602 0 -1 4202560 2621 0 1 0 25 0 0 0 15 0 19 0 371268529 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18726] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18726/stat : 18726 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371268529 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18729] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18729/stat : 18729 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268529 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18733] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18733/stat : 18733 (java) S 18648 18653 18602 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371268545 7822729216 14709 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 7639384

[startup+6.30139 s]
/proc/loadavg: 1.17 1.08 1.44 8/262 18735
/proc/meminfo: memFree=14289456/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=5.73 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 16627 0 100 0 569 4 0 0 17 0 19 0 371268426 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 15213 2254 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=5.13 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 9828 0 48 0 511 2 0 0 25 0 19 0 371268501 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505630784 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18677/stat : 18677 (java) S 18648 18653 18602 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18681] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18681/stat : 18681 (java) S 18648 18653 18602 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18686] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18686/stat : 18686 (java) S 18648 18653 18602 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 337 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 458 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=0.07 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 1140 0 0 0 7 0 0 0 16 0 19 0 371268521 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18713] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18713/stat : 18713 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268529 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820989361 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18718] ppid=18648 vsize=7639384 CPUtime=0.18 cores=0,2
/proc/18653/task/18718/stat : 18718 (java) S 18648 18653 18602 0 -1 4202560 596 0 0 0 18 0 0 0 16 0 19 0 371268529 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18722] ppid=18648 vsize=7639384 CPUtime=0.29 cores=0,2
/proc/18653/task/18722/stat : 18722 (java) S 18648 18653 18602 0 -1 4202560 2627 0 1 0 29 0 0 0 15 0 19 0 371268529 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18726] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18726/stat : 18726 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371268529 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18729] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18729/stat : 18729 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268529 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18733] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18733/stat : 18733 (java) S 18648 18653 18602 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371268545 7822729216 15213 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 7639384

[startup+12.7012 s]
/proc/loadavg: 1.39 1.13 1.45 6/262 18736
/proc/meminfo: memFree=14239900/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=12.13 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 16810 0 100 0 1209 4 0 0 17 0 19 0 371268426 7822729216 14805 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 14805 2254 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=11.44 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 9832 0 48 0 1142 2 0 0 25 0 19 0 371268501 7822729216 14805 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505630916 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14805 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371268518 7822729216 14805 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2

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

[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0.12 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 268 0 0 0 12 0 0 0 15 0 19 0 371268518 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0.13 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 353 0 0 0 13 0 0 0 15 0 19 0 371268518 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0.12 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 472 0 0 0 12 0 0 0 15 0 19 0 371268518 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=8.07 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 2177 0 0 0 803 4 0 0 15 0 19 0 371268521 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18713] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18713/stat : 18713 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268529 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820989361 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18718] ppid=18648 vsize=7639384 CPUtime=0.18 cores=0,2
/proc/18653/task/18718/stat : 18718 (java) S 18648 18653 18602 0 -1 4202560 596 0 0 0 18 0 0 0 16 0 19 0 371268529 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18722] ppid=18648 vsize=7639384 CPUtime=0.31 cores=0,2
/proc/18653/task/18722/stat : 18722 (java) S 18648 18653 18602 0 -1 4202560 3174 0 1 0 31 0 0 0 15 0 19 0 371268529 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18726] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18726/stat : 18726 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371268529 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18729] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18729/stat : 18729 (java) S 18648 18653 18602 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 371268529 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18733] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18733/stat : 18733 (java) S 18648 18653 18602 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371268545 7822729216 16222 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 7639384

[startup+1182.3 s]
/proc/loadavg: 4.00 3.95 3.26 5/262 18767
/proc/meminfo: memFree=13974596/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=1182.1 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 19215 0 100 0 118196 14 0 0 17 0 19 0 371268426 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 16276 2255 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=1171.9 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 10223 0 48 0 117186 4 0 0 25 0 19 0 371268501 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505630784 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 391 0 0 0 15 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0.13 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 24 0 0 0 13 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0.14 cores=0,2
/proc/18653/task/18677/stat : 18677 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18681] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18681/stat : 18681 (java) S 18648 18653 18602 0 -1 4202560 13 0 0 0 15 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18686] ppid=18648 vsize=7639384 CPUtime=0.13 cores=0,2
/proc/18653/task/18686/stat : 18686 (java) S 18648 18653 18602 0 -1 4202560 280 0 0 0 13 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0.13 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 268 0 0 0 13 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 353 0 0 0 15 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0.12 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 472 0 0 0 12 0 0 0 15 0 19 0 371268518 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=8.51 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 2233 0 0 0 846 5 0 0 15 0 19 0 371268521 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18713] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18713/stat : 18713 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268529 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820989361 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18718] ppid=18648 vsize=7639384 CPUtime=0.18 cores=0,2
/proc/18653/task/18718/stat : 18718 (java) S 18648 18653 18602 0 -1 4202560 596 0 0 0 18 0 0 0 16 0 19 0 371268529 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18722] ppid=18648 vsize=7639384 CPUtime=0.31 cores=0,2
/proc/18653/task/18722/stat : 18722 (java) S 18648 18653 18602 0 -1 4202560 3174 0 1 0 31 0 0 0 15 0 19 0 371268529 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18726] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18726/stat : 18726 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371268529 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18729] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18729/stat : 18729 (java) S 18648 18653 18602 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371268529 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18733] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18733/stat : 18733 (java) S 18648 18653 18602 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371268545 7822729216 16276 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 7639384

[startup+1242.3 s]
/proc/loadavg: 4.00 3.95 3.30 5/262 18768
/proc/meminfo: memFree=13959168/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=1242.12 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 19247 0 100 0 124198 14 0 0 17 0 19 0 371268426 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 16280 2255 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=1231.43 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 10243 0 48 0 123139 4 0 0 25 0 19 0 371268501 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505589879 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 392 0 0 0 15 0 0 0 15 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0.13 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 24 0 0 0 13 0 0 0 15 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18677/stat : 18677 (java) S 18648 18653 18602 0 -1 4202560 19 0 0 0 15 0 0 0 16 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18681] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18681/stat : 18681 (java) S 18648 18653 18602 0 -1 4202560 13 0 0 0 15 0 0 0 16 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18686] ppid=18648 vsize=7639384 CPUtime=0.14 cores=0,2
/proc/18653/task/18686/stat : 18686 (java) S 18648 18653 18602 0 -1 4202560 280 0 0 0 14 0 0 0 16 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0.14 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 268 0 0 0 14 0 0 0 16 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0.16 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 353 0 0 0 16 0 0 0 15 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0.13 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 472 0 0 0 13 0 0 0 15 0 19 0 371268518 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=8.94 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 2237 0 0 0 889 5 0 0 15 0 19 0 371268521 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18713] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18713/stat : 18713 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268529 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820989361 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18718] ppid=18648 vsize=7639384 CPUtime=0.18 cores=0,2
/proc/18653/task/18718/stat : 18718 (java) S 18648 18653 18602 0 -1 4202560 596 0 0 0 18 0 0 0 16 0 19 0 371268529 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18722] ppid=18648 vsize=7639384 CPUtime=0.31 cores=0,2
/proc/18653/task/18722/stat : 18722 (java) S 18648 18653 18602 0 -1 4202560 3174 0 1 0 31 0 0 0 15 0 19 0 371268529 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18726] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18726/stat : 18726 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371268529 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18729] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18729/stat : 18729 (java) S 18648 18653 18602 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371268529 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18733] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18733/stat : 18733 (java) S 18648 18653 18602 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371268545 7822729216 16280 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1242.12
Current children cumulated vsize (KiB) 7639384



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.96 3.35 8/262 18770
/proc/meminfo: memFree=13958000/32951124 swapFree=67111528/67111528
[pid=18653] ppid=18648 vsize=7639384 CPUtime=1299.85 cores=0,2
/proc/18653/stat : 18653 (java) S 18648 18653 18602 0 -1 4202496 19273 0 100 0 129970 15 0 0 17 0 19 0 371268426 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 59
/proc/18653/statm: 1909846 16281 2255 9 0 1900584 0
[pid=18653/tid=18665] ppid=18648 vsize=7639384 CPUtime=1288.69 cores=0,2
/proc/18653/task/18665/stat : 18665 (java) R 18648 18653 18602 0 -1 4202560 10262 0 48 0 128864 5 0 0 25 0 19 0 371268501 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 46912505630784 0 4 0 16800975 0 0 0 -1 0 0 0 23
[pid=18653/tid=18669] ppid=18648 vsize=7639384 CPUtime=0.16 cores=0,2
/proc/18653/task/18669/stat : 18669 (java) S 18648 18653 18602 0 -1 4202560 392 0 0 0 16 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18673] ppid=18648 vsize=7639384 CPUtime=0.14 cores=0,2
/proc/18653/task/18673/stat : 18673 (java) S 18648 18653 18602 0 -1 4202560 24 0 0 0 14 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18677] ppid=18648 vsize=7639384 CPUtime=0.16 cores=0,2
/proc/18653/task/18677/stat : 18677 (java) S 18648 18653 18602 0 -1 4202560 19 0 0 0 16 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18681] ppid=18648 vsize=7639384 CPUtime=0.16 cores=0,2
/proc/18653/task/18681/stat : 18681 (java) S 18648 18653 18602 0 -1 4202560 14 0 0 0 16 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18686] ppid=18648 vsize=7639384 CPUtime=0.14 cores=0,2
/proc/18653/task/18686/stat : 18686 (java) S 18648 18653 18602 0 -1 4202560 280 0 0 0 14 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18690] ppid=18648 vsize=7639384 CPUtime=0.15 cores=0,2
/proc/18653/task/18690/stat : 18690 (java) S 18648 18653 18602 0 -1 4202560 268 0 0 0 15 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18693] ppid=18648 vsize=7639384 CPUtime=0.16 cores=0,2
/proc/18653/task/18693/stat : 18693 (java) S 18648 18653 18602 0 -1 4202560 353 0 0 0 16 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18697] ppid=18648 vsize=7639384 CPUtime=0.14 cores=0,2
/proc/18653/task/18697/stat : 18697 (java) S 18648 18653 18602 0 -1 4202560 472 0 0 0 14 0 0 0 15 0 19 0 371268518 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18701] ppid=18648 vsize=7639384 CPUtime=9.35 cores=0,2
/proc/18653/task/18701/stat : 18701 (java) S 18648 18653 18602 0 -1 4202560 2239 0 0 0 930 5 0 0 15 0 19 0 371268521 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 0 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18705] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18705/stat : 18705 (java) S 18648 18653 18602 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18709] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18709/stat : 18709 (java) S 18648 18653 18602 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 371268523 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18713] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18713/stat : 18713 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371268529 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820989361 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18718] ppid=18648 vsize=7639384 CPUtime=0.18 cores=0,2
/proc/18653/task/18718/stat : 18718 (java) S 18648 18653 18602 0 -1 4202560 596 0 0 0 18 0 0 0 16 0 19 0 371268529 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18722] ppid=18648 vsize=7639384 CPUtime=0.31 cores=0,2
/proc/18653/task/18722/stat : 18722 (java) S 18648 18653 18602 0 -1 4202560 3174 0 1 0 31 0 0 0 15 0 19 0 371268529 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 0 0 0 0
[pid=18653/tid=18726] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18726/stat : 18726 (java) S 18648 18653 18602 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371268529 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820981657 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18729] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18729/stat : 18729 (java) S 18648 18653 18602 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371268529 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
[pid=18653/tid=18733] ppid=18648 vsize=7639384 CPUtime=0 cores=0,2
/proc/18653/task/18733/stat : 18733 (java) S 18648 18653 18602 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371268545 7822729216 16281 33554432000 1073741824 1073778376 140734679993680 18446744073709551615 230820982272 0 4 0 16800975 18446604453856203968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1299.85
Current children cumulated vsize (KiB) 7639384

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.04
CPU time (s): 1299.91
CPU user time (s): 1299.75
CPU system time (s): 0.159975
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 7639384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.75
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19523
page faults= 100
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40411
involuntary context switches= 12881

runsolver used 2.13867 second user time and 5.36418 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-12 10:24:40
IDJOB=3190176
IDBENCH=82507
IDSOLVER=1611
FILE ID=node104/3190176-1302596679
RUNJOBID= node104-1302596679-18620
PBS_JOBID= 12958087
Free space on /tmp= 71480 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S862393334-098-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-3190176-1302596679/watcher-3190176-1302596679 -o /tmp/evaluation-result-3190176-1302596679/solver-3190176-1302596679 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190176-1302596679.cnf

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

MD5SUM BENCH= 860d0404ebc2282cbe692f8828f81b2c
RANDOM SEED=171466689

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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	: 5332.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14586152 kB
Buffers:        659312 kB
Cached:       17234396 kB
SwapCached:          0 kB
Active:        9495900 kB
Inactive:      8461536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14586152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4664 kB
Writeback:           0 kB
AnonPages:       64040 kB
Mapped:          14324 kB
Slab:           341376 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189816 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71476 MiB
End job on node104 at 2011-04-12 10:46:22