Trace number 3190237

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1300.59 1300.05

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf
MD5SUMdd0dfae1a7fca71616878d93d3870a71
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark656.835
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.03/0.26	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.26	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.26	c See www.sat4j.org for details.
0.03/0.27	c no version file found!!!
0.03/0.27	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.27	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.27	c java.vm.version	19.1-b02
0.03/0.27	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.27	c sun.arch.data.model	64
0.03/0.27	c java.version		1.6.0_24
0.03/0.27	c os.name		Linux
0.03/0.27	c os.version		2.6.18-164.el5
0.03/0.27	c os.arch		amd64
0.03/0.27	c Free memory 		6997539544
0.03/0.27	c Max memory 		7034241024
0.03/0.27	c Total memory 		7034241024
0.03/0.27	c Number of processors 	8
0.03/0.29	c --- Begin Solver configuration ---
0.03/0.29	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.03/0.29	c Learn all clauses as in MiniSAT
0.03/0.29	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.29	c Expensive reason simplification
0.03/0.29	c Armin Biere (Picosat) restarts strategy
0.03/0.29	c Glucose learned constraints deletion strategy
0.03/0.29	c timeout=2147483647s
0.03/0.29	c DB Simplification allowed=true
0.03/0.29	c --- End Solver configuration ---
0.03/0.29	c solving HOME/instance-3190237-1302597489.cnf
0.03/0.29	c reading problem ... 
0.03/0.39	c ... done. Wall clock time 0.102s.
0.03/0.39	c #vars     200
0.03/0.39	c #constraints  17000
0.03/0.39	c constraints type 
0.29/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1.33/1.15	c cleaning 2498 clauses out of 5001 with flag 5001/5001
2.26/1.81	c cleaning 4249 clauses out of 8504 with flag 11002/11002
3.06/2.61	c cleaning 5625 clauses out of 11254 with flag 18001/18001
4.06/3.60	c cleaning 6808 clauses out of 13628 with flag 26000/26000
5.16/4.73	c cleaning 7905 clauses out of 15820 with flag 35000/35000
6.45/6.06	c cleaning 8958 clauses out of 17915 with flag 45000/45000
7.95/7.56	c cleaning 9974 clauses out of 19957 with flag 56000/56000
9.64/9.29	c cleaning 10987 clauses out of 21983 with flag 68000/68000
11.54/11.18	c cleaning 11996 clauses out of 23996 with flag 81000/81000
13.75/13.35	c cleaning 12995 clauses out of 26000 with flag 95000/95000
16.15/15.78	c cleaning 14002 clauses out of 28009 with flag 110004/110004
18.85/18.44	c cleaning 14997 clauses out of 30003 with flag 126000/126000
21.75/21.30	c cleaning 15998 clauses out of 32006 with flag 143000/143000
24.56/24.15	c cleaning 16497 clauses out of 33008 with flag 160000/160000
27.66/27.23	c cleaning 16751 clauses out of 33511 with flag 177000/177000
30.76/30.30	c cleaning 16874 clauses out of 33762 with flag 194002/194002
33.67/33.22	c cleaning 16936 clauses out of 33886 with flag 211000/211000
36.57/36.19	c cleaning 16965 clauses out of 33951 with flag 228001/228001
39.67/39.28	c cleaning 16988 clauses out of 33985 with flag 245000/245000
42.56/42.14	c cleaning 16990 clauses out of 33997 with flag 262000/262000
45.66/45.23	c cleaning 17001 clauses out of 34009 with flag 279002/279002
48.66/48.21	c cleaning 16998 clauses out of 34007 with flag 296001/296001
51.66/51.20	c cleaning 16994 clauses out of 34008 with flag 313000/313000
54.65/54.29	c cleaning 16998 clauses out of 34014 with flag 330000/330000
57.65/57.22	c cleaning 17005 clauses out of 34018 with flag 347002/347002
60.54/60.13	c cleaning 17003 clauses out of 34012 with flag 364001/364001
63.44/63.08	c cleaning 17000 clauses out of 34009 with flag 381001/381001
66.44/66.02	c cleaning 16998 clauses out of 34009 with flag 398001/398001
69.33/68.99	c cleaning 16998 clauses out of 34010 with flag 415000/415000
72.33/71.91	c cleaning 17001 clauses out of 34012 with flag 432000/432000
75.32/74.91	c cleaning 17004 clauses out of 34011 with flag 449000/449000
78.32/77.94	c cleaning 16995 clauses out of 34008 with flag 466001/466001
81.11/80.79	c cleaning 17003 clauses out of 34013 with flag 483001/483001
84.11/83.79	c cleaning 16998 clauses out of 34009 with flag 500000/500000
87.11/86.70	c cleaning 17001 clauses out of 34012 with flag 517001/517001
89.90/89.51	c cleaning 17002 clauses out of 34010 with flag 534000/534000
93.00/92.62	c cleaning 16999 clauses out of 34008 with flag 551000/551000
96.00/95.67	c cleaning 17001 clauses out of 34009 with flag 568000/568000
98.99/98.61	c cleaning 16996 clauses out of 34008 with flag 585000/585000
101.89/101.52	c cleaning 16996 clauses out of 34015 with flag 602003/602003
104.99/104.67	c cleaning 17003 clauses out of 34016 with flag 619000/619000
107.79/107.47	c cleaning 17001 clauses out of 34014 with flag 636001/636001
110.68/110.33	c cleaning 17000 clauses out of 34013 with flag 653001/653001
113.58/113.29	c cleaning 16999 clauses out of 34014 with flag 670002/670002
116.67/116.36	c cleaning 17002 clauses out of 34013 with flag 687000/687000
119.66/119.35	c cleaning 16999 clauses out of 34012 with flag 704001/704001
122.66/122.34	c cleaning 16998 clauses out of 34012 with flag 721000/721000
125.66/125.36	c cleaning 17001 clauses out of 34014 with flag 738000/738000
128.75/128.43	c cleaning 16999 clauses out of 34013 with flag 755000/755000
131.65/131.31	c cleaning 17004 clauses out of 34014 with flag 772000/772000
134.34/134.05	c cleaning 17000 clauses out of 34011 with flag 789001/789001
137.34/137.04	c cleaning 16999 clauses out of 34010 with flag 806000/806000
140.24/139.99	c cleaning 16994 clauses out of 34012 with flag 823001/823001
143.34/143.06	c cleaning 17003 clauses out of 34019 with flag 840002/840002
146.24/145.98	c cleaning 16997 clauses out of 34014 with flag 857000/857000
149.14/148.80	c cleaning 17003 clauses out of 34018 with flag 874001/874001
152.03/151.74	c cleaning 17003 clauses out of 34015 with flag 891001/891001
154.92/154.65	c cleaning 16997 clauses out of 34012 with flag 908001/908001
157.92/157.63	c cleaning 17005 clauses out of 34014 with flag 925000/925000
160.82/160.53	c cleaning 17003 clauses out of 34011 with flag 942002/942002
163.71/163.46	c cleaning 16998 clauses out of 34007 with flag 959001/959001
166.60/166.34	c cleaning 16997 clauses out of 34008 with flag 976000/976000
169.40/169.13	c cleaning 17000 clauses out of 34011 with flag 993000/993000
172.29/172.07	c cleaning 17003 clauses out of 34013 with flag 1010002/1010002
175.29/175.08	c cleaning 16999 clauses out of 34009 with flag 1027001/1027001
178.18/177.99	c cleaning 16998 clauses out of 34009 with flag 1044000/1044000
181.17/180.90	c cleaning 16992 clauses out of 34011 with flag 1061000/1061000
184.06/183.89	c cleaning 17000 clauses out of 34021 with flag 1078002/1078002
186.96/186.74	c cleaning 16997 clauses out of 34019 with flag 1095000/1095000
189.95/189.72	c cleaning 17006 clauses out of 34023 with flag 1112001/1112001
192.95/192.75	c cleaning 17002 clauses out of 34016 with flag 1129000/1129000
195.85/195.64	c cleaning 17000 clauses out of 34014 with flag 1146000/1146000
198.74/198.54	c cleaning 16999 clauses out of 34015 with flag 1163001/1163001
201.55/201.38	c cleaning 17005 clauses out of 34015 with flag 1180000/1180000
204.54/204.37	c cleaning 16999 clauses out of 34012 with flag 1197002/1197002
207.53/207.35	c cleaning 16998 clauses out of 34012 with flag 1214001/1214001
210.53/210.35	c cleaning 16996 clauses out of 34013 with flag 1231000/1231000
213.53/213.39	c cleaning 17001 clauses out of 34018 with flag 1248001/1248001
216.53/216.36	c cleaning 17002 clauses out of 34017 with flag 1265001/1265001
219.43/219.23	c cleaning 17000 clauses out of 34015 with flag 1282001/1282001
222.24/222.05	c cleaning 17002 clauses out of 34016 with flag 1299002/1299002
225.03/224.85	c cleaning 16999 clauses out of 34016 with flag 1316004/1316004
227.94/227.74	c cleaning 17001 clauses out of 34014 with flag 1333001/1333001
230.93/230.71	c cleaning 16995 clauses out of 34013 with flag 1350001/1350001
233.94/233.75	c cleaning 17005 clauses out of 34019 with flag 1367002/1367002
236.84/236.61	c cleaning 17001 clauses out of 34012 with flag 1384000/1384000
239.74/239.50	c cleaning 16998 clauses out of 34011 with flag 1401000/1401000
242.44/242.27	c cleaning 17000 clauses out of 34014 with flag 1418001/1418001
245.34/245.17	c cleaning 17000 clauses out of 34014 with flag 1435001/1435001
248.24/248.04	c cleaning 17000 clauses out of 34013 with flag 1452000/1452000
251.14/250.99	c cleaning 16998 clauses out of 34013 with flag 1469000/1469000
254.04/253.83	c cleaning 17001 clauses out of 34016 with flag 1486001/1486001
257.04/256.88	c cleaning 17006 clauses out of 34015 with flag 1503001/1503001
260.04/259.84	c cleaning 16996 clauses out of 34008 with flag 1520000/1520000
262.94/262.72	c cleaning 17001 clauses out of 34012 with flag 1537000/1537000
265.74/265.56	c cleaning 16998 clauses out of 34011 with flag 1554000/1554000
268.65/268.45	c cleaning 17002 clauses out of 34014 with flag 1571001/1571001
271.65/271.40	c cleaning 17003 clauses out of 34011 with flag 1588000/1588000
274.75/274.54	c cleaning 16997 clauses out of 34008 with flag 1605000/1605000
277.65/277.48	c cleaning 17001 clauses out of 34013 with flag 1622002/1622002
280.65/280.48	c cleaning 17001 clauses out of 34010 with flag 1639000/1639000
283.75/283.56	c cleaning 17000 clauses out of 34010 with flag 1656001/1656001
286.75/286.57	c cleaning 16999 clauses out of 34009 with flag 1673000/1673000
289.75/289.56	c cleaning 16999 clauses out of 34010 with flag 1690000/1690000
292.65/292.49	c cleaning 16999 clauses out of 34011 with flag 1707000/1707000
295.55/295.38	c cleaning 17000 clauses out of 34012 with flag 1724000/1724000
298.46/298.27	c cleaning 17000 clauses out of 34015 with flag 1741003/1741003
301.46/301.24	c cleaning 16995 clauses out of 34012 with flag 1758000/1758000
304.46/304.20	c cleaning 16999 clauses out of 34017 with flag 1775000/1775000
307.56/307.30	c cleaning 17000 clauses out of 34018 with flag 1792000/1792000
310.56/310.36	c cleaning 17003 clauses out of 34021 with flag 1809003/1809003
313.67/313.41	c cleaning 17002 clauses out of 34017 with flag 1826002/1826002
316.66/316.46	c cleaning 17002 clauses out of 34013 with flag 1843000/1843000
319.56/319.39	c cleaning 17001 clauses out of 34011 with flag 1860000/1860000
322.57/322.32	c cleaning 17002 clauses out of 34010 with flag 1877000/1877000
325.36/325.20	c cleaning 16999 clauses out of 34008 with flag 1894000/1894000
328.36/328.14	c cleaning 16999 clauses out of 34009 with flag 1911000/1911000
331.16/330.98	c cleaning 16999 clauses out of 34010 with flag 1928000/1928000
334.07/333.87	c cleaning 16999 clauses out of 34013 with flag 1945002/1945002
337.07/336.86	c cleaning 16992 clauses out of 34014 with flag 1962002/1962002
339.97/339.79	c cleaning 16994 clauses out of 34020 with flag 1979000/1979000
343.07/342.88	c cleaning 17006 clauses out of 34026 with flag 1996000/1996000
346.27/346.05	c cleaning 17001 clauses out of 34020 with flag 2013000/2013000
349.27/349.03	c cleaning 17008 clauses out of 34022 with flag 2030003/2030003
352.18/351.92	c cleaning 17000 clauses out of 34012 with flag 2047001/2047001
355.07/354.80	c cleaning 16997 clauses out of 34011 with flag 2064000/2064000
357.87/357.67	c cleaning 17005 clauses out of 34015 with flag 2081001/2081001
360.88/360.63	c cleaning 16998 clauses out of 34010 with flag 2098001/2098001
363.68/363.44	c cleaning 16995 clauses out of 34011 with flag 2115000/2115000
366.58/366.32	c cleaning 17000 clauses out of 34017 with flag 2132001/2132001
369.48/369.24	c cleaning 17002 clauses out of 34017 with flag 2149001/2149001
372.38/372.18	c cleaning 16999 clauses out of 34015 with flag 2166001/2166001
375.39/375.13	c cleaning 16996 clauses out of 34015 with flag 2183000/2183000
378.38/378.16	c cleaning 17001 clauses out of 34019 with flag 2200000/2200000
381.38/381.13	c cleaning 16998 clauses out of 34018 with flag 2217000/2217000
384.38/384.13	c cleaning 17005 clauses out of 34021 with flag 2234001/2234001
387.28/387.10	c cleaning 17000 clauses out of 34015 with flag 2251000/2251000
390.28/390.01	c cleaning 17002 clauses out of 34016 with flag 2268001/2268001
393.08/392.86	c cleaning 16999 clauses out of 34013 with flag 2285000/2285000
395.88/395.69	c cleaning 16991 clauses out of 34015 with flag 2302001/2302001
398.88/398.64	c cleaning 17009 clauses out of 34023 with flag 2319000/2319000
401.89/401.60	c cleaning 16996 clauses out of 34014 with flag 2336000/2336000
404.79/404.59	c cleaning 17002 clauses out of 34018 with flag 2353000/2353000
407.59/407.30	c cleaning 17001 clauses out of 34016 with flag 2370000/2370000
410.39/410.10	c cleaning 17001 clauses out of 34015 with flag 2387000/2387000
413.19/412.97	c cleaning 17000 clauses out of 34015 with flag 2404001/2404001
416.19/415.90	c cleaning 17000 clauses out of 34015 with flag 2421001/2421001
418.99/418.74	c cleaning 16996 clauses out of 34015 with flag 2438001/2438001
421.99/421.73	c cleaning 17004 clauses out of 34019 with flag 2455001/2455001
424.99/424.71	c cleaning 17002 clauses out of 34017 with flag 2472003/2472003
427.79/427.54	c cleaning 16999 clauses out of 34013 with flag 2489001/2489001
430.79/430.59	c cleaning 16999 clauses out of 34015 with flag 2506002/2506002
433.80/433.59	c cleaning 16999 clauses out of 34014 with flag 2523000/2523000
436.80/436.50	c cleaning 16996 clauses out of 34015 with flag 2540000/2540000
439.80/439.52	c cleaning 17007 clauses out of 34023 with flag 2557004/2557004
442.80/442.52	c cleaning 16998 clauses out of 34013 with flag 2574001/2574001
445.81/445.51	c cleaning 17003 clauses out of 34014 with flag 2591000/2591000
448.70/448.44	c cleaning 16995 clauses out of 34012 with flag 2608001/2608001
451.50/451.28	c cleaning 16997 clauses out of 34017 with flag 2625001/2625001
454.51/454.23	c cleaning 17003 clauses out of 34020 with flag 2642001/2642001
457.60/457.34	c cleaning 17000 clauses out of 34020 with flag 2659004/2659004
460.60/460.36	c cleaning 17000 clauses out of 34020 with flag 2676004/2676004
463.71/463.42	c cleaning 16999 clauses out of 34016 with flag 2693000/2693000
466.71/466.49	c cleaning 17005 clauses out of 34018 with flag 2710001/2710001
469.61/469.35	c cleaning 16999 clauses out of 34013 with flag 2727001/2727001
472.51/472.27	c cleaning 17000 clauses out of 34014 with flag 2744001/2744001
475.52/475.25	c cleaning 17000 clauses out of 34013 with flag 2761000/2761000
478.51/478.20	c cleaning 16994 clauses out of 34013 with flag 2778000/2778000
481.31/481.06	c cleaning 17002 clauses out of 34019 with flag 2795000/2795000
484.32/484.06	c cleaning 17003 clauses out of 34018 with flag 2812001/2812001
487.31/487.03	c cleaning 16995 clauses out of 34014 with flag 2829000/2829000
490.30/490.01	c cleaning 17005 clauses out of 34022 with flag 2846003/2846003
493.20/492.91	c cleaning 17002 clauses out of 34015 with flag 2863001/2863001
496.10/495.86	c cleaning 16995 clauses out of 34014 with flag 2880002/2880002
499.19/498.92	c cleaning 17006 clauses out of 34019 with flag 2897002/2897002
502.09/501.89	c cleaning 16995 clauses out of 34011 with flag 2914000/2914000
505.19/504.93	c cleaning 17001 clauses out of 34018 with flag 2931002/2931002
508.18/507.97	c cleaning 16998 clauses out of 34015 with flag 2948000/2948000
511.37/511.15	c cleaning 16999 clauses out of 34017 with flag 2965000/2965000
514.46/514.25	c cleaning 17004 clauses out of 34018 with flag 2982000/2982000
517.46/517.21	c cleaning 17000 clauses out of 34015 with flag 2999001/2999001
520.25/520.02	c cleaning 17002 clauses out of 34014 with flag 3016000/3016000
523.05/522.81	c cleaning 17000 clauses out of 34012 with flag 3033000/3033000
525.94/525.72	c cleaning 16995 clauses out of 34012 with flag 3050000/3050000
529.04/528.84	c cleaning 17005 clauses out of 34018 with flag 3067001/3067001
532.04/531.86	c cleaning 17000 clauses out of 34015 with flag 3084003/3084003
534.94/534.79	c cleaning 16996 clauses out of 34014 with flag 3101002/3101002
537.84/537.65	c cleaning 17003 clauses out of 34019 with flag 3118003/3118003
540.74/540.59	c cleaning 16998 clauses out of 34013 with flag 3135000/3135000
543.64/543.45	c cleaning 17000 clauses out of 34015 with flag 3152000/3152000
546.64/546.40	c cleaning 17001 clauses out of 34016 with flag 3169001/3169001
549.54/549.38	c cleaning 17001 clauses out of 34014 with flag 3186000/3186000
552.64/552.42	c cleaning 17000 clauses out of 34014 with flag 3203001/3203001
555.54/555.39	c cleaning 16995 clauses out of 34013 with flag 3220000/3220000
558.54/558.36	c cleaning 17000 clauses out of 34019 with flag 3237001/3237001
561.54/561.35	c cleaning 16996 clauses out of 34018 with flag 3254000/3254000
564.65/564.46	c cleaning 17005 clauses out of 34022 with flag 3271000/3271000
567.64/567.50	c cleaning 17001 clauses out of 34020 with flag 3288003/3288003
570.65/570.41	c cleaning 17005 clauses out of 34017 with flag 3305001/3305001
573.35/573.17	c cleaning 17001 clauses out of 34011 with flag 3322000/3322000
576.15/575.97	c cleaning 16998 clauses out of 34010 with flag 3339000/3339000
579.15/578.91	c cleaning 17003 clauses out of 34012 with flag 3356000/3356000
581.95/581.71	c cleaning 16997 clauses out of 34009 with flag 3373000/3373000
584.75/584.58	c cleaning 16994 clauses out of 34012 with flag 3390000/3390000
587.85/587.68	c cleaning 17000 clauses out of 34020 with flag 3407002/3407002
590.86/590.60	c cleaning 16999 clauses out of 34018 with flag 3424000/3424000
593.65/593.47	c cleaning 16997 clauses out of 34019 with flag 3441000/3441000
596.55/596.39	c cleaning 17006 clauses out of 34023 with flag 3458001/3458001
599.45/599.29	c cleaning 16997 clauses out of 34016 with flag 3475000/3475000
602.46/602.27	c cleaning 17002 clauses out of 34021 with flag 3492002/3492002
605.36/605.15	c cleaning 17001 clauses out of 34018 with flag 3509001/3509001
608.36/608.12	c cleaning 17002 clauses out of 34017 with flag 3526001/3526001
611.26/611.07	c cleaning 17002 clauses out of 34014 with flag 3543000/3543000
614.26/614.06	c cleaning 16993 clauses out of 34012 with flag 3560000/3560000
617.27/617.01	c cleaning 17000 clauses out of 34021 with flag 3577002/3577002
620.16/619.95	c cleaning 17003 clauses out of 34019 with flag 3594000/3594000
623.26/623.06	c cleaning 17001 clauses out of 34016 with flag 3611000/3611000
626.26/626.03	c cleaning 17001 clauses out of 34015 with flag 3628000/3628000
629.06/628.88	c cleaning 17001 clauses out of 34015 with flag 3645001/3645001
631.96/631.71	c cleaning 16996 clauses out of 34013 with flag 3662000/3662000
634.77/634.54	c cleaning 17004 clauses out of 34019 with flag 3679002/3679002
637.57/637.37	c cleaning 16997 clauses out of 34013 with flag 3696000/3696000
640.48/640.23	c cleaning 16997 clauses out of 34016 with flag 3713000/3713000
643.37/643.12	c cleaning 17005 clauses out of 34019 with flag 3730000/3730000
646.37/646.10	c cleaning 16999 clauses out of 34014 with flag 3747000/3747000
649.18/648.97	c cleaning 16996 clauses out of 34016 with flag 3764001/3764001
652.17/651.96	c cleaning 17001 clauses out of 34019 with flag 3781000/3781000
655.08/654.80	c cleaning 17003 clauses out of 34021 with flag 3798003/3798003
657.98/657.75	c cleaning 16996 clauses out of 34016 with flag 3815001/3815001
661.08/660.81	c cleaning 17004 clauses out of 34022 with flag 3832003/3832003
663.98/663.79	c cleaning 17002 clauses out of 34015 with flag 3849000/3849000
667.08/666.86	c cleaning 17004 clauses out of 34014 with flag 3866001/3866001
670.19/669.95	c cleaning 16997 clauses out of 34009 with flag 3883000/3883000
673.18/672.93	c cleaning 16996 clauses out of 34013 with flag 3900001/3900001
676.28/676.05	c cleaning 17001 clauses out of 34018 with flag 3917002/3917002
679.38/679.11	c cleaning 16996 clauses out of 34016 with flag 3934001/3934001
682.29/682.00	c cleaning 17003 clauses out of 34019 with flag 3951000/3951000
685.28/685.01	c cleaning 16996 clauses out of 34017 with flag 3968001/3968001
688.39/688.12	c cleaning 17003 clauses out of 34020 with flag 3985000/3985000
691.29/691.09	c cleaning 17006 clauses out of 34018 with flag 4002001/4002001
694.19/693.90	c cleaning 17001 clauses out of 34011 with flag 4019000/4019000
697.09/696.81	c cleaning 16995 clauses out of 34012 with flag 4036002/4036002
699.99/699.70	c cleaning 17004 clauses out of 34015 with flag 4053000/4053000
702.79/702.51	c cleaning 17000 clauses out of 34012 with flag 4070001/4070001
705.69/705.47	c cleaning 17002 clauses out of 34011 with flag 4087000/4087000
708.60/708.38	c cleaning 17001 clauses out of 34010 with flag 4104001/4104001
711.49/711.26	c cleaning 16998 clauses out of 34009 with flag 4121001/4121001
714.39/714.15	c cleaning 16996 clauses out of 34010 with flag 4138000/4138000
717.30/717.06	c cleaning 17000 clauses out of 34015 with flag 4155001/4155001
720.30/720.07	c cleaning 16999 clauses out of 34015 with flag 4172001/4172001
723.40/723.14	c cleaning 16999 clauses out of 34016 with flag 4189001/4189001
726.50/726.21	c cleaning 16999 clauses out of 34016 with flag 4206000/4206000
729.40/729.19	c cleaning 17001 clauses out of 34017 with flag 4223000/4223000
732.30/732.07	c cleaning 17001 clauses out of 34017 with flag 4240001/4240001
735.30/735.09	c cleaning 17004 clauses out of 34016 with flag 4257001/4257001
738.41/738.11	c cleaning 16997 clauses out of 34015 with flag 4274004/4274004
741.30/741.06	c cleaning 16994 clauses out of 34014 with flag 4291000/4291000
744.50/744.25	c cleaning 17006 clauses out of 34020 with flag 4308000/4308000
747.41/747.18	c cleaning 16998 clauses out of 34014 with flag 4325000/4325000
750.61/750.33	c cleaning 16995 clauses out of 34016 with flag 4342000/4342000
753.61/753.30	c cleaning 16999 clauses out of 34022 with flag 4359001/4359001
756.71/756.41	c cleaning 17001 clauses out of 34023 with flag 4376001/4376001
759.71/759.48	c cleaning 17006 clauses out of 34021 with flag 4393000/4393000
762.52/762.30	c cleaning 16999 clauses out of 34015 with flag 4410000/4410000
765.41/765.15	c cleaning 16999 clauses out of 34016 with flag 4427000/4427000
768.41/768.12	c cleaning 17002 clauses out of 34020 with flag 4444003/4444003
771.12/770.88	c cleaning 17001 clauses out of 34015 with flag 4461000/4461000
773.92/773.66	c cleaning 16999 clauses out of 34014 with flag 4478000/4478000
776.82/776.53	c cleaning 17003 clauses out of 34015 with flag 4495000/4495000
779.62/779.37	c cleaning 16990 clauses out of 34012 with flag 4512000/4512000
782.62/782.34	c cleaning 17007 clauses out of 34024 with flag 4529002/4529002
785.63/785.38	c cleaning 17001 clauses out of 34016 with flag 4546001/4546001
788.62/788.31	c cleaning 16994 clauses out of 34014 with flag 4563000/4563000
791.42/791.18	c cleaning 17003 clauses out of 34020 with flag 4580000/4580000
794.43/794.12	c cleaning 17001 clauses out of 34017 with flag 4597000/4597000
797.43/797.12	c cleaning 16999 clauses out of 34016 with flag 4614000/4614000
800.53/800.28	c cleaning 16998 clauses out of 34017 with flag 4631000/4631000
803.53/803.21	c cleaning 17004 clauses out of 34020 with flag 4648001/4648001
806.54/806.23	c cleaning 16997 clauses out of 34016 with flag 4665001/4665001
809.73/809.41	c cleaning 17005 clauses out of 34020 with flag 4682002/4682002
812.64/812.31	c cleaning 16998 clauses out of 34015 with flag 4699002/4699002
815.64/815.37	c cleaning 17001 clauses out of 34017 with flag 4716002/4716002
818.54/818.28	c cleaning 17002 clauses out of 34015 with flag 4733001/4733001
821.64/821.32	c cleaning 16993 clauses out of 34014 with flag 4750002/4750002
824.64/824.32	c cleaning 16994 clauses out of 34019 with flag 4767000/4767000
827.64/827.33	c cleaning 17004 clauses out of 34026 with flag 4784001/4784001
830.64/830.32	c cleaning 17001 clauses out of 34022 with flag 4801001/4801001
833.64/833.37	c cleaning 17002 clauses out of 34020 with flag 4818000/4818000
836.74/836.45	c cleaning 17005 clauses out of 34019 with flag 4835001/4835001
839.55/839.29	c cleaning 17000 clauses out of 34013 with flag 4852000/4852000
842.44/842.11	c cleaning 17000 clauses out of 34013 with flag 4869000/4869000
845.24/844.92	c cleaning 17002 clauses out of 34013 with flag 4886000/4886000
848.04/847.74	c cleaning 16998 clauses out of 34011 with flag 4903000/4903000
850.94/850.63	c cleaning 16999 clauses out of 34014 with flag 4920001/4920001
853.85/853.52	c cleaning 17002 clauses out of 34014 with flag 4937000/4937000
856.65/856.32	c cleaning 16996 clauses out of 34012 with flag 4954000/4954000
859.55/859.25	c cleaning 17001 clauses out of 34018 with flag 4971002/4971002
862.65/862.39	c cleaning 16999 clauses out of 34016 with flag 4988001/4988001
865.75/865.49	c cleaning 16998 clauses out of 34016 with flag 5005000/5005000
868.75/868.48	c cleaning 17002 clauses out of 34018 with flag 5022000/5022000
871.75/871.44	c cleaning 17005 clauses out of 34017 with flag 5039001/5039001
874.76/874.48	c cleaning 16993 clauses out of 34012 with flag 5056001/5056001
877.85/877.54	c cleaning 17002 clauses out of 34019 with flag 5073001/5073001
880.75/880.41	c cleaning 17001 clauses out of 34016 with flag 5090000/5090000
883.66/883.37	c cleaning 17002 clauses out of 34016 with flag 5107001/5107001
886.86/886.54	c cleaning 16996 clauses out of 34013 with flag 5124000/5124000
889.86/889.52	c cleaning 17003 clauses out of 34019 with flag 5141002/5141002
892.96/892.68	c cleaning 17001 clauses out of 34016 with flag 5158002/5158002
895.96/895.61	c cleaning 17000 clauses out of 34013 with flag 5175000/5175000
899.07/898.70	c cleaning 16999 clauses out of 34013 with flag 5192000/5192000
901.96/901.65	c cleaning 16993 clauses out of 34014 with flag 5209000/5209000
905.06/904.75	c cleaning 17002 clauses out of 34021 with flag 5226000/5226000
907.87/907.52	c cleaning 17004 clauses out of 34020 with flag 5243001/5243001
910.76/910.44	c cleaning 17003 clauses out of 34015 with flag 5260000/5260000
913.67/913.38	c cleaning 17001 clauses out of 34012 with flag 5277000/5277000
916.87/916.53	c cleaning 16995 clauses out of 34012 with flag 5294001/5294001
919.97/919.61	c cleaning 16995 clauses out of 34016 with flag 5311000/5311000
922.97/922.61	c cleaning 17004 clauses out of 34022 with flag 5328001/5328001
925.77/925.42	c cleaning 17002 clauses out of 34017 with flag 5345000/5345000
928.57/928.26	c cleaning 16999 clauses out of 34016 with flag 5362001/5362001
931.47/931.14	c cleaning 17003 clauses out of 34016 with flag 5379000/5379000
934.28/933.97	c cleaning 16997 clauses out of 34013 with flag 5396000/5396000
937.17/936.86	c cleaning 17002 clauses out of 34018 with flag 5413002/5413002
940.07/939.75	c cleaning 17002 clauses out of 34015 with flag 5430001/5430001
942.87/942.58	c cleaning 17000 clauses out of 34014 with flag 5447002/5447002
945.87/945.60	c cleaning 16997 clauses out of 34013 with flag 5464001/5464001
948.78/948.48	c cleaning 16994 clauses out of 34015 with flag 5481000/5481000
951.68/951.37	c cleaning 16999 clauses out of 34021 with flag 5498000/5498000
954.78/954.42	c cleaning 17003 clauses out of 34023 with flag 5515001/5515001
957.88/957.57	c cleaning 16999 clauses out of 34019 with flag 5532000/5532000
960.99/960.64	c cleaning 17007 clauses out of 34022 with flag 5549002/5549002
964.09/963.70	c cleaning 16993 clauses out of 34013 with flag 5566000/5566000
967.09/966.76	c cleaning 16999 clauses out of 34021 with flag 5583001/5583001
970.09/969.77	c cleaning 17005 clauses out of 34021 with flag 5600000/5600000
973.30/972.97	c cleaning 17002 clauses out of 34017 with flag 5617001/5617001
976.40/976.01	c cleaning 16996 clauses out of 34014 with flag 5634000/5634000
979.40/979.07	c cleaning 17001 clauses out of 34019 with flag 5651001/5651001
982.50/982.15	c cleaning 16998 clauses out of 34018 with flag 5668001/5668001
985.60/985.25	c cleaning 16999 clauses out of 34020 with flag 5685001/5685001
988.70/988.36	c cleaning 17000 clauses out of 34020 with flag 5702000/5702000
991.80/991.46	c cleaning 17003 clauses out of 34022 with flag 5719002/5719002
994.90/994.53	c cleaning 17005 clauses out of 34018 with flag 5736001/5736001
998.11/997.73	c cleaning 17003 clauses out of 34012 with flag 5753000/5753000
1001.10/1000.71	c cleaning 16993 clauses out of 34011 with flag 5770002/5770002
1004.11/1003.70	c cleaning 17001 clauses out of 34017 with flag 5787001/5787001
1007.21/1006.80	c cleaning 17000 clauses out of 34015 with flag 5804000/5804000
1010.01/1009.68	c cleaning 17002 clauses out of 34015 with flag 5821000/5821000
1013.21/1012.81	c cleaning 16997 clauses out of 34014 with flag 5838001/5838001
1016.21/1015.84	c cleaning 16998 clauses out of 34017 with flag 5855001/5855001
1019.21/1018.82	c cleaning 17003 clauses out of 34018 with flag 5872000/5872000
1022.01/1021.68	c cleaning 17005 clauses out of 34015 with flag 5889000/5889000
1024.81/1024.45	c cleaning 16998 clauses out of 34011 with flag 5906001/5906001
1027.61/1027.29	c cleaning 17000 clauses out of 34012 with flag 5923000/5923000
1030.61/1030.24	c cleaning 16995 clauses out of 34012 with flag 5940000/5940000
1033.41/1033.06	c cleaning 17003 clauses out of 34017 with flag 5957000/5957000
1036.42/1036.01	c cleaning 16990 clauses out of 34014 with flag 5974000/5974000
1039.32/1038.90	c cleaning 17002 clauses out of 34024 with flag 5991000/5991000
1042.22/1041.81	c cleaning 17004 clauses out of 34026 with flag 6008004/6008004
1045.02/1044.60	c cleaning 16998 clauses out of 34018 with flag 6025000/6025000
1047.92/1047.56	c cleaning 17000 clauses out of 34022 with flag 6042002/6042002
1050.83/1050.40	c cleaning 17003 clauses out of 34020 with flag 6059000/6059000
1053.52/1053.18	c cleaning 16998 clauses out of 34018 with flag 6076001/6076001
1056.33/1055.98	c cleaning 17002 clauses out of 34019 with flag 6093000/6093000
1059.32/1058.95	c cleaning 17001 clauses out of 34017 with flag 6110000/6110000
1062.23/1061.85	c cleaning 16990 clauses out of 34016 with flag 6127000/6127000
1065.23/1064.81	c cleaning 17003 clauses out of 34026 with flag 6144000/6144000
1068.33/1068.00	c cleaning 17007 clauses out of 34024 with flag 6161001/6161001
1071.43/1071.01	c cleaning 17001 clauses out of 34016 with flag 6178000/6178000
1074.33/1073.92	c cleaning 17001 clauses out of 34015 with flag 6195000/6195000
1077.34/1076.92	c cleaning 16998 clauses out of 34014 with flag 6212000/6212000
1080.13/1079.78	c cleaning 16999 clauses out of 34016 with flag 6229000/6229000
1083.13/1082.70	c cleaning 16993 clauses out of 34017 with flag 6246000/6246000
1086.14/1085.72	c cleaning 17005 clauses out of 34024 with flag 6263000/6263000
1089.23/1088.88	c cleaning 17000 clauses out of 34019 with flag 6280000/6280000
1092.23/1091.88	c cleaning 17004 clauses out of 34019 with flag 6297000/6297000
1095.14/1094.70	c cleaning 17003 clauses out of 34015 with flag 6314000/6314000
1098.04/1097.68	c cleaning 16991 clauses out of 34012 with flag 6331000/6331000
1101.04/1100.68	c cleaning 17004 clauses out of 34021 with flag 6348000/6348000
1104.04/1103.68	c cleaning 17004 clauses out of 34018 with flag 6365001/6365001
1107.14/1106.76	c cleaning 16997 clauses out of 34013 with flag 6382000/6382000
1110.14/1109.72	c cleaning 17002 clauses out of 34017 with flag 6399001/6399001
1113.14/1112.79	c cleaning 16994 clauses out of 34015 with flag 6416001/6416001
1116.14/1115.77	c cleaning 16993 clauses out of 34020 with flag 6433000/6433000
1119.24/1118.81	c cleaning 17003 clauses out of 34029 with flag 6450002/6450002
1122.14/1121.77	c cleaning 17003 clauses out of 34024 with flag 6467000/6467000
1124.84/1124.49	c cleaning 17005 clauses out of 34021 with flag 6484000/6484000
1127.65/1127.29	c cleaning 17001 clauses out of 34016 with flag 6501000/6501000
1130.55/1130.11	c cleaning 17003 clauses out of 34015 with flag 6518000/6518000
1133.45/1133.05	c cleaning 16998 clauses out of 34012 with flag 6535000/6535000
1136.25/1135.89	c cleaning 16997 clauses out of 34014 with flag 6552000/6552000
1139.15/1138.73	c cleaning 17003 clauses out of 34017 with flag 6569000/6569000
1142.05/1141.60	c cleaning 16998 clauses out of 34014 with flag 6586000/6586000
1144.95/1144.50	c cleaning 16998 clauses out of 34017 with flag 6603001/6603001
1147.95/1147.53	c cleaning 17003 clauses out of 34018 with flag 6620000/6620000
1151.15/1150.73	c cleaning 17002 clauses out of 34016 with flag 6637001/6637001
1154.26/1153.82	c cleaning 17003 clauses out of 34018 with flag 6654005/6654005
1157.05/1156.65	c cleaning 16990 clauses out of 34010 with flag 6671000/6671000
1159.95/1159.56	c cleaning 17002 clauses out of 34022 with flag 6688002/6688002
1162.95/1162.50	c cleaning 17002 clauses out of 34019 with flag 6705001/6705001
1165.85/1165.46	c cleaning 16999 clauses out of 34016 with flag 6722000/6722000
1168.86/1168.44	c cleaning 17002 clauses out of 34017 with flag 6739000/6739000
1171.86/1171.42	c cleaning 17000 clauses out of 34016 with flag 6756001/6756001
1175.06/1174.68	c cleaning 17003 clauses out of 34016 with flag 6773001/6773001
1178.06/1177.61	c cleaning 16990 clauses out of 34012 with flag 6790000/6790000
1181.26/1180.84	c cleaning 17002 clauses out of 34023 with flag 6807001/6807001
1184.16/1183.79	c cleaning 17001 clauses out of 34020 with flag 6824000/6824000
1187.27/1186.88	c cleaning 17001 clauses out of 34019 with flag 6841000/6841000
1190.26/1189.85	c cleaning 17003 clauses out of 34020 with flag 6858002/6858002
1193.37/1192.95	c cleaning 16999 clauses out of 34018 with flag 6875003/6875003
1196.47/1196.02	c cleaning 16995 clauses out of 34016 with flag 6892000/6892000
1199.38/1198.93	c cleaning 16999 clauses out of 34021 with flag 6909000/6909000
1202.48/1202.00	c cleaning 17004 clauses out of 34022 with flag 6926000/6926000
1205.38/1204.92	c cleaning 16997 clauses out of 34018 with flag 6943000/6943000
1208.38/1207.95	c cleaning 16998 clauses out of 34024 with flag 6960003/6960003
1211.38/1211.00	c cleaning 16999 clauses out of 34023 with flag 6977000/6977000
1214.28/1213.85	c cleaning 17004 clauses out of 34024 with flag 6994000/6994000
1217.18/1216.79	c cleaning 17004 clauses out of 34020 with flag 7011000/7011000
1220.08/1219.67	c cleaning 17003 clauses out of 34019 with flag 7028003/7028003
1222.98/1222.56	c cleaning 17004 clauses out of 34015 with flag 7045002/7045002
1225.98/1225.50	c cleaning 16993 clauses out of 34009 with flag 7062000/7062000
1228.88/1228.45	c cleaning 17001 clauses out of 34020 with flag 7079004/7079004
1231.88/1231.46	c cleaning 16996 clauses out of 34016 with flag 7096001/7096001
1234.89/1234.43	c cleaning 17009 clauses out of 34021 with flag 7113002/7113002
1237.69/1237.29	c cleaning 16992 clauses out of 34010 with flag 7130000/7130000
1240.49/1240.09	c cleaning 17004 clauses out of 34019 with flag 7147001/7147001
1243.29/1242.80	c cleaning 16998 clauses out of 34014 with flag 7164000/7164000
1246.09/1245.69	c cleaning 17001 clauses out of 34017 with flag 7181001/7181001
1249.00/1248.55	c cleaning 16995 clauses out of 34015 with flag 7198000/7198000
1251.99/1251.56	c cleaning 17001 clauses out of 34020 with flag 7215000/7215000
1254.89/1254.48	c cleaning 17003 clauses out of 34019 with flag 7232000/7232000
1257.89/1257.42	c cleaning 17002 clauses out of 34016 with flag 7249000/7249000
1260.80/1260.39	c cleaning 16999 clauses out of 34014 with flag 7266000/7266000
1263.69/1263.28	c cleaning 17002 clauses out of 34016 with flag 7283001/7283001
1266.60/1266.12	c cleaning 16999 clauses out of 34013 with flag 7300000/7300000
1269.50/1269.03	c cleaning 16999 clauses out of 34014 with flag 7317000/7317000
1272.50/1272.03	c cleaning 16998 clauses out of 34015 with flag 7334000/7334000
1275.60/1275.10	c cleaning 17001 clauses out of 34017 with flag 7351000/7351000
1278.50/1278.06	c cleaning 17003 clauses out of 34016 with flag 7368000/7368000
1281.30/1280.87	c cleaning 16999 clauses out of 34013 with flag 7385000/7385000
1284.30/1283.87	c cleaning 16998 clauses out of 34014 with flag 7402000/7402000
1287.20/1286.74	c cleaning 16997 clauses out of 34016 with flag 7419000/7419000
1290.20/1289.76	c cleaning 17007 clauses out of 34021 with flag 7436002/7436002
1293.40/1292.90	c cleaning 16989 clauses out of 34012 with flag 7453000/7453000
1296.31/1295.81	c cleaning 17008 clauses out of 34024 with flag 7470001/7470001
1299.51/1299.01	c cleaning 17001 clauses out of 34015 with flag 7487000/7487000
1300.51/1300.01	c starts		: 2409
1300.51/1300.01	c conflicts		: 7493970
1300.51/1300.01	c decisions		: 8717322
1300.51/1300.01	c propagations		: 167102743
1300.51/1300.01	c inspects		: 16227312394
1300.51/1300.01	c shortcuts		: 0
1300.51/1300.01	c learnt literals	: 0
1300.51/1300.01	c learnt binary clauses	: 0
1300.51/1300.01	c learnt ternary clauses	: 0
1300.51/1300.01	c learnt constraints	: 7493970
1300.51/1300.01	c ignored constraints	: 0
1300.51/1300.01	c root simplifications	: 2409
1300.51/1300.01	c removed literals (reason simplification)	: 36878821
1300.51/1300.01	c reason swapping (by a shorter reason)	: 0
1300.51/1300.01	c Calls to reduceDB	: 445
1300.51/1300.01	c speed (assignments/second)	: 128578.37995472517
1300.51/1300.01	c non guided choices	95
1300.51/1300.04	c learnt constraints type 
1300.51/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24121
1300.51/1300.04	c constraints type 
1300.51/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17000
1300.51/1300.04	s UNKNOWN
1300.51/1300.04	c Total wall clock time (in seconds) : 1299.722

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

running on 2 cores: 4,6

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: 7.38 7.62 5.68 3/180 26151
/proc/meminfo: memFree=9822880/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=252 CPUtime=0 cores=4,6
/proc/26151/stat : 26151 (java) D 26148 26151 26114 0 -1 4194304 79 0 1 0 0 0 0 0 18 0 1 0 371347111 258048 31 33554432000 1073741824 1073778376 140734501114496 18446744073709551615 232330968711 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26151/statm: 63 31 24 9 0 22 0

[startup+0.0267369 s]
/proc/loadavg: 7.38 7.62 5.68 3/180 26151
/proc/meminfo: memFree=9822880/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=23028 CPUtime=0 cores=4,6
/proc/26151/stat : 26151 (java) D 26148 26151 26114 0 -1 4202496 462 0 4 0 0 0 0 0 17 0 1 0 371347111 23580672 207 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232330929941 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 0
/proc/26151/statm: 5757 207 163 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100757 s]
/proc/loadavg: 7.38 7.62 5.68 3/180 26151
/proc/meminfo: memFree=9822880/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=23028 CPUtime=0 cores=4,6
/proc/26151/stat : 26151 (java) D 26148 26151 26114 0 -1 4202496 1025 0 54 0 0 0 0 0 17 0 1 0 371347111 23580672 820 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46967862435776 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 7
/proc/26151/statm: 5757 820 615 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.396946 s]
/proc/loadavg: 7.38 7.62 5.68 3/180 26151
/proc/meminfo: memFree=9822880/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7640608 CPUtime=0.29 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 12317 0 115 0 28 1 0 0 17 0 18 0 371347111 7823982592 11840 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1910152 11840 2190 9 0 1900890 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7640608

[startup+0.740599 s]
/proc/loadavg: 7.38 7.62 5.68 3/180 26151
/proc/meminfo: memFree=9822880/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7640908 CPUtime=0.92 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 13478 0 115 0 90 2 0 0 17 0 19 0 371347111 7824289792 12544 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1910227 12544 2222 9 0 1900965 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 7640908

[startup+1.50144 s]
/proc/loadavg: 7.38 7.62 5.68 8/266 26247
/proc/meminfo: memFree=9588340/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7661068 CPUtime=1.94 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 22186 0 115 0 191 3 0 0 17 0 19 0 371347111 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1915267 19317 2253 9 0 1906005 0
[pid=26151/tid=26160] ppid=26148 vsize=7661068 CPUtime=1.24 cores=4,6
/proc/26151/task/26160/stat : 26160 (java) R 26148 26151 26114 0 -1 4202560 9846 0 57 0 123 1 0 0 20 0 19 0 371347121 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46912505621121 0 4 0 16800975 0 0 0 -1 6 0 0 8
[pid=26151/tid=26162] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 26114 0 -1 4202560 677 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26164] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26167] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26167/stat : 26167 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26169] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26169/stat : 26169 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26171] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26171/stat : 26171 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 19 0 371347124 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=0.01 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 742 0 0 0 1 0 0 0 15 0 19 0 371347127 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.3 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2116 0 0 0 30 0 0 0 16 0 19 0 371347134 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.35 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7649 0 2 0 34 1 0 0 16 0 19 0 371347134 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 19317 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 7661068

[startup+3.10116 s]
/proc/loadavg: 7.38 7.62 5.68 6/266 26247
/proc/meminfo: memFree=9547668/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7661068 CPUtime=3.56 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 22929 0 115 0 353 3 0 0 17 0 19 0 371347111 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1915267 20051 2255 9 0 1906005 0
[pid=26151/tid=26160] ppid=26148 vsize=7661068 CPUtime=2.8 cores=4,6
/proc/26151/task/26160/stat : 26160 (java) R 26148 26151 26114 0 -1 4202560 9849 0 57 0 279 1 0 0 25 0 19 0 371347121 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46912505575521 0 4 0 16800975 0 0 0 -1 6 0 0 8
[pid=26151/tid=26162] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 26114 0 -1 4202560 677 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26164] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26167] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26167/stat : 26167 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26169] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26169/stat : 26169 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26171] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26171/stat : 26171 (java) S 26148 26151 26114 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=0.04 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 1065 0 0 0 4 0 0 0 16 0 19 0 371347127 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.31 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2150 0 0 0 31 0 0 0 15 0 19 0 371347134 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.37 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7651 0 2 0 36 1 0 0 15 0 19 0 371347134 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 20051 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 7661068

[startup+6.30158 s]
/proc/loadavg: 7.11 7.56 5.67 5/266 26247
/proc/meminfo: memFree=9446888/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7661068 CPUtime=6.76 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 23389 0 115 0 673 3 0 0 17 0 19 0 371347111 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1915267 20287 2255 9 0 1906005 0
[pid=26151/tid=26160] ppid=26148 vsize=7661068 CPUtime=5.92 cores=4,6
/proc/26151/task/26160/stat : 26160 (java) R 26148 26151 26114 0 -1 4202560 9853 0 57 0 591 1 0 0 20 0 19 0 371347121 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46912505657585 0 4 0 16800975 0 0 0 -1 6 0 0 8
[pid=26151/tid=26162] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 26114 0 -1 4202560 679 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26164] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 26114 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26167] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26167/stat : 26167 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26169] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26169/stat : 26169 (java) S 26148 26151 26114 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26171] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26171/stat : 26171 (java) S 26148 26151 26114 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 255 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 371347124 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=0.09 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 1256 0 0 0 9 0 0 0 16 0 19 0 371347127 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.32 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2190 0 0 0 32 0 0 0 15 0 19 0 371347134 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.37 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7651 0 2 0 36 1 0 0 15 0 19 0 371347134 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 20287 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 7661068

[startup+12.7015 s]

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

[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0.14 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 235 0 0 0 14 0 0 0 15 0 19 0 371347124 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0.12 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 269 0 0 0 12 0 0 0 15 0 19 0 371347124 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0.14 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 394 0 0 0 14 0 0 0 15 0 19 0 371347124 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=7.7 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 2181 0 0 0 768 2 0 0 16 0 19 0 371347127 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.34 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2688 0 0 0 34 0 0 0 15 0 19 0 371347134 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.37 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7651 0 2 0 36 1 0 0 15 0 19 0 371347134 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 21679 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1122.74
Current children cumulated vsize (KiB) 7661068

[startup+1182.3 s]
/proc/loadavg: 4.05 4.14 4.49 7/266 26278
/proc/meminfo: memFree=8809628/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7661068 CPUtime=1182.76 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 25785 0 115 0 118266 10 0 0 17 0 19 0 371347111 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1915267 21739 2256 9 0 1906005 0
[pid=26151/tid=26160] ppid=26148 vsize=7661068 CPUtime=1172.74 cores=4,6
/proc/26151/task/26160/stat : 26160 (java) R 26148 26151 26114 0 -1 4202560 10251 0 57 0 117269 5 0 0 25 0 19 0 371347121 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46912505329159 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=26151/tid=26162] ppid=26148 vsize=7661068 CPUtime=0.12 cores=4,6
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 26114 0 -1 4202560 690 0 0 0 12 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26164] ppid=26148 vsize=7661068 CPUtime=0.15 cores=4,6
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 26114 0 -1 4202560 13 0 0 0 15 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26167] ppid=26148 vsize=7661068 CPUtime=0.13 cores=4,6
/proc/26151/task/26167/stat : 26167 (java) S 26148 26151 26114 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26169] ppid=26148 vsize=7661068 CPUtime=0.15 cores=4,6
/proc/26151/task/26169/stat : 26169 (java) S 26148 26151 26114 0 -1 4202560 154 0 0 0 15 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26171] ppid=26148 vsize=7661068 CPUtime=0.13 cores=4,6
/proc/26151/task/26171/stat : 26171 (java) S 26148 26151 26114 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0.14 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 237 0 0 0 14 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0.13 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 269 0 0 0 13 0 0 0 15 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0.15 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 396 0 0 0 15 0 0 0 16 0 19 0 371347124 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=8.12 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 2236 0 0 0 810 2 0 0 15 0 19 0 371347127 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.34 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2688 0 0 0 34 0 0 0 15 0 19 0 371347134 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.37 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7651 0 2 0 36 1 0 0 15 0 19 0 371347134 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 21739 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1182.76
Current children cumulated vsize (KiB) 7661068

[startup+1242.3 s]
/proc/loadavg: 4.10 4.14 4.47 5/266 26280
/proc/meminfo: memFree=8803880/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7661068 CPUtime=1242.79 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 25832 0 115 0 124268 11 0 0 17 0 19 0 371347111 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1915267 21758 2256 9 0 1906005 0
[pid=26151/tid=26160] ppid=26148 vsize=7661068 CPUtime=1232.28 cores=4,6
/proc/26151/task/26160/stat : 26160 (java) R 26148 26151 26114 0 -1 4202560 10271 0 57 0 123223 5 0 0 25 0 19 0 371347121 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46912505629536 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=26151/tid=26162] ppid=26148 vsize=7661068 CPUtime=0.12 cores=4,6
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 26114 0 -1 4202560 692 0 0 0 12 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26164] ppid=26148 vsize=7661068 CPUtime=0.16 cores=4,6
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 26114 0 -1 4202560 13 0 0 0 16 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26167] ppid=26148 vsize=7661068 CPUtime=0.14 cores=4,6
/proc/26151/task/26167/stat : 26167 (java) S 26148 26151 26114 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26169] ppid=26148 vsize=7661068 CPUtime=0.16 cores=4,6
/proc/26151/task/26169/stat : 26169 (java) S 26148 26151 26114 0 -1 4202560 154 0 0 0 16 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26171] ppid=26148 vsize=7661068 CPUtime=0.14 cores=4,6
/proc/26151/task/26171/stat : 26171 (java) S 26148 26151 26114 0 -1 4202560 15 0 0 0 14 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0.15 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 237 0 0 0 15 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0.13 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 270 0 0 0 13 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0.16 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 396 0 0 0 16 0 0 0 15 0 19 0 371347124 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=8.53 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 2257 0 0 0 851 2 0 0 15 0 19 0 371347127 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.34 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2688 0 0 0 34 0 0 0 15 0 19 0 371347134 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.37 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7651 0 2 0 36 1 0 0 15 0 19 0 371347134 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 21758 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1242.79
Current children cumulated vsize (KiB) 7661068



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.03 4.11 4.44 6/266 26281
/proc/meminfo: memFree=8771960/32951124 swapFree=67111528/67111528
[pid=26151] ppid=26148 vsize=7661068 CPUtime=1300.51 cores=4,6
/proc/26151/stat : 26151 (java) S 26148 26151 26114 0 -1 4202496 25868 0 115 0 130040 11 0 0 17 0 19 0 371347111 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 8
/proc/26151/statm: 1915267 21766 2256 9 0 1906005 0
[pid=26151/tid=26160] ppid=26148 vsize=7661068 CPUtime=1289.55 cores=4,6
/proc/26151/task/26160/stat : 26160 (java) R 26148 26151 26114 0 -1 4202560 10291 0 57 0 128949 6 0 0 25 0 19 0 371347121 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 46912505621121 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=26151/tid=26162] ppid=26148 vsize=7661068 CPUtime=0.13 cores=4,6
/proc/26151/task/26162/stat : 26162 (java) S 26148 26151 26114 0 -1 4202560 692 0 0 0 13 0 0 0 15 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26164] ppid=26148 vsize=7661068 CPUtime=0.17 cores=4,6
/proc/26151/task/26164/stat : 26164 (java) S 26148 26151 26114 0 -1 4202560 13 0 0 0 17 0 0 0 16 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26167] ppid=26148 vsize=7661068 CPUtime=0.15 cores=4,6
/proc/26151/task/26167/stat : 26167 (java) S 26148 26151 26114 0 -1 4202560 16 0 0 0 15 0 0 0 15 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26169] ppid=26148 vsize=7661068 CPUtime=0.17 cores=4,6
/proc/26151/task/26169/stat : 26169 (java) S 26148 26151 26114 0 -1 4202560 158 0 0 0 17 0 0 0 16 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26171] ppid=26148 vsize=7661068 CPUtime=0.15 cores=4,6
/proc/26151/task/26171/stat : 26171 (java) S 26148 26151 26114 0 -1 4202560 15 0 0 0 15 0 0 0 15 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26173] ppid=26148 vsize=7661068 CPUtime=0.16 cores=4,6
/proc/26151/task/26173/stat : 26173 (java) S 26148 26151 26114 0 -1 4202560 237 0 0 0 16 0 0 0 15 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26175] ppid=26148 vsize=7661068 CPUtime=0.14 cores=4,6
/proc/26151/task/26175/stat : 26175 (java) S 26148 26151 26114 0 -1 4202560 270 0 0 0 14 0 0 0 15 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26177] ppid=26148 vsize=7661068 CPUtime=0.17 cores=4,6
/proc/26151/task/26177/stat : 26177 (java) S 26148 26151 26114 0 -1 4202560 398 0 0 0 17 0 0 0 15 0 19 0 371347124 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26179] ppid=26148 vsize=7661068 CPUtime=8.94 cores=4,6
/proc/26151/task/26179/stat : 26179 (java) S 26148 26151 26114 0 -1 4202560 2263 0 0 0 892 2 0 0 16 0 19 0 371347127 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 0 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26181] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26181/stat : 26181 (java) S 26148 26151 26114 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26183] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26183/stat : 26183 (java) S 26148 26151 26114 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 371347128 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26196] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26196/stat : 26196 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371347134 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347716017 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26198] ppid=26148 vsize=7661068 CPUtime=0.34 cores=4,6
/proc/26151/task/26198/stat : 26198 (java) S 26148 26151 26114 0 -1 4202560 2688 0 0 0 34 0 0 0 15 0 19 0 371347134 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26200] ppid=26148 vsize=7661068 CPUtime=0.37 cores=4,6
/proc/26151/task/26200/stat : 26200 (java) S 26148 26151 26114 0 -1 4202560 7651 0 2 0 36 1 0 0 15 0 19 0 371347134 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 4 0 0 0
[pid=26151/tid=26202] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26202/stat : 26202 (java) S 26148 26151 26114 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371347134 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708313 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26204] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26204/stat : 26204 (java) S 26148 26151 26114 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371347134 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
[pid=26151/tid=26222] ppid=26148 vsize=7661068 CPUtime=0 cores=4,6
/proc/26151/task/26222/stat : 26222 (java) S 26148 26151 26114 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371347151 7844933632 21766 33554432000 1073741824 1073778376 140734932863376 18446744073709551615 232347708928 0 4 0 16800975 18446604453828797504 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1300.51
Current children cumulated vsize (KiB) 7661068

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.05
CPU time (s): 1300.59
CPU user time (s): 1300.47
CPU system time (s): 0.120981
CPU usage (%): 100.042
Max. virtual memory (cumulated for all children) (KiB): 7661068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.47
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26240
page faults= 115
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39768
involuntary context switches= 18715

runsolver used 2.52761 second user time and 4.99824 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-12 10:38:09
IDJOB=3190237
IDBENCH=82568
IDSOLVER=1611
FILE ID=node132/3190237-1302597489
RUNJOBID= node132-1302597489-26133
PBS_JOBID= 12958102
Free space on /tmp= 71488 MiB

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

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

MD5SUM BENCH= dd0dfae1a7fca71616878d93d3870a71
RANDOM SEED=795104245

node132.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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.74
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.833
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.76
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.833
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.75
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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9823176 kB
Buffers:        672176 kB
Cached:       21956060 kB
SwapCached:          0 kB
Active:       10761640 kB
Inactive:     11931044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9823176 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1952 kB
Writeback:           0 kB
AnonPages:       64552 kB
Mapped:          14652 kB
Slab:           369512 kB
PageTables:       5572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71480 MiB
End job on node132 at 2011-04-12 10:59:52