Trace number 3265824

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) 1301.34 1300.03

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
MD5SUM59fa4424111aa94c942a4bbd786cbd51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1234.33
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18767
Sum of the clauses size134137
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32384
Number of clauses of size 4505
Number of clauses of size 5684
Number of clauses of size over 514710

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3265824-1303581471.cnf
0.00/0.09	c reading problem ... 
0.27/0.21	c ... done. Wall clock time 0.119s.
0.27/0.21	c #vars     2969
0.27/0.21	c #constraints  18546
0.27/0.21	c constraints type 
0.27/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17581
0.27/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 919
1.01/0.60	c cleaning 2498 clauses out of 5000 with flag 5000/5000
1.60/0.91	c cleaning 4242 clauses out of 8503 with flag 11001/11001
2.03/1.22	c cleaning 5627 clauses out of 11260 with flag 18000/18000
2.44/1.61	c cleaning 6811 clauses out of 13633 with flag 26000/26000
2.96/2.12	c cleaning 7893 clauses out of 15822 with flag 35000/35000
3.55/2.73	c cleaning 8946 clauses out of 17930 with flag 45001/45001
4.26/3.45	c cleaning 9988 clauses out of 19985 with flag 56002/56002
5.18/4.35	c cleaning 10976 clauses out of 21995 with flag 68000/68000
6.17/5.39	c cleaning 11999 clauses out of 24019 with flag 81000/81000
7.48/6.60	c cleaning 12999 clauses out of 26020 with flag 95000/95000
8.98/8.10	c cleaning 14011 clauses out of 28023 with flag 110002/110002
10.58/9.79	c cleaning 14997 clauses out of 30010 with flag 126000/126000
12.48/11.69	c cleaning 16001 clauses out of 32013 with flag 143000/143000
14.58/13.78	c cleaning 17005 clauses out of 34012 with flag 161000/161000
16.98/16.16	c cleaning 17985 clauses out of 36007 with flag 180000/180000
19.59/18.74	c cleaning 18483 clauses out of 37023 with flag 199001/199001
22.39/21.55	c cleaning 18753 clauses out of 37539 with flag 218000/218000
25.29/24.42	c cleaning 18884 clauses out of 37786 with flag 237000/237000
27.99/27.11	c cleaning 18924 clauses out of 37902 with flag 256000/256000
30.89/30.03	c cleaning 18963 clauses out of 37980 with flag 275002/275002
33.80/32.97	c cleaning 18986 clauses out of 38015 with flag 294000/294000
36.89/36.09	c cleaning 19005 clauses out of 38030 with flag 313001/313001
39.89/39.09	c cleaning 18993 clauses out of 38026 with flag 332002/332002
43.00/42.11	c cleaning 18989 clauses out of 38031 with flag 351000/351000
46.19/45.32	c cleaning 19008 clauses out of 38043 with flag 370001/370001
49.50/48.64	c cleaning 18991 clauses out of 38034 with flag 389000/389000
52.89/52.05	c cleaning 19012 clauses out of 38044 with flag 408001/408001
56.19/55.34	c cleaning 18992 clauses out of 38032 with flag 427001/427001
59.70/58.82	c cleaning 19001 clauses out of 38039 with flag 446000/446000
62.90/62.03	c cleaning 18972 clauses out of 38038 with flag 465000/465000
66.30/65.44	c cleaning 19026 clauses out of 38067 with flag 484001/484001
69.90/69.03	c cleaning 18999 clauses out of 38040 with flag 503000/503000
73.30/72.49	c cleaning 18989 clauses out of 38041 with flag 522000/522000
77.00/76.11	c cleaning 19014 clauses out of 38054 with flag 541002/541002
80.30/79.44	c cleaning 19005 clauses out of 38038 with flag 560000/560000
83.80/82.94	c cleaning 19011 clauses out of 38034 with flag 579001/579001
87.21/86.38	c cleaning 18984 clauses out of 38022 with flag 598000/598000
90.91/90.02	c cleaning 18992 clauses out of 38038 with flag 617000/617000
94.41/93.54	c cleaning 18996 clauses out of 38047 with flag 636001/636001
98.21/97.30	c cleaning 18986 clauses out of 38050 with flag 655000/655000
102.02/101.12	c cleaning 18996 clauses out of 38065 with flag 674001/674001
105.51/104.68	c cleaning 19008 clauses out of 38070 with flag 693002/693002
109.31/108.40	c cleaning 19005 clauses out of 38062 with flag 712002/712002
113.02/112.12	c cleaning 19008 clauses out of 38055 with flag 731000/731000
116.82/115.98	c cleaning 19016 clauses out of 38048 with flag 750001/750001
120.32/119.49	c cleaning 18995 clauses out of 38031 with flag 769000/769000
124.22/123.31	c cleaning 19003 clauses out of 38036 with flag 788000/788000
127.92/127.08	c cleaning 19009 clauses out of 38033 with flag 807000/807000
131.83/130.99	c cleaning 19003 clauses out of 38025 with flag 826001/826001
135.72/134.82	c cleaning 19002 clauses out of 38023 with flag 845002/845002
139.43/138.53	c cleaning 18998 clauses out of 38020 with flag 864001/864001
143.43/142.55	c cleaning 18978 clauses out of 38024 with flag 883003/883003
147.23/146.34	c cleaning 18995 clauses out of 38044 with flag 902001/902001
150.73/149.86	c cleaning 18998 clauses out of 38048 with flag 921000/921000
154.43/153.57	c cleaning 19021 clauses out of 38052 with flag 940002/940002
158.14/157.25	c cleaning 18992 clauses out of 38031 with flag 959002/959002
161.93/161.06	c cleaning 19006 clauses out of 38037 with flag 978000/978000
165.73/164.90	c cleaning 19004 clauses out of 38032 with flag 997001/997001
169.83/168.94	c cleaning 18990 clauses out of 38027 with flag 1016000/1016000
173.64/172.77	c cleaning 19002 clauses out of 38037 with flag 1035000/1035000
177.44/176.50	c cleaning 18993 clauses out of 38035 with flag 1054000/1054000
181.54/180.62	c cleaning 19014 clauses out of 38043 with flag 1073001/1073001
185.65/184.80	c cleaning 18996 clauses out of 38031 with flag 1092003/1092003
189.54/188.66	c cleaning 18993 clauses out of 38033 with flag 1111001/1111001
193.35/192.48	c cleaning 19010 clauses out of 38040 with flag 1130001/1130001
197.14/196.23	c cleaning 18997 clauses out of 38029 with flag 1149000/1149000
201.44/200.59	c cleaning 18996 clauses out of 38032 with flag 1168000/1168000
205.55/204.69	c cleaning 19011 clauses out of 38037 with flag 1187001/1187001
209.85/208.93	c cleaning 18999 clauses out of 38026 with flag 1206001/1206001
214.16/213.20	c cleaning 19006 clauses out of 38027 with flag 1225001/1225001
218.16/217.29	c cleaning 18999 clauses out of 38020 with flag 1244000/1244000
222.26/221.34	c cleaning 18983 clauses out of 38021 with flag 1263000/1263000
226.28/225.36	c cleaning 19005 clauses out of 38038 with flag 1282000/1282000
230.28/229.35	c cleaning 19005 clauses out of 38035 with flag 1301002/1301002
234.28/233.37	c cleaning 18988 clauses out of 38028 with flag 1320000/1320000
238.38/237.43	c cleaning 19004 clauses out of 38040 with flag 1339000/1339000
242.48/241.53	c cleaning 18988 clauses out of 38036 with flag 1358000/1358000
246.29/245.33	c cleaning 19014 clauses out of 38048 with flag 1377000/1377000
250.09/249.10	c cleaning 19009 clauses out of 38034 with flag 1396000/1396000
253.89/252.99	c cleaning 18991 clauses out of 38025 with flag 1415000/1415000
257.99/257.02	c cleaning 19015 clauses out of 38035 with flag 1434001/1434001
261.89/260.98	c cleaning 18999 clauses out of 38021 with flag 1453002/1453002
266.19/265.28	c cleaning 18995 clauses out of 38024 with flag 1472004/1472004
270.50/269.56	c cleaning 18974 clauses out of 38025 with flag 1491000/1491000
274.59/273.61	c cleaning 19012 clauses out of 38052 with flag 1510001/1510001
278.50/277.58	c cleaning 19005 clauses out of 38039 with flag 1529000/1529000
282.80/281.81	c cleaning 18977 clauses out of 38034 with flag 1548000/1548000
286.90/285.92	c cleaning 19022 clauses out of 38057 with flag 1567000/1567000
290.50/289.57	c cleaning 19004 clauses out of 38035 with flag 1586000/1586000
294.50/293.58	c cleaning 19009 clauses out of 38031 with flag 1605000/1605000
298.60/297.60	c cleaning 18998 clauses out of 38022 with flag 1624000/1624000
302.70/301.77	c cleaning 18998 clauses out of 38026 with flag 1643002/1643002
306.90/305.93	c cleaning 18995 clauses out of 38028 with flag 1662002/1662002
310.80/309.86	c cleaning 18994 clauses out of 38031 with flag 1681000/1681000
314.61/313.62	c cleaning 19002 clauses out of 38037 with flag 1700000/1700000
318.71/317.79	c cleaning 18985 clauses out of 38037 with flag 1719002/1719002
323.01/322.02	c cleaning 18996 clauses out of 38051 with flag 1738001/1738001
327.21/326.25	c cleaning 19014 clauses out of 38054 with flag 1757000/1757000
331.41/330.45	c cleaning 19007 clauses out of 38041 with flag 1776001/1776001
335.91/334.95	c cleaning 18998 clauses out of 38038 with flag 1795005/1795005
340.21/339.29	c cleaning 19008 clauses out of 38035 with flag 1814000/1814000
344.51/343.58	c cleaning 19005 clauses out of 38029 with flag 1833002/1833002
348.62/347.64	c cleaning 18996 clauses out of 38022 with flag 1852000/1852000
352.52/351.58	c cleaning 19000 clauses out of 38026 with flag 1871000/1871000
356.62/355.67	c cleaning 18984 clauses out of 38026 with flag 1890000/1890000
361.02/360.06	c cleaning 19013 clauses out of 38042 with flag 1909000/1909000
365.52/364.56	c cleaning 18991 clauses out of 38029 with flag 1928000/1928000
370.02/369.05	c cleaning 18985 clauses out of 38038 with flag 1947000/1947000
374.52/373.58	c cleaning 18995 clauses out of 38055 with flag 1966002/1966002
378.82/377.82	c cleaning 19004 clauses out of 38060 with flag 1985002/1985002
383.02/382.04	c cleaning 19012 clauses out of 38058 with flag 2004004/2004004
387.13/386.13	c cleaning 19008 clauses out of 38043 with flag 2023001/2023001
391.13/390.11	c cleaning 19000 clauses out of 38034 with flag 2042000/2042000
395.23/394.26	c cleaning 18980 clauses out of 38034 with flag 2061000/2061000
399.43/398.43	c cleaning 19015 clauses out of 38054 with flag 2080000/2080000
403.43/402.50	c cleaning 19001 clauses out of 38040 with flag 2099001/2099001
407.63/406.64	c cleaning 18990 clauses out of 38038 with flag 2118000/2118000
411.93/410.96	c cleaning 18974 clauses out of 38049 with flag 2137001/2137001
416.13/415.17	c cleaning 19023 clauses out of 38075 with flag 2156001/2156001
420.33/419.36	c cleaning 18992 clauses out of 38051 with flag 2175000/2175000
424.74/423.72	c cleaning 19003 clauses out of 38060 with flag 2194001/2194001
429.04/428.06	c cleaning 19004 clauses out of 38056 with flag 2213000/2213000
433.14/432.20	c cleaning 19019 clauses out of 38054 with flag 2232002/2232002
437.14/436.18	c cleaning 18993 clauses out of 38034 with flag 2251001/2251001
441.24/440.25	c cleaning 19014 clauses out of 38042 with flag 2270002/2270002
445.54/444.58	c cleaning 19005 clauses out of 38027 with flag 2289001/2289001
450.04/449.02	c cleaning 19006 clauses out of 38022 with flag 2308001/2308001
454.44/453.46	c cleaning 18986 clauses out of 38017 with flag 2327002/2327002
458.75/457.77	c cleaning 18998 clauses out of 38030 with flag 2346001/2346001
463.15/462.10	c cleaning 18997 clauses out of 38031 with flag 2365000/2365000
467.45/466.49	c cleaning 19001 clauses out of 38035 with flag 2384001/2384001
472.15/471.19	c cleaning 18996 clauses out of 38036 with flag 2403003/2403003
476.75/475.76	c cleaning 19013 clauses out of 38038 with flag 2422001/2422001
481.25/480.22	c cleaning 18971 clauses out of 38025 with flag 2441001/2441001
485.35/484.34	c cleaning 19007 clauses out of 38053 with flag 2460000/2460000
489.36/488.31	c cleaning 19013 clauses out of 38048 with flag 2479002/2479002
493.45/492.46	c cleaning 19010 clauses out of 38033 with flag 2498000/2498000
497.66/496.69	c cleaning 18982 clauses out of 38023 with flag 2517000/2517000
502.06/501.05	c cleaning 18988 clauses out of 38041 with flag 2536000/2536000
506.36/505.30	c cleaning 19000 clauses out of 38054 with flag 2555001/2555001
510.66/509.68	c cleaning 19008 clauses out of 38053 with flag 2574000/2574000
514.77/513.74	c cleaning 18997 clauses out of 38045 with flag 2593000/2593000
518.96/517.93	c cleaning 19002 clauses out of 38048 with flag 2612000/2612000
523.47/522.44	c cleaning 19003 clauses out of 38047 with flag 2631001/2631001
527.97/526.96	c cleaning 18985 clauses out of 38044 with flag 2650001/2650001
532.27/531.27	c cleaning 18986 clauses out of 38058 with flag 2669000/2669000
536.57/535.55	c cleaning 19003 clauses out of 38073 with flag 2688001/2688001
540.97/539.90	c cleaning 19033 clauses out of 38070 with flag 2707001/2707001
545.17/544.11	c cleaning 19010 clauses out of 38036 with flag 2726000/2726000
549.17/548.19	c cleaning 18985 clauses out of 38026 with flag 2745000/2745000
553.28/552.22	c cleaning 19003 clauses out of 38041 with flag 2764000/2764000
557.68/556.67	c cleaning 19003 clauses out of 38038 with flag 2783000/2783000
562.18/561.14	c cleaning 19001 clauses out of 38037 with flag 2802002/2802002
566.58/565.57	c cleaning 18999 clauses out of 38035 with flag 2821001/2821001
571.08/570.01	c cleaning 18966 clauses out of 38035 with flag 2840000/2840000
575.58/574.55	c cleaning 19021 clauses out of 38070 with flag 2859001/2859001
579.98/578.99	c cleaning 18996 clauses out of 38048 with flag 2878000/2878000
584.28/583.25	c cleaning 19001 clauses out of 38052 with flag 2897000/2897000
588.78/587.72	c cleaning 19019 clauses out of 38054 with flag 2916003/2916003
593.58/592.51	c cleaning 18978 clauses out of 38032 with flag 2935000/2935000
598.09/597.08	c cleaning 18978 clauses out of 38054 with flag 2954000/2954000
602.69/601.68	c cleaning 19025 clauses out of 38076 with flag 2973000/2973000
607.09/606.05	c cleaning 19016 clauses out of 38051 with flag 2992000/2992000
611.29/610.24	c cleaning 18998 clauses out of 38036 with flag 3011001/3011001
615.59/614.60	c cleaning 18975 clauses out of 38038 with flag 3030001/3030001
620.09/619.04	c cleaning 19023 clauses out of 38062 with flag 3049000/3049000
624.59/623.52	c cleaning 18997 clauses out of 38039 with flag 3068000/3068000
628.99/627.90	c cleaning 19015 clauses out of 38042 with flag 3087000/3087000
633.29/632.23	c cleaning 19000 clauses out of 38027 with flag 3106000/3106000
638.00/636.90	c cleaning 18989 clauses out of 38027 with flag 3125000/3125000
642.59/641.51	c cleaning 19016 clauses out of 38038 with flag 3144000/3144000
647.10/646.06	c cleaning 18970 clauses out of 38024 with flag 3163002/3163002
651.81/650.79	c cleaning 19009 clauses out of 38052 with flag 3182000/3182000
656.31/655.28	c cleaning 19010 clauses out of 38044 with flag 3201001/3201001
661.12/660.08	c cleaning 19010 clauses out of 38034 with flag 3220001/3220001
665.71/664.61	c cleaning 18985 clauses out of 38023 with flag 3239000/3239000
670.21/669.13	c cleaning 19004 clauses out of 38038 with flag 3258000/3258000
675.11/674.01	c cleaning 18995 clauses out of 38034 with flag 3277000/3277000
679.32/678.27	c cleaning 19005 clauses out of 38039 with flag 3296000/3296000
683.72/682.62	c cleaning 18993 clauses out of 38034 with flag 3315000/3315000
687.72/686.68	c cleaning 18998 clauses out of 38041 with flag 3334000/3334000
692.42/691.31	c cleaning 19012 clauses out of 38043 with flag 3353000/3353000
697.12/696.07	c cleaning 18987 clauses out of 38031 with flag 3372000/3372000
701.62/700.54	c cleaning 19001 clauses out of 38045 with flag 3391001/3391001
706.13/705.01	c cleaning 18991 clauses out of 38043 with flag 3410000/3410000
711.12/710.03	c cleaning 18997 clauses out of 38054 with flag 3429002/3429002
715.73/714.69	c cleaning 18990 clauses out of 38055 with flag 3448000/3448000
720.33/719.25	c cleaning 18994 clauses out of 38065 with flag 3467000/3467000
725.13/724.08	c cleaning 19017 clauses out of 38073 with flag 3486002/3486002
729.03/727.97	c cleaning 19009 clauses out of 38054 with flag 3505000/3505000
732.54/731.49	c cleaning 18993 clauses out of 38046 with flag 3524001/3524001
737.13/736.05	c cleaning 19011 clauses out of 38052 with flag 3543000/3543000
741.73/740.64	c cleaning 18992 clauses out of 38041 with flag 3562000/3562000
746.73/745.65	c cleaning 19009 clauses out of 38052 with flag 3581003/3581003
751.53/750.40	c cleaning 18981 clauses out of 38041 with flag 3600001/3600001
756.24/755.15	c cleaning 19018 clauses out of 38059 with flag 3619000/3619000
760.54/759.46	c cleaning 19010 clauses out of 38041 with flag 3638000/3638000
764.74/763.60	c cleaning 19003 clauses out of 38031 with flag 3657000/3657000
769.14/768.06	c cleaning 18995 clauses out of 38032 with flag 3676004/3676004
774.04/772.97	c cleaning 19002 clauses out of 38033 with flag 3695000/3695000
778.94/777.87	c cleaning 19000 clauses out of 38032 with flag 3714001/3714001
783.74/782.68	c cleaning 18999 clauses out of 38031 with flag 3733000/3733000
788.84/787.74	c cleaning 18976 clauses out of 38032 with flag 3752000/3752000
793.64/792.53	c cleaning 19014 clauses out of 38057 with flag 3771001/3771001
797.84/796.79	c cleaning 19001 clauses out of 38042 with flag 3790000/3790000
802.44/801.35	c cleaning 18977 clauses out of 38041 with flag 3809000/3809000
807.35/806.27	c cleaning 18985 clauses out of 38064 with flag 3828000/3828000
812.25/811.12	c cleaning 18979 clauses out of 38079 with flag 3847000/3847000
817.05/815.93	c cleaning 19034 clauses out of 38101 with flag 3866001/3866001
821.85/820.76	c cleaning 19013 clauses out of 38066 with flag 3885000/3885000
826.55/825.45	c cleaning 18999 clauses out of 38053 with flag 3904000/3904000
831.05/829.99	c cleaning 19014 clauses out of 38056 with flag 3923002/3923002
835.75/834.62	c cleaning 19007 clauses out of 38040 with flag 3942000/3942000
840.46/839.31	c cleaning 18993 clauses out of 38033 with flag 3961000/3961000
845.05/843.95	c cleaning 19002 clauses out of 38040 with flag 3980000/3980000
849.35/848.21	c cleaning 19001 clauses out of 38039 with flag 3999001/3999001
853.66/852.59	c cleaning 18992 clauses out of 38038 with flag 4018001/4018001
858.26/857.11	c cleaning 18994 clauses out of 38045 with flag 4037000/4037000
862.66/861.59	c cleaning 18991 clauses out of 38051 with flag 4056000/4056000
867.46/866.37	c cleaning 19011 clauses out of 38060 with flag 4075000/4075000
872.27/871.11	c cleaning 19015 clauses out of 38049 with flag 4094000/4094000
876.96/875.84	c cleaning 18998 clauses out of 38035 with flag 4113001/4113001
881.56/880.44	c cleaning 18992 clauses out of 38036 with flag 4132000/4132000
885.36/884.28	c cleaning 18998 clauses out of 38046 with flag 4151002/4151002
889.16/888.04	c cleaning 18993 clauses out of 38046 with flag 4170000/4170000
893.17/892.01	c cleaning 19017 clauses out of 38053 with flag 4189000/4189000
897.47/896.37	c cleaning 19005 clauses out of 38037 with flag 4208001/4208001
901.37/900.26	c cleaning 18994 clauses out of 38031 with flag 4227000/4227000
905.77/904.60	c cleaning 18996 clauses out of 38037 with flag 4246000/4246000
910.27/909.15	c cleaning 18999 clauses out of 38041 with flag 4265000/4265000
914.87/913.77	c cleaning 19013 clauses out of 38042 with flag 4284000/4284000
919.68/918.56	c cleaning 18988 clauses out of 38029 with flag 4303000/4303000
924.27/923.19	c cleaning 18979 clauses out of 38042 with flag 4322001/4322001
929.27/928.16	c cleaning 18996 clauses out of 38062 with flag 4341000/4341000
934.08/932.98	c cleaning 19008 clauses out of 38066 with flag 4360000/4360000
939.08/937.94	c cleaning 19010 clauses out of 38058 with flag 4379000/4379000
943.48/942.35	c cleaning 19007 clauses out of 38050 with flag 4398002/4398002
947.78/946.69	c cleaning 18998 clauses out of 38041 with flag 4417000/4417000
952.18/951.02	c cleaning 19004 clauses out of 38043 with flag 4436000/4436000
956.78/955.68	c cleaning 18995 clauses out of 38040 with flag 4455001/4455001
961.58/960.41	c cleaning 18993 clauses out of 38044 with flag 4474000/4474000
966.08/964.95	c cleaning 19008 clauses out of 38051 with flag 4493000/4493000
970.79/969.64	c cleaning 18985 clauses out of 38043 with flag 4512000/4512000
975.49/974.36	c cleaning 19020 clauses out of 38059 with flag 4531001/4531001
979.89/978.78	c cleaning 19014 clauses out of 38038 with flag 4550000/4550000
984.50/983.35	c cleaning 18982 clauses out of 38024 with flag 4569000/4569000
989.09/987.96	c cleaning 18990 clauses out of 38042 with flag 4588000/4588000
993.09/991.99	c cleaning 18987 clauses out of 38052 with flag 4607000/4607000
997.70/996.53	c cleaning 19016 clauses out of 38066 with flag 4626001/4626001
1002.10/1000.98	c cleaning 18988 clauses out of 38049 with flag 4645000/4645000
1006.79/1005.69	c cleaning 19014 clauses out of 38061 with flag 4664000/4664000
1011.60/1010.49	c cleaning 18992 clauses out of 38048 with flag 4683001/4683001
1016.20/1015.09	c cleaning 19014 clauses out of 38055 with flag 4702000/4702000
1021.00/1019.88	c cleaning 18996 clauses out of 38043 with flag 4721002/4721002
1025.80/1024.67	c cleaning 18992 clauses out of 38045 with flag 4740000/4740000
1030.40/1029.29	c cleaning 19011 clauses out of 38056 with flag 4759003/4759003
1035.00/1033.80	c cleaning 19002 clauses out of 38043 with flag 4778001/4778001
1039.90/1038.78	c cleaning 18991 clauses out of 38040 with flag 4797000/4797000
1044.91/1043.75	c cleaning 19007 clauses out of 38050 with flag 4816001/4816001
1049.31/1048.19	c cleaning 19013 clauses out of 38046 with flag 4835004/4835004
1053.61/1052.42	c cleaning 18997 clauses out of 38029 with flag 4854000/4854000
1057.81/1056.67	c cleaning 18995 clauses out of 38033 with flag 4873001/4873001
1062.51/1061.34	c cleaning 19013 clauses out of 38037 with flag 4892000/4892000
1066.91/1065.74	c cleaning 18980 clauses out of 38024 with flag 4911000/4911000
1071.42/1070.21	c cleaning 18989 clauses out of 38046 with flag 4930002/4930002
1075.71/1074.55	c cleaning 19017 clauses out of 38056 with flag 4949001/4949001
1080.22/1079.05	c cleaning 18998 clauses out of 38039 with flag 4968001/4968001
1084.72/1083.53	c cleaning 18996 clauses out of 38041 with flag 4987001/4987001
1089.42/1088.26	c cleaning 18995 clauses out of 38044 with flag 5006000/5006000
1094.12/1092.96	c cleaning 19017 clauses out of 38049 with flag 5025000/5025000
1098.93/1097.73	c cleaning 18983 clauses out of 38032 with flag 5044000/5044000
1103.62/1102.49	c cleaning 18975 clauses out of 38049 with flag 5063000/5063000
1108.22/1107.10	c cleaning 19026 clauses out of 38076 with flag 5082002/5082002
1113.02/1111.87	c cleaning 19002 clauses out of 38050 with flag 5101002/5101002
1116.92/1115.77	c cleaning 18979 clauses out of 38047 with flag 5120001/5120001
1120.93/1119.73	c cleaning 19025 clauses out of 38069 with flag 5139002/5139002
1125.03/1123.88	c cleaning 19000 clauses out of 38043 with flag 5158001/5158001
1129.43/1128.28	c cleaning 18979 clauses out of 38042 with flag 5177000/5177000
1134.24/1133.02	c cleaning 18989 clauses out of 38063 with flag 5196000/5196000
1138.03/1136.82	c cleaning 19029 clauses out of 38074 with flag 5215000/5215000
1142.03/1140.83	c cleaning 19014 clauses out of 38047 with flag 5234002/5234002
1146.04/1144.89	c cleaning 18981 clauses out of 38031 with flag 5253000/5253000
1150.15/1148.91	c cleaning 18993 clauses out of 38051 with flag 5272001/5272001
1154.15/1152.90	c cleaning 19003 clauses out of 38058 with flag 5291001/5291001
1158.25/1157.02	c cleaning 19002 clauses out of 38054 with flag 5310000/5310000
1162.35/1161.10	c cleaning 19009 clauses out of 38052 with flag 5329000/5329000
1166.65/1165.50	c cleaning 18999 clauses out of 38043 with flag 5348000/5348000
1170.95/1169.78	c cleaning 19009 clauses out of 38046 with flag 5367002/5367002
1174.96/1173.78	c cleaning 18996 clauses out of 38036 with flag 5386001/5386001
1179.36/1178.18	c cleaning 19010 clauses out of 38041 with flag 5405002/5405002
1183.66/1182.44	c cleaning 18985 clauses out of 38030 with flag 5424001/5424001
1188.16/1186.93	c cleaning 18979 clauses out of 38047 with flag 5443003/5443003
1191.96/1190.73	c cleaning 19010 clauses out of 38065 with flag 5462000/5462000
1195.96/1194.76	c cleaning 19012 clauses out of 38055 with flag 5481000/5481000
1199.96/1198.77	c cleaning 19008 clauses out of 38044 with flag 5500001/5500001
1204.36/1203.16	c cleaning 18994 clauses out of 38036 with flag 5519001/5519001
1208.66/1207.49	c cleaning 19009 clauses out of 38043 with flag 5538002/5538002
1213.26/1212.03	c cleaning 19002 clauses out of 38034 with flag 5557002/5557002
1217.87/1216.61	c cleaning 19001 clauses out of 38032 with flag 5576002/5576002
1222.57/1221.39	c cleaning 19008 clauses out of 38029 with flag 5595000/5595000
1227.37/1226.18	c cleaning 18994 clauses out of 38023 with flag 5614002/5614002
1232.18/1230.96	c cleaning 18996 clauses out of 38027 with flag 5633000/5633000
1236.87/1235.66	c cleaning 18996 clauses out of 38032 with flag 5652001/5652001
1241.57/1240.36	c cleaning 18976 clauses out of 38036 with flag 5671001/5671001
1245.38/1244.14	c cleaning 19016 clauses out of 38060 with flag 5690001/5690001
1249.58/1248.40	c cleaning 18980 clauses out of 38043 with flag 5709000/5709000
1253.68/1252.45	c cleaning 19026 clauses out of 38064 with flag 5728001/5728001
1258.18/1256.97	c cleaning 19000 clauses out of 38039 with flag 5747002/5747002
1262.78/1261.52	c cleaning 19008 clauses out of 38039 with flag 5766002/5766002
1267.29/1266.04	c cleaning 19003 clauses out of 38031 with flag 5785002/5785002
1271.88/1270.65	c cleaning 19004 clauses out of 38026 with flag 5804000/5804000
1276.48/1275.28	c cleaning 19002 clauses out of 38022 with flag 5823000/5823000
1281.28/1280.00	c cleaning 18984 clauses out of 38020 with flag 5842000/5842000
1285.88/1284.61	c cleaning 19008 clauses out of 38036 with flag 5861000/5861000
1290.18/1288.90	c cleaning 18999 clauses out of 38028 with flag 5880000/5880000
1294.39/1293.12	c cleaning 18981 clauses out of 38030 with flag 5899001/5899001
1298.79/1297.59	c cleaning 18997 clauses out of 38048 with flag 5918000/5918000
1301.30/1300.01	c starts		: 2257
1301.30/1300.01	c conflicts		: 5929502
1301.30/1300.01	c decisions		: 10679865
1301.30/1300.01	c propagations		: 470050896
1301.30/1300.01	c inspects		: 16293297341
1301.30/1300.01	c shortcuts		: 0
1301.30/1300.01	c learnt literals	: 0
1301.30/1300.01	c learnt binary clauses	: 448
1301.30/1300.01	c learnt ternary clauses	: 2452
1301.30/1300.01	c learnt constraints	: 5929502
1301.30/1300.01	c ignored constraints	: 0
1301.30/1300.01	c root simplifications	: 2257
1301.30/1300.01	c removed literals (reason simplification)	: 124323916
1301.30/1300.01	c reason swapping (by a shorter reason)	: 0
1301.30/1300.01	c Calls to reduceDB	: 317
1301.30/1300.01	c speed (assignments/second)	: 361632.4135272806
1301.30/1300.01	c non guided choices	1631528
1301.30/1300.02	c learnt constraints type 
1301.30/1300.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 448
1301.30/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30111
1301.30/1300.02	c constraints type 
1301.30/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17581
1301.30/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 919
1301.30/1300.02	s UNKNOWN
1301.30/1300.02	c Total wall clock time (in seconds) : 1299.922

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 2.40 2.84 2.61 9/243 11684
/proc/meminfo: memFree=16841900/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=33700 CPUtime=0 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 1299 0 0 0 0 0 0 0 24 0 2 0 548377718 34508800 1009 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 8424 1009 777 9 0 386 0
[pid=11684/tid=11685] ppid=11682 vsize=33748 CPUtime=0 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 192 0 0 0 0 0 0 0 25 0 2 0 548377719 34557952 1015 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260015472263 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0182879 s]
/proc/loadavg: 2.40 2.84 2.61 9/243 11684
/proc/meminfo: memFree=16841900/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7549900 CPUtime=0 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 7500 0 1 0 0 0 0 0 24 0 10 0 548377718 7731097600 7202 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1887475 7203 984 9 0 1878631 0
[pid=11684/tid=11685] ppid=11682 vsize=7549900 CPUtime=0 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 6380 0 1 0 0 0 0 0 25 0 10 0 548377719 7731097600 7204 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 47367043305470 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7549900

[startup+0.100263 s]
/proc/loadavg: 2.40 2.84 2.61 9/243 11684
/proc/meminfo: memFree=16841900/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 9809 0 1 0 8 1 0 0 24 0 18 0 548377718 7751618560 9506 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1892485 9506 1757 9 0 1883223 0
[pid=11684/tid=11685] ppid=11682 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 8635 0 1 0 7 1 0 0 25 0 18 0 548377719 7751618560 9506 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 47367039833736 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.300199 s]
/proc/loadavg: 2.40 2.84 2.61 9/243 11684
/proc/meminfo: memFree=16841900/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7575864 CPUtime=0.47 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 12460 0 1 0 46 1 0 0 24 0 19 0 548377718 7757684736 11853 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1893966 11853 2217 9 0 1884704 0
[pid=11684/tid=11685] ppid=11682 vsize=7575864 CPUtime=0.27 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9321 0 1 0 26 1 0 0 25 0 19 0 548377719 7757684736 11853 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 47367037898231 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 7575864

[startup+0.701126 s]
/proc/loadavg: 2.40 2.84 2.61 9/243 11684
/proc/meminfo: memFree=16841900/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7593380 CPUtime=1.2 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 20328 0 1 0 118 2 0 0 24 0 19 0 548377718 7775621120 17414 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1898345 17414 2252 9 0 1889083 0
[pid=11684/tid=11685] ppid=11682 vsize=7593380 CPUtime=0.64 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9596 0 1 0 63 1 0 0 25 0 19 0 548377719 7775621120 17414 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505638017 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 7593380

[startup+1.50101 s]
/proc/loadavg: 2.40 2.84 2.61 6/262 11703
/proc/meminfo: memFree=16689252/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7598520 CPUtime=2.34 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 22460 0 1 0 232 2 0 0 24 0 19 0 548377718 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1899630 19544 2254 9 0 1890368 0
[pid=11684/tid=11685] ppid=11682 vsize=7598520 CPUtime=1.37 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9599 0 1 0 136 1 0 0 25 0 19 0 548377719 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505733878 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11687/stat : 11687 (java) S 11682 11684 11570 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11688/stat : 11688 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11689/stat : 11689 (java) S 11682 11684 11570 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11690/stat : 11690 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11691/stat : 11691 (java) S 11682 11684 11570 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 434 0 0 0 0 0 0 0 16 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 452 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=0.04 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 1050 0 0 0 4 0 0 0 16 0 19 0 548377721 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.67 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8180 0 0 0 67 0 0 0 22 0 19 0 548377724 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11701] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11701/stat : 11701 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11702] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11702/stat : 11702 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377724 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11703] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11703/stat : 11703 (java) S 11682 11684 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548377740 7780884480 19544 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 7598520

[startup+3.10072 s]
/proc/loadavg: 2.40 2.84 2.61 5/262 11703
/proc/meminfo: memFree=16685532/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7598520 CPUtime=3.96 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 22715 0 1 0 394 2 0 0 24 0 19 0 548377718 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1899630 19796 2254 9 0 1890368 0
[pid=11684/tid=11685] ppid=11682 vsize=7598520 CPUtime=2.91 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9602 0 1 0 290 1 0 0 25 0 19 0 548377719 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505601438 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11687/stat : 11687 (java) S 11682 11684 11570 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11688/stat : 11688 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11689/stat : 11689 (java) S 11682 11684 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11690/stat : 11690 (java) S 11682 11684 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11691/stat : 11691 (java) S 11682 11684 11570 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 38 0 0 0 0 0 0 0 16 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 470 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 452 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=0.09 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 1228 0 0 0 9 0 0 0 16 0 19 0 548377721 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.69 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8180 0 0 0 69 0 0 0 18 0 19 0 548377724 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11701] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11701/stat : 11701 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11702] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11702/stat : 11702 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377724 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11703] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11703/stat : 11703 (java) S 11682 11684 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548377740 7780884480 19796 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 7598520

[startup+6.30113 s]
/proc/loadavg: 2.61 2.88 2.62 5/262 11703
/proc/meminfo: memFree=16691620/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7598520 CPUtime=7.17 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 22817 0 1 0 714 3 0 0 24 0 19 0 548377718 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1899630 19894 2254 9 0 1890368 0
[pid=11684/tid=11685] ppid=11682 vsize=7598520 CPUtime=6.05 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9606 0 1 0 604 1 0 0 25 0 19 0 548377719 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505601610 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11687/stat : 11687 (java) S 11682 11684 11570 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11688/stat : 11688 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11689/stat : 11689 (java) S 11682 11684 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11690/stat : 11690 (java) S 11682 11684 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11691/stat : 11691 (java) S 11682 11684 11570 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 470 0 0 0 0 0 0 0 15 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 457 0 0 0 0 0 0 0 16 0 19 0 548377720 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=0.15 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 1312 0 0 0 15 0 0 0 16 0 19 0 548377721 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.69 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8180 0 0 0 69 0 0 0 18 0 19 0 548377724 7780884480 19894 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0

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

[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0.1 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 50 0 0 0 10 0 0 0 15 0 19 0 548377720 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0.13 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 481 0 0 0 13 0 0 0 15 0 19 0 548377720 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0.13 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 605 0 0 0 13 0 0 0 15 0 19 0 548377720 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=6.2 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 2354 0 0 0 618 2 0 0 15 0 19 0 548377721 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.7 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8184 0 0 0 70 0 0 0 17 0 19 0 548377724 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11701] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11701/stat : 11701 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11702] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11702/stat : 11702 (java) S 11682 11684 11570 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 548377724 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11703] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11703/stat : 11703 (java) S 11682 11684 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548377740 7780884480 21184 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.53
Current children cumulated vsize (KiB) 7598520

[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 3.64 5/262 11744
/proc/meminfo: memFree=16668852/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7598520 CPUtime=1183.56 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 24544 0 1 0 118350 6 0 0 24 0 19 0 548377718 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1899630 21203 2255 9 0 1890368 0
[pid=11684/tid=11685] ppid=11682 vsize=7598520 CPUtime=1175.08 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9887 0 1 0 117507 1 0 0 25 0 19 0 548377719 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505613778 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7598520 CPUtime=0.13 cores=5,7
/proc/11684/task/11687/stat : 11687 (java) S 11682 11684 11570 0 -1 4202560 158 0 0 0 13 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7598520 CPUtime=0.1 cores=5,7
/proc/11684/task/11688/stat : 11688 (java) S 11682 11684 11570 0 -1 4202560 20 0 0 0 10 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7598520 CPUtime=0.1 cores=5,7
/proc/11684/task/11689/stat : 11689 (java) S 11682 11684 11570 0 -1 4202560 89 0 0 0 10 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7598520 CPUtime=0.13 cores=5,7
/proc/11684/task/11690/stat : 11690 (java) S 11682 11684 11570 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7598520 CPUtime=0.1 cores=5,7
/proc/11684/task/11691/stat : 11691 (java) S 11682 11684 11570 0 -1 4202560 27 0 0 0 10 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 51 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0.13 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 481 0 0 0 13 0 0 0 16 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0.14 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 605 0 0 0 14 0 0 0 15 0 19 0 548377720 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=6.52 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 2376 0 0 0 650 2 0 0 15 0 19 0 548377721 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.7 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8184 0 0 0 70 0 0 0 17 0 19 0 548377724 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11701] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11701/stat : 11701 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11702] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11702/stat : 11702 (java) S 11682 11684 11570 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 548377724 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11703] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11703/stat : 11703 (java) S 11682 11684 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548377740 7780884480 21203 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.56
Current children cumulated vsize (KiB) 7598520

[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 3.66 5/262 11746
/proc/meminfo: memFree=16668056/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7598520 CPUtime=1243.57 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 24576 0 1 0 124351 6 0 0 24 0 19 0 548377718 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1899630 21213 2255 9 0 1890368 0
[pid=11684/tid=11685] ppid=11682 vsize=7598520 CPUtime=1234.73 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9901 0 1 0 123472 1 0 0 25 0 19 0 548377719 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505613778 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7598520 CPUtime=0.14 cores=5,7
/proc/11684/task/11687/stat : 11687 (java) S 11682 11684 11570 0 -1 4202560 158 0 0 0 14 0 0 0 15 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11688/stat : 11688 (java) S 11682 11684 11570 0 -1 4202560 20 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11689/stat : 11689 (java) S 11682 11684 11570 0 -1 4202560 89 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7598520 CPUtime=0.13 cores=5,7
/proc/11684/task/11690/stat : 11690 (java) S 11682 11684 11570 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11691/stat : 11691 (java) S 11682 11684 11570 0 -1 4202560 27 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 51 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0.14 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 481 0 0 0 14 0 0 0 16 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0.15 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 605 0 0 0 15 0 0 0 16 0 19 0 548377720 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=6.85 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 2390 0 0 0 683 2 0 0 15 0 19 0 548377721 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.7 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8184 0 0 0 70 0 0 0 17 0 19 0 548377724 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11701] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11701/stat : 11701 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11702] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11702/stat : 11702 (java) S 11682 11684 11570 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 548377724 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11703] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11703/stat : 11703 (java) S 11682 11684 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548377740 7780884480 21213 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.57
Current children cumulated vsize (KiB) 7598520



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.17 4.06 3.68 2/202 11756
/proc/meminfo: memFree=16876192/32951124 swapFree=67111528/67111528
[pid=11684] ppid=11682 vsize=7598520 CPUtime=1301.3 cores=5,7
/proc/11684/stat : 11684 (java) S 11682 11684 11570 0 -1 4202496 24597 0 1 0 130124 6 0 0 24 0 19 0 548377718 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11684/statm: 1899630 21215 2255 9 0 1890368 0
[pid=11684/tid=11685] ppid=11682 vsize=7598520 CPUtime=1292.11 cores=5,7
/proc/11684/task/11685/stat : 11685 (java) R 11682 11684 11570 0 -1 4202560 9914 0 1 0 129210 1 0 0 25 0 19 0 548377719 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 46912505166908 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11684/tid=11687] ppid=11682 vsize=7598520 CPUtime=0.15 cores=5,7
/proc/11684/task/11687/stat : 11687 (java) S 11682 11684 11570 0 -1 4202560 160 0 0 0 15 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11688] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11688/stat : 11688 (java) S 11682 11684 11570 0 -1 4202560 20 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11689] ppid=11682 vsize=7598520 CPUtime=0.12 cores=5,7
/proc/11684/task/11689/stat : 11689 (java) S 11682 11684 11570 0 -1 4202560 89 0 0 0 12 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11690] ppid=11682 vsize=7598520 CPUtime=0.14 cores=5,7
/proc/11684/task/11690/stat : 11690 (java) S 11682 11684 11570 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11691] ppid=11682 vsize=7598520 CPUtime=0.12 cores=5,7
/proc/11684/task/11691/stat : 11691 (java) S 11682 11684 11570 0 -1 4202560 27 0 0 0 12 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11692] ppid=11682 vsize=7598520 CPUtime=0.11 cores=5,7
/proc/11684/task/11692/stat : 11692 (java) S 11682 11684 11570 0 -1 4202560 51 0 0 0 11 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11693] ppid=11682 vsize=7598520 CPUtime=0.14 cores=5,7
/proc/11684/task/11693/stat : 11693 (java) S 11682 11684 11570 0 -1 4202560 481 0 0 0 14 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11694] ppid=11682 vsize=7598520 CPUtime=0.15 cores=5,7
/proc/11684/task/11694/stat : 11694 (java) S 11682 11684 11570 0 -1 4202560 605 0 0 0 15 0 0 0 15 0 19 0 548377720 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11695] ppid=11682 vsize=7598520 CPUtime=7.14 cores=5,7
/proc/11684/task/11695/stat : 11695 (java) S 11682 11684 11570 0 -1 4202560 2392 0 0 0 712 2 0 0 15 0 19 0 548377721 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 0 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11696] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11696/stat : 11696 (java) S 11682 11684 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11697] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11697/stat : 11697 (java) S 11682 11684 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377721 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11698] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11698/stat : 11698 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032219569 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11699] ppid=11682 vsize=7598520 CPUtime=0.21 cores=5,7
/proc/11684/task/11699/stat : 11699 (java) S 11682 11684 11570 0 -1 4202560 1432 0 0 0 21 0 0 0 19 0 19 0 548377724 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11700] ppid=11682 vsize=7598520 CPUtime=0.7 cores=5,7
/proc/11684/task/11700/stat : 11700 (java) S 11682 11684 11570 0 -1 4202560 8184 0 0 0 70 0 0 0 17 0 19 0 548377724 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11701] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11701/stat : 11701 (java) S 11682 11684 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377724 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032211865 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
[pid=11684/tid=11702] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11702/stat : 11702 (java) S 11682 11684 11570 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 548377724 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 7 0 0 0
[pid=11684/tid=11703] ppid=11682 vsize=7598520 CPUtime=0 cores=5,7
/proc/11684/task/11703/stat : 11703 (java) S 11682 11684 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548377740 7780884480 21215 33554432000 1073741824 1073778376 140734083610816 18446744073709551615 260032212480 0 4 0 16800975 18446604466744435968 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.3
Current children cumulated vsize (KiB) 7598520

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.03
CPU time (s): 1301.34
CPU user time (s): 1301.27
CPU system time (s): 0.067989
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 7598520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.27
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24633
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35384
involuntary context switches= 9535

runsolver used 2.13267 second user time and 4.99224 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-23 19:57:51
IDJOB=3265824
IDBENCH=85808
IDSOLVER=1611
FILE ID=node110/3265824-1303581471
RUNJOBID= node110-1303581471-11591
PBS_JOBID= 13150352
Free space on /tmp= 71956 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.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-3265824-1303581471/watcher-3265824-1303581471 -o /tmp/evaluation-result-3265824-1303581471/solver-3265824-1303581471 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265824-1303581471.cnf

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

MD5SUM BENCH= 59fa4424111aa94c942a4bbd786cbd51
RANDOM SEED=1196765116

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.74
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16842056 kB
Buffers:       2314892 kB
Cached:       13041400 kB
SwapCached:          0 kB
Active:        8084520 kB
Inactive:      7455260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16842056 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            3320 kB
Writeback:           0 kB
AnonPages:      183164 kB
Mapped:          22856 kB
Slab:           502484 kB
PageTables:       5800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22007104 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71956 MiB
End job on node110 at 2011-04-23 20:19:33