Trace number 3458337

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)76 1800.07 1797.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
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 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458337-1307159062.opb
0.10/0.11	c reading problem ... 
0.46/0.58	c ... done. Wall clock time 0.353s.
0.46/0.58	c #vars     6816
0.46/0.58	c #constraints  13132
0.46/0.58	c constraints type 
0.46/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6816
0.46/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316
0.46/0.58	c SATISFIABLE
0.46/0.58	c OPTIMIZING...
0.46/0.58	c Got one! Elapsed wall clock time (in seconds):0.47
0.46/0.58	o 85
1.37/0.61	c Got one! Elapsed wall clock time (in seconds):0.497
1.37/0.61	o 84
1.63/0.70	c Got one! Elapsed wall clock time (in seconds):0.591
1.63/0.70	o 82
1.63/0.73	c Got one! Elapsed wall clock time (in seconds):0.621
1.63/0.73	o 81
1.63/0.76	c Got one! Elapsed wall clock time (in seconds):0.656
1.63/0.76	o 79
1.99/1.05	c Got one! Elapsed wall clock time (in seconds):0.941
1.99/1.05	o 78
1.99/1.08	c Got one! Elapsed wall clock time (in seconds):0.966
1.99/1.08	o 77
2.73/1.73	c Got one! Elapsed wall clock time (in seconds):1.621
2.73/1.73	o 76
2.93/1.92	c cleaning 3192 clauses out of 6398 with flag 1002/6398
4.11/3.08	c cleaning 4599 clauses out of 9204 with flag 7000/12396
5.52/4.42	c cleaning 5796 clauses out of 11605 with flag 14000/19396
6.82/5.79	c cleaning 6897 clauses out of 13809 with flag 22000/27396
8.55/7.47	c cleaning 7949 clauses out of 15913 with flag 31001/36397
10.56/9.46	c cleaning 8973 clauses out of 17964 with flag 41001/46397
12.56/11.48	c cleaning 9993 clauses out of 19990 with flag 52000/57396
14.76/13.68	c cleaning 10989 clauses out of 21997 with flag 64000/69396
17.17/16.07	c cleaning 11996 clauses out of 24008 with flag 77000/82396
19.88/18.71	c cleaning 13000 clauses out of 26012 with flag 91000/96396
22.60/21.41	c cleaning 13497 clauses out of 27013 with flag 105001/110397
25.10/23.92	c cleaning 13755 clauses out of 27517 with flag 119002/124398
27.90/26.74	c cleaning 13869 clauses out of 27760 with flag 133000/138396
30.51/29.38	c cleaning 13935 clauses out of 27891 with flag 147000/152396
33.23/32.09	c cleaning 13966 clauses out of 27956 with flag 161000/166396
35.82/34.61	c cleaning 13986 clauses out of 27990 with flag 175000/180396
38.32/37.18	c cleaning 13998 clauses out of 28005 with flag 189001/194397
41.43/40.23	c cleaning 13996 clauses out of 28006 with flag 203000/208396
44.33/43.11	c cleaning 13997 clauses out of 28011 with flag 217001/222397
47.33/46.14	c cleaning 13998 clauses out of 28013 with flag 231000/236396
50.63/49.40	c cleaning 14002 clauses out of 28016 with flag 245001/250397
53.54/52.36	c cleaning 14003 clauses out of 28014 with flag 259001/264397
56.14/54.92	c cleaning 14002 clauses out of 28011 with flag 273001/278397
58.85/57.61	c cleaning 13998 clauses out of 28009 with flag 287001/292397
61.55/60.32	c cleaning 13997 clauses out of 28010 with flag 301000/306396
64.26/63.03	c cleaning 14000 clauses out of 28014 with flag 315001/320397
67.16/66.01	c cleaning 14000 clauses out of 28014 with flag 329001/334397
70.06/68.86	c cleaning 13998 clauses out of 28014 with flag 343001/348397
72.88/71.65	c cleaning 14000 clauses out of 28015 with flag 357000/362396
75.97/74.80	c cleaning 13999 clauses out of 28015 with flag 371000/376396
78.88/77.67	c cleaning 14002 clauses out of 28018 with flag 385002/390398
81.38/80.17	c cleaning 14002 clauses out of 28014 with flag 399000/404396
84.18/82.97	c cleaning 13999 clauses out of 28012 with flag 413000/418396
87.09/85.84	c cleaning 13997 clauses out of 28014 with flag 427001/432397
89.89/88.69	c cleaning 14000 clauses out of 28017 with flag 441001/446397
92.79/91.55	c cleaning 14001 clauses out of 28016 with flag 455000/460396
95.79/94.52	c cleaning 13999 clauses out of 28016 with flag 469001/474397
98.50/97.29	c cleaning 13998 clauses out of 28017 with flag 483001/488397
101.60/100.31	c cleaning 14001 clauses out of 28019 with flag 497001/502397
104.51/103.27	c cleaning 13996 clauses out of 28017 with flag 511000/516396
107.21/105.98	c cleaning 13999 clauses out of 28022 with flag 525001/530397
110.12/108.80	c cleaning 14008 clauses out of 28023 with flag 539001/544397
113.02/111.70	c cleaning 13995 clauses out of 28014 with flag 553000/558396
115.84/114.57	c cleaning 14003 clauses out of 28020 with flag 567001/572397
118.83/117.60	c cleaning 13991 clauses out of 28016 with flag 581000/586396
121.43/120.18	c cleaning 14008 clauses out of 28026 with flag 595001/600397
124.13/122.83	c cleaning 14000 clauses out of 28017 with flag 609000/614396
126.93/125.62	c cleaning 14000 clauses out of 28017 with flag 623000/628396
129.64/128.39	c cleaning 14002 clauses out of 28018 with flag 637001/642397
132.14/130.83	c cleaning 14002 clauses out of 28016 with flag 651001/656397
134.56/133.25	c cleaning 14000 clauses out of 28013 with flag 665000/670396
137.16/135.81	c cleaning 14001 clauses out of 28014 with flag 679001/684397
139.97/138.68	c cleaning 13998 clauses out of 28012 with flag 693000/698396
142.76/141.41	c cleaning 14002 clauses out of 28016 with flag 707002/712398
145.58/144.25	c cleaning 13999 clauses out of 28012 with flag 721000/726396
148.89/147.59	c cleaning 13991 clauses out of 28013 with flag 735000/740396
152.19/150.83	c cleaning 14003 clauses out of 28022 with flag 749000/754396
155.38/154.04	c cleaning 14001 clauses out of 28019 with flag 763000/768396
158.68/157.32	c cleaning 14000 clauses out of 28018 with flag 777000/782396
161.78/160.43	c cleaning 13996 clauses out of 28018 with flag 791000/796396
164.98/163.62	c cleaning 14001 clauses out of 28023 with flag 805001/810397
168.21/166.85	c cleaning 14000 clauses out of 28022 with flag 819001/824397
171.31/169.95	c cleaning 14000 clauses out of 28021 with flag 833000/838396
174.51/173.18	c cleaning 14000 clauses out of 28021 with flag 847000/852396
177.92/176.56	c cleaning 13998 clauses out of 28022 with flag 861001/866397
181.22/179.80	c cleaning 14003 clauses out of 28023 with flag 875000/880396
183.72/182.40	c cleaning 14002 clauses out of 28021 with flag 889001/894397
186.62/185.26	c cleaning 13999 clauses out of 28018 with flag 903000/908396
189.43/188.02	c cleaning 14001 clauses out of 28020 with flag 917001/922397
191.93/190.55	c cleaning 13997 clauses out of 28018 with flag 931000/936396
194.63/193.20	c cleaning 14001 clauses out of 28022 with flag 945001/950397
197.54/196.20	c cleaning 14004 clauses out of 28021 with flag 959001/964397
200.45/199.11	c cleaning 14000 clauses out of 28016 with flag 973000/978396
203.66/202.21	c cleaning 14002 clauses out of 28017 with flag 987001/992397
206.76/205.34	c cleaning 14002 clauses out of 28015 with flag 1001001/1006397
209.66/208.20	c cleaning 13993 clauses out of 28012 with flag 1015000/1020396
212.57/211.12	c cleaning 14001 clauses out of 28019 with flag 1029000/1034396
215.47/214.07	c cleaning 13999 clauses out of 28018 with flag 1043000/1048396
218.29/216.85	c cleaning 14004 clauses out of 28019 with flag 1057000/1062396
221.17/219.71	c cleaning 14000 clauses out of 28016 with flag 1071001/1076397
223.87/222.42	c cleaning 14002 clauses out of 28016 with flag 1085001/1090397
226.78/225.38	c cleaning 13998 clauses out of 28014 with flag 1099001/1104397
229.88/228.40	c cleaning 14002 clauses out of 28016 with flag 1113001/1118397
232.88/231.45	c cleaning 13999 clauses out of 28013 with flag 1127000/1132396
235.98/234.51	c cleaning 13999 clauses out of 28015 with flag 1141001/1146397
238.98/237.58	c cleaning 14001 clauses out of 28015 with flag 1155000/1160396
242.09/240.64	c cleaning 14000 clauses out of 28014 with flag 1169000/1174396
244.89/243.44	c cleaning 14000 clauses out of 28015 with flag 1183001/1188397
247.79/246.32	c cleaning 13999 clauses out of 28014 with flag 1197000/1202396
250.59/249.19	c cleaning 13995 clauses out of 28015 with flag 1211000/1216396
253.51/252.05	c cleaning 14004 clauses out of 28022 with flag 1225002/1230398
256.50/255.00	c cleaning 14001 clauses out of 28016 with flag 1239000/1244396
259.40/257.94	c cleaning 13999 clauses out of 28016 with flag 1253001/1258397
262.21/260.74	c cleaning 13999 clauses out of 28016 with flag 1267000/1272396
265.11/263.64	c cleaning 14000 clauses out of 28017 with flag 1281000/1286396
268.11/266.67	c cleaning 13995 clauses out of 28017 with flag 1295000/1300396
271.02/269.56	c cleaning 14000 clauses out of 28022 with flag 1309000/1314396
273.81/272.39	c cleaning 14008 clauses out of 28023 with flag 1323001/1328397
276.42/274.93	c cleaning 14004 clauses out of 28015 with flag 1337001/1342397
279.22/277.73	c cleaning 14000 clauses out of 28011 with flag 1351001/1356397
281.83/280.35	c cleaning 13994 clauses out of 28010 with flag 1365000/1370396
284.63/283.19	c cleaning 14003 clauses out of 28016 with flag 1379000/1384396
287.74/286.20	c cleaning 13998 clauses out of 28013 with flag 1393000/1398396
291.04/289.56	c cleaning 13996 clauses out of 28015 with flag 1407000/1412396
293.95/292.42	c cleaning 14003 clauses out of 28019 with flag 1421000/1426396
296.85/295.37	c cleaning 13999 clauses out of 28016 with flag 1435000/1440396
299.77/298.24	c cleaning 14002 clauses out of 28018 with flag 1449001/1454397
302.56/301.01	c cleaning 14000 clauses out of 28015 with flag 1463000/1468396
305.36/303.89	c cleaning 14000 clauses out of 28015 with flag 1477000/1482396
308.36/306.80	c cleaning 14001 clauses out of 28015 with flag 1491000/1496396
311.26/309.74	c cleaning 13996 clauses out of 28014 with flag 1505000/1510396
313.97/312.50	c cleaning 14003 clauses out of 28019 with flag 1519001/1524397
316.67/315.16	c cleaning 13994 clauses out of 28015 with flag 1533000/1538396
319.27/317.79	c cleaning 14001 clauses out of 28021 with flag 1547000/1552396
322.08/320.52	c cleaning 13999 clauses out of 28021 with flag 1561001/1566397
324.88/323.38	c cleaning 14000 clauses out of 28022 with flag 1575001/1580397
327.68/326.18	c cleaning 13997 clauses out of 28022 with flag 1589001/1594397
330.49/328.95	c cleaning 14003 clauses out of 28024 with flag 1603000/1608396
333.30/331.77	c cleaning 14002 clauses out of 28022 with flag 1617001/1622397
336.50/334.90	c cleaning 13996 clauses out of 28019 with flag 1631000/1636396
339.70/338.13	c cleaning 14006 clauses out of 28024 with flag 1645001/1650397
343.00/341.42	c cleaning 13998 clauses out of 28017 with flag 1659000/1664396
346.10/344.50	c cleaning 14004 clauses out of 28019 with flag 1673000/1678396
349.10/347.60	c cleaning 13994 clauses out of 28015 with flag 1687000/1692396
352.42/350.80	c cleaning 13996 clauses out of 28021 with flag 1701000/1706396
355.62/354.03	c cleaning 14002 clauses out of 28025 with flag 1715000/1720396
358.83/357.26	c cleaning 13997 clauses out of 28023 with flag 1729000/1734396
362.12/360.52	c cleaning 14000 clauses out of 28026 with flag 1743000/1748396
365.33/363.78	c cleaning 14004 clauses out of 28027 with flag 1757001/1762397
368.53/366.91	c cleaning 14001 clauses out of 28023 with flag 1771001/1776397
371.84/370.24	c cleaning 14005 clauses out of 28021 with flag 1785000/1790396
375.24/373.65	c cleaning 14002 clauses out of 28017 with flag 1799001/1804397
378.84/377.27	c cleaning 14000 clauses out of 28015 with flag 1813001/1818397
382.45/380.80	c cleaning 13995 clauses out of 28014 with flag 1827000/1832396
385.95/384.32	c cleaning 13996 clauses out of 28019 with flag 1841000/1846396
389.45/387.83	c cleaning 14002 clauses out of 28025 with flag 1855002/1860398
392.96/391.31	c cleaning 13999 clauses out of 28022 with flag 1869001/1874397
396.46/394.84	c cleaning 13999 clauses out of 28023 with flag 1883001/1888397
399.87/398.23	c cleaning 13998 clauses out of 28024 with flag 1897001/1902397
403.28/401.69	c cleaning 14005 clauses out of 28025 with flag 1911000/1916396
406.77/405.12	c cleaning 14002 clauses out of 28021 with flag 1925001/1930397
410.07/408.44	c cleaning 13996 clauses out of 28018 with flag 1939000/1944396
413.57/411.94	c cleaning 14003 clauses out of 28023 with flag 1953001/1958397
417.07/415.44	c cleaning 13993 clauses out of 28019 with flag 1967000/1972396
420.68/419.09	c cleaning 14006 clauses out of 28027 with flag 1981001/1986397
423.48/421.84	c cleaning 14004 clauses out of 28020 with flag 1995000/2000396
425.98/424.33	c cleaning 13999 clauses out of 28016 with flag 2009000/2014396
428.69/427.10	c cleaning 14001 clauses out of 28017 with flag 2023000/2028396
431.39/429.70	c cleaning 14000 clauses out of 28017 with flag 2037001/2042397
434.00/432.38	c cleaning 13998 clauses out of 28018 with flag 2051002/2056398
437.10/435.43	c cleaning 14000 clauses out of 28018 with flag 2065000/2070396
440.01/438.34	c cleaning 13998 clauses out of 28020 with flag 2079002/2084398
442.81/441.16	c cleaning 14004 clauses out of 28021 with flag 2093001/2098397
445.61/443.98	c cleaning 13997 clauses out of 28017 with flag 2107001/2112397
448.52/446.82	c cleaning 13994 clauses out of 28020 with flag 2121001/2126397
451.33/449.67	c cleaning 14001 clauses out of 28026 with flag 2135001/2140397
454.33/452.69	c cleaning 14002 clauses out of 28024 with flag 2149000/2154396
457.34/455.61	c cleaning 14000 clauses out of 28022 with flag 2163000/2168396
460.24/458.59	c cleaning 14006 clauses out of 28022 with flag 2177000/2182396
462.94/461.22	c cleaning 14005 clauses out of 28017 with flag 2191001/2196397
465.65/463.97	c cleaning 13996 clauses out of 28012 with flag 2205001/2210397
468.45/466.71	c cleaning 13998 clauses out of 28015 with flag 2219000/2224396
471.15/469.48	c cleaning 13999 clauses out of 28018 with flag 2233001/2238397
473.95/472.21	c cleaning 13997 clauses out of 28019 with flag 2247001/2252397
476.66/474.91	c cleaning 14001 clauses out of 28022 with flag 2261001/2266397
479.36/477.62	c cleaning 13996 clauses out of 28020 with flag 2275000/2280396
482.26/480.53	c cleaning 14002 clauses out of 28024 with flag 2289000/2294396
485.26/483.53	c cleaning 14005 clauses out of 28022 with flag 2303000/2308396
488.36/486.64	c cleaning 14000 clauses out of 28017 with flag 2317000/2322396
491.46/489.76	c cleaning 14006 clauses out of 28018 with flag 2331001/2336397
494.68/492.99	c cleaning 13993 clauses out of 28011 with flag 2345000/2350396
497.88/496.18	c cleaning 14001 clauses out of 28019 with flag 2359001/2364397
500.87/499.19	c cleaning 13995 clauses out of 28018 with flag 2373001/2378397
504.18/502.42	c cleaning 14002 clauses out of 28023 with flag 2387001/2392397
507.38/505.64	c cleaning 14003 clauses out of 28021 with flag 2401001/2406397
510.58/508.87	c cleaning 13997 clauses out of 28017 with flag 2415000/2420396
513.78/512.09	c cleaning 14005 clauses out of 28021 with flag 2429001/2434397
516.99/515.25	c cleaning 14002 clauses out of 28015 with flag 2443000/2448396
520.19/518.45	c cleaning 13996 clauses out of 28014 with flag 2457001/2462397
523.39/521.68	c cleaning 14000 clauses out of 28018 with flag 2471001/2476397
526.70/524.91	c cleaning 14000 clauses out of 28017 with flag 2485000/2490396
529.91/528.18	c cleaning 13993 clauses out of 28017 with flag 2499000/2504396
533.21/531.42	c cleaning 14001 clauses out of 28024 with flag 2513000/2518396
536.52/534.77	c cleaning 14001 clauses out of 28023 with flag 2527000/2532396
539.82/538.02	c cleaning 14000 clauses out of 28023 with flag 2541001/2546397
543.01/541.23	c cleaning 14001 clauses out of 28024 with flag 2555002/2560398
546.31/544.60	c cleaning 13999 clauses out of 28021 with flag 2569000/2574396
549.72/547.93	c cleaning 14005 clauses out of 28022 with flag 2583000/2588396
553.02/551.26	c cleaning 13995 clauses out of 28018 with flag 2597001/2602397
556.33/554.56	c cleaning 13994 clauses out of 28022 with flag 2611000/2616396
559.52/557.80	c cleaning 14003 clauses out of 28028 with flag 2625000/2630396
562.83/561.04	c cleaning 13998 clauses out of 28027 with flag 2639002/2644398
566.03/564.26	c cleaning 14009 clauses out of 28027 with flag 2653000/2658396
569.23/567.46	c cleaning 14000 clauses out of 28019 with flag 2667001/2672397
572.34/570.59	c cleaning 13998 clauses out of 28018 with flag 2681000/2686396
575.64/573.83	c cleaning 14001 clauses out of 28021 with flag 2695001/2700397
578.74/576.99	c cleaning 14003 clauses out of 28019 with flag 2709000/2714396
582.05/580.26	c cleaning 13996 clauses out of 28016 with flag 2723000/2728396
585.25/583.44	c cleaning 14000 clauses out of 28022 with flag 2737002/2742398
588.45/586.63	c cleaning 13999 clauses out of 28021 with flag 2751001/2756397
591.65/589.86	c cleaning 13999 clauses out of 28021 with flag 2765000/2770396
594.95/593.13	c cleaning 14000 clauses out of 28023 with flag 2779001/2784397
598.17/596.39	c cleaning 14003 clauses out of 28022 with flag 2793000/2798396
601.56/599.74	c cleaning 14003 clauses out of 28020 with flag 2807001/2812397
604.67/602.86	c cleaning 13995 clauses out of 28016 with flag 2821000/2826396
607.66/605.88	c cleaning 14000 clauses out of 28022 with flag 2835001/2840397
610.77/608.99	c cleaning 14005 clauses out of 28021 with flag 2849000/2854396
613.76/611.95	c cleaning 14004 clauses out of 28018 with flag 2863002/2868398
616.88/615.09	c cleaning 13995 clauses out of 28012 with flag 2877000/2882396
619.98/618.15	c cleaning 13993 clauses out of 28018 with flag 2891001/2896397
623.08/621.27	c cleaning 13998 clauses out of 28025 with flag 2905001/2910397
626.28/624.45	c cleaning 14005 clauses out of 28026 with flag 2919000/2924396
629.48/627.68	c cleaning 13999 clauses out of 28022 with flag 2933001/2938397
632.78/630.96	c cleaning 14006 clauses out of 28022 with flag 2947000/2952396
635.89/634.05	c cleaning 13995 clauses out of 28017 with flag 2961001/2966397
639.09/637.23	c cleaning 14001 clauses out of 28021 with flag 2975000/2980396
641.89/640.05	c cleaning 13998 clauses out of 28020 with flag 2989000/2994396
644.49/642.63	c cleaning 14001 clauses out of 28022 with flag 3003000/3008396
646.90/645.05	c cleaning 14002 clauses out of 28021 with flag 3017000/3022396
649.50/647.60	c cleaning 14003 clauses out of 28019 with flag 3031000/3036396
652.21/650.30	c cleaning 14004 clauses out of 28018 with flag 3045002/3050398
655.11/653.27	c cleaning 13996 clauses out of 28013 with flag 3059001/3064397
657.91/656.08	c cleaning 14002 clauses out of 28016 with flag 3073000/3078396
660.62/658.78	c cleaning 14003 clauses out of 28015 with flag 3087001/3092397
663.42/661.56	c cleaning 13998 clauses out of 28012 with flag 3101001/3106397
666.02/664.19	c cleaning 14000 clauses out of 28013 with flag 3115000/3120396
668.93/667.06	c cleaning 13999 clauses out of 28013 with flag 3129000/3134396
671.84/669.95	c cleaning 13995 clauses out of 28015 with flag 3143001/3148397
674.93/673.06	c cleaning 14005 clauses out of 28020 with flag 3157001/3162397
677.84/675.96	c cleaning 13995 clauses out of 28015 with flag 3171001/3176397
680.76/678.85	c cleaning 13998 clauses out of 28020 with flag 3185001/3190397
683.64/681.76	c cleaning 14007 clauses out of 28022 with flag 3199001/3204397
686.75/684.82	c cleaning 13998 clauses out of 28015 with flag 3213001/3218397
689.85/688.00	c cleaning 14000 clauses out of 28018 with flag 3227002/3232398
693.06/691.18	c cleaning 14003 clauses out of 28017 with flag 3241001/3246397
696.08/694.19	c cleaning 13999 clauses out of 28014 with flag 3255001/3260397
699.18/697.25	c cleaning 13998 clauses out of 28015 with flag 3269001/3274397
701.98/700.05	c cleaning 14007 clauses out of 28019 with flag 3283003/3288399
704.89/702.98	c cleaning 13999 clauses out of 28009 with flag 3297000/3302396
707.99/706.07	c cleaning 13997 clauses out of 28011 with flag 3311001/3316397
711.19/709.21	c cleaning 13995 clauses out of 28013 with flag 3325000/3330396
714.39/712.49	c cleaning 13998 clauses out of 28019 with flag 3339001/3344397
717.79/715.82	c cleaning 13999 clauses out of 28021 with flag 3353001/3358397
720.80/718.86	c cleaning 14001 clauses out of 28022 with flag 3367001/3372397
724.20/722.24	c cleaning 14004 clauses out of 28021 with flag 3381001/3386397
727.41/725.46	c cleaning 13995 clauses out of 28018 with flag 3395002/3400398
730.91/728.92	c cleaning 14002 clauses out of 28021 with flag 3409000/3414396
734.21/732.23	c cleaning 14000 clauses out of 28019 with flag 3423000/3428396
737.02/735.01	c cleaning 14000 clauses out of 28019 with flag 3437000/3442396
739.72/737.79	c cleaning 14002 clauses out of 28020 with flag 3451001/3456397
742.62/740.61	c cleaning 14001 clauses out of 28018 with flag 3465001/3470397
745.42/743.43	c cleaning 13998 clauses out of 28016 with flag 3479000/3484396
748.23/746.28	c cleaning 14001 clauses out of 28019 with flag 3493001/3498397
751.13/749.19	c cleaning 14004 clauses out of 28017 with flag 3507000/3512396
754.13/752.17	c cleaning 13998 clauses out of 28013 with flag 3521000/3526396
757.33/755.31	c cleaning 14000 clauses out of 28015 with flag 3535000/3540396
760.43/758.40	c cleaning 13997 clauses out of 28015 with flag 3549000/3554396
763.43/761.48	c cleaning 14002 clauses out of 28020 with flag 3563002/3568398
766.44/764.40	c cleaning 13998 clauses out of 28017 with flag 3577001/3582397
769.34/767.34	c cleaning 13998 clauses out of 28018 with flag 3591000/3596396
772.24/770.30	c cleaning 14001 clauses out of 28020 with flag 3605000/3610396
775.36/773.38	c cleaning 14001 clauses out of 28019 with flag 3619000/3624396
778.15/776.15	c cleaning 14003 clauses out of 28019 with flag 3633001/3638397
780.75/778.79	c cleaning 13998 clauses out of 28016 with flag 3647001/3652397
783.36/781.40	c cleaning 14003 clauses out of 28017 with flag 3661000/3666396
786.07/784.05	c cleaning 14000 clauses out of 28014 with flag 3675000/3680396
788.69/786.68	c cleaning 13995 clauses out of 28014 with flag 3689000/3694396
791.38/789.36	c cleaning 13999 clauses out of 28020 with flag 3703001/3708397
793.98/792.01	c cleaning 14000 clauses out of 28021 with flag 3717001/3722397
796.78/794.77	c cleaning 13995 clauses out of 28021 with flag 3731001/3736397
799.59/797.60	c cleaning 14007 clauses out of 28026 with flag 3745001/3750397
802.39/800.35	c cleaning 13996 clauses out of 28018 with flag 3759000/3764396
805.29/803.27	c cleaning 14001 clauses out of 28023 with flag 3773001/3778397
808.09/806.08	c cleaning 14001 clauses out of 28022 with flag 3787001/3792397
810.71/808.68	c cleaning 13998 clauses out of 28020 with flag 3801000/3806396
813.60/811.51	c cleaning 14002 clauses out of 28022 with flag 3815000/3820396
816.30/814.27	c cleaning 14002 clauses out of 28021 with flag 3829001/3834397
819.20/817.14	c cleaning 13995 clauses out of 28018 with flag 3843000/3848396
821.90/819.90	c cleaning 14002 clauses out of 28023 with flag 3857000/3862396
824.80/822.72	c cleaning 14002 clauses out of 28021 with flag 3871000/3876396
827.40/825.38	c cleaning 13997 clauses out of 28020 with flag 3885001/3890397
830.21/828.12	c cleaning 13998 clauses out of 28023 with flag 3899001/3904397
833.01/830.95	c cleaning 14001 clauses out of 28025 with flag 3913001/3918397
835.81/833.76	c cleaning 14001 clauses out of 28024 with flag 3927001/3932397
838.81/836.76	c cleaning 14000 clauses out of 28022 with flag 3941000/3946396
841.61/839.56	c cleaning 14002 clauses out of 28023 with flag 3955001/3960397
844.51/842.41	c cleaning 13994 clauses out of 28020 with flag 3969000/3974396
847.11/845.08	c cleaning 14009 clauses out of 28027 with flag 3983001/3988397
850.02/847.96	c cleaning 13999 clauses out of 28018 with flag 3997001/4002397
852.92/850.81	c cleaning 14001 clauses out of 28018 with flag 4011000/4016396
855.92/853.86	c cleaning 14000 clauses out of 28017 with flag 4025000/4030396
859.03/856.91	c cleaning 14002 clauses out of 28018 with flag 4039001/4044397
862.03/859.93	c cleaning 14000 clauses out of 28016 with flag 4053001/4058397
865.03/862.94	c cleaning 13996 clauses out of 28016 with flag 4067001/4072397
868.13/866.01	c cleaning 13999 clauses out of 28019 with flag 4081000/4086396
871.03/868.91	c cleaning 14002 clauses out of 28020 with flag 4095000/4100396
874.15/872.04	c cleaning 14001 clauses out of 28019 with flag 4109001/4114397
877.04/874.98	c cleaning 14000 clauses out of 28018 with flag 4123001/4128397
880.07/877.99	c cleaning 14000 clauses out of 28018 with flag 4137001/4142397
883.26/881.15	c cleaning 14001 clauses out of 28017 with flag 4151000/4156396
886.26/884.10	c cleaning 14000 clauses out of 28017 with flag 4165001/4170397
889.26/887.15	c cleaning 13997 clauses out of 28016 with flag 4179000/4184396
892.26/890.19	c cleaning 13995 clauses out of 28019 with flag 4193000/4198396
895.37/893.27	c cleaning 13999 clauses out of 28024 with flag 4207000/4212396
898.47/896.37	c cleaning 14000 clauses out of 28025 with flag 4221000/4226396
901.57/899.49	c cleaning 14002 clauses out of 28026 with flag 4235001/4240397
904.77/902.66	c cleaning 13999 clauses out of 28023 with flag 4249000/4254396
907.87/905.71	c cleaning 14004 clauses out of 28025 with flag 4263001/4268397
910.97/908.89	c cleaning 14000 clauses out of 28020 with flag 4277000/4282396
914.08/911.95	c cleaning 13996 clauses out of 28020 with flag 4291000/4296396
917.27/915.12	c cleaning 14007 clauses out of 28025 with flag 4305001/4310397
920.17/918.04	c cleaning 13998 clauses out of 28018 with flag 4319001/4324397
923.07/920.96	c cleaning 13992 clauses out of 28020 with flag 4333001/4338397
926.08/924.00	c cleaning 14007 clauses out of 28027 with flag 4347000/4352396
929.29/927.13	c cleaning 13999 clauses out of 28020 with flag 4361000/4366396
932.20/930.07	c cleaning 14001 clauses out of 28021 with flag 4375000/4380396
935.30/933.10	c cleaning 13999 clauses out of 28022 with flag 4389002/4394398
938.20/936.10	c cleaning 14000 clauses out of 28021 with flag 4403000/4408396
941.21/939.10	c cleaning 14005 clauses out of 28021 with flag 4417000/4422396
944.41/942.21	c cleaning 13995 clauses out of 28016 with flag 4431000/4436396
947.41/945.22	c cleaning 14000 clauses out of 28022 with flag 4445001/4450397
950.42/948.26	c cleaning 14001 clauses out of 28021 with flag 4459000/4464396
953.51/951.33	c cleaning 14001 clauses out of 28021 with flag 4473001/4478397
956.21/954.08	c cleaning 14006 clauses out of 28019 with flag 4487000/4492396
959.02/956.85	c cleaning 14002 clauses out of 28013 with flag 4501000/4506396
961.92/959.70	c cleaning 13997 clauses out of 28012 with flag 4515001/4520397
964.53/962.37	c cleaning 13999 clauses out of 28015 with flag 4529001/4534397
967.23/965.02	c cleaning 13997 clauses out of 28015 with flag 4543000/4548396
970.04/967.82	c cleaning 13999 clauses out of 28018 with flag 4557000/4562396
972.84/970.65	c cleaning 14003 clauses out of 28021 with flag 4571002/4576398
975.75/973.60	c cleaning 14001 clauses out of 28017 with flag 4585001/4590397
978.65/976.42	c cleaning 13998 clauses out of 28016 with flag 4599001/4604397
981.46/979.21	c cleaning 14003 clauses out of 28017 with flag 4613000/4618396
984.46/982.25	c cleaning 14002 clauses out of 28015 with flag 4627001/4632397
987.47/985.26	c cleaning 13995 clauses out of 28012 with flag 4641000/4646396
990.47/988.23	c cleaning 14000 clauses out of 28018 with flag 4655001/4660397
993.58/991.31	c cleaning 14001 clauses out of 28018 with flag 4669001/4674397
996.38/994.12	c cleaning 13999 clauses out of 28016 with flag 4683000/4688396
999.29/997.03	c cleaning 13998 clauses out of 28018 with flag 4697001/4702397
1002.09/999.86	c cleaning 14001 clauses out of 28020 with flag 4711001/4716397
1004.90/1002.62	c cleaning 13998 clauses out of 28019 with flag 4725001/4730397
1007.60/1005.40	c cleaning 13997 clauses out of 28020 with flag 4739000/4744396
1010.70/1008.40	c cleaning 14001 clauses out of 28023 with flag 4753000/4758396
1013.51/1011.21	c cleaning 13998 clauses out of 28022 with flag 4767000/4772396
1016.21/1013.93	c cleaning 14005 clauses out of 28025 with flag 4781001/4786397
1019.12/1016.82	c cleaning 14003 clauses out of 28019 with flag 4795000/4800396
1021.92/1019.67	c cleaning 14000 clauses out of 28017 with flag 4809001/4814397
1024.82/1022.56	c cleaning 14000 clauses out of 28019 with flag 4823003/4828399
1027.82/1025.53	c cleaning 13996 clauses out of 28016 with flag 4837000/4842396
1030.94/1028.64	c cleaning 13997 clauses out of 28020 with flag 4851000/4856396
1033.82/1031.55	c cleaning 13998 clauses out of 28024 with flag 4865001/4870397
1036.73/1034.48	c cleaning 14003 clauses out of 28026 with flag 4879001/4884397
1039.74/1037.49	c cleaning 14005 clauses out of 28023 with flag 4893001/4898397
1042.63/1040.37	c cleaning 13998 clauses out of 28019 with flag 4907002/4912398
1045.63/1043.32	c cleaning 13998 clauses out of 28021 with flag 4921002/4926398
1048.73/1046.46	c cleaning 14005 clauses out of 28021 with flag 4935000/4940396
1052.04/1049.76	c cleaning 13999 clauses out of 28016 with flag 4949000/4954396
1055.24/1052.94	c cleaning 14001 clauses out of 28018 with flag 4963001/4968397
1058.47/1056.17	c cleaning 14000 clauses out of 28017 with flag 4977001/4982397
1061.77/1059.42	c cleaning 14001 clauses out of 28017 with flag 4991001/4996397
1065.07/1062.75	c cleaning 13999 clauses out of 28016 with flag 5005001/5010397
1068.27/1066.01	c cleaning 13997 clauses out of 28016 with flag 5019000/5024396
1071.46/1069.16	c cleaning 13994 clauses out of 28020 with flag 5033001/5038397
1074.57/1072.27	c cleaning 14000 clauses out of 28026 with flag 5047001/5052397
1077.77/1075.46	c cleaning 13998 clauses out of 28026 with flag 5061001/5066397
1080.97/1078.67	c cleaning 14000 clauses out of 28028 with flag 5075001/5080397
1084.28/1081.95	c cleaning 14000 clauses out of 28027 with flag 5089000/5094396
1087.58/1085.23	c cleaning 14002 clauses out of 28028 with flag 5103001/5108397
1090.88/1088.60	c cleaning 14002 clauses out of 28026 with flag 5117001/5122397
1094.28/1091.95	c cleaning 13998 clauses out of 28024 with flag 5131001/5136397
1097.48/1095.11	c cleaning 14007 clauses out of 28025 with flag 5145000/5150396
1100.39/1098.06	c cleaning 14000 clauses out of 28018 with flag 5159000/5164396
1103.50/1101.21	c cleaning 13995 clauses out of 28019 with flag 5173001/5178397
1106.80/1104.47	c cleaning 14005 clauses out of 28024 with flag 5187001/5192397
1110.00/1107.64	c cleaning 14000 clauses out of 28018 with flag 5201000/5206396
1112.99/1110.66	c cleaning 14003 clauses out of 28018 with flag 5215000/5220396
1116.30/1113.91	c cleaning 13999 clauses out of 28016 with flag 5229001/5234397
1119.40/1117.07	c cleaning 13998 clauses out of 28017 with flag 5243001/5248397
1122.70/1120.40	c cleaning 14002 clauses out of 28019 with flag 5257001/5262397
1126.00/1123.67	c cleaning 13991 clauses out of 28016 with flag 5271000/5276396
1129.21/1126.88	c cleaning 14002 clauses out of 28025 with flag 5285000/5290396
1132.41/1130.03	c cleaning 14004 clauses out of 28023 with flag 5299000/5304396
1135.71/1133.35	c cleaning 14000 clauses out of 28019 with flag 5313000/5318396
1138.91/1136.51	c cleaning 14001 clauses out of 28020 with flag 5327001/5332397
1142.13/1139.75	c cleaning 13996 clauses out of 28019 with flag 5341001/5346397
1145.32/1142.96	c cleaning 14004 clauses out of 28022 with flag 5355000/5360396
1148.52/1146.15	c cleaning 13995 clauses out of 28019 with flag 5369001/5374397
1151.72/1149.38	c cleaning 13992 clauses out of 28024 with flag 5383001/5388397
1155.02/1152.64	c cleaning 14009 clauses out of 28031 with flag 5397000/5402396
1158.23/1155.84	c cleaning 14001 clauses out of 28023 with flag 5411001/5416397
1161.54/1159.14	c cleaning 14000 clauses out of 28021 with flag 5425000/5430396
1164.84/1162.40	c cleaning 14003 clauses out of 28021 with flag 5439000/5444396
1168.25/1165.82	c cleaning 13997 clauses out of 28018 with flag 5453000/5458396
1171.15/1168.71	c cleaning 14006 clauses out of 28021 with flag 5467000/5472396
1174.15/1171.73	c cleaning 14001 clauses out of 28015 with flag 5481000/5486396
1176.96/1174.55	c cleaning 14003 clauses out of 28015 with flag 5495001/5500397
1179.85/1177.47	c cleaning 13994 clauses out of 28012 with flag 5509001/5514397
1182.87/1180.47	c cleaning 14003 clauses out of 28018 with flag 5523001/5528397
1185.76/1183.33	c cleaning 13997 clauses out of 28014 with flag 5537000/5542396
1188.56/1186.17	c cleaning 13996 clauses out of 28018 with flag 5551001/5556397
1191.47/1189.03	c cleaning 13998 clauses out of 28021 with flag 5565000/5570396
1194.27/1191.84	c cleaning 14001 clauses out of 28023 with flag 5579000/5584396
1197.18/1194.75	c cleaning 14005 clauses out of 28022 with flag 5593000/5598396
1199.97/1197.59	c cleaning 13998 clauses out of 28018 with flag 5607001/5612397
1202.98/1200.54	c cleaning 14004 clauses out of 28019 with flag 5621000/5626396
1205.78/1203.41	c cleaning 13993 clauses out of 28015 with flag 5635000/5640396
1208.78/1206.34	c cleaning 14003 clauses out of 28023 with flag 5649001/5654397
1211.68/1209.28	c cleaning 14001 clauses out of 28019 with flag 5663000/5668396
1214.68/1212.31	c cleaning 14000 clauses out of 28018 with flag 5677000/5682396
1217.68/1215.29	c cleaning 13999 clauses out of 28020 with flag 5691002/5696398
1220.68/1218.28	c cleaning 13997 clauses out of 28020 with flag 5705001/5710397
1223.60/1221.13	c cleaning 14003 clauses out of 28022 with flag 5719000/5724396
1226.49/1224.06	c cleaning 14002 clauses out of 28019 with flag 5733000/5738396
1229.50/1227.01	c cleaning 13995 clauses out of 28017 with flag 5747000/5752396
1232.31/1229.84	c cleaning 13995 clauses out of 28023 with flag 5761001/5766397
1235.20/1232.78	c cleaning 14003 clauses out of 28027 with flag 5775000/5780396
1238.20/1235.75	c cleaning 14003 clauses out of 28024 with flag 5789000/5794396
1241.00/1238.52	c cleaning 14004 clauses out of 28021 with flag 5803000/5808396
1243.90/1241.47	c cleaning 13997 clauses out of 28018 with flag 5817001/5822397
1246.81/1244.36	c cleaning 14000 clauses out of 28021 with flag 5831001/5836397
1249.71/1247.24	c cleaning 13998 clauses out of 28020 with flag 5845000/5850396
1252.61/1250.13	c cleaning 13998 clauses out of 28023 with flag 5859001/5864397
1255.53/1253.04	c cleaning 14000 clauses out of 28024 with flag 5873000/5878396
1258.51/1256.06	c cleaning 14002 clauses out of 28024 with flag 5887000/5892396
1261.32/1258.85	c cleaning 14001 clauses out of 28022 with flag 5901000/5906396
1264.22/1261.77	c cleaning 14006 clauses out of 28021 with flag 5915000/5920396
1267.22/1264.74	c cleaning 13995 clauses out of 28017 with flag 5929002/5934398
1270.12/1267.61	c cleaning 14004 clauses out of 28020 with flag 5943000/5948396
1273.23/1270.75	c cleaning 13997 clauses out of 28016 with flag 5957000/5962396
1276.23/1273.78	c cleaning 14001 clauses out of 28019 with flag 5971000/5976396
1278.93/1276.48	c cleaning 13999 clauses out of 28018 with flag 5985000/5990396
1281.74/1279.31	c cleaning 14001 clauses out of 28019 with flag 5999000/6004396
1284.64/1282.12	c cleaning 14007 clauses out of 28020 with flag 6013002/6018398
1287.35/1284.86	c cleaning 13993 clauses out of 28011 with flag 6027000/6032396
1290.14/1287.61	c cleaning 14002 clauses out of 28019 with flag 6041001/6046397
1293.04/1290.52	c cleaning 14002 clauses out of 28018 with flag 6055002/6060398
1295.84/1293.33	c cleaning 13997 clauses out of 28015 with flag 6069001/6074397
1298.65/1296.10	c cleaning 13998 clauses out of 28017 with flag 6083000/6088396
1301.45/1298.99	c cleaning 14000 clauses out of 28020 with flag 6097001/6102397
1304.35/1301.85	c cleaning 14001 clauses out of 28019 with flag 6111000/6116396
1307.27/1304.73	c cleaning 13999 clauses out of 28019 with flag 6125001/6130397
1310.16/1307.61	c cleaning 14001 clauses out of 28020 with flag 6139001/6144397
1312.96/1310.43	c cleaning 13997 clauses out of 28018 with flag 6153000/6158396
1315.76/1313.25	c cleaning 13999 clauses out of 28022 with flag 6167001/6172397
1318.67/1316.14	c cleaning 14004 clauses out of 28022 with flag 6181000/6186396
1321.67/1319.14	c cleaning 13995 clauses out of 28018 with flag 6195000/6200396
1324.57/1322.01	c cleaning 14002 clauses out of 28023 with flag 6209000/6214396
1327.47/1324.90	c cleaning 13997 clauses out of 28022 with flag 6223001/6228397
1330.17/1327.68	c cleaning 14000 clauses out of 28025 with flag 6237001/6242397
1333.18/1330.61	c cleaning 14002 clauses out of 28024 with flag 6251000/6256396
1335.98/1333.48	c cleaning 14000 clauses out of 28023 with flag 6265001/6270397
1338.88/1336.35	c cleaning 13997 clauses out of 28022 with flag 6279000/6284396
1341.68/1339.19	c cleaning 14000 clauses out of 28026 with flag 6293001/6298397
1344.70/1342.12	c cleaning 13999 clauses out of 28025 with flag 6307000/6312396
1347.48/1344.94	c cleaning 14002 clauses out of 28027 with flag 6321001/6326397
1350.38/1347.83	c cleaning 14002 clauses out of 28024 with flag 6335000/6340396
1353.39/1350.84	c cleaning 14001 clauses out of 28022 with flag 6349000/6354396
1356.39/1353.83	c cleaning 13996 clauses out of 28022 with flag 6363001/6368397
1359.39/1356.82	c cleaning 14000 clauses out of 28025 with flag 6377000/6382396
1362.20/1359.69	c cleaning 13998 clauses out of 28025 with flag 6391000/6396396
1365.09/1362.55	c cleaning 14005 clauses out of 28027 with flag 6405000/6410396
1368.10/1365.51	c cleaning 13998 clauses out of 28023 with flag 6419001/6424397
1371.01/1368.45	c cleaning 14004 clauses out of 28025 with flag 6433001/6438397
1373.90/1371.35	c cleaning 14004 clauses out of 28021 with flag 6447001/6452397
1376.80/1374.27	c cleaning 13998 clauses out of 28017 with flag 6461001/6466397
1379.81/1377.21	c cleaning 14000 clauses out of 28019 with flag 6475001/6480397
1382.71/1380.19	c cleaning 14001 clauses out of 28018 with flag 6489000/6494396
1385.71/1383.14	c cleaning 14000 clauses out of 28017 with flag 6503000/6508396
1388.62/1386.09	c cleaning 14001 clauses out of 28019 with flag 6517002/6522398
1391.51/1388.98	c cleaning 13999 clauses out of 28017 with flag 6531001/6536397
1394.52/1391.97	c cleaning 14001 clauses out of 28017 with flag 6545000/6550396
1397.32/1394.81	c cleaning 13993 clauses out of 28016 with flag 6559000/6564396
1400.42/1397.84	c cleaning 14000 clauses out of 28023 with flag 6573000/6578396
1403.43/1400.84	c cleaning 14002 clauses out of 28024 with flag 6587001/6592397
1406.43/1403.82	c cleaning 13998 clauses out of 28022 with flag 6601001/6606397
1409.33/1406.72	c cleaning 14001 clauses out of 28023 with flag 6615000/6620396
1412.33/1409.75	c cleaning 14000 clauses out of 28024 with flag 6629002/6634398
1415.23/1412.68	c cleaning 14001 clauses out of 28024 with flag 6643002/6648398
1418.24/1415.65	c cleaning 13998 clauses out of 28021 with flag 6657000/6662396
1421.23/1418.64	c cleaning 14002 clauses out of 28024 with flag 6671001/6676397
1424.25/1421.62	c cleaning 14002 clauses out of 28021 with flag 6685000/6690396
1427.16/1424.54	c cleaning 14003 clauses out of 28020 with flag 6699001/6704397
1430.05/1427.40	c cleaning 13997 clauses out of 28016 with flag 6713000/6718396
1432.66/1430.08	c cleaning 14006 clauses out of 28019 with flag 6727000/6732396
1435.26/1432.67	c cleaning 14002 clauses out of 28014 with flag 6741001/6746397
1437.96/1435.39	c cleaning 13999 clauses out of 28012 with flag 6755001/6760397
1440.67/1438.07	c cleaning 13998 clauses out of 28012 with flag 6769000/6774396
1443.47/1440.84	c cleaning 14001 clauses out of 28014 with flag 6783000/6788396
1446.38/1443.70	c cleaning 13999 clauses out of 28013 with flag 6797000/6802396
1449.08/1446.51	c cleaning 14005 clauses out of 28014 with flag 6811000/6816396
1452.28/1449.66	c cleaning 14000 clauses out of 28010 with flag 6825001/6830397
1455.48/1452.88	c cleaning 13993 clauses out of 28009 with flag 6839000/6844396
1458.58/1455.97	c cleaning 13999 clauses out of 28016 with flag 6853000/6858396
1461.40/1458.77	c cleaning 14000 clauses out of 28018 with flag 6867001/6872397
1464.29/1461.64	c cleaning 14002 clauses out of 28019 with flag 6881002/6886398
1467.09/1464.47	c cleaning 13998 clauses out of 28015 with flag 6895000/6900396
1470.10/1467.49	c cleaning 14001 clauses out of 28019 with flag 6909002/6914398
1472.80/1470.15	c cleaning 14006 clauses out of 28017 with flag 6923001/6928397
1475.40/1472.73	c cleaning 13995 clauses out of 28010 with flag 6937000/6942396
1477.92/1475.28	c cleaning 13996 clauses out of 28016 with flag 6951001/6956397
1480.61/1477.96	c cleaning 14002 clauses out of 28019 with flag 6965000/6970396
1483.32/1480.64	c cleaning 14001 clauses out of 28017 with flag 6979000/6984396
1486.01/1483.38	c cleaning 14000 clauses out of 28017 with flag 6993001/6998397
1488.72/1486.01	c cleaning 13998 clauses out of 28017 with flag 7007001/7012397
1491.43/1488.70	c cleaning 14004 clauses out of 28020 with flag 7021002/7026398
1494.53/1491.83	c cleaning 13995 clauses out of 28014 with flag 7035000/7040396
1497.64/1494.98	c cleaning 14001 clauses out of 28019 with flag 7049000/7054396
1500.84/1498.20	c cleaning 14005 clauses out of 28019 with flag 7063001/7068397
1504.04/1501.39	c cleaning 13996 clauses out of 28013 with flag 7077000/7082396
1507.25/1504.57	c cleaning 14001 clauses out of 28017 with flag 7091000/7096396
1510.35/1507.63	c cleaning 14001 clauses out of 28017 with flag 7105001/7110397
1513.45/1510.79	c cleaning 14002 clauses out of 28016 with flag 7119001/7124397
1516.75/1514.05	c cleaning 13996 clauses out of 28013 with flag 7133000/7138396
1519.86/1517.14	c cleaning 14000 clauses out of 28017 with flag 7147000/7152396
1522.86/1520.16	c cleaning 13994 clauses out of 28017 with flag 7161000/7166396
1525.76/1523.04	c cleaning 14000 clauses out of 28025 with flag 7175002/7180398
1528.47/1525.78	c cleaning 14002 clauses out of 28024 with flag 7189001/7194397
1531.27/1528.55	c cleaning 14002 clauses out of 28021 with flag 7203000/7208396
1534.09/1531.32	c cleaning 13999 clauses out of 28020 with flag 7217001/7222397
1536.88/1534.18	c cleaning 14006 clauses out of 28022 with flag 7231002/7236398
1539.78/1537.00	c cleaning 14002 clauses out of 28016 with flag 7245002/7250398
1542.48/1539.76	c cleaning 14000 clauses out of 28012 with flag 7259000/7264396
1545.28/1542.50	c cleaning 14003 clauses out of 28013 with flag 7273001/7278397
1547.98/1545.24	c cleaning 13998 clauses out of 28009 with flag 7287000/7292396
1550.68/1547.97	c cleaning 13994 clauses out of 28011 with flag 7301000/7306396
1553.58/1550.84	c cleaning 14000 clauses out of 28017 with flag 7315000/7320396
1556.48/1553.71	c cleaning 13998 clauses out of 28017 with flag 7329000/7334396
1559.40/1556.68	c cleaning 14006 clauses out of 28019 with flag 7343000/7348396
1562.39/1559.64	c cleaning 13999 clauses out of 28013 with flag 7357000/7362396
1565.29/1562.51	c cleaning 14001 clauses out of 28015 with flag 7371001/7376397
1568.10/1565.37	c cleaning 13997 clauses out of 28014 with flag 7385001/7390397
1570.80/1568.01	c cleaning 14002 clauses out of 28018 with flag 7399002/7404398
1573.50/1570.70	c cleaning 14001 clauses out of 28015 with flag 7413001/7418397
1576.11/1573.33	c cleaning 14001 clauses out of 28014 with flag 7427001/7432397
1578.82/1576.02	c cleaning 13995 clauses out of 28012 with flag 7441000/7446396
1581.52/1578.74	c cleaning 13996 clauses out of 28017 with flag 7455000/7460396
1584.22/1581.40	c cleaning 13996 clauses out of 28021 with flag 7469000/7474396
1586.72/1583.95	c cleaning 14005 clauses out of 28025 with flag 7483000/7488396
1589.43/1586.63	c cleaning 14002 clauses out of 28020 with flag 7497000/7502396
1592.13/1589.36	c cleaning 13996 clauses out of 28019 with flag 7511001/7516397
1594.83/1592.07	c cleaning 14000 clauses out of 28023 with flag 7525001/7530397
1597.53/1594.76	c cleaning 14001 clauses out of 28022 with flag 7539000/7544396
1600.24/1597.44	c cleaning 14000 clauses out of 28021 with flag 7553000/7558396
1602.94/1600.10	c cleaning 14002 clauses out of 28022 with flag 7567001/7572397
1605.55/1602.75	c cleaning 14002 clauses out of 28019 with flag 7581000/7586396
1608.25/1605.44	c cleaning 13996 clauses out of 28018 with flag 7595001/7600397
1610.75/1607.99	c cleaning 13998 clauses out of 28022 with flag 7609001/7614397
1613.55/1610.70	c cleaning 13999 clauses out of 28023 with flag 7623000/7628396
1616.25/1613.40	c cleaning 14001 clauses out of 28025 with flag 7637001/7642397
1618.87/1616.04	c cleaning 14004 clauses out of 28023 with flag 7651000/7656396
1621.36/1618.55	c cleaning 14002 clauses out of 28020 with flag 7665001/7670397
1623.76/1620.97	c cleaning 13996 clauses out of 28017 with flag 7679000/7684396
1626.26/1623.44	c cleaning 14004 clauses out of 28021 with flag 7693000/7698396
1628.78/1625.97	c cleaning 14000 clauses out of 28017 with flag 7707000/7712396
1631.27/1628.49	c cleaning 14003 clauses out of 28018 with flag 7721001/7726397
1634.07/1631.28	c cleaning 13992 clauses out of 28014 with flag 7735000/7740396
1636.88/1634.04	c cleaning 14008 clauses out of 28022 with flag 7749000/7754396
1639.69/1636.88	c cleaning 13996 clauses out of 28014 with flag 7763000/7768396
1642.39/1639.58	c cleaning 14002 clauses out of 28019 with flag 7777001/7782397
1644.99/1642.16	c cleaning 13998 clauses out of 28017 with flag 7791001/7796397
1647.59/1644.76	c cleaning 14002 clauses out of 28019 with flag 7805001/7810397
1650.59/1647.73	c cleaning 13998 clauses out of 28018 with flag 7819002/7824398
1653.49/1650.67	c cleaning 13999 clauses out of 28018 with flag 7833000/7838396
1656.40/1653.54	c cleaning 14000 clauses out of 28019 with flag 7847000/7852396
1659.20/1656.31	c cleaning 13998 clauses out of 28020 with flag 7861001/7866397
1662.11/1659.21	c cleaning 14003 clauses out of 28022 with flag 7875001/7880397
1664.91/1662.09	c cleaning 13999 clauses out of 28020 with flag 7889002/7894398
1667.72/1664.87	c cleaning 13997 clauses out of 28020 with flag 7903001/7908397
1670.53/1667.68	c cleaning 14001 clauses out of 28022 with flag 7917000/7922396
1673.42/1670.53	c cleaning 14002 clauses out of 28022 with flag 7931001/7936397
1676.32/1673.46	c cleaning 13999 clauses out of 28020 with flag 7945001/7950397
1679.33/1676.45	c cleaning 14005 clauses out of 28020 with flag 7959000/7964396
1682.12/1679.28	c cleaning 13997 clauses out of 28016 with flag 7973001/7978397
1684.94/1682.04	c cleaning 13995 clauses out of 28018 with flag 7987000/7992396
1687.93/1685.07	c cleaning 14000 clauses out of 28023 with flag 8001000/8006396
1690.83/1687.92	c cleaning 14003 clauses out of 28024 with flag 8015001/8020397
1693.64/1690.73	c cleaning 13997 clauses out of 28020 with flag 8029000/8034396
1696.43/1693.51	c cleaning 14004 clauses out of 28024 with flag 8043001/8048397
1699.24/1696.34	c cleaning 13996 clauses out of 28019 with flag 8057000/8062396
1702.03/1699.19	c cleaning 14005 clauses out of 28023 with flag 8071000/8076396
1704.93/1702.02	c cleaning 14001 clauses out of 28018 with flag 8085000/8090396
1707.83/1704.91	c cleaning 14000 clauses out of 28017 with flag 8099000/8104396
1710.73/1707.83	c cleaning 14002 clauses out of 28018 with flag 8113001/8118397
1713.44/1710.58	c cleaning 13996 clauses out of 28015 with flag 8127000/8132396
1716.34/1713.45	c cleaning 13994 clauses out of 28020 with flag 8141001/8146397
1719.24/1716.30	c cleaning 14002 clauses out of 28025 with flag 8155000/8160396
1722.04/1719.18	c cleaning 13996 clauses out of 28023 with flag 8169000/8174396
1724.84/1721.96	c cleaning 13997 clauses out of 28028 with flag 8183001/8188397
1727.86/1724.93	c cleaning 14002 clauses out of 28030 with flag 8197000/8202396
1730.85/1727.97	c cleaning 14007 clauses out of 28029 with flag 8211001/8216397
1733.75/1730.81	c cleaning 13999 clauses out of 28021 with flag 8225000/8230396
1736.95/1734.00	c cleaning 14006 clauses out of 28022 with flag 8239000/8244396
1740.16/1737.29	c cleaning 14000 clauses out of 28018 with flag 8253002/8258398
1743.47/1740.51	c cleaning 14002 clauses out of 28016 with flag 8267000/8272396
1746.67/1743.78	c cleaning 13998 clauses out of 28015 with flag 8281001/8286397
1750.07/1747.11	c cleaning 14000 clauses out of 28016 with flag 8295000/8300396
1753.27/1750.39	c cleaning 13994 clauses out of 28016 with flag 8309000/8314396
1756.57/1753.67	c cleaning 14006 clauses out of 28022 with flag 8323000/8328396
1759.88/1756.93	c cleaning 14002 clauses out of 28017 with flag 8337001/8342397
1763.28/1760.30	c cleaning 13995 clauses out of 28014 with flag 8351000/8356396
1766.58/1763.69	c cleaning 14001 clauses out of 28019 with flag 8365000/8370396
1770.08/1767.13	c cleaning 13999 clauses out of 28020 with flag 8379002/8384398
1773.38/1770.49	c cleaning 14001 clauses out of 28020 with flag 8393001/8398397
1776.58/1773.69	c cleaning 13998 clauses out of 28018 with flag 8407000/8412396
1779.88/1776.94	c cleaning 13999 clauses out of 28023 with flag 8421003/8426399
1783.19/1780.29	c cleaning 14003 clauses out of 28021 with flag 8435000/8440396
1786.69/1783.71	c cleaning 14000 clauses out of 28019 with flag 8449001/8454397
1790.19/1787.22	c cleaning 13998 clauses out of 28018 with flag 8463000/8468396
1793.69/1790.78	c cleaning 14001 clauses out of 28021 with flag 8477001/8482397
1797.21/1794.27	c cleaning 14000 clauses out of 28021 with flag 8491002/8496398
1800.01/1797.02	c starts		: 307
1800.01/1797.02	c conflicts		: 8507477
1800.01/1797.02	c decisions		: 13386820
1800.01/1797.02	c propagations		: 1123762317
1800.01/1797.02	c inspects		: 11883542142
1800.01/1797.02	c shortcuts		: 0
1800.01/1797.02	c learnt literals	: 0
1800.01/1797.02	c learnt binary clauses	: 0
1800.01/1797.02	c learnt ternary clauses	: 0
1800.01/1797.02	c learnt constraints	: 8507477
1800.01/1797.02	c ignored constraints	: 0
1800.01/1797.02	c root simplifications	: 0
1800.01/1797.02	c removed literals (reason simplification)	: 5822565
1800.01/1797.02	c reason swapping (by a shorter reason)	: 0
1800.01/1797.02	c Calls to reduceDB	: 610
1800.01/1797.02	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.02	c number of learned constraints concerned by reduction	: 0
1800.01/1797.02	c number of learning phase by resolution	: 0
1800.01/1797.02	c number of learning phase by cutting planes	: 0
1800.01/1797.02	c speed (assignments/second)	: 625951.1521271239
1800.01/1797.02	c non guided choices	10061
1800.01/1797.03	c learnt constraints type 
1800.01/1797.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25124
1800.01/1797.03	c constraints type 
1800.01/1797.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6816
1800.01/1797.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.01/1797.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316
1800.01/1797.03	s SATISFIABLE
1800.01/1797.03	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 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 
1800.01/1797.03	c objective function=76
1800.01/1797.03	c Total wall clock time (in seconds): 1796.923

Verifier Data 

OK	76

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

running on 4 cores: 0,2,4,6

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: 2.00 2.00 2.00 2/454 8924
/proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 2174 0 1 0 0 0 0 0 25 0 2 0 808321841 13833195520 1875 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3377245 1887 906 9 0 3368401 0
[pid=8924/tid=8925] ppid=8922 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 5998 0 1 0 0 0 0 0 25 0 2 0 808321841 13850947584 6814 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0950409 s]
/proc/loadavg: 2.00 2.00 2.00 2/454 8924
/proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13621992 CPUtime=0.09 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 15395 0 1 0 8 1 0 0 25 0 18 0 808321841 13948919808 15090 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3405498 15090 2075 9 0 3396232 0
[pid=8924/tid=8925] ppid=8922 vsize=13621992 CPUtime=0.08 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) D 8922 8924 5628 0 -1 4202560 13549 0 1 0 7 1 0 0 18 0 18 0 808321841 13948919808 15090 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270338427063 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621992

[startup+0.105335 s]
/proc/loadavg: 2.00 2.00 2.00 2/454 8924
/proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13621992 CPUtime=0.1 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 15602 0 1 0 9 1 0 0 25 0 18 0 808321841 13948919808 15297 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3405498 15297 2093 9 0 3396232 0
[pid=8924/tid=8925] ppid=8922 vsize=13621992 CPUtime=0.09 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 13714 0 1 0 8 1 0 0 18 0 18 0 808321841 13948919808 15297 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621992

[startup+0.300269 s]
/proc/loadavg: 2.00 2.00 2.00 2/454 8924
/proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13623780 CPUtime=0.46 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 18018 0 1 0 45 1 0 0 25 0 18 0 808321841 13950750720 17479 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3405945 17479 2218 9 0 3396679 0
[pid=8924/tid=8925] ppid=8922 vsize=13623780 CPUtime=0.28 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 15284 0 1 0 27 1 0 0 18 0 18 0 808321841 13950750720 17479 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623780

[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 2.00 2/454 8924
/proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=1.63 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 29547 0 1 0 159 4 0 0 25 0 19 0 808321841 14025650176 25786 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 25786 2240 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=0.67 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 18196 0 1 0 66 1 0 0 19 0 19 0 808321841 14025650176 25786 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505193351 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 13696924

[startup+1.50112 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 8944
/proc/meminfo: memFree=24529128/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=2.53 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 30771 0 1 0 249 4 0 0 25 0 19 0 808321841 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 27010 2243 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1.48 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 19401 0 1 0 146 2 0 0 20 0 19 0 808321841 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505804354 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 808321844 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808321845 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808321845 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.54 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5755 0 0 0 53 1 0 0 15 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.49 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 4454 0 0 0 49 0 0 0 15 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 13696924

[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 2.00 4/474 8944
/proc/meminfo: memFree=24503032/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=4.21 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 35557 0 1 0 416 5 0 0 25 0 19 0 808321841 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 31789 2268 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=3.02 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5628 0 -1 4202560 19855 0 1 0 300 2 0 0 25 0 19 0 808321841 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 352 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 157 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 424 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 775 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 628 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=0.04 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) R 8922 8924 5628 0 -1 4202560 1819 0 0 0 4 0 0 0 15 0 19 0 808321844 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 47568364353784 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.56 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5763 0 0 0 55 1 0 0 15 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.52 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 4460 0 0 0 52 0 0 0 15 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 13696924

[startup+6.30112 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 8944
/proc/meminfo: memFree=24493468/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=7.45 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 37481 0 1 0 740 5 0 0 25 0 19 0 808321841 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 33256 2268 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=6.14 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 19858 0 1 0 612 2 0 0 25 0 19 0 808321841 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505803833 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 426 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 96 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 254 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=0.12 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 2384 0 0 0 12 0 0 0 16 0 19 0 808321844 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5432 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0

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

[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.47 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 47 0 0 0 15 0 19 0 808321843 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 906 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=24.42 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7401 0 0 0 2430 12 0 0 15 0 19 0 808321844 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.24
Current children cumulated vsize (KiB) 13696924

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 9000
/proc/meminfo: memFree=24453068/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=1785.29 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 44800 0 1 0 178503 26 0 0 25 0 19 0 808321841 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 38794 2269 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1755.27 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 20460 0 1 0 175522 5 0 0 25 0 19 0 808321841 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505931066 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 502 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0.41 cores=0,2,4,6
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 132 0 0 0 41 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 509 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 324 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 71 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.48 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 48 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 907 0 0 0 46 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.44 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 44 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=25.22 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7468 0 0 0 2509 13 0 0 15 0 19 0 808321844 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 13696924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.01 2.02 2.00 2/454 9004
/proc/meminfo: memFree=24548680/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=1800.01 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 44823 0 1 0 179975 26 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 38809 2269 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1769.81 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 20464 0 1 0 176975 6 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505868220 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 502 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 140 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 509 0 0 0 45 1 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 324 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 71 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.48 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 48 0 0 0 16 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 907 0 0 0 46 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=25.39 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7477 0 0 0 2526 13 0 0 15 0 19 0 808321844 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13696924

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

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

[startup+1797 s]
/proc/loadavg: 2.01 2.02 2.00 2/454 9004
/proc/meminfo: memFree=24548680/32951124 swapFree=50923800/67111528
[pid=8924] ppid=8922 vsize=13696924 CPUtime=1800.01 cores=0,2,4,6
/proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 44823 0 1 0 179975 26 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8924/statm: 3424231 38809 2269 9 0 3414965 0
[pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1769.81 cores=0,2,4,6
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 20464 0 1 0 176975 6 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505868220 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 502 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 140 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 509 0 0 0 45 1 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 324 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 71 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.48 cores=0,2,4,6
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 48 0 0 0 16 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 907 0 0 0 46 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=25.39 cores=0,2,4,6
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7477 0 0 0 2526 13 0 0 15 0 19 0 808321844 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6
/proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13696924

Child status: 143
Real time (s): 1797.06
CPU time (s): 1800.07
CPU user time (s): 1799.79
CPU system time (s): 0.275958
CPU usage (%): 100.168
Max. virtual memory (cumulated for all children) (KiB): 13696924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44873
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= 52017
involuntary context switches= 22565

runsolver used 8.25574 second user time and 16.6885 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-04 05:44:22
IDJOB=3458337
IDBENCH=48157
IDSOLVER=1952
FILE ID=node143/3458337-1307159062
RUNJOBID= node143-1307155462-8495
PBS_JOBID= 13508773
Free space on /tmp= 73976 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458337-1307159062/watcher-3458337-1307159062 -o /tmp/evaluation-result-3458337-1307159062/solver-3458337-1307159062 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458337-1307159062.opb

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

MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948
RANDOM SEED=16773117

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24651124 kB
Buffers:        302624 kB
Cached:         453236 kB
SwapCached:       9140 kB
Active:        7541428 kB
Inactive:       477960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24651124 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:             924 kB
Writeback:           0 kB
AnonPages:     7260356 kB
Mapped:          28268 kB
Slab:           132276 kB
PageTables:      79948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 129091468 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= 73976 MiB
End job on node143 at 2011-06-04 06:14:21