Trace number 3493792

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 MUS 2.3.0-SNAPSHOT 2011-02-06? (TO) 1800.14 1798.25

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net70-25-5.shuffled.cnf
MD5SUM7c376a6d473187db5171d929d22cc83f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark329.94
Satisfiable
(Un)Satisfiability was proved
Number of variables3500
Number of clauses10361
Sum of the clauses size24430
Maximum clause length70
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26720
Number of clauses of size 33640
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.0.v20110206
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 		5997854704
0.00/0.07	c Max memory 		6029312000
0.00/0.07	c Total memory 		6029312000
0.00/0.07	c Number of processors 	8
0.00/0.09	c Explanation (MUS) enabled solver
0.00/0.09	c QuickXplain (AAAI 2004 version) minimization strategy
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b
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-3493792-1307810352.cnf
0.00/0.09	c reading problem ... 
0.25/0.22	c ... done. Wall clock time 0.127s.
0.25/0.22	c #vars     13861
0.25/0.22	c #constraints  10361
0.25/0.22	c constraints type 
0.25/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10361
2.23/1.72	c cleaning 2496 clauses out of 5000 with flag 5000/5000
4.20/3.42	c cleaning 4227 clauses out of 8504 with flag 11000/11000
6.79/6.03	c cleaning 5619 clauses out of 11277 with flag 18000/18000
10.51/9.75	c cleaning 6797 clauses out of 13658 with flag 26000/26000
15.14/14.37	c cleaning 7901 clauses out of 15862 with flag 35001/35001
20.95/20.12	c cleaning 8932 clauses out of 17960 with flag 45000/45000
27.15/26.32	c cleaning 9961 clauses out of 20029 with flag 56001/56001
34.27/33.46	c cleaning 10482 clauses out of 21068 with flag 67001/67001
40.77/39.99	c cleaning 10731 clauses out of 21585 with flag 78000/78000
47.69/46.86	c cleaning 10868 clauses out of 21855 with flag 89001/89001
54.40/53.57	c cleaning 10943 clauses out of 21986 with flag 100000/100000
61.41/60.52	c cleaning 10971 clauses out of 22046 with flag 111003/111003
67.51/66.65	c cleaning 10981 clauses out of 22074 with flag 122002/122002
73.92/73.07	c cleaning 10980 clauses out of 22092 with flag 133001/133001
80.23/79.31	c cleaning 10981 clauses out of 22111 with flag 144000/144000
86.43/85.57	c cleaning 10994 clauses out of 22130 with flag 155000/155000
93.04/92.12	c cleaning 10969 clauses out of 22136 with flag 166000/166000
99.55/98.64	c cleaning 11006 clauses out of 22167 with flag 177000/177000
106.55/105.66	c cleaning 11008 clauses out of 22163 with flag 188002/188002
112.36/111.41	c cleaning 11019 clauses out of 22154 with flag 199001/199001
118.96/118.00	c cleaning 10987 clauses out of 22134 with flag 210000/210000
124.47/123.58	c cleaning 11006 clauses out of 22147 with flag 221000/221000
130.17/129.27	c cleaning 10990 clauses out of 22142 with flag 232001/232001
136.17/135.26	c cleaning 10997 clauses out of 22151 with flag 243000/243000
142.18/141.29	c cleaning 10977 clauses out of 22156 with flag 254002/254002
148.39/147.46	c cleaning 11022 clauses out of 22177 with flag 265000/265000
153.89/152.94	c cleaning 10983 clauses out of 22155 with flag 276000/276000
159.60/158.66	c cleaning 11018 clauses out of 22173 with flag 287001/287001
165.01/164.03	c cleaning 10988 clauses out of 22154 with flag 298000/298000
170.80/169.85	c cleaning 11020 clauses out of 22167 with flag 309001/309001
176.81/175.83	c cleaning 10993 clauses out of 22146 with flag 320000/320000
182.51/181.55	c cleaning 11020 clauses out of 22153 with flag 331000/331000
187.82/186.83	c cleaning 10997 clauses out of 22133 with flag 342000/342000
193.52/192.59	c cleaning 10996 clauses out of 22137 with flag 353001/353001
199.32/198.39	c cleaning 11001 clauses out of 22140 with flag 364000/364000
204.73/203.72	c cleaning 10991 clauses out of 22139 with flag 375000/375000
210.33/209.39	c cleaning 11011 clauses out of 22149 with flag 386001/386001
215.74/214.80	c cleaning 10990 clauses out of 22139 with flag 397002/397002
221.14/220.15	c cleaning 10983 clauses out of 22147 with flag 408000/408000
227.04/226.02	c cleaning 10993 clauses out of 22165 with flag 419001/419001
233.35/232.36	c cleaning 11003 clauses out of 22172 with flag 430001/430001
239.45/238.44	c cleaning 11013 clauses out of 22169 with flag 441001/441001
245.36/244.37	c cleaning 11004 clauses out of 22155 with flag 452000/452000
251.46/250.46	c cleaning 10997 clauses out of 22155 with flag 463004/463004
257.36/256.36	c cleaning 10999 clauses out of 22154 with flag 474000/474000
262.77/261.75	c cleaning 10988 clauses out of 22155 with flag 485000/485000
268.58/267.51	c cleaning 10993 clauses out of 22167 with flag 496000/496000
273.68/272.67	c cleaning 11003 clauses out of 22174 with flag 507000/507000
279.18/278.14	c cleaning 11011 clauses out of 22171 with flag 518000/518000
284.98/283.96	c cleaning 10988 clauses out of 22160 with flag 529000/529000
290.59/289.52	c cleaning 11019 clauses out of 22172 with flag 540000/540000
297.19/296.17	c cleaning 11005 clauses out of 22155 with flag 551002/551002
302.60/301.51	c cleaning 10966 clauses out of 22149 with flag 562001/562001
308.50/307.43	c cleaning 11021 clauses out of 22183 with flag 573001/573001
314.00/312.98	c cleaning 11005 clauses out of 22161 with flag 584000/584000
319.30/318.29	c cleaning 11014 clauses out of 22156 with flag 595000/595000
324.71/323.63	c cleaning 10993 clauses out of 22142 with flag 606000/606000
330.12/329.08	c cleaning 10998 clauses out of 22149 with flag 617000/617000
335.51/334.44	c cleaning 10989 clauses out of 22152 with flag 628001/628001
341.22/340.14	c cleaning 10997 clauses out of 22163 with flag 639001/639001
347.03/345.98	c cleaning 11008 clauses out of 22166 with flag 650001/650001
353.83/352.73	c cleaning 10975 clauses out of 22157 with flag 661000/661000
359.94/358.83	c cleaning 10975 clauses out of 22182 with flag 672000/672000
365.64/364.55	c cleaning 11043 clauses out of 22207 with flag 683000/683000
371.24/370.13	c cleaning 10991 clauses out of 22164 with flag 694000/694000
376.45/375.35	c cleaning 11021 clauses out of 22173 with flag 705000/705000
384.94/383.89	c cleaning 10972 clauses out of 22154 with flag 716002/716002
390.65/389.60	c cleaning 11014 clauses out of 22180 with flag 727000/727000
397.36/396.26	c cleaning 11009 clauses out of 22166 with flag 738000/738000
402.76/401.64	c cleaning 10994 clauses out of 22157 with flag 749000/749000
408.08/406.94	c cleaning 10991 clauses out of 22164 with flag 760001/760001
413.48/412.37	c cleaning 11016 clauses out of 22173 with flag 771001/771001
418.38/417.25	c cleaning 10975 clauses out of 22156 with flag 782000/782000
424.48/423.35	c cleaning 11011 clauses out of 22182 with flag 793001/793001
430.59/429.45	c cleaning 11020 clauses out of 22170 with flag 804000/804000
436.19/435.00	c cleaning 11010 clauses out of 22150 with flag 815000/815000
442.09/440.91	c cleaning 11001 clauses out of 22140 with flag 826000/826000
448.00/446.89	c cleaning 10989 clauses out of 22139 with flag 837000/837000
453.60/452.47	c cleaning 10999 clauses out of 22150 with flag 848000/848000
459.80/458.65	c cleaning 10989 clauses out of 22153 with flag 859002/859002
466.01/464.85	c cleaning 10995 clauses out of 22162 with flag 870000/870000
472.12/470.97	c cleaning 10990 clauses out of 22168 with flag 881001/881001
479.22/478.05	c cleaning 11060 clauses out of 22177 with flag 892000/892000
485.22/484.00	c cleaning 11008 clauses out of 22118 with flag 903001/903001
490.43/489.28	c cleaning 11010 clauses out of 22110 with flag 914001/914001
495.53/494.30	c cleaning 10964 clauses out of 22100 with flag 925001/925001
501.63/500.43	c cleaning 10998 clauses out of 22135 with flag 936000/936000
506.74/505.56	c cleaning 11008 clauses out of 22138 with flag 947001/947001
512.24/511.07	c cleaning 10992 clauses out of 22129 with flag 958000/958000
518.84/517.67	c cleaning 10992 clauses out of 22137 with flag 969000/969000
524.55/523.33	c cleaning 11013 clauses out of 22145 with flag 980000/980000
530.45/529.26	c cleaning 11014 clauses out of 22132 with flag 991000/991000
535.45/534.21	c cleaning 11011 clauses out of 22118 with flag 1002000/1002000
540.65/539.48	c cleaning 11003 clauses out of 22107 with flag 1013000/1013000
545.46/544.26	c cleaning 10968 clauses out of 22106 with flag 1024002/1024002
550.76/549.55	c cleaning 11015 clauses out of 22137 with flag 1035001/1035001
556.06/554.85	c cleaning 11001 clauses out of 22121 with flag 1046000/1046000
561.28/560.09	c cleaning 11006 clauses out of 22122 with flag 1057002/1057002
567.57/566.30	c cleaning 10980 clauses out of 22114 with flag 1068000/1068000
573.57/572.37	c cleaning 11012 clauses out of 22134 with flag 1079000/1079000
579.18/577.98	c cleaning 10983 clauses out of 22122 with flag 1090000/1090000
584.88/583.65	c cleaning 11002 clauses out of 22141 with flag 1101002/1101002
590.99/589.71	c cleaning 11020 clauses out of 22137 with flag 1112000/1112000
596.50/595.23	c cleaning 10974 clauses out of 22121 with flag 1123004/1123004
602.69/601.47	c cleaning 11009 clauses out of 22143 with flag 1134000/1134000
610.19/608.91	c cleaning 10947 clauses out of 22134 with flag 1145000/1145000
615.69/614.47	c cleaning 11016 clauses out of 22188 with flag 1156001/1156001
621.60/620.32	c cleaning 11021 clauses out of 22172 with flag 1167001/1167001
626.90/625.61	c cleaning 11017 clauses out of 22152 with flag 1178002/1178002
631.90/630.67	c cleaning 11023 clauses out of 22134 with flag 1189001/1189001
637.11/635.81	c cleaning 10970 clauses out of 22110 with flag 1200000/1200000
642.31/641.07	c cleaning 11024 clauses out of 22142 with flag 1211002/1211002
647.12/645.89	c cleaning 11004 clauses out of 22117 with flag 1222001/1222001
652.11/650.86	c cleaning 11001 clauses out of 22112 with flag 1233000/1233000
657.42/656.12	c cleaning 11027 clauses out of 22113 with flag 1244002/1244002
662.22/660.98	c cleaning 11007 clauses out of 22085 with flag 1255001/1255001
668.03/666.73	c cleaning 11010 clauses out of 22077 with flag 1266000/1266000
673.12/671.86	c cleaning 11011 clauses out of 22067 with flag 1277000/1277000
678.62/677.37	c cleaning 10995 clauses out of 22061 with flag 1288005/1288005
684.22/682.92	c cleaning 10955 clauses out of 22062 with flag 1299001/1299001
689.13/687.87	c cleaning 10990 clauses out of 22107 with flag 1310001/1310001
694.03/692.74	c cleaning 10990 clauses out of 22118 with flag 1321002/1321002
698.94/697.66	c cleaning 11016 clauses out of 22128 with flag 1332002/1332002
704.63/703.33	c cleaning 10966 clauses out of 22110 with flag 1343000/1343000
709.54/708.29	c cleaning 11014 clauses out of 22149 with flag 1354005/1354005
714.84/713.51	c cleaning 10999 clauses out of 22131 with flag 1365001/1365001
720.14/718.82	c cleaning 11037 clauses out of 22132 with flag 1376001/1376001
725.25/723.96	c cleaning 10994 clauses out of 22094 with flag 1387000/1387000
730.85/729.50	c cleaning 10964 clauses out of 22100 with flag 1398000/1398000
735.85/734.53	c cleaning 11035 clauses out of 22136 with flag 1409000/1409000
741.45/740.18	c cleaning 10971 clauses out of 22102 with flag 1420001/1420001
747.05/745.79	c cleaning 10992 clauses out of 22132 with flag 1431002/1431002
752.66/751.33	c cleaning 10976 clauses out of 22138 with flag 1442000/1442000
757.96/756.62	c cleaning 11007 clauses out of 22162 with flag 1453000/1453000
763.06/761.71	c cleaning 10998 clauses out of 22155 with flag 1464000/1464000
769.36/768.05	c cleaning 11008 clauses out of 22157 with flag 1475000/1475000
775.46/774.18	c cleaning 11001 clauses out of 22149 with flag 1486000/1486000
781.07/779.74	c cleaning 10990 clauses out of 22148 with flag 1497000/1497000
786.77/785.41	c cleaning 11043 clauses out of 22159 with flag 1508001/1508001
791.87/790.50	c cleaning 10974 clauses out of 22115 with flag 1519000/1519000
796.68/795.35	c cleaning 11002 clauses out of 22141 with flag 1530000/1530000
801.88/800.51	c cleaning 11023 clauses out of 22139 with flag 1541000/1541000
807.98/806.64	c cleaning 10974 clauses out of 22116 with flag 1552000/1552000
813.48/812.12	c cleaning 10998 clauses out of 22142 with flag 1563000/1563000
818.68/817.35	c cleaning 11037 clauses out of 22144 with flag 1574000/1574000
825.29/823.99	c cleaning 10972 clauses out of 22107 with flag 1585000/1585000
831.29/829.98	c cleaning 10958 clauses out of 22135 with flag 1596000/1596000
836.70/835.31	c cleaning 11006 clauses out of 22177 with flag 1607000/1607000
842.40/841.02	c cleaning 11024 clauses out of 22171 with flag 1618000/1618000
848.10/846.72	c cleaning 11010 clauses out of 22147 with flag 1629000/1629000
855.11/853.73	c cleaning 11005 clauses out of 22138 with flag 1640001/1640001
861.61/860.23	c cleaning 10983 clauses out of 22132 with flag 1651000/1651000
868.32/866.96	c cleaning 10995 clauses out of 22149 with flag 1662000/1662000
873.92/872.59	c cleaning 11001 clauses out of 22155 with flag 1673001/1673001
879.32/877.92	c cleaning 11016 clauses out of 22153 with flag 1684000/1684000
884.83/883.42	c cleaning 10994 clauses out of 22138 with flag 1695001/1695001
890.22/888.89	c cleaning 11001 clauses out of 22143 with flag 1706000/1706000
896.22/894.82	c cleaning 10997 clauses out of 22144 with flag 1717002/1717002
901.62/900.24	c cleaning 10985 clauses out of 22145 with flag 1728000/1728000
906.63/905.28	c cleaning 11002 clauses out of 22161 with flag 1739001/1739001
912.03/910.69	c cleaning 11000 clauses out of 22158 with flag 1750000/1750000
918.23/916.81	c cleaning 11005 clauses out of 22158 with flag 1761000/1761000
925.33/923.90	c cleaning 11027 clauses out of 22153 with flag 1772000/1772000
930.94/929.60	c cleaning 10995 clauses out of 22127 with flag 1783001/1783001
937.14/935.75	c cleaning 10978 clauses out of 22131 with flag 1794000/1794000
942.64/941.28	c cleaning 11021 clauses out of 22153 with flag 1805000/1805000
948.15/946.77	c cleaning 10984 clauses out of 22132 with flag 1816000/1816000
954.75/953.30	c cleaning 10988 clauses out of 22148 with flag 1827000/1827000
960.36/958.90	c cleaning 10989 clauses out of 22160 with flag 1838000/1838000
966.06/964.65	c cleaning 10990 clauses out of 22171 with flag 1849000/1849000
972.16/970.76	c cleaning 11003 clauses out of 22181 with flag 1860000/1860000
977.37/975.97	c cleaning 10998 clauses out of 22180 with flag 1871002/1871002
982.57/981.16	c cleaning 11021 clauses out of 22180 with flag 1882000/1882000
987.67/986.27	c cleaning 11009 clauses out of 22159 with flag 1893000/1893000
992.87/991.49	c cleaning 10989 clauses out of 22150 with flag 1904000/1904000
998.77/997.31	c cleaning 10974 clauses out of 22162 with flag 1915001/1915001
1004.17/1002.75	c cleaning 10986 clauses out of 22187 with flag 1926000/1926000
1009.87/1008.48	c cleaning 11029 clauses out of 22203 with flag 1937002/1937002
1015.47/1014.04	c cleaning 11002 clauses out of 22174 with flag 1948002/1948002
1020.38/1018.98	c cleaning 11020 clauses out of 22171 with flag 1959001/1959001
1025.68/1024.29	c cleaning 11007 clauses out of 22153 with flag 1970003/1970003
1032.18/1030.76	c cleaning 11003 clauses out of 22143 with flag 1981000/1981000
1037.09/1035.61	c cleaning 10972 clauses out of 22140 with flag 1992000/1992000
1042.79/1041.31	c cleaning 11022 clauses out of 22172 with flag 2003004/2003004
1048.09/1046.60	c cleaning 10984 clauses out of 22146 with flag 2014000/2014000
1054.59/1053.10	c cleaning 11002 clauses out of 22163 with flag 2025001/2025001
1060.90/1059.41	c cleaning 11000 clauses out of 22160 with flag 2036000/2036000
1067.61/1066.11	c cleaning 11015 clauses out of 22160 with flag 2047000/2047000
1073.01/1071.60	c cleaning 10995 clauses out of 22148 with flag 2058003/2058003
1077.72/1076.27	c cleaning 11004 clauses out of 22151 with flag 2069001/2069001
1083.72/1082.27	c cleaning 11040 clauses out of 22147 with flag 2080001/2080001
1089.42/1087.96	c cleaning 10952 clauses out of 22107 with flag 2091001/2091001
1094.62/1093.15	c cleaning 11004 clauses out of 22154 with flag 2102000/2102000
1099.63/1098.11	c cleaning 10994 clauses out of 22151 with flag 2113001/2113001
1105.33/1103.88	c cleaning 11003 clauses out of 22156 with flag 2124000/2124000
1111.13/1109.61	c cleaning 10994 clauses out of 22157 with flag 2135004/2135004
1117.44/1115.97	c cleaning 11033 clauses out of 22161 with flag 2146002/2146002
1123.14/1121.69	c cleaning 10996 clauses out of 22126 with flag 2157000/2157000
1128.84/1127.32	c cleaning 11007 clauses out of 22133 with flag 2168003/2168003
1134.94/1133.40	c cleaning 11001 clauses out of 22124 with flag 2179001/2179001
1140.95/1139.47	c cleaning 11002 clauses out of 22123 with flag 2190001/2190001
1147.25/1145.78	c cleaning 10964 clauses out of 22120 with flag 2201000/2201000
1153.36/1151.86	c cleaning 11011 clauses out of 22157 with flag 2212001/2212001
1158.86/1157.38	c cleaning 10985 clauses out of 22145 with flag 2223000/2223000
1165.46/1163.97	c cleaning 11014 clauses out of 22162 with flag 2234002/2234002
1171.46/1169.99	c cleaning 10995 clauses out of 22149 with flag 2245003/2245003
1178.16/1176.69	c cleaning 10997 clauses out of 22153 with flag 2256002/2256002
1183.37/1181.85	c cleaning 10979 clauses out of 22154 with flag 2267000/2267000
1188.16/1186.64	c cleaning 11004 clauses out of 22175 with flag 2278000/2278000
1193.37/1191.84	c cleaning 11006 clauses out of 22171 with flag 2289000/2289000
1198.47/1196.99	c cleaning 11013 clauses out of 22166 with flag 2300001/2300001
1203.77/1202.20	c cleaning 10998 clauses out of 22154 with flag 2311002/2311002
1209.27/1207.79	c cleaning 11017 clauses out of 22154 with flag 2322000/2322000
1213.77/1212.28	c cleaning 10998 clauses out of 22138 with flag 2333001/2333001
1219.08/1217.57	c cleaning 10976 clauses out of 22140 with flag 2344001/2344001
1224.98/1223.47	c cleaning 11026 clauses out of 22164 with flag 2355001/2355001
1230.39/1228.89	c cleaning 10996 clauses out of 22138 with flag 2366001/2366001
1236.18/1234.61	c cleaning 11026 clauses out of 22141 with flag 2377000/2377000
1241.09/1239.52	c cleaning 10990 clauses out of 22117 with flag 2388002/2388002
1246.39/1244.90	c cleaning 10998 clauses out of 22125 with flag 2399000/2399000
1251.79/1250.23	c cleaning 11008 clauses out of 22127 with flag 2410000/2410000
1257.60/1256.01	c cleaning 10989 clauses out of 22119 with flag 2421000/2421000
1263.10/1261.51	c cleaning 11015 clauses out of 22131 with flag 2432001/2432001
1269.00/1267.43	c cleaning 10988 clauses out of 22115 with flag 2443000/2443000
1274.70/1273.15	c cleaning 10980 clauses out of 22128 with flag 2454001/2454001
1281.21/1279.66	c cleaning 10993 clauses out of 22147 with flag 2465000/2465000
1287.01/1285.48	c cleaning 11006 clauses out of 22154 with flag 2476000/2476000
1292.71/1291.17	c cleaning 10977 clauses out of 22148 with flag 2487000/2487000
1297.92/1296.37	c cleaning 11007 clauses out of 22172 with flag 2498001/2498001
1302.92/1301.32	c cleaning 10991 clauses out of 22167 with flag 2509003/2509003
1308.22/1306.64	c cleaning 11006 clauses out of 22174 with flag 2520001/2520001
1313.03/1311.43	c cleaning 11001 clauses out of 22167 with flag 2531000/2531000
1318.22/1316.60	c cleaning 10995 clauses out of 22168 with flag 2542002/2542002
1323.62/1322.05	c cleaning 11014 clauses out of 22172 with flag 2553001/2553001
1328.72/1327.19	c cleaning 10995 clauses out of 22157 with flag 2564000/2564000
1334.42/1332.87	c cleaning 11009 clauses out of 22162 with flag 2575000/2575000
1339.73/1338.12	c cleaning 11002 clauses out of 22154 with flag 2586001/2586001
1345.13/1343.57	c cleaning 11005 clauses out of 22152 with flag 2597001/2597001
1350.93/1349.39	c cleaning 10992 clauses out of 22146 with flag 2608000/2608000
1356.53/1354.96	c cleaning 10995 clauses out of 22155 with flag 2619001/2619001
1362.35/1360.76	c cleaning 10993 clauses out of 22160 with flag 2630001/2630001
1368.15/1366.57	c cleaning 11014 clauses out of 22168 with flag 2641002/2641002
1373.75/1372.16	c cleaning 11001 clauses out of 22153 with flag 2652001/2652001
1379.55/1377.96	c cleaning 10998 clauses out of 22151 with flag 2663000/2663000
1386.06/1384.41	c cleaning 11009 clauses out of 22157 with flag 2674004/2674004
1392.06/1390.43	c cleaning 10992 clauses out of 22144 with flag 2685000/2685000
1397.97/1396.33	c cleaning 10995 clauses out of 22152 with flag 2696000/2696000
1404.27/1402.67	c cleaning 10992 clauses out of 22157 with flag 2707000/2707000
1409.97/1408.32	c cleaning 11001 clauses out of 22165 with flag 2718000/2718000
1416.88/1415.23	c cleaning 10991 clauses out of 22164 with flag 2729000/2729000
1422.18/1420.59	c cleaning 11023 clauses out of 22174 with flag 2740001/2740001
1426.78/1425.12	c cleaning 10996 clauses out of 22150 with flag 2751000/2751000
1431.98/1430.36	c cleaning 10992 clauses out of 22154 with flag 2762000/2762000
1438.69/1437.01	c cleaning 10981 clauses out of 22162 with flag 2773000/2773000
1445.29/1443.66	c cleaning 11010 clauses out of 22181 with flag 2784000/2784000
1450.89/1449.25	c cleaning 11004 clauses out of 22171 with flag 2795000/2795000
1456.89/1455.26	c cleaning 11018 clauses out of 22169 with flag 2806002/2806002
1462.39/1460.75	c cleaning 10998 clauses out of 22150 with flag 2817001/2817001
1468.50/1466.85	c cleaning 11015 clauses out of 22153 with flag 2828002/2828002
1474.20/1472.54	c cleaning 10975 clauses out of 22136 with flag 2839000/2839000
1479.30/1477.66	c cleaning 10991 clauses out of 22162 with flag 2850001/2850001
1484.90/1483.27	c cleaning 11025 clauses out of 22172 with flag 2861002/2861002
1489.91/1488.27	c cleaning 10991 clauses out of 22145 with flag 2872000/2872000
1496.11/1494.49	c cleaning 11001 clauses out of 22154 with flag 2883000/2883000
1501.71/1500.02	c cleaning 10989 clauses out of 22153 with flag 2894000/2894000
1507.82/1506.10	c cleaning 10959 clauses out of 22164 with flag 2905000/2905000
1513.91/1512.25	c cleaning 11013 clauses out of 22206 with flag 2916001/2916001
1521.82/1520.10	c cleaning 11044 clauses out of 22192 with flag 2927000/2927000
1527.53/1525.82	c cleaning 10993 clauses out of 22148 with flag 2938000/2938000
1533.23/1531.50	c cleaning 10993 clauses out of 22157 with flag 2949002/2949002
1539.03/1537.32	c cleaning 11003 clauses out of 22162 with flag 2960000/2960000
1545.03/1543.30	c cleaning 10975 clauses out of 22162 with flag 2971003/2971003
1551.74/1550.07	c cleaning 11015 clauses out of 22184 with flag 2982000/2982000
1557.54/1555.83	c cleaning 11024 clauses out of 22170 with flag 2993001/2993001
1564.34/1562.69	c cleaning 11014 clauses out of 22145 with flag 3004000/3004000
1569.75/1568.04	c cleaning 10978 clauses out of 22132 with flag 3015001/3015001
1574.85/1573.20	c cleaning 10971 clauses out of 22154 with flag 3026001/3026001
1580.46/1578.76	c cleaning 11004 clauses out of 22183 with flag 3037001/3037001
1585.35/1583.62	c cleaning 11015 clauses out of 22179 with flag 3048001/3048001
1590.65/1588.97	c cleaning 11016 clauses out of 22163 with flag 3059000/3059000
1595.96/1594.21	c cleaning 10994 clauses out of 22147 with flag 3070000/3070000
1600.96/1599.22	c cleaning 10975 clauses out of 22153 with flag 3081000/3081000
1606.66/1604.90	c cleaning 11022 clauses out of 22180 with flag 3092002/3092002
1612.76/1611.00	c cleaning 10988 clauses out of 22156 with flag 3103000/3103000
1619.57/1617.81	c cleaning 11011 clauses out of 22170 with flag 3114002/3114002
1624.87/1623.10	c cleaning 10978 clauses out of 22157 with flag 3125000/3125000
1631.87/1630.19	c cleaning 11005 clauses out of 22179 with flag 3136000/3136000
1637.28/1635.53	c cleaning 11022 clauses out of 22176 with flag 3147002/3147002
1642.68/1640.99	c cleaning 11011 clauses out of 22154 with flag 3158002/3158002
1648.28/1646.59	c cleaning 10984 clauses out of 22141 with flag 3169000/3169000
1654.39/1652.64	c cleaning 10984 clauses out of 22157 with flag 3180000/3180000
1660.09/1658.34	c cleaning 10994 clauses out of 22175 with flag 3191002/3191002
1666.30/1664.58	c cleaning 11037 clauses out of 22180 with flag 3202001/3202001
1673.39/1671.61	c cleaning 10980 clauses out of 22142 with flag 3213000/3213000
1678.90/1677.16	c cleaning 11018 clauses out of 22162 with flag 3224000/3224000
1686.01/1684.24	c cleaning 10998 clauses out of 22144 with flag 3235000/3235000
1691.80/1690.09	c cleaning 11002 clauses out of 22148 with flag 3246002/3246002
1698.31/1696.50	c cleaning 10988 clauses out of 22144 with flag 3257000/3257000
1703.62/1701.89	c cleaning 10996 clauses out of 22157 with flag 3268001/3268001
1710.41/1708.66	c cleaning 11017 clauses out of 22161 with flag 3279001/3279001
1716.42/1714.67	c cleaning 11015 clauses out of 22144 with flag 3290001/3290001
1723.12/1721.39	c cleaning 10952 clauses out of 22128 with flag 3301000/3301000
1729.73/1727.93	c cleaning 11000 clauses out of 22176 with flag 3312000/3312000
1734.73/1732.95	c cleaning 10997 clauses out of 22177 with flag 3323001/3323001
1739.53/1737.75	c cleaning 11009 clauses out of 22180 with flag 3334001/3334001
1744.53/1742.75	c cleaning 10998 clauses out of 22172 with flag 3345002/3345002
1749.53/1747.73	c cleaning 10999 clauses out of 22173 with flag 3356001/3356001
1756.03/1754.25	c cleaning 10983 clauses out of 22173 with flag 3367000/3367000
1761.43/1759.67	c cleaning 11015 clauses out of 22191 with flag 3378001/3378001
1766.94/1765.13	c cleaning 11008 clauses out of 22175 with flag 3389000/3389000
1772.44/1770.65	c cleaning 11009 clauses out of 22167 with flag 3400000/3400000
1778.24/1776.47	c cleaning 10960 clauses out of 22158 with flag 3411000/3411000
1784.24/1782.47	c cleaning 11045 clauses out of 22198 with flag 3422000/3422000
1790.14/1788.36	c cleaning 11010 clauses out of 22153 with flag 3433000/3433000
1796.16/1794.39	c cleaning 11002 clauses out of 22143 with flag 3444000/3444000
1800.06/1798.21	c starts		: 1882
1800.06/1798.21	c conflicts		: 3451730
1800.06/1798.21	c decisions		: 6176835
1800.06/1798.21	c propagations		: 1252181864
1800.06/1798.21	c inspects		: 8273577700
1800.06/1798.21	c shortcuts		: 0
1800.06/1798.21	c learnt literals	: 0
1800.06/1798.21	c learnt binary clauses	: 0
1800.06/1798.21	c learnt ternary clauses	: 0
1800.06/1798.21	c learnt constraints	: 3451729
1800.06/1798.21	c ignored constraints	: 0
1800.06/1798.21	c root simplifications	: 0
1800.06/1798.21	c removed literals (reason simplification)	: 34095178
1800.06/1798.21	c reason swapping (by a shorter reason)	: 0
1800.06/1798.21	c Calls to reduceDB	: 315
1800.06/1798.21	c speed (assignments/second)	: 696435.4380760262
1800.06/1798.21	c non guided choices	70
1800.06/1798.23	c learnt constraints type 
1800.06/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18895
1800.06/1798.23	c constraints type 
1800.06/1798.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10361
1800.06/1798.23	s UNKNOWN
1800.06/1798.23	c Total wall clock time (in seconds) : 1798.117

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493792-1307810352/watcher-3493792-1307810352 -o /tmp/evaluation-result-3493792-1307810352/solver-3493792-1307810352 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493792-1307810352.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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.41 3.00 3.55 7/218 25922
/proc/meminfo: memFree=31438736/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=30536 CPUtime=0 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 1244 0 0 0 0 0 0 0 22 0 2 0 892634878 31268864 963 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 7634 963 736 9 0 385 0
[pid=25922/tid=25923] ppid=25920 vsize=31604 CPUtime=0 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 146 0 0 0 0 0 0 0 25 0 2 0 892634879 32362496 979 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 47928568389536 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.104367 s]
/proc/loadavg: 1.41 3.00 3.55 7/218 25922
/proc/meminfo: memFree=31438736/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6364348 CPUtime=0.09 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 9134 0 1 0 8 1 0 0 22 0 18 0 892634878 6517092352 8831 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1591087 8831 1754 9 0 1581825 0
[pid=25922/tid=25923] ppid=25920 vsize=6364348 CPUtime=0.08 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 7960 0 1 0 8 0 0 0 25 0 18 0 892634879 6517092352 8831 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 47928566113898 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6364348

[startup+0.200354 s]
/proc/loadavg: 1.41 3.00 3.55 7/218 25922
/proc/meminfo: memFree=31438736/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6430908 CPUtime=0.25 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 10947 0 1 0 24 1 0 0 22 0 18 0 892634878 6585249792 10481 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1607727 10482 2183 9 0 1598465 0
[pid=25922/tid=25923] ppid=25920 vsize=6430908 CPUtime=0.18 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 8680 0 1 0 18 0 0 0 25 0 18 0 892634879 6585249792 10482 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505526853 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 6430908

[startup+0.300336 s]
/proc/loadavg: 1.41 3.00 3.55 7/218 25922
/proc/meminfo: memFree=31438736/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6430908 CPUtime=0.45 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 12272 0 1 0 44 1 0 0 22 0 18 0 892634878 6585249792 11493 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1607727 11493 2203 9 0 1598465 0
[pid=25922/tid=25923] ppid=25920 vsize=6430908 CPUtime=0.28 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 9236 0 1 0 28 0 0 0 25 0 18 0 892634879 6585249792 11493 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505182139 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 6430908

[startup+0.700322 s]
/proc/loadavg: 1.41 3.00 3.55 7/218 25922
/proc/meminfo: memFree=31438736/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=1.21 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 15785 0 1 0 119 2 0 0 22 0 19 0 892634878 6595739648 14379 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 14379 2221 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=0.68 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 9431 0 1 0 68 0 0 0 25 0 19 0 892634879 6595739648 14379 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505667146 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 6441152

[startup+1.50112 s]
/proc/loadavg: 1.41 3.00 3.55 5/262 26016
/proc/meminfo: memFree=31236124/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=2.03 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 16989 0 1 0 201 2 0 0 22 0 19 0 892634878 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 15582 2224 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=1.49 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 10627 0 1 0 148 1 0 0 25 0 19 0 892634879 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505735091 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25922/tid=25925] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25925/stat : 25925 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25926] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25926/stat : 25926 (java) S 25920 25922 23145 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25927] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25927/stat : 25927 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25928] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25928/stat : 25928 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25929] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25929/stat : 25929 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634880 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 892634881 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 892634881 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.2 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2316 0 0 0 20 0 0 0 25 0 19 0 892634883 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.32 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 2880 0 0 0 32 0 0 0 20 0 19 0 892634884 6595739648 15582 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25939] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25939/stat : 25939 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634884 6595739648 15583 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25940] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25940/stat : 25940 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892634884 6595739648 15583 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25974] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25974/stat : 25974 (java) S 25920 25922 23145 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 892634909 6595739648 15583 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 6441152

[startup+3.10084 s]
/proc/loadavg: 1.41 3.00 3.55 8/262 26105
/proc/meminfo: memFree=31016148/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=3.86 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 26408 0 1 0 382 4 0 0 22 0 19 0 892634878 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 23057 2251 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=3.04 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 10963 0 1 0 303 1 0 0 25 0 19 0 892634879 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505667136 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25922/tid=25925] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25925/stat : 25925 (java) S 25920 25922 23145 0 -1 4202560 533 0 0 0 0 0 0 0 18 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25926] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25926/stat : 25926 (java) S 25920 25922 23145 0 -1 4202560 169 0 0 0 0 0 0 0 17 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25927] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25927/stat : 25927 (java) S 25920 25922 23145 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25928] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25928/stat : 25928 (java) S 25920 25922 23145 0 -1 4202560 23 0 0 0 0 0 0 0 17 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25929] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25929/stat : 25929 (java) S 25920 25922 23145 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 754 0 0 0 0 0 0 0 18 0 19 0 892634880 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=0.02 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 1497 0 0 0 2 0 0 0 15 0 19 0 892634881 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.21 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2316 0 0 0 21 0 0 0 15 0 19 0 892634883 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.54 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 8977 0 0 0 53 1 0 0 16 0 19 0 892634884 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25939] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25939/stat : 25939 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634884 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25940] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25940/stat : 25940 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 892634884 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25974] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25974/stat : 25974 (java) S 25920 25922 23145 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 892634909 6595739648 23057 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 6441152

[startup+6.30134 s]
/proc/loadavg: 1.62 3.02 3.55 6/262 26345
/proc/meminfo: memFree=30575916/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=7.11 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 35329 0 1 0 706 5 0 0 22 0 19 0 892634878 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 31449 2253 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=6.18 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 13415 0 1 0 617 1 0 0 25 0 19 0 892634879 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505686331 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25922/tid=25925] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25925/stat : 25925 (java) S 25920 25922 23145 0 -1 4202560 1030 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25926] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25926/stat : 25926 (java) S 25920 25922 23145 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25927] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25927/stat : 25927 (java) S 25920 25922 23145 0 -1 4202560 1227 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25928] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25928/stat : 25928 (java) S 25920 25922 23145 0 -1 4202560 2341 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25929] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25929/stat : 25929 (java) S 25920 25922 23145 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0.01 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 2301 0 0 0 1 0 0 0 16 0 19 0 892634880 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=0.07 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 1973 0 0 0 7 0 0 0 16 0 19 0 892634881 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.22 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2323 0 0 0 22 0 0 0 15 0 19 0 892634883 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.57 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 8979 0 0 0 56 1 0 0 15 0 19 0 892634884 6595739648 31449 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0

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

[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0.25 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 1762 0 0 0 25 0 0 0 15 0 19 0 892634880 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 1694 0 0 0 26 0 0 0 15 0 19 0 892634880 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0.31 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 5971 0 0 0 31 0 0 0 15 0 19 0 892634880 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=8.07 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 3986 0 0 0 806 1 0 0 15 0 19 0 892634881 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2333 0 0 0 26 0 0 0 15 0 19 0 892634883 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.57 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 8979 0 0 0 56 1 0 0 15 0 19 0 892634884 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25939] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25939/stat : 25939 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634884 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25940] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25940/stat : 25940 (java) S 25920 25922 23145 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 892634884 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25974] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25974/stat : 25974 (java) S 25920 25922 23145 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 892634909 6595739648 67938 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.1
Current children cumulated vsize (KiB) 6441152

[startup+1722.3 s]
/proc/loadavg: 4.21 4.08 3.94 5/262 29607
/proc/meminfo: memFree=29752764/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=1724.13 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 72389 0 1 0 172399 14 0 0 22 0 19 0 892634878 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 67941 2255 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=1712.52 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 31871 0 1 0 171247 5 0 0 25 0 19 0 892634879 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505667226 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25922/tid=25925] ppid=25920 vsize=6441152 CPUtime=0.32 cores=1,3
/proc/25922/task/25925/stat : 25925 (java) S 25920 25922 23145 0 -1 4202560 1129 0 0 0 32 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25926] ppid=25920 vsize=6441152 CPUtime=0.31 cores=1,3
/proc/25922/task/25926/stat : 25926 (java) S 25920 25922 23145 0 -1 4202560 2219 0 0 0 31 0 0 0 16 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25927] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25927/stat : 25927 (java) S 25920 25922 23145 0 -1 4202560 1544 0 0 0 27 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25928] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25928/stat : 25928 (java) S 25920 25922 23145 0 -1 4202560 5941 0 0 0 26 1 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25929] ppid=25920 vsize=6441152 CPUtime=0.31 cores=1,3
/proc/25922/task/25929/stat : 25929 (java) S 25920 25922 23145 0 -1 4202560 3702 0 0 0 30 1 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 1763 0 0 0 26 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 1694 0 0 0 26 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0.32 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 5971 0 0 0 32 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=8.35 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 3990 0 0 0 834 1 0 0 16 0 19 0 892634881 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2333 0 0 0 26 0 0 0 15 0 19 0 892634883 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.57 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 8979 0 0 0 56 1 0 0 15 0 19 0 892634884 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25939] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25939/stat : 25939 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634884 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25940] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25940/stat : 25940 (java) S 25920 25922 23145 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 892634884 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25974] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25974/stat : 25974 (java) S 25920 25922 23145 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 892634909 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.13
Current children cumulated vsize (KiB) 6441152

[startup+1782.3 s]
/proc/loadavg: 4.08 4.06 3.94 5/262 29683
/proc/meminfo: memFree=29752656/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=1784.14 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 72403 0 1 0 178400 14 0 0 22 0 19 0 892634878 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 67941 2255 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=1772.2 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 31881 0 1 0 177215 5 0 0 25 0 19 0 892634879 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505667389 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25922/tid=25925] ppid=25920 vsize=6441152 CPUtime=0.33 cores=1,3
/proc/25922/task/25925/stat : 25925 (java) S 25920 25922 23145 0 -1 4202560 1129 0 0 0 33 0 0 0 16 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25926] ppid=25920 vsize=6441152 CPUtime=0.32 cores=1,3
/proc/25922/task/25926/stat : 25926 (java) S 25920 25922 23145 0 -1 4202560 2219 0 0 0 32 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25927] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25927/stat : 25927 (java) S 25920 25922 23145 0 -1 4202560 1544 0 0 0 27 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25928] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25928/stat : 25928 (java) S 25920 25922 23145 0 -1 4202560 5941 0 0 0 26 1 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25929] ppid=25920 vsize=6441152 CPUtime=0.31 cores=1,3
/proc/25922/task/25929/stat : 25929 (java) S 25920 25922 23145 0 -1 4202560 3702 0 0 0 30 1 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 1763 0 0 0 27 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 1694 0 0 0 27 0 0 0 16 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0.33 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 5971 0 0 0 33 0 0 0 15 0 19 0 892634880 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=8.63 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 3992 0 0 0 862 1 0 0 15 0 19 0 892634881 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2333 0 0 0 26 0 0 0 15 0 19 0 892634883 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.57 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 8979 0 0 0 56 1 0 0 15 0 19 0 892634884 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25939] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25939/stat : 25939 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634884 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25940] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25940/stat : 25940 (java) S 25920 25922 23145 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 892634884 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25974] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25974/stat : 25974 (java) S 25920 25922 23145 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 892634909 6595739648 67941 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.14
Current children cumulated vsize (KiB) 6441152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 4.06 4.06 3.94 5/262 29702
/proc/meminfo: memFree=29752636/32950928 swapFree=67079488/67111528
[pid=25922] ppid=25920 vsize=6441152 CPUtime=1800.06 cores=1,3
/proc/25922/stat : 25922 (java) S 25920 25922 23145 0 -1 4202496 72411 0 1 0 179992 14 0 0 22 0 19 0 892634878 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25922/statm: 1610288 67942 2255 9 0 1601026 0
[pid=25922/tid=25923] ppid=25920 vsize=6441152 CPUtime=1788.01 cores=1,3
/proc/25922/task/25923/stat : 25923 (java) R 25920 25922 23145 0 -1 4202560 31884 0 1 0 178796 5 0 0 25 0 19 0 892634879 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 46912505667571 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25922/tid=25925] ppid=25920 vsize=6441152 CPUtime=0.33 cores=1,3
/proc/25922/task/25925/stat : 25925 (java) S 25920 25922 23145 0 -1 4202560 1129 0 0 0 33 0 0 0 15 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25926] ppid=25920 vsize=6441152 CPUtime=0.33 cores=1,3
/proc/25922/task/25926/stat : 25926 (java) S 25920 25922 23145 0 -1 4202560 2220 0 0 0 33 0 0 0 16 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25927] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25927/stat : 25927 (java) S 25920 25922 23145 0 -1 4202560 1544 0 0 0 27 0 0 0 15 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25928] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25928/stat : 25928 (java) S 25920 25922 23145 0 -1 4202560 5941 0 0 0 26 1 0 0 15 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25929] ppid=25920 vsize=6441152 CPUtime=0.32 cores=1,3
/proc/25922/task/25929/stat : 25929 (java) S 25920 25922 23145 0 -1 4202560 3702 0 0 0 31 1 0 0 15 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25930] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25930/stat : 25930 (java) S 25920 25922 23145 0 -1 4202560 1763 0 0 0 27 0 0 0 15 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25931] ppid=25920 vsize=6441152 CPUtime=0.27 cores=1,3
/proc/25922/task/25931/stat : 25931 (java) S 25920 25922 23145 0 -1 4202560 1694 0 0 0 27 0 0 0 16 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25932] ppid=25920 vsize=6441152 CPUtime=0.33 cores=1,3
/proc/25922/task/25932/stat : 25932 (java) S 25920 25922 23145 0 -1 4202560 5971 0 0 0 33 0 0 0 15 0 19 0 892634880 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25933] ppid=25920 vsize=6441152 CPUtime=8.71 cores=1,3
/proc/25922/task/25933/stat : 25933 (java) S 25920 25922 23145 0 -1 4202560 3994 0 0 0 870 1 0 0 15 0 19 0 892634881 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 0 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25934] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25934/stat : 25934 (java) S 25920 25922 23145 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25935] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25935/stat : 25935 (java) S 25920 25922 23145 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 892634881 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25936] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25936/stat : 25936 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634883 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485791153 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25937] ppid=25920 vsize=6441152 CPUtime=0.26 cores=1,3
/proc/25922/task/25937/stat : 25937 (java) S 25920 25922 23145 0 -1 4202560 2333 0 0 0 26 0 0 0 15 0 19 0 892634883 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25938] ppid=25920 vsize=6441152 CPUtime=0.57 cores=1,3
/proc/25922/task/25938/stat : 25938 (java) S 25920 25922 23145 0 -1 4202560 8979 0 0 0 56 1 0 0 15 0 19 0 892634884 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25939] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25939/stat : 25939 (java) S 25920 25922 23145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 892634884 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485783449 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
[pid=25922/tid=25940] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25940/stat : 25940 (java) S 25920 25922 23145 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 892634884 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 3 0 0 0
[pid=25922/tid=25974] ppid=25920 vsize=6441152 CPUtime=0 cores=1,3
/proc/25922/task/25974/stat : 25974 (java) S 25920 25922 23145 0 -1 4202560 11 0 0 0 0 0 0 0 25 0 19 0 892634909 6595739648 67942 33554432000 1073741824 1073778376 140735453641024 18446744073709551615 274485784064 0 4 0 16800975 18446604456114149184 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6441152

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): 1798.25
CPU time (s): 1800.14
CPU user time (s): 1799.97
CPU system time (s): 0.161975
CPU usage (%): 100.105
Max. virtual memory (cumulated for all children) (KiB): 6441152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72444
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= 46074
involuntary context switches= 10425

runsolver used 2.95055 second user time and 6.89295 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-11 18:39:12
IDJOB=3493792
IDBENCH=87992
IDSOLVER=1972
FILE ID=node125/3493792-1307810352
RUNJOBID= node125-1307810352-25846
PBS_JOBID= 13551054
Free space on /tmp= 74028 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-25-5.shuffled.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493792-1307810352/watcher-3493792-1307810352 -o /tmp/evaluation-result-3493792-1307810352/solver-3493792-1307810352 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493792-1307810352.cnf

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

MD5SUM BENCH= 7c376a6d473187db5171d929d22cc83f
RANDOM SEED=452888434

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31440644 kB
Buffers:        305488 kB
Cached:         906588 kB
SwapCached:       3400 kB
Active:         583948 kB
Inactive:       726428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31440644 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:            1604 kB
Writeback:           0 kB
AnonPages:       96208 kB
Mapped:          21900 kB
Slab:           133056 kB
PageTables:       5220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 12667036 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= 74024 MiB
End job on node125 at 2011-06-11 19:09:12