Trace number 3280565

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark154.887
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

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-3280565-1303749498.cnf
0.00/0.09	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.082s.
0.09/0.17	c #vars     3114
0.09/0.17	c #constraints  10614
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5891
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4689
1.61/1.43	c cleaning 2494 clauses out of 4990 with flag 5000/5000
2.84/2.69	c cleaning 4244 clauses out of 8496 with flag 11000/11000
4.55/4.32	c cleaning 5624 clauses out of 11252 with flag 18000/18000
6.65/6.41	c cleaning 6784 clauses out of 13628 with flag 26000/26000
8.87/8.64	c cleaning 7918 clauses out of 15844 with flag 35000/35000
11.47/11.28	c cleaning 8958 clauses out of 17926 with flag 45000/45000
14.37/14.20	c cleaning 9973 clauses out of 19968 with flag 56000/56000
17.47/17.29	c cleaning 10482 clauses out of 20996 with flag 67001/67001
20.97/20.72	c cleaning 10751 clauses out of 21513 with flag 78000/78000
24.17/23.96	c cleaning 10860 clauses out of 21763 with flag 89001/89001
27.37/27.14	c cleaning 10946 clauses out of 21902 with flag 100000/100000
30.58/30.33	c cleaning 10973 clauses out of 21958 with flag 111002/111002
33.78/33.54	c cleaning 10984 clauses out of 21983 with flag 122000/122000
37.38/37.13	c cleaning 10995 clauses out of 21999 with flag 133000/133000
40.58/40.36	c cleaning 10997 clauses out of 22006 with flag 144002/144002
43.88/43.62	c cleaning 10995 clauses out of 22007 with flag 155000/155000
47.29/47.09	c cleaning 11003 clauses out of 22014 with flag 166002/166002
50.59/50.38	c cleaning 10992 clauses out of 22009 with flag 177000/177000
54.10/53.84	c cleaning 10960 clauses out of 22018 with flag 188001/188001
57.90/57.62	c cleaning 11012 clauses out of 22057 with flag 199000/199000
61.50/61.23	c cleaning 11007 clauses out of 22045 with flag 210000/210000
65.20/64.98	c cleaning 10984 clauses out of 22042 with flag 221004/221004
68.90/68.65	c cleaning 10993 clauses out of 22055 with flag 232001/232001
72.70/72.50	c cleaning 10997 clauses out of 22061 with flag 243000/243000
76.30/76.01	c cleaning 11009 clauses out of 22066 with flag 254002/254002
79.90/79.62	c cleaning 11013 clauses out of 22057 with flag 265002/265002
83.30/83.10	c cleaning 11013 clauses out of 22042 with flag 276000/276000
86.90/86.62	c cleaning 11003 clauses out of 22029 with flag 287000/287000
90.30/90.05	c cleaning 10982 clauses out of 22026 with flag 298000/298000
93.51/93.25	c cleaning 11009 clauses out of 22045 with flag 309001/309001
97.31/97.06	c cleaning 10995 clauses out of 22036 with flag 320001/320001
101.01/100.75	c cleaning 10995 clauses out of 22040 with flag 331000/331000
104.61/104.38	c cleaning 10980 clauses out of 22047 with flag 342002/342002
108.71/108.49	c cleaning 10995 clauses out of 22065 with flag 353000/353000
112.52/112.22	c cleaning 11032 clauses out of 22072 with flag 364002/364002
116.02/115.72	c cleaning 10971 clauses out of 22038 with flag 375000/375000
119.62/119.32	c cleaning 11008 clauses out of 22067 with flag 386000/386000
123.62/123.36	c cleaning 11011 clauses out of 22060 with flag 397001/397001
126.92/126.69	c cleaning 11014 clauses out of 22048 with flag 408000/408000
130.32/130.08	c cleaning 11011 clauses out of 22034 with flag 419000/419000
133.92/133.60	c cleaning 10997 clauses out of 22023 with flag 430000/430000
137.02/136.74	c cleaning 10995 clauses out of 22026 with flag 441000/441000
140.93/140.65	c cleaning 11004 clauses out of 22031 with flag 452000/452000
144.13/143.83	c cleaning 11009 clauses out of 22028 with flag 463001/463001
147.63/147.32	c cleaning 10986 clauses out of 22018 with flag 474000/474000
151.04/150.79	c cleaning 10967 clauses out of 22033 with flag 485001/485001
154.93/154.67	c cleaning 10998 clauses out of 22066 with flag 496001/496001
158.64/158.40	c cleaning 11019 clauses out of 22068 with flag 507001/507001
162.23/161.91	c cleaning 11000 clauses out of 22048 with flag 518000/518000
165.83/165.59	c cleaning 11005 clauses out of 22049 with flag 529001/529001
169.24/168.94	c cleaning 11007 clauses out of 22043 with flag 540000/540000
173.04/172.79	c cleaning 11010 clauses out of 22036 with flag 551000/551000
176.44/176.17	c cleaning 11006 clauses out of 22026 with flag 562000/562000
180.34/180.05	c cleaning 10986 clauses out of 22020 with flag 573000/573000
183.95/183.64	c cleaning 11011 clauses out of 22036 with flag 584002/584002
187.84/187.53	c cleaning 10986 clauses out of 22024 with flag 595001/595001
191.04/190.73	c cleaning 11010 clauses out of 22037 with flag 606000/606000
194.34/194.00	c cleaning 11007 clauses out of 22028 with flag 617001/617001
197.85/197.59	c cleaning 11000 clauses out of 22021 with flag 628001/628001
201.75/201.43	c cleaning 11000 clauses out of 22020 with flag 639000/639000
205.05/204.79	c cleaning 10993 clauses out of 22020 with flag 650000/650000
208.75/208.44	c cleaning 11006 clauses out of 22027 with flag 661000/661000
212.85/212.58	c cleaning 10999 clauses out of 22021 with flag 672000/672000
216.45/216.12	c cleaning 11007 clauses out of 22022 with flag 683000/683000
220.05/219.74	c cleaning 10960 clauses out of 22015 with flag 694000/694000
223.66/223.39	c cleaning 11003 clauses out of 22055 with flag 705000/705000
227.35/227.04	c cleaning 10987 clauses out of 22055 with flag 716003/716003
230.85/230.57	c cleaning 11022 clauses out of 22065 with flag 727000/727000
233.86/233.55	c cleaning 11013 clauses out of 22043 with flag 738000/738000
237.66/237.32	c cleaning 10973 clauses out of 22030 with flag 749000/749000
241.06/240.74	c cleaning 11005 clauses out of 22057 with flag 760000/760000
244.57/244.27	c cleaning 10974 clauses out of 22052 with flag 771000/771000
248.89/248.53	c cleaning 11016 clauses out of 22079 with flag 782001/782001
252.68/252.31	c cleaning 11022 clauses out of 22062 with flag 793000/793000
256.38/256.02	c cleaning 10977 clauses out of 22040 with flag 804000/804000
260.28/259.94	c cleaning 10975 clauses out of 22063 with flag 815000/815000
263.89/263.55	c cleaning 11028 clauses out of 22090 with flag 826002/826002
267.29/266.91	c cleaning 11018 clauses out of 22060 with flag 837000/837000
270.79/270.41	c cleaning 10999 clauses out of 22043 with flag 848001/848001
274.09/273.79	c cleaning 10982 clauses out of 22043 with flag 859000/859000
278.70/278.35	c cleaning 10994 clauses out of 22061 with flag 870000/870000
282.49/282.12	c cleaning 10990 clauses out of 22067 with flag 881000/881000
286.79/286.49	c cleaning 11033 clauses out of 22078 with flag 892001/892001
290.39/290.03	c cleaning 11001 clauses out of 22044 with flag 903000/903000
294.19/293.88	c cleaning 11021 clauses out of 22043 with flag 914000/914000
297.49/297.11	c cleaning 11000 clauses out of 22023 with flag 925001/925001
300.90/300.59	c cleaning 11000 clauses out of 22022 with flag 936000/936000
304.30/304.00	c cleaning 10962 clauses out of 22023 with flag 947001/947001
307.80/307.46	c cleaning 11022 clauses out of 22061 with flag 958001/958001
311.40/311.00	c cleaning 10992 clauses out of 22039 with flag 969001/969001
314.40/314.03	c cleaning 11007 clauses out of 22046 with flag 980000/980000
318.80/318.49	c cleaning 10962 clauses out of 22039 with flag 991000/991000
322.71/322.31	c cleaning 11013 clauses out of 22077 with flag 1002000/1002000
326.60/326.25	c cleaning 10985 clauses out of 22064 with flag 1013000/1013000
330.20/329.86	c cleaning 11030 clauses out of 22079 with flag 1024000/1024000
333.71/333.36	c cleaning 10995 clauses out of 22050 with flag 1035001/1035001
337.41/337.07	c cleaning 11020 clauses out of 22055 with flag 1046001/1046001
341.11/340.74	c cleaning 10997 clauses out of 22034 with flag 1057000/1057000
344.91/344.52	c cleaning 10991 clauses out of 22038 with flag 1068001/1068001
348.41/348.09	c cleaning 10997 clauses out of 22047 with flag 1079001/1079001
352.51/352.11	c cleaning 10991 clauses out of 22049 with flag 1090000/1090000
356.21/355.81	c cleaning 10997 clauses out of 22059 with flag 1101001/1101001
360.12/359.72	c cleaning 11015 clauses out of 22061 with flag 1112000/1112000
363.21/362.82	c cleaning 11001 clauses out of 22046 with flag 1123000/1123000
366.82/366.40	c cleaning 10991 clauses out of 22046 with flag 1134001/1134001
370.62/370.21	c cleaning 11004 clauses out of 22054 with flag 1145000/1145000
374.23/373.90	c cleaning 11015 clauses out of 22050 with flag 1156000/1156000
378.02/377.69	c cleaning 11006 clauses out of 22037 with flag 1167002/1167002
381.73/381.36	c cleaning 11008 clauses out of 22030 with flag 1178001/1178001
385.73/385.31	c cleaning 11002 clauses out of 22022 with flag 1189001/1189001
389.43/389.02	c cleaning 11000 clauses out of 22020 with flag 1200001/1200001
393.23/392.84	c cleaning 10977 clauses out of 22019 with flag 1211000/1211000
397.23/396.80	c cleaning 11003 clauses out of 22044 with flag 1222002/1222002
400.33/399.96	c cleaning 10994 clauses out of 22039 with flag 1233000/1233000
403.83/403.41	c cleaning 11013 clauses out of 22046 with flag 1244001/1244001
407.63/407.22	c cleaning 11007 clauses out of 22034 with flag 1255002/1255002
411.23/410.84	c cleaning 10958 clauses out of 22025 with flag 1266000/1266000
415.23/414.83	c cleaning 11026 clauses out of 22068 with flag 1277001/1277001
419.03/418.70	c cleaning 10989 clauses out of 22041 with flag 1288000/1288000
423.03/422.63	c cleaning 10999 clauses out of 22052 with flag 1299000/1299000
426.64/426.22	c cleaning 11014 clauses out of 22056 with flag 1310003/1310003
430.44/430.02	c cleaning 11000 clauses out of 22039 with flag 1321000/1321000
434.04/433.67	c cleaning 11010 clauses out of 22040 with flag 1332001/1332001
437.64/437.23	c cleaning 11010 clauses out of 22031 with flag 1343002/1343002
441.34/440.91	c cleaning 11002 clauses out of 22020 with flag 1354001/1354001
444.94/444.56	c cleaning 10955 clauses out of 22018 with flag 1365001/1365001
448.44/448.04	c cleaning 11023 clauses out of 22062 with flag 1376000/1376000
451.64/451.24	c cleaning 10986 clauses out of 22039 with flag 1387000/1387000
455.44/455.05	c cleaning 10983 clauses out of 22053 with flag 1398000/1398000
459.05/458.61	c cleaning 11028 clauses out of 22070 with flag 1409000/1409000
462.45/462.01	c cleaning 10993 clauses out of 22042 with flag 1420000/1420000
466.25/465.84	c cleaning 10996 clauses out of 22049 with flag 1431000/1431000
469.75/469.39	c cleaning 11014 clauses out of 22054 with flag 1442001/1442001
473.25/472.88	c cleaning 10980 clauses out of 22041 with flag 1453002/1453002
477.15/476.78	c cleaning 11012 clauses out of 22060 with flag 1464001/1464001
481.16/480.73	c cleaning 11017 clauses out of 22047 with flag 1475000/1475000
485.36/484.93	c cleaning 10981 clauses out of 22031 with flag 1486001/1486001
488.95/488.50	c cleaning 10999 clauses out of 22049 with flag 1497000/1497000
492.46/492.06	c cleaning 10963 clauses out of 22050 with flag 1508000/1508000
495.86/495.46	c cleaning 11032 clauses out of 22088 with flag 1519001/1519001
499.26/498.85	c cleaning 11012 clauses out of 22055 with flag 1530000/1530000
502.26/501.87	c cleaning 11010 clauses out of 22044 with flag 1541001/1541001
506.56/506.14	c cleaning 10998 clauses out of 22034 with flag 1552001/1552001
510.06/509.61	c cleaning 10963 clauses out of 22035 with flag 1563000/1563000
514.07/513.64	c cleaning 11011 clauses out of 22073 with flag 1574001/1574001
517.56/517.17	c cleaning 11009 clauses out of 22062 with flag 1585001/1585001
521.77/521.35	c cleaning 10982 clauses out of 22052 with flag 1596000/1596000
525.77/525.34	c cleaning 11027 clauses out of 22071 with flag 1607001/1607001
529.77/529.39	c cleaning 11001 clauses out of 22044 with flag 1618001/1618001
533.27/532.83	c cleaning 11010 clauses out of 22042 with flag 1629000/1629000
536.97/536.51	c cleaning 10968 clauses out of 22032 with flag 1640000/1640000
540.97/540.59	c cleaning 11018 clauses out of 22066 with flag 1651002/1651002
545.08/544.63	c cleaning 11001 clauses out of 22047 with flag 1662001/1662001
548.48/548.06	c cleaning 11017 clauses out of 22047 with flag 1673002/1673002
551.98/551.52	c cleaning 11000 clauses out of 22029 with flag 1684001/1684001
555.58/555.18	c cleaning 10995 clauses out of 22029 with flag 1695001/1695001
559.19/558.73	c cleaning 10974 clauses out of 22034 with flag 1706001/1706001
562.99/562.55	c cleaning 11006 clauses out of 22059 with flag 1717000/1717000
566.59/566.11	c cleaning 11020 clauses out of 22054 with flag 1728001/1728001
570.49/570.03	c cleaning 10974 clauses out of 22033 with flag 1739000/1739000
574.19/573.77	c cleaning 11024 clauses out of 22059 with flag 1750000/1750000
577.79/577.36	c cleaning 10992 clauses out of 22035 with flag 1761000/1761000
581.79/581.39	c cleaning 11017 clauses out of 22044 with flag 1772001/1772001
585.19/584.76	c cleaning 11007 clauses out of 22027 with flag 1783001/1783001
588.59/588.17	c cleaning 11004 clauses out of 22019 with flag 1794000/1794000
592.09/591.60	c cleaning 10957 clauses out of 22016 with flag 1805001/1805001
596.09/595.65	c cleaning 11015 clauses out of 22058 with flag 1816000/1816000
599.49/599.07	c cleaning 11016 clauses out of 22044 with flag 1827001/1827001
602.69/602.20	c cleaning 11001 clauses out of 22027 with flag 1838000/1838000
605.99/605.58	c cleaning 11005 clauses out of 22028 with flag 1849002/1849002
609.59/609.18	c cleaning 10941 clauses out of 22021 with flag 1860000/1860000
613.80/613.40	c cleaning 10981 clauses out of 22080 with flag 1871000/1871000
617.40/617.00	c cleaning 11044 clauses out of 22102 with flag 1882003/1882003
621.29/620.89	c cleaning 11015 clauses out of 22056 with flag 1893001/1893001
625.30/624.85	c cleaning 10977 clauses out of 22041 with flag 1904001/1904001
629.50/629.00	c cleaning 11022 clauses out of 22065 with flag 1915002/1915002
633.30/632.87	c cleaning 10995 clauses out of 22041 with flag 1926000/1926000
636.90/636.49	c cleaning 10977 clauses out of 22046 with flag 1937000/1937000
641.10/640.69	c cleaning 10995 clauses out of 22069 with flag 1948000/1948000
644.80/644.31	c cleaning 11021 clauses out of 22074 with flag 1959000/1959000
648.31/647.88	c cleaning 10974 clauses out of 22053 with flag 1970000/1970000
652.81/652.36	c cleaning 11025 clauses out of 22080 with flag 1981001/1981001
657.00/656.59	c cleaning 11000 clauses out of 22055 with flag 1992001/1992001
661.81/661.31	c cleaning 11007 clauses out of 22055 with flag 2003001/2003001
666.72/666.23	c cleaning 11016 clauses out of 22050 with flag 2014003/2014003
670.42/669.93	c cleaning 11014 clauses out of 22032 with flag 2025001/2025001
674.12/673.61	c cleaning 10960 clauses out of 22017 with flag 2036000/2036000
677.52/677.01	c cleaning 11018 clauses out of 22057 with flag 2047000/2047000
681.22/680.70	c cleaning 10971 clauses out of 22040 with flag 2058001/2058001
684.52/684.10	c cleaning 11027 clauses out of 22070 with flag 2069002/2069002
688.22/687.76	c cleaning 11013 clauses out of 22045 with flag 2080004/2080004
691.82/691.36	c cleaning 10954 clauses out of 22028 with flag 2091000/2091000
695.73/695.21	c cleaning 10982 clauses out of 22076 with flag 2102002/2102002
699.62/699.17	c cleaning 11037 clauses out of 22092 with flag 2113000/2113000
703.82/703.34	c cleaning 10986 clauses out of 22058 with flag 2124003/2124003
707.73/707.25	c cleaning 10990 clauses out of 22070 with flag 2135001/2135001
712.13/711.66	c cleaning 11007 clauses out of 22079 with flag 2146000/2146000
715.93/715.46	c cleaning 11013 clauses out of 22072 with flag 2157000/2157000
719.62/719.18	c cleaning 11011 clauses out of 22059 with flag 2168000/2168000
723.83/723.38	c cleaning 11017 clauses out of 22048 with flag 2179000/2179000
727.63/727.18	c cleaning 10967 clauses out of 22032 with flag 2190001/2190001
731.23/730.72	c cleaning 11024 clauses out of 22065 with flag 2201001/2201001
735.33/734.81	c cleaning 11017 clauses out of 22040 with flag 2212000/2212000
739.53/739.02	c cleaning 11000 clauses out of 22023 with flag 2223000/2223000
743.33/742.86	c cleaning 11012 clauses out of 22023 with flag 2234000/2234000
746.73/746.25	c cleaning 11000 clauses out of 22013 with flag 2245002/2245002
750.33/749.85	c cleaning 10944 clauses out of 22011 with flag 2256000/2256000
753.94/753.50	c cleaning 10989 clauses out of 22067 with flag 2267000/2267000
757.74/757.25	c cleaning 10998 clauses out of 22078 with flag 2278000/2278000
761.24/760.79	c cleaning 10983 clauses out of 22080 with flag 2289000/2289000
764.74/764.29	c cleaning 11040 clauses out of 22097 with flag 2300000/2300000
768.44/767.93	c cleaning 11023 clauses out of 22059 with flag 2311002/2311002
772.34/771.83	c cleaning 10981 clauses out of 22034 with flag 2322000/2322000
776.34/775.82	c cleaning 10987 clauses out of 22053 with flag 2333000/2333000
779.75/779.20	c cleaning 11022 clauses out of 22067 with flag 2344001/2344001
782.85/782.37	c cleaning 10992 clauses out of 22046 with flag 2355002/2355002
786.85/786.33	c cleaning 10975 clauses out of 22052 with flag 2366000/2366000
790.65/790.15	c cleaning 10987 clauses out of 22077 with flag 2377000/2377000
795.25/794.72	c cleaning 11001 clauses out of 22093 with flag 2388003/2388003
799.65/799.19	c cleaning 11001 clauses out of 22091 with flag 2399002/2399002
803.95/803.47	c cleaning 11042 clauses out of 22089 with flag 2410001/2410001
807.96/807.49	c cleaning 11006 clauses out of 22046 with flag 2421000/2421000
812.15/811.70	c cleaning 11015 clauses out of 22041 with flag 2432001/2432001
816.36/815.81	c cleaning 10988 clauses out of 22026 with flag 2443001/2443001
820.46/819.96	c cleaning 10988 clauses out of 22037 with flag 2454000/2454000
824.16/823.60	c cleaning 11016 clauses out of 22050 with flag 2465001/2465001
827.96/827.45	c cleaning 11006 clauses out of 22036 with flag 2476003/2476003
831.57/831.01	c cleaning 11005 clauses out of 22027 with flag 2487000/2487000
834.97/834.43	c cleaning 10999 clauses out of 22022 with flag 2498000/2498000
838.57/838.04	c cleaning 11007 clauses out of 22024 with flag 2509001/2509001
841.77/841.25	c cleaning 10999 clauses out of 22017 with flag 2520001/2520001
845.28/844.78	c cleaning 10965 clauses out of 22017 with flag 2531000/2531000
849.27/848.76	c cleaning 10997 clauses out of 22052 with flag 2542000/2542000
853.67/853.12	c cleaning 11011 clauses out of 22057 with flag 2553002/2553002
856.87/856.39	c cleaning 11017 clauses out of 22044 with flag 2564000/2564000
860.28/859.77	c cleaning 10966 clauses out of 22028 with flag 2575001/2575001
864.28/863.75	c cleaning 10977 clauses out of 22061 with flag 2586000/2586000
867.78/867.28	c cleaning 11033 clauses out of 22084 with flag 2597000/2597000
872.08/871.55	c cleaning 11013 clauses out of 22051 with flag 2608000/2608000
875.48/874.98	c cleaning 10994 clauses out of 22039 with flag 2619001/2619001
880.28/879.71	c cleaning 11013 clauses out of 22046 with flag 2630002/2630002
884.38/883.85	c cleaning 11008 clauses out of 22031 with flag 2641000/2641000
888.19/887.64	c cleaning 11005 clauses out of 22023 with flag 2652000/2652000
891.49/890.97	c cleaning 10979 clauses out of 22019 with flag 2663001/2663001
895.69/895.10	c cleaning 10999 clauses out of 22039 with flag 2674000/2674000
898.99/898.46	c cleaning 11014 clauses out of 22042 with flag 2685002/2685002
902.79/902.23	c cleaning 11002 clauses out of 22026 with flag 2696000/2696000
906.29/905.70	c cleaning 11003 clauses out of 22024 with flag 2707000/2707000
909.69/909.19	c cleaning 11004 clauses out of 22022 with flag 2718001/2718001
913.20/912.65	c cleaning 10980 clauses out of 22017 with flag 2729000/2729000
917.00/916.42	c cleaning 10978 clauses out of 22037 with flag 2740000/2740000
920.60/920.05	c cleaning 11018 clauses out of 22059 with flag 2751000/2751000
924.60/924.02	c cleaning 10972 clauses out of 22041 with flag 2762000/2762000
927.80/927.30	c cleaning 10979 clauses out of 22069 with flag 2773000/2773000
931.60/931.02	c cleaning 11036 clauses out of 22090 with flag 2784000/2784000
935.51/934.94	c cleaning 11002 clauses out of 22055 with flag 2795001/2795001
939.10/938.56	c cleaning 10990 clauses out of 22052 with flag 2806000/2806000
943.50/942.99	c cleaning 11027 clauses out of 22064 with flag 2817002/2817002
946.51/945.93	c cleaning 11008 clauses out of 22035 with flag 2828000/2828000
950.31/949.78	c cleaning 11002 clauses out of 22028 with flag 2839001/2839001
954.01/953.49	c cleaning 10983 clauses out of 22025 with flag 2850000/2850000
957.51/956.96	c cleaning 10982 clauses out of 22042 with flag 2861000/2861000
960.91/960.32	c cleaning 11001 clauses out of 22060 with flag 2872000/2872000
964.91/964.35	c cleaning 10960 clauses out of 22060 with flag 2883001/2883001
968.81/968.20	c cleaning 11016 clauses out of 22099 with flag 2894000/2894000
972.41/971.80	c cleaning 11015 clauses out of 22084 with flag 2905001/2905001
976.61/976.06	c cleaning 11015 clauses out of 22068 with flag 2916000/2916000
981.82/981.29	c cleaning 11017 clauses out of 22053 with flag 2927000/2927000
985.72/985.13	c cleaning 10969 clauses out of 22036 with flag 2938000/2938000
989.22/988.69	c cleaning 11007 clauses out of 22067 with flag 2949000/2949000
994.12/993.51	c cleaning 11015 clauses out of 22060 with flag 2960000/2960000
998.33/997.76	c cleaning 10964 clauses out of 22047 with flag 2971002/2971002
1002.52/1001.99	c cleaning 11037 clauses out of 22081 with flag 2982000/2982000
1005.82/1005.24	c cleaning 10979 clauses out of 22044 with flag 2993000/2993000
1009.42/1008.89	c cleaning 10987 clauses out of 22065 with flag 3004000/3004000
1012.82/1012.23	c cleaning 11020 clauses out of 22078 with flag 3015000/3015000
1015.93/1015.31	c cleaning 11014 clauses out of 22059 with flag 3026001/3026001
1019.13/1018.51	c cleaning 11003 clauses out of 22046 with flag 3037002/3037002
1022.63/1022.10	c cleaning 10964 clauses out of 22041 with flag 3048000/3048000
1026.53/1025.96	c cleaning 11028 clauses out of 22078 with flag 3059001/3059001
1030.33/1029.77	c cleaning 10989 clauses out of 22050 with flag 3070001/3070001
1034.23/1033.66	c cleaning 11023 clauses out of 22060 with flag 3081000/3081000
1037.84/1037.29	c cleaning 11009 clauses out of 22039 with flag 3092002/3092002
1041.93/1041.36	c cleaning 10971 clauses out of 22028 with flag 3103000/3103000
1045.64/1045.04	c cleaning 10997 clauses out of 22057 with flag 3114000/3114000
1049.64/1049.01	c cleaning 11019 clauses out of 22060 with flag 3125000/3125000
1053.24/1052.65	c cleaning 10973 clauses out of 22042 with flag 3136001/3136001
1056.54/1055.99	c cleaning 10954 clauses out of 22068 with flag 3147000/3147000
1060.54/1059.93	c cleaning 11022 clauses out of 22114 with flag 3158000/3158000
1064.64/1064.09	c cleaning 11036 clauses out of 22093 with flag 3169001/3169001
1068.65/1068.00	c cleaning 11002 clauses out of 22056 with flag 3180000/3180000
1073.06/1072.43	c cleaning 10964 clauses out of 22054 with flag 3191000/3191000
1077.05/1076.49	c cleaning 11008 clauses out of 22091 with flag 3202001/3202001
1081.75/1081.10	c cleaning 10998 clauses out of 22082 with flag 3213000/3213000
1086.26/1085.67	c cleaning 11024 clauses out of 22086 with flag 3224002/3224002
1090.06/1089.46	c cleaning 10974 clauses out of 22060 with flag 3235000/3235000
1093.56/1092.95	c cleaning 11008 clauses out of 22087 with flag 3246001/3246001
1097.26/1096.69	c cleaning 10993 clauses out of 22078 with flag 3257000/3257000
1101.16/1100.57	c cleaning 10995 clauses out of 22086 with flag 3268001/3268001
1105.86/1105.22	c cleaning 11020 clauses out of 22091 with flag 3279001/3279001
1109.16/1108.50	c cleaning 10980 clauses out of 22070 with flag 3290000/3290000
1112.56/1112.00	c cleaning 10990 clauses out of 22090 with flag 3301000/3301000
1116.26/1115.60	c cleaning 11041 clauses out of 22102 with flag 3312002/3312002
1119.46/1118.89	c cleaning 10977 clauses out of 22059 with flag 3323000/3323000
1122.57/1122.00	c cleaning 10991 clauses out of 22083 with flag 3334001/3334001
1126.07/1125.44	c cleaning 11031 clauses out of 22092 with flag 3345001/3345001
1130.17/1129.58	c cleaning 10979 clauses out of 22062 with flag 3356002/3356002
1134.27/1133.60	c cleaning 11002 clauses out of 22081 with flag 3367000/3367000
1137.47/1136.90	c cleaning 11000 clauses out of 22079 with flag 3378000/3378000
1141.47/1140.81	c cleaning 11037 clauses out of 22082 with flag 3389003/3389003
1144.97/1144.34	c cleaning 10999 clauses out of 22043 with flag 3400001/3400001
1148.27/1147.66	c cleaning 10978 clauses out of 22044 with flag 3411001/3411001
1152.67/1152.03	c cleaning 11005 clauses out of 22065 with flag 3422000/3422000
1156.78/1156.20	c cleaning 10985 clauses out of 22061 with flag 3433001/3433001
1160.27/1159.68	c cleaning 11009 clauses out of 22075 with flag 3444000/3444000
1163.97/1163.39	c cleaning 10997 clauses out of 22066 with flag 3455000/3455000
1168.18/1167.53	c cleaning 10986 clauses out of 22069 with flag 3466000/3466000
1171.88/1171.29	c cleaning 11030 clauses out of 22084 with flag 3477001/3477001
1175.39/1174.76	c cleaning 11010 clauses out of 22056 with flag 3488003/3488003
1179.38/1178.77	c cleaning 10987 clauses out of 22043 with flag 3499000/3499000
1183.19/1182.56	c cleaning 11010 clauses out of 22057 with flag 3510001/3510001
1186.88/1186.26	c cleaning 10962 clauses out of 22046 with flag 3521000/3521000
1190.98/1190.31	c cleaning 10996 clauses out of 22085 with flag 3532001/3532001
1194.79/1194.19	c cleaning 11034 clauses out of 22089 with flag 3543001/3543001
1198.99/1198.40	c cleaning 11015 clauses out of 22058 with flag 3554004/3554004
1203.09/1202.44	c cleaning 11002 clauses out of 22041 with flag 3565002/3565002
1206.99/1206.37	c cleaning 11016 clauses out of 22038 with flag 3576001/3576001
1211.19/1210.58	c cleaning 10993 clauses out of 22021 with flag 3587000/3587000
1215.29/1214.68	c cleaning 10989 clauses out of 22028 with flag 3598000/3598000
1219.19/1218.50	c cleaning 10982 clauses out of 22040 with flag 3609001/3609001
1222.49/1221.85	c cleaning 11012 clauses out of 22057 with flag 3620000/3620000
1225.79/1225.12	c cleaning 10996 clauses out of 22045 with flag 3631000/3631000
1229.30/1228.65	c cleaning 11014 clauses out of 22051 with flag 3642002/3642002
1232.30/1231.62	c cleaning 11005 clauses out of 22035 with flag 3653000/3653000
1235.30/1234.62	c cleaning 11009 clauses out of 22033 with flag 3664003/3664003
1238.40/1237.74	c cleaning 11003 clauses out of 22022 with flag 3675001/3675001
1241.90/1241.25	c cleaning 11003 clauses out of 22019 with flag 3686001/3686001
1245.00/1244.39	c cleaning 11003 clauses out of 22015 with flag 3697000/3697000
1247.90/1247.23	c cleaning 10998 clauses out of 22015 with flag 3708003/3708003
1251.00/1250.39	c cleaning 11001 clauses out of 22014 with flag 3719000/3719000
1254.21/1253.54	c cleaning 10985 clauses out of 22013 with flag 3730000/3730000
1257.31/1256.64	c cleaning 10998 clauses out of 22029 with flag 3741001/3741001
1260.71/1260.07	c cleaning 10953 clauses out of 22031 with flag 3752001/3752001
1264.91/1264.23	c cleaning 11008 clauses out of 22078 with flag 3763001/3763001
1268.71/1268.00	c cleaning 11019 clauses out of 22069 with flag 3774000/3774000
1271.91/1271.23	c cleaning 11001 clauses out of 22050 with flag 3785000/3785000
1275.81/1275.10	c cleaning 10981 clauses out of 22049 with flag 3796000/3796000
1279.51/1278.85	c cleaning 11014 clauses out of 22068 with flag 3807000/3807000
1283.61/1282.91	c cleaning 10984 clauses out of 22054 with flag 3818000/3818000
1287.22/1286.56	c cleaning 10992 clauses out of 22071 with flag 3829001/3829001
1290.73/1290.02	c cleaning 10968 clauses out of 22078 with flag 3840000/3840000
1294.33/1293.66	c cleaning 11001 clauses out of 22110 with flag 3851000/3851000
1298.43/1297.73	c cleaning 11024 clauses out of 22111 with flag 3862002/3862002
1300.74/1300.01	c starts		: 1950
1300.74/1300.01	c conflicts		: 3870288
1300.74/1300.01	c decisions		: 5583376
1300.74/1300.01	c propagations		: 1498992284
1300.74/1300.01	c inspects		: 10683592006
1300.74/1300.01	c shortcuts		: 0
1300.74/1300.01	c learnt literals	: 5
1300.74/1300.01	c learnt binary clauses	: 582
1300.74/1300.01	c learnt ternary clauses	: 1837
1300.74/1300.01	c learnt constraints	: 3870283
1300.74/1300.01	c ignored constraints	: 0
1300.74/1300.01	c root simplifications	: 1955
1300.74/1300.01	c removed literals (reason simplification)	: 147630568
1300.74/1300.01	c reason swapping (by a shorter reason)	: 0
1300.74/1300.01	c Calls to reduceDB	: 353
1300.74/1300.01	c speed (assignments/second)	: 1153214.8352333137
1300.74/1300.01	c non guided choices	121
1300.74/1300.03	c learnt constraints type 
1300.74/1300.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 579
1300.74/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18871
1300.74/1300.03	c constraints type 
1300.74/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5891
1300.74/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4689
1300.74/1300.03	s UNKNOWN
1300.74/1300.03	c Total wall clock time (in seconds) : 1299.92

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 1.39 2.29 2.89 4/196 9176
/proc/meminfo: memFree=13129636/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=30540 CPUtime=0 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 1250 0 0 0 0 0 0 0 22 0 2 0 486550284 31272960 969 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 7634 972 745 9 0 385 0
[pid=9176/tid=9178] ppid=9174 vsize=31604 CPUtime=0 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 139 0 0 0 0 0 0 0 24 0 2 0 486550284 32362496 972 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230804242535 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.099124 s]
/proc/loadavg: 1.39 2.29 2.89 4/196 9176
/proc/meminfo: memFree=13129636/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7636172 CPUtime=0.09 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 10282 0 1 0 8 1 0 0 22 0 18 0 486550284 7819440128 9978 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1909043 9978 2060 9 0 1899781 0
[pid=9176/tid=9178] ppid=9174 vsize=7636172 CPUtime=0.08 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 8616 0 1 0 7 1 0 0 25 0 18 0 486550284 7819440128 9978 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505164132 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636172

[startup+0.101123 s]
/proc/loadavg: 1.39 2.29 2.89 4/196 9176
/proc/meminfo: memFree=13129636/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7636304 CPUtime=0.09 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 10306 0 1 0 8 1 0 0 22 0 18 0 486550284 7819575296 10002 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1909076 10002 2061 9 0 1899814 0
[pid=9176/tid=9178] ppid=9174 vsize=7636304 CPUtime=0.08 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 8622 0 1 0 7 1 0 0 25 0 18 0 486550284 7819575296 10003 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505228273 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636304

[startup+0.301115 s]
/proc/loadavg: 1.39 2.29 2.89 4/196 9176
/proc/meminfo: memFree=13129636/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7640072 CPUtime=0.42 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 13050 0 1 0 40 2 0 0 22 0 19 0 486550284 7823433728 11668 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1910018 11668 2220 9 0 1900756 0
[pid=9176/tid=9178] ppid=9174 vsize=7640072 CPUtime=0.19 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9033 0 1 0 18 1 0 0 25 0 19 0 486550284 7823433728 11668 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820991669 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7640072

[startup+0.701075 s]
/proc/loadavg: 1.39 2.29 2.89 4/196 9176
/proc/meminfo: memFree=13129636/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7640072 CPUtime=0.88 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 13464 0 1 0 86 2 0 0 22 0 19 0 486550284 7823433728 11806 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1910018 11806 2224 9 0 1900756 0
[pid=9176/tid=9178] ppid=9174 vsize=7640072 CPUtime=0.53 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9201 0 1 0 52 1 0 0 25 0 19 0 486550284 7823433728 11806 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505166957 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 7640072

[startup+1.50086 s]
/proc/loadavg: 1.39 2.29 2.89 7/240 9227
/proc/meminfo: memFree=12985304/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7640072 CPUtime=1.74 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 15281 0 1 0 172 2 0 0 22 0 19 0 486550284 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1910018 13161 2253 9 0 1900756 0
[pid=9176/tid=9178] ppid=9174 vsize=7640072 CPUtime=1.28 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9486 0 1 0 127 1 0 0 25 0 19 0 486550284 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505584649 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9176/tid=9180] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9180/stat : 9180 (java) S 9174 9176 8809 0 -1 4202560 525 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9181] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9181/stat : 9181 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9182] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9182/stat : 9182 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9183] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9183/stat : 9183 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9184] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9184/stat : 9184 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9185] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7640072 CPUtime=0.01 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 530 0 0 0 1 0 0 0 16 0 19 0 486550286 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7640072 CPUtime=0.17 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 771 0 0 0 17 0 0 0 15 0 19 0 486550289 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7640072 CPUtime=0.24 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2811 0 0 0 24 0 0 0 15 0 19 0 486550289 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9194] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9194/stat : 9194 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9195] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9195/stat : 9195 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550289 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9200] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9200/stat : 9200 (java) S 9174 9176 8809 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 486550302 7823433728 13161 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 7640072

[startup+3.10162 s]
/proc/loadavg: 1.39 2.29 2.89 8/261 9251
/proc/meminfo: memFree=12878500/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7640072 CPUtime=3.34 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 15712 0 1 0 332 2 0 0 22 0 19 0 486550284 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1910018 13591 2255 9 0 1900756 0
[pid=9176/tid=9178] ppid=9174 vsize=7640072 CPUtime=2.85 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9488 0 1 0 284 1 0 0 25 0 19 0 486550284 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505557509 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9176/tid=9180] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9180/stat : 9180 (java) S 9174 9176 8809 0 -1 4202560 525 0 0 0 0 0 0 0 18 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9181] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9181/stat : 9181 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9182] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9182/stat : 9182 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9183] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9183/stat : 9183 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9184] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9184/stat : 9184 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9185] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7640072 CPUtime=0.02 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 656 0 0 0 2 0 0 0 15 0 19 0 486550286 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7640072 CPUtime=0.18 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 772 0 0 0 18 0 0 0 15 0 19 0 486550289 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7640072 CPUtime=0.25 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2813 0 0 0 25 0 0 0 15 0 19 0 486550289 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9194] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9194/stat : 9194 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9195] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9195/stat : 9195 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550289 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9200] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9200/stat : 9200 (java) S 9174 9176 8809 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 486550302 7823433728 13591 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 7640072

[startup+6.30103 s]
/proc/loadavg: 1.60 2.32 2.90 5/262 9252
/proc/meminfo: memFree=12716940/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7640072 CPUtime=6.55 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 15815 0 1 0 653 2 0 0 22 0 19 0 486550284 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1910018 13691 2255 9 0 1900756 0
[pid=9176/tid=9178] ppid=9174 vsize=7640072 CPUtime=6.03 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9490 0 1 0 602 1 0 0 20 0 19 0 486550284 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505584703 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9176/tid=9180] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9180/stat : 9180 (java) S 9174 9176 8809 0 -1 4202560 525 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9181] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9181/stat : 9181 (java) S 9174 9176 8809 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9182] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9182/stat : 9182 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9183] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9183/stat : 9183 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9184] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9184/stat : 9184 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9185] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 486550285 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7640072 CPUtime=0.04 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 754 0 0 0 4 0 0 0 15 0 19 0 486550286 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7640072 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7640072 CPUtime=0.19 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 773 0 0 0 19 0 0 0 15 0 19 0 486550289 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7640072 CPUtime=0.25 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2813 0 0 0 25 0 0 0 16 0 19 0 486550289 7823433728 13691 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0

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

[pid=9176/tid=9185] ppid=9174 vsize=7639440 CPUtime=0.11 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 65 0 0 0 11 0 0 0 15 0 19 0 486550285 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7639440 CPUtime=0.12 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 45 0 0 0 12 0 0 0 15 0 19 0 486550285 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7639440 CPUtime=0.11 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 354 0 0 0 11 0 0 0 15 0 19 0 486550285 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7639440 CPUtime=5.34 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 1541 0 0 0 532 2 0 0 16 0 19 0 486550286 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7639440 CPUtime=0.22 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 1008 0 0 0 22 0 0 0 15 0 19 0 486550289 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7639440 CPUtime=0.25 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2813 0 0 0 25 0 0 0 16 0 19 0 486550289 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9194] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9194/stat : 9194 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9195] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9195/stat : 9195 (java) S 9174 9176 8809 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 486550289 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9200] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9200/stat : 9200 (java) S 9174 9176 8809 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 486550302 7822786560 14506 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1122.97
Current children cumulated vsize (KiB) 7639440

[startup+1182.3 s]
/proc/loadavg: 4.00 3.99 3.68 6/262 9283
/proc/meminfo: memFree=12235296/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7639440 CPUtime=1182.98 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 17500 0 1 0 118290 8 0 0 22 0 19 0 486550284 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1909860 14532 2256 9 0 1900598 0
[pid=9176/tid=9178] ppid=9174 vsize=7639440 CPUtime=1175.81 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9806 0 1 0 117579 2 0 0 25 0 19 0 486550284 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505561757 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9176/tid=9180] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9180/stat : 9180 (java) S 9174 9176 8809 0 -1 4202560 534 0 0 0 13 0 0 0 15 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9181] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9181/stat : 9181 (java) S 9174 9176 8809 0 -1 4202560 8 0 0 0 13 0 0 0 15 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9182] ppid=9174 vsize=7639440 CPUtime=0.12 cores=4,6
/proc/9176/task/9182/stat : 9182 (java) S 9174 9176 8809 0 -1 4202560 56 0 0 0 12 0 0 0 15 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9183] ppid=9174 vsize=7639440 CPUtime=0.12 cores=4,6
/proc/9176/task/9183/stat : 9183 (java) S 9174 9176 8809 0 -1 4202560 12 0 0 0 12 0 0 0 16 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9184] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9184/stat : 9184 (java) S 9174 9176 8809 0 -1 4202560 11 0 0 0 13 0 0 0 16 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9185] ppid=9174 vsize=7639440 CPUtime=0.11 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 65 0 0 0 11 0 0 0 15 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 48 0 0 0 13 0 0 0 16 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7639440 CPUtime=0.12 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 354 0 0 0 12 0 0 0 15 0 19 0 486550285 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7639440 CPUtime=5.61 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 1566 0 0 0 559 2 0 0 15 0 19 0 486550286 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7639440 CPUtime=0.22 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 1008 0 0 0 22 0 0 0 15 0 19 0 486550289 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7639440 CPUtime=0.25 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2813 0 0 0 25 0 0 0 16 0 19 0 486550289 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9194] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9194/stat : 9194 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9195] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9195/stat : 9195 (java) S 9174 9176 8809 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 486550289 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9200] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9200/stat : 9200 (java) S 9174 9176 8809 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 486550302 7822786560 14532 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1182.98
Current children cumulated vsize (KiB) 7639440

[startup+1242.3 s]
/proc/loadavg: 4.09 4.02 3.71 5/262 9285
/proc/meminfo: memFree=12234636/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7639440 CPUtime=1243 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 17536 0 1 0 124292 8 0 0 22 0 19 0 486550284 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1909860 14543 2256 9 0 1900598 0
[pid=9176/tid=9178] ppid=9174 vsize=7639440 CPUtime=1235.47 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9823 0 1 0 123545 2 0 0 25 0 19 0 486550284 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505568922 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9176/tid=9180] ppid=9174 vsize=7639440 CPUtime=0.14 cores=4,6
/proc/9176/task/9180/stat : 9180 (java) S 9174 9176 8809 0 -1 4202560 538 0 0 0 14 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9181] ppid=9174 vsize=7639440 CPUtime=0.14 cores=4,6
/proc/9176/task/9181/stat : 9181 (java) S 9174 9176 8809 0 -1 4202560 8 0 0 0 14 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9182] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9182/stat : 9182 (java) S 9174 9176 8809 0 -1 4202560 56 0 0 0 13 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9183] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9183/stat : 9183 (java) S 9174 9176 8809 0 -1 4202560 12 0 0 0 13 0 0 0 16 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9184] ppid=9174 vsize=7639440 CPUtime=0.14 cores=4,6
/proc/9176/task/9184/stat : 9184 (java) S 9174 9176 8809 0 -1 4202560 11 0 0 0 14 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9185] ppid=9174 vsize=7639440 CPUtime=0.11 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 65 0 0 0 11 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 48 0 0 0 13 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7639440 CPUtime=0.12 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 354 0 0 0 12 0 0 0 15 0 19 0 486550285 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7639440 CPUtime=5.91 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 1577 0 0 0 589 2 0 0 15 0 19 0 486550286 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7639440 CPUtime=0.22 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 1008 0 0 0 22 0 0 0 15 0 19 0 486550289 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7639440 CPUtime=0.25 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2813 0 0 0 25 0 0 0 16 0 19 0 486550289 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9194] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9194/stat : 9194 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9195] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9195/stat : 9195 (java) S 9174 9176 8809 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 486550289 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9200] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9200/stat : 9200 (java) S 9174 9176 8809 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 486550302 7822786560 14543 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243
Current children cumulated vsize (KiB) 7639440



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.10 4.03 3.73 4/242 9290
/proc/meminfo: memFree=12310524/32951124 swapFree=67111528/67111528
[pid=9176] ppid=9174 vsize=7639440 CPUtime=1300.74 cores=4,6
/proc/9176/stat : 9176 (java) S 9174 9176 8809 0 -1 4202496 17577 0 1 0 130065 9 0 0 22 0 19 0 486550284 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9176/statm: 1909860 14562 2256 9 0 1900598 0
[pid=9176/tid=9178] ppid=9174 vsize=7639440 CPUtime=1292.85 cores=4,6
/proc/9176/task/9178/stat : 9178 (java) R 9174 9176 8809 0 -1 4202560 9839 0 1 0 129283 2 0 0 25 0 19 0 486550284 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 46912505561718 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9176/tid=9180] ppid=9174 vsize=7639440 CPUtime=0.15 cores=4,6
/proc/9176/task/9180/stat : 9180 (java) S 9174 9176 8809 0 -1 4202560 538 0 0 0 15 0 0 0 15 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9181] ppid=9174 vsize=7639440 CPUtime=0.15 cores=4,6
/proc/9176/task/9181/stat : 9181 (java) S 9174 9176 8809 0 -1 4202560 8 0 0 0 15 0 0 0 15 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9182] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9182/stat : 9182 (java) S 9174 9176 8809 0 -1 4202560 56 0 0 0 13 0 0 0 15 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9183] ppid=9174 vsize=7639440 CPUtime=0.14 cores=4,6
/proc/9176/task/9183/stat : 9183 (java) S 9174 9176 8809 0 -1 4202560 12 0 0 0 14 0 0 0 15 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9184] ppid=9174 vsize=7639440 CPUtime=0.14 cores=4,6
/proc/9176/task/9184/stat : 9184 (java) S 9174 9176 8809 0 -1 4202560 11 0 0 0 14 0 0 0 16 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9185] ppid=9174 vsize=7639440 CPUtime=0.12 cores=4,6
/proc/9176/task/9185/stat : 9185 (java) S 9174 9176 8809 0 -1 4202560 66 0 0 0 12 0 0 0 15 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9186] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9186/stat : 9186 (java) S 9174 9176 8809 0 -1 4202560 48 0 0 0 13 0 0 0 15 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9187] ppid=9174 vsize=7639440 CPUtime=0.13 cores=4,6
/proc/9176/task/9187/stat : 9187 (java) S 9174 9176 8809 0 -1 4202560 354 0 0 0 13 0 0 0 16 0 19 0 486550285 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9188] ppid=9174 vsize=7639440 CPUtime=6.2 cores=4,6
/proc/9176/task/9188/stat : 9188 (java) S 9174 9176 8809 0 -1 4202560 1597 0 0 0 618 2 0 0 15 0 19 0 486550286 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 0 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9189] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9189/stat : 9189 (java) S 9174 9176 8809 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9190] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9190/stat : 9190 (java) S 9174 9176 8809 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 486550287 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9191] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9191/stat : 9191 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820989361 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9192] ppid=9174 vsize=7639440 CPUtime=0.22 cores=4,6
/proc/9176/task/9192/stat : 9192 (java) S 9174 9176 8809 0 -1 4202560 1008 0 0 0 22 0 0 0 15 0 19 0 486550289 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9193] ppid=9174 vsize=7639440 CPUtime=0.25 cores=4,6
/proc/9176/task/9193/stat : 9193 (java) S 9174 9176 8809 0 -1 4202560 2813 0 0 0 25 0 0 0 16 0 19 0 486550289 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 4 0 0 0
[pid=9176/tid=9194] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9194/stat : 9194 (java) S 9174 9176 8809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 486550289 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820981657 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9195] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9195/stat : 9195 (java) S 9174 9176 8809 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 486550289 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
[pid=9176/tid=9200] ppid=9174 vsize=7639440 CPUtime=0 cores=4,6
/proc/9176/task/9200/stat : 9200 (java) S 9174 9176 8809 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 486550302 7822786560 14562 33554432000 1073741824 1073778376 140733687448720 18446744073709551615 230820982272 0 4 0 16800975 18446604453888391040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1300.74
Current children cumulated vsize (KiB) 7639440

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): 1300.8
CPU user time (s): 1300.71
CPU system time (s): 0.093985
CPU usage (%): 100.058
Max. virtual memory (cumulated for all children) (KiB): 7640612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.71
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17647
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= 36455
involuntary context switches= 10318

runsolver used 2.22466 second user time and 4.90825 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-25 18:38:18
IDJOB=3280565
IDBENCH=20401
IDSOLVER=1611
FILE ID=node104/3280565-1303749498
RUNJOBID= node104-1303749496-9138
PBS_JOBID= 13154058
Free space on /tmp= 71392 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.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-3280565-1303749498/watcher-3280565-1303749498 -o /tmp/evaluation-result-3280565-1303749498/solver-3280565-1303749498 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3280565-1303749498.cnf

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=345962078

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13129916 kB
Buffers:       2282392 kB
Cached:       16855764 kB
SwapCached:          0 kB
Active:       10723160 kB
Inactive:      8517348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13129916 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1368 kB
Writeback:           0 kB
AnonPages:      101904 kB
Mapped:          22960 kB
Slab:           515856 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7459088 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= 71364 MiB
End job on node104 at 2011-04-25 19:00:00