Trace number 3458308

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)13 1800.15 1797.24

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	c Number of processors 	8
0.11/0.12	c Pseudo Boolean Optimization
0.11/0.12	c --- Begin Solver configuration ---
0.11/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.12	c Learn all clauses as in MiniSAT
0.11/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.12	c Expensive reason simplification
0.11/0.12	c Armin Biere (Picosat) restarts strategy
0.11/0.12	c Glucose learned constraints deletion strategy
0.11/0.12	c timeout=2147483s
0.11/0.12	c DB Simplification allowed=false
0.11/0.12	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3458308-1307158709.opb
0.11/0.12	c reading problem ... 
0.77/0.53	c ... done. Wall clock time 0.36s.
0.77/0.53	c #vars     6404
0.77/0.53	c #constraints  12608
0.77/0.53	c constraints type 
0.77/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
0.77/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1.41/0.62	c SATISFIABLE
1.41/0.62	c OPTIMIZING...
1.41/0.62	c Got one! Elapsed wall clock time (in seconds):0.493
1.41/0.62	o 15
2.83/1.83	c cleaning 2497 clauses out of 5000 with flag 5000/5000
4.00/2.97	c cleaning 4250 clauses out of 8505 with flag 11002/11002
5.42/4.34	c cleaning 5620 clauses out of 11254 with flag 18001/18001
6.91/5.89	c cleaning 6814 clauses out of 13635 with flag 26002/26002
8.74/7.66	c cleaning 7907 clauses out of 15821 with flag 35002/35002
10.94/9.86	c cleaning 8952 clauses out of 17912 with flag 45000/45000
13.33/12.29	c cleaning 9977 clauses out of 19960 with flag 56000/56000
14.93/13.85	c Got one! Elapsed wall clock time (in seconds):13.739
14.93/13.85	o 14
15.84/14.74	c cleaning 11338 clauses out of 22688 with flag 5001/68705
17.14/16.00	c cleaning 8667 clauses out of 17350 with flag 11001/74705
18.66/17.59	c cleaning 7837 clauses out of 15682 with flag 18000/81704
20.55/19.46	c cleaning 7918 clauses out of 15845 with flag 26000/89704
22.65/21.59	c cleaning 8461 clauses out of 16927 with flag 35000/98704
25.27/24.20	c cleaning 9229 clauses out of 18467 with flag 45001/108705
28.25/27.18	c cleaning 10113 clauses out of 20237 with flag 56000/119704
31.16/30.05	c cleaning 11056 clauses out of 22124 with flag 68000/131704
34.18/33.04	c cleaning 12029 clauses out of 24069 with flag 81001/144705
37.06/35.92	c cleaning 12515 clauses out of 25040 with flag 94001/157705
40.17/39.03	c cleaning 12753 clauses out of 25524 with flag 107000/170704
43.07/41.95	c cleaning 12880 clauses out of 25771 with flag 120000/183704
46.18/45.09	c cleaning 12938 clauses out of 25892 with flag 133001/196705
49.07/47.95	c cleaning 12975 clauses out of 25955 with flag 146002/209706
52.28/51.16	c cleaning 12985 clauses out of 25978 with flag 159000/222704
55.68/54.54	c cleaning 12991 clauses out of 25993 with flag 172000/235704
58.88/57.77	c cleaning 12997 clauses out of 26003 with flag 185001/248705
62.19/61.05	c cleaning 12997 clauses out of 26006 with flag 198001/261705
65.19/64.01	c cleaning 13003 clauses out of 26009 with flag 211001/274705
68.21/67.02	c cleaning 12996 clauses out of 26005 with flag 224000/287704
71.20/70.08	c cleaning 12999 clauses out of 26010 with flag 237001/300705
74.30/73.16	c cleaning 13000 clauses out of 26011 with flag 250001/313705
77.20/76.07	c cleaning 12999 clauses out of 26011 with flag 263001/326705
80.11/78.99	c cleaning 13001 clauses out of 26012 with flag 276001/339705
83.11/81.92	c cleaning 12998 clauses out of 26010 with flag 289000/352704
86.52/85.37	c cleaning 13000 clauses out of 26012 with flag 302000/365704
90.02/88.89	c cleaning 13000 clauses out of 26013 with flag 315001/378705
93.64/92.49	c cleaning 12998 clauses out of 26013 with flag 328001/391705
96.73/95.56	c cleaning 13002 clauses out of 26014 with flag 341000/404704
100.03/98.89	c cleaning 13003 clauses out of 26015 with flag 354003/417707
103.64/102.49	c cleaning 13002 clauses out of 26012 with flag 367003/430707
106.94/105.78	c cleaning 12999 clauses out of 26007 with flag 380000/443704
110.24/109.07	c cleaning 12999 clauses out of 26008 with flag 393000/456704
113.75/112.52	c cleaning 12999 clauses out of 26009 with flag 406000/469704
116.85/115.66	c cleaning 12998 clauses out of 26010 with flag 419000/482704
120.15/118.97	c cleaning 13002 clauses out of 26013 with flag 432001/495705
123.66/122.45	c cleaning 12999 clauses out of 26011 with flag 445001/508705
127.26/126.00	c cleaning 12995 clauses out of 26012 with flag 458001/521705
130.56/129.33	c cleaning 13005 clauses out of 26018 with flag 471002/534706
134.06/132.87	c cleaning 13000 clauses out of 26012 with flag 484001/547705
137.77/136.51	c cleaning 13001 clauses out of 26011 with flag 497000/560704
141.37/140.12	c cleaning 13001 clauses out of 26010 with flag 510000/573704
145.07/143.81	c cleaning 12999 clauses out of 26009 with flag 523000/586704
148.28/147.03	c cleaning 13002 clauses out of 26010 with flag 536000/599704
151.48/150.28	c cleaning 12999 clauses out of 26008 with flag 549000/612704
154.68/153.40	c cleaning 12998 clauses out of 26011 with flag 562002/625706
157.59/156.35	c cleaning 12999 clauses out of 26011 with flag 575000/638704
160.71/159.43	c cleaning 13002 clauses out of 26014 with flag 588002/651706
164.40/163.13	c cleaning 13001 clauses out of 26012 with flag 601002/664706
168.20/166.93	c cleaning 13000 clauses out of 26010 with flag 614001/677705
171.10/169.83	c cleaning 12999 clauses out of 26010 with flag 627001/690705
174.04/172.75	c cleaning 12999 clauses out of 26010 with flag 640000/703704
176.92/175.65	c cleaning 12999 clauses out of 26011 with flag 653000/716704
179.92/178.62	c cleaning 13001 clauses out of 26013 with flag 666001/729705
183.12/181.82	c cleaning 13000 clauses out of 26011 with flag 679000/742704
186.33/185.08	c cleaning 13000 clauses out of 26012 with flag 692001/755705
189.73/188.43	c cleaning 13000 clauses out of 26012 with flag 705001/768705
193.03/191.71	c cleaning 13001 clauses out of 26013 with flag 718002/781706
195.95/194.62	c cleaning 12998 clauses out of 26010 with flag 731000/794704
198.64/197.34	c cleaning 13001 clauses out of 26014 with flag 744002/807706
201.34/200.11	c cleaning 13000 clauses out of 26011 with flag 757000/820704
204.18/202.85	c cleaning 13000 clauses out of 26012 with flag 770001/833705
206.88/205.57	c cleaning 13000 clauses out of 26011 with flag 783000/846704
209.59/208.29	c cleaning 12997 clauses out of 26011 with flag 796000/859704
212.39/211.06	c cleaning 13002 clauses out of 26015 with flag 809001/872705
215.00/213.62	c cleaning 12997 clauses out of 26012 with flag 822000/885704
217.50/216.19	c cleaning 13000 clauses out of 26015 with flag 835000/898704
220.22/218.88	c cleaning 13005 clauses out of 26015 with flag 848000/911704
223.21/221.84	c cleaning 13003 clauses out of 26010 with flag 861000/924704
225.61/224.26	c cleaning 12994 clauses out of 26007 with flag 874000/937704
228.21/226.82	c cleaning 13001 clauses out of 26013 with flag 887000/950704
230.92/229.60	c cleaning 12998 clauses out of 26012 with flag 900000/963704
233.82/232.45	c cleaning 13004 clauses out of 26015 with flag 913001/976705
236.93/235.50	c cleaning 13002 clauses out of 26010 with flag 926000/989704
239.83/238.49	c cleaning 12997 clauses out of 26009 with flag 939001/1002705
242.83/241.46	c cleaning 12999 clauses out of 26012 with flag 952001/1015705
245.56/244.13	c cleaning 13002 clauses out of 26014 with flag 965002/1028706
248.35/246.92	c cleaning 12997 clauses out of 26010 with flag 978000/1041704
250.96/249.55	c cleaning 13003 clauses out of 26015 with flag 991002/1054706
253.76/252.30	c cleaning 13000 clauses out of 26012 with flag 1004002/1067706
256.58/255.14	c cleaning 13000 clauses out of 26012 with flag 1017002/1080706
259.26/257.82	c cleaning 13001 clauses out of 26010 with flag 1030000/1093704
262.08/260.70	c cleaning 12999 clauses out of 26009 with flag 1043000/1106704
265.07/263.63	c cleaning 13001 clauses out of 26011 with flag 1056001/1119705
267.98/266.52	c cleaning 12997 clauses out of 26009 with flag 1069000/1132704
270.90/269.50	c cleaning 12999 clauses out of 26012 with flag 1082000/1145704
273.99/272.50	c cleaning 13002 clauses out of 26014 with flag 1095001/1158705
276.99/275.50	c cleaning 13002 clauses out of 26011 with flag 1108000/1171704
279.89/278.46	c cleaning 13000 clauses out of 26009 with flag 1121000/1184704
282.80/281.30	c cleaning 12999 clauses out of 26010 with flag 1134001/1197705
285.70/284.25	c cleaning 12996 clauses out of 26010 with flag 1147000/1210704
288.72/287.27	c cleaning 13002 clauses out of 26014 with flag 1160000/1223704
291.71/290.26	c cleaning 13000 clauses out of 26014 with flag 1173002/1236706
294.82/293.39	c cleaning 13001 clauses out of 26012 with flag 1186000/1249704
297.92/296.46	c cleaning 13000 clauses out of 26011 with flag 1199000/1262704
301.12/299.60	c cleaning 13001 clauses out of 26011 with flag 1212000/1275704
304.23/302.75	c cleaning 12999 clauses out of 26012 with flag 1225002/1288706
307.35/305.89	c cleaning 12998 clauses out of 26012 with flag 1238001/1301705
310.54/309.06	c cleaning 12999 clauses out of 26014 with flag 1251001/1314705
313.73/312.21	c cleaning 12999 clauses out of 26014 with flag 1264000/1327704
316.54/315.02	c cleaning 13006 clauses out of 26016 with flag 1277001/1340705
319.14/317.67	c cleaning 12999 clauses out of 26010 with flag 1290001/1353705
322.24/320.73	c cleaning 12999 clauses out of 26011 with flag 1303001/1366705
325.25/323.75	c cleaning 13000 clauses out of 26011 with flag 1316000/1379704
328.16/326.64	c cleaning 13000 clauses out of 26011 with flag 1329000/1392704
330.95/329.46	c cleaning 13002 clauses out of 26012 with flag 1342001/1405705
333.77/332.23	c cleaning 13000 clauses out of 26009 with flag 1355000/1418704
336.65/335.10	c cleaning 12999 clauses out of 26011 with flag 1368002/1431706
339.46/337.98	c cleaning 13001 clauses out of 26010 with flag 1381000/1444704
342.36/340.91	c cleaning 12999 clauses out of 26010 with flag 1394001/1457705
345.26/343.73	c cleaning 13000 clauses out of 26011 with flag 1407001/1470705
348.17/346.66	c cleaning 12992 clauses out of 26011 with flag 1420001/1483705
350.97/349.48	c cleaning 13004 clauses out of 26019 with flag 1433001/1496705
354.07/352.53	c cleaning 12995 clauses out of 26014 with flag 1446000/1509704
356.97/355.48	c cleaning 13005 clauses out of 26020 with flag 1459001/1522705
359.77/358.22	c cleaning 12999 clauses out of 26014 with flag 1472000/1535704
362.48/360.94	c cleaning 13003 clauses out of 26017 with flag 1485002/1548706
365.18/363.68	c cleaning 12999 clauses out of 26012 with flag 1498000/1561704
368.09/366.55	c cleaning 12999 clauses out of 26013 with flag 1511000/1574704
371.10/369.53	c cleaning 13002 clauses out of 26015 with flag 1524001/1587705
373.89/372.34	c cleaning 12998 clauses out of 26012 with flag 1537000/1600704
377.00/375.45	c cleaning 12997 clauses out of 26015 with flag 1550001/1613705
379.80/378.24	c cleaning 13005 clauses out of 26017 with flag 1563000/1626704
382.71/381.19	c cleaning 13001 clauses out of 26013 with flag 1576001/1639705
385.71/384.17	c cleaning 12999 clauses out of 26011 with flag 1589000/1652704
388.83/387.26	c cleaning 13001 clauses out of 26015 with flag 1602003/1665707
392.03/390.48	c cleaning 13000 clauses out of 26011 with flag 1615000/1678704
395.33/393.75	c cleaning 12999 clauses out of 26012 with flag 1628001/1691705
398.74/397.13	c cleaning 12997 clauses out of 26012 with flag 1641000/1704704
402.12/400.57	c cleaning 13004 clauses out of 26016 with flag 1654001/1717705
405.34/403.78	c cleaning 13001 clauses out of 26013 with flag 1667002/1730706
408.54/406.96	c cleaning 12999 clauses out of 26013 with flag 1680003/1743707
411.73/410.13	c cleaning 13000 clauses out of 26011 with flag 1693000/1756704
415.03/413.42	c cleaning 12997 clauses out of 26011 with flag 1706000/1769704
417.93/416.31	c cleaning 13001 clauses out of 26015 with flag 1719001/1782705
420.76/419.16	c cleaning 12998 clauses out of 26013 with flag 1732000/1795704
423.64/422.01	c cleaning 12999 clauses out of 26017 with flag 1745002/1808706
426.44/424.89	c cleaning 13002 clauses out of 26021 with flag 1758005/1821709
429.34/427.74	c cleaning 13001 clauses out of 26016 with flag 1771002/1834706
432.05/430.45	c cleaning 12995 clauses out of 26013 with flag 1784000/1847704
434.85/433.25	c cleaning 13005 clauses out of 26020 with flag 1797002/1860706
437.65/436.08	c cleaning 13001 clauses out of 26017 with flag 1810004/1873708
440.57/438.99	c cleaning 12997 clauses out of 26012 with flag 1823000/1886704
443.46/441.89	c cleaning 13000 clauses out of 26015 with flag 1836000/1899704
446.36/444.76	c cleaning 13000 clauses out of 26015 with flag 1849000/1912704
449.16/447.54	c cleaning 13001 clauses out of 26015 with flag 1862000/1925704
451.97/450.37	c cleaning 13001 clauses out of 26015 with flag 1875001/1938705
454.88/453.28	c cleaning 12999 clauses out of 26014 with flag 1888001/1951705
457.86/456.27	c cleaning 12995 clauses out of 26014 with flag 1901000/1964704
460.86/459.22	c cleaning 13001 clauses out of 26020 with flag 1914001/1977705
463.87/462.23	c cleaning 13004 clauses out of 26019 with flag 1927001/1990705
466.57/464.93	c cleaning 13002 clauses out of 26014 with flag 1940000/2003704
469.38/467.80	c cleaning 13001 clauses out of 26012 with flag 1953000/2016704
472.49/470.87	c cleaning 13001 clauses out of 26012 with flag 1966001/2029705
475.48/473.82	c cleaning 13001 clauses out of 26013 with flag 1979003/2042707
478.48/476.85	c cleaning 13002 clauses out of 26012 with flag 1992003/2055707
481.99/480.38	c cleaning 13000 clauses out of 26009 with flag 2005002/2068706
485.49/483.86	c cleaning 13002 clauses out of 26008 with flag 2018001/2081705
488.59/486.91	c cleaning 12997 clauses out of 26005 with flag 2031000/2094704
491.59/489.92	c cleaning 12998 clauses out of 26009 with flag 2044001/2107705
494.70/493.03	c cleaning 13001 clauses out of 26011 with flag 2057001/2120705
495.30/493.65	c Got one! Elapsed wall clock time (in seconds):493.534
495.30/493.65	o 13
495.82/494.15	c cleaning 9339 clauses out of 18685 with flag 3000/2126380
496.92/495.23	c cleaning 7669 clauses out of 15347 with flag 9001/2132381
498.12/496.45	c cleaning 7330 clauses out of 14678 with flag 16001/2139381
499.63/497.92	c cleaning 7667 clauses out of 15348 with flag 24001/2147381
501.22/499.57	c cleaning 8333 clauses out of 16680 with flag 33000/2156380
503.13/501.47	c cleaning 9169 clauses out of 18348 with flag 43001/2166381
506.03/504.34	c cleaning 10083 clauses out of 20178 with flag 54000/2177380
509.23/507.59	c cleaning 11040 clauses out of 22096 with flag 66001/2189381
512.94/511.25	c cleaning 12023 clauses out of 24055 with flag 79000/2202380
516.64/514.97	c cleaning 12515 clauses out of 25034 with flag 92002/2215382
520.55/518.81	c cleaning 12753 clauses out of 25518 with flag 105001/2228381
523.65/521.90	c cleaning 12877 clauses out of 25765 with flag 118001/2241381
526.55/524.87	c cleaning 12936 clauses out of 25887 with flag 131000/2254380
529.67/527.97	c cleaning 12970 clauses out of 25952 with flag 144001/2267381
532.85/531.17	c cleaning 12985 clauses out of 25982 with flag 157001/2280381
536.06/534.34	c cleaning 12991 clauses out of 25997 with flag 170001/2293381
539.16/537.44	c cleaning 12996 clauses out of 26005 with flag 183000/2306380
542.36/540.62	c cleaning 12996 clauses out of 26010 with flag 196001/2319381
545.46/543.76	c cleaning 13006 clauses out of 26015 with flag 209002/2332382
548.88/547.16	c cleaning 13002 clauses out of 26012 with flag 222005/2345385
552.38/550.69	c cleaning 12994 clauses out of 26005 with flag 235000/2358380
555.98/554.21	c cleaning 12999 clauses out of 26012 with flag 248001/2371381
559.39/557.66	c cleaning 13000 clauses out of 26012 with flag 261000/2384380
562.98/561.26	c cleaning 13001 clauses out of 26012 with flag 274000/2397380
566.58/564.80	c cleaning 12999 clauses out of 26011 with flag 287000/2410380
569.99/568.28	c cleaning 13001 clauses out of 26014 with flag 300002/2423382
573.50/571.78	c cleaning 12999 clauses out of 26012 with flag 313001/2436381
577.12/575.35	c cleaning 12999 clauses out of 26012 with flag 326000/2449380
580.60/578.89	c cleaning 12999 clauses out of 26015 with flag 339002/2462382
584.41/582.60	c cleaning 13001 clauses out of 26015 with flag 352001/2475381
587.61/585.87	c cleaning 13002 clauses out of 26015 with flag 365002/2488382
590.91/589.12	c cleaning 12998 clauses out of 26012 with flag 378001/2501381
594.41/592.62	c cleaning 13003 clauses out of 26015 with flag 391002/2514382
597.82/596.07	c cleaning 13001 clauses out of 26011 with flag 404001/2527381
601.42/599.66	c cleaning 13000 clauses out of 26010 with flag 417001/2540381
605.33/603.53	c cleaning 13001 clauses out of 26009 with flag 430000/2553380
609.05/607.23	c cleaning 12995 clauses out of 26009 with flag 443001/2566381
612.84/611.00	c cleaning 13003 clauses out of 26015 with flag 456002/2579382
616.44/614.61	c cleaning 12997 clauses out of 26010 with flag 469000/2592380
620.14/618.33	c cleaning 13000 clauses out of 26014 with flag 482001/2605381
623.84/622.05	c cleaning 13000 clauses out of 26014 with flag 495001/2618381
627.54/625.74	c cleaning 13000 clauses out of 26014 with flag 508001/2631381
630.85/629.10	c cleaning 13000 clauses out of 26013 with flag 521000/2644380
634.38/632.56	c cleaning 13000 clauses out of 26016 with flag 534003/2657383
637.97/636.17	c cleaning 12998 clauses out of 26013 with flag 547000/2670380
641.77/639.90	c cleaning 13000 clauses out of 26015 with flag 560000/2683380
645.57/643.75	c cleaning 13003 clauses out of 26017 with flag 573002/2696382
648.87/647.08	c cleaning 12998 clauses out of 26012 with flag 586000/2709380
652.18/650.35	c cleaning 13001 clauses out of 26015 with flag 599001/2722381
655.38/653.56	c cleaning 13003 clauses out of 26015 with flag 612002/2735382
658.68/656.83	c cleaning 12998 clauses out of 26010 with flag 625000/2748380
661.90/660.05	c cleaning 13001 clauses out of 26012 with flag 638000/2761380
665.21/663.37	c cleaning 13000 clauses out of 26011 with flag 651000/2774380
668.69/666.84	c cleaning 13000 clauses out of 26012 with flag 664001/2787381
672.20/670.34	c cleaning 13002 clauses out of 26015 with flag 677004/2800384
675.40/673.53	c cleaning 12998 clauses out of 26011 with flag 690002/2813382
678.70/676.84	c cleaning 12996 clauses out of 26011 with flag 703000/2826380
682.11/680.22	c cleaning 13003 clauses out of 26015 with flag 716000/2839380
685.51/683.64	c cleaning 13002 clauses out of 26016 with flag 729004/2852384
689.01/687.11	c cleaning 12999 clauses out of 26010 with flag 742000/2865380
692.51/690.70	c cleaning 12999 clauses out of 26011 with flag 755000/2878380
696.23/694.32	c cleaning 12998 clauses out of 26013 with flag 768001/2891381
699.93/698.01	c cleaning 12999 clauses out of 26014 with flag 781000/2904380
703.24/701.33	c cleaning 13001 clauses out of 26016 with flag 794001/2917381
706.54/704.64	c cleaning 13002 clauses out of 26015 with flag 807001/2930381
709.84/707.95	c cleaning 13000 clauses out of 26014 with flag 820002/2943382
713.25/711.38	c cleaning 12995 clauses out of 26012 with flag 833000/2956380
716.86/714.92	c cleaning 13002 clauses out of 26017 with flag 846000/2969380
720.35/718.49	c cleaning 13001 clauses out of 26015 with flag 859000/2982380
724.16/722.24	c cleaning 12999 clauses out of 26016 with flag 872002/2995382
727.76/725.81	c cleaning 13002 clauses out of 26016 with flag 885001/3008381
731.28/729.39	c cleaning 13002 clauses out of 26014 with flag 898001/3021381
734.76/732.83	c cleaning 13002 clauses out of 26011 with flag 911000/3034380
737.78/735.87	c cleaning 13001 clauses out of 26012 with flag 924003/3047383
740.87/738.90	c cleaning 12999 clauses out of 26010 with flag 937002/3060382
744.17/742.27	c cleaning 13001 clauses out of 26010 with flag 950001/3073381
747.88/745.99	c cleaning 12994 clauses out of 26008 with flag 963000/3086380
751.28/749.40	c cleaning 13002 clauses out of 26015 with flag 976001/3099381
754.49/752.58	c cleaning 13002 clauses out of 26015 with flag 989003/3112383
758.00/756.01	c cleaning 13003 clauses out of 26011 with flag 1002001/3125381
761.70/759.79	c cleaning 12997 clauses out of 26007 with flag 1015000/3138380
765.49/763.59	c cleaning 12999 clauses out of 26010 with flag 1028000/3151380
769.40/767.41	c cleaning 13001 clauses out of 26013 with flag 1041002/3164382
772.81/770.89	c cleaning 12998 clauses out of 26010 with flag 1054000/3177380
776.61/774.60	c cleaning 12999 clauses out of 26012 with flag 1067000/3190380
780.01/778.03	c cleaning 12999 clauses out of 26013 with flag 1080000/3203380
783.71/781.79	c cleaning 13004 clauses out of 26016 with flag 1093002/3216382
787.22/785.25	c cleaning 13000 clauses out of 26011 with flag 1106001/3229381
790.52/788.61	c cleaning 13001 clauses out of 26010 with flag 1119000/3242380
794.04/792.09	c cleaning 13000 clauses out of 26010 with flag 1132001/3255381
797.62/795.69	c cleaning 13000 clauses out of 26009 with flag 1145000/3268380
801.22/799.29	c cleaning 12999 clauses out of 26010 with flag 1158001/3281381
804.83/802.82	c cleaning 12999 clauses out of 26010 with flag 1171000/3294380
808.35/806.34	c cleaning 13004 clauses out of 26013 with flag 1184002/3307382
811.83/809.85	c cleaning 12998 clauses out of 26007 with flag 1197000/3320380
815.04/813.06	c cleaning 12997 clauses out of 26012 with flag 1210003/3333383
818.04/816.07	c cleaning 13000 clauses out of 26014 with flag 1223002/3346382
821.24/819.24	c cleaning 13001 clauses out of 26013 with flag 1236001/3359381
824.54/822.51	c cleaning 12999 clauses out of 26013 with flag 1249002/3372382
827.95/825.97	c cleaning 13000 clauses out of 26012 with flag 1262000/3385380
831.36/829.41	c cleaning 13000 clauses out of 26013 with flag 1275001/3398381
835.06/833.05	c cleaning 13000 clauses out of 26012 with flag 1288000/3411380
838.36/836.39	c cleaning 13000 clauses out of 26012 with flag 1301000/3424380
841.96/839.97	c cleaning 13002 clauses out of 26015 with flag 1314003/3437383
845.17/843.19	c cleaning 12999 clauses out of 26012 with flag 1327002/3450382
848.47/846.45	c cleaning 12998 clauses out of 26011 with flag 1340000/3463380
851.77/849.70	c cleaning 13000 clauses out of 26014 with flag 1353001/3476381
855.08/853.08	c cleaning 13003 clauses out of 26015 with flag 1366002/3489382
858.68/856.61	c cleaning 12999 clauses out of 26012 with flag 1379002/3502382
862.08/860.11	c cleaning 12999 clauses out of 26012 with flag 1392001/3515381
865.88/863.80	c cleaning 12999 clauses out of 26012 with flag 1405000/3528380
869.28/867.25	c cleaning 13004 clauses out of 26017 with flag 1418004/3541384
872.59/870.60	c cleaning 12997 clauses out of 26010 with flag 1431001/3554381
876.09/874.09	c cleaning 13000 clauses out of 26013 with flag 1444001/3567381
879.70/877.61	c cleaning 13000 clauses out of 26013 with flag 1457001/3580381
883.22/881.13	c cleaning 13002 clauses out of 26014 with flag 1470002/3593382
886.81/884.79	c cleaning 12995 clauses out of 26010 with flag 1483000/3606380
890.10/888.08	c cleaning 13001 clauses out of 26015 with flag 1496000/3619380
893.51/891.40	c cleaning 13003 clauses out of 26015 with flag 1509001/3632381
896.71/894.66	c cleaning 12997 clauses out of 26011 with flag 1522000/3645380
900.11/898.00	c cleaning 12997 clauses out of 26015 with flag 1535001/3658381
903.42/901.38	c cleaning 13004 clauses out of 26019 with flag 1548002/3671382
906.82/904.77	c cleaning 13000 clauses out of 26014 with flag 1561001/3684381
910.22/908.18	c cleaning 12999 clauses out of 26014 with flag 1574001/3697381
913.52/911.47	c cleaning 13000 clauses out of 26014 with flag 1587000/3710380
917.03/914.96	c cleaning 13002 clauses out of 26015 with flag 1600001/3723381
920.65/918.55	c cleaning 13000 clauses out of 26013 with flag 1613001/3736381
924.23/922.10	c cleaning 13001 clauses out of 26013 with flag 1626001/3749381
927.64/925.57	c cleaning 13001 clauses out of 26013 with flag 1639002/3762382
931.15/929.00	c cleaning 12999 clauses out of 26010 with flag 1652000/3775380
934.65/932.51	c cleaning 12999 clauses out of 26011 with flag 1665000/3788380
938.16/936.05	c cleaning 13000 clauses out of 26012 with flag 1678000/3801380
941.65/939.57	c cleaning 12999 clauses out of 26014 with flag 1691002/3814382
945.25/943.19	c cleaning 13000 clauses out of 26013 with flag 1704000/3827380
948.85/946.76	c cleaning 13000 clauses out of 26013 with flag 1717000/3840380
952.35/950.27	c cleaning 13000 clauses out of 26014 with flag 1730001/3853381
955.95/953.89	c cleaning 13000 clauses out of 26013 with flag 1743000/3866380
959.56/957.49	c cleaning 13001 clauses out of 26014 with flag 1756001/3879381
963.27/961.14	c cleaning 12998 clauses out of 26013 with flag 1769001/3892381
966.97/964.81	c cleaning 12997 clauses out of 26014 with flag 1782000/3905380
970.57/968.42	c cleaning 13003 clauses out of 26019 with flag 1795002/3918382
974.27/972.12	c cleaning 13003 clauses out of 26016 with flag 1808002/3931382
978.06/975.90	c cleaning 12999 clauses out of 26012 with flag 1821001/3944381
981.77/979.65	c cleaning 12995 clauses out of 26012 with flag 1834000/3957380
985.28/983.17	c cleaning 13002 clauses out of 26018 with flag 1847001/3970381
989.08/986.92	c cleaning 13002 clauses out of 26017 with flag 1860002/3983382
992.69/990.57	c cleaning 12997 clauses out of 26013 with flag 1873000/3996380
996.39/994.25	c cleaning 13000 clauses out of 26016 with flag 1886000/4009380
1000.19/998.05	c cleaning 12999 clauses out of 26016 with flag 1899000/4022380
1003.59/1001.47	c cleaning 13005 clauses out of 26018 with flag 1912001/4035381
1007.00/1004.86	c cleaning 12998 clauses out of 26012 with flag 1925000/4048380
1010.59/1008.41	c cleaning 13005 clauses out of 26014 with flag 1938000/4061380
1014.00/1011.91	c cleaning 13000 clauses out of 26009 with flag 1951000/4074380
1017.72/1015.54	c cleaning 12998 clauses out of 26009 with flag 1964000/4087380
1021.42/1019.26	c cleaning 12999 clauses out of 26013 with flag 1977002/4100382
1025.13/1022.98	c cleaning 13003 clauses out of 26015 with flag 1990003/4113383
1028.91/1026.79	c cleaning 13002 clauses out of 26010 with flag 2003001/4126381
1032.42/1030.28	c cleaning 12997 clauses out of 26007 with flag 2016000/4139380
1036.03/1033.82	c cleaning 13001 clauses out of 26013 with flag 2029003/4152383
1039.73/1037.58	c cleaning 12997 clauses out of 26010 with flag 2042001/4165381
1043.64/1041.44	c cleaning 12997 clauses out of 26015 with flag 2055003/4178383
1047.54/1045.30	c cleaning 13001 clauses out of 26015 with flag 2068000/4191380
1051.14/1048.91	c cleaning 12999 clauses out of 26014 with flag 2081000/4204380
1054.74/1052.56	c cleaning 13002 clauses out of 26016 with flag 2094001/4217381
1058.44/1056.25	c cleaning 12999 clauses out of 26013 with flag 2107000/4230380
1062.25/1060.09	c cleaning 13002 clauses out of 26016 with flag 2120002/4243382
1066.16/1063.95	c cleaning 12999 clauses out of 26012 with flag 2133000/4256380
1070.16/1067.97	c cleaning 13002 clauses out of 26014 with flag 2146001/4269381
1074.16/1071.98	c cleaning 13001 clauses out of 26011 with flag 2159000/4282380
1078.16/1075.94	c cleaning 12998 clauses out of 26012 with flag 2172002/4295382
1082.17/1079.97	c cleaning 13000 clauses out of 26013 with flag 2185001/4308381
1086.16/1083.98	c cleaning 13000 clauses out of 26012 with flag 2198000/4321380
1089.86/1087.69	c cleaning 13001 clauses out of 26014 with flag 2211002/4334382
1093.67/1091.48	c cleaning 13001 clauses out of 26013 with flag 2224002/4347382
1097.37/1095.13	c cleaning 12998 clauses out of 26011 with flag 2237001/4360381
1101.27/1099.00	c cleaning 12998 clauses out of 26012 with flag 2250000/4373380
1105.28/1103.05	c cleaning 13000 clauses out of 26014 with flag 2263000/4386380
1109.28/1107.08	c cleaning 13001 clauses out of 26015 with flag 2276001/4399381
1113.38/1111.12	c cleaning 13002 clauses out of 26013 with flag 2289000/4412380
1117.08/1114.89	c cleaning 13000 clauses out of 26013 with flag 2302002/4425382
1120.90/1118.63	c cleaning 12998 clauses out of 26011 with flag 2315000/4438380
1124.79/1122.52	c cleaning 13002 clauses out of 26014 with flag 2328001/4451381
1128.78/1126.55	c cleaning 12997 clauses out of 26014 with flag 2341003/4464383
1132.79/1130.54	c cleaning 12999 clauses out of 26014 with flag 2354000/4477380
1136.79/1134.53	c cleaning 13001 clauses out of 26016 with flag 2367001/4490381
1140.89/1138.67	c cleaning 12999 clauses out of 26014 with flag 2380000/4503380
1144.99/1142.75	c cleaning 12996 clauses out of 26015 with flag 2393000/4516380
1149.09/1146.90	c cleaning 13005 clauses out of 26021 with flag 2406002/4529382
1152.09/1149.88	c cleaning 12999 clauses out of 26014 with flag 2419000/4542380
1155.11/1152.85	c cleaning 13003 clauses out of 26015 with flag 2432000/4555380
1158.11/1155.80	c cleaning 13001 clauses out of 26012 with flag 2445000/4568380
1161.01/1158.78	c cleaning 12999 clauses out of 26012 with flag 2458001/4581381
1164.11/1161.89	c cleaning 13001 clauses out of 26012 with flag 2471000/4594380
1167.51/1165.20	c cleaning 12999 clauses out of 26012 with flag 2484001/4607381
1170.82/1168.56	c cleaning 13001 clauses out of 26012 with flag 2497000/4620380
1174.12/1171.81	c cleaning 13000 clauses out of 26012 with flag 2510001/4633381
1177.42/1175.18	c cleaning 13001 clauses out of 26012 with flag 2523001/4646381
1180.82/1178.54	c cleaning 12998 clauses out of 26012 with flag 2536002/4659382
1183.64/1181.37	c cleaning 13000 clauses out of 26013 with flag 2549001/4672381
1186.52/1184.21	c cleaning 13000 clauses out of 26012 with flag 2562000/4685380
1189.43/1187.16	c cleaning 12998 clauses out of 26012 with flag 2575000/4698380
1192.44/1190.15	c cleaning 12999 clauses out of 26014 with flag 2588000/4711380
1195.24/1192.97	c cleaning 13001 clauses out of 26015 with flag 2601000/4724380
1198.24/1195.94	c cleaning 13002 clauses out of 26017 with flag 2614003/4737383
1201.44/1199.13	c cleaning 13002 clauses out of 26012 with flag 2627000/4750380
1204.56/1202.28	c cleaning 13000 clauses out of 26011 with flag 2640001/4763381
1207.75/1205.43	c cleaning 12998 clauses out of 26012 with flag 2653002/4776382
1211.05/1208.73	c cleaning 13001 clauses out of 26013 with flag 2666001/4789381
1214.36/1212.05	c cleaning 13000 clauses out of 26012 with flag 2679001/4802381
1217.66/1215.36	c cleaning 12997 clauses out of 26012 with flag 2692001/4815381
1220.96/1218.64	c cleaning 13001 clauses out of 26014 with flag 2705000/4828380
1224.38/1222.03	c cleaning 13001 clauses out of 26014 with flag 2718001/4841381
1227.69/1225.40	c cleaning 13000 clauses out of 26013 with flag 2731001/4854381
1231.18/1228.85	c cleaning 13003 clauses out of 26015 with flag 2744003/4867383
1234.68/1232.33	c cleaning 12998 clauses out of 26011 with flag 2757002/4880382
1238.18/1235.84	c cleaning 13001 clauses out of 26012 with flag 2770001/4893381
1241.59/1239.29	c cleaning 12998 clauses out of 26011 with flag 2783001/4906381
1245.19/1242.81	c cleaning 13002 clauses out of 26013 with flag 2796001/4919381
1248.49/1246.20	c cleaning 13000 clauses out of 26011 with flag 2809001/4932381
1252.10/1249.72	c cleaning 13001 clauses out of 26014 with flag 2822004/4945384
1255.61/1253.27	c cleaning 12998 clauses out of 26010 with flag 2835001/4958381
1259.11/1256.77	c cleaning 13000 clauses out of 26013 with flag 2848002/4971382
1262.11/1259.77	c cleaning 13003 clauses out of 26017 with flag 2861006/4984386
1265.24/1262.88	c cleaning 12997 clauses out of 26008 with flag 2874000/4997380
1268.43/1266.09	c cleaning 13002 clauses out of 26011 with flag 2887000/5010380
1271.62/1269.24	c cleaning 12999 clauses out of 26010 with flag 2900001/5023381
1274.83/1272.47	c cleaning 12998 clauses out of 26010 with flag 2913000/5036380
1278.03/1275.69	c cleaning 13002 clauses out of 26013 with flag 2926001/5049381
1281.33/1278.96	c cleaning 13000 clauses out of 26012 with flag 2939002/5062382
1284.74/1282.30	c cleaning 12999 clauses out of 26011 with flag 2952001/5075381
1288.04/1285.70	c cleaning 13002 clauses out of 26011 with flag 2965000/5088380
1291.34/1288.95	c cleaning 12997 clauses out of 26010 with flag 2978001/5101381
1294.64/1292.29	c cleaning 12999 clauses out of 26013 with flag 2991001/5114381
1298.04/1295.60	c cleaning 13004 clauses out of 26017 with flag 3004004/5127384
1301.24/1298.88	c cleaning 12998 clauses out of 26010 with flag 3017001/5140381
1304.65/1302.27	c cleaning 12998 clauses out of 26012 with flag 3030001/5153381
1307.95/1305.60	c cleaning 13000 clauses out of 26013 with flag 3043000/5166380
1311.55/1309.15	c cleaning 12998 clauses out of 26013 with flag 3056000/5179380
1314.67/1312.30	c cleaning 13002 clauses out of 26017 with flag 3069002/5192382
1317.86/1315.45	c cleaning 12999 clauses out of 26013 with flag 3082000/5205380
1321.27/1318.85	c cleaning 13002 clauses out of 26016 with flag 3095002/5218382
1324.76/1322.33	c cleaning 12999 clauses out of 26012 with flag 3108000/5231380
1328.17/1325.78	c cleaning 13001 clauses out of 26015 with flag 3121002/5244382
1331.67/1329.21	c cleaning 13001 clauses out of 26012 with flag 3134000/5257380
1335.07/1332.62	c cleaning 13001 clauses out of 26011 with flag 3147000/5270380
1338.59/1336.13	c cleaning 12998 clauses out of 26010 with flag 3160000/5283380
1342.31/1339.88	c cleaning 13004 clauses out of 26015 with flag 3173003/5296383
1345.78/1343.38	c cleaning 13000 clauses out of 26012 with flag 3186004/5309384
1349.58/1347.16	c cleaning 13001 clauses out of 26009 with flag 3199001/5322381
1353.31/1350.83	c cleaning 13000 clauses out of 26008 with flag 3212001/5335381
1357.09/1354.70	c cleaning 13000 clauses out of 26007 with flag 3225000/5348380
1360.59/1358.17	c cleaning 12998 clauses out of 26008 with flag 3238001/5361381
1363.99/1361.55	c cleaning 12997 clauses out of 26009 with flag 3251000/5374380
1367.52/1365.02	c cleaning 12999 clauses out of 26014 with flag 3264002/5387382
1371.10/1368.60	c cleaning 12999 clauses out of 26013 with flag 3277000/5400380
1374.61/1372.13	c cleaning 12998 clauses out of 26014 with flag 3290000/5413380
1378.21/1375.71	c cleaning 13001 clauses out of 26016 with flag 3303000/5426380
1381.83/1379.37	c cleaning 13002 clauses out of 26016 with flag 3316001/5439381
1385.61/1383.16	c cleaning 12998 clauses out of 26013 with flag 3329000/5452380
1389.41/1386.94	c cleaning 13001 clauses out of 26015 with flag 3342000/5465380
1393.31/1390.87	c cleaning 13000 clauses out of 26014 with flag 3355000/5478380
1397.02/1394.57	c cleaning 13002 clauses out of 26014 with flag 3368000/5491380
1400.82/1398.39	c cleaning 12996 clauses out of 26012 with flag 3381000/5504380
1404.52/1402.00	c cleaning 13004 clauses out of 26020 with flag 3394004/5517384
1407.82/1405.39	c cleaning 13003 clauses out of 26012 with flag 3407000/5530380
1410.82/1408.33	c cleaning 13000 clauses out of 26010 with flag 3420001/5543381
1414.03/1411.52	c cleaning 13002 clauses out of 26009 with flag 3433000/5556380
1417.23/1414.72	c cleaning 12996 clauses out of 26008 with flag 3446001/5569381
1420.65/1418.13	c cleaning 12999 clauses out of 26013 with flag 3459002/5582382
1424.15/1421.60	c cleaning 13001 clauses out of 26014 with flag 3472002/5595382
1427.65/1425.14	c cleaning 13001 clauses out of 26011 with flag 3485000/5608380
1431.26/1428.70	c cleaning 13002 clauses out of 26011 with flag 3498001/5621381
1434.67/1432.18	c cleaning 12999 clauses out of 26012 with flag 3511004/5634384
1438.26/1435.75	c cleaning 12998 clauses out of 26012 with flag 3524003/5647383
1441.56/1439.06	c cleaning 13000 clauses out of 26011 with flag 3537000/5660380
1444.97/1442.43	c cleaning 13002 clauses out of 26015 with flag 3550004/5673384
1448.46/1445.95	c cleaning 13000 clauses out of 26009 with flag 3563000/5686380
1451.97/1449.43	c cleaning 13000 clauses out of 26010 with flag 3576001/5699381
1455.47/1452.91	c cleaning 12998 clauses out of 26009 with flag 3589000/5712380
1459.08/1456.50	c cleaning 13000 clauses out of 26012 with flag 3602001/5725381
1462.68/1460.13	c cleaning 12998 clauses out of 26012 with flag 3615001/5738381
1466.28/1463.70	c cleaning 13000 clauses out of 26013 with flag 3628000/5751380
1469.90/1467.32	c cleaning 13001 clauses out of 26014 with flag 3641001/5764381
1473.48/1470.98	c cleaning 12999 clauses out of 26013 with flag 3654001/5777381
1477.09/1474.53	c cleaning 13002 clauses out of 26015 with flag 3667002/5790382
1480.59/1478.00	c cleaning 13000 clauses out of 26011 with flag 3680000/5803380
1484.10/1481.55	c cleaning 13001 clauses out of 26013 with flag 3693002/5816382
1487.70/1485.15	c cleaning 13000 clauses out of 26012 with flag 3706002/5829382
1491.21/1488.68	c cleaning 13001 clauses out of 26012 with flag 3719002/5842382
1494.81/1492.25	c cleaning 12997 clauses out of 26009 with flag 3732000/5855380
1498.52/1496.01	c cleaning 13000 clauses out of 26012 with flag 3745000/5868380
1502.31/1499.73	c cleaning 13000 clauses out of 26013 with flag 3758001/5881381
1505.91/1503.33	c cleaning 12999 clauses out of 26012 with flag 3771000/5894380
1509.53/1506.97	c cleaning 13002 clauses out of 26013 with flag 3784000/5907380
1513.31/1510.71	c cleaning 13004 clauses out of 26017 with flag 3797006/5920386
1517.11/1514.54	c cleaning 12999 clauses out of 26008 with flag 3810001/5933381
1520.82/1518.29	c cleaning 13000 clauses out of 26010 with flag 3823002/5946382
1524.43/1521.89	c cleaning 13001 clauses out of 26011 with flag 3836003/5959383
1528.13/1525.53	c cleaning 12997 clauses out of 26007 with flag 3849000/5972380
1531.84/1529.22	c cleaning 12999 clauses out of 26011 with flag 3862001/5985381
1535.74/1533.12	c cleaning 13001 clauses out of 26011 with flag 3875000/5998380
1539.54/1536.96	c cleaning 13001 clauses out of 26011 with flag 3888001/6011381
1543.44/1540.88	c cleaning 13001 clauses out of 26009 with flag 3901000/6024380
1546.44/1543.89	c cleaning 13001 clauses out of 26010 with flag 3914002/6037382
1549.44/1546.88	c cleaning 12999 clauses out of 26007 with flag 3927000/6050380
1552.46/1549.91	c cleaning 12994 clauses out of 26008 with flag 3940000/6063380
1555.55/1552.99	c cleaning 13000 clauses out of 26017 with flag 3953003/6076383
1558.75/1556.13	c cleaning 13004 clauses out of 26014 with flag 3966000/6089380
1561.75/1559.13	c cleaning 13000 clauses out of 26012 with flag 3979002/6102382
1564.76/1562.15	c cleaning 12998 clauses out of 26011 with flag 3992001/6115381
1567.98/1565.40	c cleaning 13001 clauses out of 26013 with flag 4005001/6128381
1571.36/1568.72	c cleaning 13003 clauses out of 26011 with flag 4018000/6141380
1574.66/1572.00	c cleaning 12998 clauses out of 26009 with flag 4031001/6154381
1577.88/1575.28	c cleaning 12999 clauses out of 26010 with flag 4044000/6167380
1581.18/1578.53	c cleaning 12999 clauses out of 26014 with flag 4057003/6180383
1584.39/1581.78	c cleaning 13001 clauses out of 26012 with flag 4070000/6193380
1587.68/1585.04	c cleaning 12998 clauses out of 26011 with flag 4083000/6206380
1590.99/1588.39	c cleaning 12999 clauses out of 26013 with flag 4096000/6219380
1594.39/1591.72	c cleaning 13003 clauses out of 26015 with flag 4109001/6232381
1597.78/1595.11	c cleaning 12999 clauses out of 26011 with flag 4122000/6245380
1601.18/1598.52	c cleaning 13004 clauses out of 26020 with flag 4135008/6258388
1604.49/1601.84	c cleaning 12999 clauses out of 26008 with flag 4148000/6271380
1607.79/1605.16	c cleaning 13002 clauses out of 26013 with flag 4161004/6284384
1611.29/1608.63	c cleaning 12997 clauses out of 26007 with flag 4174000/6297380
1614.79/1612.12	c cleaning 13000 clauses out of 26011 with flag 4187001/6310381
1618.19/1615.54	c cleaning 13002 clauses out of 26016 with flag 4200006/6323386
1621.50/1618.88	c cleaning 12998 clauses out of 26009 with flag 4213001/6336381
1625.00/1622.35	c cleaning 13002 clauses out of 26013 with flag 4226003/6349383
1628.60/1625.95	c cleaning 13002 clauses out of 26008 with flag 4239000/6362380
1632.01/1629.37	c cleaning 12998 clauses out of 26008 with flag 4252002/6375382
1635.41/1632.76	c cleaning 12997 clauses out of 26008 with flag 4265000/6388380
1638.91/1636.25	c cleaning 13005 clauses out of 26018 with flag 4278007/6401387
1642.51/1639.81	c cleaning 12997 clauses out of 26008 with flag 4291002/6414382
1645.81/1643.16	c cleaning 13000 clauses out of 26009 with flag 4304000/6427380
1648.92/1646.25	c cleaning 12999 clauses out of 26010 with flag 4317001/6440381
1652.32/1649.63	c cleaning 13000 clauses out of 26014 with flag 4330004/6453384
1655.72/1653.04	c cleaning 12997 clauses out of 26010 with flag 4343000/6466380
1659.02/1656.39	c cleaning 13001 clauses out of 26014 with flag 4356001/6479381
1662.55/1659.86	c cleaning 12999 clauses out of 26013 with flag 4369001/6492381
1665.95/1663.27	c cleaning 13000 clauses out of 26013 with flag 4382000/6505380
1669.54/1666.85	c cleaning 13002 clauses out of 26013 with flag 4395000/6518380
1673.04/1670.37	c cleaning 12999 clauses out of 26012 with flag 4408001/6531381
1676.45/1673.73	c cleaning 13000 clauses out of 26013 with flag 4421001/6544381
1679.55/1676.86	c cleaning 13001 clauses out of 26014 with flag 4434002/6557382
1682.75/1680.01	c cleaning 13000 clauses out of 26011 with flag 4447000/6570380
1685.98/1683.26	c cleaning 13003 clauses out of 26013 with flag 4460002/6583382
1689.28/1686.55	c cleaning 12998 clauses out of 26008 with flag 4473000/6596380
1692.68/1689.93	c cleaning 12997 clauses out of 26010 with flag 4486000/6609380
1696.18/1693.49	c cleaning 13001 clauses out of 26016 with flag 4499003/6622383
1699.68/1696.95	c cleaning 13001 clauses out of 26014 with flag 4512002/6635382
1703.30/1700.53	c cleaning 13001 clauses out of 26013 with flag 4525002/6648382
1706.88/1704.13	c cleaning 12996 clauses out of 26010 with flag 4538000/6661380
1710.49/1707.73	c cleaning 13001 clauses out of 26015 with flag 4551001/6674381
1714.09/1711.33	c cleaning 13001 clauses out of 26014 with flag 4564001/6687381
1717.72/1714.97	c cleaning 13002 clauses out of 26013 with flag 4577001/6700381
1721.21/1718.42	c cleaning 13001 clauses out of 26010 with flag 4590000/6713380
1724.71/1721.95	c cleaning 12999 clauses out of 26009 with flag 4603000/6726380
1728.31/1725.54	c cleaning 12998 clauses out of 26010 with flag 4616000/6739380
1731.81/1729.05	c cleaning 12999 clauses out of 26012 with flag 4629000/6752380
1735.33/1732.57	c cleaning 13000 clauses out of 26014 with flag 4642001/6765381
1738.64/1735.86	c cleaning 13003 clauses out of 26014 with flag 4655001/6778381
1741.52/1738.71	c cleaning 12998 clauses out of 26010 with flag 4668000/6791380
1744.93/1742.13	c cleaning 13002 clauses out of 26013 with flag 4681001/6804381
1748.03/1745.21	c cleaning 13001 clauses out of 26011 with flag 4694001/6817381
1751.13/1748.34	c cleaning 13000 clauses out of 26010 with flag 4707001/6830381
1754.44/1751.63	c cleaning 13002 clauses out of 26013 with flag 4720004/6843384
1758.04/1755.21	c cleaning 12998 clauses out of 26008 with flag 4733001/6856381
1761.55/1758.70	c cleaning 13001 clauses out of 26010 with flag 4746001/6869381
1765.25/1762.40	c cleaning 13000 clauses out of 26010 with flag 4759002/6882382
1768.95/1766.10	c cleaning 12999 clauses out of 26009 with flag 4772001/6895381
1772.45/1769.61	c cleaning 13001 clauses out of 26012 with flag 4785003/6908383
1775.66/1772.84	c cleaning 13001 clauses out of 26011 with flag 4798003/6921383
1779.16/1776.31	c cleaning 12998 clauses out of 26007 with flag 4811000/6934380
1782.76/1779.92	c cleaning 13001 clauses out of 26009 with flag 4824000/6947380
1786.46/1783.65	c cleaning 12999 clauses out of 26008 with flag 4837000/6960380
1789.77/1786.95	c cleaning 13001 clauses out of 26011 with flag 4850002/6973382
1792.98/1790.10	c cleaning 13001 clauses out of 26009 with flag 4863001/6986381
1796.18/1793.34	c cleaning 13002 clauses out of 26009 with flag 4876002/6999382
1799.38/1796.51	c cleaning 12998 clauses out of 26007 with flag 4889002/7012382
1800.10/1797.22	c starts		: 297
1800.10/1797.22	c conflicts		: 7015427
1800.10/1797.22	c decisions		: 11198152
1800.10/1797.22	c propagations		: 1491538696
1800.10/1797.22	c inspects		: 15081626547
1800.10/1797.22	c shortcuts		: 0
1800.10/1797.22	c learnt literals	: 0
1800.10/1797.22	c learnt binary clauses	: 0
1800.10/1797.22	c learnt ternary clauses	: 0
1800.10/1797.22	c learnt constraints	: 7015427
1800.10/1797.22	c ignored constraints	: 0
1800.10/1797.22	c root simplifications	: 0
1800.10/1797.22	c removed literals (reason simplification)	: 21234571
1800.10/1797.22	c reason swapping (by a shorter reason)	: 0
1800.10/1797.22	c Calls to reduceDB	: 547
1800.10/1797.22	c number of reductions to clauses (during analyze)	: 0
1800.10/1797.22	c number of learned constraints concerned by reduction	: 0
1800.10/1797.22	c number of learning phase by resolution	: 0
1800.10/1797.22	c number of learning phase by cutting planes	: 0
1800.10/1797.22	c speed (assignments/second)	: 1144189.192506465
1800.10/1797.22	c non guided choices	0
1800.10/1797.23	c learnt constraints type 
1800.10/1797.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16076
1800.10/1797.23	c constraints type 
1800.10/1797.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404
1800.10/1797.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1797.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1800.10/1797.23	s SATISFIABLE
1800.10/1797.23	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 
1800.10/1797.23	c objective function=13
1800.10/1797.23	c Total wall clock time (in seconds): 1797.12

Verifier Data 

OK	13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.88 3/495 16341
/proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 5914 0 1 0 0 0 0 0 25 0 2 0 827470485 13850947584 5615 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3381579 5629 917 9 0 3372735 0
[pid=16341/tid=16342] ppid=16339 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 7442 0 1 0 0 0 0 0 25 0 2 0 827470485 13850947584 8258 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0703889 s]
/proc/loadavg: 1.92 2.01 1.88 3/495 16341
/proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 14308 0 1 0 5 1 0 0 25 0 18 0 827470485 13880410112 14004 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3388772 14005 1742 9 0 3379506 0
[pid=16341/tid=16342] ppid=16339 vsize=13555088 CPUtime=0.05 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 13133 0 1 0 4 1 0 0 22 0 18 0 827470485 13880410112 14005 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 47455741510403 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.105369 s]
/proc/loadavg: 1.92 2.01 1.88 3/495 16341
/proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13621644 CPUtime=0.11 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 15426 0 1 0 9 2 0 0 25 0 18 0 827470485 13948563456 15122 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3405411 15123 2092 9 0 3396145 0
[pid=16341/tid=16342] ppid=16339 vsize=13621644 CPUtime=0.08 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 13666 0 1 0 7 1 0 0 22 0 18 0 827470485 13948563456 15123 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658973131 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621644

[startup+0.325328 s]
/proc/loadavg: 1.92 2.01 1.88 3/495 16341
/proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13624216 CPUtime=0.53 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 18054 0 1 0 51 2 0 0 25 0 18 0 827470485 13951197184 17708 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3406054 17708 2220 9 0 3396788 0
[pid=16341/tid=16342] ppid=16339 vsize=13624216 CPUtime=0.31 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 15350 0 1 0 29 2 0 0 18 0 18 0 827470485 13951197184 17708 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 47455746005812 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13624216

[startup+0.702227 s]
/proc/loadavg: 1.92 2.01 1.88 3/495 16341
/proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=1.65 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 28115 0 1 0 161 4 0 0 25 0 19 0 827470485 13963681792 24452 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 24452 2241 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=0.67 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 17850 0 1 0 65 2 0 0 19 0 19 0 827470485 13963681792 24452 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 13636408

[startup+1.50117 s]
/proc/loadavg: 1.92 2.01 1.88 3/514 16360
/proc/meminfo: memFree=28986440/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=2.53 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 28627 0 1 0 249 4 0 0 25 0 19 0 827470485 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 24964 2243 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1.47 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 18349 0 1 0 144 3 0 0 20 0 19 0 827470485 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658972341 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827470488 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827470489 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827470489 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.49 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) R 16339 16341 12918 0 -1 4202560 3980 0 0 0 49 0 0 0 15 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 47455744084669 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.54 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5136 0 0 0 54 0 0 0 15 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 13636408

[startup+3.10085 s]
/proc/loadavg: 1.92 2.01 1.88 3/514 16362
/proc/meminfo: memFree=28971064/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=4.2 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 32986 0 1 0 415 5 0 0 25 0 19 0 827470485 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 29316 2268 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=3 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 18544 0 1 0 297 3 0 0 25 0 19 0 827470485 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505881036 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 567 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 696 0 0 0 0 0 0 0 18 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=0.05 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 1794 0 0 0 5 0 0 0 16 0 19 0 827470488 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.53 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3988 0 0 0 53 0 0 0 15 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.57 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5143 0 0 0 57 0 0 0 15 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 13636408

[startup+6.30128 s]
/proc/loadavg: 1.93 2.01 1.88 3/534 16403
/proc/meminfo: memFree=28849724/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=7.43 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 33510 0 1 0 737 6 0 0 25 0 19 0 827470485 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 29580 2269 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=6.11 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 18546 0 1 0 608 3 0 0 25 0 19 0 827470485 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505920224 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 647 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 251 0 0 0 0 0 0 0 16 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.01 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 696 0 0 0 1 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 892 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=0.11 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 1981 0 0 0 11 0 0 0 16 0 19 0 827470488 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.55 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3991 0 0 0 55 0 0 0 15 0 19 0 827470491 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.58 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 58 0 0 0 15 0 19 0 827470491 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0

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

[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 512 0 0 0 43 0 0 0 15 0 19 0 827470487 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.4 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1015 0 0 0 40 0 0 0 16 0 19 0 827470487 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.38 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1220 0 0 0 38 0 0 0 15 0 19 0 827470487 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=19.53 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5228 0 0 0 1943 10 0 0 15 0 19 0 827470488 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.04
Current children cumulated vsize (KiB) 13636408

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 16460
/proc/meminfo: memFree=28385264/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=1725.11 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 38729 0 1 0 172455 56 0 0 25 0 19 0 827470485 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 34075 2270 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1700.19 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 19067 0 1 0 169979 40 0 0 25 0 19 0 827470485 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505820064 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 685 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 231 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 28 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6
/proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 33 0 0 0 43 0 0 0 16 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0.45 cores=0,2,4,6
/proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 285 0 0 0 45 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.45 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 512 0 0 0 45 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1015 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.4 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1220 0 0 0 40 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=20.25 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5261 0 0 0 2015 10 0 0 15 0 19 0 827470488 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.11
Current children cumulated vsize (KiB) 13636408

[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 2.00 3/535 16462
/proc/meminfo: memFree=28381636/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=1785.16 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 38800 0 1 0 178459 57 0 0 25 0 19 0 827470485 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 34121 2270 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1759.44 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 19084 0 1 0 175903 41 0 0 25 0 19 0 827470485 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505880769 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0.42 cores=0,2,4,6
/proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 685 0 0 0 42 0 0 0 16 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 231 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6
/proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 28 0 0 0 44 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6
/proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 33 0 0 0 44 0 0 0 16 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0.46 cores=0,2,4,6
/proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 285 0 0 0 46 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.47 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 516 0 0 0 47 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1016 0 0 0 43 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1223 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=20.93 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5303 0 0 0 2083 10 0 0 15 0 19 0 827470488 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 13636408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.2 s]
/proc/loadavg: 2.10 2.05 2.00 3/535 16462
/proc/meminfo: memFree=28381760/32951132 swapFree=57925096/67111528
[pid=16341] ppid=16339 vsize=13636408 CPUtime=1800.1 cores=0,2,4,6
/proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 38814 0 1 0 179952 58 0 0 25 0 19 0 827470485 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16341/statm: 3409102 34130 2270 9 0 3399836 0
[pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1774.15 cores=0,2,4,6
/proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 19089 0 1 0 177373 42 0 0 25 0 19 0 827470485 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505903628 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0.42 cores=0,2,4,6
/proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 685 0 0 0 42 0 0 0 16 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0.42 cores=0,2,4,6
/proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 232 0 0 0 42 0 0 0 16 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6
/proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 28 0 0 0 44 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6
/proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 33 0 0 0 44 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0.47 cores=0,2,4,6
/proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 285 0 0 0 47 0 0 0 16 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.47 cores=0,2,4,6
/proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 517 0 0 0 47 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6
/proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1016 0 0 0 43 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6
/proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1223 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=21.13 cores=0,2,4,6
/proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5310 0 0 0 2103 10 0 0 15 0 19 0 827470488 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0
[pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
[pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0
[pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6
/proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0
[pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6
/proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13636408

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.24
CPU time (s): 1800.15
CPU user time (s): 1799.56
CPU system time (s): 0.59191
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 13636408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.59191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38852
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= 50976
involuntary context switches= 38313

runsolver used 9.79051 second user time and 20.2799 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-04 05:38:29
IDJOB=3458308
IDBENCH=48128
IDSOLVER=1952
FILE ID=node129/3458308-1307158709
RUNJOBID= node129-1307156908-16155
PBS_JOBID= 13508787
Free space on /tmp= 73860 MiB

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

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=726566327

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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.831
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.82
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.831
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.74
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.831
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.831
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.75
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.831
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:     32951132 kB
MemFree:      29077308 kB
Buffers:        315864 kB
Cached:        2122856 kB
SwapCached:      49348 kB
Active:         441772 kB
Inactive:      3150152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29077308 kB
SwapTotal:    67111528 kB
SwapFree:     57925096 kB
Dirty:            1388 kB
Writeback:           0 kB
AnonPages:     1115536 kB
Mapped:          14584 kB
Slab:           153576 kB
PageTables:      59092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 147302244 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73880 MiB
End job on node129 at 2011-06-04 06:08:28