Trace number 3458303

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)76 1800.17 1797.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM08f3a00099e19d384504c40fc611777e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

Quality of the solution as a function of time


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

Solver Data 

0.07/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.08	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		12995394264
0.07/0.09	c Max memory 		13063553024
0.07/0.09	c Total memory 		13063553024
0.07/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@13d4c61c
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-3458303-1307158673.opb
0.10/0.11	c reading problem ... 
1.04/0.52	c ... done. Wall clock time 0.355s.
1.04/0.52	c #vars     6818
1.04/0.52	c #constraints  13136
1.04/0.52	c constraints type 
1.04/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6818
1.04/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1.04/0.59	c SATISFIABLE
1.04/0.59	c OPTIMIZING...
1.04/0.59	c Got one! Elapsed wall clock time (in seconds):0.482
1.04/0.59	o 79
2.00/1.01	c Got one! Elapsed wall clock time (in seconds):0.902
2.00/1.01	o 76
2.76/1.77	c cleaning 2867 clauses out of 5746 with flag 4001/5746
4.03/2.97	c cleaning 4433 clauses out of 8880 with flag 10002/11747
5.35/4.20	c cleaning 5719 clauses out of 11445 with flag 17000/18745
6.75/5.65	c cleaning 6855 clauses out of 13726 with flag 25000/26745
8.38/7.27	c cleaning 7928 clauses out of 15872 with flag 34001/35746
10.29/9.19	c cleaning 8964 clauses out of 17943 with flag 44000/45745
12.39/11.28	c cleaning 9988 clauses out of 19979 with flag 55000/56745
14.69/13.57	c cleaning 10988 clauses out of 21992 with flag 67001/68746
17.09/15.99	c cleaning 11994 clauses out of 24003 with flag 80000/81745
19.80/18.65	c cleaning 12995 clauses out of 26009 with flag 94000/95745
22.70/21.52	c cleaning 13497 clauses out of 27014 with flag 108000/109745
25.31/24.11	c cleaning 13752 clauses out of 27518 with flag 122001/123746
27.92/26.73	c cleaning 13876 clauses out of 27765 with flag 136000/137745
30.52/29.37	c cleaning 13932 clauses out of 27889 with flag 150000/151745
33.42/32.27	c cleaning 13967 clauses out of 27958 with flag 164001/165746
35.93/34.79	c cleaning 13986 clauses out of 27990 with flag 178000/179745
38.54/37.39	c cleaning 13999 clauses out of 28004 with flag 192000/193745
41.23/40.04	c cleaning 13991 clauses out of 28006 with flag 206001/207746
43.84/42.68	c cleaning 13999 clauses out of 28014 with flag 220000/221745
46.65/45.40	c cleaning 14003 clauses out of 28015 with flag 234000/235745
49.67/48.44	c cleaning 13998 clauses out of 28012 with flag 248000/249745
52.45/51.24	c cleaning 14004 clauses out of 28015 with flag 262001/263746
55.06/53.84	c cleaning 14000 clauses out of 28010 with flag 276000/277745
57.66/56.46	c cleaning 13998 clauses out of 28011 with flag 290001/291746
60.26/59.01	c cleaning 14002 clauses out of 28013 with flag 304001/305746
62.77/61.54	c cleaning 14000 clauses out of 28010 with flag 318000/319745
65.57/64.37	c cleaning 13996 clauses out of 28011 with flag 332001/333746
68.57/67.38	c cleaning 14002 clauses out of 28014 with flag 346000/347745
71.48/70.29	c cleaning 13997 clauses out of 28013 with flag 360001/361746
74.48/73.28	c cleaning 14000 clauses out of 28015 with flag 374000/375745
77.59/76.36	c cleaning 14001 clauses out of 28015 with flag 388000/389745
80.19/78.99	c cleaning 14000 clauses out of 28014 with flag 402000/403745
82.90/81.68	c cleaning 14000 clauses out of 28014 with flag 416000/417745
85.61/84.35	c cleaning 14002 clauses out of 28014 with flag 430000/431745
88.61/87.36	c cleaning 13998 clauses out of 28012 with flag 444000/445745
91.71/90.40	c cleaning 13994 clauses out of 28015 with flag 458001/459746
94.92/93.63	c cleaning 14000 clauses out of 28021 with flag 472001/473746
97.72/96.46	c cleaning 14002 clauses out of 28021 with flag 486001/487746
100.82/99.55	c cleaning 13999 clauses out of 28019 with flag 500001/501746
103.93/102.66	c cleaning 13996 clauses out of 28019 with flag 514000/515745
106.84/105.61	c cleaning 14003 clauses out of 28024 with flag 528001/529746
109.84/108.58	c cleaning 13995 clauses out of 28020 with flag 542000/543745
112.94/111.68	c cleaning 14003 clauses out of 28026 with flag 556001/557746
116.25/114.99	c cleaning 14002 clauses out of 28022 with flag 570000/571745
119.55/118.23	c cleaning 13994 clauses out of 28020 with flag 584000/585745
122.15/120.81	c cleaning 14006 clauses out of 28028 with flag 598002/599747
124.76/123.46	c cleaning 14006 clauses out of 28021 with flag 612001/613746
127.36/126.06	c cleaning 14000 clauses out of 28014 with flag 626000/627745
129.86/128.53	c cleaning 13995 clauses out of 28014 with flag 640000/641745
132.56/131.25	c cleaning 14005 clauses out of 28021 with flag 654002/655747
135.59/134.22	c cleaning 14000 clauses out of 28014 with flag 668000/669745
138.37/137.01	c cleaning 14001 clauses out of 28015 with flag 682001/683746
141.27/139.93	c cleaning 13997 clauses out of 28014 with flag 696001/697746
144.40/143.08	c cleaning 13997 clauses out of 28016 with flag 710000/711745
147.28/145.90	c cleaning 13999 clauses out of 28019 with flag 724000/725745
150.38/149.06	c cleaning 14001 clauses out of 28021 with flag 738001/739746
153.49/152.16	c cleaning 13997 clauses out of 28019 with flag 752000/753745
156.69/155.36	c cleaning 14004 clauses out of 28023 with flag 766001/767746
159.89/158.57	c cleaning 14001 clauses out of 28018 with flag 780000/781745
162.49/161.14	c cleaning 14000 clauses out of 28017 with flag 794000/795745
164.99/163.65	c cleaning 14001 clauses out of 28017 with flag 808000/809745
167.51/166.20	c cleaning 13996 clauses out of 28016 with flag 822000/823745
170.20/168.84	c cleaning 13997 clauses out of 28021 with flag 836001/837746
172.81/171.45	c cleaning 14005 clauses out of 28024 with flag 850001/851746
175.51/174.13	c cleaning 13996 clauses out of 28019 with flag 864001/865746
178.11/176.70	c cleaning 14000 clauses out of 28022 with flag 878000/879745
180.62/179.25	c cleaning 14001 clauses out of 28022 with flag 892000/893745
183.22/181.80	c cleaning 14002 clauses out of 28021 with flag 906000/907745
186.15/184.71	c cleaning 14004 clauses out of 28020 with flag 920001/921746
188.84/187.41	c cleaning 14000 clauses out of 28015 with flag 934000/935745
191.65/190.24	c cleaning 13998 clauses out of 28016 with flag 948001/949746
194.95/193.51	c cleaning 14000 clauses out of 28017 with flag 962000/963745
197.95/196.57	c cleaning 13998 clauses out of 28017 with flag 976000/977745
201.16/199.72	c cleaning 14004 clauses out of 28019 with flag 990000/991745
204.26/202.85	c cleaning 14000 clauses out of 28016 with flag 1004001/1005746
207.36/205.94	c cleaning 13999 clauses out of 28015 with flag 1018000/1019745
210.86/209.49	c cleaning 13997 clauses out of 28016 with flag 1032000/1033745
214.57/213.15	c cleaning 14004 clauses out of 28019 with flag 1046000/1047745
218.08/216.70	c cleaning 13997 clauses out of 28015 with flag 1060000/1061745
221.77/220.30	c cleaning 13996 clauses out of 28019 with flag 1074001/1075746
224.80/223.36	c cleaning 14004 clauses out of 28024 with flag 1088002/1089747
227.58/226.17	c cleaning 14002 clauses out of 28018 with flag 1102000/1103745
230.49/229.07	c cleaning 14002 clauses out of 28017 with flag 1116001/1117746
233.50/232.08	c cleaning 13997 clauses out of 28015 with flag 1130001/1131746
236.49/235.10	c cleaning 13999 clauses out of 28018 with flag 1144001/1145746
239.50/238.03	c cleaning 13998 clauses out of 28019 with flag 1158001/1159746
242.42/240.95	c cleaning 13999 clauses out of 28020 with flag 1172000/1173745
245.30/243.84	c cleaning 14005 clauses out of 28023 with flag 1186002/1187747
248.61/247.14	c cleaning 13999 clauses out of 28017 with flag 1200001/1201746
251.81/250.35	c cleaning 14001 clauses out of 28018 with flag 1214001/1215746
255.01/253.53	c cleaning 13996 clauses out of 28018 with flag 1228002/1229747
258.22/256.78	c cleaning 14000 clauses out of 28020 with flag 1242000/1243745
261.62/260.12	c cleaning 14001 clauses out of 28020 with flag 1256000/1257745
264.72/263.28	c cleaning 14004 clauses out of 28020 with flag 1270001/1271746
268.03/266.52	c cleaning 13998 clauses out of 28016 with flag 1284001/1285746
271.33/269.80	c cleaning 14000 clauses out of 28018 with flag 1298001/1299746
274.43/272.97	c cleaning 14003 clauses out of 28017 with flag 1312000/1313745
277.53/276.09	c cleaning 14001 clauses out of 28014 with flag 1326000/1327745
280.33/278.86	c cleaning 13999 clauses out of 28014 with flag 1340001/1341746
283.23/281.79	c cleaning 14001 clauses out of 28015 with flag 1354001/1355746
286.45/284.96	c cleaning 13999 clauses out of 28013 with flag 1368000/1369745
289.24/287.74	c cleaning 13997 clauses out of 28014 with flag 1382000/1383745
292.05/290.57	c cleaning 14002 clauses out of 28018 with flag 1396001/1397746
295.05/293.52	c cleaning 14000 clauses out of 28015 with flag 1410000/1411745
297.85/296.35	c cleaning 13999 clauses out of 28015 with flag 1424000/1425745
300.77/299.25	c cleaning 14002 clauses out of 28017 with flag 1438001/1439746
303.76/302.22	c cleaning 13997 clauses out of 28015 with flag 1452001/1453746
306.56/305.02	c cleaning 14005 clauses out of 28019 with flag 1466002/1467747
309.36/307.89	c cleaning 13998 clauses out of 28013 with flag 1480001/1481746
312.27/310.78	c cleaning 13994 clauses out of 28014 with flag 1494000/1495745
315.27/313.74	c cleaning 13998 clauses out of 28020 with flag 1508000/1509745
318.08/316.55	c cleaning 14005 clauses out of 28024 with flag 1522002/1523747
321.28/319.70	c cleaning 13996 clauses out of 28017 with flag 1536000/1537745
324.39/322.82	c cleaning 14000 clauses out of 28021 with flag 1550000/1551745
327.69/326.12	c cleaning 13999 clauses out of 28022 with flag 1564001/1565746
330.90/329.39	c cleaning 13996 clauses out of 28022 with flag 1578000/1579745
334.20/332.69	c cleaning 14005 clauses out of 28029 with flag 1592003/1593748
337.51/335.99	c cleaning 14004 clauses out of 28023 with flag 1606002/1607747
340.82/339.28	c cleaning 14003 clauses out of 28017 with flag 1620000/1621745
343.74/342.13	c cleaning 13992 clauses out of 28014 with flag 1634000/1635745
346.53/344.94	c cleaning 14003 clauses out of 28023 with flag 1648001/1649746
349.54/347.94	c cleaning 14000 clauses out of 28019 with flag 1662000/1663745
352.64/351.00	c cleaning 14004 clauses out of 28020 with flag 1676001/1677746
355.65/354.10	c cleaning 13993 clauses out of 28015 with flag 1690000/1691745
358.75/357.18	c cleaning 14003 clauses out of 28023 with flag 1704001/1705746
361.85/360.20	c cleaning 13996 clauses out of 28019 with flag 1718000/1719745
364.76/363.13	c cleaning 13997 clauses out of 28023 with flag 1732000/1733745
367.76/366.17	c cleaning 14002 clauses out of 28026 with flag 1746000/1747745
370.86/369.28	c cleaning 14000 clauses out of 28024 with flag 1760000/1761745
373.67/372.09	c cleaning 14003 clauses out of 28024 with flag 1774000/1775745
376.79/375.15	c cleaning 14002 clauses out of 28021 with flag 1788000/1789745
379.68/378.06	c cleaning 13996 clauses out of 28019 with flag 1802000/1803745
382.68/381.07	c cleaning 13996 clauses out of 28024 with flag 1816001/1817746
385.49/383.89	c cleaning 14002 clauses out of 28027 with flag 1830000/1831745
388.38/386.75	c cleaning 14008 clauses out of 28026 with flag 1844001/1845746
391.29/389.61	c cleaning 14001 clauses out of 28019 with flag 1858002/1859747
394.19/392.53	c cleaning 13998 clauses out of 28018 with flag 1872002/1873747
397.09/395.44	c cleaning 14002 clauses out of 28018 with flag 1886000/1887745
400.09/398.42	c cleaning 13996 clauses out of 28016 with flag 1900000/1901745
402.99/401.41	c cleaning 13998 clauses out of 28020 with flag 1914000/1915745
406.10/404.45	c cleaning 14000 clauses out of 28023 with flag 1928001/1929746
409.00/407.34	c cleaning 13994 clauses out of 28023 with flag 1942001/1943746
411.90/410.26	c cleaning 14010 clauses out of 28031 with flag 1956003/1957748
414.90/413.24	c cleaning 13997 clauses out of 28018 with flag 1970000/1971745
417.81/416.15	c cleaning 13998 clauses out of 28021 with flag 1984000/1985745
420.41/418.78	c cleaning 14003 clauses out of 28023 with flag 1998000/1999745
423.12/421.45	c cleaning 13999 clauses out of 28020 with flag 2012000/2013745
425.72/424.09	c cleaning 14000 clauses out of 28021 with flag 2026000/2027745
428.63/426.99	c cleaning 14001 clauses out of 28022 with flag 2040001/2041746
431.43/429.75	c cleaning 14006 clauses out of 28020 with flag 2054000/2055745
434.44/432.71	c cleaning 13997 clauses out of 28015 with flag 2068001/2069746
437.36/435.69	c cleaning 14001 clauses out of 28018 with flag 2082001/2083746
440.55/438.81	c cleaning 14002 clauses out of 28016 with flag 2096000/2097745
443.45/441.70	c cleaning 13998 clauses out of 28015 with flag 2110001/2111746
446.25/444.60	c cleaning 14005 clauses out of 28018 with flag 2124002/2125747
449.15/447.48	c cleaning 14000 clauses out of 28012 with flag 2138001/2139746
452.26/450.53	c cleaning 14000 clauses out of 28011 with flag 2152000/2153745
455.26/453.53	c cleaning 13998 clauses out of 28012 with flag 2166001/2167746
458.17/456.49	c cleaning 13996 clauses out of 28014 with flag 2180001/2181746
460.87/459.20	c cleaning 13998 clauses out of 28018 with flag 2194001/2195746
463.88/462.16	c cleaning 13993 clauses out of 28020 with flag 2208001/2209746
466.88/465.15	c cleaning 13997 clauses out of 28027 with flag 2222001/2223746
469.69/467.98	c cleaning 14008 clauses out of 28029 with flag 2236000/2237745
472.69/470.91	c cleaning 13998 clauses out of 28022 with flag 2250001/2251746
475.49/473.75	c cleaning 14004 clauses out of 28023 with flag 2264000/2265745
478.50/476.78	c cleaning 13999 clauses out of 28020 with flag 2278001/2279746
481.20/479.47	c cleaning 14003 clauses out of 28020 with flag 2292000/2293745
484.11/482.31	c cleaning 14000 clauses out of 28018 with flag 2306001/2307746
486.93/485.12	c cleaning 13997 clauses out of 28018 with flag 2320001/2321746
489.71/487.97	c cleaning 14000 clauses out of 28020 with flag 2334000/2335745
492.62/490.89	c cleaning 14004 clauses out of 28020 with flag 2348000/2349745
495.63/493.82	c cleaning 13996 clauses out of 28016 with flag 2362000/2363745
498.53/496.75	c cleaning 14000 clauses out of 28021 with flag 2376001/2377746
501.53/499.74	c cleaning 13994 clauses out of 28020 with flag 2390000/2391745
504.43/502.68	c cleaning 13999 clauses out of 28027 with flag 2404001/2405746
507.33/505.56	c cleaning 14003 clauses out of 28027 with flag 2418000/2419745
510.33/508.56	c cleaning 14001 clauses out of 28024 with flag 2432000/2433745
513.44/511.65	c cleaning 14011 clauses out of 28025 with flag 2446002/2447747
516.54/514.74	c cleaning 13996 clauses out of 28012 with flag 2460000/2461745
519.64/517.88	c cleaning 14002 clauses out of 28017 with flag 2474001/2475746
522.85/521.09	c cleaning 14005 clauses out of 28014 with flag 2488000/2489745
525.95/524.10	c cleaning 13998 clauses out of 28010 with flag 2502001/2503746
529.16/527.35	c cleaning 13996 clauses out of 28012 with flag 2516001/2517746
532.27/530.48	c cleaning 14000 clauses out of 28015 with flag 2530000/2531745
535.57/533.73	c cleaning 14001 clauses out of 28015 with flag 2544000/2545745
538.69/536.88	c cleaning 13995 clauses out of 28014 with flag 2558000/2559745
541.99/540.12	c cleaning 14002 clauses out of 28020 with flag 2572001/2573746
545.08/543.23	c cleaning 13998 clauses out of 28018 with flag 2586001/2587746
548.18/546.31	c cleaning 13994 clauses out of 28019 with flag 2600000/2601745
551.28/549.46	c cleaning 14007 clauses out of 28026 with flag 2614001/2615746
554.48/552.67	c cleaning 14003 clauses out of 28020 with flag 2628002/2629747
557.58/555.72	c cleaning 13997 clauses out of 28016 with flag 2642001/2643746
560.48/558.65	c cleaning 14000 clauses out of 28019 with flag 2656001/2657746
563.29/561.41	c cleaning 13996 clauses out of 28018 with flag 2670000/2671745
565.99/564.15	c cleaning 13999 clauses out of 28023 with flag 2684001/2685746
568.69/566.83	c cleaning 14002 clauses out of 28024 with flag 2698001/2699746
571.40/569.52	c cleaning 13999 clauses out of 28021 with flag 2712000/2713745
574.10/572.27	c cleaning 14003 clauses out of 28023 with flag 2726001/2727746
576.81/574.93	c cleaning 14005 clauses out of 28020 with flag 2740001/2741746
579.51/577.66	c cleaning 14001 clauses out of 28015 with flag 2754001/2755746
582.21/580.37	c cleaning 14000 clauses out of 28014 with flag 2768001/2769746
585.12/583.22	c cleaning 14000 clauses out of 28014 with flag 2782001/2783746
587.82/585.94	c cleaning 13999 clauses out of 28013 with flag 2796000/2797745
590.62/588.73	c cleaning 13996 clauses out of 28014 with flag 2810000/2811745
593.42/591.54	c cleaning 13996 clauses out of 28018 with flag 2824000/2825745
596.13/594.25	c cleaning 14002 clauses out of 28022 with flag 2838000/2839745
599.03/597.10	c cleaning 13997 clauses out of 28021 with flag 2852001/2853746
601.73/599.82	c cleaning 14006 clauses out of 28024 with flag 2866001/2867746
604.44/602.53	c cleaning 13999 clauses out of 28018 with flag 2880001/2881746
607.24/605.36	c cleaning 14002 clauses out of 28021 with flag 2894003/2895748
610.15/608.23	c cleaning 13997 clauses out of 28017 with flag 2908001/2909746
612.94/611.06	c cleaning 13998 clauses out of 28021 with flag 2922002/2923747
615.65/613.78	c cleaning 14003 clauses out of 28022 with flag 2936001/2937746
618.44/616.54	c cleaning 14000 clauses out of 28018 with flag 2950000/2951745
621.35/619.41	c cleaning 13997 clauses out of 28019 with flag 2964001/2965746
624.25/622.35	c cleaning 13998 clauses out of 28021 with flag 2978000/2979745
626.95/625.05	c cleaning 14006 clauses out of 28023 with flag 2992000/2993745
629.36/627.46	c cleaning 14000 clauses out of 28018 with flag 3006001/3007746
631.86/629.97	c cleaning 13997 clauses out of 28017 with flag 3020000/3021745
634.67/632.78	c cleaning 14002 clauses out of 28021 with flag 3034001/3035746
637.68/635.76	c cleaning 13996 clauses out of 28018 with flag 3048000/3049745
640.48/638.56	c cleaning 14005 clauses out of 28022 with flag 3062000/3063745
643.19/641.24	c cleaning 14004 clauses out of 28018 with flag 3076001/3077746
646.09/644.12	c cleaning 14001 clauses out of 28014 with flag 3090001/3091746
649.19/647.22	c cleaning 13996 clauses out of 28012 with flag 3104000/3105745
652.70/650.77	c cleaning 14005 clauses out of 28016 with flag 3118000/3119745
655.61/653.68	c cleaning 13998 clauses out of 28011 with flag 3132000/3133745
658.51/656.57	c cleaning 14000 clauses out of 28014 with flag 3146001/3147746
661.41/659.44	c cleaning 13996 clauses out of 28014 with flag 3160001/3161746
664.32/662.36	c cleaning 13994 clauses out of 28017 with flag 3174000/3175745
667.23/665.20	c cleaning 14008 clauses out of 28023 with flag 3188000/3189745
670.03/668.02	c cleaning 13997 clauses out of 28017 with flag 3202002/3203747
673.05/671.09	c cleaning 14002 clauses out of 28019 with flag 3216001/3217746
675.94/673.96	c cleaning 13995 clauses out of 28016 with flag 3230000/3231745
678.85/676.82	c cleaning 13998 clauses out of 28021 with flag 3244000/3245745
681.88/679.85	c cleaning 14006 clauses out of 28024 with flag 3258001/3259746
684.76/682.72	c cleaning 13999 clauses out of 28018 with flag 3272001/3273746
687.77/685.74	c cleaning 14000 clauses out of 28019 with flag 3286001/3287746
690.97/688.98	c cleaning 13997 clauses out of 28018 with flag 3300000/3301745
693.88/691.90	c cleaning 14000 clauses out of 28021 with flag 3314000/3315745
696.98/694.92	c cleaning 14004 clauses out of 28022 with flag 3328001/3329746
700.09/698.01	c cleaning 13999 clauses out of 28018 with flag 3342001/3343746
703.09/701.01	c cleaning 14001 clauses out of 28019 with flag 3356001/3357746
706.11/704.06	c cleaning 14001 clauses out of 28017 with flag 3370000/3371745
709.10/707.08	c cleaning 13998 clauses out of 28016 with flag 3384000/3385745
712.00/709.99	c cleaning 14000 clauses out of 28019 with flag 3398001/3399746
715.00/712.91	c cleaning 14000 clauses out of 28018 with flag 3412000/3413745
718.01/716.01	c cleaning 13998 clauses out of 28018 with flag 3426000/3427745
721.12/719.07	c cleaning 13999 clauses out of 28020 with flag 3440000/3441745
724.43/722.37	c cleaning 14001 clauses out of 28022 with flag 3454001/3455746
727.53/725.46	c cleaning 14000 clauses out of 28022 with flag 3468002/3469747
730.73/728.69	c cleaning 13998 clauses out of 28020 with flag 3482000/3483745
733.94/731.84	c cleaning 14008 clauses out of 28023 with flag 3496001/3497746
737.04/734.90	c cleaning 13997 clauses out of 28015 with flag 3510001/3511746
740.26/738.19	c cleaning 13999 clauses out of 28017 with flag 3524000/3525745
743.35/741.23	c cleaning 13997 clauses out of 28018 with flag 3538000/3539745
746.45/744.39	c cleaning 13998 clauses out of 28022 with flag 3552001/3553746
749.55/747.41	c cleaning 14000 clauses out of 28023 with flag 3566000/3567745
752.45/750.36	c cleaning 14000 clauses out of 28024 with flag 3580001/3581746
755.36/753.29	c cleaning 14000 clauses out of 28024 with flag 3594001/3595746
758.26/756.12	c cleaning 13999 clauses out of 28024 with flag 3608001/3609746
761.19/759.10	c cleaning 13996 clauses out of 28025 with flag 3622001/3623746
764.38/762.24	c cleaning 14000 clauses out of 28028 with flag 3636000/3637745
767.57/765.42	c cleaning 14005 clauses out of 28028 with flag 3650000/3651745
770.38/768.21	c cleaning 14006 clauses out of 28023 with flag 3664000/3665745
773.38/771.28	c cleaning 14001 clauses out of 28017 with flag 3678000/3679745
776.39/774.23	c cleaning 14000 clauses out of 28016 with flag 3692000/3693745
779.29/777.19	c cleaning 13998 clauses out of 28016 with flag 3706000/3707745
782.11/779.95	c cleaning 14001 clauses out of 28019 with flag 3720001/3721746
784.89/782.70	c cleaning 13999 clauses out of 28017 with flag 3734000/3735745
787.79/785.63	c cleaning 14003 clauses out of 28019 with flag 3748001/3749746
790.70/788.59	c cleaning 14000 clauses out of 28016 with flag 3762001/3763746
793.81/791.63	c cleaning 13992 clauses out of 28015 with flag 3776000/3777745
796.81/794.68	c cleaning 14004 clauses out of 28023 with flag 3790000/3791745
799.91/797.71	c cleaning 14002 clauses out of 28019 with flag 3804000/3805745
802.92/800.74	c cleaning 13993 clauses out of 28018 with flag 3818001/3819746
805.92/803.72	c cleaning 14001 clauses out of 28025 with flag 3832001/3833746
808.72/806.52	c cleaning 14004 clauses out of 28023 with flag 3846000/3847745
811.52/809.30	c cleaning 13998 clauses out of 28020 with flag 3860001/3861746
814.42/812.25	c cleaning 14000 clauses out of 28021 with flag 3874000/3875745
817.43/815.27	c cleaning 14002 clauses out of 28021 with flag 3888000/3889745
820.53/818.39	c cleaning 14001 clauses out of 28019 with flag 3902000/3903745
823.73/821.55	c cleaning 14004 clauses out of 28018 with flag 3916000/3917745
826.83/824.67	c cleaning 14000 clauses out of 28015 with flag 3930001/3931746
829.84/827.64	c cleaning 13997 clauses out of 28015 with flag 3944001/3945746
832.84/830.66	c cleaning 13999 clauses out of 28017 with flag 3958000/3959745
835.84/833.63	c cleaning 13999 clauses out of 28018 with flag 3972000/3973745
838.84/836.65	c cleaning 14004 clauses out of 28019 with flag 3986000/3987745
841.85/839.62	c cleaning 13999 clauses out of 28015 with flag 4000000/4001745
844.65/842.46	c cleaning 13997 clauses out of 28017 with flag 4014001/4015746
847.66/845.42	c cleaning 14001 clauses out of 28019 with flag 4028000/4029745
850.46/848.28	c cleaning 13998 clauses out of 28018 with flag 4042000/4043745
853.57/851.39	c cleaning 13992 clauses out of 28020 with flag 4056000/4057745
856.57/854.38	c cleaning 14003 clauses out of 28028 with flag 4070000/4071745
859.57/857.36	c cleaning 14002 clauses out of 28026 with flag 4084001/4085746
862.67/860.40	c cleaning 14002 clauses out of 28023 with flag 4098000/4099745
865.68/863.51	c cleaning 13999 clauses out of 28022 with flag 4112001/4113746
868.78/866.55	c cleaning 14001 clauses out of 28022 with flag 4126000/4127745
871.88/869.61	c cleaning 14000 clauses out of 28021 with flag 4140000/4141745
874.88/872.64	c cleaning 13999 clauses out of 28022 with flag 4154001/4155746
877.98/875.77	c cleaning 14003 clauses out of 28022 with flag 4168000/4169745
880.99/878.75	c cleaning 14002 clauses out of 28020 with flag 4182001/4183746
883.99/881.79	c cleaning 13995 clauses out of 28017 with flag 4196000/4197745
886.99/884.75	c cleaning 14002 clauses out of 28022 with flag 4210000/4211745
889.90/887.67	c cleaning 13995 clauses out of 28020 with flag 4224000/4225745
893.00/890.78	c cleaning 13998 clauses out of 28025 with flag 4238000/4239745
896.00/893.74	c cleaning 14000 clauses out of 28029 with flag 4252002/4253747
899.10/896.83	c cleaning 14007 clauses out of 28029 with flag 4266002/4267747
902.30/900.01	c cleaning 14005 clauses out of 28021 with flag 4280001/4281746
905.42/903.14	c cleaning 14000 clauses out of 28016 with flag 4294001/4295746
908.61/906.34	c cleaning 13996 clauses out of 28015 with flag 4308000/4309745
911.61/909.39	c cleaning 14000 clauses out of 28020 with flag 4322001/4323746
914.71/912.42	c cleaning 14003 clauses out of 28019 with flag 4336000/4337745
917.61/915.32	c cleaning 14000 clauses out of 28017 with flag 4350001/4351746
920.61/918.32	c cleaning 13992 clauses out of 28016 with flag 4364000/4365745
923.62/921.33	c cleaning 14005 clauses out of 28024 with flag 4378000/4379745
926.52/924.29	c cleaning 13995 clauses out of 28019 with flag 4392000/4393745
929.52/927.26	c cleaning 14002 clauses out of 28024 with flag 4406000/4407745
932.52/930.25	c cleaning 14000 clauses out of 28022 with flag 4420000/4421745
935.62/933.30	c cleaning 14006 clauses out of 28023 with flag 4434001/4435746
938.44/936.19	c cleaning 13996 clauses out of 28016 with flag 4448000/4449745
941.53/939.22	c cleaning 13998 clauses out of 28020 with flag 4462000/4463745
944.53/942.20	c cleaning 13997 clauses out of 28022 with flag 4476000/4477745
947.25/944.93	c cleaning 14013 clauses out of 28025 with flag 4490000/4491745
949.74/947.48	c cleaning 13999 clauses out of 28014 with flag 4504002/4505747
952.54/950.30	c cleaning 13998 clauses out of 28014 with flag 4518001/4519746
955.64/953.30	c cleaning 13997 clauses out of 28015 with flag 4532000/4533745
958.55/956.20	c cleaning 13998 clauses out of 28018 with flag 4546000/4547745
961.75/959.41	c cleaning 14006 clauses out of 28020 with flag 4560000/4561745
964.87/962.56	c cleaning 14001 clauses out of 28014 with flag 4574000/4575745
967.76/965.49	c cleaning 13998 clauses out of 28014 with flag 4588001/4589746
970.86/968.53	c cleaning 13996 clauses out of 28015 with flag 4602000/4603745
973.86/971.51	c cleaning 14001 clauses out of 28020 with flag 4616001/4617746
976.57/974.20	c cleaning 14006 clauses out of 28021 with flag 4630003/4631748
979.19/976.83	c cleaning 13995 clauses out of 28012 with flag 4644000/4645745
981.87/979.56	c cleaning 14001 clauses out of 28017 with flag 4658000/4659745
984.77/982.40	c cleaning 13999 clauses out of 28016 with flag 4672000/4673745
987.48/985.13	c cleaning 14000 clauses out of 28018 with flag 4686001/4687746
990.58/988.24	c cleaning 14003 clauses out of 28017 with flag 4700000/4701745
993.89/991.55	c cleaning 14001 clauses out of 28014 with flag 4714000/4715745
997.30/994.90	c cleaning 13995 clauses out of 28013 with flag 4728000/4729745
1000.20/997.84	c cleaning 14001 clauses out of 28018 with flag 4742000/4743745
1003.31/1000.91	c cleaning 13999 clauses out of 28018 with flag 4756001/4757746
1006.51/1004.11	c cleaning 14002 clauses out of 28020 with flag 4770002/4771747
1009.41/1007.10	c cleaning 14000 clauses out of 28017 with flag 4784001/4785746
1012.51/1010.14	c cleaning 14001 clauses out of 28018 with flag 4798002/4799747
1015.53/1013.16	c cleaning 14003 clauses out of 28016 with flag 4812001/4813746
1018.52/1016.18	c cleaning 13997 clauses out of 28013 with flag 4826001/4827746
1021.52/1019.16	c cleaning 13999 clauses out of 28016 with flag 4840001/4841746
1024.62/1022.20	c cleaning 14000 clauses out of 28016 with flag 4854000/4855745
1027.42/1025.10	c cleaning 13995 clauses out of 28017 with flag 4868001/4869746
1030.44/1028.10	c cleaning 14002 clauses out of 28021 with flag 4882000/4883745
1033.45/1031.10	c cleaning 13998 clauses out of 28019 with flag 4896000/4897745
1036.65/1034.20	c cleaning 14002 clauses out of 28023 with flag 4910002/4911747
1039.65/1037.30	c cleaning 14000 clauses out of 28019 with flag 4924000/4925745
1042.35/1039.91	c cleaning 13999 clauses out of 28019 with flag 4938000/4939745
1045.06/1042.61	c cleaning 14001 clauses out of 28020 with flag 4952000/4953745
1047.86/1045.42	c cleaning 14003 clauses out of 28019 with flag 4966000/4967745
1050.36/1047.99	c cleaning 13999 clauses out of 28017 with flag 4980001/4981746
1053.16/1050.71	c cleaning 14000 clauses out of 28017 with flag 4994000/4995745
1055.97/1053.58	c cleaning 14004 clauses out of 28018 with flag 5008001/5009746
1058.77/1056.38	c cleaning 14000 clauses out of 28013 with flag 5022000/5023745
1061.67/1059.26	c cleaning 13998 clauses out of 28014 with flag 5036001/5037746
1064.37/1061.96	c cleaning 13999 clauses out of 28015 with flag 5050000/5051745
1067.07/1064.67	c cleaning 14001 clauses out of 28019 with flag 5064003/5065748
1069.78/1067.34	c cleaning 14001 clauses out of 28016 with flag 5078001/5079746
1072.38/1069.99	c cleaning 13997 clauses out of 28014 with flag 5092000/5093745
1075.08/1072.65	c cleaning 13999 clauses out of 28018 with flag 5106001/5107746
1077.78/1075.36	c cleaning 13996 clauses out of 28018 with flag 5120000/5121745
1080.58/1078.11	c cleaning 14004 clauses out of 28022 with flag 5134000/5135745
1083.38/1080.92	c cleaning 14000 clauses out of 28019 with flag 5148001/5149746
1086.48/1084.01	c cleaning 13996 clauses out of 28018 with flag 5162000/5163745
1089.49/1087.04	c cleaning 14001 clauses out of 28022 with flag 5176000/5177745
1092.89/1090.43	c cleaning 14003 clauses out of 28022 with flag 5190001/5191746
1096.19/1093.70	c cleaning 13996 clauses out of 28018 with flag 5204000/5205745
1099.39/1096.91	c cleaning 14003 clauses out of 28022 with flag 5218000/5219745
1102.30/1099.91	c cleaning 14000 clauses out of 28021 with flag 5232002/5233747
1105.40/1102.90	c cleaning 14001 clauses out of 28019 with flag 5246000/5247745
1108.51/1106.04	c cleaning 13998 clauses out of 28018 with flag 5260000/5261745
1111.61/1109.19	c cleaning 14002 clauses out of 28020 with flag 5274000/5275745
1114.81/1112.36	c cleaning 14004 clauses out of 28019 with flag 5288001/5289746
1117.93/1115.49	c cleaning 13996 clauses out of 28015 with flag 5302001/5303746
1121.32/1118.80	c cleaning 13997 clauses out of 28019 with flag 5316001/5317746
1124.22/1121.78	c cleaning 14008 clauses out of 28021 with flag 5330000/5331745
1127.32/1124.81	c cleaning 14000 clauses out of 28014 with flag 5344001/5345746
1130.32/1127.88	c cleaning 13994 clauses out of 28013 with flag 5358000/5359745
1133.43/1130.98	c cleaning 13996 clauses out of 28020 with flag 5372001/5373746
1136.43/1133.99	c cleaning 14002 clauses out of 28023 with flag 5386000/5387745
1139.53/1137.03	c cleaning 14001 clauses out of 28022 with flag 5400001/5401746
1142.54/1140.03	c cleaning 14000 clauses out of 28021 with flag 5414001/5415746
1145.45/1142.99	c cleaning 14000 clauses out of 28020 with flag 5428000/5429745
1148.54/1146.01	c cleaning 14000 clauses out of 28021 with flag 5442001/5443746
1151.64/1149.12	c cleaning 13999 clauses out of 28020 with flag 5456000/5457745
1154.75/1152.21	c cleaning 14003 clauses out of 28021 with flag 5470000/5471745
1157.75/1155.25	c cleaning 14000 clauses out of 28019 with flag 5484001/5485746
1160.66/1158.15	c cleaning 14000 clauses out of 28018 with flag 5498000/5499745
1163.46/1160.99	c cleaning 14002 clauses out of 28018 with flag 5512000/5513745
1166.46/1163.96	c cleaning 14000 clauses out of 28016 with flag 5526000/5527745
1169.46/1166.91	c cleaning 14001 clauses out of 28017 with flag 5540001/5541746
1172.46/1169.92	c cleaning 14003 clauses out of 28016 with flag 5554001/5555746
1175.27/1172.74	c cleaning 13999 clauses out of 28013 with flag 5568001/5569746
1178.17/1175.61	c cleaning 14000 clauses out of 28013 with flag 5582000/5583745
1180.87/1178.40	c cleaning 14000 clauses out of 28013 with flag 5596000/5597745
1183.77/1181.22	c cleaning 13997 clauses out of 28013 with flag 5610000/5611745
1186.57/1184.06	c cleaning 14003 clauses out of 28018 with flag 5624002/5625747
1189.38/1186.89	c cleaning 13996 clauses out of 28013 with flag 5638000/5639745
1192.38/1189.85	c cleaning 13997 clauses out of 28017 with flag 5652000/5653745
1195.28/1192.78	c cleaning 14000 clauses out of 28021 with flag 5666001/5667746
1198.19/1195.69	c cleaning 13998 clauses out of 28021 with flag 5680001/5681746
1201.08/1198.52	c cleaning 14003 clauses out of 28024 with flag 5694002/5695747
1203.98/1201.46	c cleaning 13995 clauses out of 28020 with flag 5708001/5709746
1206.89/1204.32	c cleaning 14002 clauses out of 28025 with flag 5722001/5723746
1209.59/1207.09	c cleaning 14001 clauses out of 28023 with flag 5736001/5737746
1212.51/1209.94	c cleaning 14004 clauses out of 28022 with flag 5750001/5751746
1215.31/1212.76	c cleaning 13999 clauses out of 28017 with flag 5764000/5765745
1218.31/1215.75	c cleaning 14000 clauses out of 28018 with flag 5778000/5779745
1221.21/1218.60	c cleaning 13998 clauses out of 28019 with flag 5792001/5793746
1224.01/1221.42	c cleaning 14001 clauses out of 28021 with flag 5806001/5807746
1226.82/1224.27	c cleaning 13998 clauses out of 28019 with flag 5820000/5821745
1229.62/1227.06	c cleaning 14003 clauses out of 28022 with flag 5834001/5835746
1232.62/1230.04	c cleaning 13994 clauses out of 28019 with flag 5848001/5849746
1235.42/1232.82	c cleaning 13999 clauses out of 28024 with flag 5862000/5863745
1238.42/1235.81	c cleaning 14002 clauses out of 28025 with flag 5876000/5877745
1241.24/1238.64	c cleaning 13998 clauses out of 28023 with flag 5890000/5891745
1244.22/1241.64	c cleaning 13998 clauses out of 28025 with flag 5904000/5905745
1247.12/1244.54	c cleaning 14006 clauses out of 28027 with flag 5918000/5919745
1250.13/1247.54	c cleaning 14000 clauses out of 28022 with flag 5932001/5933746
1253.13/1250.57	c cleaning 14002 clauses out of 28021 with flag 5946000/5947745
1256.03/1253.45	c cleaning 14004 clauses out of 28020 with flag 5960001/5961746
1258.85/1256.26	c cleaning 13999 clauses out of 28016 with flag 5974001/5975746
1261.83/1259.20	c cleaning 13998 clauses out of 28016 with flag 5988000/5989745
1265.04/1262.46	c cleaning 13998 clauses out of 28019 with flag 6002001/6003746
1268.34/1265.70	c cleaning 14003 clauses out of 28020 with flag 6016000/6017745
1271.44/1268.89	c cleaning 14001 clauses out of 28019 with flag 6030002/6031747
1274.65/1272.02	c cleaning 14001 clauses out of 28017 with flag 6044001/6045746
1277.95/1275.32	c cleaning 13999 clauses out of 28016 with flag 6058001/6059746
1281.25/1278.63	c cleaning 13997 clauses out of 28017 with flag 6072001/6073746
1284.65/1282.08	c cleaning 14002 clauses out of 28022 with flag 6086003/6087748
1287.96/1285.36	c cleaning 14000 clauses out of 28018 with flag 6100001/6101746
1291.26/1288.64	c cleaning 13995 clauses out of 28018 with flag 6114001/6115746
1294.46/1291.89	c cleaning 14005 clauses out of 28022 with flag 6128000/6129745
1297.77/1295.20	c cleaning 14001 clauses out of 28018 with flag 6142001/6143746
1301.17/1298.58	c cleaning 14000 clauses out of 28017 with flag 6156001/6157746
1304.67/1302.05	c cleaning 13992 clauses out of 28016 with flag 6170000/6171745
1308.17/1305.57	c cleaning 14001 clauses out of 28024 with flag 6184000/6185745
1311.58/1308.93	c cleaning 13996 clauses out of 28024 with flag 6198001/6199746
1314.99/1312.32	c cleaning 13995 clauses out of 28027 with flag 6212000/6213745
1318.18/1315.58	c cleaning 14010 clauses out of 28033 with flag 6226001/6227746
1321.49/1318.90	c cleaning 14001 clauses out of 28023 with flag 6240001/6241746
1324.80/1322.19	c cleaning 13998 clauses out of 28021 with flag 6254000/6255745
1328.10/1325.51	c cleaning 14000 clauses out of 28024 with flag 6268001/6269746
1331.60/1328.91	c cleaning 14001 clauses out of 28023 with flag 6282000/6283745
1334.91/1332.21	c cleaning 13997 clauses out of 28022 with flag 6296000/6297745
1338.13/1335.44	c cleaning 13998 clauses out of 28026 with flag 6310001/6311746
1341.11/1338.50	c cleaning 14000 clauses out of 28028 with flag 6324001/6325746
1344.41/1341.79	c cleaning 14003 clauses out of 28027 with flag 6338000/6339745
1347.81/1345.10	c cleaning 14004 clauses out of 28025 with flag 6352001/6353746
1350.91/1348.29	c cleaning 13998 clauses out of 28021 with flag 6366001/6367746
1354.22/1351.55	c cleaning 14000 clauses out of 28022 with flag 6380000/6381745
1357.32/1354.67	c cleaning 14002 clauses out of 28022 with flag 6394000/6395745
1360.63/1357.92	c cleaning 13997 clauses out of 28020 with flag 6408000/6409745
1363.83/1361.19	c cleaning 14004 clauses out of 28023 with flag 6422000/6423745
1367.23/1364.51	c cleaning 13996 clauses out of 28020 with flag 6436001/6437746
1370.53/1367.89	c cleaning 14003 clauses out of 28024 with flag 6450001/6451746
1373.73/1371.07	c cleaning 13996 clauses out of 28020 with flag 6464000/6465745
1377.03/1374.37	c cleaning 14003 clauses out of 28025 with flag 6478001/6479746
1380.53/1377.80	c cleaning 13996 clauses out of 28021 with flag 6492000/6493745
1383.93/1381.26	c cleaning 14001 clauses out of 28027 with flag 6506002/6507747
1387.43/1384.75	c cleaning 14006 clauses out of 28025 with flag 6520001/6521746
1390.96/1388.24	c cleaning 13994 clauses out of 28018 with flag 6534000/6535745
1394.44/1391.71	c cleaning 14000 clauses out of 28025 with flag 6548001/6549746
1397.65/1394.95	c cleaning 14003 clauses out of 28024 with flag 6562000/6563745
1401.05/1398.31	c cleaning 14004 clauses out of 28022 with flag 6576001/6577746
1404.17/1401.45	c cleaning 13998 clauses out of 28017 with flag 6590000/6591745
1407.25/1404.61	c cleaning 14000 clauses out of 28019 with flag 6604000/6605745
1410.45/1407.78	c cleaning 14003 clauses out of 28022 with flag 6618003/6619748
1413.65/1410.94	c cleaning 14000 clauses out of 28017 with flag 6632001/6633746
1417.06/1414.30	c cleaning 13994 clauses out of 28017 with flag 6646001/6647746
1420.37/1417.61	c cleaning 13996 clauses out of 28022 with flag 6660000/6661745
1423.67/1420.98	c cleaning 14001 clauses out of 28027 with flag 6674001/6675746
1426.97/1424.27	c cleaning 14004 clauses out of 28026 with flag 6688001/6689746
1430.37/1427.61	c cleaning 14001 clauses out of 28021 with flag 6702000/6703745
1433.78/1431.05	c cleaning 14005 clauses out of 28021 with flag 6716001/6717746
1436.88/1434.17	c cleaning 14001 clauses out of 28016 with flag 6730001/6731746
1439.58/1436.80	c cleaning 14005 clauses out of 28015 with flag 6744001/6745746
1442.09/1439.34	c cleaning 13994 clauses out of 28010 with flag 6758001/6759746
1444.80/1442.07	c cleaning 14000 clauses out of 28016 with flag 6772001/6773746
1447.70/1444.92	c cleaning 14001 clauses out of 28015 with flag 6786000/6787745
1451.00/1448.20	c cleaning 14002 clauses out of 28017 with flag 6800003/6801748
1454.30/1451.52	c cleaning 14002 clauses out of 28013 with flag 6814001/6815746
1457.21/1454.49	c cleaning 13991 clauses out of 28010 with flag 6828000/6829745
1460.61/1457.87	c cleaning 13999 clauses out of 28019 with flag 6842000/6843745
1463.81/1461.09	c cleaning 14002 clauses out of 28020 with flag 6856000/6857745
1466.72/1463.93	c cleaning 14003 clauses out of 28019 with flag 6870001/6871746
1469.62/1466.85	c cleaning 14003 clauses out of 28015 with flag 6884000/6885745
1472.53/1469.76	c cleaning 13997 clauses out of 28013 with flag 6898001/6899746
1475.64/1472.82	c cleaning 14001 clauses out of 28017 with flag 6912002/6913747
1478.53/1475.74	c cleaning 13996 clauses out of 28014 with flag 6926000/6927745
1481.34/1478.59	c cleaning 13999 clauses out of 28019 with flag 6940001/6941746
1484.34/1481.55	c cleaning 14003 clauses out of 28020 with flag 6954001/6955746
1487.24/1484.46	c cleaning 14000 clauses out of 28017 with flag 6968001/6969746
1490.34/1487.55	c cleaning 13998 clauses out of 28016 with flag 6982000/6983745
1493.25/1490.51	c cleaning 14005 clauses out of 28020 with flag 6996002/6997747
1496.35/1493.52	c cleaning 13997 clauses out of 28013 with flag 7010000/7011745
1499.15/1496.38	c cleaning 14002 clauses out of 28017 with flag 7024001/7025746
1501.95/1499.20	c cleaning 13996 clauses out of 28015 with flag 7038001/7039746
1504.96/1502.13	c cleaning 14003 clauses out of 28019 with flag 7052001/7053746
1507.87/1505.03	c cleaning 13995 clauses out of 28016 with flag 7066001/7067746
1510.77/1508.01	c cleaning 14001 clauses out of 28020 with flag 7080000/7081745
1513.77/1510.97	c cleaning 14007 clauses out of 28020 with flag 7094001/7095746
1516.78/1513.92	c cleaning 13996 clauses out of 28013 with flag 7108001/7109746
1519.81/1516.96	c cleaning 13998 clauses out of 28018 with flag 7122002/7123747
1522.90/1520.05	c cleaning 13999 clauses out of 28018 with flag 7136000/7137745
1525.90/1523.06	c cleaning 14001 clauses out of 28019 with flag 7150000/7151745
1528.80/1525.99	c cleaning 14000 clauses out of 28020 with flag 7164002/7165747
1531.40/1528.59	c cleaning 13999 clauses out of 28018 with flag 7178000/7179745
1534.41/1531.56	c cleaning 13999 clauses out of 28020 with flag 7192001/7193746
1537.43/1534.57	c cleaning 14000 clauses out of 28021 with flag 7206001/7207746
1540.21/1537.40	c cleaning 14003 clauses out of 28021 with flag 7220001/7221746
1543.11/1540.22	c cleaning 14001 clauses out of 28018 with flag 7234001/7235746
1546.01/1543.16	c cleaning 13999 clauses out of 28016 with flag 7248000/7249745
1549.01/1546.14	c cleaning 13996 clauses out of 28018 with flag 7262001/7263746
1551.91/1549.06	c cleaning 13998 clauses out of 28021 with flag 7276000/7277745
1555.03/1552.12	c cleaning 14004 clauses out of 28024 with flag 7290001/7291746
1558.02/1555.10	c cleaning 14001 clauses out of 28019 with flag 7304000/7305745
1560.92/1558.07	c cleaning 13999 clauses out of 28019 with flag 7318001/7319746
1563.92/1561.06	c cleaning 14003 clauses out of 28019 with flag 7332000/7333745
1566.82/1563.99	c cleaning 13997 clauses out of 28017 with flag 7346001/7347746
1569.92/1567.04	c cleaning 14001 clauses out of 28021 with flag 7360002/7361747
1572.82/1569.95	c cleaning 14002 clauses out of 28018 with flag 7374000/7375745
1575.83/1572.92	c cleaning 13995 clauses out of 28016 with flag 7388000/7389745
1578.53/1575.63	c cleaning 14002 clauses out of 28021 with flag 7402000/7403745
1581.24/1578.39	c cleaning 14002 clauses out of 28019 with flag 7416000/7417745
1584.24/1581.36	c cleaning 14000 clauses out of 28018 with flag 7430001/7431746
1587.44/1584.57	c cleaning 13999 clauses out of 28018 with flag 7444001/7445746
1590.54/1587.69	c cleaning 14003 clauses out of 28019 with flag 7458001/7459746
1593.57/1590.67	c cleaning 13997 clauses out of 28015 with flag 7472000/7473745
1596.46/1593.57	c cleaning 14003 clauses out of 28019 with flag 7486001/7487746
1599.46/1596.54	c cleaning 14002 clauses out of 28016 with flag 7500001/7501746
1602.46/1599.53	c cleaning 13993 clauses out of 28013 with flag 7514000/7515745
1605.26/1602.37	c cleaning 14005 clauses out of 28020 with flag 7528000/7529745
1608.26/1605.37	c cleaning 14001 clauses out of 28017 with flag 7542002/7543747
1611.27/1608.35	c cleaning 13996 clauses out of 28014 with flag 7556000/7557745
1614.37/1611.41	c cleaning 14000 clauses out of 28019 with flag 7570001/7571746
1617.37/1614.45	c cleaning 14000 clauses out of 28019 with flag 7584001/7585746
1620.47/1617.56	c cleaning 13994 clauses out of 28018 with flag 7598000/7599745
1623.57/1620.67	c cleaning 14006 clauses out of 28025 with flag 7612001/7613746
1626.67/1623.77	c cleaning 13997 clauses out of 28019 with flag 7626001/7627746
1629.78/1626.83	c cleaning 13998 clauses out of 28022 with flag 7640001/7641746
1632.77/1629.85	c cleaning 14001 clauses out of 28024 with flag 7654001/7655746
1635.77/1632.80	c cleaning 13999 clauses out of 28022 with flag 7668000/7669745
1638.78/1635.86	c cleaning 13997 clauses out of 28023 with flag 7682000/7683745
1641.99/1639.03	c cleaning 14002 clauses out of 28027 with flag 7696001/7697746
1645.18/1642.27	c cleaning 13997 clauses out of 28025 with flag 7710001/7711746
1648.28/1645.39	c cleaning 14007 clauses out of 28028 with flag 7724001/7725746
1651.38/1648.41	c cleaning 13999 clauses out of 28020 with flag 7738000/7739745
1654.39/1651.46	c cleaning 14001 clauses out of 28021 with flag 7752000/7753745
1657.49/1654.55	c cleaning 14001 clauses out of 28020 with flag 7766000/7767745
1660.71/1657.78	c cleaning 13999 clauses out of 28019 with flag 7780000/7781745
1663.90/1660.96	c cleaning 13995 clauses out of 28020 with flag 7794000/7795745
1667.10/1664.11	c cleaning 14006 clauses out of 28025 with flag 7808000/7809745
1670.40/1667.40	c cleaning 13996 clauses out of 28020 with flag 7822001/7823746
1673.30/1670.39	c cleaning 14000 clauses out of 28024 with flag 7836001/7837746
1676.41/1673.46	c cleaning 14004 clauses out of 28025 with flag 7850002/7851747
1679.50/1676.51	c cleaning 13997 clauses out of 28020 with flag 7864001/7865746
1682.51/1679.61	c cleaning 13996 clauses out of 28022 with flag 7878000/7879745
1685.81/1682.80	c cleaning 13998 clauses out of 28026 with flag 7892000/7893745
1689.01/1686.03	c cleaning 14003 clauses out of 28029 with flag 7906001/7907746
1692.11/1689.18	c cleaning 14001 clauses out of 28025 with flag 7920000/7921745
1695.22/1692.26	c cleaning 14001 clauses out of 28025 with flag 7934001/7935746
1698.33/1695.32	c cleaning 13997 clauses out of 28023 with flag 7948000/7949745
1701.44/1698.50	c cleaning 13997 clauses out of 28028 with flag 7962002/7963747
1704.63/1701.63	c cleaning 14007 clauses out of 28029 with flag 7976000/7977745
1707.63/1704.63	c cleaning 13999 clauses out of 28023 with flag 7990001/7991746
1710.63/1707.60	c cleaning 14003 clauses out of 28024 with flag 8004001/8005746
1713.55/1710.55	c cleaning 13999 clauses out of 28021 with flag 8018001/8019746
1716.74/1713.73	c cleaning 13999 clauses out of 28021 with flag 8032000/8033745
1719.84/1716.85	c cleaning 14003 clauses out of 28023 with flag 8046001/8047746
1722.94/1719.98	c cleaning 13995 clauses out of 28019 with flag 8060000/8061745
1726.15/1723.13	c cleaning 14004 clauses out of 28025 with flag 8074001/8075746
1729.35/1726.30	c cleaning 13999 clauses out of 28021 with flag 8088001/8089746
1732.26/1729.27	c cleaning 13997 clauses out of 28023 with flag 8102002/8103747
1735.35/1732.32	c cleaning 14005 clauses out of 28025 with flag 8116001/8117746
1738.25/1735.23	c cleaning 13996 clauses out of 28020 with flag 8130001/8131746
1741.36/1738.34	c cleaning 13997 clauses out of 28023 with flag 8144000/8145745
1744.46/1741.47	c cleaning 13997 clauses out of 28026 with flag 8158000/8159745
1747.46/1744.50	c cleaning 14007 clauses out of 28029 with flag 8172000/8173745
1750.77/1747.71	c cleaning 14001 clauses out of 28024 with flag 8186002/8187747
1753.77/1750.77	c cleaning 13993 clauses out of 28021 with flag 8200000/8201745
1756.87/1753.81	c cleaning 14001 clauses out of 28028 with flag 8214000/8215745
1759.68/1756.67	c cleaning 14002 clauses out of 28028 with flag 8228001/8229746
1762.68/1759.68	c cleaning 14008 clauses out of 28026 with flag 8242001/8243746
1765.68/1762.61	c cleaning 13995 clauses out of 28017 with flag 8256000/8257745
1768.78/1765.75	c cleaning 14001 clauses out of 28023 with flag 8270001/8271746
1771.98/1768.94	c cleaning 14001 clauses out of 28021 with flag 8284000/8285745
1775.20/1772.16	c cleaning 13998 clauses out of 28021 with flag 8298001/8299746
1778.50/1775.45	c cleaning 14003 clauses out of 28022 with flag 8312000/8313745
1781.48/1778.47	c cleaning 14000 clauses out of 28020 with flag 8326001/8327746
1784.58/1781.60	c cleaning 14004 clauses out of 28020 with flag 8340001/8341746
1787.89/1784.81	c cleaning 13999 clauses out of 28015 with flag 8354000/8355745
1791.09/1788.00	c cleaning 13995 clauses out of 28016 with flag 8368000/8369745
1794.19/1791.16	c cleaning 14001 clauses out of 28021 with flag 8382000/8383745
1797.39/1794.32	c cleaning 13996 clauses out of 28020 with flag 8396000/8397745
1800.10/1797.02	c starts		: 301
1800.10/1797.02	c conflicts		: 8410038
1800.10/1797.02	c decisions		: 13061716
1800.10/1797.02	c propagations		: 1104394864
1800.10/1797.02	c inspects		: 11780462519
1800.10/1797.02	c shortcuts		: 0
1800.10/1797.02	c learnt literals	: 0
1800.10/1797.02	c learnt binary clauses	: 0
1800.10/1797.02	c learnt ternary clauses	: 0
1800.10/1797.02	c learnt constraints	: 8410038
1800.10/1797.02	c ignored constraints	: 0
1800.10/1797.02	c root simplifications	: 0
1800.10/1797.02	c removed literals (reason simplification)	: 5310494
1800.10/1797.02	c reason swapping (by a shorter reason)	: 0
1800.10/1797.02	c Calls to reduceDB	: 603
1800.10/1797.02	c number of reductions to clauses (during analyze)	: 0
1800.10/1797.02	c number of learned constraints concerned by reduction	: 0
1800.10/1797.02	c number of learning phase by resolution	: 0
1800.10/1797.02	c number of learning phase by cutting planes	: 0
1800.10/1797.02	c speed (assignments/second)	: 614916.7926405632
1800.10/1797.02	c non guided choices	9310
1800.10/1797.03	c learnt constraints type 
1800.10/1797.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26341
1800.10/1797.03	c constraints type 
1800.10/1797.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6818
1800.10/1797.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1797.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1800.10/1797.03	s SATISFIABLE
1800.10/1797.04	v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 x168 x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 x187 -x188 -x189 x190 -x191 -x192 x193 -x194 x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 x259 -x260 -x261 x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 x319 -x320 -x321 x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 
1800.10/1797.04	c objective function=76
1800.10/1797.04	c Total wall clock time (in seconds): 1796.924

Verifier Data 

OK	76

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458303-1307158673/watcher-3458303-1307158673 -o /tmp/evaluation-result-3458303-1307158673/solver-3458303-1307158673 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458303-1307158673.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.05 1.99 2/487 12530
/proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/12530/stat : 12530 (java) R 12528 12530 8699 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 906097778 23580672 698 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252453103080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12530/statm: 5757 698 515 9 0 124 0
[pid=12530/tid=12531] ppid=12528 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 4391 0 1 0 0 0 0 0 25 0 2 0 906097779 13850947584 5207 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.083665 s]
/proc/loadavg: 2.05 2.05 1.99 2/487 12530
/proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 14478 0 1 0 6 1 0 0 25 0 18 0 906097778 13880410112 14175 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3388772 14175 1755 9 0 3379506 0
[pid=12530/tid=12531] ppid=12528 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 13304 0 1 0 6 1 0 0 25 0 18 0 906097779 13880410112 14175 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088

[startup+0.100659 s]
/proc/loadavg: 2.05 2.05 1.99 2/487 12530
/proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13622200 CPUtime=0.1 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 15518 0 1 0 9 1 0 0 25 0 18 0 906097778 13949132800 15204 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3405550 15204 2092 9 0 3396284 0
[pid=12530/tid=12531] ppid=12528 vsize=13622200 CPUtime=0.08 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 13594 0 1 0 7 1 0 0 18 0 18 0 906097779 13949132800 15205 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 47264221426741 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) 13622200

[startup+0.312459 s]
/proc/loadavg: 2.05 2.05 1.99 2/487 12530
/proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13623652 CPUtime=0.49 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 18115 0 1 0 47 2 0 0 25 0 18 0 906097778 13950619648 17502 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3405913 17503 2220 9 0 3396647 0
[pid=12530/tid=12531] ppid=12528 vsize=13623652 CPUtime=0.29 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 15377 0 1 0 28 1 0 0 18 0 18 0 906097779 13950619648 17503 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505587678 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) 13623652

[startup+0.77555 s]
/proc/loadavg: 2.05 2.05 1.99 2/487 12530
/proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=1.76 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 28635 0 1 0 173 3 0 0 25 0 19 0 906097778 13960757248 25741 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 25741 2240 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=0.76 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 18113 0 1 0 74 2 0 0 19 0 19 0 906097779 13960757248 25741 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505806045 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 13633552

[startup+1.5014 s]
/proc/loadavg: 2.05 2.05 1.99 5/506 12549
/proc/meminfo: memFree=23943168/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=2.56 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 29329 0 1 0 252 4 0 0 25 0 19 0 906097778 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 26435 2243 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1.48 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 18794 0 1 0 146 2 0 0 20 0 19 0 906097779 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505987339 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 906097782 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906097783 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906097783 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.5 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5350 0 0 0 50 0 0 0 15 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4025 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 13633552

[startup+3.10108 s]
/proc/loadavg: 2.05 2.05 1.99 3/506 12549
/proc/meminfo: memFree=23925192/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=4.24 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 34129 0 1 0 419 5 0 0 25 0 19 0 906097778 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 31227 2268 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=3.01 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 18998 0 1 0 299 2 0 0 25 0 19 0 906097779 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505921905 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 448 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 298 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 837 0 0 0 0 0 0 0 18 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 940 0 0 0 0 0 0 0 18 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=0.05 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 2065 0 0 0 5 0 0 0 16 0 19 0 906097782 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.53 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5358 0 0 0 53 0 0 0 15 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.58 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4031 0 0 0 58 0 0 0 15 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13633552

[startup+6.30152 s]
/proc/loadavg: 2.04 2.04 1.99 3/506 12549
/proc/meminfo: memFree=23919716/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=7.48 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 34655 0 1 0 743 5 0 0 25 0 19 0 906097778 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 31748 2268 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=6.14 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19001 0 1 0 612 2 0 0 25 0 19 0 906097779 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505922190 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 605 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.01 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 839 0 0 0 1 0 0 0 16 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 940 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=0.11 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 2323 0 0 0 11 0 0 0 16 0 19 0 906097782 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.61 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4034 0 0 0 61 0 0 0 15 0 19 0 906097785 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0

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

[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.38 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 38 0 0 0 15 0 19 0 906097781 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.42 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1010 0 0 0 42 0 0 0 15 0 19 0 906097781 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=22.53 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7799 0 0 0 2245 8 0 0 15 0 19 0 906097782 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.3
Current children cumulated vsize (KiB) 13633552

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 12882
/proc/meminfo: memFree=23771860/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=1725.35 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 42066 0 1 0 172515 20 0 0 25 0 19 0 906097778 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 38386 2269 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1697.3 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19577 0 1 0 169725 5 0 0 25 0 19 0 906097779 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505868631 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0.42 cores=0,2,4,6
/proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 897 0 0 0 42 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0.41 cores=0,2,4,6
/proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 324 0 0 0 41 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0.41 cores=0,2,4,6
/proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 360 0 0 0 41 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0.47 cores=0,2,4,6
/proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 164 0 0 0 47 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0.41 cores=0,2,4,6
/proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 323 0 0 0 41 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.39 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 39 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.45 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 45 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1015 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=23.34 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7803 0 0 0 2326 8 0 0 15 0 19 0 906097782 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.35
Current children cumulated vsize (KiB) 13633552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 12884
/proc/meminfo: memFree=23770468/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=1785.39 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 42115 0 1 0 178519 20 0 0 25 0 19 0 906097778 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 38411 2269 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1756.39 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19597 0 1 0 175633 6 0 0 25 0 19 0 906097779 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505869146 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6
/proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 897 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6
/proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 331 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0.42 cores=0,2,4,6
/proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 369 0 0 0 42 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0.49 cores=0,2,4,6
/proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 164 0 0 0 49 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6
/proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 330 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.4 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 40 0 0 0 16 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.46 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 46 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.45 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1017 0 0 0 45 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=24.18 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7805 0 0 0 2410 8 0 0 15 0 19 0 906097782 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.39
Current children cumulated vsize (KiB) 13633552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 12884
/proc/meminfo: memFree=23770332/32951124 swapFree=56297244/67111528
[pid=12530] ppid=12528 vsize=13633552 CPUtime=1800.1 cores=0,2,4,6
/proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 42123 0 1 0 179990 20 0 0 25 0 19 0 906097778 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12530/statm: 3408388 38411 2269 9 0 3399122 0
[pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1770.92 cores=0,2,4,6
/proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19601 0 1 0 177086 6 0 0 25 0 19 0 906097779 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505805061 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6
/proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 897 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6
/proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 331 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6
/proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 369 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0.5 cores=0,2,4,6
/proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 164 0 0 0 50 0 0 0 16 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6
/proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 330 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.4 cores=0,2,4,6
/proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 40 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.46 cores=0,2,4,6
/proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 46 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.45 cores=0,2,4,6
/proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1017 0 0 0 45 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=24.37 cores=0,2,4,6
/proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7807 0 0 0 2428 9 0 0 15 0 19 0 906097782 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0
[pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6
/proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
[pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6
/proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0
[pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0
[pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6
/proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13633552

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.05
CPU time (s): 1800.17
CPU user time (s): 1799.95
CPU system time (s): 0.216967
CPU usage (%): 100.174
Max. virtual memory (cumulated for all children) (KiB): 13633552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42166
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= 53076
involuntary context switches= 28537

runsolver used 9.1916 second user time and 18.6092 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 05:37:53
IDJOB=3458303
IDBENCH=48123
IDSOLVER=1952
FILE ID=node111/3458303-1307158673
RUNJOBID= node111-1307156522-11740
PBS_JOBID= 13508805
Free space on /tmp= 73868 MiB

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

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

MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e
RANDOM SEED=768673562

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24039576 kB
Buffers:        312656 kB
Cached:         818964 kB
SwapCached:      11784 kB
Active:        7867692 kB
Inactive:       765232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24039576 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:             464 kB
Writeback:           0 kB
AnonPages:     7499076 kB
Mapped:          36056 kB
Slab:           143316 kB
PageTables:      66680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162514912 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73868 MiB
End job on node111 at 2011-06-04 06:07:52