Trace number 3265736

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.26 1300.04

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
MD5SUMf38a91a0947f21d9ceeb8762ba4c5f93
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark919.536
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18473
Sum of the clauses size132415
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32342
Number of clauses of size 4463
Number of clauses of size 5642
Number of clauses of size over 514542

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c no version file found!!!
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.18-164.el5
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		6997539544
0.03/0.07	c Max memory 		7034241024
0.03/0.07	c Total memory 		7034241024
0.03/0.07	c Number of processors 	8
0.03/0.09	c --- Begin Solver configuration ---
0.03/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.03/0.09	c Learn all clauses as in MiniSAT
0.03/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.09	c Expensive reason simplification
0.03/0.09	c Armin Biere (Picosat) restarts strategy
0.03/0.09	c Glucose learned constraints deletion strategy
0.03/0.09	c timeout=2147483647s
0.03/0.09	c DB Simplification allowed=true
0.03/0.09	c --- End Solver configuration ---
0.03/0.09	c solving HOME/instance-3265736-1303581471.cnf
0.03/0.09	c reading problem ... 
0.28/0.20	c ... done. Wall clock time 0.106s.
0.28/0.20	c #vars     2969
0.28/0.20	c #constraints  18272
0.28/0.20	c constraints type 
0.28/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17149
0.28/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1077
0.99/0.60	c cleaning 2493 clauses out of 5000 with flag 5000/5000
1.57/0.93	c cleaning 4239 clauses out of 8507 with flag 11000/11000
1.95/1.29	c cleaning 5633 clauses out of 11268 with flag 18000/18000
2.45/1.77	c cleaning 6809 clauses out of 13637 with flag 26002/26002
2.97/2.29	c cleaning 7896 clauses out of 15829 with flag 35003/35003
3.66/2.91	c cleaning 8966 clauses out of 17932 with flag 45002/45002
4.46/3.71	c cleaning 9962 clauses out of 19964 with flag 56000/56000
5.36/4.65	c cleaning 10988 clauses out of 22002 with flag 68000/68000
6.46/5.73	c cleaning 12001 clauses out of 24014 with flag 81000/81000
7.76/7.09	c cleaning 12992 clauses out of 26013 with flag 95000/95000
9.36/8.61	c cleaning 14001 clauses out of 28021 with flag 110000/110000
11.07/10.37	c cleaning 14996 clauses out of 30020 with flag 126000/126000
13.07/12.39	c cleaning 16006 clauses out of 32025 with flag 143001/143001
15.47/14.75	c cleaning 16996 clauses out of 34018 with flag 161000/161000
18.07/17.36	c cleaning 18001 clauses out of 36023 with flag 180001/180001
20.67/19.94	c cleaning 18500 clauses out of 37021 with flag 199000/199000
23.47/22.76	c cleaning 18738 clauses out of 37521 with flag 218000/218000
26.27/25.51	c cleaning 18884 clauses out of 37783 with flag 237000/237000
29.08/28.37	c cleaning 18939 clauses out of 37900 with flag 256001/256001
32.28/31.60	c cleaning 18953 clauses out of 37960 with flag 275000/275000
35.38/34.60	c cleaning 18996 clauses out of 38008 with flag 294001/294001
38.38/37.65	c cleaning 18984 clauses out of 38011 with flag 313000/313000
41.49/40.75	c cleaning 19005 clauses out of 38028 with flag 332001/332001
44.59/43.86	c cleaning 18995 clauses out of 38022 with flag 351000/351000
47.69/46.90	c cleaning 19004 clauses out of 38028 with flag 370001/370001
50.79/50.04	c cleaning 18999 clauses out of 38023 with flag 389000/389000
54.29/53.50	c cleaning 18991 clauses out of 38024 with flag 408000/408000
57.59/56.80	c cleaning 19006 clauses out of 38033 with flag 427000/427000
61.20/60.41	c cleaning 18994 clauses out of 38027 with flag 446000/446000
64.50/63.78	c cleaning 18987 clauses out of 38035 with flag 465002/465002
68.10/67.38	c cleaning 18979 clauses out of 38046 with flag 484000/484000
72.00/71.24	c cleaning 19013 clauses out of 38069 with flag 503002/503002
75.51/74.77	c cleaning 19012 clauses out of 38054 with flag 522000/522000
79.10/78.38	c cleaning 18994 clauses out of 38042 with flag 541000/541000
82.80/82.04	c cleaning 19010 clauses out of 38048 with flag 560000/560000
86.30/85.55	c cleaning 19006 clauses out of 38042 with flag 579004/579004
90.11/89.35	c cleaning 19003 clauses out of 38034 with flag 598002/598002
93.71/92.97	c cleaning 18996 clauses out of 38029 with flag 617000/617000
97.21/96.40	c cleaning 18999 clauses out of 38035 with flag 636002/636002
100.71/99.96	c cleaning 19009 clauses out of 38037 with flag 655003/655003
104.61/103.83	c cleaning 19001 clauses out of 38025 with flag 674000/674000
108.11/107.37	c cleaning 18993 clauses out of 38024 with flag 693000/693000
112.11/111.31	c cleaning 19001 clauses out of 38032 with flag 712001/712001
115.71/114.93	c cleaning 19005 clauses out of 38030 with flag 731000/731000
119.32/118.53	c cleaning 19007 clauses out of 38027 with flag 750002/750002
123.02/122.21	c cleaning 18989 clauses out of 38018 with flag 769000/769000
126.72/125.94	c cleaning 19007 clauses out of 38030 with flag 788001/788001
130.63/129.81	c cleaning 19002 clauses out of 38022 with flag 807000/807000
134.52/133.76	c cleaning 19000 clauses out of 38020 with flag 826000/826000
138.12/137.39	c cleaning 19000 clauses out of 38020 with flag 845000/845000
142.12/141.36	c cleaning 18995 clauses out of 38020 with flag 864000/864000
145.72/144.99	c cleaning 19004 clauses out of 38026 with flag 883001/883001
149.52/148.76	c cleaning 18998 clauses out of 38023 with flag 902002/902002
153.63/152.85	c cleaning 19007 clauses out of 38023 with flag 921000/921000
157.43/156.69	c cleaning 18997 clauses out of 38016 with flag 940000/940000
161.33/160.55	c cleaning 18993 clauses out of 38022 with flag 959003/959003
165.23/164.44	c cleaning 19006 clauses out of 38027 with flag 978001/978001
169.33/168.55	c cleaning 18986 clauses out of 38020 with flag 997000/997000
173.23/172.41	c cleaning 19011 clauses out of 38034 with flag 1016000/1016000
177.23/176.41	c cleaning 18993 clauses out of 38023 with flag 1035000/1035000
181.43/180.63	c cleaning 19000 clauses out of 38031 with flag 1054001/1054001
185.54/184.70	c cleaning 18994 clauses out of 38030 with flag 1073000/1073000
189.44/188.66	c cleaning 19006 clauses out of 38038 with flag 1092002/1092002
193.24/192.49	c cleaning 19003 clauses out of 38031 with flag 1111001/1111001
197.34/196.55	c cleaning 18994 clauses out of 38027 with flag 1130000/1130000
201.14/200.34	c cleaning 19004 clauses out of 38033 with flag 1149000/1149000
204.84/204.08	c cleaning 19008 clauses out of 38024 with flag 1168000/1168000
208.75/207.91	c cleaning 18996 clauses out of 38016 with flag 1187000/1187000
212.14/211.32	c cleaning 18996 clauses out of 38021 with flag 1206001/1206001
216.04/215.27	c cleaning 19004 clauses out of 38025 with flag 1225001/1225001
220.05/219.29	c cleaning 18994 clauses out of 38021 with flag 1244001/1244001
224.15/223.30	c cleaning 19005 clauses out of 38026 with flag 1263000/1263000
227.87/227.07	c cleaning 18993 clauses out of 38021 with flag 1282000/1282000
231.57/230.75	c cleaning 18993 clauses out of 38028 with flag 1301000/1301000
235.37/234.58	c cleaning 19004 clauses out of 38036 with flag 1320001/1320001
239.47/238.69	c cleaning 18999 clauses out of 38031 with flag 1339000/1339000
243.17/242.38	c cleaning 19001 clauses out of 38032 with flag 1358000/1358000
246.87/246.09	c cleaning 18981 clauses out of 38032 with flag 1377001/1377001
250.97/250.16	c cleaning 18992 clauses out of 38051 with flag 1396001/1396001
254.67/253.89	c cleaning 19006 clauses out of 38060 with flag 1415002/1415002
258.67/257.81	c cleaning 19022 clauses out of 38055 with flag 1434003/1434003
262.58/261.74	c cleaning 19006 clauses out of 38031 with flag 1453001/1453001
266.88/266.01	c cleaning 18994 clauses out of 38024 with flag 1472000/1472000
271.18/270.35	c cleaning 18988 clauses out of 38030 with flag 1491000/1491000
275.48/274.69	c cleaning 19018 clauses out of 38042 with flag 1510000/1510000
279.28/278.43	c cleaning 18997 clauses out of 38025 with flag 1529001/1529001
283.59/282.72	c cleaning 18993 clauses out of 38028 with flag 1548001/1548001
287.68/286.89	c cleaning 19013 clauses out of 38035 with flag 1567001/1567001
291.69/290.81	c cleaning 18996 clauses out of 38021 with flag 1586000/1586000
295.60/294.76	c cleaning 18993 clauses out of 38025 with flag 1605000/1605000
299.50/298.62	c cleaning 19003 clauses out of 38032 with flag 1624000/1624000
303.40/302.58	c cleaning 19002 clauses out of 38029 with flag 1643000/1643000
307.90/307.05	c cleaning 19000 clauses out of 38027 with flag 1662000/1662000
312.00/311.17	c cleaning 18997 clauses out of 38027 with flag 1681000/1681000
315.80/314.97	c cleaning 19005 clauses out of 38032 with flag 1700002/1700002
319.80/319.00	c cleaning 18991 clauses out of 38025 with flag 1719000/1719000
324.10/323.28	c cleaning 18988 clauses out of 38034 with flag 1738000/1738000
328.40/327.55	c cleaning 19014 clauses out of 38048 with flag 1757002/1757002
332.50/331.63	c cleaning 18996 clauses out of 38033 with flag 1776001/1776001
336.41/335.51	c cleaning 19001 clauses out of 38036 with flag 1795000/1795000
340.31/339.44	c cleaning 19009 clauses out of 38037 with flag 1814002/1814002
344.41/343.55	c cleaning 19001 clauses out of 38026 with flag 1833000/1833000
348.52/347.66	c cleaning 18965 clauses out of 38025 with flag 1852000/1852000
352.51/351.66	c cleaning 19005 clauses out of 38062 with flag 1871002/1871002
356.71/355.86	c cleaning 19008 clauses out of 38055 with flag 1890000/1890000
361.21/360.39	c cleaning 19015 clauses out of 38047 with flag 1909000/1909000
365.31/364.49	c cleaning 18999 clauses out of 38032 with flag 1928000/1928000
369.42/368.56	c cleaning 19007 clauses out of 38035 with flag 1947002/1947002
373.82/372.96	c cleaning 19000 clauses out of 38027 with flag 1966001/1966001
377.62/376.78	c cleaning 18976 clauses out of 38026 with flag 1985000/1985000
381.92/381.03	c cleaning 19003 clauses out of 38050 with flag 2004000/2004000
386.12/385.27	c cleaning 19008 clauses out of 38047 with flag 2023000/2023000
390.23/389.36	c cleaning 18999 clauses out of 38039 with flag 2042000/2042000
394.42/393.59	c cleaning 19004 clauses out of 38040 with flag 2061000/2061000
398.73/397.87	c cleaning 19004 clauses out of 38037 with flag 2080001/2080001
402.83/401.96	c cleaning 19001 clauses out of 38033 with flag 2099001/2099001
407.23/406.33	c cleaning 19006 clauses out of 38032 with flag 2118001/2118001
411.73/410.84	c cleaning 18980 clauses out of 38025 with flag 2137000/2137000
415.83/414.94	c cleaning 19016 clauses out of 38045 with flag 2156000/2156000
419.73/418.85	c cleaning 18994 clauses out of 38029 with flag 2175000/2175000
424.13/423.28	c cleaning 18991 clauses out of 38036 with flag 2194001/2194001
428.33/427.41	c cleaning 19006 clauses out of 38045 with flag 2213001/2213001
432.54/431.68	c cleaning 18997 clauses out of 38038 with flag 2232000/2232000
436.74/435.86	c cleaning 18991 clauses out of 38041 with flag 2251000/2251000
441.04/440.12	c cleaning 19013 clauses out of 38050 with flag 2270000/2270000
445.04/444.10	c cleaning 19000 clauses out of 38038 with flag 2289001/2289001
449.04/448.16	c cleaning 19010 clauses out of 38037 with flag 2308000/2308000
453.14/452.28	c cleaning 19003 clauses out of 38028 with flag 2327001/2327001
457.55/456.65	c cleaning 18981 clauses out of 38024 with flag 2346000/2346000
461.65/460.79	c cleaning 19003 clauses out of 38043 with flag 2365000/2365000
466.05/465.11	c cleaning 18996 clauses out of 38040 with flag 2384000/2384000
470.55/469.70	c cleaning 19001 clauses out of 38044 with flag 2403000/2403000
475.25/474.36	c cleaning 19009 clauses out of 38044 with flag 2422001/2422001
480.25/479.32	c cleaning 18986 clauses out of 38035 with flag 2441001/2441001
484.87/483.91	c cleaning 19015 clauses out of 38048 with flag 2460000/2460000
489.16/488.24	c cleaning 18989 clauses out of 38033 with flag 2479000/2479000
493.77/492.89	c cleaning 19002 clauses out of 38044 with flag 2498000/2498000
497.76/496.89	c cleaning 19009 clauses out of 38042 with flag 2517000/2517000
502.16/501.20	c cleaning 19000 clauses out of 38033 with flag 2536000/2536000
506.37/505.43	c cleaning 18989 clauses out of 38034 with flag 2555001/2555001
510.77/509.86	c cleaning 19010 clauses out of 38045 with flag 2574001/2574001
515.07/514.12	c cleaning 18996 clauses out of 38035 with flag 2593001/2593001
519.67/518.79	c cleaning 19008 clauses out of 38039 with flag 2612001/2612001
524.48/523.53	c cleaning 19001 clauses out of 38031 with flag 2631001/2631001
529.07/528.11	c cleaning 18985 clauses out of 38030 with flag 2650001/2650001
533.57/532.65	c cleaning 18998 clauses out of 38044 with flag 2669000/2669000
537.78/536.89	c cleaning 18999 clauses out of 38046 with flag 2688000/2688000
542.27/541.37	c cleaning 19024 clauses out of 38049 with flag 2707002/2707002
546.68/545.78	c cleaning 18994 clauses out of 38024 with flag 2726001/2726001
550.88/549.96	c cleaning 18989 clauses out of 38029 with flag 2745000/2745000
555.28/554.36	c cleaning 19013 clauses out of 38040 with flag 2764000/2764000
559.48/558.52	c cleaning 18997 clauses out of 38029 with flag 2783002/2783002
564.19/563.29	c cleaning 19004 clauses out of 38030 with flag 2802000/2802000
568.98/568.05	c cleaning 19005 clauses out of 38026 with flag 2821000/2821000
573.68/572.79	c cleaning 18991 clauses out of 38021 with flag 2840000/2840000
578.49/577.52	c cleaning 18992 clauses out of 38031 with flag 2859001/2859001
582.49/581.55	c cleaning 19005 clauses out of 38040 with flag 2878002/2878002
586.49/585.59	c cleaning 19004 clauses out of 38033 with flag 2897000/2897000
590.89/589.95	c cleaning 19005 clauses out of 38029 with flag 2916000/2916000
595.09/594.10	c cleaning 18998 clauses out of 38024 with flag 2935000/2935000
599.10/598.17	c cleaning 19002 clauses out of 38026 with flag 2954000/2954000
603.80/602.80	c cleaning 18985 clauses out of 38025 with flag 2973001/2973001
608.30/607.39	c cleaning 18995 clauses out of 38042 with flag 2992003/2992003
612.80/611.85	c cleaning 19007 clauses out of 38045 with flag 3011001/3011001
617.60/616.65	c cleaning 19007 clauses out of 38037 with flag 3030000/3030000
621.80/620.84	c cleaning 18998 clauses out of 38034 with flag 3049004/3049004
626.00/625.09	c cleaning 18982 clauses out of 38032 with flag 3068000/3068000
630.31/629.38	c cleaning 19004 clauses out of 38051 with flag 3087001/3087001
635.41/634.44	c cleaning 18997 clauses out of 38046 with flag 3106000/3106000
640.51/639.57	c cleaning 19003 clauses out of 38050 with flag 3125001/3125001
644.71/643.72	c cleaning 19003 clauses out of 38046 with flag 3144000/3144000
649.11/648.16	c cleaning 19006 clauses out of 38044 with flag 3163001/3163001
652.91/651.96	c cleaning 18986 clauses out of 38038 with flag 3182001/3182001
657.31/656.36	c cleaning 19018 clauses out of 38053 with flag 3201002/3201002
661.92/660.91	c cleaning 18991 clauses out of 38033 with flag 3220000/3220000
666.42/665.42	c cleaning 19010 clauses out of 38043 with flag 3239001/3239001
670.93/669.94	c cleaning 19000 clauses out of 38032 with flag 3258000/3258000
675.42/674.48	c cleaning 18994 clauses out of 38032 with flag 3277000/3277000
679.73/678.74	c cleaning 19012 clauses out of 38038 with flag 3296000/3296000
683.82/682.89	c cleaning 19006 clauses out of 38026 with flag 3315000/3315000
688.43/687.43	c cleaning 18999 clauses out of 38020 with flag 3334000/3334000
693.03/692.06	c cleaning 19002 clauses out of 38022 with flag 3353001/3353001
697.53/696.54	c cleaning 18990 clauses out of 38020 with flag 3372001/3372001
701.83/700.89	c cleaning 19002 clauses out of 38029 with flag 3391000/3391000
706.43/705.45	c cleaning 19001 clauses out of 38031 with flag 3410004/3410004
711.43/710.43	c cleaning 18994 clauses out of 38028 with flag 3429002/3429002
716.04/715.06	c cleaning 18992 clauses out of 38032 with flag 3448000/3448000
720.03/719.02	c cleaning 19007 clauses out of 38041 with flag 3467001/3467001
724.53/723.57	c cleaning 18990 clauses out of 38033 with flag 3486000/3486000
729.53/728.54	c cleaning 19011 clauses out of 38045 with flag 3505002/3505002
734.13/733.10	c cleaning 19007 clauses out of 38034 with flag 3524002/3524002
738.94/737.97	c cleaning 18991 clauses out of 38027 with flag 3543002/3543002
744.04/743.05	c cleaning 19005 clauses out of 38035 with flag 3562001/3562001
748.44/747.49	c cleaning 18983 clauses out of 38029 with flag 3581000/3581000
753.24/752.20	c cleaning 18995 clauses out of 38047 with flag 3600001/3600001
758.04/757.08	c cleaning 19016 clauses out of 38053 with flag 3619002/3619002
762.34/761.37	c cleaning 19000 clauses out of 38035 with flag 3638000/3638000
766.74/765.73	c cleaning 19005 clauses out of 38036 with flag 3657001/3657001
771.24/770.24	c cleaning 18996 clauses out of 38030 with flag 3676000/3676000
775.55/774.52	c cleaning 19011 clauses out of 38034 with flag 3695000/3695000
779.95/778.98	c cleaning 18986 clauses out of 38023 with flag 3714000/3714000
784.45/783.48	c cleaning 19002 clauses out of 38038 with flag 3733001/3733001
788.95/787.95	c cleaning 19005 clauses out of 38035 with flag 3752000/3752000
793.25/792.24	c cleaning 19004 clauses out of 38030 with flag 3771000/3771000
797.75/796.70	c cleaning 18985 clauses out of 38027 with flag 3790001/3790001
802.25/801.27	c cleaning 19007 clauses out of 38041 with flag 3809000/3809000
807.05/806.01	c cleaning 19007 clauses out of 38034 with flag 3828000/3828000
811.55/810.53	c cleaning 18986 clauses out of 38028 with flag 3847001/3847001
816.35/815.35	c cleaning 19004 clauses out of 38041 with flag 3866000/3866000
820.86/819.86	c cleaning 19002 clauses out of 38039 with flag 3885002/3885002
825.46/824.46	c cleaning 18991 clauses out of 38036 with flag 3904001/3904001
830.06/829.02	c cleaning 19009 clauses out of 38044 with flag 3923000/3923000
835.06/834.01	c cleaning 19002 clauses out of 38036 with flag 3942001/3942001
839.36/838.39	c cleaning 18992 clauses out of 38034 with flag 3961001/3961001
844.06/843.08	c cleaning 18991 clauses out of 38041 with flag 3980000/3980000
848.46/847.45	c cleaning 19022 clauses out of 38052 with flag 3999002/3999002
852.76/851.77	c cleaning 18987 clauses out of 38030 with flag 4018002/4018002
857.37/856.35	c cleaning 19002 clauses out of 38041 with flag 4037000/4037000
861.48/860.40	c cleaning 19009 clauses out of 38040 with flag 4056001/4056001
865.58/864.59	c cleaning 19002 clauses out of 38031 with flag 4075001/4075001
870.38/869.30	c cleaning 19002 clauses out of 38029 with flag 4094001/4094001
874.88/873.83	c cleaning 18986 clauses out of 38026 with flag 4113000/4113000
879.48/878.41	c cleaning 19009 clauses out of 38042 with flag 4132002/4132002
883.98/882.92	c cleaning 18988 clauses out of 38031 with flag 4151000/4151000
888.69/887.61	c cleaning 19013 clauses out of 38043 with flag 4170000/4170000
893.28/892.26	c cleaning 19001 clauses out of 38030 with flag 4189000/4189000
897.78/896.70	c cleaning 18998 clauses out of 38030 with flag 4208001/4208001
902.48/901.48	c cleaning 19001 clauses out of 38031 with flag 4227000/4227000
907.49/906.49	c cleaning 19003 clauses out of 38031 with flag 4246001/4246001
911.89/910.87	c cleaning 18994 clauses out of 38027 with flag 4265000/4265000
916.39/915.35	c cleaning 18996 clauses out of 38033 with flag 4284000/4284000
920.99/919.94	c cleaning 19012 clauses out of 38037 with flag 4303000/4303000
925.39/924.34	c cleaning 19007 clauses out of 38027 with flag 4322002/4322002
930.29/929.24	c cleaning 18991 clauses out of 38018 with flag 4341000/4341000
934.90/933.86	c cleaning 19007 clauses out of 38027 with flag 4360000/4360000
939.20/938.15	c cleaning 18980 clauses out of 38020 with flag 4379000/4379000
943.40/942.33	c cleaning 19004 clauses out of 38040 with flag 4398000/4398000
947.90/946.80	c cleaning 19010 clauses out of 38036 with flag 4417000/4417000
952.61/951.52	c cleaning 18995 clauses out of 38026 with flag 4436000/4436000
957.60/956.50	c cleaning 19008 clauses out of 38032 with flag 4455001/4455001
961.90/960.89	c cleaning 19001 clauses out of 38024 with flag 4474001/4474001
966.50/965.46	c cleaning 19005 clauses out of 38023 with flag 4493001/4493001
971.10/970.00	c cleaning 18991 clauses out of 38017 with flag 4512000/4512000
975.61/974.60	c cleaning 19001 clauses out of 38026 with flag 4531000/4531000
980.31/979.28	c cleaning 19001 clauses out of 38028 with flag 4550003/4550003
984.51/983.42	c cleaning 18988 clauses out of 38024 with flag 4569000/4569000
988.91/987.89	c cleaning 18998 clauses out of 38038 with flag 4588002/4588002
993.71/992.69	c cleaning 18999 clauses out of 38039 with flag 4607001/4607001
998.31/997.22	c cleaning 19001 clauses out of 38040 with flag 4626001/4626001
1002.61/1001.57	c cleaning 18998 clauses out of 38038 with flag 4645000/4645000
1007.41/1006.34	c cleaning 19017 clauses out of 38042 with flag 4664002/4664002
1012.02/1010.93	c cleaning 19001 clauses out of 38023 with flag 4683000/4683000
1016.12/1015.06	c cleaning 18991 clauses out of 38023 with flag 4702001/4702001
1020.52/1019.45	c cleaning 18997 clauses out of 38031 with flag 4721000/4721000
1025.32/1024.29	c cleaning 19007 clauses out of 38034 with flag 4740000/4740000
1029.63/1028.54	c cleaning 19001 clauses out of 38028 with flag 4759001/4759001
1034.22/1033.11	c cleaning 18990 clauses out of 38027 with flag 4778001/4778001
1038.62/1037.55	c cleaning 19000 clauses out of 38036 with flag 4797000/4797000
1043.42/1042.31	c cleaning 19006 clauses out of 38036 with flag 4816000/4816000
1048.02/1046.93	c cleaning 19009 clauses out of 38032 with flag 4835002/4835002
1052.23/1051.14	c cleaning 18986 clauses out of 38021 with flag 4854000/4854000
1056.73/1055.62	c cleaning 19000 clauses out of 38035 with flag 4873000/4873000
1061.13/1060.02	c cleaning 19005 clauses out of 38036 with flag 4892001/4892001
1065.33/1064.28	c cleaning 19003 clauses out of 38030 with flag 4911000/4911000
1069.94/1068.82	c cleaning 19008 clauses out of 38027 with flag 4930000/4930000
1074.44/1073.37	c cleaning 18992 clauses out of 38019 with flag 4949000/4949000
1079.05/1077.94	c cleaning 18991 clauses out of 38027 with flag 4968000/4968000
1083.84/1082.74	c cleaning 19006 clauses out of 38037 with flag 4987001/4987001
1088.55/1087.45	c cleaning 19000 clauses out of 38030 with flag 5006000/5006000
1093.55/1092.41	c cleaning 19000 clauses out of 38030 with flag 5025000/5025000
1098.25/1097.15	c cleaning 19004 clauses out of 38032 with flag 5044002/5044002
1103.15/1102.00	c cleaning 18996 clauses out of 38026 with flag 5063000/5063000
1107.85/1106.77	c cleaning 19005 clauses out of 38030 with flag 5082000/5082000
1112.95/1111.87	c cleaning 18989 clauses out of 38025 with flag 5101000/5101000
1118.06/1116.96	c cleaning 18978 clauses out of 38037 with flag 5120001/5120001
1122.66/1121.52	c cleaning 19010 clauses out of 38059 with flag 5139001/5139001
1127.46/1126.33	c cleaning 19006 clauses out of 38048 with flag 5158000/5158000
1132.06/1130.90	c cleaning 19006 clauses out of 38042 with flag 5177000/5177000
1136.86/1135.73	c cleaning 19009 clauses out of 38037 with flag 5196001/5196001
1141.46/1140.37	c cleaning 18993 clauses out of 38027 with flag 5215000/5215000
1146.17/1145.05	c cleaning 19004 clauses out of 38034 with flag 5234000/5234000
1150.46/1149.35	c cleaning 18972 clauses out of 38031 with flag 5253001/5253001
1155.17/1154.04	c cleaning 19008 clauses out of 38059 with flag 5272001/5272001
1159.67/1158.53	c cleaning 19007 clauses out of 38050 with flag 5291000/5291000
1164.37/1163.22	c cleaning 19004 clauses out of 38044 with flag 5310001/5310001
1168.67/1167.56	c cleaning 19009 clauses out of 38039 with flag 5329000/5329000
1173.07/1171.90	c cleaning 19001 clauses out of 38031 with flag 5348001/5348001
1177.17/1176.07	c cleaning 18988 clauses out of 38029 with flag 5367000/5367000
1181.97/1180.81	c cleaning 19008 clauses out of 38042 with flag 5386001/5386001
1186.37/1185.28	c cleaning 19007 clauses out of 38033 with flag 5405000/5405000
1191.17/1190.09	c cleaning 18988 clauses out of 38027 with flag 5424001/5424001
1195.37/1194.29	c cleaning 19007 clauses out of 38038 with flag 5443000/5443000
1199.77/1198.66	c cleaning 19000 clauses out of 38032 with flag 5462001/5462001
1204.48/1203.30	c cleaning 18996 clauses out of 38032 with flag 5481001/5481001
1208.77/1207.63	c cleaning 18997 clauses out of 38035 with flag 5500000/5500000
1213.38/1212.20	c cleaning 18999 clauses out of 38039 with flag 5519001/5519001
1217.78/1216.65	c cleaning 18999 clauses out of 38040 with flag 5538001/5538001
1222.28/1221.20	c cleaning 19008 clauses out of 38041 with flag 5557001/5557001
1226.88/1225.70	c cleaning 19008 clauses out of 38032 with flag 5576000/5576000
1231.68/1230.54	c cleaning 18997 clauses out of 38024 with flag 5595000/5595000
1235.99/1234.88	c cleaning 19002 clauses out of 38029 with flag 5614002/5614002
1239.99/1238.83	c cleaning 18986 clauses out of 38026 with flag 5633001/5633001
1244.29/1243.17	c cleaning 18997 clauses out of 38039 with flag 5652000/5652000
1249.19/1248.00	c cleaning 19006 clauses out of 38043 with flag 5671001/5671001
1254.00/1252.83	c cleaning 19010 clauses out of 38037 with flag 5690001/5690001
1258.69/1257.58	c cleaning 18990 clauses out of 38026 with flag 5709000/5709000
1263.39/1262.21	c cleaning 19004 clauses out of 38036 with flag 5728000/5728000
1267.99/1266.81	c cleaning 18988 clauses out of 38034 with flag 5747002/5747002
1272.40/1271.29	c cleaning 19005 clauses out of 38044 with flag 5766000/5766000
1277.30/1276.12	c cleaning 19000 clauses out of 38039 with flag 5785000/5785000
1281.90/1280.76	c cleaning 18994 clauses out of 38039 with flag 5804000/5804000
1286.50/1285.38	c cleaning 19014 clauses out of 38045 with flag 5823000/5823000
1291.00/1289.80	c cleaning 19007 clauses out of 38031 with flag 5842000/5842000
1295.60/1294.43	c cleaning 19007 clauses out of 38024 with flag 5861000/5861000
1300.21/1299.02	c cleaning 18998 clauses out of 38020 with flag 5880003/5880003
1301.21/1300.01	c starts		: 2246
1301.21/1300.01	c conflicts		: 5885014
1301.21/1300.01	c decisions		: 11493854
1301.21/1300.01	c propagations		: 474670746
1301.21/1300.01	c inspects		: 15976158902
1301.21/1300.01	c shortcuts		: 0
1301.21/1300.01	c learnt literals	: 1
1301.21/1300.01	c learnt binary clauses	: 531
1301.21/1300.01	c learnt ternary clauses	: 3380
1301.21/1300.01	c learnt constraints	: 5885013
1301.21/1300.01	c ignored constraints	: 0
1301.21/1300.01	c root simplifications	: 2247
1301.21/1300.01	c removed literals (reason simplification)	: 110420932
1301.21/1300.01	c reason swapping (by a shorter reason)	: 0
1301.21/1300.01	c Calls to reduceDB	: 315
1301.21/1300.01	c speed (assignments/second)	: 365183.1582316266
1301.21/1300.01	c non guided choices	2634907
1301.21/1300.03	c learnt constraints type 
1301.21/1300.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 530
1301.21/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 23532
1301.21/1300.03	c constraints type 
1301.21/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17149
1301.21/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1077
1301.21/1300.03	s UNKNOWN
1301.21/1300.03	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-3265736-1303581471/watcher-3265736-1303581471 -o /tmp/evaluation-result-3265736-1303581471/solver-3265736-1303581471 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265736-1303581471.cnf 

running on 2 cores: 1,3

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 4/180 11613
/proc/meminfo: memFree=16955616/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=8968 CPUtime=0 cores=1,3
/proc/11613/stat : 11613 (java) R 11611 11613 11570 0 -1 4194304 336 0 0 0 0 0 0 0 17 0 1 0 548377681 9183232 84 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260020420407 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11613/statm: 2242 104 80 9 0 34 0

[startup+0.046195 s]
/proc/loadavg: 2.40 2.84 2.61 4/180 11613
/proc/meminfo: memFree=16955616/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7564352 CPUtime=0.03 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 8846 0 1 0 3 0 0 0 17 0 13 0 548377681 7745896448 8542 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1891088 8543 1681 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100184 s]
/proc/loadavg: 2.40 2.84 2.61 4/180 11613
/proc/meminfo: memFree=16955616/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7636456 CPUtime=0.09 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 10429 0 1 0 8 1 0 0 17 0 18 0 548377681 7819730944 10125 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1909114 10125 2093 9 0 1899852 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636456

[startup+0.300149 s]
/proc/loadavg: 2.40 2.84 2.61 4/180 11613
/proc/meminfo: memFree=16955616/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7642596 CPUtime=0.48 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 12726 0 1 0 47 1 0 0 17 0 19 0 548377681 7826018304 12122 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1910649 12122 2217 9 0 1901387 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7642596

[startup+0.70108 s]
/proc/loadavg: 2.40 2.84 2.61 4/180 11613
/proc/meminfo: memFree=16955616/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7657716 CPUtime=1.17 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 19896 0 1 0 115 2 0 0 17 0 19 0 548377681 7841501184 17529 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1914429 17529 2252 9 0 1905167 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 7657716

[startup+1.50096 s]
/proc/loadavg: 2.40 2.84 2.61 8/262 11703
/proc/meminfo: memFree=16711944/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7659404 CPUtime=2.25 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 21383 0 1 0 223 2 0 0 17 0 19 0 548377681 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1914851 19014 2254 9 0 1905589 0
[pid=11613/tid=11625] ppid=11611 vsize=7659404 CPUtime=1.36 cores=1,3
/proc/11613/task/11625/stat : 11625 (java) R 11611 11613 11570 0 -1 4202560 9631 0 1 0 135 1 0 0 25 0 19 0 548377682 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 46912505585041 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11570 0 -1 4202560 582 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11570 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11632] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7659404 CPUtime=0.04 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 1034 0 0 0 4 0 0 0 15 0 19 0 548377684 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7659404 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7659404 CPUtime=0.52 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6913 0 0 0 52 0 0 0 16 0 19 0 548377687 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377687 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7843229696 19014 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 7659404

[startup+3.10064 s]
/proc/loadavg: 2.40 2.84 2.61 5/262 11703
/proc/meminfo: memFree=16686896/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7659404 CPUtime=3.87 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 21656 0 1 0 385 2 0 0 17 0 19 0 548377681 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1914851 19284 2254 9 0 1905589 0
[pid=11613/tid=11625] ppid=11611 vsize=7659404 CPUtime=2.89 cores=1,3
/proc/11613/task/11625/stat : 11625 (java) R 11611 11613 11570 0 -1 4202560 9633 0 1 0 288 1 0 0 25 0 19 0 548377682 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 46912505584640 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11570 0 -1 4202560 582 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11570 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11570 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11570 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11632] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 548377683 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7659404 CPUtime=0.09 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 1205 0 0 0 9 0 0 0 15 0 19 0 548377684 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7659404 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7659404 CPUtime=0.55 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6914 0 0 0 55 0 0 0 15 0 19 0 548377687 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377687 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7659404 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7843229696 19284 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 7659404

[startup+6.3011 s]
/proc/loadavg: 2.61 2.88 2.62 5/262 11703
/proc/meminfo: memFree=16691620/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7655584 CPUtime=7.06 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 21755 0 1 0 704 2 0 0 17 0 19 0 548377681 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1913896 18838 2254 9 0 1904634 0
[pid=11613/tid=11625] ppid=11611 vsize=7655584 CPUtime=6.02 cores=1,3
/proc/11613/task/11625/stat : 11625 (java) R 11611 11613 11570 0 -1 4202560 9637 0 1 0 601 1 0 0 19 0 19 0 548377682 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 46912505584885 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11570 0 -1 4202560 582 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11570 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11570 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11632] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 548377683 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7655584 CPUtime=0.15 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 1289 0 0 0 15 0 0 0 16 0 19 0 548377684 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7655584 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7655584 CPUtime=0.55 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6914 0 0 0 55 0 0 0 15 0 19 0 548377687 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377687 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7839318016 18838 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 7655584

[startup+12.7009 s]

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

[pid=11613/tid=11632] ppid=11611 vsize=7655584 CPUtime=0.1 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 163 0 0 0 10 0 0 0 15 0 19 0 548377683 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7655584 CPUtime=0.11 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 29 0 0 0 11 0 0 0 15 0 19 0 548377683 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7655584 CPUtime=0.11 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 129 0 0 0 11 0 0 0 15 0 19 0 548377683 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7655584 CPUtime=6.13 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 2277 0 0 0 611 2 0 0 16 0 19 0 548377684 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7655584 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7655584 CPUtime=0.58 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6920 0 0 0 58 0 0 0 15 0 19 0 548377687 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 548377687 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7839318016 20080 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (KiB) 7655584

[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 3.64 5/262 11744
/proc/meminfo: memFree=16668852/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7655584 CPUtime=1183.47 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 23449 0 1 0 118340 7 0 0 17 0 19 0 548377681 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1913896 20113 2255 9 0 1904634 0
[pid=11613/tid=11625] ppid=11611 vsize=7655584 CPUtime=1175.16 cores=1,3
/proc/11613/task/11625/stat : 11625 (java) R 11611 11613 11570 0 -1 4202560 9917 0 1 0 117514 2 0 0 19 0 19 0 548377682 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 46912505591954 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=7655584 CPUtime=0.11 cores=1,3
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11570 0 -1 4202560 592 0 0 0 11 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11570 0 -1 4202560 447 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=7655584 CPUtime=0.13 cores=1,3
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11570 0 -1 4202560 72 0 0 0 13 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11570 0 -1 4202560 15 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=7655584 CPUtime=0.1 cores=1,3
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11570 0 -1 4202560 11 0 0 0 10 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11632] ppid=11611 vsize=7655584 CPUtime=0.1 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 163 0 0 0 10 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 29 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 129 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7655584 CPUtime=6.43 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 2310 0 0 0 641 2 0 0 15 0 19 0 548377684 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7655584 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7655584 CPUtime=0.58 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6920 0 0 0 58 0 0 0 15 0 19 0 548377687 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 548377687 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7839318016 20113 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.47
Current children cumulated vsize (KiB) 7655584

[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 3.66 5/262 11746
/proc/meminfo: memFree=16668056/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7655584 CPUtime=1243.49 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 23489 0 1 0 124342 7 0 0 17 0 19 0 548377681 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1913896 20132 2255 9 0 1904634 0
[pid=11613/tid=11625] ppid=11611 vsize=7655584 CPUtime=1234.83 cores=1,3
/proc/11613/task/11625/stat : 11625 (java) R 11611 11613 11570 0 -1 4202560 9930 0 1 0 123481 2 0 0 25 0 19 0 548377682 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 46912505591954 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11570 0 -1 4202560 592 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=7655584 CPUtime=0.13 cores=1,3
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11570 0 -1 4202560 450 0 0 0 13 0 0 0 15 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=7655584 CPUtime=0.14 cores=1,3
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11570 0 -1 4202560 72 0 0 0 14 0 0 0 15 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=7655584 CPUtime=0.13 cores=1,3
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11570 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=7655584 CPUtime=0.11 cores=1,3
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11570 0 -1 4202560 13 0 0 0 11 0 0 0 16 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11632] ppid=11611 vsize=7655584 CPUtime=0.11 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 163 0 0 0 11 0 0 0 15 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 29 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 129 0 0 0 12 0 0 0 16 0 19 0 548377683 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7655584 CPUtime=6.73 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 2328 0 0 0 671 2 0 0 15 0 19 0 548377684 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7655584 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7655584 CPUtime=0.58 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6920 0 0 0 58 0 0 0 15 0 19 0 548377687 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 548377687 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7839318016 20132 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.49
Current children cumulated vsize (KiB) 7655584



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.17 4.06 3.68 6/263 11748
/proc/meminfo: memFree=16667624/32951124 swapFree=67111528/67111528
[pid=11613] ppid=11611 vsize=7655584 CPUtime=1301.21 cores=1,3
/proc/11613/stat : 11613 (java) S 11611 11613 11570 0 -1 4202496 23516 0 1 0 130114 7 0 0 17 0 19 0 548377681 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11613/statm: 1913896 20140 2255 9 0 1904634 0
[pid=11613/tid=11625] ppid=11611 vsize=7655584 CPUtime=1292.21 cores=1,3
/proc/11613/task/11625/stat : 11625 (java) R 11611 11613 11570 0 -1 4202560 9943 0 1 0 129219 2 0 0 18 0 19 0 548377682 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 46912505592015 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11613/tid=11627] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11627/stat : 11627 (java) S 11611 11613 11570 0 -1 4202560 592 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11628] ppid=11611 vsize=7655584 CPUtime=0.13 cores=1,3
/proc/11613/task/11628/stat : 11628 (java) S 11611 11613 11570 0 -1 4202560 450 0 0 0 13 0 0 0 16 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11629] ppid=11611 vsize=7655584 CPUtime=0.14 cores=1,3
/proc/11613/task/11629/stat : 11629 (java) S 11611 11613 11570 0 -1 4202560 72 0 0 0 14 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11630] ppid=11611 vsize=7655584 CPUtime=0.14 cores=1,3
/proc/11613/task/11630/stat : 11630 (java) S 11611 11613 11570 0 -1 4202560 15 0 0 0 14 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11631] ppid=11611 vsize=7655584 CPUtime=0.11 cores=1,3
/proc/11613/task/11631/stat : 11631 (java) S 11611 11613 11570 0 -1 4202560 13 0 0 0 11 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11632] ppid=11611 vsize=7655584 CPUtime=0.12 cores=1,3
/proc/11613/task/11632/stat : 11632 (java) S 11611 11613 11570 0 -1 4202560 163 0 0 0 12 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11633] ppid=11611 vsize=7655584 CPUtime=0.13 cores=1,3
/proc/11613/task/11633/stat : 11633 (java) S 11611 11613 11570 0 -1 4202560 29 0 0 0 13 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11634] ppid=11611 vsize=7655584 CPUtime=0.13 cores=1,3
/proc/11613/task/11634/stat : 11634 (java) S 11611 11613 11570 0 -1 4202560 129 0 0 0 13 0 0 0 15 0 19 0 548377683 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11637] ppid=11611 vsize=7655584 CPUtime=7.03 cores=1,3
/proc/11613/task/11637/stat : 11637 (java) S 11611 11613 11570 0 -1 4202560 2338 0 0 0 701 2 0 0 16 0 19 0 548377684 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 0 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11638] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11638/stat : 11638 (java) S 11611 11613 11570 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 548377685 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11639] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11639/stat : 11639 (java) S 11611 11613 11570 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 548377685 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11652] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11652/stat : 11652 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 548377687 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032219569 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11653] ppid=11611 vsize=7655584 CPUtime=0.28 cores=1,3
/proc/11613/task/11653/stat : 11653 (java) S 11611 11613 11570 0 -1 4202560 1625 0 0 0 28 0 0 0 16 0 19 0 548377687 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11654] ppid=11611 vsize=7655584 CPUtime=0.58 cores=1,3
/proc/11613/task/11654/stat : 11654 (java) S 11611 11613 11570 0 -1 4202560 6920 0 0 0 58 0 0 0 15 0 19 0 548377687 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11655] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11655/stat : 11655 (java) S 11611 11613 11570 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 548377687 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032211865 0 4 0 16800975 18446604471162341504 0 0 -1 1 0 0 0
[pid=11613/tid=11656] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11656/stat : 11656 (java) S 11611 11613 11570 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 548377687 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
[pid=11613/tid=11674] ppid=11611 vsize=7655584 CPUtime=0 cores=1,3
/proc/11613/task/11674/stat : 11674 (java) S 11611 11613 11570 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 548377702 7839318016 20140 33554432000 1073741824 1073778376 140734490081120 18446744073709551615 260032212480 0 4 0 16800975 18446604471162341504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.21
Current children cumulated vsize (KiB) 7655584

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

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

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.26
CPU user time (s): 1301.18
CPU system time (s): 0.079987
CPU usage (%): 100.094
Max. virtual memory (cumulated for all children) (KiB): 7659404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.18
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23553
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= 35427
involuntary context switches= 9638

runsolver used 2.15367 second user time and 4.97524 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-23 19:57:51
IDJOB=3265736
IDBENCH=85802
IDSOLVER=1611
FILE ID=node110/3265736-1303581471
RUNJOBID= node110-1303581471-11590
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-ukn006.shuffled-as.sat05-3846.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-3265736-1303581471/watcher-3265736-1303581471 -o /tmp/evaluation-result-3265736-1303581471/solver-3265736-1303581471 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265736-1303581471.cnf

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

MD5SUM BENCH= f38a91a0947f21d9ceeb8762ba4c5f93
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:      16960864 kB
Buffers:       2314864 kB
Cached:       13039100 kB
SwapCached:          0 kB
Active:        7967100 kB
Inactive:      7454840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16960864 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1768 kB
Writeback:           0 kB
AnonPages:       67540 kB
Mapped:          17812 kB
Slab:           502484 kB
PageTables:       5412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2613148 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= 71952 MiB
End job on node110 at 2011-04-23 20:19:33