Trace number 3458328

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)13 1800.13 1797.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1797.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/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-3458328-1307158980.opb
0.10/0.11	c reading problem ... 
0.49/0.45	c ... done. Wall clock time 0.346s.
0.49/0.45	c #vars     6426
0.49/0.45	c #constraints  12652
0.49/0.45	c constraints type 
0.49/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426
0.49/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1.14/0.58	c SATISFIABLE
1.14/0.58	c OPTIMIZING...
1.14/0.58	c Got one! Elapsed wall clock time (in seconds):0.476
1.14/0.58	o 17
1.36/0.64	c Got one! Elapsed wall clock time (in seconds):0.528
1.36/0.64	o 16
1.65/0.72	c Got one! Elapsed wall clock time (in seconds):0.608
1.65/0.72	o 15
2.74/1.77	c cleaning 2585 clauses out of 5178 with flag 5001/5178
4.01/2.93	c cleaning 4294 clauses out of 8592 with flag 11000/11177
5.32/4.20	c cleaning 5644 clauses out of 11299 with flag 18001/18178
6.83/5.73	c cleaning 6823 clauses out of 13654 with flag 26000/26177
8.65/7.51	c cleaning 7911 clauses out of 15832 with flag 35001/35178
10.55/9.49	c cleaning 8955 clauses out of 17920 with flag 45000/45177
12.75/11.65	c cleaning 9977 clauses out of 19965 with flag 56000/56177
14.96/13.83	c cleaning 10993 clauses out of 21989 with flag 68001/68178
17.16/16.04	c Got one! Elapsed wall clock time (in seconds):15.934
17.16/16.04	o 14
18.06/16.95	c cleaning 13844 clauses out of 27701 with flag 5001/84883
19.28/18.18	c cleaning 9923 clauses out of 19857 with flag 11001/90883
20.88/19.70	c cleaning 8463 clauses out of 16933 with flag 18000/97882
22.78/21.64	c cleaning 8232 clauses out of 16471 with flag 26001/105883
25.39/24.31	c cleaning 8614 clauses out of 17241 with flag 35003/114885
27.59/26.44	c cleaning 9310 clauses out of 18625 with flag 45001/124883
30.08/28.95	c cleaning 10150 clauses out of 20314 with flag 56000/135882
32.79/31.64	c cleaning 11076 clauses out of 22165 with flag 68001/147883
35.89/34.72	c cleaning 12041 clauses out of 24088 with flag 81000/160882
39.10/37.99	c cleaning 12524 clauses out of 25049 with flag 94002/173884
41.70/40.56	c cleaning 12758 clauses out of 25523 with flag 107000/186882
44.22/43.08	c cleaning 12875 clauses out of 25765 with flag 120000/199882
47.11/45.91	c cleaning 12941 clauses out of 25891 with flag 133001/212883
50.22/49.06	c cleaning 12971 clauses out of 25950 with flag 146001/225883
53.22/52.03	c cleaning 12987 clauses out of 25979 with flag 159001/238883
56.23/55.02	c cleaning 12990 clauses out of 25991 with flag 172000/251882
59.03/57.84	c cleaning 12998 clauses out of 26003 with flag 185002/264884
61.85/60.68	c cleaning 12995 clauses out of 26003 with flag 198000/277882
64.94/63.75	c cleaning 13000 clauses out of 26009 with flag 211001/290883
67.95/66.71	c cleaning 12998 clauses out of 26010 with flag 224002/303884
71.05/69.84	c cleaning 12995 clauses out of 26010 with flag 237000/316882
73.76/72.57	c cleaning 12999 clauses out of 26015 with flag 250000/329882
76.56/75.30	c cleaning 13003 clauses out of 26016 with flag 263000/342882
79.37/78.13	c cleaning 13004 clauses out of 26015 with flag 276002/355884
82.47/81.22	c cleaning 12997 clauses out of 26009 with flag 289000/368882
85.57/84.30	c cleaning 12997 clauses out of 26012 with flag 302000/381882
88.58/87.31	c cleaning 13006 clauses out of 26018 with flag 315003/394885
91.28/90.10	c cleaning 12998 clauses out of 26009 with flag 328000/407882
94.19/92.98	c cleaning 13002 clauses out of 26012 with flag 341001/420883
97.00/95.79	c cleaning 13001 clauses out of 26011 with flag 354002/433884
99.80/98.52	c cleaning 12999 clauses out of 26010 with flag 367002/446884
102.70/101.40	c cleaning 12998 clauses out of 26009 with flag 380000/459882
105.61/104.38	c cleaning 13003 clauses out of 26011 with flag 393000/472882
108.31/107.10	c cleaning 13001 clauses out of 26011 with flag 406003/485885
111.11/109.81	c cleaning 12997 clauses out of 26009 with flag 419002/498884
113.82/112.58	c cleaning 12999 clauses out of 26012 with flag 432002/511884
116.72/115.44	c cleaning 13000 clauses out of 26012 with flag 445001/524883
119.72/118.41	c cleaning 13000 clauses out of 26012 with flag 458001/537883
122.53/121.25	c cleaning 13001 clauses out of 26012 with flag 471001/550883
125.53/124.28	c cleaning 12999 clauses out of 26013 with flag 484003/563885
128.44/127.12	c cleaning 13001 clauses out of 26011 with flag 497000/576882
131.14/129.87	c cleaning 13005 clauses out of 26012 with flag 510002/589884
133.74/132.41	c cleaning 12999 clauses out of 26005 with flag 523000/602882
136.76/135.48	c cleaning 13001 clauses out of 26007 with flag 536001/615883
140.45/139.19	c cleaning 12998 clauses out of 26007 with flag 549002/628884
143.37/142.08	c cleaning 12996 clauses out of 26007 with flag 562000/641882
146.06/144.70	c cleaning 13001 clauses out of 26012 with flag 575001/654883
148.57/147.29	c cleaning 12998 clauses out of 26012 with flag 588002/667884
151.37/150.04	c cleaning 13002 clauses out of 26013 with flag 601001/680883
154.48/153.12	c cleaning 13001 clauses out of 26015 with flag 614005/693887
157.59/156.21	c cleaning 13000 clauses out of 26009 with flag 627000/706882
160.69/159.38	c cleaning 12997 clauses out of 26010 with flag 640001/719883
163.99/162.68	c cleaning 13000 clauses out of 26013 with flag 653001/732883
167.50/166.14	c cleaning 13002 clauses out of 26014 with flag 666002/745884
171.00/169.61	c cleaning 12999 clauses out of 26011 with flag 679001/758883
174.50/173.19	c cleaning 13002 clauses out of 26012 with flag 692001/771883
177.91/176.56	c cleaning 13000 clauses out of 26009 with flag 705000/784882
181.21/179.80	c cleaning 12998 clauses out of 26009 with flag 718000/797882
184.44/183.01	c cleaning 12999 clauses out of 26013 with flag 731002/810884
187.54/186.19	c cleaning 13001 clauses out of 26014 with flag 744002/823884
190.55/189.19	c cleaning 12999 clauses out of 26012 with flag 757001/836883
193.75/192.31	c cleaning 13001 clauses out of 26015 with flag 770003/849885
197.06/195.62	c cleaning 13002 clauses out of 26014 with flag 783003/862885
200.36/198.90	c cleaning 12996 clauses out of 26009 with flag 796000/875882
203.46/202.08	c cleaning 13004 clauses out of 26015 with flag 809002/888884
206.26/204.84	c cleaning 13000 clauses out of 26010 with flag 822001/901883
209.17/207.76	c cleaning 13001 clauses out of 26014 with flag 835005/914887
211.97/210.51	c cleaning 12999 clauses out of 26008 with flag 848000/927882
214.88/213.49	c cleaning 13001 clauses out of 26012 with flag 861003/940885
217.98/216.50	c cleaning 12997 clauses out of 26008 with flag 874000/953882
221.08/219.61	c cleaning 13002 clauses out of 26013 with flag 887002/966884
223.90/222.44	c cleaning 12995 clauses out of 26009 with flag 900000/979882
226.80/225.32	c cleaning 12999 clauses out of 26014 with flag 913000/992882
229.71/228.27	c cleaning 13002 clauses out of 26017 with flag 926002/1005884
232.63/231.15	c cleaning 13001 clauses out of 26014 with flag 939001/1018883
235.21/233.76	c cleaning 13000 clauses out of 26012 with flag 952000/1031882
237.92/236.41	c cleaning 12998 clauses out of 26012 with flag 965000/1044882
240.52/239.03	c cleaning 13000 clauses out of 26014 with flag 978000/1057882
243.22/241.72	c cleaning 13003 clauses out of 26015 with flag 991001/1070883
245.93/244.47	c cleaning 12998 clauses out of 26011 with flag 1004000/1083882
249.15/247.68	c cleaning 13005 clauses out of 26013 with flag 1017000/1096882
252.45/250.93	c cleaning 12997 clauses out of 26008 with flag 1030000/1109882
255.64/254.19	c cleaning 12997 clauses out of 26011 with flag 1043000/1122882
258.84/257.40	c cleaning 13000 clauses out of 26014 with flag 1056000/1135882
262.26/260.76	c cleaning 13005 clauses out of 26016 with flag 1069002/1148884
265.56/264.06	c cleaning 13000 clauses out of 26009 with flag 1082000/1161882
268.86/267.41	c cleaning 12999 clauses out of 26009 with flag 1095000/1174882
271.76/270.29	c cleaning 13000 clauses out of 26010 with flag 1108000/1187882
274.56/273.09	c cleaning 12999 clauses out of 26012 with flag 1121002/1200884
277.47/275.96	c cleaning 12999 clauses out of 26011 with flag 1134000/1213882
280.27/278.70	c cleaning 13000 clauses out of 26012 with flag 1147000/1226882
282.98/281.45	c cleaning 12997 clauses out of 26014 with flag 1160002/1239884
285.78/284.26	c cleaning 13002 clauses out of 26016 with flag 1173001/1252883
288.48/287.00	c cleaning 12997 clauses out of 26014 with flag 1186001/1265883
291.19/289.69	c cleaning 13000 clauses out of 26016 with flag 1199000/1278882
294.31/292.72	c cleaning 13002 clauses out of 26016 with flag 1212000/1291882
297.51/295.96	c cleaning 13002 clauses out of 26017 with flag 1225003/1304885
300.70/299.21	c cleaning 12999 clauses out of 26013 with flag 1238001/1317883
303.80/302.27	c cleaning 13004 clauses out of 26014 with flag 1251001/1330883
306.60/305.04	c cleaning 12997 clauses out of 26010 with flag 1264001/1343883
309.73/308.13	c cleaning 13000 clauses out of 26014 with flag 1277002/1356884
313.03/311.46	c cleaning 13001 clauses out of 26014 with flag 1290002/1369884
316.22/314.63	c cleaning 13000 clauses out of 26012 with flag 1303001/1382883
319.22/317.61	c cleaning 12999 clauses out of 26011 with flag 1316000/1395882
322.32/320.75	c cleaning 13001 clauses out of 26013 with flag 1329001/1408883
325.62/324.03	c cleaning 13003 clauses out of 26013 with flag 1342002/1421884
329.33/327.74	c cleaning 13002 clauses out of 26009 with flag 1355001/1434883
333.13/331.54	c cleaning 12998 clauses out of 26007 with flag 1368001/1447883
336.83/335.20	c cleaning 13001 clauses out of 26009 with flag 1381001/1460883
340.34/338.72	c cleaning 12996 clauses out of 26007 with flag 1394000/1473882
343.86/342.27	c cleaning 13000 clauses out of 26012 with flag 1407001/1486883
347.54/345.92	c cleaning 13001 clauses out of 26014 with flag 1420003/1499885
351.14/349.58	c cleaning 13000 clauses out of 26010 with flag 1433000/1512882
354.86/353.27	c cleaning 13002 clauses out of 26012 with flag 1446002/1525884
358.17/356.54	c cleaning 13001 clauses out of 26009 with flag 1459001/1538883
361.65/360.01	c cleaning 12998 clauses out of 26007 with flag 1472000/1551882
365.15/363.57	c cleaning 13002 clauses out of 26009 with flag 1485000/1564882
368.76/367.11	c cleaning 12999 clauses out of 26009 with flag 1498002/1577884
372.16/370.55	c cleaning 13000 clauses out of 26008 with flag 1511000/1590882
375.67/374.10	c cleaning 12998 clauses out of 26008 with flag 1524000/1603882
379.26/377.61	c cleaning 12998 clauses out of 26011 with flag 1537001/1616883
382.66/381.02	c cleaning 13003 clauses out of 26013 with flag 1550001/1629883
385.97/384.39	c cleaning 12999 clauses out of 26010 with flag 1563001/1642883
389.57/387.98	c cleaning 13001 clauses out of 26014 with flag 1576004/1655886
392.87/391.23	c cleaning 12996 clauses out of 26009 with flag 1589000/1668882
396.27/394.62	c cleaning 13001 clauses out of 26013 with flag 1602000/1681882
399.57/397.93	c cleaning 12998 clauses out of 26013 with flag 1615001/1694883
403.08/401.40	c cleaning 12998 clauses out of 26014 with flag 1628000/1707882
406.60/404.94	c cleaning 13001 clauses out of 26017 with flag 1641001/1720883
410.09/408.45	c cleaning 13002 clauses out of 26015 with flag 1654000/1733882
413.69/412.03	c cleaning 13000 clauses out of 26013 with flag 1667000/1746882
417.39/415.77	c cleaning 13001 clauses out of 26014 with flag 1680001/1759883
420.91/419.27	c cleaning 13002 clauses out of 26013 with flag 1693001/1772883
424.11/422.47	c cleaning 13003 clauses out of 26017 with flag 1706007/1785889
427.41/425.73	c cleaning 12997 clauses out of 26007 with flag 1719000/1798882
430.61/428.92	c cleaning 12998 clauses out of 26010 with flag 1732000/1811882
433.91/432.22	c cleaning 12999 clauses out of 26013 with flag 1745001/1824883
437.01/435.38	c cleaning 12998 clauses out of 26016 with flag 1758003/1837885
440.22/438.57	c cleaning 12997 clauses out of 26015 with flag 1771000/1850882
443.52/441.81	c cleaning 13000 clauses out of 26019 with flag 1784001/1863883
446.82/445.16	c cleaning 13002 clauses out of 26020 with flag 1797002/1876884
450.22/448.54	c cleaning 12999 clauses out of 26017 with flag 1810001/1889883
453.62/451.98	c cleaning 13002 clauses out of 26017 with flag 1823000/1902882
456.92/455.23	c cleaning 13000 clauses out of 26016 with flag 1836001/1915883
460.22/458.51	c cleaning 13001 clauses out of 26016 with flag 1849001/1928883
463.42/461.76	c cleaning 13004 clauses out of 26019 with flag 1862005/1941887
466.82/465.18	c cleaning 13001 clauses out of 26013 with flag 1875003/1954885
470.23/468.55	c cleaning 12998 clauses out of 26010 with flag 1888001/1967883
473.53/471.91	c cleaning 12999 clauses out of 26012 with flag 1901001/1980883
476.94/475.25	c cleaning 13003 clauses out of 26013 with flag 1914001/1993883
480.14/478.42	c cleaning 13003 clauses out of 26013 with flag 1927004/2006886
483.14/481.49	c cleaning 13000 clauses out of 26008 with flag 1940002/2019884
486.85/485.12	c cleaning 12998 clauses out of 26006 with flag 1953000/2032882
490.34/488.64	c cleaning 12999 clauses out of 26009 with flag 1966001/2045883
493.95/492.26	c cleaning 12997 clauses out of 26009 with flag 1979000/2058882
497.75/496.08	c cleaning 12999 clauses out of 26012 with flag 1992000/2071882
501.27/499.54	c cleaning 13002 clauses out of 26017 with flag 2005004/2084886
504.16/502.49	c cleaning 13000 clauses out of 26013 with flag 2018002/2097884
507.16/505.43	c cleaning 12999 clauses out of 26012 with flag 2031001/2110883
510.16/508.47	c cleaning 13003 clauses out of 26012 with flag 2044000/2123882
513.07/511.38	c cleaning 12998 clauses out of 26009 with flag 2057000/2136882
515.98/514.27	c cleaning 12999 clauses out of 26011 with flag 2070000/2149882
518.90/517.13	c cleaning 12999 clauses out of 26012 with flag 2083000/2162882
521.78/520.09	c cleaning 13001 clauses out of 26014 with flag 2096001/2175883
524.78/523.09	c cleaning 12999 clauses out of 26012 with flag 2109000/2188882
527.99/526.28	c cleaning 13002 clauses out of 26013 with flag 2122000/2201882
531.39/529.68	c cleaning 13000 clauses out of 26014 with flag 2135003/2214885
534.59/532.83	c cleaning 13000 clauses out of 26011 with flag 2148000/2227882
537.90/536.11	c cleaning 12999 clauses out of 26011 with flag 2161000/2240882
541.20/539.41	c cleaning 12999 clauses out of 26012 with flag 2174000/2253882
544.60/542.89	c cleaning 13000 clauses out of 26016 with flag 2187003/2266885
547.91/546.20	c cleaning 13000 clauses out of 26014 with flag 2200001/2279883
551.21/549.48	c cleaning 13000 clauses out of 26013 with flag 2213000/2292882
554.81/553.01	c cleaning 12998 clauses out of 26013 with flag 2226000/2305882
558.32/556.61	c cleaning 13001 clauses out of 26015 with flag 2239000/2318882
561.92/560.10	c cleaning 13002 clauses out of 26014 with flag 2252000/2331882
565.42/563.70	c cleaning 12997 clauses out of 26012 with flag 2265000/2344882
568.93/567.19	c cleaning 13001 clauses out of 26015 with flag 2278000/2357882
572.74/570.94	c cleaning 12999 clauses out of 26014 with flag 2291000/2370882
576.33/574.51	c cleaning 13001 clauses out of 26015 with flag 2304000/2383882
580.14/578.31	c cleaning 13002 clauses out of 26017 with flag 2317003/2396885
583.75/581.96	c cleaning 12999 clauses out of 26012 with flag 2330000/2409882
587.44/585.66	c cleaning 12998 clauses out of 26013 with flag 2343000/2422882
591.25/589.44	c cleaning 13006 clauses out of 26018 with flag 2356003/2435885
594.25/592.42	c cleaning 12996 clauses out of 26009 with flag 2369000/2448882
597.35/595.51	c cleaning 12997 clauses out of 26013 with flag 2382000/2461882
600.45/598.64	c cleaning 12999 clauses out of 26016 with flag 2395000/2474882
603.56/601.73	c cleaning 13001 clauses out of 26017 with flag 2408000/2487882
606.66/604.86	c cleaning 13004 clauses out of 26019 with flag 2421003/2500885
609.86/608.09	c cleaning 13001 clauses out of 26012 with flag 2434000/2513882
613.06/611.25	c cleaning 12999 clauses out of 26013 with flag 2447002/2526884
616.26/614.44	c cleaning 12997 clauses out of 26012 with flag 2460000/2539882
619.46/617.66	c cleaning 13000 clauses out of 26017 with flag 2473002/2552884
622.67/620.89	c cleaning 13002 clauses out of 26015 with flag 2486000/2565882
625.97/624.19	c cleaning 12999 clauses out of 26013 with flag 2499000/2578882
629.37/627.51	c cleaning 12999 clauses out of 26014 with flag 2512000/2591882
632.58/630.77	c cleaning 12999 clauses out of 26015 with flag 2525000/2604882
635.88/634.04	c cleaning 13002 clauses out of 26016 with flag 2538000/2617882
639.18/637.33	c cleaning 12999 clauses out of 26014 with flag 2551000/2630882
642.48/640.67	c cleaning 13002 clauses out of 26017 with flag 2564002/2643884
645.89/644.06	c cleaning 12997 clauses out of 26015 with flag 2577002/2656884
649.09/647.30	c cleaning 13006 clauses out of 26017 with flag 2590001/2669883
652.49/650.62	c cleaning 12997 clauses out of 26010 with flag 2603000/2682882
655.80/653.92	c cleaning 13000 clauses out of 26013 with flag 2616000/2695882
659.20/657.36	c cleaning 13001 clauses out of 26015 with flag 2629002/2708884
662.60/660.77	c cleaning 13000 clauses out of 26012 with flag 2642000/2721882
666.01/664.19	c cleaning 12998 clauses out of 26012 with flag 2655000/2734882
669.51/667.61	c cleaning 13000 clauses out of 26014 with flag 2668000/2747882
673.03/671.17	c cleaning 12998 clauses out of 26014 with flag 2681000/2760882
676.42/674.59	c cleaning 13004 clauses out of 26017 with flag 2694001/2773883
680.02/678.17	c cleaning 12998 clauses out of 26012 with flag 2707000/2786882
683.52/681.65	c cleaning 13001 clauses out of 26014 with flag 2720000/2799882
687.02/685.10	c cleaning 13000 clauses out of 26016 with flag 2733003/2812885
690.64/688.75	c cleaning 13001 clauses out of 26014 with flag 2746001/2825883
694.12/692.23	c cleaning 13001 clauses out of 26012 with flag 2759000/2838882
697.62/695.79	c cleaning 12997 clauses out of 26011 with flag 2772000/2851882
701.43/699.50	c cleaning 12998 clauses out of 26015 with flag 2785001/2864883
705.03/703.13	c cleaning 13001 clauses out of 26016 with flag 2798000/2877882
708.53/706.68	c cleaning 13000 clauses out of 26015 with flag 2811000/2890882
712.03/710.18	c cleaning 13001 clauses out of 26015 with flag 2824000/2903882
715.63/713.71	c cleaning 12999 clauses out of 26014 with flag 2837000/2916882
719.04/717.11	c cleaning 12999 clauses out of 26015 with flag 2850000/2929882
722.56/720.68	c cleaning 12999 clauses out of 26016 with flag 2863000/2942882
726.14/724.24	c cleaning 13003 clauses out of 26018 with flag 2876001/2955883
729.85/727.99	c cleaning 12999 clauses out of 26014 with flag 2889000/2968882
733.57/731.66	c cleaning 13001 clauses out of 26016 with flag 2902001/2981883
736.95/735.00	c cleaning 13001 clauses out of 26014 with flag 2915000/2994882
740.07/738.12	c cleaning 13004 clauses out of 26014 with flag 2928001/3007883
742.96/741.01	c cleaning 12999 clauses out of 26011 with flag 2941002/3020884
745.87/743.96	c cleaning 13001 clauses out of 26011 with flag 2954001/3033883
749.17/747.25	c cleaning 12998 clauses out of 26010 with flag 2967001/3046883
752.37/750.49	c cleaning 12998 clauses out of 26011 with flag 2980000/3059882
755.88/753.96	c cleaning 13002 clauses out of 26013 with flag 2993000/3072882
759.28/757.33	c cleaning 13001 clauses out of 26013 with flag 3006002/3085884
762.69/760.70	c cleaning 12998 clauses out of 26011 with flag 3019001/3098883
766.29/764.30	c cleaning 12999 clauses out of 26015 with flag 3032003/3111885
769.69/767.80	c cleaning 13005 clauses out of 26013 with flag 3045000/3124882
773.40/771.40	c cleaning 13000 clauses out of 26008 with flag 3058000/3137882
777.20/775.25	c cleaning 13001 clauses out of 26009 with flag 3071001/3150883
781.20/779.26	c cleaning 12999 clauses out of 26008 with flag 3084001/3163883
785.33/783.34	c cleaning 13000 clauses out of 26009 with flag 3097001/3176883
788.81/786.86	c cleaning 12996 clauses out of 26008 with flag 3110000/3189882
791.82/789.87	c cleaning 12998 clauses out of 26013 with flag 3123001/3202883
794.82/792.85	c cleaning 12999 clauses out of 26014 with flag 3136000/3215882
797.72/795.79	c cleaning 13002 clauses out of 26017 with flag 3149002/3228884
800.82/798.87	c cleaning 12999 clauses out of 26013 with flag 3162000/3241882
803.82/801.80	c cleaning 13000 clauses out of 26015 with flag 3175001/3254883
806.73/804.73	c cleaning 13000 clauses out of 26014 with flag 3188000/3267882
809.73/807.71	c cleaning 13001 clauses out of 26015 with flag 3201001/3280883
812.85/810.83	c cleaning 13005 clauses out of 26015 with flag 3214002/3293884
816.15/814.15	c cleaning 13000 clauses out of 26009 with flag 3227001/3306883
819.64/817.60	c cleaning 13000 clauses out of 26010 with flag 3240002/3319884
823.04/821.09	c cleaning 12993 clauses out of 26008 with flag 3253000/3332882
826.74/824.72	c cleaning 13002 clauses out of 26015 with flag 3266000/3345882
830.25/828.22	c cleaning 13002 clauses out of 26015 with flag 3279002/3358884
833.55/831.61	c cleaning 13000 clauses out of 26012 with flag 3292001/3371883
837.15/835.16	c cleaning 13001 clauses out of 26013 with flag 3305002/3384884
840.76/838.74	c cleaning 12999 clauses out of 26011 with flag 3318001/3397883
844.16/842.17	c cleaning 12997 clauses out of 26012 with flag 3331001/3410883
847.77/845.73	c cleaning 13002 clauses out of 26017 with flag 3344003/3423885
851.08/849.01	c cleaning 13001 clauses out of 26014 with flag 3357002/3436884
854.08/852.09	c cleaning 13002 clauses out of 26014 with flag 3370003/3449885
857.28/855.27	c cleaning 12998 clauses out of 26010 with flag 3383001/3462883
860.49/858.48	c cleaning 13000 clauses out of 26013 with flag 3396002/3475884
863.69/861.63	c cleaning 13000 clauses out of 26011 with flag 3409000/3488882
866.89/864.89	c cleaning 12998 clauses out of 26011 with flag 3422000/3501882
870.20/868.15	c cleaning 12995 clauses out of 26013 with flag 3435000/3514882
873.50/871.40	c cleaning 13004 clauses out of 26020 with flag 3448002/3527884
876.80/874.70	c cleaning 13001 clauses out of 26014 with flag 3461000/3540882
880.11/878.07	c cleaning 12998 clauses out of 26013 with flag 3474000/3553882
883.33/881.27	c cleaning 12998 clauses out of 26015 with flag 3487000/3566882
886.63/884.54	c cleaning 13001 clauses out of 26020 with flag 3500003/3579885
889.93/887.82	c cleaning 13000 clauses out of 26017 with flag 3513001/3592883
893.12/891.11	c cleaning 13001 clauses out of 26018 with flag 3526002/3605884
896.62/894.55	c cleaning 12997 clauses out of 26017 with flag 3539002/3618884
899.92/897.84	c cleaning 13002 clauses out of 26020 with flag 3552002/3631884
903.32/901.26	c cleaning 12997 clauses out of 26016 with flag 3565000/3644882
906.33/904.31	c cleaning 13006 clauses out of 26020 with flag 3578001/3657883
909.23/907.11	c cleaning 13003 clauses out of 26013 with flag 3591000/3670882
911.94/909.85	c cleaning 12998 clauses out of 26010 with flag 3604000/3683882
914.83/912.73	c cleaning 12999 clauses out of 26013 with flag 3617001/3696883
917.83/915.73	c cleaning 13000 clauses out of 26013 with flag 3630000/3709882
920.75/918.69	c cleaning 13003 clauses out of 26013 with flag 3643000/3722882
923.84/921.77	c cleaning 13001 clauses out of 26011 with flag 3656001/3735883
926.94/924.88	c cleaning 12998 clauses out of 26009 with flag 3669000/3748882
930.04/927.90	c cleaning 12998 clauses out of 26011 with flag 3682000/3761882
933.14/931.05	c cleaning 13001 clauses out of 26013 with flag 3695000/3774882
936.24/934.11	c cleaning 12999 clauses out of 26013 with flag 3708001/3787883
939.35/937.30	c cleaning 13000 clauses out of 26013 with flag 3721000/3800882
942.55/940.48	c cleaning 13003 clauses out of 26016 with flag 3734003/3813885
945.55/943.48	c cleaning 12998 clauses out of 26012 with flag 3747002/3826884
948.65/946.53	c cleaning 13002 clauses out of 26013 with flag 3760001/3839883
951.76/949.63	c cleaning 12998 clauses out of 26011 with flag 3773001/3852883
954.87/952.79	c cleaning 12998 clauses out of 26012 with flag 3786000/3865882
958.18/956.04	c cleaning 13006 clauses out of 26015 with flag 3799001/3878883
961.16/959.00	c cleaning 12995 clauses out of 26008 with flag 3812000/3891882
964.06/961.99	c cleaning 13000 clauses out of 26013 with flag 3825000/3904882
967.07/964.99	c cleaning 12999 clauses out of 26013 with flag 3838000/3917882
970.29/968.12	c cleaning 13001 clauses out of 26015 with flag 3851001/3930883
973.48/971.36	c cleaning 12998 clauses out of 26013 with flag 3864000/3943882
976.67/974.50	c cleaning 13002 clauses out of 26016 with flag 3877001/3956883
979.88/977.72	c cleaning 12999 clauses out of 26016 with flag 3890003/3969885
982.99/980.84	c cleaning 12999 clauses out of 26014 with flag 3903000/3982882
985.79/983.63	c cleaning 13001 clauses out of 26016 with flag 3916001/3995883
988.59/986.42	c cleaning 13001 clauses out of 26015 with flag 3929001/4008883
991.50/989.31	c cleaning 13002 clauses out of 26015 with flag 3942002/4021884
994.40/992.26	c cleaning 12999 clauses out of 26013 with flag 3955002/4034884
997.50/995.30	c cleaning 13000 clauses out of 26012 with flag 3968000/4047882
1000.50/998.36	c cleaning 12998 clauses out of 26012 with flag 3981000/4060882
1003.60/1001.46	c cleaning 13003 clauses out of 26016 with flag 3994002/4073884
1006.71/1004.59	c cleaning 13000 clauses out of 26013 with flag 4007002/4086884
1009.82/1007.63	c cleaning 12999 clauses out of 26012 with flag 4020001/4099883
1012.91/1010.74	c cleaning 12998 clauses out of 26014 with flag 4033002/4112884
1015.81/1013.66	c cleaning 13000 clauses out of 26015 with flag 4046001/4125883
1018.81/1016.66	c cleaning 13000 clauses out of 26014 with flag 4059000/4138882
1021.81/1019.70	c cleaning 12999 clauses out of 26014 with flag 4072000/4151882
1025.02/1022.83	c cleaning 13000 clauses out of 26015 with flag 4085000/4164882
1028.13/1025.94	c cleaning 13004 clauses out of 26017 with flag 4098002/4177884
1031.23/1029.02	c cleaning 12998 clauses out of 26011 with flag 4111000/4190882
1034.33/1032.10	c cleaning 12999 clauses out of 26013 with flag 4124000/4203882
1037.45/1035.26	c cleaning 13001 clauses out of 26014 with flag 4137000/4216882
1040.64/1038.45	c cleaning 13001 clauses out of 26013 with flag 4150000/4229882
1043.84/1041.64	c cleaning 13000 clauses out of 26015 with flag 4163003/4242885
1047.04/1044.87	c cleaning 12998 clauses out of 26012 with flag 4176000/4255882
1050.25/1048.02	c cleaning 13001 clauses out of 26014 with flag 4189000/4268882
1053.46/1051.24	c cleaning 13003 clauses out of 26016 with flag 4202003/4281885
1056.66/1054.41	c cleaning 12995 clauses out of 26010 with flag 4215000/4294882
1059.86/1057.69	c cleaning 13003 clauses out of 26015 with flag 4228000/4307882
1063.16/1060.99	c cleaning 12996 clauses out of 26013 with flag 4241001/4320883
1066.37/1064.13	c cleaning 13005 clauses out of 26017 with flag 4254001/4333883
1069.67/1067.42	c cleaning 12997 clauses out of 26011 with flag 4267000/4346882
1072.77/1070.58	c cleaning 13004 clauses out of 26015 with flag 4280001/4359883
1075.88/1073.69	c cleaning 13000 clauses out of 26011 with flag 4293001/4372883
1078.97/1076.79	c cleaning 12996 clauses out of 26010 with flag 4306000/4385882
1082.28/1080.00	c cleaning 13000 clauses out of 26015 with flag 4319001/4398883
1085.48/1083.23	c cleaning 13002 clauses out of 26015 with flag 4332001/4411883
1088.68/1086.47	c cleaning 13002 clauses out of 26014 with flag 4345002/4424884
1091.98/1089.74	c cleaning 12997 clauses out of 26010 with flag 4358000/4437882
1095.39/1093.10	c cleaning 12999 clauses out of 26014 with flag 4371001/4450883
1098.59/1096.38	c cleaning 13000 clauses out of 26014 with flag 4384000/4463882
1101.79/1099.58	c cleaning 13001 clauses out of 26014 with flag 4397000/4476882
1104.79/1102.58	c cleaning 13000 clauses out of 26014 with flag 4410001/4489883
1107.50/1105.27	c cleaning 13001 clauses out of 26013 with flag 4423000/4502882
1110.51/1108.20	c cleaning 13001 clauses out of 26012 with flag 4436000/4515882
1113.31/1111.01	c cleaning 12999 clauses out of 26012 with flag 4449001/4528883
1116.11/1113.87	c cleaning 13002 clauses out of 26015 with flag 4462003/4541885
1119.01/1116.73	c cleaning 12999 clauses out of 26010 with flag 4475000/4554882
1122.02/1119.73	c cleaning 13001 clauses out of 26016 with flag 4488005/4567887
1124.92/1122.63	c cleaning 13001 clauses out of 26010 with flag 4501000/4580882
1128.02/1125.76	c cleaning 12998 clauses out of 26010 with flag 4514001/4593883
1131.22/1128.98	c cleaning 13001 clauses out of 26011 with flag 4527000/4606882
1134.24/1131.98	c cleaning 13003 clauses out of 26012 with flag 4540002/4619884
1137.13/1134.87	c cleaning 12999 clauses out of 26007 with flag 4553000/4632882
1140.34/1138.00	c cleaning 13000 clauses out of 26009 with flag 4566001/4645883
1143.44/1141.11	c cleaning 12995 clauses out of 26008 with flag 4579000/4658882
1146.54/1144.28	c cleaning 13001 clauses out of 26013 with flag 4592000/4671882
1149.54/1147.30	c cleaning 13003 clauses out of 26013 with flag 4605001/4684883
1152.34/1150.07	c cleaning 12998 clauses out of 26010 with flag 4618001/4697883
1155.26/1152.94	c cleaning 13004 clauses out of 26015 with flag 4631004/4710886
1158.05/1155.75	c cleaning 12996 clauses out of 26007 with flag 4644000/4723882
1160.96/1158.65	c cleaning 12998 clauses out of 26011 with flag 4657000/4736882
1163.86/1161.58	c cleaning 12998 clauses out of 26013 with flag 4670000/4749882
1166.86/1164.59	c cleaning 13005 clauses out of 26015 with flag 4683000/4762882
1169.66/1167.40	c cleaning 12999 clauses out of 26010 with flag 4696000/4775882
1172.46/1170.11	c cleaning 13001 clauses out of 26012 with flag 4709001/4788883
1175.27/1172.92	c cleaning 13000 clauses out of 26010 with flag 4722000/4801882
1178.07/1175.75	c cleaning 13000 clauses out of 26011 with flag 4735001/4814883
1180.87/1178.56	c cleaning 13000 clauses out of 26013 with flag 4748003/4827885
1183.78/1181.44	c cleaning 12999 clauses out of 26011 with flag 4761001/4840883
1186.58/1184.26	c cleaning 13000 clauses out of 26014 with flag 4774003/4853885
1189.40/1187.08	c cleaning 13000 clauses out of 26011 with flag 4787000/4866882
1192.19/1189.84	c cleaning 12999 clauses out of 26011 with flag 4800000/4879882
1195.09/1192.70	c cleaning 12998 clauses out of 26012 with flag 4813000/4892882
1197.99/1195.64	c cleaning 12999 clauses out of 26014 with flag 4826000/4905882
1201.00/1198.60	c cleaning 13003 clauses out of 26016 with flag 4839001/4918883
1203.80/1201.49	c cleaning 12999 clauses out of 26012 with flag 4852000/4931882
1206.70/1204.32	c cleaning 12999 clauses out of 26014 with flag 4865001/4944883
1209.61/1207.28	c cleaning 13005 clauses out of 26015 with flag 4878001/4957883
1212.71/1210.37	c cleaning 13000 clauses out of 26010 with flag 4891001/4970883
1215.83/1213.47	c cleaning 12998 clauses out of 26009 with flag 4904000/4983882
1218.91/1216.61	c cleaning 13001 clauses out of 26011 with flag 4917000/4996882
1222.12/1219.74	c cleaning 13001 clauses out of 26011 with flag 4930001/5009883
1225.02/1222.66	c cleaning 12997 clauses out of 26009 with flag 4943000/5022882
1228.02/1225.68	c cleaning 13000 clauses out of 26014 with flag 4956002/5035884
1231.24/1228.86	c cleaning 13000 clauses out of 26015 with flag 4969003/5048885
1234.43/1232.08	c cleaning 12996 clauses out of 26012 with flag 4982000/5061882
1237.73/1235.34	c cleaning 13002 clauses out of 26017 with flag 4995001/5074883
1240.83/1238.46	c cleaning 12998 clauses out of 26014 with flag 5008000/5087882
1244.23/1241.82	c cleaning 12999 clauses out of 26017 with flag 5021001/5100883
1247.53/1245.12	c cleaning 13003 clauses out of 26017 with flag 5034000/5113882
1250.74/1248.32	c cleaning 12998 clauses out of 26017 with flag 5047003/5126885
1254.04/1251.62	c cleaning 13004 clauses out of 26017 with flag 5060001/5139883
1257.15/1254.72	c cleaning 13003 clauses out of 26012 with flag 5073000/5152882
1259.95/1257.55	c cleaning 13000 clauses out of 26011 with flag 5086002/5165884
1262.86/1260.41	c cleaning 12996 clauses out of 26009 with flag 5099000/5178882
1265.65/1263.28	c cleaning 13001 clauses out of 26014 with flag 5112001/5191883
1268.57/1266.18	c cleaning 12998 clauses out of 26012 with flag 5125000/5204882
1271.56/1269.17	c cleaning 12997 clauses out of 26014 with flag 5138000/5217882
1274.56/1272.12	c cleaning 13003 clauses out of 26020 with flag 5151003/5230885
1277.56/1275.13	c cleaning 13000 clauses out of 26014 with flag 5164000/5243882
1280.57/1278.20	c cleaning 12999 clauses out of 26014 with flag 5177000/5256882
1283.57/1281.16	c cleaning 12999 clauses out of 26015 with flag 5190000/5269882
1286.57/1284.12	c cleaning 13002 clauses out of 26018 with flag 5203002/5282884
1289.59/1287.14	c cleaning 13003 clauses out of 26016 with flag 5216002/5295884
1292.68/1290.25	c cleaning 12997 clauses out of 26012 with flag 5229001/5308883
1295.88/1293.45	c cleaning 13003 clauses out of 26014 with flag 5242000/5321882
1298.98/1296.54	c cleaning 12998 clauses out of 26012 with flag 5255001/5334883
1302.09/1299.61	c cleaning 13000 clauses out of 26014 with flag 5268001/5347883
1305.19/1302.77	c cleaning 13000 clauses out of 26015 with flag 5281002/5360884
1308.31/1305.89	c cleaning 12999 clauses out of 26014 with flag 5294001/5373883
1311.40/1308.99	c cleaning 13001 clauses out of 26016 with flag 5307002/5386884
1314.60/1312.20	c cleaning 13000 clauses out of 26013 with flag 5320000/5399882
1317.70/1315.21	c cleaning 13000 clauses out of 26014 with flag 5333001/5412883
1320.60/1318.16	c cleaning 13001 clauses out of 26018 with flag 5346005/5425887
1323.51/1321.06	c cleaning 13000 clauses out of 26012 with flag 5359000/5438882
1326.51/1324.02	c cleaning 13000 clauses out of 26015 with flag 5372003/5451885
1329.51/1327.02	c cleaning 13000 clauses out of 26015 with flag 5385003/5464885
1332.42/1329.97	c cleaning 12999 clauses out of 26013 with flag 5398001/5477883
1335.42/1332.90	c cleaning 12999 clauses out of 26013 with flag 5411000/5490882
1338.23/1335.74	c cleaning 13002 clauses out of 26015 with flag 5424001/5503883
1341.24/1338.77	c cleaning 12997 clauses out of 26012 with flag 5437000/5516882
1344.33/1341.81	c cleaning 13000 clauses out of 26016 with flag 5450001/5529883
1347.23/1344.78	c cleaning 13000 clauses out of 26015 with flag 5463000/5542882
1350.33/1347.86	c cleaning 12996 clauses out of 26015 with flag 5476000/5555882
1353.46/1350.94	c cleaning 13005 clauses out of 26021 with flag 5489002/5568884
1356.54/1354.10	c cleaning 13003 clauses out of 26017 with flag 5502003/5581885
1359.64/1357.16	c cleaning 12995 clauses out of 26013 with flag 5515002/5594884
1362.64/1360.12	c cleaning 13003 clauses out of 26017 with flag 5528001/5607883
1365.74/1363.23	c cleaning 12999 clauses out of 26013 with flag 5541000/5620882
1368.86/1366.39	c cleaning 12999 clauses out of 26016 with flag 5554002/5633884
1372.17/1369.62	c cleaning 13001 clauses out of 26017 with flag 5567002/5646884
1375.25/1372.72	c cleaning 12999 clauses out of 26016 with flag 5580002/5659884
1378.35/1375.85	c cleaning 13000 clauses out of 26015 with flag 5593000/5672882
1381.56/1379.06	c cleaning 13000 clauses out of 26016 with flag 5606001/5685883
1384.66/1382.19	c cleaning 12998 clauses out of 26016 with flag 5619001/5698883
1387.86/1385.34	c cleaning 13002 clauses out of 26019 with flag 5632002/5711884
1391.06/1388.54	c cleaning 13000 clauses out of 26016 with flag 5645001/5724883
1394.37/1391.83	c cleaning 13000 clauses out of 26015 with flag 5658000/5737882
1397.57/1395.00	c cleaning 13002 clauses out of 26016 with flag 5671001/5750883
1400.68/1398.14	c cleaning 13000 clauses out of 26013 with flag 5684000/5763882
1403.77/1401.23	c cleaning 12997 clauses out of 26013 with flag 5697000/5776882
1406.98/1404.44	c cleaning 13001 clauses out of 26016 with flag 5710000/5789882
1410.28/1407.70	c cleaning 13001 clauses out of 26017 with flag 5723002/5802884
1413.48/1410.96	c cleaning 12999 clauses out of 26014 with flag 5736000/5815882
1416.28/1413.75	c cleaning 12999 clauses out of 26015 with flag 5749000/5828882
1419.29/1416.73	c cleaning 13000 clauses out of 26017 with flag 5762001/5841883
1422.29/1419.71	c cleaning 12998 clauses out of 26016 with flag 5775000/5854882
1425.39/1422.85	c cleaning 13004 clauses out of 26019 with flag 5788001/5867883
1428.59/1426.02	c cleaning 12999 clauses out of 26015 with flag 5801001/5880883
1431.89/1429.36	c cleaning 12998 clauses out of 26015 with flag 5814000/5893882
1434.99/1432.49	c cleaning 12999 clauses out of 26017 with flag 5827000/5906882
1438.40/1435.82	c cleaning 13003 clauses out of 26018 with flag 5840000/5919882
1441.70/1439.15	c cleaning 12997 clauses out of 26017 with flag 5853002/5932884
1444.71/1442.16	c cleaning 13002 clauses out of 26018 with flag 5866000/5945882
1447.81/1445.21	c cleaning 13001 clauses out of 26016 with flag 5879000/5958882
1451.02/1448.40	c cleaning 13002 clauses out of 26015 with flag 5892000/5971882
1453.91/1451.37	c cleaning 13004 clauses out of 26014 with flag 5905001/5984883
1456.62/1454.08	c cleaning 12998 clauses out of 26010 with flag 5918001/5997883
1459.42/1456.82	c cleaning 13001 clauses out of 26014 with flag 5931003/6010885
1462.12/1459.56	c cleaning 13000 clauses out of 26011 with flag 5944001/6023883
1465.12/1462.50	c cleaning 13000 clauses out of 26010 with flag 5957000/6036882
1468.13/1465.55	c cleaning 12998 clauses out of 26010 with flag 5970000/6049882
1471.03/1468.46	c cleaning 13000 clauses out of 26013 with flag 5983001/6062883
1474.13/1471.54	c cleaning 13000 clauses out of 26012 with flag 5996000/6075882
1476.84/1474.24	c cleaning 13000 clauses out of 26012 with flag 6009000/6088882
1479.64/1477.00	c cleaning 12998 clauses out of 26012 with flag 6022000/6101882
1482.54/1479.93	c cleaning 12998 clauses out of 26014 with flag 6035000/6114882
1485.64/1483.08	c cleaning 13001 clauses out of 26016 with flag 6048000/6127882
1488.64/1486.00	c cleaning 13002 clauses out of 26016 with flag 6061001/6140883
1491.65/1489.01	c cleaning 13002 clauses out of 26016 with flag 6074003/6153885
1494.65/1492.02	c cleaning 12996 clauses out of 26012 with flag 6087001/6166883
1497.67/1495.07	c cleaning 13003 clauses out of 26015 with flag 6100000/6179882
1500.75/1498.16	c cleaning 12999 clauses out of 26012 with flag 6113000/6192882
1503.75/1501.15	c cleaning 12997 clauses out of 26014 with flag 6126001/6205883
1507.05/1504.45	c cleaning 12999 clauses out of 26016 with flag 6139000/6218882
1510.05/1507.50	c cleaning 13004 clauses out of 26020 with flag 6152003/6231885
1513.15/1510.57	c cleaning 13000 clauses out of 26014 with flag 6165001/6244883
1516.27/1513.67	c cleaning 12999 clauses out of 26014 with flag 6178001/6257883
1519.57/1516.93	c cleaning 13002 clauses out of 26015 with flag 6191001/6270883
1522.67/1520.00	c cleaning 13001 clauses out of 26014 with flag 6204002/6283884
1525.67/1523.02	c cleaning 13000 clauses out of 26011 with flag 6217000/6296882
1528.57/1525.95	c cleaning 12999 clauses out of 26012 with flag 6230001/6309883
1531.57/1529.00	c cleaning 12998 clauses out of 26012 with flag 6243000/6322882
1534.78/1532.13	c cleaning 13003 clauses out of 26016 with flag 6256002/6335884
1537.68/1535.05	c cleaning 12997 clauses out of 26011 with flag 6269000/6348882
1540.49/1537.85	c cleaning 12999 clauses out of 26014 with flag 6282000/6361882
1543.39/1540.76	c cleaning 13001 clauses out of 26017 with flag 6295002/6374884
1546.39/1543.74	c cleaning 13000 clauses out of 26014 with flag 6308000/6387882
1549.59/1546.95	c cleaning 12999 clauses out of 26014 with flag 6321000/6400882
1552.49/1549.87	c cleaning 13000 clauses out of 26015 with flag 6334000/6413882
1555.49/1552.85	c cleaning 13001 clauses out of 26016 with flag 6347001/6426883
1558.50/1555.90	c cleaning 13002 clauses out of 26015 with flag 6360001/6439883
1561.70/1559.00	c cleaning 13002 clauses out of 26012 with flag 6373000/6452882
1564.82/1562.15	c cleaning 13001 clauses out of 26011 with flag 6386001/6465883
1567.80/1565.14	c cleaning 12999 clauses out of 26010 with flag 6399001/6478883
1570.10/1567.43	c Got one! Elapsed wall clock time (in seconds):1567.322
1570.10/1567.43	o 13
1570.90/1568.23	c cleaning 13928 clauses out of 27875 with flag 5003/6493747
1571.91/1569.22	c cleaning 9967 clauses out of 19946 with flag 11002/6499746
1573.01/1570.38	c cleaning 8479 clauses out of 16977 with flag 18000/6506744
1574.41/1571.71	c cleaning 8241 clauses out of 16498 with flag 26000/6514744
1575.91/1573.25	c cleaning 8620 clauses out of 17259 with flag 35002/6523746
1577.61/1574.97	c cleaning 9312 clauses out of 18637 with flag 45000/6533744
1579.61/1576.90	c cleaning 10156 clauses out of 20325 with flag 56000/6544744
1581.62/1578.96	c cleaning 11075 clauses out of 22171 with flag 68002/6556746
1584.02/1581.36	c cleaning 12036 clauses out of 24094 with flag 81000/6569744
1586.42/1583.70	c cleaning 12524 clauses out of 25059 with flag 94001/6582745
1588.72/1586.03	c cleaning 12759 clauses out of 25534 with flag 107000/6595744
1591.03/1588.41	c cleaning 12879 clauses out of 25775 with flag 120000/6608744
1593.45/1590.78	c cleaning 12939 clauses out of 25896 with flag 133000/6621744
1595.84/1593.18	c cleaning 12968 clauses out of 25958 with flag 146001/6634745
1598.34/1595.61	c cleaning 12988 clauses out of 25989 with flag 159000/6647744
1600.75/1598.09	c cleaning 12993 clauses out of 26004 with flag 172003/6660747
1603.25/1600.51	c cleaning 12996 clauses out of 26009 with flag 185001/6673745
1605.65/1602.96	c cleaning 13000 clauses out of 26012 with flag 198000/6686744
1608.05/1605.37	c cleaning 12996 clauses out of 26015 with flag 211003/6699747
1610.45/1607.79	c cleaning 12998 clauses out of 26016 with flag 224000/6712744
1612.85/1610.15	c cleaning 13001 clauses out of 26019 with flag 237001/6725745
1615.16/1612.41	c cleaning 12999 clauses out of 26017 with flag 250000/6738744
1617.46/1614.76	c cleaning 13002 clauses out of 26018 with flag 263000/6751744
1619.88/1617.13	c cleaning 12999 clauses out of 26017 with flag 276001/6764745
1622.17/1619.43	c cleaning 13000 clauses out of 26018 with flag 289001/6777745
1624.47/1621.75	c cleaning 13001 clauses out of 26017 with flag 302000/6790744
1626.77/1624.07	c cleaning 13000 clauses out of 26017 with flag 315001/6803745
1629.17/1626.43	c cleaning 12997 clauses out of 26016 with flag 328000/6816744
1631.57/1628.87	c cleaning 13000 clauses out of 26021 with flag 341002/6829746
1633.98/1631.26	c cleaning 13002 clauses out of 26019 with flag 354000/6842744
1636.40/1633.67	c cleaning 13000 clauses out of 26018 with flag 367001/6855745
1638.88/1636.12	c cleaning 13001 clauses out of 26017 with flag 380000/6868744
1641.19/1638.45	c cleaning 13001 clauses out of 26016 with flag 393000/6881744
1643.59/1640.82	c cleaning 12998 clauses out of 26016 with flag 406001/6894745
1645.99/1643.22	c cleaning 13001 clauses out of 26018 with flag 419001/6907745
1648.40/1645.71	c cleaning 12999 clauses out of 26016 with flag 432000/6920744
1650.91/1648.20	c cleaning 13004 clauses out of 26019 with flag 445002/6933746
1653.41/1650.64	c cleaning 13000 clauses out of 26015 with flag 458002/6946746
1655.81/1653.08	c cleaning 12998 clauses out of 26017 with flag 471004/6959748
1658.21/1655.48	c cleaning 12999 clauses out of 26017 with flag 484002/6972746
1660.71/1657.94	c cleaning 13003 clauses out of 26017 with flag 497001/6985745
1663.12/1660.38	c cleaning 13000 clauses out of 26013 with flag 510000/6998744
1665.62/1662.85	c cleaning 12999 clauses out of 26013 with flag 523000/7011744
1668.02/1665.26	c cleaning 12997 clauses out of 26014 with flag 536000/7024744
1670.43/1667.69	c cleaning 13001 clauses out of 26018 with flag 549001/7037745
1672.92/1670.17	c cleaning 13000 clauses out of 26017 with flag 562001/7050745
1675.42/1672.66	c cleaning 13001 clauses out of 26016 with flag 575000/7063744
1677.93/1675.19	c cleaning 13000 clauses out of 26015 with flag 588000/7076744
1680.45/1677.64	c cleaning 13001 clauses out of 26016 with flag 601001/7089745
1682.83/1680.02	c cleaning 13000 clauses out of 26015 with flag 614001/7102745
1685.33/1682.51	c cleaning 12998 clauses out of 26014 with flag 627000/7115744
1687.84/1685.05	c cleaning 12999 clauses out of 26017 with flag 640001/7128745
1690.36/1687.56	c cleaning 13002 clauses out of 26021 with flag 653004/7141748
1692.94/1690.12	c cleaning 13001 clauses out of 26017 with flag 666002/7154746
1695.34/1692.58	c cleaning 13000 clauses out of 26015 with flag 679001/7167745
1697.74/1694.94	c cleaning 12997 clauses out of 26016 with flag 692002/7180746
1700.05/1697.30	c cleaning 13001 clauses out of 26017 with flag 705000/7193744
1702.56/1699.75	c cleaning 13002 clauses out of 26017 with flag 718001/7206745
1704.96/1702.10	c cleaning 13000 clauses out of 26015 with flag 731001/7219745
1707.26/1704.46	c cleaning 13000 clauses out of 26016 with flag 744002/7232746
1709.86/1707.08	c cleaning 13003 clauses out of 26014 with flag 757000/7245744
1712.77/1709.98	c cleaning 13004 clauses out of 26013 with flag 770002/7258746
1716.07/1713.22	c cleaning 12995 clauses out of 26008 with flag 783001/7271745
1719.27/1716.45	c cleaning 13001 clauses out of 26012 with flag 796000/7284744
1722.48/1719.64	c cleaning 13003 clauses out of 26013 with flag 809002/7297746
1725.60/1722.75	c cleaning 12998 clauses out of 26009 with flag 822001/7310745
1728.79/1725.98	c cleaning 13001 clauses out of 26012 with flag 835002/7323746
1732.09/1729.25	c cleaning 12998 clauses out of 26010 with flag 848001/7336745
1735.40/1732.61	c cleaning 13003 clauses out of 26014 with flag 861003/7349747
1738.82/1735.95	c cleaning 12999 clauses out of 26008 with flag 874000/7362744
1741.81/1738.90	c cleaning 12999 clauses out of 26010 with flag 887001/7375745
1744.51/1741.68	c cleaning 12998 clauses out of 26011 with flag 900001/7388745
1747.31/1744.48	c cleaning 13004 clauses out of 26015 with flag 913003/7401747
1750.31/1747.41	c cleaning 12997 clauses out of 26008 with flag 926000/7414744
1753.32/1750.45	c cleaning 12997 clauses out of 26013 with flag 939002/7427746
1756.33/1753.51	c cleaning 13000 clauses out of 26014 with flag 952000/7440744
1759.83/1756.91	c cleaning 13001 clauses out of 26016 with flag 965002/7453746
1763.13/1760.26	c cleaning 12999 clauses out of 26013 with flag 978000/7466744
1766.53/1763.61	c cleaning 12998 clauses out of 26014 with flag 991000/7479744
1769.84/1766.93	c cleaning 12999 clauses out of 26019 with flag 1004003/7492747
1773.34/1770.40	c cleaning 13001 clauses out of 26017 with flag 1017000/7505744
1776.84/1773.95	c cleaning 13002 clauses out of 26016 with flag 1030000/7518744
1780.35/1777.45	c cleaning 13003 clauses out of 26015 with flag 1043001/7531745
1783.45/1780.53	c cleaning 12999 clauses out of 26012 with flag 1056001/7544745
1786.55/1783.69	c cleaning 13003 clauses out of 26016 with flag 1069004/7557748
1789.65/1786.71	c cleaning 13000 clauses out of 26009 with flag 1082000/7570744
1792.77/1789.87	c cleaning 12999 clauses out of 26012 with flag 1095003/7583747
1795.97/1793.04	c cleaning 12998 clauses out of 26011 with flag 1108001/7596745
1799.16/1796.23	c cleaning 13004 clauses out of 26014 with flag 1121002/7609746
1800.07/1797.12	c starts		: 300
1800.07/1797.12	c conflicts		: 7613290
1800.07/1797.12	c decisions		: 11505454
1800.07/1797.12	c propagations		: 1468612262
1800.07/1797.12	c inspects		: 14635589228
1800.07/1797.12	c shortcuts		: 0
1800.07/1797.12	c learnt literals	: 0
1800.07/1797.12	c learnt binary clauses	: 0
1800.07/1797.12	c learnt ternary clauses	: 0
1800.07/1797.12	c learnt constraints	: 7613290
1800.07/1797.12	c ignored constraints	: 0
1800.07/1797.12	c root simplifications	: 0
1800.07/1797.12	c removed literals (reason simplification)	: 30135837
1800.07/1797.12	c reason swapping (by a shorter reason)	: 0
1800.07/1797.12	c Calls to reduceDB	: 592
1800.07/1797.12	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.12	c number of learned constraints concerned by reduction	: 0
1800.07/1797.12	c number of learning phase by resolution	: 0
1800.07/1797.12	c number of learning phase by cutting planes	: 0
1800.07/1797.12	c speed (assignments/second)	: 6393944.99059594
1800.07/1797.12	c non guided choices	0
1800.07/1797.13	c learnt constraints type 
1800.07/1797.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16588
1800.07/1797.13	c constraints type 
1800.07/1797.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426
1800.07/1797.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1797.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1800.07/1797.13	s SATISFIABLE
1800.07/1797.13	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 
1800.07/1797.13	c objective function=13
1800.07/1797.13	c Total wall clock time (in seconds): 1797.02

Verifier Data 

OK	13

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-3458328-1307158980/watcher-3458328-1307158980 -o /tmp/evaluation-result-3458328-1307158980/solver-3458328-1307158980 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458328-1307158980.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: 1.93 2.01 1.99 2/476 14484
/proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=86844 CPUtime=0 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 1420 0 1 0 0 0 0 0 25 0 2 0 827496134 88928256 1123 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 21711 1129 876 9 0 12867 0
[pid=14484/tid=14485] ppid=14482 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 6156 0 1 0 0 0 0 0 25 0 2 0 827496135 13850947584 6972 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0723831 s]
/proc/loadavg: 1.93 2.01 1.99 2/476 14484
/proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13555088 CPUtime=0.05 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 14341 0 1 0 4 1 0 0 25 0 18 0 827496134 13880410112 14039 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3388772 14041 1743 9 0 3379506 0
[pid=14484/tid=14485] ppid=14482 vsize=13555088 CPUtime=0.05 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 13171 0 1 0 4 1 0 0 18 0 18 0 827496135 13880410112 14042 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46976260551315 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13555088

[startup+0.100379 s]
/proc/loadavg: 1.93 2.01 1.99 2/476 14484
/proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13622280 CPUtime=0.1 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 15579 0 1 0 8 2 0 0 25 0 18 0 827496134 13949214720 15252 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3405570 15252 2092 9 0 3396304 0
[pid=14484/tid=14485] ppid=14482 vsize=13622280 CPUtime=0.09 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 13635 0 1 0 7 2 0 0 18 0 18 0 827496135 13949214720 15253 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46976256208571 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622280

[startup+0.307211 s]
/proc/loadavg: 1.93 2.01 1.99 2/476 14484
/proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13623796 CPUtime=0.49 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 18176 0 1 0 46 3 0 0 25 0 18 0 827496134 13950767104 17472 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3405949 17472 2220 9 0 3396683 0
[pid=14484/tid=14485] ppid=14482 vsize=13623796 CPUtime=0.29 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 15313 0 1 0 27 2 0 0 18 0 18 0 827496135 13950767104 17472 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46976254869984 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13623796

[startup+0.700302 s]
/proc/loadavg: 1.93 2.01 1.99 2/476 14484
/proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13635532 CPUtime=1.65 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 27672 0 1 0 161 4 0 0 25 0 19 0 827496134 13962784768 25057 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408883 25057 2241 9 0 3399617 0
[pid=14484/tid=14485] ppid=14482 vsize=13635532 CPUtime=0.68 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 17986 0 1 0 65 3 0 0 19 0 19 0 827496135 13962784768 25057 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505818884 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13635532

[startup+1.50115 s]
/proc/loadavg: 1.94 2.01 1.99 4/495 14503
/proc/meminfo: memFree=26145364/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13635532 CPUtime=2.54 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 28345 0 1 0 249 5 0 0 25 0 19 0 827496134 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408883 25730 2244 9 0 3399617 0
[pid=14484/tid=14485] ppid=14482 vsize=13635532 CPUtime=1.48 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 18643 0 1 0 145 3 0 0 20 0 19 0 827496135 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505617797 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14484/tid=14487] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14488] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14489] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14490] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14491] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14492] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827496138 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827496138 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827496138 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13635532 CPUtime=0.51 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4964 0 0 0 51 0 0 0 15 0 19 0 827496140 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13635532 CPUtime=0.52 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3579 0 0 0 52 0 0 0 15 0 19 0 827496141 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14501] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14502] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496141 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14503] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 13635532

[startup+3.10087 s]
/proc/loadavg: 1.94 2.01 1.99 4/495 14503
/proc/meminfo: memFree=26129740/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13635532 CPUtime=4.21 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 32685 0 1 0 416 5 0 0 25 0 19 0 827496134 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408883 30063 2269 9 0 3399617 0
[pid=14484/tid=14485] ppid=14482 vsize=13635532 CPUtime=3.01 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 18839 0 1 0 298 3 0 0 25 0 19 0 827496135 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505891061 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14484/tid=14487] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 486 0 0 0 0 0 0 0 16 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14488] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14489] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14490] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14491] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14492] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 411 0 0 0 0 0 0 0 18 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13635532 CPUtime=0.05 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 1808 0 0 0 5 0 0 0 15 0 19 0 827496138 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13635532 CPUtime=0.54 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4970 0 0 0 54 0 0 0 15 0 19 0 827496140 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13635532 CPUtime=0.55 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3586 0 0 0 55 0 0 0 15 0 19 0 827496141 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14501] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14502] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496141 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14503] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 13635532

[startup+6.3013 s]
/proc/loadavg: 1.94 2.01 1.99 3/495 14503
/proc/meminfo: memFree=26128728/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13632260 CPUtime=7.45 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 33200 0 1 0 740 5 0 0 25 0 19 0 827496134 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408065 29556 2269 9 0 3398799 0
[pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=6.15 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 18841 0 1 0 612 3 0 0 20 0 19 0 827496135 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505937768 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 734 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 411 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=0.11 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 1981 0 0 0 11 0 0 0 15 0 19 0 827496138 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.57 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3589 0 0 0 57 0 0 0 15 0 19 0 827496141 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0

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

[pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.39 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 598 0 0 0 39 0 0 0 15 0 19 0 827496137 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.4 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 40 0 0 0 16 0 19 0 827496137 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.4 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 40 0 0 0 16 0 19 0 827496137 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=20.34 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5233 0 0 0 2025 9 0 0 15 0 19 0 827496138 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.12
Current children cumulated vsize (KiB) 13632260

[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.03 3/495 14561
/proc/meminfo: memFree=26094964/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13632260 CPUtime=1725.18 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 38833 0 1 0 172497 21 0 0 25 0 19 0 827496134 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408065 34427 2270 9 0 3398799 0
[pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=1699.34 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 19405 0 1 0 169927 7 0 0 25 0 19 0 827496135 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505617903 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0.39 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1143 0 0 0 39 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 462 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0.42 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 536 0 0 0 42 0 0 0 16 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 309 0 0 0 41 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 344 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 598 0 0 0 41 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.42 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 42 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 43 0 0 0 16 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=21.24 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5281 0 0 0 2115 9 0 0 15 0 19 0 827496138 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.18
Current children cumulated vsize (KiB) 13632260

[startup+1782.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/495 14562
/proc/meminfo: memFree=26094288/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13632260 CPUtime=1785.25 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 38885 0 1 0 178503 22 0 0 25 0 19 0 827496134 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408065 34452 2270 9 0 3398799 0
[pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=1758.53 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 19424 0 1 0 175846 7 0 0 25 0 19 0 827496135 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505819577 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1143 0 0 0 41 0 0 0 16 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 462 0 0 0 45 0 0 0 16 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 536 0 0 0 44 0 0 0 16 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 311 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 344 0 0 0 45 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 600 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=21.99 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5306 0 0 0 2189 10 0 0 15 0 19 0 827496138 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 13632260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 1.81 2.02 2.01 2/471 14583
/proc/meminfo: memFree=26189512/32951124 swapFree=60688864/67111528
[pid=14484] ppid=14482 vsize=13632260 CPUtime=1800.07 cores=0,2,4,6
/proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 38896 0 1 0 179985 22 0 0 25 0 19 0 827496134 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14484/statm: 3408065 34458 2270 9 0 3398799 0
[pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=1773.12 cores=0,2,4,6
/proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 19429 0 1 0 177305 7 0 0 25 0 19 0 827496135 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505891671 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6
/proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1143 0 0 0 41 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6
/proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 462 0 0 0 45 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 536 0 0 0 44 0 0 0 16 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6
/proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 311 0 0 0 43 0 0 0 16 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6
/proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 344 0 0 0 45 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 600 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6
/proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 44 0 0 0 16 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=22.19 cores=0,2,4,6
/proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5312 0 0 0 2209 10 0 0 15 0 19 0 827496138 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0
[pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6
/proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0
[pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6
/proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0
[pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
[pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6
/proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13632260

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

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

Child status: 143
Real time (s): 1797.15
CPU time (s): 1800.13
CPU user time (s): 1799.89
CPU system time (s): 0.236963
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 13635532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38935
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= 52139
involuntary context switches= 22507

runsolver used 8.79966 second user time and 18.6752 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-04 05:43:00
IDJOB=3458328
IDBENCH=48148
IDSOLVER=1952
FILE ID=node132/3458328-1307158980
RUNJOBID= node132-1307155368-14099
PBS_JOBID= 13508784
Free space on /tmp= 73928 MiB

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

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=872556910

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26239208 kB
Buffers:        323716 kB
Cached:        2984716 kB
SwapCached:      15140 kB
Active:        1095040 kB
Inactive:      5355988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26239208 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:            1176 kB
Writeback:           0 kB
AnonPages:     3135564 kB
Mapped:          27364 kB
Slab:           143860 kB
PageTables:      50096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 122645040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node132 at 2011-06-04 06:12:59