Trace number 3459557

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)-27 1800.1 1795.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark313.267
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3459557-1307148193.opb
0.11/0.11	c reading problem ... 
0.56/0.41	c ... done. Wall clock time 0.308s.
0.56/0.41	c #vars     450
0.56/0.42	c #constraints  17794
0.56/0.42	c constraints type 
0.56/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
0.72/0.43	c SATISFIABLE
0.72/0.43	c OPTIMIZING...
0.72/0.43	c Got one! Elapsed wall clock time (in seconds):0.32
0.72/0.43	o -19
0.72/0.48	c Got one! Elapsed wall clock time (in seconds):0.369
0.72/0.48	o -20
0.72/0.50	c Got one! Elapsed wall clock time (in seconds):0.398
0.72/0.51	o -21
0.72/0.52	c Got one! Elapsed wall clock time (in seconds):0.416
0.72/0.52	o -22
1.09/0.67	c Got one! Elapsed wall clock time (in seconds):0.561
1.09/0.67	o -23
1.34/0.89	c Got one! Elapsed wall clock time (in seconds):0.78
1.34/0.89	o -24
1.60/1.13	c cleaning 2835 clauses out of 5679 with flag 2000/5679
2.34/1.71	c cleaning 4417 clauses out of 8844 with flag 8000/11679
3.05/2.46	c cleaning 5711 clauses out of 11427 with flag 15000/18679
3.47/2.89	c Got one! Elapsed wall clock time (in seconds):2.78
3.47/2.89	o -25
3.67/3.01	c cleaning 5438 clauses out of 10885 with flag 1002/23848
4.31/3.63	c cleaning 5721 clauses out of 11446 with flag 7001/29847
5.02/4.35	c cleaning 6354 clauses out of 12724 with flag 14000/36846
5.92/5.22	c cleaning 7182 clauses out of 14370 with flag 22000/44846
6.92/6.24	c cleaning 8089 clauses out of 16188 with flag 31000/53846
8.02/7.37	c cleaning 9050 clauses out of 18100 with flag 41001/63847
9.44/8.79	c cleaning 10019 clauses out of 20049 with flag 52000/74846
10.83/10.15	c cleaning 11015 clauses out of 22030 with flag 64000/86846
12.44/11.75	c cleaning 12005 clauses out of 24015 with flag 77000/99846
14.45/13.76	c cleaning 12997 clauses out of 26010 with flag 91000/113846
16.26/15.55	c cleaning 14004 clauses out of 28014 with flag 106001/128847
18.47/17.76	c cleaning 15004 clauses out of 30009 with flag 122000/144846
20.98/20.27	c cleaning 15999 clauses out of 32005 with flag 139000/161846
23.80/23.05	c cleaning 16997 clauses out of 34006 with flag 157000/179846
26.21/25.41	c cleaning 17497 clauses out of 35009 with flag 175000/197846
28.82/28.03	c cleaning 17748 clauses out of 35513 with flag 193001/215847
31.65/30.85	c cleaning 17882 clauses out of 35765 with flag 211001/233847
34.74/33.97	c cleaning 17939 clauses out of 35883 with flag 229001/251847
36.55/35.77	c Got one! Elapsed wall clock time (in seconds):35.664
36.55/35.77	o -26
37.25/36.43	c cleaning 18028 clauses out of 36059 with flag 5002/269962
37.96/37.14	c cleaning 12007 clauses out of 24029 with flag 11000/275960
38.87/38.05	c cleaning 9505 clauses out of 19022 with flag 18000/282960
39.87/39.02	c cleaning 8752 clauses out of 17518 with flag 26001/290961
41.08/40.29	c cleaning 8874 clauses out of 17765 with flag 35000/299960
42.38/41.59	c cleaning 9443 clauses out of 18891 with flag 45000/309960
43.80/42.99	c cleaning 10224 clauses out of 20448 with flag 56000/320960
45.69/44.82	c cleaning 11112 clauses out of 22225 with flag 68001/332961
47.60/46.79	c cleaning 12054 clauses out of 24113 with flag 81001/345961
49.61/48.78	c cleaning 13028 clauses out of 26058 with flag 95000/359960
52.11/51.21	c cleaning 14016 clauses out of 28031 with flag 110001/374961
54.63/53.77	c cleaning 15000 clauses out of 30014 with flag 126000/390960
56.84/55.94	c cleaning 15993 clauses out of 32014 with flag 143000/407960
59.16/58.28	c cleaning 17005 clauses out of 34022 with flag 161001/425961
61.86/60.91	c cleaning 17502 clauses out of 35016 with flag 179000/443960
64.37/63.47	c cleaning 17758 clauses out of 35515 with flag 197001/461961
67.19/66.27	c cleaning 17875 clauses out of 35757 with flag 215001/479961
70.21/69.27	c cleaning 17934 clauses out of 35881 with flag 233000/497960
73.41/72.42	c cleaning 17973 clauses out of 35947 with flag 251000/515960
76.02/75.02	c cleaning 17983 clauses out of 35974 with flag 269000/533960
79.05/78.09	c cleaning 17989 clauses out of 35991 with flag 287000/551960
82.36/81.36	c cleaning 17994 clauses out of 36003 with flag 305001/569961
85.25/84.22	c cleaning 18004 clauses out of 36008 with flag 323000/587960
87.66/86.63	c cleaning 17997 clauses out of 36004 with flag 341000/605960
90.10/89.04	c cleaning 17988 clauses out of 36008 with flag 359001/623961
92.60/91.58	c cleaning 18006 clauses out of 36019 with flag 377000/641960
95.41/94.32	c cleaning 17994 clauses out of 36013 with flag 395000/659960
98.12/97.02	c cleaning 17995 clauses out of 36019 with flag 413000/677960
101.04/99.92	c cleaning 18011 clauses out of 36025 with flag 431001/695961
103.85/102.77	c cleaning 18003 clauses out of 36014 with flag 449001/713961
106.56/105.44	c cleaning 17993 clauses out of 36010 with flag 467000/731960
109.46/108.39	c cleaning 18002 clauses out of 36017 with flag 485000/749960
112.67/111.57	c cleaning 18002 clauses out of 36015 with flag 503000/767960
115.78/114.66	c cleaning 18000 clauses out of 36013 with flag 521000/785960
118.81/117.71	c cleaning 18005 clauses out of 36013 with flag 539000/803960
121.82/120.66	c cleaning 17995 clauses out of 36008 with flag 557000/821960
125.12/123.91	c cleaning 17999 clauses out of 36013 with flag 575000/839960
128.13/126.90	c cleaning 18001 clauses out of 36014 with flag 593000/857960
131.06/129.86	c cleaning 18001 clauses out of 36013 with flag 611000/875960
133.55/132.38	c cleaning 18000 clauses out of 36012 with flag 629000/893960
136.58/135.35	c cleaning 18005 clauses out of 36013 with flag 647001/911961
139.20/137.90	c cleaning 17995 clauses out of 36008 with flag 665001/929961
141.80/140.54	c cleaning 18001 clauses out of 36013 with flag 683001/947961
144.71/143.46	c cleaning 18001 clauses out of 36012 with flag 701001/965961
147.32/146.07	c cleaning 18000 clauses out of 36010 with flag 719000/983960
150.43/149.16	c cleaning 17991 clauses out of 36010 with flag 737000/1001960
153.15/151.84	c cleaning 18008 clauses out of 36020 with flag 755001/1019961
156.14/154.83	c cleaning 18001 clauses out of 36011 with flag 773000/1037960
159.35/158.05	c cleaning 17999 clauses out of 36010 with flag 791000/1055960
162.25/160.90	c cleaning 17999 clauses out of 36011 with flag 809000/1073960
164.76/163.46	c cleaning 17983 clauses out of 36012 with flag 827000/1091960
167.66/166.32	c cleaning 18003 clauses out of 36029 with flag 845000/1109960
170.79/169.43	c cleaning 18006 clauses out of 36026 with flag 863000/1127960
173.88/172.52	c cleaning 18010 clauses out of 36020 with flag 881000/1145960
176.99/175.69	c cleaning 17995 clauses out of 36011 with flag 899001/1163961
179.79/178.41	c cleaning 18000 clauses out of 36016 with flag 917001/1181961
182.71/181.32	c cleaning 18008 clauses out of 36017 with flag 935002/1199962
185.91/184.57	c cleaning 17994 clauses out of 36009 with flag 953002/1217962
188.92/187.55	c cleaning 18002 clauses out of 36013 with flag 971000/1235960
192.43/191.04	c cleaning 18001 clauses out of 36011 with flag 989000/1253960
195.44/194.00	c cleaning 17992 clauses out of 36010 with flag 1007000/1271960
198.36/196.97	c cleaning 18001 clauses out of 36019 with flag 1025001/1289961
201.67/200.21	c cleaning 17994 clauses out of 36017 with flag 1043000/1307960
204.66/203.29	c cleaning 18002 clauses out of 36023 with flag 1061000/1325960
206.97/205.51	c cleaning 18002 clauses out of 36021 with flag 1079000/1343960
209.40/207.92	c cleaning 17993 clauses out of 36019 with flag 1097000/1361960
211.89/210.46	c cleaning 17998 clauses out of 36026 with flag 1115000/1379960
214.60/213.12	c cleaning 18011 clauses out of 36030 with flag 1133002/1397962
217.70/216.29	c cleaning 18004 clauses out of 36018 with flag 1151001/1415961
220.61/219.13	c cleaning 17991 clauses out of 36014 with flag 1169001/1433961
223.64/222.17	c cleaning 18001 clauses out of 36023 with flag 1187001/1451961
226.44/224.92	c cleaning 18010 clauses out of 36022 with flag 1205001/1469961
229.45/227.92	c cleaning 18001 clauses out of 36011 with flag 1223000/1487960
232.36/230.84	c cleaning 17998 clauses out of 36010 with flag 1241000/1505960
235.37/233.87	c cleaning 17997 clauses out of 36012 with flag 1259000/1523960
238.39/236.85	c cleaning 18005 clauses out of 36015 with flag 1277000/1541960
241.10/239.57	c cleaning 17991 clauses out of 36011 with flag 1295001/1559961
243.92/242.32	c cleaning 17997 clauses out of 36020 with flag 1313001/1577961
246.94/245.36	c cleaning 18003 clauses out of 36022 with flag 1331000/1595960
249.84/248.22	c cleaning 18007 clauses out of 36019 with flag 1349000/1613960
252.35/250.74	c cleaning 17989 clauses out of 36012 with flag 1367000/1631960
255.45/253.82	c cleaning 18003 clauses out of 36024 with flag 1385001/1649961
258.55/256.94	c cleaning 18000 clauses out of 36020 with flag 1403000/1667960
261.86/260.20	c cleaning 17997 clauses out of 36021 with flag 1421001/1685961
264.58/262.93	c cleaning 17998 clauses out of 36023 with flag 1439000/1703960
267.67/266.03	c cleaning 18001 clauses out of 36025 with flag 1457000/1721960
271.08/269.44	c cleaning 18006 clauses out of 36024 with flag 1475000/1739960
273.98/272.37	c cleaning 18002 clauses out of 36020 with flag 1493002/1757962
276.70/275.08	c cleaning 17994 clauses out of 36016 with flag 1511000/1775960
279.60/277.92	c cleaning 18001 clauses out of 36022 with flag 1529000/1793960
282.51/280.85	c cleaning 18003 clauses out of 36022 with flag 1547001/1811961
285.53/283.89	c cleaning 17993 clauses out of 36019 with flag 1565001/1829961
288.62/286.98	c cleaning 18011 clauses out of 36026 with flag 1583001/1847961
291.53/289.86	c cleaning 18003 clauses out of 36014 with flag 1601000/1865960
294.64/292.92	c cleaning 17997 clauses out of 36011 with flag 1619000/1883960
297.55/295.85	c cleaning 17991 clauses out of 36014 with flag 1637000/1901960
300.54/298.88	c cleaning 18008 clauses out of 36023 with flag 1655000/1919960
303.75/302.02	c cleaning 17998 clauses out of 36015 with flag 1673000/1937960
306.75/305.04	c cleaning 18003 clauses out of 36017 with flag 1691000/1955960
310.17/308.43	c cleaning 18001 clauses out of 36014 with flag 1709000/1973960
313.57/311.88	c cleaning 18006 clauses out of 36014 with flag 1727001/1991961
315.99/314.23	c cleaning 18001 clauses out of 36009 with flag 1745002/2009962
318.40/316.66	c cleaning 18005 clauses out of 36010 with flag 1763004/2027964
321.00/319.30	c cleaning 17997 clauses out of 36001 with flag 1781000/2045960
323.92/322.12	c cleaning 17991 clauses out of 36004 with flag 1799000/2063960
326.72/324.94	c cleaning 18001 clauses out of 36014 with flag 1817001/2081961
329.73/327.92	c cleaning 17997 clauses out of 36013 with flag 1835001/2099961
332.64/330.89	c cleaning 18006 clauses out of 36016 with flag 1853001/2117961
335.35/333.54	c cleaning 17985 clauses out of 36009 with flag 1871000/2135960
338.37/336.54	c cleaning 18011 clauses out of 36025 with flag 1889001/2153961
341.26/339.48	c cleaning 18001 clauses out of 36013 with flag 1907000/2171960
344.36/342.51	c cleaning 18007 clauses out of 36014 with flag 1925002/2189962
347.37/345.50	c cleaning 17993 clauses out of 36006 with flag 1943001/2207961
350.28/348.44	c cleaning 18001 clauses out of 36012 with flag 1961000/2225960
353.59/351.74	c cleaning 18001 clauses out of 36011 with flag 1979000/2243960
356.90/355.08	c cleaning 17994 clauses out of 36010 with flag 1997000/2261960
360.71/358.88	c cleaning 18008 clauses out of 36016 with flag 2015000/2279960
363.92/362.02	c cleaning 17997 clauses out of 36008 with flag 2033000/2297960
366.63/364.77	c cleaning 18001 clauses out of 36012 with flag 2051001/2315961
369.54/367.64	c cleaning 17997 clauses out of 36010 with flag 2069000/2333960
372.85/370.90	c cleaning 18000 clauses out of 36013 with flag 2087000/2351960
375.46/373.57	c cleaning 17993 clauses out of 36013 with flag 2105000/2369960
378.36/376.43	c cleaning 18004 clauses out of 36021 with flag 2123001/2387961
381.37/379.44	c cleaning 18000 clauses out of 36016 with flag 2141000/2405960
384.56/382.60	c cleaning 18000 clauses out of 36016 with flag 2159000/2423960
387.17/385.25	c cleaning 18005 clauses out of 36016 with flag 2177000/2441960
389.98/388.06	c cleaning 17992 clauses out of 36012 with flag 2195001/2459961
392.78/390.86	c cleaning 17998 clauses out of 36020 with flag 2213001/2477961
395.88/393.96	c cleaning 18007 clauses out of 36021 with flag 2231000/2495960
398.79/396.80	c cleaning 17999 clauses out of 36015 with flag 2249001/2513961
401.50/399.55	c cleaning 17998 clauses out of 36015 with flag 2267000/2531960
404.90/402.90	c cleaning 17999 clauses out of 36017 with flag 2285000/2549960
408.11/406.11	c cleaning 18007 clauses out of 36019 with flag 2303001/2567961
411.13/409.14	c cleaning 17993 clauses out of 36011 with flag 2321000/2585960
414.44/412.45	c cleaning 18009 clauses out of 36019 with flag 2339001/2603961
417.84/415.86	c cleaning 18001 clauses out of 36009 with flag 2357000/2621960
421.15/419.16	c cleaning 17994 clauses out of 36008 with flag 2375000/2639960
424.05/422.08	c cleaning 18004 clauses out of 36015 with flag 2393001/2657961
426.86/424.86	c cleaning 18000 clauses out of 36011 with flag 2411001/2675961
429.87/427.85	c cleaning 17994 clauses out of 36010 with flag 2429000/2693960
432.87/430.80	c cleaning 18004 clauses out of 36016 with flag 2447000/2711960
435.97/433.90	c cleaning 17995 clauses out of 36012 with flag 2465000/2729960
438.97/436.97	c cleaning 18002 clauses out of 36018 with flag 2483001/2747961
442.17/440.14	c cleaning 17980 clauses out of 36015 with flag 2501000/2765960
444.98/442.94	c cleaning 18007 clauses out of 36036 with flag 2519001/2783961
448.08/446.03	c cleaning 18004 clauses out of 36028 with flag 2537000/2801960
451.19/449.19	c cleaning 18009 clauses out of 36024 with flag 2555000/2819960
454.39/452.30	c cleaning 18002 clauses out of 36016 with flag 2573001/2837961
457.41/455.36	c cleaning 17994 clauses out of 36014 with flag 2591001/2855961
460.90/458.88	c cleaning 18005 clauses out of 36019 with flag 2609000/2873960
463.71/461.68	c cleaning 17997 clauses out of 36014 with flag 2627000/2891960
466.71/464.62	c cleaning 18002 clauses out of 36017 with flag 2645000/2909960
469.91/467.81	c cleaning 17992 clauses out of 36016 with flag 2663001/2927961
472.94/470.88	c cleaning 18004 clauses out of 36023 with flag 2681000/2945960
476.14/474.11	c cleaning 17999 clauses out of 36019 with flag 2699000/2963960
479.13/477.02	c cleaning 18005 clauses out of 36020 with flag 2717000/2981960
481.33/479.30	c cleaning 17996 clauses out of 36015 with flag 2735000/2999960
483.75/481.61	c cleaning 17996 clauses out of 36019 with flag 2753000/3017960
486.25/484.13	c cleaning 18001 clauses out of 36024 with flag 2771001/3035961
488.76/486.64	c cleaning 18002 clauses out of 36022 with flag 2789000/3053960
491.76/489.62	c cleaning 17995 clauses out of 36021 with flag 2807001/3071961
494.27/492.18	c cleaning 17997 clauses out of 36025 with flag 2825000/3089960
497.38/495.20	c cleaning 18000 clauses out of 36029 with flag 2843001/3107961
499.99/497.82	c cleaning 18006 clauses out of 36028 with flag 2861000/3125960
502.90/500.80	c cleaning 17990 clauses out of 36022 with flag 2879000/3143960
505.81/503.61	c cleaning 18002 clauses out of 36032 with flag 2897000/3161960
509.02/506.83	c cleaning 18012 clauses out of 36031 with flag 2915001/3179961
511.72/509.51	c cleaning 18000 clauses out of 36018 with flag 2933000/3197960
514.53/512.33	c cleaning 18003 clauses out of 36019 with flag 2951001/3215961
517.54/515.35	c cleaning 17987 clauses out of 36015 with flag 2969000/3233960
520.55/518.36	c cleaning 17997 clauses out of 36029 with flag 2987001/3251961
523.85/521.65	c cleaning 18013 clauses out of 36032 with flag 3005001/3269961
526.55/524.33	c cleaning 18009 clauses out of 36020 with flag 3023002/3287962
529.66/527.42	c cleaning 17995 clauses out of 36009 with flag 3041000/3305960
532.49/530.24	c cleaning 17994 clauses out of 36014 with flag 3059000/3323960
535.37/533.15	c cleaning 18007 clauses out of 36021 with flag 3077001/3341961
538.37/536.13	c cleaning 18001 clauses out of 36013 with flag 3095000/3359960
541.30/539.02	c cleaning 18004 clauses out of 36013 with flag 3113001/3377961
544.39/542.10	c cleaning 17991 clauses out of 36008 with flag 3131000/3395960
547.19/544.97	c cleaning 18001 clauses out of 36018 with flag 3149001/3413961
550.30/548.03	c cleaning 18001 clauses out of 36016 with flag 3167000/3431960
553.20/550.90	c cleaning 18005 clauses out of 36016 with flag 3185001/3449961
556.11/553.87	c cleaning 18001 clauses out of 36011 with flag 3203001/3467961
559.12/556.83	c cleaning 17994 clauses out of 36010 with flag 3221001/3485961
562.02/559.80	c cleaning 18004 clauses out of 36016 with flag 3239001/3503961
565.34/563.03	c cleaning 18003 clauses out of 36011 with flag 3257000/3521960
568.34/566.05	c cleaning 17998 clauses out of 36008 with flag 3275000/3539960
571.26/568.91	c cleaning 17987 clauses out of 36010 with flag 3293000/3557960
574.27/571.93	c cleaning 17999 clauses out of 36023 with flag 3311000/3575960
577.07/574.78	c cleaning 18004 clauses out of 36025 with flag 3329001/3593961
580.37/578.08	c cleaning 17997 clauses out of 36020 with flag 3347000/3611960
583.47/581.11	c cleaning 18007 clauses out of 36023 with flag 3365000/3629960
586.38/584.05	c cleaning 17997 clauses out of 36016 with flag 3383000/3647960
588.87/586.53	c cleaning 18009 clauses out of 36021 with flag 3401002/3665962
592.00/589.68	c cleaning 17992 clauses out of 36012 with flag 3419002/3683962
595.09/592.71	c cleaning 18000 clauses out of 36018 with flag 3437000/3701960
598.40/596.06	c cleaning 17998 clauses out of 36018 with flag 3455000/3719960
601.71/599.32	c cleaning 18005 clauses out of 36020 with flag 3473000/3737960
605.01/602.67	c cleaning 18000 clauses out of 36016 with flag 3491001/3755961
608.21/605.84	c cleaning 18001 clauses out of 36016 with flag 3509001/3773961
611.32/608.96	c cleaning 18003 clauses out of 36014 with flag 3527000/3791960
614.22/611.88	c cleaning 18001 clauses out of 36012 with flag 3545001/3809961
617.42/615.09	c cleaning 17997 clauses out of 36010 with flag 3563000/3827960
620.73/618.31	c cleaning 18001 clauses out of 36014 with flag 3581001/3845961
624.24/621.86	c cleaning 18000 clauses out of 36013 with flag 3599001/3863961
628.14/625.73	c cleaning 17998 clauses out of 36013 with flag 3617001/3881961
631.24/628.81	c cleaning 17985 clauses out of 36014 with flag 3635000/3899960
634.54/632.15	c cleaning 18011 clauses out of 36030 with flag 3653001/3917961
637.55/635.15	c cleaning 17998 clauses out of 36019 with flag 3671001/3935961
641.16/638.70	c cleaning 18006 clauses out of 36020 with flag 3689000/3953960
644.46/642.05	c cleaning 18002 clauses out of 36014 with flag 3707000/3971960
647.17/644.79	c cleaning 17997 clauses out of 36013 with flag 3725001/3989961
650.29/647.82	c cleaning 17990 clauses out of 36016 with flag 3743001/4007961
653.18/650.76	c cleaning 18001 clauses out of 36026 with flag 3761001/4025961
656.29/653.80	c cleaning 17997 clauses out of 36024 with flag 3779000/4043960
659.10/656.62	c cleaning 18008 clauses out of 36027 with flag 3797000/4061960
662.10/659.65	c cleaning 18008 clauses out of 36021 with flag 3815002/4079962
665.30/662.83	c cleaning 17994 clauses out of 36011 with flag 3833000/4097960
668.70/666.30	c cleaning 17997 clauses out of 36017 with flag 3851000/4115960
672.10/669.66	c cleaning 18007 clauses out of 36020 with flag 3869000/4133960
675.31/672.88	c cleaning 17992 clauses out of 36013 with flag 3887000/4151960
678.81/676.37	c cleaning 18003 clauses out of 36021 with flag 3905000/4169960
682.73/680.27	c cleaning 18008 clauses out of 36018 with flag 3923000/4187960
685.83/683.31	c cleaning 17993 clauses out of 36011 with flag 3941001/4205961
688.74/686.27	c cleaning 17993 clauses out of 36017 with flag 3959000/4223960
692.04/689.54	c cleaning 18005 clauses out of 36024 with flag 3977000/4241960
695.35/692.80	c cleaning 18004 clauses out of 36019 with flag 3995000/4259960
698.45/695.96	c cleaning 18005 clauses out of 36015 with flag 4013000/4277960
701.85/699.36	c cleaning 18000 clauses out of 36011 with flag 4031001/4295961
705.26/702.79	c cleaning 17990 clauses out of 36010 with flag 4049000/4313960
708.46/705.92	c cleaning 18008 clauses out of 36020 with flag 4067000/4331960
711.87/709.31	c cleaning 17999 clauses out of 36013 with flag 4085001/4349961
715.07/712.58	c cleaning 18000 clauses out of 36014 with flag 4103001/4367961
718.37/715.82	c cleaning 17993 clauses out of 36013 with flag 4121000/4385960
721.89/719.38	c cleaning 18005 clauses out of 36020 with flag 4139000/4403960
725.48/722.91	c cleaning 18000 clauses out of 36015 with flag 4157000/4421960
728.29/725.75	c cleaning 17995 clauses out of 36016 with flag 4175001/4439961
731.39/728.81	c cleaning 18004 clauses out of 36020 with flag 4193000/4457960
734.60/732.03	c cleaning 18005 clauses out of 36018 with flag 4211002/4475962
737.10/734.57	c cleaning 17987 clauses out of 36011 with flag 4229000/4493960
739.53/736.94	c cleaning 18004 clauses out of 36024 with flag 4247000/4511960
741.93/739.38	c cleaning 18002 clauses out of 36020 with flag 4265000/4529960
744.54/741.95	c cleaning 17998 clauses out of 36018 with flag 4283000/4547960
747.26/744.66	c cleaning 18004 clauses out of 36021 with flag 4301001/4565961
749.66/747.08	c cleaning 17994 clauses out of 36016 with flag 4319000/4583960
752.57/749.97	c cleaning 17998 clauses out of 36022 with flag 4337000/4601960
755.37/752.78	c cleaning 18001 clauses out of 36024 with flag 4355000/4619960
758.40/755.77	c cleaning 18001 clauses out of 36023 with flag 4373000/4637960
761.40/758.78	c cleaning 18007 clauses out of 36023 with flag 4391001/4655961
764.40/761.71	c cleaning 17999 clauses out of 36016 with flag 4409001/4673961
766.91/764.23	c cleaning 17994 clauses out of 36016 with flag 4427000/4691960
769.91/767.25	c cleaning 18009 clauses out of 36022 with flag 4445000/4709960
773.52/770.84	c cleaning 17995 clauses out of 36013 with flag 4463000/4727960
776.42/773.75	c cleaning 17995 clauses out of 36018 with flag 4481000/4745960
779.63/776.98	c cleaning 17999 clauses out of 36023 with flag 4499000/4763960
782.83/780.19	c cleaning 18005 clauses out of 36025 with flag 4517001/4781961
785.75/783.10	c cleaning 18007 clauses out of 36020 with flag 4535001/4799961
788.98/786.23	c cleaning 17984 clauses out of 36012 with flag 4553000/4817960
791.90/789.12	c cleaning 18004 clauses out of 36028 with flag 4571000/4835960
795.00/792.24	c cleaning 17994 clauses out of 36024 with flag 4589000/4853960
798.01/795.25	c cleaning 18007 clauses out of 36030 with flag 4607000/4871960
801.11/798.38	c cleaning 17991 clauses out of 36024 with flag 4625001/4889961
804.41/801.60	c cleaning 18005 clauses out of 36032 with flag 4643000/4907960
807.61/804.80	c cleaning 18002 clauses out of 36027 with flag 4661000/4925960
810.42/807.61	c cleaning 18008 clauses out of 36025 with flag 4679000/4943960
813.32/810.55	c cleaning 17995 clauses out of 36017 with flag 4697000/4961960
815.92/813.18	c cleaning 18004 clauses out of 36022 with flag 4715000/4979960
818.83/816.08	c cleaning 18001 clauses out of 36018 with flag 4733000/4997960
821.63/818.89	c cleaning 18005 clauses out of 36017 with flag 4751000/5015960
824.55/821.78	c cleaning 18002 clauses out of 36013 with flag 4769001/5033961
827.64/824.86	c cleaning 17989 clauses out of 36010 with flag 4787000/5051960
830.64/827.85	c cleaning 18002 clauses out of 36022 with flag 4805001/5069961
833.55/830.74	c cleaning 17998 clauses out of 36019 with flag 4823000/5087960
836.86/834.06	c cleaning 17999 clauses out of 36022 with flag 4841001/5105961
840.17/837.40	c cleaning 18002 clauses out of 36022 with flag 4859000/5123960
843.29/840.47	c cleaning 18003 clauses out of 36020 with flag 4877000/5141960
845.87/843.04	c cleaning 17993 clauses out of 36018 with flag 4895001/5159961
848.88/846.02	c cleaning 17997 clauses out of 36025 with flag 4913001/5177961
852.18/849.38	c cleaning 17997 clauses out of 36027 with flag 4931000/5195960
855.18/852.31	c cleaning 18009 clauses out of 36032 with flag 4949002/5213962
858.18/855.39	c cleaning 17986 clauses out of 36021 with flag 4967000/5231960
861.69/858.86	c cleaning 18010 clauses out of 36035 with flag 4985000/5249960
864.79/861.99	c cleaning 18005 clauses out of 36025 with flag 5003000/5267960
867.99/865.15	c cleaning 17994 clauses out of 36020 with flag 5021000/5285960
870.99/868.11	c cleaning 18012 clauses out of 36026 with flag 5039000/5303960
873.60/870.79	c cleaning 17989 clauses out of 36014 with flag 5057000/5321960
876.70/873.88	c cleaning 18006 clauses out of 36026 with flag 5075001/5339961
880.21/877.37	c cleaning 18003 clauses out of 36020 with flag 5093001/5357961
883.42/880.55	c cleaning 17986 clauses out of 36016 with flag 5111000/5375960
886.82/883.92	c cleaning 18012 clauses out of 36031 with flag 5129001/5393961
890.64/887.77	c cleaning 17996 clauses out of 36018 with flag 5147000/5411960
893.84/890.92	c cleaning 18002 clauses out of 36022 with flag 5165000/5429960
897.25/894.37	c cleaning 18007 clauses out of 36021 with flag 5183001/5447961
900.15/897.28	c cleaning 17992 clauses out of 36014 with flag 5201001/5465961
903.45/900.57	c cleaning 18002 clauses out of 36021 with flag 5219000/5483960
906.55/903.62	c cleaning 18002 clauses out of 36020 with flag 5237001/5501961
909.56/906.63	c cleaning 17993 clauses out of 36017 with flag 5255000/5519960
912.68/909.73	c cleaning 18006 clauses out of 36026 with flag 5273002/5537962
915.67/912.71	c cleaning 17992 clauses out of 36018 with flag 5291000/5555960
918.88/915.96	c cleaning 18002 clauses out of 36027 with flag 5309001/5573961
921.78/918.86	c cleaning 17996 clauses out of 36024 with flag 5327000/5591960
924.70/921.74	c cleaning 18007 clauses out of 36029 with flag 5345001/5609961
927.70/924.76	c cleaning 18004 clauses out of 36021 with flag 5363000/5627960
931.00/928.05	c cleaning 17998 clauses out of 36017 with flag 5381000/5645960
933.91/930.91	c cleaning 17990 clauses out of 36019 with flag 5399000/5663960
937.21/934.25	c cleaning 18006 clauses out of 36029 with flag 5417000/5681960
940.14/937.21	c cleaning 18007 clauses out of 36023 with flag 5435000/5699960
943.02/940.04	c cleaning 17997 clauses out of 36016 with flag 5453000/5717960
946.03/943.07	c cleaning 18006 clauses out of 36020 with flag 5471001/5735961
948.95/945.93	c cleaning 17996 clauses out of 36013 with flag 5489000/5753960
952.04/949.04	c cleaning 18006 clauses out of 36017 with flag 5507000/5771960
955.05/952.00	c cleaning 18000 clauses out of 36011 with flag 5525000/5789960
958.15/955.13	c cleaning 17997 clauses out of 36012 with flag 5543001/5807961
961.36/958.35	c cleaning 17995 clauses out of 36014 with flag 5561000/5825960
964.26/961.29	c cleaning 17997 clauses out of 36020 with flag 5579001/5843961
967.46/964.47	c cleaning 18002 clauses out of 36023 with flag 5597001/5861961
970.77/967.75	c cleaning 17995 clauses out of 36020 with flag 5615000/5879960
973.77/970.78	c cleaning 18001 clauses out of 36025 with flag 5633000/5897960
977.07/974.02	c cleaning 18006 clauses out of 36024 with flag 5651000/5915960
980.07/977.10	c cleaning 17997 clauses out of 36018 with flag 5669000/5933960
983.68/980.64	c cleaning 18004 clauses out of 36022 with flag 5687001/5951961
986.98/983.92	c cleaning 17986 clauses out of 36017 with flag 5705000/5969960
989.88/986.81	c cleaning 18008 clauses out of 36031 with flag 5723000/5987960
992.79/989.77	c cleaning 17997 clauses out of 36023 with flag 5741000/6005960
995.69/992.60	c cleaning 18005 clauses out of 36027 with flag 5759001/6023961
998.50/995.44	c cleaning 18001 clauses out of 36021 with flag 5777000/6041960
1001.31/998.23	c cleaning 18000 clauses out of 36021 with flag 5795001/6059961
1004.02/1000.97	c cleaning 18003 clauses out of 36020 with flag 5813000/6077960
1007.22/1004.10	c cleaning 18006 clauses out of 36019 with flag 5831002/6095962
1010.22/1007.11	c cleaning 17992 clauses out of 36011 with flag 5849000/6113960
1013.03/1010.00	c cleaning 18000 clauses out of 36019 with flag 5867000/6131960
1016.33/1013.29	c cleaning 17997 clauses out of 36019 with flag 5885000/6149960
1019.63/1016.58	c cleaning 18003 clauses out of 36022 with flag 5903000/6167960
1022.75/1019.68	c cleaning 18002 clauses out of 36019 with flag 5921000/6185960
1025.65/1022.55	c cleaning 18000 clauses out of 36017 with flag 5939000/6203960
1028.65/1025.50	c cleaning 18004 clauses out of 36017 with flag 5957000/6221960
1031.36/1028.23	c cleaning 17987 clauses out of 36013 with flag 5975000/6239960
1034.36/1031.24	c cleaning 18011 clauses out of 36027 with flag 5993001/6257961
1037.26/1034.16	c cleaning 18003 clauses out of 36015 with flag 6011000/6275960
1040.26/1037.15	c cleaning 18001 clauses out of 36012 with flag 6029000/6293960
1043.27/1040.10	c cleaning 17992 clauses out of 36011 with flag 6047000/6311960
1046.07/1042.92	c cleaning 18003 clauses out of 36019 with flag 6065000/6329960
1049.08/1045.91	c cleaning 17998 clauses out of 36016 with flag 6083000/6347960
1052.28/1049.14	c cleaning 17996 clauses out of 36018 with flag 6101000/6365960
1055.38/1052.25	c cleaning 18008 clauses out of 36022 with flag 6119000/6383960
1058.59/1055.42	c cleaning 18001 clauses out of 36014 with flag 6137000/6401960
1061.59/1058.42	c cleaning 17998 clauses out of 36013 with flag 6155000/6419960
1065.00/1061.80	c cleaning 17996 clauses out of 36015 with flag 6173000/6437960
1068.21/1065.01	c cleaning 18000 clauses out of 36019 with flag 6191000/6455960
1071.32/1068.17	c cleaning 17996 clauses out of 36019 with flag 6209000/6473960
1074.52/1071.37	c cleaning 18004 clauses out of 36024 with flag 6227001/6491961
1078.22/1075.01	c cleaning 18006 clauses out of 36020 with flag 6245001/6509961
1081.62/1078.42	c cleaning 18001 clauses out of 36013 with flag 6263000/6527960
1085.23/1082.05	c cleaning 17992 clauses out of 36012 with flag 6281000/6545960
1088.73/1085.54	c cleaning 18006 clauses out of 36020 with flag 6299000/6563960
1092.53/1089.38	c cleaning 17997 clauses out of 36014 with flag 6317000/6581960
1096.65/1093.43	c cleaning 18008 clauses out of 36018 with flag 6335001/6599961
1101.05/1097.83	c cleaning 18004 clauses out of 36009 with flag 6353000/6617960
1104.44/1101.22	c cleaning 17976 clauses out of 36005 with flag 6371000/6635960
1107.55/1104.35	c cleaning 17996 clauses out of 36029 with flag 6389000/6653960
1110.45/1107.28	c cleaning 18008 clauses out of 36034 with flag 6407001/6671961
1113.76/1110.57	c cleaning 18004 clauses out of 36025 with flag 6425000/6689960
1116.86/1113.68	c cleaning 17998 clauses out of 36021 with flag 6443000/6707960
1120.06/1116.81	c cleaning 18003 clauses out of 36024 with flag 6461001/6725961
1121.67/1118.41	c Got one! Elapsed wall clock time (in seconds):1118.3
1121.67/1118.41	o -27
1122.37/1119.10	c cleaning 18350 clauses out of 36704 with flag 5000/6744644
1123.10/1119.87	c cleaning 12166 clauses out of 24354 with flag 11000/6750644
1123.99/1120.73	c cleaning 9571 clauses out of 19188 with flag 18000/6757644
1124.99/1121.71	c cleaning 8802 clauses out of 17617 with flag 26000/6765644
1126.10/1122.82	c cleaning 8902 clauses out of 17815 with flag 35000/6774644
1127.30/1124.09	c cleaning 9455 clauses out of 18913 with flag 45000/6784644
1128.70/1125.45	c cleaning 10224 clauses out of 20458 with flag 56000/6795644
1130.41/1127.13	c cleaning 11114 clauses out of 22234 with flag 68000/6807644
1132.41/1129.11	c cleaning 12056 clauses out of 24121 with flag 81001/6820645
1134.42/1131.13	c cleaning 13028 clauses out of 26064 with flag 95000/6834644
1136.62/1133.35	c cleaning 14014 clauses out of 28037 with flag 110001/6849645
1139.22/1135.95	c cleaning 14998 clauses out of 30022 with flag 126000/6865644
1141.75/1138.43	c cleaning 16006 clauses out of 32024 with flag 143000/6882644
1144.84/1141.52	c cleaning 17009 clauses out of 34020 with flag 161002/6900646
1147.75/1144.44	c cleaning 17501 clauses out of 35009 with flag 179000/6918644
1150.46/1147.11	c cleaning 17748 clauses out of 35509 with flag 197001/6936645
1153.17/1149.83	c cleaning 17876 clauses out of 35760 with flag 215000/6954644
1156.09/1152.71	c cleaning 17922 clauses out of 35884 with flag 233000/6972644
1159.29/1156.01	c cleaning 17979 clauses out of 35962 with flag 251000/6990644
1162.40/1159.09	c cleaning 17985 clauses out of 35983 with flag 269000/7008644
1165.70/1162.35	c cleaning 17998 clauses out of 35998 with flag 287000/7026644
1168.41/1165.10	c cleaning 17990 clauses out of 36000 with flag 305000/7044644
1171.52/1168.11	c cleaning 18001 clauses out of 36010 with flag 323000/7062644
1174.42/1171.03	c cleaning 17994 clauses out of 36009 with flag 341000/7080644
1177.42/1174.09	c cleaning 17996 clauses out of 36015 with flag 359000/7098644
1180.45/1177.05	c cleaning 18001 clauses out of 36019 with flag 377000/7116644
1183.24/1179.82	c cleaning 18006 clauses out of 36019 with flag 395001/7134645
1186.35/1183.00	c cleaning 18006 clauses out of 36012 with flag 413000/7152644
1189.45/1186.03	c cleaning 17994 clauses out of 36007 with flag 431001/7170645
1192.26/1188.81	c cleaning 18000 clauses out of 36013 with flag 449001/7188645
1195.36/1191.93	c cleaning 18007 clauses out of 36013 with flag 467001/7206645
1198.57/1195.13	c cleaning 18002 clauses out of 36005 with flag 485000/7224644
1201.77/1198.35	c cleaning 17994 clauses out of 36003 with flag 503000/7242644
1204.97/1201.57	c cleaning 18001 clauses out of 36009 with flag 521000/7260644
1208.48/1205.03	c cleaning 18001 clauses out of 36008 with flag 539000/7278644
1212.19/1208.70	c cleaning 17992 clauses out of 36007 with flag 557000/7296644
1215.62/1212.15	c cleaning 18006 clauses out of 36015 with flag 575000/7314644
1219.21/1215.80	c cleaning 17996 clauses out of 36010 with flag 593001/7332645
1222.82/1219.35	c cleaning 17996 clauses out of 36014 with flag 611001/7350645
1226.63/1223.14	c cleaning 18009 clauses out of 36017 with flag 629000/7368644
1229.72/1226.23	c cleaning 17998 clauses out of 36008 with flag 647000/7386644
1232.24/1228.72	c cleaning 17997 clauses out of 36010 with flag 665000/7404644
1235.03/1231.53	c cleaning 17995 clauses out of 36013 with flag 683000/7422644
1237.83/1234.33	c cleaning 17995 clauses out of 36018 with flag 701000/7440644
1240.63/1237.12	c cleaning 18003 clauses out of 36023 with flag 719000/7458644
1243.43/1239.96	c cleaning 18008 clauses out of 36021 with flag 737001/7476645
1246.24/1242.78	c cleaning 18002 clauses out of 36013 with flag 755001/7494645
1249.35/1245.80	c cleaning 18000 clauses out of 36010 with flag 773000/7512644
1252.46/1248.98	c cleaning 17998 clauses out of 36012 with flag 791002/7530646
1255.76/1252.25	c cleaning 18002 clauses out of 36012 with flag 809000/7548644
1258.86/1255.37	c cleaning 17993 clauses out of 36010 with flag 827000/7566644
1262.27/1258.74	c cleaning 18005 clauses out of 36017 with flag 845000/7584644
1265.77/1262.26	c cleaning 18001 clauses out of 36012 with flag 863000/7602644
1268.87/1265.37	c cleaning 17997 clauses out of 36011 with flag 881000/7620644
1271.78/1268.22	c cleaning 17998 clauses out of 36015 with flag 899001/7638645
1274.78/1271.24	c cleaning 17997 clauses out of 36017 with flag 917001/7656645
1277.69/1274.13	c cleaning 17995 clauses out of 36019 with flag 935000/7674644
1280.89/1277.34	c cleaning 18011 clauses out of 36024 with flag 953000/7692644
1284.09/1280.53	c cleaning 17997 clauses out of 36013 with flag 971000/7710644
1287.09/1283.61	c cleaning 18001 clauses out of 36016 with flag 989000/7728644
1289.79/1286.30	c cleaning 17988 clauses out of 36015 with flag 1007000/7746644
1293.00/1289.46	c cleaning 18005 clauses out of 36027 with flag 1025000/7764644
1295.91/1292.32	c cleaning 17993 clauses out of 36022 with flag 1043000/7782644
1299.11/1295.53	c cleaning 18008 clauses out of 36029 with flag 1061000/7800644
1302.22/1298.61	c cleaning 18007 clauses out of 36022 with flag 1079001/7818645
1305.02/1301.43	c cleaning 17991 clauses out of 36016 with flag 1097002/7836646
1307.83/1304.24	c cleaning 17999 clauses out of 36024 with flag 1115001/7854645
1310.93/1307.30	c cleaning 17999 clauses out of 36024 with flag 1133000/7872644
1313.75/1310.16	c cleaning 18000 clauses out of 36025 with flag 1151000/7890644
1316.64/1313.07	c cleaning 17993 clauses out of 36025 with flag 1169000/7908644
1319.74/1316.10	c cleaning 18010 clauses out of 36033 with flag 1187001/7926645
1322.84/1319.25	c cleaning 17999 clauses out of 36022 with flag 1205000/7944644
1326.05/1322.46	c cleaning 18002 clauses out of 36023 with flag 1223000/7962644
1328.95/1325.34	c cleaning 18000 clauses out of 36021 with flag 1241000/7980644
1331.75/1328.17	c cleaning 17999 clauses out of 36021 with flag 1259000/7998644
1334.86/1331.29	c cleaning 18005 clauses out of 36022 with flag 1277000/8016644
1337.98/1334.33	c cleaning 17996 clauses out of 36017 with flag 1295000/8034644
1340.96/1337.36	c cleaning 18005 clauses out of 36021 with flag 1313000/8052644
1344.06/1340.42	c cleaning 18000 clauses out of 36016 with flag 1331000/8070644
1346.86/1343.22	c cleaning 18001 clauses out of 36016 with flag 1349000/8088644
1349.98/1346.32	c cleaning 18003 clauses out of 36015 with flag 1367000/8106644
1352.97/1349.38	c cleaning 17992 clauses out of 36012 with flag 1385000/8124644
1356.27/1352.68	c cleaning 17998 clauses out of 36021 with flag 1403001/8142645
1359.78/1356.16	c cleaning 17994 clauses out of 36023 with flag 1421001/8160645
1362.88/1359.29	c cleaning 18006 clauses out of 36028 with flag 1439000/8178644
1365.98/1362.34	c cleaning 17999 clauses out of 36022 with flag 1457000/8196644
1368.99/1365.37	c cleaning 18004 clauses out of 36023 with flag 1475000/8214644
1372.00/1368.39	c cleaning 18003 clauses out of 36019 with flag 1493000/8232644
1374.90/1371.24	c cleaning 17997 clauses out of 36016 with flag 1511000/8250644
1377.52/1373.83	c cleaning 17996 clauses out of 36019 with flag 1529000/8268644
1380.11/1376.49	c cleaning 18003 clauses out of 36023 with flag 1547000/8286644
1383.13/1379.47	c cleaning 18001 clauses out of 36020 with flag 1565000/8304644
1386.02/1382.36	c cleaning 17997 clauses out of 36019 with flag 1583000/8322644
1389.12/1385.45	c cleaning 18001 clauses out of 36022 with flag 1601000/8340644
1392.12/1388.42	c cleaning 18007 clauses out of 36022 with flag 1619001/8358645
1395.42/1391.70	c cleaning 17996 clauses out of 36015 with flag 1637001/8376645
1399.13/1395.47	c cleaning 18000 clauses out of 36019 with flag 1655001/8394645
1401.94/1398.28	c cleaning 17984 clauses out of 36018 with flag 1673000/8412644
1404.84/1401.14	c cleaning 18000 clauses out of 36034 with flag 1691000/8430644
1407.95/1404.21	c cleaning 17995 clauses out of 36034 with flag 1709000/8448644
1411.05/1407.30	c cleaning 18015 clauses out of 36040 with flag 1727001/8466645
1413.98/1410.24	c cleaning 18007 clauses out of 36024 with flag 1745000/8484644
1417.07/1413.31	c cleaning 17999 clauses out of 36017 with flag 1763000/8502644
1420.07/1416.38	c cleaning 18002 clauses out of 36018 with flag 1781000/8520644
1423.37/1419.67	c cleaning 18003 clauses out of 36017 with flag 1799001/8538645
1426.88/1423.17	c cleaning 17991 clauses out of 36014 with flag 1817001/8556645
1429.88/1426.10	c cleaning 17998 clauses out of 36023 with flag 1835001/8574645
1432.78/1429.01	c cleaning 17999 clauses out of 36024 with flag 1853000/8592644
1435.69/1431.94	c cleaning 17999 clauses out of 36025 with flag 1871000/8610644
1438.29/1434.57	c cleaning 18006 clauses out of 36026 with flag 1889000/8628644
1441.19/1437.49	c cleaning 18005 clauses out of 36020 with flag 1907000/8646644
1444.09/1440.37	c cleaning 18007 clauses out of 36016 with flag 1925001/8664645
1447.01/1443.27	c cleaning 17998 clauses out of 36009 with flag 1943001/8682645
1450.21/1446.48	c cleaning 17994 clauses out of 36010 with flag 1961000/8700644
1453.21/1449.43	c cleaning 17988 clauses out of 36016 with flag 1979000/8718644
1456.11/1452.30	c cleaning 17997 clauses out of 36028 with flag 1997000/8736644
1459.21/1455.47	c cleaning 18004 clauses out of 36032 with flag 2015001/8754645
1462.33/1458.52	c cleaning 17994 clauses out of 36027 with flag 2033000/8772644
1465.74/1461.99	c cleaning 18001 clauses out of 36033 with flag 2051000/8790644
1468.94/1465.20	c cleaning 18006 clauses out of 36033 with flag 2069001/8808645
1471.94/1468.17	c cleaning 18007 clauses out of 36026 with flag 2087000/8826644
1474.95/1471.11	c cleaning 18004 clauses out of 36020 with flag 2105001/8844645
1477.87/1474.08	c cleaning 17998 clauses out of 36015 with flag 2123000/8862644
1480.95/1477.11	c cleaning 17997 clauses out of 36017 with flag 2141000/8880644
1483.86/1480.05	c cleaning 18005 clauses out of 36021 with flag 2159001/8898645
1486.86/1483.07	c cleaning 17997 clauses out of 36015 with flag 2177000/8916644
1489.76/1486.00	c cleaning 18001 clauses out of 36018 with flag 2195000/8934644
1492.97/1489.11	c cleaning 18000 clauses out of 36017 with flag 2213000/8952644
1495.97/1492.18	c cleaning 17994 clauses out of 36017 with flag 2231000/8970644
1498.57/1494.71	c cleaning 17995 clauses out of 36023 with flag 2249000/8988644
1501.48/1497.60	c cleaning 18004 clauses out of 36028 with flag 2267000/9006644
1504.39/1500.58	c cleaning 18007 clauses out of 36025 with flag 2285001/9024645
1507.39/1503.52	c cleaning 18005 clauses out of 36017 with flag 2303000/9042644
1510.09/1506.27	c cleaning 17998 clauses out of 36012 with flag 2321000/9060644
1513.11/1509.27	c cleaning 17999 clauses out of 36014 with flag 2339000/9078644
1516.30/1512.49	c cleaning 18001 clauses out of 36015 with flag 2357000/9096644
1519.61/1515.78	c cleaning 17999 clauses out of 36014 with flag 2375000/9114644
1522.80/1518.90	c cleaning 18005 clauses out of 36015 with flag 2393000/9132644
1525.51/1521.64	c cleaning 17983 clauses out of 36010 with flag 2411000/9150644
1528.31/1524.46	c cleaning 18005 clauses out of 36027 with flag 2429000/9168644
1531.42/1527.57	c cleaning 17990 clauses out of 36022 with flag 2447000/9186644
1534.62/1530.75	c cleaning 18000 clauses out of 36032 with flag 2465000/9204644
1537.82/1533.95	c cleaning 18009 clauses out of 36032 with flag 2483000/9222644
1541.13/1537.26	c cleaning 18002 clauses out of 36024 with flag 2501001/9240645
1544.33/1540.41	c cleaning 17993 clauses out of 36022 with flag 2519001/9258645
1547.54/1543.61	c cleaning 18012 clauses out of 36029 with flag 2537001/9276645
1550.56/1546.68	c cleaning 17988 clauses out of 36016 with flag 2555000/9294644
1553.65/1549.71	c cleaning 18005 clauses out of 36029 with flag 2573001/9312645
1556.55/1552.68	c cleaning 17992 clauses out of 36023 with flag 2591000/9330644
1559.65/1555.77	c cleaning 18008 clauses out of 36032 with flag 2609001/9348645
1562.85/1558.97	c cleaning 18008 clauses out of 36024 with flag 2627001/9366645
1566.15/1562.27	c cleaning 18002 clauses out of 36015 with flag 2645000/9384644
1569.56/1565.66	c cleaning 18003 clauses out of 36013 with flag 2663000/9402644
1573.26/1569.40	c cleaning 17994 clauses out of 36010 with flag 2681000/9420644
1576.36/1572.42	c cleaning 17993 clauses out of 36017 with flag 2699001/9438645
1579.37/1575.46	c cleaning 18009 clauses out of 36023 with flag 2717000/9456644
1582.57/1578.70	c cleaning 17994 clauses out of 36014 with flag 2735000/9474644
1585.79/1581.88	c cleaning 18007 clauses out of 36021 with flag 2753001/9492645
1588.99/1585.03	c cleaning 17994 clauses out of 36013 with flag 2771000/9510644
1592.08/1588.16	c cleaning 17992 clauses out of 36020 with flag 2789001/9528645
1595.38/1591.45	c cleaning 18005 clauses out of 36028 with flag 2807001/9546645
1598.59/1594.62	c cleaning 17997 clauses out of 36022 with flag 2825000/9564644
1601.99/1598.01	c cleaning 18005 clauses out of 36026 with flag 2843001/9582645
1605.50/1601.56	c cleaning 17992 clauses out of 36020 with flag 2861000/9600644
1608.50/1604.56	c cleaning 18007 clauses out of 36028 with flag 2879000/9618644
1611.41/1607.48	c cleaning 17983 clauses out of 36021 with flag 2897000/9636644
1614.33/1610.34	c cleaning 18011 clauses out of 36040 with flag 2915002/9654646
1617.32/1613.30	c cleaning 18000 clauses out of 36027 with flag 2933000/9672644
1620.42/1616.46	c cleaning 17993 clauses out of 36027 with flag 2951000/9690644
1624.03/1620.02	c cleaning 18005 clauses out of 36034 with flag 2969000/9708644
1627.04/1623.09	c cleaning 18002 clauses out of 36031 with flag 2987002/9726646
1630.34/1626.33	c cleaning 17987 clauses out of 36027 with flag 3005000/9744644
1633.44/1629.48	c cleaning 18015 clauses out of 36040 with flag 3023000/9762644
1636.74/1632.73	c cleaning 17996 clauses out of 36025 with flag 3041000/9780644
1639.85/1635.81	c cleaning 18010 clauses out of 36029 with flag 3059000/9798644
1642.87/1638.88	c cleaning 17996 clauses out of 36020 with flag 3077001/9816645
1646.18/1642.12	c cleaning 18003 clauses out of 36023 with flag 3095000/9834644
1649.38/1645.39	c cleaning 17994 clauses out of 36020 with flag 3113000/9852644
1652.58/1648.57	c cleaning 17996 clauses out of 36027 with flag 3131001/9870645
1655.79/1651.74	c cleaning 18002 clauses out of 36030 with flag 3149000/9888644
1658.69/1654.70	c cleaning 17998 clauses out of 36028 with flag 3167000/9906644
1661.71/1657.62	c cleaning 18004 clauses out of 36030 with flag 3185000/9924644
1664.60/1660.57	c cleaning 17997 clauses out of 36026 with flag 3203000/9942644
1667.70/1663.66	c cleaning 18007 clauses out of 36029 with flag 3221000/9960644
1671.11/1667.07	c cleaning 17999 clauses out of 36022 with flag 3239000/9978644
1674.21/1670.15	c cleaning 18007 clauses out of 36024 with flag 3257001/9996645
1677.02/1672.93	c cleaning 17999 clauses out of 36016 with flag 3275000/10014644
1679.82/1675.79	c cleaning 18002 clauses out of 36017 with flag 3293000/10032644
1682.63/1678.60	c cleaning 18000 clauses out of 36017 with flag 3311002/10050646
1685.52/1681.46	c cleaning 18001 clauses out of 36015 with flag 3329000/10068644
1688.52/1684.45	c cleaning 18000 clauses out of 36015 with flag 3347001/10086645
1691.12/1687.08	c cleaning 17979 clauses out of 36015 with flag 3365001/10104645
1693.34/1689.27	c cleaning 18009 clauses out of 36035 with flag 3383000/10122644
1695.87/1691.71	c cleaning 17996 clauses out of 36026 with flag 3401000/10140644
1698.37/1694.25	c cleaning 18009 clauses out of 36030 with flag 3419000/10158644
1701.28/1697.14	c cleaning 17997 clauses out of 36021 with flag 3437000/10176644
1703.78/1699.62	c cleaning 17995 clauses out of 36024 with flag 3455000/10194644
1706.78/1702.65	c cleaning 18007 clauses out of 36029 with flag 3473000/10212644
1709.79/1705.65	c cleaning 18005 clauses out of 36022 with flag 3491000/10230644
1712.79/1708.62	c cleaning 18000 clauses out of 36017 with flag 3509000/10248644
1715.89/1711.70	c cleaning 18001 clauses out of 36018 with flag 3527001/10266645
1718.80/1714.67	c cleaning 17998 clauses out of 36016 with flag 3545000/10284644
1721.32/1717.14	c cleaning 17992 clauses out of 36018 with flag 3563000/10302644
1724.01/1719.89	c cleaning 18007 clauses out of 36027 with flag 3581001/10320645
1727.12/1722.93	c cleaning 17989 clauses out of 36020 with flag 3599001/10338645
1730.32/1726.15	c cleaning 18011 clauses out of 36030 with flag 3617000/10356644
1733.12/1728.90	c cleaning 17996 clauses out of 36019 with flag 3635000/10374644
1736.03/1731.86	c cleaning 17993 clauses out of 36023 with flag 3653000/10392644
1738.95/1734.74	c cleaning 18004 clauses out of 36031 with flag 3671001/10410645
1741.83/1737.64	c cleaning 17992 clauses out of 36026 with flag 3689000/10428644
1744.64/1740.48	c cleaning 18005 clauses out of 36034 with flag 3707000/10446644
1747.65/1743.47	c cleaning 18000 clauses out of 36029 with flag 3725000/10464644
1750.64/1746.50	c cleaning 18002 clauses out of 36030 with flag 3743001/10482645
1753.95/1749.70	c cleaning 17998 clauses out of 36027 with flag 3761000/10500644
1757.56/1753.38	c cleaning 18000 clauses out of 36029 with flag 3779000/10518644
1760.65/1756.46	c cleaning 18000 clauses out of 36029 with flag 3797000/10536644
1763.65/1759.40	c cleaning 18006 clauses out of 36029 with flag 3815000/10554644
1766.66/1762.49	c cleaning 18000 clauses out of 36023 with flag 3833000/10572644
1769.77/1765.56	c cleaning 18003 clauses out of 36023 with flag 3851000/10590644
1772.76/1768.56	c cleaning 18007 clauses out of 36021 with flag 3869001/10608645
1776.06/1771.88	c cleaning 18003 clauses out of 36014 with flag 3887001/10626645
1779.17/1774.91	c cleaning 17991 clauses out of 36010 with flag 3905000/10644644
1782.27/1778.06	c cleaning 17993 clauses out of 36019 with flag 3923000/10662644
1785.47/1781.21	c cleaning 18002 clauses out of 36027 with flag 3941001/10680645
1788.68/1784.46	c cleaning 17995 clauses out of 36024 with flag 3959000/10698644
1791.98/1787.70	c cleaning 18004 clauses out of 36030 with flag 3977001/10716645
1795.10/1790.88	c cleaning 18008 clauses out of 36025 with flag 3995000/10734644
1798.31/1794.09	c cleaning 18004 clauses out of 36018 with flag 4013001/10752645
1800.01/1795.72	c starts		: 329
1800.01/1795.72	c conflicts		: 10762607
1800.01/1795.72	c decisions		: 11384623
1800.01/1795.72	c propagations		: 65024587
1800.01/1795.72	c inspects		: 9241520997
1800.01/1795.72	c shortcuts		: 0
1800.01/1795.72	c learnt literals	: 0
1800.01/1795.72	c learnt binary clauses	: 0
1800.01/1795.72	c learnt ternary clauses	: 0
1800.01/1795.72	c learnt constraints	: 10762608
1800.01/1795.72	c ignored constraints	: 0
1800.01/1795.72	c root simplifications	: 0
1800.01/1795.72	c removed literals (reason simplification)	: 168942414
1800.01/1795.72	c reason swapping (by a shorter reason)	: 0
1800.01/1795.72	c Calls to reduceDB	: 613
1800.01/1795.72	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.72	c number of learned constraints concerned by reduction	: 0
1800.01/1795.72	c number of learning phase by resolution	: 0
1800.01/1795.72	c number of learning phase by cutting planes	: 0
1800.01/1795.72	c speed (assignments/second)	: 96003.77225891131
1800.01/1795.72	c non guided choices	0
1800.01/1795.74	c learnt constraints type 
1800.01/1795.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28098
1800.01/1795.75	c constraints type 
1800.01/1795.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/1795.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17794
1800.01/1795.75	s SATISFIABLE
1800.01/1795.75	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 
1800.01/1795.75	c objective function=-27
1800.01/1795.75	c Total wall clock time (in seconds): 1795.64

Verifier Data 

OK	-27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3459557-1307148193/watcher-3459557-1307148193 -o /tmp/evaluation-result-3459557-1307148193/solver-3459557-1307148193 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459557-1307148193.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.87 1.99 1.99 2/456 21135
/proc/meminfo: memFree=24571824/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 4519 0 1 0 0 0 0 0 25 0 2 0 807235265 13850947584 4220 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3381579 4233 917 9 0 3372735 0
[pid=21135/tid=21136] ppid=21133 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 6331 0 1 0 0 0 0 0 18 0 2 0 807235265 13850947584 7146 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.041409 s]
/proc/loadavg: 1.87 1.99 1.99 2/456 21135
/proc/meminfo: memFree=24571824/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 13655 0 1 0 2 1 0 0 25 0 13 0 807235265 13874667520 13351 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3387370 13351 1653 9 0 3378118 0
[pid=21135/tid=21136] ppid=21133 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 12509 0 1 0 2 1 0 0 18 0 13 0 807235265 13874667520 13352 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 47376531632899 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480

[startup+0.100365 s]
/proc/loadavg: 1.87 1.99 1.99 2/456 21135
/proc/meminfo: memFree=24571824/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13621864 CPUtime=0.11 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 15529 0 1 0 9 2 0 0 25 0 18 0 807235265 13948788736 15225 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3405466 15226 2092 9 0 3396200 0
[pid=21135/tid=21136] ppid=21133 vsize=13621864 CPUtime=0.08 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 13664 0 1 0 7 1 0 0 18 0 18 0 807235265 13948788736 15226 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621864

[startup+0.305458 s]
/proc/loadavg: 1.87 1.99 1.99 2/456 21135
/proc/meminfo: memFree=24571824/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13624536 CPUtime=0.56 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 19174 0 1 0 54 2 0 0 25 0 18 0 807235265 13951524864 18561 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3406134 18562 2200 9 0 3396868 0
[pid=21135/tid=21136] ppid=21133 vsize=13624536 CPUtime=0.32 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 16171 0 1 0 30 2 0 0 18 0 18 0 807235265 13951524864 18563 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505586755 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13624536

[startup+0.700303 s]
/proc/loadavg: 1.87 1.99 1.99 2/456 21135
/proc/meminfo: memFree=24571824/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13629788 CPUtime=1.22 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 27291 0 1 0 119 3 0 0 25 0 19 0 807235265 13956902912 25683 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407447 25683 2230 9 0 3398181 0
[pid=21135/tid=21136] ppid=21133 vsize=13629788 CPUtime=0.68 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 22214 0 1 0 66 2 0 0 19 0 19 0 807235265 13956902912 25683 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 47376536128339 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13629788

[startup+1.50114 s]
/proc/loadavg: 1.87 1.99 1.99 3/492 21171
/proc/meminfo: memFree=24413632/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13629788 CPUtime=2.11 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 32687 0 1 0 207 4 0 0 25 0 19 0 807235265 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407447 31073 2261 9 0 3398181 0
[pid=21135/tid=21136] ppid=21133 vsize=13629788 CPUtime=1.46 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 24180 0 1 0 143 3 0 0 20 0 19 0 807235265 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505707120 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21135/tid=21149] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19226 0 -1 4202560 861 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21150] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19226 0 -1 4202560 852 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21151] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21152] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21153] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21154] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807235267 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13629788 CPUtime=0.01 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 1695 0 0 0 1 0 0 0 17 0 19 0 807235268 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13629788 CPUtime=0.3 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1233 0 0 0 30 0 0 0 16 0 19 0 807235271 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13629788 CPUtime=0.3 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 2710 0 0 0 30 0 0 0 16 0 19 0 807235271 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21168] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21168/stat : 21168 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807235271 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21169] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807235271 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21171] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21171/stat : 21171 (java) S 21133 21135 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807235307 13956902912 31073 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 13629788

[startup+3.10081 s]
/proc/loadavg: 1.87 1.99 1.99 3/492 21171
/proc/meminfo: memFree=24365988/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13629788 CPUtime=3.81 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 39472 0 1 0 376 5 0 0 25 0 19 0 807235265 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407447 37372 2262 9 0 3398181 0
[pid=21135/tid=21136] ppid=21133 vsize=13629788 CPUtime=2.98 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 24183 0 1 0 295 3 0 0 25 0 19 0 807235265 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505707162 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21135/tid=21149] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19226 0 -1 4202560 863 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21150] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19226 0 -1 4202560 852 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21151] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19226 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21152] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19226 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21153] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19226 0 -1 4202560 897 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21154] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 592 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 1362 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 604 0 0 0 0 0 0 0 15 0 19 0 807235267 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13629788 CPUtime=0.07 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 4040 0 0 0 7 0 0 0 15 0 19 0 807235268 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13629788 CPUtime=0.33 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1237 0 0 0 33 0 0 0 16 0 19 0 807235271 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13629788 CPUtime=0.36 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 3371 0 0 0 36 0 0 0 15 0 19 0 807235271 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21168] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21168/stat : 21168 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807235271 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21169] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807235271 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21171] ppid=21133 vsize=13629788 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21171/stat : 21171 (java) S 21133 21135 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807235307 13956902912 37372 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13629788

[startup+6.30126 s]
/proc/loadavg: 1.88 1.99 1.99 3/492 21171
/proc/meminfo: memFree=24321596/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13628084 CPUtime=7.02 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 42125 0 1 0 697 5 0 0 25 0 19 0 807235265 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407021 39638 2262 9 0 3397755 0
[pid=21135/tid=21136] ppid=21133 vsize=13628084 CPUtime=6.07 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 24188 0 1 0 604 3 0 0 25 0 19 0 807235265 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505773724 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21135/tid=21149] ppid=21133 vsize=13628084 CPUtime=0.01 cores=1,3,5,7
/proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19226 0 -1 4202560 1064 0 0 0 1 0 0 0 15 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21150] ppid=21133 vsize=13628084 CPUtime=0.01 cores=1,3,5,7
/proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19226 0 -1 4202560 996 0 0 0 1 0 0 0 16 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21151] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19226 0 -1 4202560 615 0 0 0 0 0 0 0 15 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21152] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19226 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21153] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19226 0 -1 4202560 1285 0 0 0 0 0 0 0 16 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21154] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 592 0 0 0 0 0 0 0 15 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 1390 0 0 0 0 0 0 0 15 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 604 0 0 0 0 0 0 0 15 0 19 0 807235267 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13628084 CPUtime=0.16 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 5513 0 0 0 16 0 0 0 15 0 19 0 807235268 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13628084 CPUtime=0.33 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1237 0 0 0 33 0 0 0 16 0 19 0 807235271 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13628084 CPUtime=0.36 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 3371 0 0 0 36 0 0 0 15 0 19 0 807235271 13955158016 39638 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0

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

[pid=21135/tid=21154] ppid=21133 vsize=13628084 CPUtime=0.63 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 1513 0 0 0 62 1 0 0 15 0 19 0 807235267 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13628084 CPUtime=0.69 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 2913 0 0 0 69 0 0 0 15 0 19 0 807235267 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13628084 CPUtime=0.61 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 1935 0 0 0 61 0 0 0 15 0 19 0 807235267 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13628084 CPUtime=20.28 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 15088 0 0 0 2021 7 0 0 15 0 19 0 807235268 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 3 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13628084 CPUtime=0.33 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1237 0 0 0 33 0 0 0 16 0 19 0 807235271 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13628084 CPUtime=0.38 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 3901 0 0 0 38 0 0 0 15 0 19 0 807235271 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21168] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21168/stat : 21168 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807235271 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21169] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19226 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 807235271 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21171] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21171/stat : 21171 (java) S 21133 21135 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807235307 13955158016 58120 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.52
Current children cumulated vsize (KiB) 13628084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/492 21228
/proc/meminfo: memFree=24203340/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13628084 CPUtime=1786.58 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 61869 0 1 0 178637 21 0 0 25 0 19 0 807235265 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407021 58122 2263 9 0 3397755 0
[pid=21135/tid=21136] ppid=21133 vsize=13628084 CPUtime=1759.32 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 24788 0 1 0 175928 4 0 0 25 0 19 0 807235265 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505773679 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21135/tid=21149] ppid=21133 vsize=13628084 CPUtime=0.71 cores=1,3,5,7
/proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19226 0 -1 4202560 1717 0 0 0 70 1 0 0 15 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21150] ppid=21133 vsize=13628084 CPUtime=0.67 cores=1,3,5,7
/proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19226 0 -1 4202560 2015 0 0 0 67 0 0 0 16 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21151] ppid=21133 vsize=13628084 CPUtime=0.64 cores=1,3,5,7
/proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19226 0 -1 4202560 1477 0 0 0 63 1 0 0 15 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21152] ppid=21133 vsize=13628084 CPUtime=0.69 cores=1,3,5,7
/proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19226 0 -1 4202560 1281 0 0 0 68 1 0 0 16 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21153] ppid=21133 vsize=13628084 CPUtime=0.74 cores=1,3,5,7
/proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19226 0 -1 4202560 2753 0 0 0 73 1 0 0 15 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21154] ppid=21133 vsize=13628084 CPUtime=0.64 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 1513 0 0 0 63 1 0 0 15 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13628084 CPUtime=0.71 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 2913 0 0 0 71 0 0 0 15 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13628084 CPUtime=0.62 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 1935 0 0 0 62 0 0 0 15 0 19 0 807235267 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13628084 CPUtime=21.01 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 15090 0 0 0 2094 7 0 0 15 0 19 0 807235268 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 3 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13628084 CPUtime=0.33 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1237 0 0 0 33 0 0 0 16 0 19 0 807235271 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13628084 CPUtime=0.38 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 3901 0 0 0 38 0 0 0 15 0 19 0 807235271 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21168] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21168/stat : 21168 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807235271 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21169] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19226 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 807235271 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21171] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21171/stat : 21171 (java) S 21133 21135 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807235307 13955158016 58122 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (KiB) 13628084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/492 21228
/proc/meminfo: memFree=24203580/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13628084 CPUtime=1800.01 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 61892 0 1 0 179980 21 0 0 25 0 19 0 807235265 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407021 58137 2263 9 0 3397755 0
[pid=21135/tid=21136] ppid=21133 vsize=13628084 CPUtime=1772.58 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 24792 0 1 0 177254 4 0 0 25 0 19 0 807235265 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505707052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21135/tid=21149] ppid=21133 vsize=13628084 CPUtime=0.71 cores=1,3,5,7
/proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19226 0 -1 4202560 1717 0 0 0 70 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21150] ppid=21133 vsize=13628084 CPUtime=0.68 cores=1,3,5,7
/proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19226 0 -1 4202560 2015 0 0 0 68 0 0 0 16 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21151] ppid=21133 vsize=13628084 CPUtime=0.64 cores=1,3,5,7
/proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19226 0 -1 4202560 1477 0 0 0 63 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21152] ppid=21133 vsize=13628084 CPUtime=0.7 cores=1,3,5,7
/proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19226 0 -1 4202560 1281 0 0 0 69 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21153] ppid=21133 vsize=13628084 CPUtime=0.74 cores=1,3,5,7
/proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19226 0 -1 4202560 2753 0 0 0 73 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21154] ppid=21133 vsize=13628084 CPUtime=0.65 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 1528 0 0 0 64 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13628084 CPUtime=0.72 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 2913 0 0 0 72 0 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13628084 CPUtime=0.62 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 1935 0 0 0 62 0 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13628084 CPUtime=21.15 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 15092 0 0 0 2108 7 0 0 15 0 19 0 807235268 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 3 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13628084 CPUtime=0.33 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1237 0 0 0 33 0 0 0 16 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13628084 CPUtime=0.38 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 3901 0 0 0 38 0 0 0 15 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21168] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21168/stat : 21168 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21169] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19226 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21171] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21171/stat : 21171 (java) S 21133 21135 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807235307 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13628084

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

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

[startup+1795.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/492 21228
/proc/meminfo: memFree=24203580/32951124 swapFree=60476376/67111528
[pid=21135] ppid=21133 vsize=13628084 CPUtime=1800.01 cores=1,3,5,7
/proc/21135/stat : 21135 (java) S 21133 21135 19226 0 -1 4202496 61892 0 1 0 179980 21 0 0 25 0 19 0 807235265 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21135/statm: 3407021 58137 2263 9 0 3397755 0
[pid=21135/tid=21136] ppid=21133 vsize=13628084 CPUtime=1772.58 cores=1,3,5,7
/proc/21135/task/21136/stat : 21136 (java) R 21133 21135 19226 0 -1 4202560 24792 0 1 0 177254 4 0 0 25 0 19 0 807235265 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 46912505707052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21135/tid=21149] ppid=21133 vsize=13628084 CPUtime=0.71 cores=1,3,5,7
/proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19226 0 -1 4202560 1717 0 0 0 70 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21150] ppid=21133 vsize=13628084 CPUtime=0.68 cores=1,3,5,7
/proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19226 0 -1 4202560 2015 0 0 0 68 0 0 0 16 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21151] ppid=21133 vsize=13628084 CPUtime=0.64 cores=1,3,5,7
/proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19226 0 -1 4202560 1477 0 0 0 63 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21152] ppid=21133 vsize=13628084 CPUtime=0.7 cores=1,3,5,7
/proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19226 0 -1 4202560 1281 0 0 0 69 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21153] ppid=21133 vsize=13628084 CPUtime=0.74 cores=1,3,5,7
/proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19226 0 -1 4202560 2753 0 0 0 73 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 5 0 0 0
[pid=21135/tid=21154] ppid=21133 vsize=13628084 CPUtime=0.65 cores=1,3,5,7
/proc/21135/task/21154/stat : 21154 (java) S 21133 21135 19226 0 -1 4202560 1528 0 0 0 64 1 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21155] ppid=21133 vsize=13628084 CPUtime=0.72 cores=1,3,5,7
/proc/21135/task/21155/stat : 21155 (java) S 21133 21135 19226 0 -1 4202560 2913 0 0 0 72 0 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21156] ppid=21133 vsize=13628084 CPUtime=0.62 cores=1,3,5,7
/proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19226 0 -1 4202560 1935 0 0 0 62 0 0 0 15 0 19 0 807235267 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21157] ppid=21133 vsize=13628084 CPUtime=21.15 cores=1,3,5,7
/proc/21135/task/21157/stat : 21157 (java) S 21133 21135 19226 0 -1 4202560 15092 0 0 0 2108 7 0 0 15 0 19 0 807235268 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 0 0 16800975 18446604460820781760 0 0 -1 3 0 0 0
[pid=21135/tid=21158] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21158/stat : 21158 (java) S 21133 21135 19226 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21159] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21159/stat : 21159 (java) S 21133 21135 19226 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807235268 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21165] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21165/stat : 21165 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828060081 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21166] ppid=21133 vsize=13628084 CPUtime=0.33 cores=1,3,5,7
/proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19226 0 -1 4202560 1237 0 0 0 33 0 0 0 16 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
[pid=21135/tid=21167] ppid=21133 vsize=13628084 CPUtime=0.38 cores=1,3,5,7
/proc/21135/task/21167/stat : 21167 (java) S 21133 21135 19226 0 -1 4202560 3901 0 0 0 38 0 0 0 15 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21168] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21168/stat : 21168 (java) S 21133 21135 19226 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052377 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21169] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19226 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 807235271 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 1 0 0 0
[pid=21135/tid=21171] ppid=21133 vsize=13628084 CPUtime=0 cores=1,3,5,7
/proc/21135/task/21171/stat : 21171 (java) S 21133 21135 19226 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807235307 13955158016 58137 33554432000 1073741824 1073778376 140734076002400 18446744073709551615 220828052992 0 4 0 16800975 18446604460820781760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13628084

Child status: 143
Real time (s): 1795.77
CPU time (s): 1800.1
CPU user time (s): 1799.88
CPU system time (s): 0.227965
CPU usage (%): 100.241
Max. virtual memory (cumulated for all children) (KiB): 13629788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61938
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= 55149
involuntary context switches= 13905

runsolver used 8.21475 second user time and 18.1792 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 02:43:14
IDJOB=3459557
IDBENCH=2235
IDSOLVER=1952
FILE ID=node147/3459557-1307148193
RUNJOBID= node147-1307146393-20922
PBS_JOBID= 13508769
Free space on /tmp= 73684 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459557-1307148193/watcher-3459557-1307148193 -o /tmp/evaluation-result-3459557-1307148193/solver-3459557-1307148193 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459557-1307148193.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=1061664312

node147.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.836
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.67
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.836
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.75
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.836
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.82
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.836
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.75
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.836
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.836
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.76
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.836
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.82
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.836
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:     32951124 kB
MemFree:      24577172 kB
Buffers:        303636 kB
Cached:        1464444 kB
SwapCached:      11164 kB
Active:        6770268 kB
Inactive:      1344724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24577172 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            1244 kB
Writeback:           4 kB
AnonPages:     6343848 kB
Mapped:          25852 kB
Slab:           132912 kB
PageTables:      58456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134117868 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= 73684 MiB
End job on node147 at 2011-06-04 03:13:11