Trace number 3265692

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-icl005.shuffled-as.sat05-3826.cnf
MD5SUM5d8489e52ec1ef9c7431a7fd60f9ff86
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark455.087
Satisfiable
(Un)Satisfiability was proved
Number of variables2703
Number of clauses18312
Sum of the clauses size128119
Maximum clause length13
Minimum clause length1
Number of clauses of size 156
Number of clauses of size 2533
Number of clauses of size 32417
Number of clauses of size 4522
Number of clauses of size 5685
Number of clauses of size over 514099

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		6997539544
0.01/0.08	c Max memory 		7034241024
0.01/0.08	c Total memory 		7034241024
0.01/0.08	c Number of processors 	8
0.01/0.09	c --- Begin Solver configuration ---
0.01/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.01/0.09	c Learn all clauses as in MiniSAT
0.01/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.01/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.01/0.09	c Expensive reason simplification
0.01/0.09	c Armin Biere (Picosat) restarts strategy
0.01/0.09	c Glucose learned constraints deletion strategy
0.01/0.09	c timeout=2147483647s
0.01/0.09	c DB Simplification allowed=true
0.01/0.09	c --- End Solver configuration ---
0.01/0.09	c solving HOME/instance-3265692-1303581471.cnf
0.01/0.09	c reading problem ... 
0.29/0.22	c ... done. Wall clock time 0.098s.
0.29/0.22	c #vars     2703
0.29/0.22	c #constraints  18028
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16830
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1155
0.84/0.57	c cleaning 2488 clauses out of 5000 with flag 5000/5000
1.57/0.92	c cleaning 4247 clauses out of 8513 with flag 11001/11001
2.03/1.31	c cleaning 5626 clauses out of 11265 with flag 18000/18000
2.44/1.78	c cleaning 6808 clauses out of 13642 with flag 26003/26003
3.06/2.35	c cleaning 7898 clauses out of 15831 with flag 35000/35000
3.76/3.06	c cleaning 8961 clauses out of 17934 with flag 45001/45001
4.56/3.84	c cleaning 9972 clauses out of 19972 with flag 56000/56000
5.56/4.82	c cleaning 10992 clauses out of 22000 with flag 68000/68000
6.66/5.95	c cleaning 11982 clauses out of 24009 with flag 81001/81001
7.96/7.25	c cleaning 13011 clauses out of 26027 with flag 95001/95001
9.48/8.78	c cleaning 13973 clauses out of 28015 with flag 110000/110000
11.27/10.51	c cleaning 15005 clauses out of 30042 with flag 126000/126000
13.27/12.58	c cleaning 16007 clauses out of 32037 with flag 143000/143000
15.48/14.73	c cleaning 16993 clauses out of 34030 with flag 161000/161000
17.68/16.98	c cleaning 17499 clauses out of 35037 with flag 179000/179000
20.08/19.38	c cleaning 17749 clauses out of 35542 with flag 197004/197004
22.48/21.72	c cleaning 17887 clauses out of 35791 with flag 215002/215002
25.08/24.34	c cleaning 17932 clauses out of 35898 with flag 233000/233000
27.59/26.81	c cleaning 17952 clauses out of 35966 with flag 251000/251000
29.99/29.25	c cleaning 17989 clauses out of 36014 with flag 269000/269000
32.49/31.72	c cleaning 18000 clauses out of 36027 with flag 287002/287002
35.09/34.32	c cleaning 18006 clauses out of 36025 with flag 305000/305000
37.59/36.89	c cleaning 17987 clauses out of 36021 with flag 323002/323002
40.19/39.49	c cleaning 17991 clauses out of 36032 with flag 341000/341000
42.90/42.13	c cleaning 18005 clauses out of 36042 with flag 359001/359001
45.50/44.77	c cleaning 17992 clauses out of 36038 with flag 377002/377002
48.10/47.35	c cleaning 17995 clauses out of 36044 with flag 395000/395000
50.80/50.06	c cleaning 18006 clauses out of 36050 with flag 413001/413001
53.51/52.79	c cleaning 18003 clauses out of 36044 with flag 431001/431001
56.40/55.62	c cleaning 18015 clauses out of 36040 with flag 449000/449000
59.20/58.47	c cleaning 18006 clauses out of 36025 with flag 467000/467000
62.31/61.51	c cleaning 17996 clauses out of 36019 with flag 485000/485000
65.20/64.44	c cleaning 17996 clauses out of 36023 with flag 503000/503000
67.91/67.14	c cleaning 17990 clauses out of 36027 with flag 521000/521000
70.80/70.02	c cleaning 17991 clauses out of 36038 with flag 539001/539001
73.71/72.95	c cleaning 18011 clauses out of 36046 with flag 557000/557000
76.61/75.84	c cleaning 18000 clauses out of 36036 with flag 575001/575001
79.51/78.74	c cleaning 18003 clauses out of 36035 with flag 593000/593000
82.41/81.68	c cleaning 18011 clauses out of 36033 with flag 611001/611001
85.31/84.53	c cleaning 17994 clauses out of 36022 with flag 629001/629001
88.31/87.55	c cleaning 17990 clauses out of 36027 with flag 647000/647000
91.21/90.50	c cleaning 18001 clauses out of 36037 with flag 665000/665000
94.31/93.54	c cleaning 17997 clauses out of 36036 with flag 683000/683000
97.21/96.43	c cleaning 18001 clauses out of 36042 with flag 701003/701003
100.01/99.28	c cleaning 17993 clauses out of 36038 with flag 719000/719000
103.02/102.21	c cleaning 18008 clauses out of 36046 with flag 737001/737001
105.91/105.18	c cleaning 18016 clauses out of 36037 with flag 755000/755000
109.02/108.22	c cleaning 17999 clauses out of 36023 with flag 773002/773002
112.12/111.34	c cleaning 17990 clauses out of 36022 with flag 791000/791000
115.02/114.29	c cleaning 18007 clauses out of 36034 with flag 809002/809002
118.22/117.46	c cleaning 17995 clauses out of 36025 with flag 827000/827000
121.12/120.37	c cleaning 18000 clauses out of 36030 with flag 845000/845000
124.42/123.69	c cleaning 18001 clauses out of 36033 with flag 863003/863003
127.72/126.93	c cleaning 18010 clauses out of 36031 with flag 881002/881002
131.02/130.22	c cleaning 18001 clauses out of 36019 with flag 899000/899000
134.22/133.46	c cleaning 18001 clauses out of 36022 with flag 917004/917004
137.23/136.48	c cleaning 17996 clauses out of 36017 with flag 935000/935000
140.44/139.66	c cleaning 18003 clauses out of 36021 with flag 953000/953000
143.84/143.05	c cleaning 17985 clauses out of 36018 with flag 971000/971000
147.04/146.24	c cleaning 17968 clauses out of 36033 with flag 989000/989000
150.14/149.34	c cleaning 18017 clauses out of 36067 with flag 1007002/1007002
153.04/152.28	c cleaning 18013 clauses out of 36050 with flag 1025002/1025002
156.34/155.56	c cleaning 18013 clauses out of 36036 with flag 1043001/1043001
159.44/158.63	c cleaning 17990 clauses out of 36024 with flag 1061002/1061002
162.74/161.94	c cleaning 17987 clauses out of 36032 with flag 1079000/1079000
165.64/164.86	c cleaning 18011 clauses out of 36047 with flag 1097002/1097002
169.35/168.54	c cleaning 18004 clauses out of 36035 with flag 1115001/1115001
172.35/171.55	c cleaning 17982 clauses out of 36030 with flag 1133000/1133000
175.45/174.68	c cleaning 18015 clauses out of 36048 with flag 1151000/1151000
178.65/177.80	c cleaning 17994 clauses out of 36033 with flag 1169000/1169000
181.75/180.93	c cleaning 17975 clauses out of 36039 with flag 1187000/1187000
185.05/184.20	c cleaning 18016 clauses out of 36065 with flag 1205001/1205001
188.17/187.39	c cleaning 18016 clauses out of 36048 with flag 1223000/1223000
191.47/190.66	c cleaning 18003 clauses out of 36032 with flag 1241000/1241000
194.57/193.74	c cleaning 18010 clauses out of 36029 with flag 1259000/1259000
198.07/197.23	c cleaning 17999 clauses out of 36019 with flag 1277000/1277000
201.18/200.33	c cleaning 17986 clauses out of 36020 with flag 1295000/1295000
204.58/203.76	c cleaning 18007 clauses out of 36034 with flag 1313000/1313000
207.68/206.82	c cleaning 17997 clauses out of 36028 with flag 1331001/1331001
210.68/209.84	c cleaning 18003 clauses out of 36030 with flag 1349000/1349000
213.78/212.98	c cleaning 18006 clauses out of 36027 with flag 1367000/1367000
216.98/216.18	c cleaning 17993 clauses out of 36022 with flag 1385001/1385001
220.08/219.23	c cleaning 17986 clauses out of 36028 with flag 1403000/1403000
223.28/222.45	c cleaning 18012 clauses out of 36042 with flag 1421000/1421000
226.48/225.69	c cleaning 17977 clauses out of 36030 with flag 1439000/1439000
229.48/228.65	c cleaning 18011 clauses out of 36053 with flag 1457000/1457000
232.69/231.85	c cleaning 18016 clauses out of 36042 with flag 1475000/1475000
236.19/235.38	c cleaning 17987 clauses out of 36026 with flag 1493000/1493000
239.59/238.78	c cleaning 18004 clauses out of 36039 with flag 1511000/1511000
243.29/242.46	c cleaning 18008 clauses out of 36035 with flag 1529000/1529000
246.79/245.93	c cleaning 18006 clauses out of 36028 with flag 1547001/1547001
250.29/249.46	c cleaning 17991 clauses out of 36021 with flag 1565000/1565000
253.99/253.15	c cleaning 18001 clauses out of 36030 with flag 1583000/1583000
257.20/256.34	c cleaning 17996 clauses out of 36029 with flag 1601000/1601000
260.79/259.98	c cleaning 17995 clauses out of 36034 with flag 1619001/1619001
264.40/263.56	c cleaning 18000 clauses out of 36038 with flag 1637000/1637000
268.10/267.21	c cleaning 17971 clauses out of 36039 with flag 1655001/1655001
271.30/270.44	c cleaning 18024 clauses out of 36068 with flag 1673001/1673001
274.40/273.55	c cleaning 18009 clauses out of 36043 with flag 1691000/1691000
277.90/277.02	c cleaning 17993 clauses out of 36034 with flag 1709000/1709000
281.10/280.22	c cleaning 18015 clauses out of 36042 with flag 1727001/1727001
284.30/283.46	c cleaning 17999 clauses out of 36027 with flag 1745001/1745001
287.51/286.69	c cleaning 18000 clauses out of 36031 with flag 1763004/1763004
291.01/290.16	c cleaning 17985 clauses out of 36027 with flag 1781000/1781000
294.61/293.74	c cleaning 18005 clauses out of 36042 with flag 1799000/1799000
298.11/297.28	c cleaning 18008 clauses out of 36037 with flag 1817000/1817000
301.51/300.68	c cleaning 17996 clauses out of 36029 with flag 1835000/1835000
304.81/303.96	c cleaning 18008 clauses out of 36035 with flag 1853002/1853002
308.11/307.27	c cleaning 17999 clauses out of 36025 with flag 1871000/1871000
311.12/310.28	c cleaning 18005 clauses out of 36028 with flag 1889002/1889002
314.71/313.84	c cleaning 17978 clauses out of 36021 with flag 1907000/1907000
318.31/317.47	c cleaning 18010 clauses out of 36043 with flag 1925000/1925000
322.12/321.23	c cleaning 17966 clauses out of 36033 with flag 1943000/1943000
325.82/324.97	c cleaning 18009 clauses out of 36067 with flag 1961000/1961000
329.62/328.78	c cleaning 17997 clauses out of 36058 with flag 1979000/1979000
333.42/332.55	c cleaning 18018 clauses out of 36061 with flag 1997000/1997000
336.82/335.98	c cleaning 18009 clauses out of 36043 with flag 2015000/2015000
340.12/339.24	c cleaning 18003 clauses out of 36035 with flag 2033001/2033001
343.63/342.78	c cleaning 17978 clauses out of 36031 with flag 2051000/2051000
346.83/345.91	c cleaning 18014 clauses out of 36053 with flag 2069000/2069000
350.23/349.37	c cleaning 18010 clauses out of 36042 with flag 2087003/2087003
353.94/353.01	c cleaning 18012 clauses out of 36030 with flag 2105001/2105001
357.54/356.66	c cleaning 17988 clauses out of 36017 with flag 2123000/2123000
360.94/360.02	c cleaning 17999 clauses out of 36030 with flag 2141001/2141001
364.14/363.23	c cleaning 18002 clauses out of 36030 with flag 2159000/2159000
367.74/366.81	c cleaning 18011 clauses out of 36028 with flag 2177000/2177000
371.24/370.31	c cleaning 17983 clauses out of 36017 with flag 2195000/2195000
374.54/373.66	c cleaning 17991 clauses out of 36034 with flag 2213000/2213000
378.15/377.23	c cleaning 18008 clauses out of 36043 with flag 2231000/2231000
381.34/380.40	c cleaning 18008 clauses out of 36036 with flag 2249001/2249001
384.55/383.67	c cleaning 17994 clauses out of 36028 with flag 2267001/2267001
387.85/386.98	c cleaning 18008 clauses out of 36033 with flag 2285000/2285000
391.35/390.48	c cleaning 18000 clauses out of 36025 with flag 2303000/2303000
394.85/393.94	c cleaning 17992 clauses out of 36025 with flag 2321000/2321000
398.55/397.67	c cleaning 17985 clauses out of 36034 with flag 2339001/2339001
402.75/401.86	c cleaning 17994 clauses out of 36048 with flag 2357000/2357000
406.76/405.81	c cleaning 18003 clauses out of 36056 with flag 2375002/2375002
410.66/409.74	c cleaning 18004 clauses out of 36052 with flag 2393001/2393001
414.06/413.16	c cleaning 18008 clauses out of 36047 with flag 2411000/2411000
417.96/417.09	c cleaning 17978 clauses out of 36039 with flag 2429000/2429000
421.96/421.01	c cleaning 18008 clauses out of 36062 with flag 2447001/2447001
425.47/424.59	c cleaning 18008 clauses out of 36053 with flag 2465000/2465000
429.26/428.39	c cleaning 18000 clauses out of 36046 with flag 2483001/2483001
433.06/432.12	c cleaning 18008 clauses out of 36046 with flag 2501001/2501001
436.57/435.65	c cleaning 18009 clauses out of 36040 with flag 2519003/2519003
440.17/439.29	c cleaning 18000 clauses out of 36031 with flag 2537003/2537003
444.57/443.64	c cleaning 18006 clauses out of 36028 with flag 2555000/2555000
448.47/447.59	c cleaning 17987 clauses out of 36022 with flag 2573000/2573000
452.07/451.18	c cleaning 18005 clauses out of 36035 with flag 2591000/2591000
455.47/454.58	c cleaning 17994 clauses out of 36030 with flag 2609000/2609000
459.17/458.29	c cleaning 17998 clauses out of 36036 with flag 2627000/2627000
462.67/461.79	c cleaning 17997 clauses out of 36038 with flag 2645000/2645000
466.38/465.43	c cleaning 18001 clauses out of 36042 with flag 2663001/2663001
470.28/469.33	c cleaning 18013 clauses out of 36041 with flag 2681001/2681001
474.28/473.39	c cleaning 17993 clauses out of 36027 with flag 2699000/2699000
477.98/477.02	c cleaning 18009 clauses out of 36034 with flag 2717000/2717000
481.38/480.40	c cleaning 17997 clauses out of 36026 with flag 2735001/2735001
484.78/483.87	c cleaning 18001 clauses out of 36029 with flag 2753001/2753001
488.29/487.38	c cleaning 17994 clauses out of 36028 with flag 2771001/2771001
491.59/490.68	c cleaning 18004 clauses out of 36034 with flag 2789001/2789001
495.38/494.40	c cleaning 18000 clauses out of 36030 with flag 2807001/2807001
498.79/497.83	c cleaning 17999 clauses out of 36029 with flag 2825000/2825000
502.39/501.43	c cleaning 18007 clauses out of 36031 with flag 2843001/2843001
506.39/505.41	c cleaning 17982 clauses out of 36023 with flag 2861000/2861000
509.79/508.87	c cleaning 17988 clauses out of 36041 with flag 2879000/2879000
513.50/512.52	c cleaning 18015 clauses out of 36053 with flag 2897000/2897000
517.09/516.15	c cleaning 17997 clauses out of 36038 with flag 2915000/2915000
521.20/520.22	c cleaning 17999 clauses out of 36041 with flag 2933000/2933000
525.10/524.12	c cleaning 18001 clauses out of 36042 with flag 2951000/2951000
528.70/527.75	c cleaning 18015 clauses out of 36041 with flag 2969000/2969000
532.20/531.30	c cleaning 17995 clauses out of 36026 with flag 2987000/2987000
535.90/534.97	c cleaning 18004 clauses out of 36033 with flag 3005002/3005002
539.70/538.71	c cleaning 17997 clauses out of 36027 with flag 3023000/3023000
543.40/542.41	c cleaning 17997 clauses out of 36030 with flag 3041000/3041000
547.30/546.38	c cleaning 18003 clauses out of 36033 with flag 3059000/3059000
551.50/550.54	c cleaning 18011 clauses out of 36030 with flag 3077000/3077000
555.50/554.55	c cleaning 17989 clauses out of 36020 with flag 3095001/3095001
559.10/558.19	c cleaning 17999 clauses out of 36030 with flag 3113000/3113000
562.30/561.33	c cleaning 17981 clauses out of 36031 with flag 3131000/3131000
565.80/564.86	c cleaning 18020 clauses out of 36051 with flag 3149001/3149001
569.40/568.50	c cleaning 18005 clauses out of 36030 with flag 3167000/3167000
573.60/572.63	c cleaning 17987 clauses out of 36026 with flag 3185001/3185001
577.81/576.86	c cleaning 18000 clauses out of 36039 with flag 3203001/3203001
581.71/580.75	c cleaning 17999 clauses out of 36039 with flag 3221001/3221001
585.41/584.48	c cleaning 17997 clauses out of 36040 with flag 3239001/3239001
589.41/588.42	c cleaning 17999 clauses out of 36043 with flag 3257001/3257001
593.01/592.09	c cleaning 17985 clauses out of 36043 with flag 3275000/3275000
596.41/595.47	c cleaning 18022 clauses out of 36060 with flag 3293002/3293002
600.01/599.08	c cleaning 18000 clauses out of 36036 with flag 3311000/3311000
603.72/602.77	c cleaning 17992 clauses out of 36036 with flag 3329000/3329000
607.42/606.48	c cleaning 18002 clauses out of 36044 with flag 3347000/3347000
611.72/610.72	c cleaning 18011 clauses out of 36043 with flag 3365001/3365001
615.62/614.64	c cleaning 18008 clauses out of 36031 with flag 3383000/3383000
619.62/618.66	c cleaning 17984 clauses out of 36023 with flag 3401000/3401000
623.63/622.67	c cleaning 17989 clauses out of 36039 with flag 3419000/3419000
627.62/626.65	c cleaning 18001 clauses out of 36050 with flag 3437000/3437000
631.52/630.58	c cleaning 18017 clauses out of 36049 with flag 3455000/3455000
635.02/634.07	c cleaning 17994 clauses out of 36033 with flag 3473001/3473001
638.72/637.79	c cleaning 18013 clauses out of 36039 with flag 3491001/3491001
642.33/641.35	c cleaning 18008 clauses out of 36025 with flag 3509000/3509000
646.33/645.38	c cleaning 17993 clauses out of 36018 with flag 3527001/3527001
649.83/648.80	c cleaning 18003 clauses out of 36027 with flag 3545003/3545003
653.34/652.31	c cleaning 17995 clauses out of 36021 with flag 3563000/3563000
657.13/656.18	c cleaning 17977 clauses out of 36026 with flag 3581000/3581000
660.83/659.84	c cleaning 18005 clauses out of 36049 with flag 3599000/3599000
664.43/663.46	c cleaning 18011 clauses out of 36044 with flag 3617000/3617000
668.24/667.24	c cleaning 18007 clauses out of 36034 with flag 3635001/3635001
671.94/671.00	c cleaning 17999 clauses out of 36026 with flag 3653000/3653000
675.84/674.87	c cleaning 17990 clauses out of 36028 with flag 3671001/3671001
679.44/678.40	c cleaning 18009 clauses out of 36037 with flag 3689000/3689000
683.14/682.15	c cleaning 17993 clauses out of 36031 with flag 3707003/3707003
686.94/685.98	c cleaning 18008 clauses out of 36037 with flag 3725002/3725002
690.84/689.89	c cleaning 18002 clauses out of 36027 with flag 3743000/3743000
694.95/693.93	c cleaning 17985 clauses out of 36025 with flag 3761000/3761000
698.85/697.80	c cleaning 18003 clauses out of 36040 with flag 3779000/3779000
703.06/702.02	c cleaning 17989 clauses out of 36037 with flag 3797000/3797000
706.86/705.82	c cleaning 18005 clauses out of 36048 with flag 3815000/3815000
710.76/709.76	c cleaning 18010 clauses out of 36043 with flag 3833000/3833000
714.36/713.38	c cleaning 18013 clauses out of 36033 with flag 3851000/3851000
718.06/717.01	c cleaning 17999 clauses out of 36020 with flag 3869000/3869000
721.86/720.87	c cleaning 17995 clauses out of 36022 with flag 3887001/3887001
725.26/724.28	c cleaning 17998 clauses out of 36026 with flag 3905000/3905000
728.97/727.94	c cleaning 18004 clauses out of 36031 with flag 3923003/3923003
733.07/732.09	c cleaning 17992 clauses out of 36024 with flag 3941000/3941000
736.77/735.71	c cleaning 17981 clauses out of 36032 with flag 3959000/3959000
740.37/739.36	c cleaning 18002 clauses out of 36051 with flag 3977000/3977000
743.97/742.95	c cleaning 18010 clauses out of 36049 with flag 3995000/3995000
747.67/746.60	c cleaning 18011 clauses out of 36039 with flag 4013000/4013000
751.18/750.20	c cleaning 18005 clauses out of 36028 with flag 4031000/4031000
755.07/754.09	c cleaning 17989 clauses out of 36023 with flag 4049000/4049000
758.67/757.65	c cleaning 18006 clauses out of 36035 with flag 4067001/4067001
762.28/761.27	c cleaning 17994 clauses out of 36028 with flag 4085000/4085000
766.07/765.08	c cleaning 17998 clauses out of 36034 with flag 4103000/4103000
769.77/768.75	c cleaning 18006 clauses out of 36036 with flag 4121000/4121000
773.77/772.79	c cleaning 18014 clauses out of 36031 with flag 4139001/4139001
777.97/776.91	c cleaning 17999 clauses out of 36017 with flag 4157001/4157001
781.78/780.76	c cleaning 17982 clauses out of 36017 with flag 4175000/4175000
785.38/784.34	c cleaning 17985 clauses out of 36035 with flag 4193000/4193000
789.38/788.34	c cleaning 17999 clauses out of 36050 with flag 4211000/4211000
793.18/792.13	c cleaning 18013 clauses out of 36051 with flag 4229000/4229000
796.68/795.64	c cleaning 18005 clauses out of 36038 with flag 4247000/4247000
800.58/799.58	c cleaning 17998 clauses out of 36034 with flag 4265001/4265001
804.88/803.85	c cleaning 17989 clauses out of 36035 with flag 4283000/4283000
808.49/807.43	c cleaning 17992 clauses out of 36047 with flag 4301001/4301001
812.08/811.01	c cleaning 17997 clauses out of 36054 with flag 4319000/4319000
815.89/814.82	c cleaning 17984 clauses out of 36057 with flag 4337000/4337000
819.59/818.58	c cleaning 18004 clauses out of 36074 with flag 4355001/4355001
823.59/822.59	c cleaning 17998 clauses out of 36070 with flag 4373001/4373001
827.79/826.73	c cleaning 18015 clauses out of 36072 with flag 4391001/4391001
831.50/830.47	c cleaning 18015 clauses out of 36056 with flag 4409000/4409000
834.80/833.80	c cleaning 18008 clauses out of 36044 with flag 4427003/4427003
838.39/837.33	c cleaning 18005 clauses out of 36034 with flag 4445001/4445001
842.29/841.29	c cleaning 17995 clauses out of 36029 with flag 4463001/4463001
845.80/844.77	c cleaning 18006 clauses out of 36033 with flag 4481000/4481000
849.50/848.45	c cleaning 17996 clauses out of 36027 with flag 4499000/4499000
853.50/852.40	c cleaning 18009 clauses out of 36031 with flag 4517000/4517000
857.30/856.23	c cleaning 18001 clauses out of 36026 with flag 4535004/4535004
861.10/860.05	c cleaning 18002 clauses out of 36022 with flag 4553001/4553001
865.00/863.92	c cleaning 17974 clauses out of 36019 with flag 4571000/4571000
868.80/867.71	c cleaning 18010 clauses out of 36045 with flag 4589000/4589000
872.50/871.43	c cleaning 17999 clauses out of 36036 with flag 4607001/4607001
876.20/875.12	c cleaning 18007 clauses out of 36036 with flag 4625000/4625000
880.10/879.05	c cleaning 17988 clauses out of 36029 with flag 4643000/4643000
884.11/883.06	c cleaning 18012 clauses out of 36043 with flag 4661002/4661002
887.92/886.85	c cleaning 17997 clauses out of 36029 with flag 4679000/4679000
891.52/890.47	c cleaning 17998 clauses out of 36033 with flag 4697001/4697001
895.32/894.29	c cleaning 17996 clauses out of 36034 with flag 4715000/4715000
898.82/897.80	c cleaning 18004 clauses out of 36038 with flag 4733000/4733000
902.62/901.52	c cleaning 17974 clauses out of 36034 with flag 4751000/4751000
906.22/905.15	c cleaning 18024 clauses out of 36063 with flag 4769003/4769003
909.63/908.59	c cleaning 18014 clauses out of 36037 with flag 4787001/4787001
913.13/912.08	c cleaning 17983 clauses out of 36022 with flag 4805000/4805000
916.83/915.77	c cleaning 17990 clauses out of 36039 with flag 4823000/4823000
920.33/919.27	c cleaning 18016 clauses out of 36051 with flag 4841002/4841002
924.33/923.27	c cleaning 18004 clauses out of 36033 with flag 4859000/4859000
928.13/927.03	c cleaning 17994 clauses out of 36029 with flag 4877000/4877000
932.23/931.13	c cleaning 18005 clauses out of 36038 with flag 4895003/4895003
935.93/934.82	c cleaning 18004 clauses out of 36031 with flag 4913001/4913001
939.63/938.59	c cleaning 17989 clauses out of 36027 with flag 4931001/4931001
943.63/942.53	c cleaning 18007 clauses out of 36037 with flag 4949000/4949000
947.83/946.73	c cleaning 17994 clauses out of 36030 with flag 4967000/4967000
951.84/950.77	c cleaning 17994 clauses out of 36036 with flag 4985000/4985000
955.74/954.60	c cleaning 18008 clauses out of 36042 with flag 5003000/5003000
959.84/958.74	c cleaning 18006 clauses out of 36035 with flag 5021001/5021001
964.04/962.92	c cleaning 17992 clauses out of 36028 with flag 5039000/5039000
968.14/967.01	c cleaning 18012 clauses out of 36037 with flag 5057001/5057001
972.24/971.19	c cleaning 18002 clauses out of 36025 with flag 5075001/5075001
976.14/975.00	c cleaning 18004 clauses out of 36025 with flag 5093003/5093003
980.05/978.94	c cleaning 17990 clauses out of 36018 with flag 5111000/5111000
983.54/982.49	c cleaning 18000 clauses out of 36028 with flag 5129000/5129000
987.34/986.24	c cleaning 17988 clauses out of 36028 with flag 5147000/5147000
991.15/990.08	c cleaning 17999 clauses out of 36040 with flag 5165000/5165000
994.75/993.68	c cleaning 17994 clauses out of 36042 with flag 5183001/5183001
998.55/997.47	c cleaning 17985 clauses out of 36047 with flag 5201000/5201000
1002.15/1001.08	c cleaning 18008 clauses out of 36063 with flag 5219001/5219001
1006.05/1004.92	c cleaning 18025 clauses out of 36054 with flag 5237000/5237000
1009.65/1008.52	c cleaning 18007 clauses out of 36031 with flag 5255002/5255002
1013.25/1012.18	c cleaning 17976 clauses out of 36023 with flag 5273001/5273001
1017.15/1016.03	c cleaning 18014 clauses out of 36048 with flag 5291002/5291002
1021.15/1020.01	c cleaning 18005 clauses out of 36033 with flag 5309001/5309001
1024.95/1023.85	c cleaning 18005 clauses out of 36028 with flag 5327001/5327001
1028.56/1027.44	c cleaning 17996 clauses out of 36023 with flag 5345001/5345001
1032.16/1031.05	c cleaning 17997 clauses out of 36026 with flag 5363000/5363000
1035.66/1034.56	c cleaning 18005 clauses out of 36030 with flag 5381001/5381001
1039.16/1038.01	c cleaning 17999 clauses out of 36027 with flag 5399003/5399003
1043.06/1041.90	c cleaning 18000 clauses out of 36025 with flag 5417000/5417000
1046.76/1045.63	c cleaning 17994 clauses out of 36025 with flag 5435000/5435000
1050.47/1049.31	c cleaning 18010 clauses out of 36031 with flag 5453000/5453000
1054.06/1052.99	c cleaning 17983 clauses out of 36021 with flag 5471000/5471000
1058.07/1056.97	c cleaning 18007 clauses out of 36039 with flag 5489001/5489001
1061.87/1060.70	c cleaning 17977 clauses out of 36034 with flag 5507003/5507003
1065.67/1064.53	c cleaning 18018 clauses out of 36055 with flag 5525001/5525001
1069.47/1068.37	c cleaning 17995 clauses out of 36037 with flag 5543001/5543001
1073.57/1072.46	c cleaning 18009 clauses out of 36042 with flag 5561001/5561001
1077.37/1076.24	c cleaning 17990 clauses out of 36032 with flag 5579000/5579000
1081.07/1079.99	c cleaning 18014 clauses out of 36044 with flag 5597002/5597002
1084.87/1083.79	c cleaning 17993 clauses out of 36029 with flag 5615001/5615001
1088.67/1087.52	c cleaning 17992 clauses out of 36035 with flag 5633000/5633000
1092.47/1091.37	c cleaning 18012 clauses out of 36043 with flag 5651000/5651000
1096.47/1095.34	c cleaning 18011 clauses out of 36031 with flag 5669000/5669000
1100.37/1099.23	c cleaning 18000 clauses out of 36020 with flag 5687000/5687000
1103.98/1102.81	c cleaning 17988 clauses out of 36020 with flag 5705000/5705000
1107.48/1106.38	c cleaning 17984 clauses out of 36032 with flag 5723000/5723000
1111.28/1110.13	c cleaning 18011 clauses out of 36049 with flag 5741001/5741001
1115.08/1113.97	c cleaning 17996 clauses out of 36038 with flag 5759001/5759001
1118.68/1117.51	c cleaning 17999 clauses out of 36042 with flag 5777001/5777001
1122.58/1121.48	c cleaning 18001 clauses out of 36042 with flag 5795000/5795000
1126.49/1125.31	c cleaning 18004 clauses out of 36041 with flag 5813000/5813000
1130.38/1129.21	c cleaning 18000 clauses out of 36037 with flag 5831000/5831000
1133.89/1132.77	c cleaning 18002 clauses out of 36039 with flag 5849002/5849002
1137.39/1136.29	c cleaning 18005 clauses out of 36035 with flag 5867000/5867000
1141.29/1140.11	c cleaning 18001 clauses out of 36030 with flag 5885000/5885000
1145.09/1143.99	c cleaning 17991 clauses out of 36030 with flag 5903001/5903001
1148.79/1147.62	c cleaning 18005 clauses out of 36038 with flag 5921000/5921000
1152.49/1151.30	c cleaning 17997 clauses out of 36034 with flag 5939001/5939001
1156.11/1154.94	c cleaning 18013 clauses out of 36037 with flag 5957001/5957001
1160.10/1158.99	c cleaning 17995 clauses out of 36023 with flag 5975000/5975000
1164.10/1162.95	c cleaning 17987 clauses out of 36029 with flag 5993001/5993001
1168.00/1166.84	c cleaning 18001 clauses out of 36042 with flag 6011001/6011001
1172.11/1170.96	c cleaning 18012 clauses out of 36041 with flag 6029001/6029001
1176.01/1174.85	c cleaning 18005 clauses out of 36032 with flag 6047004/6047004
1179.61/1178.42	c cleaning 17981 clauses out of 36024 with flag 6065001/6065001
1183.72/1182.53	c cleaning 18002 clauses out of 36042 with flag 6083000/6083000
1187.91/1186.74	c cleaning 17998 clauses out of 36040 with flag 6101000/6101000
1191.81/1190.64	c cleaning 18007 clauses out of 36042 with flag 6119000/6119000
1195.61/1194.45	c cleaning 18007 clauses out of 36035 with flag 6137000/6137000
1199.31/1198.15	c cleaning 17998 clauses out of 36030 with flag 6155002/6155002
1203.01/1201.84	c cleaning 17994 clauses out of 36030 with flag 6173000/6173000
1206.61/1205.50	c cleaning 18004 clauses out of 36037 with flag 6191001/6191001
1210.22/1209.00	c cleaning 17988 clauses out of 36032 with flag 6209000/6209000
1213.92/1212.72	c cleaning 18010 clauses out of 36045 with flag 6227001/6227001
1218.12/1216.90	c cleaning 18012 clauses out of 36034 with flag 6245000/6245000
1222.23/1221.00	c cleaning 17982 clauses out of 36022 with flag 6263000/6263000
1225.72/1224.52	c cleaning 17994 clauses out of 36041 with flag 6281001/6281001
1229.22/1228.08	c cleaning 18014 clauses out of 36046 with flag 6299000/6299000
1232.92/1231.76	c cleaning 17988 clauses out of 36032 with flag 6317000/6317000
1236.72/1235.57	c cleaning 18008 clauses out of 36044 with flag 6335000/6335000
1240.43/1239.26	c cleaning 17998 clauses out of 36036 with flag 6353000/6353000
1244.43/1243.23	c cleaning 18001 clauses out of 36038 with flag 6371000/6371000
1248.23/1247.04	c cleaning 17991 clauses out of 36037 with flag 6389000/6389000
1251.83/1250.61	c cleaning 18007 clauses out of 36046 with flag 6407000/6407000
1255.63/1254.42	c cleaning 17993 clauses out of 36039 with flag 6425000/6425000
1259.33/1258.15	c cleaning 18008 clauses out of 36047 with flag 6443001/6443001
1263.03/1261.82	c cleaning 18007 clauses out of 36038 with flag 6461000/6461000
1266.73/1265.56	c cleaning 18004 clauses out of 36032 with flag 6479001/6479001
1270.54/1269.35	c cleaning 18000 clauses out of 36028 with flag 6497001/6497001
1274.13/1272.95	c cleaning 17997 clauses out of 36029 with flag 6515002/6515002
1277.93/1276.70	c cleaning 17994 clauses out of 36030 with flag 6533000/6533000
1281.94/1280.70	c cleaning 18002 clauses out of 36037 with flag 6551001/6551001
1285.74/1284.50	c cleaning 17996 clauses out of 36034 with flag 6569000/6569000
1289.64/1288.47	c cleaning 17998 clauses out of 36039 with flag 6587001/6587001
1293.64/1292.50	c cleaning 17993 clauses out of 36041 with flag 6605001/6605001
1297.44/1296.27	c cleaning 18011 clauses out of 36048 with flag 6623001/6623001
1301.25/1300.01	c starts		: 2334
1301.25/1300.01	c conflicts		: 6640595
1301.25/1300.01	c decisions		: 8735690
1301.25/1300.01	c propagations		: 474713637
1301.25/1300.01	c inspects		: 15807815646
1301.25/1300.01	c shortcuts		: 0
1301.25/1300.01	c learnt literals	: 1
1301.25/1300.01	c learnt binary clauses	: 608
1301.25/1300.01	c learnt ternary clauses	: 3799
1301.25/1300.01	c learnt constraints	: 6640594
1301.25/1300.01	c ignored constraints	: 0
1301.25/1300.01	c root simplifications	: 2335
1301.25/1300.01	c removed literals (reason simplification)	: 117386161
1301.25/1300.01	c reason swapping (by a shorter reason)	: 0
1301.25/1300.01	c Calls to reduceDB	: 373
1301.25/1300.01	c speed (assignments/second)	: 365214.62339814485
1301.25/1300.01	c non guided choices	341566
1301.25/1300.04	c learnt constraints type 
1301.25/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 607
1301.25/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 35079
1301.25/1300.04	c constraints type 
1301.25/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16830
1301.25/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1155
1301.25/1300.04	s UNKNOWN
1301.25/1300.04	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-3265692-1303581471/watcher-3265692-1303581471 -o /tmp/evaluation-result-3265692-1303581471/solver-3265692-1303581471 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265692-1303581471.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: 2.40 2.84 2.61 3/176 11604
/proc/meminfo: memFree=16961444/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=23028 CPUtime=0 cores=4,6
/proc/11604/stat : 11604 (java) R 11602 11604 11570 0 -1 4202496 1014 0 0 0 0 0 0 0 17 0 1 0 548377680 23580672 757 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 47009054133888 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11604/statm: 5757 774 572 9 0 124 0

[startup+0.0329541 s]
/proc/loadavg: 2.40 2.84 2.61 3/176 11604
/proc/meminfo: memFree=16961444/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7562296 CPUtime=0.01 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 8469 0 1 0 1 0 0 0 17 0 11 0 548377680 7743791104 8167 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1890574 8168 1602 9 0 1881322 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7562296

[startup+0.101663 s]
/proc/loadavg: 2.40 2.84 2.61 3/176 11604
/proc/meminfo: memFree=16961444/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7636040 CPUtime=0.1 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 10363 0 1 0 9 1 0 0 17 0 18 0 548377680 7819304960 10059 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1909010 10060 2094 9 0 1899748 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636040

[startup+0.300868 s]
/proc/loadavg: 2.40 2.84 2.61 3/176 11604
/proc/meminfo: memFree=16961444/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7640656 CPUtime=0.49 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 12548 0 1 0 48 1 0 0 17 0 19 0 548377680 7824031744 11783 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1910164 11783 2218 9 0 1900902 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7640656

[startup+0.700757 s]
/proc/loadavg: 2.40 2.84 2.61 3/176 11604
/proc/meminfo: memFree=16961444/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7661728 CPUtime=1.17 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 20223 0 1 0 116 1 0 0 17 0 19 0 548377680 7845609472 17740 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1915432 17740 2253 9 0 1906170 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 7661728

[startup+1.50069 s]
/proc/loadavg: 2.40 2.84 2.61 6/262 11703
/proc/meminfo: memFree=16719012/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7657860 CPUtime=2.23 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 21207 0 1 0 222 1 0 0 17 0 19 0 548377680 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1914465 18432 2255 9 0 1905203 0
[pid=11604/tid=11606] ppid=11602 vsize=7657860 CPUtime=1.38 cores=4,6
/proc/11604/task/11606/stat : 11606 (java) R 11602 11604 11570 0 -1 4202560 9597 0 1 0 137 1 0 0 20 0 19 0 548377680 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 46912505639356 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11604/tid=11617] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11617/stat : 11617 (java) S 11602 11604 11570 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11618] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11618/stat : 11618 (java) S 11602 11604 11570 0 -1 4202560 396 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11619] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11619/stat : 11619 (java) S 11602 11604 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11620] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11620/stat : 11620 (java) S 11602 11604 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11621] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11621/stat : 11621 (java) S 11602 11604 11570 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=0.04 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 1026 0 0 0 4 0 0 0 16 0 19 0 548377683 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.27 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2416 0 0 0 27 0 0 0 18 0 19 0 548377686 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 18432 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 7657860

[startup+3.1014 s]
/proc/loadavg: 2.40 2.84 2.61 5/262 11703
/proc/meminfo: memFree=16687020/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7657860 CPUtime=3.86 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 21448 0 1 0 384 2 0 0 17 0 19 0 548377680 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1914465 18670 2255 9 0 1905203 0
[pid=11604/tid=11606] ppid=11602 vsize=7657860 CPUtime=2.93 cores=4,6
/proc/11604/task/11606/stat : 11606 (java) R 11602 11604 11570 0 -1 4202560 9600 0 1 0 292 1 0 0 25 0 19 0 548377680 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 46912505587695 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11604/tid=11617] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11617/stat : 11617 (java) S 11602 11604 11570 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11618] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11618/stat : 11618 (java) S 11602 11604 11570 0 -1 4202560 396 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11619] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11619/stat : 11619 (java) S 11602 11604 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11620] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11620/stat : 11620 (java) S 11602 11604 11570 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11621] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11621/stat : 11621 (java) S 11602 11604 11570 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 359 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=0.09 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 1192 0 0 0 9 0 0 0 16 0 19 0 548377683 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.28 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2416 0 0 0 28 0 0 0 15 0 19 0 548377686 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 18670 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 7657860

[startup+6.30082 s]
/proc/loadavg: 2.61 2.88 2.62 5/262 11703
/proc/meminfo: memFree=16691620/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7657860 CPUtime=7.06 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 21559 0 1 0 704 2 0 0 17 0 19 0 548377680 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1914465 18769 2255 9 0 1905203 0
[pid=11604/tid=11606] ppid=11602 vsize=7657860 CPUtime=6.06 cores=4,6
/proc/11604/task/11606/stat : 11606 (java) R 11602 11604 11570 0 -1 4202560 9604 0 1 0 605 1 0 0 25 0 19 0 548377680 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 46912505604904 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11604/tid=11617] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11617/stat : 11617 (java) S 11602 11604 11570 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11618] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11618/stat : 11618 (java) S 11602 11604 11570 0 -1 4202560 396 0 0 0 0 0 0 0 16 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11619] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11619/stat : 11619 (java) S 11602 11604 11570 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11620] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11620/stat : 11620 (java) S 11602 11604 11570 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11621] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11621/stat : 11621 (java) S 11602 11604 11570 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 359 0 0 0 0 0 0 0 16 0 19 0 548377682 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 1293 0 0 0 15 0 0 0 16 0 19 0 548377683 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.28 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2416 0 0 0 28 0 0 0 15 0 19 0 548377686 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 18769 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 7657860

[startup+12.7016 s]

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

[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 133 0 0 0 13 0 0 0 15 0 19 0 548377682 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 18 0 0 0 13 0 0 0 15 0 19 0 548377682 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 368 0 0 0 13 0 0 0 15 0 19 0 548377682 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=7.03 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 2310 0 0 0 700 3 0 0 16 0 19 0 548377683 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.31 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2419 0 0 0 31 0 0 0 15 0 19 0 548377686 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 20064 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1123.48
Current children cumulated vsize (KiB) 7657860

[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 3.64 5/262 11744
/proc/meminfo: memFree=16668852/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7657860 CPUtime=1183.51 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 23361 0 1 0 118344 7 0 0 17 0 19 0 548377680 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1914465 20076 2256 9 0 1905203 0
[pid=11604/tid=11606] ppid=11602 vsize=7657860 CPUtime=1174.19 cores=4,6
/proc/11604/task/11606/stat : 11606 (java) R 11602 11604 11570 0 -1 4202560 9938 0 1 0 117418 1 0 0 25 0 19 0 548377680 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 46912505611901 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11604/tid=11617] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11617/stat : 11617 (java) S 11602 11604 11570 0 -1 4202560 274 0 0 0 13 0 0 0 16 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11618] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11618/stat : 11618 (java) S 11602 11604 11570 0 -1 4202560 409 0 0 0 13 0 0 0 16 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11619] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11619/stat : 11619 (java) S 11602 11604 11570 0 -1 4202560 192 0 0 0 13 0 0 0 15 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11620] ppid=11602 vsize=7657860 CPUtime=0.11 cores=4,6
/proc/11604/task/11620/stat : 11620 (java) S 11602 11604 11570 0 -1 4202560 55 0 0 0 11 0 0 0 15 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11621] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11621/stat : 11621 (java) S 11602 11604 11570 0 -1 4202560 54 0 0 0 13 0 0 0 15 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 133 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 18 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 368 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=7.36 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 2326 0 0 0 733 3 0 0 15 0 19 0 548377683 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.31 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2419 0 0 0 31 0 0 0 15 0 19 0 548377686 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 20076 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1183.51
Current children cumulated vsize (KiB) 7657860

[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 3.66 5/262 11746
/proc/meminfo: memFree=16668056/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7657860 CPUtime=1243.53 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 23418 0 1 0 124346 7 0 0 17 0 19 0 548377680 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1914465 20109 2256 9 0 1905203 0
[pid=11604/tid=11606] ppid=11602 vsize=7657860 CPUtime=1233.8 cores=4,6
/proc/11604/task/11606/stat : 11606 (java) R 11602 11604 11570 0 -1 4202560 9954 0 1 0 123379 1 0 0 25 0 19 0 548377680 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 46912505611919 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11604/tid=11617] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11617/stat : 11617 (java) S 11602 11604 11570 0 -1 4202560 274 0 0 0 14 0 0 0 16 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11618] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11618/stat : 11618 (java) S 11602 11604 11570 0 -1 4202560 412 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11619] ppid=11602 vsize=7657860 CPUtime=0.13 cores=4,6
/proc/11604/task/11619/stat : 11619 (java) S 11602 11604 11570 0 -1 4202560 192 0 0 0 13 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11620] ppid=11602 vsize=7657860 CPUtime=0.12 cores=4,6
/proc/11604/task/11620/stat : 11620 (java) S 11602 11604 11570 0 -1 4202560 56 0 0 0 12 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11621] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11621/stat : 11621 (java) S 11602 11604 11570 0 -1 4202560 56 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 140 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 20 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 368 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=7.72 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 2348 0 0 0 769 3 0 0 15 0 19 0 548377683 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.31 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2419 0 0 0 31 0 0 0 15 0 19 0 548377686 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 20109 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1243.53
Current children cumulated vsize (KiB) 7657860



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.17 4.06 3.68 5/262 11747
/proc/meminfo: memFree=16667772/32951124 swapFree=67111528/67111528
[pid=11604] ppid=11602 vsize=7657860 CPUtime=1301.25 cores=4,6
/proc/11604/stat : 11604 (java) S 11602 11604 11570 0 -1 4202496 23451 0 1 0 130118 7 0 0 17 0 19 0 548377680 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11604/statm: 1914465 20121 2256 9 0 1905203 0
[pid=11604/tid=11606] ppid=11602 vsize=7657860 CPUtime=1291.14 cores=4,6
/proc/11604/task/11606/stat : 11606 (java) R 11602 11604 11570 0 -1 4202560 9969 0 1 0 129113 1 0 0 25 0 19 0 548377680 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 46912505568837 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11604/tid=11617] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11617/stat : 11617 (java) S 11602 11604 11570 0 -1 4202560 274 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11618] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11618/stat : 11618 (java) S 11602 11604 11570 0 -1 4202560 412 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11619] ppid=11602 vsize=7657860 CPUtime=0.14 cores=4,6
/proc/11604/task/11619/stat : 11619 (java) S 11602 11604 11570 0 -1 4202560 192 0 0 0 14 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11620] ppid=11602 vsize=7657860 CPUtime=0.12 cores=4,6
/proc/11604/task/11620/stat : 11620 (java) S 11602 11604 11570 0 -1 4202560 56 0 0 0 12 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11621] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11621/stat : 11621 (java) S 11602 11604 11570 0 -1 4202560 56 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11622] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11622/stat : 11622 (java) S 11602 11604 11570 0 -1 4202560 140 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11623] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11623/stat : 11623 (java) S 11602 11604 11570 0 -1 4202560 25 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11624] ppid=11602 vsize=7657860 CPUtime=0.15 cores=4,6
/proc/11604/task/11624/stat : 11624 (java) S 11602 11604 11570 0 -1 4202560 368 0 0 0 15 0 0 0 15 0 19 0 548377682 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11626] ppid=11602 vsize=7657860 CPUtime=8.05 cores=4,6
/proc/11604/task/11626/stat : 11626 (java) S 11602 11604 11570 0 -1 4202560 2357 0 0 0 802 3 0 0 15 0 19 0 548377683 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 0 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11635] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11635/stat : 11635 (java) S 11602 11604 11570 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 548377683 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11636] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11636/stat : 11636 (java) S 11602 11604 11570 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 548377683 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11641] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11641/stat : 11641 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032219569 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11642] ppid=11602 vsize=7657860 CPUtime=0.51 cores=4,6
/proc/11604/task/11642/stat : 11642 (java) S 11602 11604 11570 0 -1 4202560 5955 0 0 0 51 0 0 0 18 0 19 0 548377686 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11643] ppid=11602 vsize=7657860 CPUtime=0.31 cores=4,6
/proc/11604/task/11643/stat : 11643 (java) S 11602 11604 11570 0 -1 4202560 2419 0 0 0 31 0 0 0 15 0 19 0 548377686 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11644] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11644/stat : 11644 (java) S 11602 11604 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377686 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032211865 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
[pid=11604/tid=11645] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11645/stat : 11645 (java) S 11602 11604 11570 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 548377686 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 6 0 0 0
[pid=11604/tid=11673] ppid=11602 vsize=7657860 CPUtime=0 cores=4,6
/proc/11604/task/11673/stat : 11673 (java) S 11602 11604 11570 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 548377700 7841648640 20121 33554432000 1073741824 1073778376 140736492968752 18446744073709551615 260032212480 0 4 0 16800975 18446604453915010368 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1301.25
Current children cumulated vsize (KiB) 7657860

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.33
CPU user time (s): 1301.25
CPU system time (s): 0.079987
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 7662112

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

runsolver used 2.31165 second user time and 4.82427 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= 5d8489e52ec1ef9c7431a7fd60f9ff86
RANDOM SEED=1196765116

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16961724 kB
Buffers:       2314860 kB
Cached:       13038716 kB
SwapCached:          0 kB
Active:        7966360 kB
Inactive:      7455080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16961724 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1380 kB
Writeback:           0 kB
AnonPages:       67152 kB
Mapped:          14708 kB
Slab:           502484 kB
PageTables:       5024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194712 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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