Trace number 3458807

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)-26 1800.15 1795.67

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.07/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.09	c See www.sat4j.org for details.
0.07/0.09	c version 2.3.1.v20110525
0.07/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.09	c java.vm.version	19.1-b02
0.07/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.09	c sun.arch.data.model	64
0.07/0.09	c java.version		1.6.0_24
0.07/0.09	c os.name		Linux
0.07/0.09	c os.version		2.6.18-164.el5
0.07/0.09	c os.arch		amd64
0.07/0.09	c Free memory 		12995394264
0.07/0.09	c Max memory 		13063553024
0.07/0.09	c Total memory 		13063553024
0.07/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458807-1307148371.opb
0.10/0.12	c reading problem ... 
0.67/0.44	c ... done. Wall clock time 0.33s.
0.67/0.45	c #vars     450
0.67/0.45	c #constraints  17831
0.67/0.45	c constraints type 
0.67/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17831
0.67/0.46	c SATISFIABLE
0.67/0.46	c OPTIMIZING...
0.67/0.46	c Got one! Elapsed wall clock time (in seconds):0.343
0.67/0.46	o -21
0.67/0.47	c Got one! Elapsed wall clock time (in seconds):0.359
0.67/0.47	o -22
0.85/0.54	c Got one! Elapsed wall clock time (in seconds):0.418
0.85/0.54	o -23
0.85/0.58	c Got one! Elapsed wall clock time (in seconds):0.467
0.85/0.58	o -24
1.56/1.10	c Got one! Elapsed wall clock time (in seconds):0.99
1.56/1.10	o -25
1.80/1.24	c cleaning 3017 clauses out of 6033 with flag 1000/6033
2.46/1.85	c cleaning 4508 clauses out of 9016 with flag 7000/12033
3.17/2.56	c cleaning 5750 clauses out of 11508 with flag 14000/19033
4.08/3.47	c cleaning 6877 clauses out of 13758 with flag 22000/27033
5.23/4.50	c cleaning 7939 clauses out of 15881 with flag 31000/36033
6.33/5.65	c cleaning 8971 clauses out of 17942 with flag 41000/46033
7.65/6.96	c cleaning 9984 clauses out of 19972 with flag 52001/57034
9.16/8.40	c cleaning 10987 clauses out of 21988 with flag 64001/69034
10.77/10.05	c cleaning 11998 clauses out of 24000 with flag 77000/82033
12.57/11.83	c cleaning 12998 clauses out of 26002 with flag 91000/96033
14.69/13.94	c cleaning 13995 clauses out of 28004 with flag 106000/111033
16.61/15.88	c cleaning 15004 clauses out of 30009 with flag 122000/127033
18.92/18.19	c cleaning 16000 clauses out of 32005 with flag 139000/144033
21.53/20.74	c cleaning 17000 clauses out of 34005 with flag 157000/162033
24.25/23.43	c cleaning 17503 clauses out of 35005 with flag 175000/180033
26.76/25.91	c cleaning 17749 clauses out of 35502 with flag 193000/198033
29.50/28.67	c cleaning 17876 clauses out of 35753 with flag 211000/216033
29.80/28.97	c Got one! Elapsed wall clock time (in seconds):28.857
29.80/28.97	o -26
30.20/29.32	c cleaning 11588 clauses out of 23207 with flag 3000/221363
31.00/30.11	c cleaning 8808 clauses out of 17620 with flag 9001/227364
31.91/31.02	c cleaning 7899 clauses out of 15812 with flag 16001/234364
32.82/31.99	c cleaning 7948 clauses out of 15912 with flag 24000/242363
34.01/33.15	c cleaning 8478 clauses out of 16965 with flag 33001/251364
35.32/34.44	c cleaning 9234 clauses out of 18486 with flag 43000/261363
36.62/35.71	c cleaning 10126 clauses out of 20252 with flag 54000/272363
38.13/37.30	c cleaning 11056 clauses out of 22126 with flag 66000/284363
39.85/38.93	c cleaning 12028 clauses out of 24070 with flag 79000/297363
41.96/41.00	c cleaning 13019 clauses out of 26042 with flag 93000/311363
44.48/43.59	c cleaning 14009 clauses out of 28023 with flag 108000/326363
47.00/46.06	c cleaning 14995 clauses out of 30015 with flag 124001/342364
49.60/48.69	c cleaning 16008 clauses out of 32019 with flag 141000/359363
52.52/51.50	c cleaning 17004 clauses out of 34011 with flag 159000/377363
55.83/54.90	c cleaning 17505 clauses out of 35009 with flag 177002/395365
58.45/57.45	c cleaning 17748 clauses out of 35502 with flag 195000/413363
60.77/59.75	c cleaning 17873 clauses out of 35754 with flag 213000/431363
63.28/62.24	c cleaning 17927 clauses out of 35881 with flag 231000/449363
65.80/64.77	c cleaning 17974 clauses out of 35955 with flag 249001/467364
68.71/67.62	c cleaning 17988 clauses out of 35981 with flag 267001/485364
71.54/70.43	c cleaning 17992 clauses out of 35993 with flag 285001/503364
74.23/73.18	c cleaning 17993 clauses out of 36000 with flag 303000/521363
76.84/75.72	c cleaning 17998 clauses out of 36007 with flag 321000/539363
79.85/78.77	c cleaning 18001 clauses out of 36009 with flag 339000/557363
82.48/81.41	c cleaning 17998 clauses out of 36008 with flag 357000/575363
85.79/84.62	c cleaning 18004 clauses out of 36011 with flag 375001/593364
88.30/87.14	c cleaning 17998 clauses out of 36006 with flag 393000/611363
90.71/89.58	c cleaning 17996 clauses out of 36008 with flag 411000/629363
93.42/92.27	c cleaning 18002 clauses out of 36013 with flag 429001/647364
96.14/94.90	c cleaning 18001 clauses out of 36011 with flag 447001/665364
99.17/97.92	c cleaning 18005 clauses out of 36010 with flag 465001/683364
102.07/100.89	c cleaning 17997 clauses out of 36004 with flag 483000/701363
105.00/103.70	c cleaning 17999 clauses out of 36007 with flag 501000/719363
107.61/106.31	c cleaning 17997 clauses out of 36008 with flag 519000/737363
110.52/109.25	c cleaning 18001 clauses out of 36011 with flag 537000/755363
113.73/112.43	c cleaning 18005 clauses out of 36010 with flag 555000/773363
117.03/115.77	c cleaning 17996 clauses out of 36005 with flag 573000/791363
119.84/118.59	c cleaning 17991 clauses out of 36009 with flag 591000/809363
122.76/121.41	c cleaning 18008 clauses out of 36018 with flag 609000/827363
125.69/124.36	c cleaning 17998 clauses out of 36010 with flag 627000/845363
128.79/127.43	c cleaning 18000 clauses out of 36012 with flag 645000/863363
131.99/130.67	c cleaning 18006 clauses out of 36013 with flag 663001/881364
134.70/133.34	c cleaning 17990 clauses out of 36006 with flag 681000/899363
137.12/135.77	c cleaning 18008 clauses out of 36017 with flag 699001/917364
139.73/138.34	c cleaning 18002 clauses out of 36009 with flag 717001/935364
142.44/141.08	c cleaning 17998 clauses out of 36007 with flag 735001/953364
145.47/144.09	c cleaning 17995 clauses out of 36009 with flag 753001/971364
148.07/146.63	c cleaning 17999 clauses out of 36013 with flag 771000/989363
151.01/149.61	c cleaning 17989 clauses out of 36015 with flag 789001/1007364
154.00/152.58	c cleaning 18008 clauses out of 36025 with flag 807000/1025363
157.02/155.59	c cleaning 18005 clauses out of 36018 with flag 825001/1043364
160.14/158.69	c cleaning 18006 clauses out of 36012 with flag 843000/1061363
163.45/161.90	c cleaning 18001 clauses out of 36006 with flag 861000/1079363
165.96/164.48	c cleaning 17989 clauses out of 36005 with flag 879000/1097363
168.87/167.38	c cleaning 18007 clauses out of 36017 with flag 897001/1115364
171.87/170.33	c cleaning 17998 clauses out of 36009 with flag 915000/1133363
174.68/173.11	c cleaning 17997 clauses out of 36012 with flag 933001/1151364
177.89/176.35	c cleaning 17994 clauses out of 36015 with flag 951001/1169364
180.81/179.28	c cleaning 18009 clauses out of 36021 with flag 969001/1187364
183.72/182.13	c cleaning 17998 clauses out of 36011 with flag 987000/1205363
186.93/185.32	c cleaning 18006 clauses out of 36013 with flag 1005000/1223363
190.03/188.42	c cleaning 17983 clauses out of 36008 with flag 1023001/1241364
192.84/191.30	c cleaning 17997 clauses out of 36026 with flag 1041002/1259365
196.16/194.61	c cleaning 18008 clauses out of 36027 with flag 1059000/1277363
199.26/197.69	c cleaning 17988 clauses out of 36019 with flag 1077000/1295363
202.28/200.69	c cleaning 18016 clauses out of 36032 with flag 1095001/1313364
205.49/203.84	c cleaning 18003 clauses out of 36016 with flag 1113001/1331364
207.70/206.03	c cleaning 18000 clauses out of 36013 with flag 1131001/1349364
210.21/208.52	c cleaning 17993 clauses out of 36012 with flag 1149000/1367363
212.62/210.98	c cleaning 18004 clauses out of 36019 with flag 1167000/1385363
215.23/213.53	c cleaning 17998 clauses out of 36015 with flag 1185000/1403363
218.13/216.44	c cleaning 18001 clauses out of 36017 with flag 1203000/1421363
220.95/219.29	c cleaning 17998 clauses out of 36016 with flag 1221000/1439363
223.77/222.07	c cleaning 17999 clauses out of 36019 with flag 1239001/1457364
226.27/224.55	c cleaning 18001 clauses out of 36020 with flag 1257001/1475364
228.87/227.16	c cleaning 18001 clauses out of 36018 with flag 1275000/1493363
231.59/229.86	c cleaning 17999 clauses out of 36018 with flag 1293001/1511364
234.68/232.99	c cleaning 17996 clauses out of 36018 with flag 1311000/1529363
237.78/236.03	c cleaning 17986 clauses out of 36022 with flag 1329000/1547363
240.88/239.17	c cleaning 17999 clauses out of 36037 with flag 1347001/1565364
244.19/242.45	c cleaning 18013 clauses out of 36038 with flag 1365001/1583364
247.89/246.12	c cleaning 17992 clauses out of 36024 with flag 1383000/1601363
250.90/249.15	c cleaning 18009 clauses out of 36032 with flag 1401000/1619363
253.51/251.73	c cleaning 18004 clauses out of 36024 with flag 1419001/1637364
256.41/254.66	c cleaning 18002 clauses out of 36020 with flag 1437001/1655364
259.42/257.69	c cleaning 17999 clauses out of 36017 with flag 1455000/1673363
262.72/261.00	c cleaning 18004 clauses out of 36019 with flag 1473001/1691364
265.84/264.03	c cleaning 17993 clauses out of 36014 with flag 1491000/1709363
269.15/267.36	c cleaning 18006 clauses out of 36021 with flag 1509000/1727363
272.53/270.78	c cleaning 18002 clauses out of 36016 with flag 1527001/1745364
275.34/273.50	c cleaning 17994 clauses out of 36014 with flag 1545001/1763364
278.04/276.24	c cleaning 18005 clauses out of 36019 with flag 1563000/1781363
280.75/278.90	c cleaning 18000 clauses out of 36014 with flag 1581000/1799363
283.55/281.79	c cleaning 18001 clauses out of 36014 with flag 1599000/1817363
286.45/284.63	c cleaning 18002 clauses out of 36013 with flag 1617000/1835363
289.36/287.57	c cleaning 17993 clauses out of 36011 with flag 1635000/1853363
292.37/290.58	c cleaning 18005 clauses out of 36018 with flag 1653000/1871363
295.59/293.77	c cleaning 17999 clauses out of 36014 with flag 1671001/1889364
298.79/296.99	c cleaning 17993 clauses out of 36014 with flag 1689000/1907363
301.69/299.85	c cleaning 17996 clauses out of 36021 with flag 1707000/1925363
304.49/302.64	c cleaning 17998 clauses out of 36026 with flag 1725001/1943364
307.20/305.37	c cleaning 17999 clauses out of 36027 with flag 1743000/1961363
310.20/308.36	c cleaning 18009 clauses out of 36028 with flag 1761000/1979363
313.41/311.51	c cleaning 18005 clauses out of 36019 with flag 1779000/1997363
315.62/313.72	c cleaning 18001 clauses out of 36015 with flag 1797001/2015364
318.22/316.32	c cleaning 18000 clauses out of 36013 with flag 1815000/2033363
320.73/318.84	c cleaning 17994 clauses out of 36013 with flag 1833000/2051363
323.24/321.38	c cleaning 18002 clauses out of 36019 with flag 1851000/2069363
326.04/324.16	c cleaning 18009 clauses out of 36018 with flag 1869001/2087364
329.16/327.20	c cleaning 17993 clauses out of 36008 with flag 1887000/2105363
332.17/330.22	c cleaning 18006 clauses out of 36017 with flag 1905002/2123365
334.77/332.84	c cleaning 17985 clauses out of 36009 with flag 1923000/2141363
337.59/335.67	c cleaning 18008 clauses out of 36024 with flag 1941000/2159363
341.09/339.13	c cleaning 18000 clauses out of 36016 with flag 1959000/2177363
344.20/342.23	c cleaning 18004 clauses out of 36016 with flag 1977000/2195363
347.02/345.01	c cleaning 18004 clauses out of 36013 with flag 1995001/2213364
349.53/347.61	c cleaning 17996 clauses out of 36008 with flag 2013000/2231363
352.53/350.53	c cleaning 17992 clauses out of 36013 with flag 2031001/2249364
355.24/353.28	c cleaning 17999 clauses out of 36020 with flag 2049000/2267363
358.54/356.56	c cleaning 18008 clauses out of 36021 with flag 2067000/2285363
361.06/359.04	c cleaning 18000 clauses out of 36013 with flag 2085000/2303363
363.98/361.96	c cleaning 17999 clauses out of 36014 with flag 2103001/2321364
367.06/365.00	c cleaning 17996 clauses out of 36014 with flag 2121000/2339363
369.67/367.68	c cleaning 18001 clauses out of 36018 with flag 2139000/2357363
372.57/370.60	c cleaning 18001 clauses out of 36017 with flag 2157000/2375363
375.49/373.41	c cleaning 18001 clauses out of 36016 with flag 2175000/2393363
378.39/376.34	c cleaning 18000 clauses out of 36015 with flag 2193000/2411363
381.20/379.13	c cleaning 18004 clauses out of 36015 with flag 2211000/2429363
383.71/381.62	c cleaning 17996 clauses out of 36011 with flag 2229000/2447363
386.81/384.76	c cleaning 18007 clauses out of 36016 with flag 2247001/2465364
389.82/387.71	c cleaning 17998 clauses out of 36010 with flag 2265002/2483365
393.03/390.95	c cleaning 17997 clauses out of 36010 with flag 2283000/2501363
395.85/393.77	c cleaning 18004 clauses out of 36013 with flag 2301000/2519363
398.95/396.80	c cleaning 17996 clauses out of 36009 with flag 2319000/2537363
401.96/399.84	c cleaning 17997 clauses out of 36013 with flag 2337000/2555363
405.16/403.05	c cleaning 18001 clauses out of 36016 with flag 2355000/2573363
408.37/406.25	c cleaning 17997 clauses out of 36017 with flag 2373002/2591365
411.47/409.36	c cleaning 18005 clauses out of 36019 with flag 2391001/2609364
414.77/412.67	c cleaning 17997 clauses out of 36013 with flag 2409000/2627363
417.78/415.62	c cleaning 17999 clauses out of 36016 with flag 2427000/2645363
420.88/418.76	c cleaning 18005 clauses out of 36017 with flag 2445000/2663363
423.89/421.74	c cleaning 18001 clauses out of 36013 with flag 2463001/2681364
426.82/424.65	c cleaning 18002 clauses out of 36012 with flag 2481001/2699364
429.71/427.50	c cleaning 17994 clauses out of 36009 with flag 2499000/2717363
432.41/430.20	c cleaning 18003 clauses out of 36015 with flag 2517000/2735363
435.23/433.09	c cleaning 17995 clauses out of 36012 with flag 2535000/2753363
438.33/436.17	c cleaning 18004 clauses out of 36018 with flag 2553001/2771364
441.34/439.14	c cleaning 18001 clauses out of 36013 with flag 2571000/2789363
444.46/442.25	c cleaning 17998 clauses out of 36012 with flag 2589000/2807363
447.35/445.18	c cleaning 18004 clauses out of 36014 with flag 2607000/2825363
450.46/448.23	c cleaning 17994 clauses out of 36011 with flag 2625001/2843364
453.66/451.43	c cleaning 18002 clauses out of 36016 with flag 2643000/2861363
456.97/454.71	c cleaning 17999 clauses out of 36014 with flag 2661000/2879363
460.07/457.83	c cleaning 17997 clauses out of 36016 with flag 2679001/2897364
463.48/461.21	c cleaning 18002 clauses out of 36019 with flag 2697001/2915364
466.58/464.39	c cleaning 18003 clauses out of 36017 with flag 2715001/2933364
470.08/467.81	c cleaning 17996 clauses out of 36013 with flag 2733000/2951363
473.49/471.28	c cleaning 18005 clauses out of 36018 with flag 2751001/2969364
476.69/474.43	c cleaning 18007 clauses out of 36013 with flag 2769001/2987364
479.30/477.01	c cleaning 17993 clauses out of 36006 with flag 2787001/3005364
481.61/479.39	c cleaning 18001 clauses out of 36012 with flag 2805000/3023363
484.42/482.10	c cleaning 18001 clauses out of 36011 with flag 2823000/3041363
487.03/484.78	c cleaning 18002 clauses out of 36010 with flag 2841000/3059363
489.83/487.56	c cleaning 17994 clauses out of 36008 with flag 2859000/3077363
492.44/490.11	c cleaning 17988 clauses out of 36014 with flag 2877000/3095363
495.25/492.96	c cleaning 18004 clauses out of 36026 with flag 2895000/3113363
497.75/495.43	c cleaning 18001 clauses out of 36022 with flag 2913000/3131363
500.96/498.65	c cleaning 18007 clauses out of 36021 with flag 2931000/3149363
504.07/501.78	c cleaning 17996 clauses out of 36014 with flag 2949000/3167363
507.08/504.75	c cleaning 17991 clauses out of 36018 with flag 2967000/3185363
509.68/507.33	c cleaning 18001 clauses out of 36027 with flag 2985000/3203363
512.50/510.10	c cleaning 18002 clauses out of 36026 with flag 3003000/3221363
515.50/513.16	c cleaning 17992 clauses out of 36024 with flag 3021000/3239363
518.51/516.13	c cleaning 18006 clauses out of 36032 with flag 3039000/3257363
521.42/519.10	c cleaning 18004 clauses out of 36026 with flag 3057000/3275363
524.45/522.08	c cleaning 17995 clauses out of 36023 with flag 3075001/3293364
527.45/525.09	c cleaning 18001 clauses out of 36027 with flag 3093000/3311363
530.86/528.40	c cleaning 18012 clauses out of 36027 with flag 3111001/3329364
533.97/531.55	c cleaning 18003 clauses out of 36015 with flag 3129001/3347364
537.09/534.67	c cleaning 17998 clauses out of 36011 with flag 3147000/3365363
540.18/537.70	c cleaning 18005 clauses out of 36013 with flag 3165000/3383363
543.49/541.11	c cleaning 17993 clauses out of 36008 with flag 3183000/3401363
546.50/544.02	c cleaning 17995 clauses out of 36015 with flag 3201000/3419363
549.71/547.25	c cleaning 17998 clauses out of 36020 with flag 3219000/3437363
552.43/549.92	c cleaning 17988 clauses out of 36022 with flag 3237000/3455363
555.52/553.04	c cleaning 18007 clauses out of 36034 with flag 3255000/3473363
558.83/556.36	c cleaning 17997 clauses out of 36027 with flag 3273000/3491363
561.84/559.31	c cleaning 17999 clauses out of 36030 with flag 3291000/3509363
564.84/562.38	c cleaning 18013 clauses out of 36031 with flag 3309000/3527363
568.25/565.74	c cleaning 17993 clauses out of 36018 with flag 3327000/3545363
571.05/568.53	c cleaning 18005 clauses out of 36025 with flag 3345000/3563363
573.96/571.43	c cleaning 17983 clauses out of 36020 with flag 3363000/3581363
577.16/574.68	c cleaning 18014 clauses out of 36038 with flag 3381001/3599364
580.26/577.75	c cleaning 18002 clauses out of 36023 with flag 3399000/3617363
583.17/580.67	c cleaning 18008 clauses out of 36021 with flag 3417000/3635363
586.08/583.59	c cleaning 18006 clauses out of 36014 with flag 3435001/3653364
588.58/586.04	c cleaning 17995 clauses out of 36007 with flag 3453000/3671363
591.19/588.67	c cleaning 17996 clauses out of 36012 with flag 3471000/3689363
594.09/591.52	c cleaning 17995 clauses out of 36016 with flag 3489000/3707363
597.20/594.61	c cleaning 18000 clauses out of 36021 with flag 3507000/3725363
600.30/597.70	c cleaning 18005 clauses out of 36021 with flag 3525000/3743363
603.01/600.42	c cleaning 17997 clauses out of 36016 with flag 3543000/3761363
605.91/603.36	c cleaning 18006 clauses out of 36019 with flag 3561000/3779363
609.01/606.47	c cleaning 17988 clauses out of 36014 with flag 3579001/3797364
612.13/609.50	c cleaning 18002 clauses out of 36025 with flag 3597000/3815363
614.93/612.30	c cleaning 18000 clauses out of 36023 with flag 3615000/3833363
617.84/615.21	c cleaning 18007 clauses out of 36023 with flag 3633000/3851363
620.76/618.12	c cleaning 17983 clauses out of 36016 with flag 3651000/3869363
623.76/621.12	c cleaning 18012 clauses out of 36033 with flag 3669000/3887363
626.66/624.01	c cleaning 17998 clauses out of 36021 with flag 3687000/3905363
629.76/627.15	c cleaning 18005 clauses out of 36024 with flag 3705001/3923364
632.77/630.14	c cleaning 18002 clauses out of 36018 with flag 3723000/3941363
635.47/632.88	c cleaning 17998 clauses out of 36016 with flag 3741000/3959363
638.18/635.60	c cleaning 17998 clauses out of 36018 with flag 3759000/3977363
641.08/638.42	c cleaning 18001 clauses out of 36021 with flag 3777001/3995364
644.01/641.38	c cleaning 18007 clauses out of 36019 with flag 3795000/4013363
647.00/644.35	c cleaning 17987 clauses out of 36012 with flag 3813000/4031363
650.11/647.47	c cleaning 18007 clauses out of 36025 with flag 3831000/4049363
652.91/650.22	c cleaning 17992 clauses out of 36018 with flag 3849000/4067363
655.61/652.99	c cleaning 18001 clauses out of 36026 with flag 3867000/4085363
658.62/655.98	c cleaning 17997 clauses out of 36025 with flag 3885000/4103363
661.82/659.16	c cleaning 18001 clauses out of 36029 with flag 3903001/4121364
664.72/662.03	c cleaning 18005 clauses out of 36028 with flag 3921001/4139364
667.72/665.02	c cleaning 17997 clauses out of 36022 with flag 3939000/4157363
670.73/668.08	c cleaning 18004 clauses out of 36025 with flag 3957000/4175363
673.83/671.16	c cleaning 17998 clauses out of 36022 with flag 3975001/4193364
676.64/673.98	c cleaning 17999 clauses out of 36023 with flag 3993000/4211363
679.65/676.97	c cleaning 18001 clauses out of 36024 with flag 4011000/4229363
682.75/680.10	c cleaning 18005 clauses out of 36023 with flag 4029000/4247363
685.77/683.09	c cleaning 18009 clauses out of 36019 with flag 4047001/4265364
688.66/685.99	c cleaning 17991 clauses out of 36009 with flag 4065000/4283363
691.56/688.89	c cleaning 18005 clauses out of 36018 with flag 4083000/4301363
694.68/691.97	c cleaning 17993 clauses out of 36013 with flag 4101000/4319363
697.57/694.86	c cleaning 18004 clauses out of 36021 with flag 4119001/4337364
700.67/697.98	c cleaning 18003 clauses out of 36016 with flag 4137000/4355363
704.07/701.38	c cleaning 17990 clauses out of 36013 with flag 4155000/4373363
707.47/704.71	c cleaning 18009 clauses out of 36023 with flag 4173000/4391363
710.77/708.03	c cleaning 17993 clauses out of 36014 with flag 4191000/4409363
713.79/711.09	c cleaning 17999 clauses out of 36023 with flag 4209002/4427365
716.79/714.09	c cleaning 18005 clauses out of 36022 with flag 4227000/4445363
719.79/717.02	c cleaning 17994 clauses out of 36017 with flag 4245000/4463363
722.79/720.03	c cleaning 17995 clauses out of 36023 with flag 4263000/4481363
725.42/722.62	c cleaning 17994 clauses out of 36028 with flag 4281000/4499363
727.82/725.09	c cleaning 18012 clauses out of 36034 with flag 4299000/4517363
730.43/727.62	c cleaning 18000 clauses out of 36022 with flag 4317000/4535363
733.26/730.45	c cleaning 18002 clauses out of 36022 with flag 4335000/4553363
736.15/733.30	c cleaning 17997 clauses out of 36020 with flag 4353000/4571363
738.86/736.01	c cleaning 18000 clauses out of 36023 with flag 4371000/4589363
741.67/738.81	c cleaning 17999 clauses out of 36023 with flag 4389000/4607363
744.37/741.55	c cleaning 17999 clauses out of 36024 with flag 4407000/4625363
747.18/744.33	c cleaning 18006 clauses out of 36025 with flag 4425000/4643363
749.99/747.14	c cleaning 18010 clauses out of 36020 with flag 4443001/4661364
752.70/749.88	c cleaning 17993 clauses out of 36009 with flag 4461000/4679363
755.00/752.19	c cleaning 17990 clauses out of 36017 with flag 4479001/4697364
757.91/755.04	c cleaning 18007 clauses out of 36026 with flag 4497000/4715363
760.84/757.97	c cleaning 17992 clauses out of 36019 with flag 4515000/4733363
764.04/761.13	c cleaning 18004 clauses out of 36027 with flag 4533000/4751363
766.93/764.06	c cleaning 17998 clauses out of 36023 with flag 4551000/4769363
769.83/766.96	c cleaning 18004 clauses out of 36026 with flag 4569001/4787364
772.74/769.80	c cleaning 18001 clauses out of 36021 with flag 4587000/4805363
775.64/772.74	c cleaning 18008 clauses out of 36021 with flag 4605001/4823364
778.75/775.85	c cleaning 17999 clauses out of 36012 with flag 4623000/4841363
781.66/778.74	c cleaning 17998 clauses out of 36014 with flag 4641001/4859364
784.75/781.84	c cleaning 17991 clauses out of 36016 with flag 4659001/4877364
787.95/785.08	c cleaning 18004 clauses out of 36024 with flag 4677000/4895363
790.85/787.94	c cleaning 18008 clauses out of 36020 with flag 4695000/4913363
793.87/790.95	c cleaning 17987 clauses out of 36012 with flag 4713000/4931363
796.55/793.69	c cleaning 17996 clauses out of 36026 with flag 4731001/4949364
799.47/796.59	c cleaning 18002 clauses out of 36030 with flag 4749001/4967364
802.47/799.52	c cleaning 18006 clauses out of 36028 with flag 4767001/4985364
805.47/802.59	c cleaning 17998 clauses out of 36021 with flag 4785000/5003363
808.98/806.00	c cleaning 17988 clauses out of 36023 with flag 4803000/5021363
811.89/808.92	c cleaning 18010 clauses out of 36035 with flag 4821000/5039363
814.71/811.75	c cleaning 17997 clauses out of 36025 with flag 4839000/5057363
817.70/814.77	c cleaning 17999 clauses out of 36029 with flag 4857001/5075364
820.70/817.74	c cleaning 18001 clauses out of 36029 with flag 4875000/5093363
824.00/821.04	c cleaning 17988 clauses out of 36028 with flag 4893000/5111363
827.31/824.38	c cleaning 18010 clauses out of 36040 with flag 4911000/5129363
830.81/827.86	c cleaning 18014 clauses out of 36032 with flag 4929002/5147365
833.32/830.39	c cleaning 18001 clauses out of 36016 with flag 4947000/5165363
836.45/833.47	c cleaning 17995 clauses out of 36015 with flag 4965000/5183363
839.26/836.22	c cleaning 17999 clauses out of 36021 with flag 4983001/5201364
842.46/839.42	c cleaning 18004 clauses out of 36022 with flag 5001001/5219364
845.47/842.47	c cleaning 18006 clauses out of 36017 with flag 5019000/5237363
848.77/845.73	c cleaning 18001 clauses out of 36012 with flag 5037001/5255364
851.68/848.66	c cleaning 17986 clauses out of 36010 with flag 5055000/5273363
854.41/851.34	c cleaning 17998 clauses out of 36025 with flag 5073001/5291364
857.39/854.32	c cleaning 18002 clauses out of 36026 with flag 5091000/5309363
860.30/857.26	c cleaning 18003 clauses out of 36024 with flag 5109000/5327363
863.40/860.37	c cleaning 17991 clauses out of 36022 with flag 5127001/5345364
866.51/863.49	c cleaning 17994 clauses out of 36030 with flag 5145000/5363363
869.70/866.62	c cleaning 18006 clauses out of 36037 with flag 5163001/5381364
873.01/869.90	c cleaning 18004 clauses out of 36030 with flag 5181000/5399363
876.32/873.31	c cleaning 17997 clauses out of 36026 with flag 5199000/5417363
879.84/876.78	c cleaning 17997 clauses out of 36029 with flag 5217000/5435363
883.33/880.28	c cleaning 17999 clauses out of 36032 with flag 5235000/5453363
886.53/883.43	c cleaning 18004 clauses out of 36034 with flag 5253001/5471364
889.54/886.47	c cleaning 17998 clauses out of 36029 with flag 5271000/5489363
892.35/889.28	c cleaning 18001 clauses out of 36031 with flag 5289000/5507363
895.16/892.04	c cleaning 18007 clauses out of 36031 with flag 5307001/5525364
898.15/895.00	c cleaning 18004 clauses out of 36023 with flag 5325000/5543363
900.95/897.81	c cleaning 18007 clauses out of 36019 with flag 5343000/5561363
903.85/900.76	c cleaning 17989 clauses out of 36012 with flag 5361000/5579363
906.65/903.57	c cleaning 18000 clauses out of 36023 with flag 5379000/5597363
909.66/906.57	c cleaning 18007 clauses out of 36025 with flag 5397002/5615365
912.56/909.43	c cleaning 17997 clauses out of 36016 with flag 5415000/5633363
915.58/912.44	c cleaning 17996 clauses out of 36019 with flag 5433000/5651363
918.79/915.68	c cleaning 17999 clauses out of 36023 with flag 5451000/5669363
922.19/919.02	c cleaning 18006 clauses out of 36024 with flag 5469000/5687363
925.39/922.24	c cleaning 17992 clauses out of 36018 with flag 5487000/5705363
928.21/925.02	c cleaning 17995 clauses out of 36027 with flag 5505001/5723364
931.10/927.99	c cleaning 18002 clauses out of 36031 with flag 5523000/5741363
934.10/930.99	c cleaning 18009 clauses out of 36029 with flag 5541000/5759363
937.40/934.21	c cleaning 18004 clauses out of 36021 with flag 5559001/5777364
940.21/937.05	c cleaning 17989 clauses out of 36017 with flag 5577001/5795364
943.21/940.03	c cleaning 18005 clauses out of 36028 with flag 5595001/5813364
946.32/943.13	c cleaning 18001 clauses out of 36023 with flag 5613001/5831364
949.63/946.40	c cleaning 18007 clauses out of 36022 with flag 5631001/5849364
952.73/949.54	c cleaning 17989 clauses out of 36014 with flag 5649000/5867363
955.75/952.52	c cleaning 18004 clauses out of 36025 with flag 5667000/5885363
958.65/955.43	c cleaning 17996 clauses out of 36021 with flag 5685000/5903363
961.66/958.43	c cleaning 18003 clauses out of 36025 with flag 5703000/5921363
964.67/961.47	c cleaning 17996 clauses out of 36022 with flag 5721000/5939363
967.87/964.66	c cleaning 17997 clauses out of 36027 with flag 5739001/5957364
971.07/967.90	c cleaning 18001 clauses out of 36029 with flag 5757000/5975363
974.29/971.04	c cleaning 17999 clauses out of 36028 with flag 5775000/5993363
977.30/974.06	c cleaning 17999 clauses out of 36030 with flag 5793001/6011364
980.30/977.07	c cleaning 18002 clauses out of 36030 with flag 5811000/6029363
983.51/980.24	c cleaning 17993 clauses out of 36028 with flag 5829000/6047363
986.51/983.22	c cleaning 17999 clauses out of 36035 with flag 5847000/6065363
989.52/986.29	c cleaning 18014 clauses out of 36037 with flag 5865001/6083364
992.52/989.25	c cleaning 18000 clauses out of 36022 with flag 5883000/6101363
995.33/992.09	c cleaning 17993 clauses out of 36022 with flag 5901000/6119363
998.35/995.03	c cleaning 18005 clauses out of 36029 with flag 5919000/6137363
1001.55/998.24	c cleaning 18000 clauses out of 36026 with flag 5937002/6155365
1004.46/1001.12	c cleaning 18001 clauses out of 36024 with flag 5955000/6173363
1007.57/1004.24	c cleaning 18002 clauses out of 36023 with flag 5973000/6191363
1010.98/1007.67	c cleaning 18005 clauses out of 36022 with flag 5991001/6209364
1014.07/1010.80	c cleaning 18001 clauses out of 36017 with flag 6009001/6227364
1017.07/1013.75	c cleaning 17984 clauses out of 36015 with flag 6027000/6245363
1019.97/1016.67	c cleaning 17997 clauses out of 36031 with flag 6045000/6263363
1022.98/1019.65	c cleaning 18014 clauses out of 36034 with flag 6063000/6281363
1025.97/1022.64	c cleaning 17996 clauses out of 36020 with flag 6081000/6299363
1029.17/1025.84	c cleaning 18003 clauses out of 36025 with flag 6099001/6317364
1032.29/1028.94	c cleaning 17981 clauses out of 36021 with flag 6117000/6335363
1035.49/1032.16	c cleaning 18003 clauses out of 36040 with flag 6135000/6353363
1038.89/1035.53	c cleaning 18005 clauses out of 36037 with flag 6153000/6371363
1041.90/1038.58	c cleaning 18001 clauses out of 36033 with flag 6171001/6389364
1045.01/1041.69	c cleaning 18003 clauses out of 36032 with flag 6189001/6407364
1048.32/1044.94	c cleaning 18002 clauses out of 36028 with flag 6207000/6425363
1051.51/1048.17	c cleaning 17995 clauses out of 36026 with flag 6225000/6443363
1054.71/1051.35	c cleaning 18003 clauses out of 36031 with flag 6243000/6461363
1058.23/1054.91	c cleaning 18011 clauses out of 36028 with flag 6261000/6479363
1061.32/1057.99	c cleaning 17992 clauses out of 36017 with flag 6279000/6497363
1064.62/1061.24	c cleaning 18001 clauses out of 36025 with flag 6297000/6515363
1068.02/1064.65	c cleaning 17994 clauses out of 36024 with flag 6315000/6533363
1071.33/1067.95	c cleaning 18009 clauses out of 36031 with flag 6333001/6551364
1074.43/1071.07	c cleaning 18010 clauses out of 36021 with flag 6351000/6569363
1077.74/1074.40	c cleaning 18001 clauses out of 36011 with flag 6369000/6587363
1081.04/1077.66	c cleaning 17991 clauses out of 36010 with flag 6387000/6605363
1084.24/1080.81	c cleaning 17997 clauses out of 36020 with flag 6405001/6623364
1087.44/1084.08	c cleaning 17999 clauses out of 36023 with flag 6423001/6641364
1090.74/1087.37	c cleaning 18000 clauses out of 36024 with flag 6441001/6659364
1094.15/1090.75	c cleaning 18003 clauses out of 36024 with flag 6459001/6677364
1097.65/1094.24	c cleaning 17999 clauses out of 36020 with flag 6477000/6695363
1101.27/1097.82	c cleaning 17999 clauses out of 36021 with flag 6495000/6713363
1104.76/1101.39	c cleaning 18002 clauses out of 36023 with flag 6513001/6731364
1107.28/1103.81	c cleaning 18003 clauses out of 36020 with flag 6531000/6749363
1109.70/1106.28	c cleaning 18004 clauses out of 36018 with flag 6549001/6767364
1112.22/1108.80	c cleaning 17992 clauses out of 36013 with flag 6567000/6785363
1114.82/1111.31	c cleaning 17995 clauses out of 36022 with flag 6585001/6803364
1117.52/1114.03	c cleaning 18003 clauses out of 36026 with flag 6603000/6821363
1120.32/1116.82	c cleaning 17996 clauses out of 36023 with flag 6621000/6839363
1123.34/1119.83	c cleaning 18002 clauses out of 36027 with flag 6639000/6857363
1125.93/1122.49	c cleaning 18000 clauses out of 36026 with flag 6657001/6875364
1128.93/1125.49	c cleaning 17995 clauses out of 36026 with flag 6675001/6893364
1132.15/1128.64	c cleaning 17989 clauses out of 36030 with flag 6693000/6911363
1134.95/1131.43	c cleaning 18008 clauses out of 36041 with flag 6711000/6929363
1137.56/1134.03	c cleaning 18005 clauses out of 36034 with flag 6729001/6947364
1140.57/1137.03	c cleaning 18009 clauses out of 36028 with flag 6747000/6965363
1143.57/1140.04	c cleaning 17991 clauses out of 36019 with flag 6765000/6983363
1146.87/1143.31	c cleaning 18008 clauses out of 36028 with flag 6783000/7001363
1149.88/1146.32	c cleaning 18006 clauses out of 36021 with flag 6801001/7019364
1152.48/1148.94	c cleaning 17991 clauses out of 36015 with flag 6819001/7037364
1155.50/1151.92	c cleaning 18005 clauses out of 36023 with flag 6837000/7055363
1158.71/1155.17	c cleaning 18000 clauses out of 36018 with flag 6855000/7073363
1161.61/1158.05	c cleaning 18000 clauses out of 36018 with flag 6873000/7091363
1164.61/1161.01	c cleaning 18001 clauses out of 36018 with flag 6891000/7109363
1167.71/1164.19	c cleaning 17992 clauses out of 36017 with flag 6909000/7127363
1170.81/1167.20	c cleaning 18003 clauses out of 36026 with flag 6927001/7145364
1173.82/1170.21	c cleaning 18003 clauses out of 36022 with flag 6945000/7163363
1176.82/1173.26	c cleaning 17999 clauses out of 36019 with flag 6963000/7181363
1180.03/1176.43	c cleaning 17997 clauses out of 36021 with flag 6981001/7199364
1182.75/1179.19	c cleaning 17995 clauses out of 36023 with flag 6999000/7217363
1185.63/1182.00	c cleaning 18003 clauses out of 36029 with flag 7017001/7235364
1188.64/1185.02	c cleaning 18010 clauses out of 36026 with flag 7035001/7253364
1191.34/1187.79	c cleaning 17993 clauses out of 36015 with flag 7053000/7271363
1194.15/1190.59	c cleaning 18001 clauses out of 36023 with flag 7071001/7289364
1197.25/1193.61	c cleaning 18003 clauses out of 36021 with flag 7089000/7307363
1200.15/1196.58	c cleaning 18004 clauses out of 36018 with flag 7107000/7325363
1203.16/1199.59	c cleaning 18001 clauses out of 36014 with flag 7125000/7343363
1206.26/1202.67	c cleaning 17992 clauses out of 36014 with flag 7143001/7361364
1209.17/1205.58	c cleaning 18004 clauses out of 36021 with flag 7161000/7379363
1212.48/1208.90	c cleaning 17995 clauses out of 36018 with flag 7179001/7397364
1215.17/1211.58	c cleaning 17997 clauses out of 36022 with flag 7197000/7415363
1218.09/1214.43	c cleaning 18002 clauses out of 36026 with flag 7215001/7433364
1221.17/1217.61	c cleaning 18001 clauses out of 36023 with flag 7233000/7451363
1224.17/1220.56	c cleaning 18005 clauses out of 36022 with flag 7251000/7469363
1227.37/1223.70	c cleaning 17986 clauses out of 36017 with flag 7269000/7487363
1230.28/1226.66	c cleaning 18011 clauses out of 36032 with flag 7287001/7505364
1233.39/1229.81	c cleaning 17999 clauses out of 36020 with flag 7305000/7523363
1236.38/1232.79	c cleaning 17994 clauses out of 36021 with flag 7323000/7541363
1239.40/1235.74	c cleaning 18011 clauses out of 36027 with flag 7341000/7559363
1242.51/1238.88	c cleaning 18002 clauses out of 36016 with flag 7359000/7577363
1245.52/1241.89	c cleaning 17998 clauses out of 36014 with flag 7377000/7595363
1248.51/1244.88	c cleaning 18000 clauses out of 36017 with flag 7395001/7613364
1251.71/1248.04	c cleaning 17994 clauses out of 36016 with flag 7413000/7631363
1254.61/1250.99	c cleaning 18004 clauses out of 36023 with flag 7431001/7649364
1257.63/1253.95	c cleaning 18001 clauses out of 36018 with flag 7449000/7667363
1260.95/1257.23	c cleaning 17999 clauses out of 36017 with flag 7467000/7685363
1264.14/1260.49	c cleaning 17990 clauses out of 36018 with flag 7485000/7703363
1267.34/1263.63	c cleaning 18011 clauses out of 36028 with flag 7503000/7721363
1269.94/1266.29	c cleaning 17999 clauses out of 36017 with flag 7521000/7739363
1272.86/1269.18	c cleaning 17989 clauses out of 36018 with flag 7539000/7757363
1275.77/1272.01	c cleaning 18005 clauses out of 36029 with flag 7557000/7775363
1279.18/1275.40	c cleaning 17996 clauses out of 36024 with flag 7575000/7793363
1281.89/1278.16	c cleaning 18001 clauses out of 36029 with flag 7593001/7811364
1284.98/1281.27	c cleaning 17997 clauses out of 36027 with flag 7611000/7829363
1288.20/1284.44	c cleaning 18008 clauses out of 36030 with flag 7629000/7847363
1291.40/1287.63	c cleaning 18010 clauses out of 36023 with flag 7647001/7865364
1294.30/1290.55	c cleaning 17991 clauses out of 36012 with flag 7665000/7883363
1297.20/1293.46	c cleaning 17995 clauses out of 36021 with flag 7683000/7901363
1300.11/1296.39	c cleaning 18004 clauses out of 36026 with flag 7701000/7919363
1303.21/1299.47	c cleaning 17999 clauses out of 36023 with flag 7719001/7937364
1306.12/1302.35	c cleaning 18001 clauses out of 36023 with flag 7737000/7955363
1309.02/1305.27	c cleaning 18001 clauses out of 36023 with flag 7755001/7973364
1312.22/1308.49	c cleaning 17991 clauses out of 36021 with flag 7773000/7991363
1315.22/1311.48	c cleaning 18004 clauses out of 36030 with flag 7791000/8009363
1318.34/1314.55	c cleaning 18005 clauses out of 36026 with flag 7809000/8027363
1321.43/1317.68	c cleaning 17997 clauses out of 36021 with flag 7827000/8045363
1324.43/1320.62	c cleaning 18005 clauses out of 36025 with flag 7845001/8063364
1327.23/1323.45	c cleaning 18001 clauses out of 36019 with flag 7863000/8081363
1330.53/1326.70	c cleaning 17999 clauses out of 36018 with flag 7881000/8099363
1333.75/1329.99	c cleaning 18000 clauses out of 36019 with flag 7899000/8117363
1337.24/1333.45	c cleaning 18000 clauses out of 36020 with flag 7917001/8135364
1340.64/1336.81	c cleaning 18006 clauses out of 36019 with flag 7935000/8153363
1343.84/1340.01	c cleaning 17987 clauses out of 36013 with flag 7953000/8171363
1346.86/1343.08	c cleaning 17998 clauses out of 36026 with flag 7971000/8189363
1349.85/1346.01	c cleaning 17996 clauses out of 36028 with flag 7989000/8207363
1353.05/1349.24	c cleaning 17993 clauses out of 36033 with flag 8007001/8225364
1355.67/1351.91	c cleaning 18009 clauses out of 36039 with flag 8025000/8243363
1358.56/1354.79	c cleaning 18004 clauses out of 36030 with flag 8043000/8261363
1361.57/1357.73	c cleaning 18005 clauses out of 36026 with flag 8061000/8279363
1364.60/1360.73	c cleaning 18005 clauses out of 36021 with flag 8079000/8297363
1367.69/1363.81	c cleaning 17998 clauses out of 36017 with flag 8097001/8315364
1370.79/1367.00	c cleaning 17998 clauses out of 36018 with flag 8115000/8333363
1374.41/1370.54	c cleaning 18004 clauses out of 36020 with flag 8133000/8351363
1377.50/1373.65	c cleaning 18000 clauses out of 36016 with flag 8151000/8369363
1380.50/1376.60	c cleaning 17997 clauses out of 36016 with flag 8169000/8387363
1383.51/1379.63	c cleaning 17997 clauses out of 36019 with flag 8187000/8405363
1386.82/1382.90	c cleaning 18002 clauses out of 36023 with flag 8205001/8423364
1389.83/1385.92	c cleaning 18003 clauses out of 36020 with flag 8223000/8441363
1392.82/1388.93	c cleaning 18000 clauses out of 36017 with flag 8241000/8459363
1396.33/1392.42	c cleaning 18001 clauses out of 36018 with flag 8259001/8477364
1399.75/1395.83	c cleaning 18003 clauses out of 36016 with flag 8277000/8495363
1402.84/1398.90	c cleaning 17997 clauses out of 36014 with flag 8295001/8513364
1406.04/1402.16	c cleaning 18002 clauses out of 36017 with flag 8313001/8531364
1409.45/1405.53	c cleaning 18000 clauses out of 36015 with flag 8331001/8549364
1412.55/1408.64	c cleaning 17999 clauses out of 36014 with flag 8349000/8567363
1415.65/1411.76	c cleaning 18008 clauses out of 36015 with flag 8367000/8585363
1418.85/1414.90	c cleaning 17989 clauses out of 36008 with flag 8385001/8603364
1422.16/1418.20	c cleaning 18005 clauses out of 36019 with flag 8403001/8621364
1425.36/1421.41	c cleaning 17999 clauses out of 36013 with flag 8421000/8639363
1428.76/1424.80	c cleaning 18003 clauses out of 36014 with flag 8439000/8657363
1432.37/1428.45	c cleaning 17998 clauses out of 36011 with flag 8457000/8675363
1435.47/1431.58	c cleaning 17995 clauses out of 36013 with flag 8475000/8693363
1438.39/1434.49	c cleaning 17995 clauses out of 36018 with flag 8493000/8711363
1441.59/1437.64	c cleaning 18006 clauses out of 36024 with flag 8511001/8729364
1444.48/1440.58	c cleaning 17997 clauses out of 36017 with flag 8529000/8747363
1447.79/1443.82	c cleaning 18007 clauses out of 36021 with flag 8547001/8765364
1450.99/1447.08	c cleaning 17998 clauses out of 36013 with flag 8565000/8783363
1453.99/1450.08	c cleaning 18005 clauses out of 36015 with flag 8583000/8801363
1457.11/1453.17	c cleaning 17994 clauses out of 36010 with flag 8601000/8819363
1460.41/1456.48	c cleaning 18003 clauses out of 36016 with flag 8619000/8837363
1464.10/1460.13	c cleaning 17998 clauses out of 36013 with flag 8637000/8855363
1467.10/1463.12	c cleaning 17994 clauses out of 36015 with flag 8655000/8873363
1470.22/1466.25	c cleaning 18004 clauses out of 36022 with flag 8673001/8891364
1473.41/1469.42	c cleaning 17998 clauses out of 36018 with flag 8691001/8909364
1476.62/1472.68	c cleaning 17994 clauses out of 36019 with flag 8709000/8927363
1479.92/1475.93	c cleaning 17998 clauses out of 36025 with flag 8727000/8945363
1483.13/1479.12	c cleaning 18010 clauses out of 36028 with flag 8745001/8963364
1486.23/1482.25	c cleaning 17999 clauses out of 36017 with flag 8763000/8981363
1488.83/1484.90	c cleaning 17990 clauses out of 36018 with flag 8781000/8999363
1491.84/1487.81	c cleaning 17999 clauses out of 36028 with flag 8799000/9017363
1494.75/1490.73	c cleaning 18008 clauses out of 36029 with flag 8817000/9035363
1497.86/1493.89	c cleaning 18002 clauses out of 36021 with flag 8835000/9053363
1501.25/1497.24	c cleaning 17999 clauses out of 36019 with flag 8853000/9071363
1504.06/1500.06	c cleaning 17996 clauses out of 36020 with flag 8871000/9089363
1507.16/1503.13	c cleaning 17997 clauses out of 36025 with flag 8889001/9107364
1510.38/1506.36	c cleaning 18009 clauses out of 36028 with flag 8907001/9125364
1513.30/1509.29	c cleaning 17987 clauses out of 36019 with flag 8925001/9143364
1516.29/1512.21	c cleaning 17986 clauses out of 36031 with flag 8943000/9161363
1519.39/1515.36	c cleaning 18012 clauses out of 36045 with flag 8961000/9179363
1522.39/1518.35	c cleaning 18005 clauses out of 36033 with flag 8979000/9197363
1525.60/1521.50	c cleaning 18006 clauses out of 36028 with flag 8997000/9215363
1528.71/1524.65	c cleaning 18000 clauses out of 36023 with flag 9015001/9233364
1531.60/1527.55	c cleaning 18002 clauses out of 36022 with flag 9033000/9251363
1534.90/1530.84	c cleaning 18008 clauses out of 36022 with flag 9051002/9269365
1537.80/1533.77	c cleaning 17990 clauses out of 36012 with flag 9069000/9287363
1540.82/1536.76	c cleaning 18008 clauses out of 36023 with flag 9087001/9305364
1544.03/1539.92	c cleaning 18004 clauses out of 36014 with flag 9105000/9323363
1547.11/1543.05	c cleaning 17993 clauses out of 36010 with flag 9123000/9341363
1550.52/1546.45	c cleaning 18002 clauses out of 36018 with flag 9141001/9359364
1553.62/1549.56	c cleaning 17990 clauses out of 36015 with flag 9159000/9377363
1556.62/1552.52	c cleaning 17998 clauses out of 36025 with flag 9177000/9395363
1559.62/1555.55	c cleaning 17997 clauses out of 36027 with flag 9195000/9413363
1562.74/1558.71	c cleaning 18003 clauses out of 36030 with flag 9213000/9431363
1566.04/1561.95	c cleaning 18002 clauses out of 36027 with flag 9231000/9449363
1569.13/1565.00	c cleaning 17989 clauses out of 36025 with flag 9249000/9467363
1572.14/1568.04	c cleaning 18015 clauses out of 36036 with flag 9267000/9485363
1575.04/1570.96	c cleaning 17991 clauses out of 36022 with flag 9285001/9503364
1577.84/1573.73	c cleaning 18004 clauses out of 36030 with flag 9303000/9521363
1580.64/1576.51	c cleaning 18005 clauses out of 36027 with flag 9321001/9539364
1583.66/1579.59	c cleaning 17998 clauses out of 36021 with flag 9339000/9557363
1586.85/1582.75	c cleaning 17999 clauses out of 36023 with flag 9357000/9575363
1590.05/1585.96	c cleaning 17991 clauses out of 36024 with flag 9375000/9593363
1593.35/1589.26	c cleaning 18004 clauses out of 36033 with flag 9393000/9611363
1596.46/1592.37	c cleaning 18004 clauses out of 36029 with flag 9411000/9629363
1599.56/1595.43	c cleaning 18001 clauses out of 36025 with flag 9429000/9647363
1602.56/1598.47	c cleaning 18001 clauses out of 36024 with flag 9447000/9665363
1605.86/1601.76	c cleaning 17987 clauses out of 36023 with flag 9465000/9683363
1609.17/1605.01	c cleaning 18005 clauses out of 36036 with flag 9483000/9701363
1612.29/1608.16	c cleaning 18006 clauses out of 36033 with flag 9501002/9719365
1615.70/1611.59	c cleaning 18002 clauses out of 36025 with flag 9519000/9737363
1618.90/1614.78	c cleaning 17993 clauses out of 36023 with flag 9537000/9755363
1622.09/1617.98	c cleaning 18005 clauses out of 36030 with flag 9555000/9773363
1625.39/1621.23	c cleaning 18002 clauses out of 36025 with flag 9573000/9791363
1628.50/1624.36	c cleaning 18003 clauses out of 36023 with flag 9591000/9809363
1631.60/1627.48	c cleaning 17986 clauses out of 36021 with flag 9609001/9827364
1634.90/1630.70	c cleaning 17991 clauses out of 36035 with flag 9627001/9845364
1638.20/1634.03	c cleaning 18011 clauses out of 36043 with flag 9645000/9863363
1641.31/1637.15	c cleaning 18000 clauses out of 36033 with flag 9663001/9881364
1644.61/1640.45	c cleaning 18004 clauses out of 36032 with flag 9681000/9899363
1647.91/1643.75	c cleaning 17998 clauses out of 36028 with flag 9699000/9917363
1651.61/1647.42	c cleaning 18003 clauses out of 36031 with flag 9717001/9935364
1655.52/1651.30	c cleaning 18007 clauses out of 36027 with flag 9735000/9953363
1658.53/1654.40	c cleaning 17996 clauses out of 36021 with flag 9753001/9971364
1661.84/1657.69	c cleaning 17996 clauses out of 36025 with flag 9771001/9989364
1665.14/1660.99	c cleaning 18003 clauses out of 36028 with flag 9789000/10007363
1668.73/1664.51	c cleaning 18003 clauses out of 36025 with flag 9807000/10025363
1672.13/1667.96	c cleaning 17995 clauses out of 36022 with flag 9825000/10043363
1675.84/1671.66	c cleaning 18011 clauses out of 36027 with flag 9843000/10061363
1679.45/1675.28	c cleaning 18006 clauses out of 36017 with flag 9861001/10079364
1682.94/1678.75	c cleaning 18002 clauses out of 36010 with flag 9879000/10097363
1685.44/1681.21	c cleaning 17996 clauses out of 36008 with flag 9897000/10115363
1687.75/1683.53	c cleaning 17988 clauses out of 36012 with flag 9915000/10133363
1690.26/1686.05	c cleaning 18000 clauses out of 36024 with flag 9933000/10151363
1692.87/1688.60	c cleaning 17990 clauses out of 36025 with flag 9951001/10169364
1695.77/1691.58	c cleaning 17997 clauses out of 36035 with flag 9969001/10187364
1698.57/1694.32	c cleaning 18010 clauses out of 36037 with flag 9987000/10205363
1701.49/1697.26	c cleaning 18000 clauses out of 36027 with flag 10005000/10223363
1704.08/1699.81	c cleaning 17992 clauses out of 36027 with flag 10023000/10241363
1707.00/1702.79	c cleaning 18001 clauses out of 36035 with flag 10041000/10259363
1709.80/1705.59	c cleaning 18006 clauses out of 36034 with flag 10059000/10277363
1713.00/1708.73	c cleaning 17998 clauses out of 36028 with flag 10077000/10295363
1715.61/1711.37	c cleaning 18007 clauses out of 36031 with flag 10095001/10313364
1718.61/1714.30	c cleaning 18003 clauses out of 36023 with flag 10113000/10331363
1721.43/1717.18	c cleaning 18007 clauses out of 36021 with flag 10131001/10349364
1724.53/1720.26	c cleaning 17989 clauses out of 36013 with flag 10149000/10367363
1727.43/1723.15	c cleaning 17986 clauses out of 36024 with flag 10167000/10385363
1730.04/1725.77	c cleaning 18005 clauses out of 36038 with flag 10185000/10403363
1733.05/1728.74	c cleaning 18008 clauses out of 36033 with flag 10203000/10421363
1735.85/1731.54	c cleaning 17997 clauses out of 36026 with flag 10221001/10439364
1738.66/1734.35	c cleaning 17993 clauses out of 36028 with flag 10239000/10457363
1741.56/1737.20	c cleaning 18005 clauses out of 36035 with flag 10257000/10475363
1744.58/1740.23	c cleaning 18003 clauses out of 36030 with flag 10275000/10493363
1747.57/1743.22	c cleaning 18000 clauses out of 36029 with flag 10293002/10511365
1750.67/1746.30	c cleaning 17996 clauses out of 36027 with flag 10311000/10529363
1753.97/1749.60	c cleaning 18006 clauses out of 36031 with flag 10329000/10547363
1756.70/1752.32	c cleaning 18002 clauses out of 36026 with flag 10347001/10565364
1759.48/1755.18	c cleaning 18003 clauses out of 36023 with flag 10365000/10583363
1762.38/1758.08	c cleaning 17991 clauses out of 36021 with flag 10383001/10601364
1765.60/1761.21	c cleaning 17998 clauses out of 36030 with flag 10401001/10619364
1768.72/1764.34	c cleaning 18008 clauses out of 36032 with flag 10419001/10637364
1772.02/1767.67	c cleaning 17992 clauses out of 36023 with flag 10437000/10655363
1774.81/1770.40	c cleaning 17999 clauses out of 36031 with flag 10455000/10673363
1777.71/1773.37	c cleaning 18009 clauses out of 36032 with flag 10473000/10691363
1780.93/1776.52	c cleaning 17998 clauses out of 36023 with flag 10491000/10709363
1783.72/1779.36	c cleaning 18002 clauses out of 36025 with flag 10509000/10727363
1786.52/1782.17	c cleaning 17994 clauses out of 36023 with flag 10527000/10745363
1789.53/1785.16	c cleaning 18001 clauses out of 36029 with flag 10545000/10763363
1792.15/1787.78	c cleaning 18005 clauses out of 36029 with flag 10563001/10781364
1795.16/1790.77	c cleaning 17995 clauses out of 36024 with flag 10581001/10799364
1798.26/1793.82	c cleaning 18002 clauses out of 36028 with flag 10599000/10817363
1800.07/1795.62	c starts		: 327
1800.07/1795.62	c conflicts		: 10829168
1800.07/1795.62	c decisions		: 11460302
1800.07/1795.62	c propagations		: 65187067
1800.07/1795.62	c inspects		: 9248262581
1800.07/1795.62	c shortcuts		: 0
1800.07/1795.62	c learnt literals	: 0
1800.07/1795.62	c learnt binary clauses	: 0
1800.07/1795.62	c learnt ternary clauses	: 0
1800.07/1795.62	c learnt constraints	: 10829168
1800.07/1795.62	c ignored constraints	: 0
1800.07/1795.62	c root simplifications	: 0
1800.07/1795.62	c removed literals (reason simplification)	: 181917500
1800.07/1795.62	c reason swapping (by a shorter reason)	: 0
1800.07/1795.62	c Calls to reduceDB	: 611
1800.07/1795.62	c number of reductions to clauses (during analyze)	: 0
1800.07/1795.62	c number of learned constraints concerned by reduction	: 0
1800.07/1795.62	c number of learning phase by resolution	: 0
1800.07/1795.62	c number of learning phase by cutting planes	: 0
1800.07/1795.62	c speed (assignments/second)	: 36898.73760930305
1800.07/1795.62	c non guided choices	0
1800.07/1795.64	c learnt constraints type 
1800.07/1795.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 29897
1800.07/1795.64	c constraints type 
1800.07/1795.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1795.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17831
1800.07/1795.64	s SATISFIABLE
1800.07/1795.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 
1800.07/1795.64	c objective function=-26
1800.07/1795.64	c Total wall clock time (in seconds): 1795.523

Verifier Data 

OK	-26

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.05 2.00 2/433 26811
/proc/meminfo: memFree=20805508/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 3071 0 1 0 0 0 0 0 25 0 2 0 826434970 13833195520 2772 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3377245 2786 906 9 0 3368401 0
[pid=26811/tid=26812] ppid=26809 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 3674 0 1 0 0 0 0 0 25 0 2 0 826434971 13850947584 4490 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.084999 s]
/proc/loadavg: 2.00 2.05 2.00 2/433 26811
/proc/meminfo: memFree=20805508/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13620624 CPUtime=0.07 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 14467 0 1 0 5 2 0 0 25 0 18 0 826434970 13947518976 14162 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3405156 14162 1756 9 0 3395890 0
[pid=26811/tid=26812] ppid=26809 vsize=13620624 CPUtime=0.07 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 13289 0 1 0 5 2 0 0 25 0 18 0 826434971 13947518976 14162 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620624

[startup+0.100961 s]
/proc/loadavg: 2.00 2.05 2.00 2/433 26811
/proc/meminfo: memFree=20805508/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13621484 CPUtime=0.1 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 15489 0 1 0 8 2 0 0 25 0 18 0 826434970 13948399616 15146 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3405371 15147 2093 9 0 3396105 0
[pid=26811/tid=26812] ppid=26809 vsize=13621484 CPUtime=0.08 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 13533 0 1 0 6 2 0 0 25 0 18 0 826434971 13948399616 15147 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 47160088293283 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621484

[startup+0.300962 s]
/proc/loadavg: 2.00 2.05 2.00 2/433 26811
/proc/meminfo: memFree=20805508/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13622848 CPUtime=0.45 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 17815 0 1 0 42 3 0 0 25 0 18 0 826434970 13949796352 17278 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3405712 17279 2198 9 0 3396446 0
[pid=26811/tid=26812] ppid=26809 vsize=13622848 CPUtime=0.27 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 15051 0 1 0 25 2 0 0 25 0 18 0 826434971 13949796352 17279 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13622848

[startup+0.700917 s]
/proc/loadavg: 2.00 2.05 2.00 2/433 26811
/proc/meminfo: memFree=20805508/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13628752 CPUtime=1.22 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 27464 0 1 0 118 4 0 0 25 0 19 0 826434970 13955842048 25642 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3407188 25642 2228 9 0 3397922 0
[pid=26811/tid=26812] ppid=26809 vsize=13628752 CPUtime=0.67 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 21912 0 1 0 64 3 0 0 25 0 19 0 826434971 13955842048 25642 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505708752 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13628752

[startup+1.50075 s]
/proc/loadavg: 2.16 2.08 2.01 4/473 26869
/proc/meminfo: memFree=20609552/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13628752 CPUtime=2.14 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 33621 0 1 0 209 5 0 0 25 0 19 0 826434970 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3407188 31508 2259 9 0 3397922 0
[pid=26811/tid=26812] ppid=26809 vsize=13628752 CPUtime=1.46 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 24236 0 1 0 142 4 0 0 25 0 19 0 826434971 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505735218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26814/stat : 26814 (java) S 26809 26811 24782 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26815] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26815/stat : 26815 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26816] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26816/stat : 26816 (java) S 26809 26811 24782 0 -1 4202560 422 0 0 0 0 0 0 0 18 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26817] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26817/stat : 26817 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26818] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26818/stat : 26818 (java) S 26809 26811 24782 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26819] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 666 0 0 0 0 0 0 0 18 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 689 0 0 0 0 0 0 0 18 0 19 0 826434973 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13628752 CPUtime=0.01 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 1748 0 0 0 1 0 0 0 15 0 19 0 826434974 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13628752 CPUtime=0.31 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2873 0 0 0 31 0 0 0 16 0 19 0 826434977 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13628752 CPUtime=0.32 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1827 0 0 0 32 0 0 0 15 0 19 0 826434977 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26831] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26831/stat : 26831 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26832] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26832/stat : 26832 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826434977 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26868] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26868/stat : 26868 (java) S 26809 26811 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826435016 13955842048 31508 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 13628752

[startup+3.1015 s]
/proc/loadavg: 2.16 2.08 2.01 3/473 26869
/proc/meminfo: memFree=20537632/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13628752 CPUtime=3.78 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 39808 0 1 0 372 6 0 0 25 0 19 0 826434970 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3407188 37689 2259 9 0 3397922 0
[pid=26811/tid=26812] ppid=26809 vsize=13628752 CPUtime=3.01 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 24238 0 1 0 297 4 0 0 25 0 19 0 826434971 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505705354 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26814/stat : 26814 (java) S 26809 26811 24782 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26815] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26815/stat : 26815 (java) S 26809 26811 24782 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26816] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26816/stat : 26816 (java) S 26809 26811 24782 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26817] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26817/stat : 26817 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26818] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26818/stat : 26818 (java) S 26809 26811 24782 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26819] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 2044 0 0 0 0 0 0 0 16 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 1037 0 0 0 0 0 0 0 15 0 19 0 826434973 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13628752 CPUtime=0.05 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 4311 0 0 0 5 0 0 0 15 0 19 0 826434974 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13628752 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2876 0 0 0 33 0 0 0 15 0 19 0 826434977 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13628752 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1830 0 0 0 33 0 0 0 15 0 19 0 826434977 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26831] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26831/stat : 26831 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26832] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26832/stat : 26832 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826434977 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26868] ppid=26809 vsize=13628752 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26868/stat : 26868 (java) S 26809 26811 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826435016 13955842048 37689 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13628752

[startup+6.30087 s]
/proc/loadavg: 2.15 2.08 2.01 3/473 26869
/proc/meminfo: memFree=20499664/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13627100 CPUtime=7.05 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 44007 0 1 0 698 7 0 0 25 0 19 0 826434970 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3406775 41494 2260 9 0 3397509 0
[pid=26811/tid=26812] ppid=26809 vsize=13627100 CPUtime=6.12 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 24241 0 1 0 608 4 0 0 25 0 19 0 826434971 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505734811 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26814/stat : 26814 (java) S 26809 26811 24782 0 -1 4202560 620 0 0 0 0 0 0 0 16 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26815] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26815/stat : 26815 (java) S 26809 26811 24782 0 -1 4202560 574 0 0 0 0 0 0 0 15 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26816] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26816/stat : 26816 (java) S 26809 26811 24782 0 -1 4202560 1163 0 0 0 0 0 0 0 16 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26817] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26817/stat : 26817 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26818] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26818/stat : 26818 (java) S 26809 26811 24782 0 -1 4202560 1278 0 0 0 0 0 0 0 16 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26819] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 641 0 0 0 0 0 0 0 15 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 2307 0 0 0 0 0 0 0 15 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13627100 CPUtime=0.01 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 1174 0 0 0 1 0 0 0 16 0 19 0 826434973 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13627100 CPUtime=0.12 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 6117 0 0 0 12 0 0 0 16 0 19 0 826434974 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13627100 CPUtime=0.37 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2908 0 0 0 37 0 0 0 15 0 19 0 826434977 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13627100 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1831 0 0 0 33 0 0 0 15 0 19 0 826434977 13954150400 41494 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0

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

[pid=26811/tid=26819] ppid=26809 vsize=13627100 CPUtime=0.6 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 1328 0 0 0 60 0 0 0 15 0 19 0 826434973 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13627100 CPUtime=0.71 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 3554 0 0 0 71 0 0 0 16 0 19 0 826434973 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13627100 CPUtime=0.69 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 2139 0 0 0 69 0 0 0 15 0 19 0 826434973 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13627100 CPUtime=21.07 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 15123 0 0 0 2095 12 0 0 15 0 19 0 826434974 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13627100 CPUtime=0.39 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2911 0 0 0 39 0 0 0 15 0 19 0 826434977 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13627100 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1831 0 0 0 33 0 0 0 15 0 19 0 826434977 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26831] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26831/stat : 26831 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26832] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26832/stat : 26832 (java) S 26809 26811 24782 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 826434977 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26868] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26868/stat : 26868 (java) S 26809 26811 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826435016 13954150400 58094 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1666.53
Current children cumulated vsize (KiB) 13627100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 26929
/proc/meminfo: memFree=20331044/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13627100 CPUtime=1726.63 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 61451 0 1 0 172637 26 0 0 25 0 19 0 826434970 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3406775 58137 2261 9 0 3397509 0
[pid=26811/tid=26812] ppid=26809 vsize=13627100 CPUtime=1698.36 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 24820 0 1 0 169830 6 0 0 20 0 19 0 826434971 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505708862 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=13627100 CPUtime=0.67 cores=0,2,4,6
/proc/26811/task/26814/stat : 26814 (java) S 26809 26811 24782 0 -1 4202560 2188 0 0 0 67 0 0 0 15 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26815] ppid=26809 vsize=13627100 CPUtime=0.74 cores=0,2,4,6
/proc/26811/task/26815/stat : 26815 (java) S 26809 26811 24782 0 -1 4202560 1456 0 0 0 74 0 0 0 16 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26816] ppid=26809 vsize=13627100 CPUtime=0.68 cores=0,2,4,6
/proc/26811/task/26816/stat : 26816 (java) S 26809 26811 24782 0 -1 4202560 1746 0 0 0 68 0 0 0 16 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26817] ppid=26809 vsize=13627100 CPUtime=0.69 cores=0,2,4,6
/proc/26811/task/26817/stat : 26817 (java) S 26809 26811 24782 0 -1 4202560 1356 0 0 0 69 0 0 0 15 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26818] ppid=26809 vsize=13627100 CPUtime=0.7 cores=0,2,4,6
/proc/26811/task/26818/stat : 26818 (java) S 26809 26811 24782 0 -1 4202560 1725 0 0 0 70 0 0 0 16 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26819] ppid=26809 vsize=13627100 CPUtime=0.62 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 1340 0 0 0 62 0 0 0 15 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13627100 CPUtime=0.73 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 3554 0 0 0 73 0 0 0 15 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13627100 CPUtime=0.71 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 2146 0 0 0 71 0 0 0 15 0 19 0 826434973 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13627100 CPUtime=21.85 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 15127 0 0 0 2173 12 0 0 15 0 19 0 826434974 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13627100 CPUtime=0.39 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2911 0 0 0 39 0 0 0 15 0 19 0 826434977 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13627100 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1831 0 0 0 33 0 0 0 15 0 19 0 826434977 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26831] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26831/stat : 26831 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26832] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26832/stat : 26832 (java) S 26809 26811 24782 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 826434977 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26868] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26868/stat : 26868 (java) S 26809 26811 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826435016 13954150400 58137 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1726.63
Current children cumulated vsize (KiB) 13627100

[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/473 26931
/proc/meminfo: memFree=20330020/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13627100 CPUtime=1786.73 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 61518 0 1 0 178646 27 0 0 25 0 19 0 826434970 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3406775 58179 2261 9 0 3397509 0
[pid=26811/tid=26812] ppid=26809 vsize=13627100 CPUtime=1757.48 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 24841 0 1 0 175742 6 0 0 25 0 19 0 826434971 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505709137 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=13627100 CPUtime=0.68 cores=0,2,4,6
/proc/26811/task/26814/stat : 26814 (java) S 26809 26811 24782 0 -1 4202560 2195 0 0 0 68 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26815] ppid=26809 vsize=13627100 CPUtime=0.76 cores=0,2,4,6
/proc/26811/task/26815/stat : 26815 (java) S 26809 26811 24782 0 -1 4202560 1456 0 0 0 76 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26816] ppid=26809 vsize=13627100 CPUtime=0.7 cores=0,2,4,6
/proc/26811/task/26816/stat : 26816 (java) S 26809 26811 24782 0 -1 4202560 1748 0 0 0 70 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26817] ppid=26809 vsize=13627100 CPUtime=0.71 cores=0,2,4,6
/proc/26811/task/26817/stat : 26817 (java) S 26809 26811 24782 0 -1 4202560 1362 0 0 0 71 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26818] ppid=26809 vsize=13627100 CPUtime=0.72 cores=0,2,4,6
/proc/26811/task/26818/stat : 26818 (java) S 26809 26811 24782 0 -1 4202560 1744 0 0 0 72 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26819] ppid=26809 vsize=13627100 CPUtime=0.64 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 1340 0 0 0 64 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13627100 CPUtime=0.76 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 3562 0 0 0 76 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13627100 CPUtime=0.73 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 2146 0 0 0 73 0 0 0 15 0 19 0 826434973 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13627100 CPUtime=22.67 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 15129 0 0 0 2255 12 0 0 16 0 19 0 826434974 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13627100 CPUtime=0.39 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2911 0 0 0 39 0 0 0 15 0 19 0 826434977 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13627100 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1831 0 0 0 33 0 0 0 15 0 19 0 826434977 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26831] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26831/stat : 26831 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26832] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26832/stat : 26832 (java) S 26809 26811 24782 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826434977 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26868] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26868/stat : 26868 (java) S 26809 26811 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826435016 13954150400 58179 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1786.73
Current children cumulated vsize (KiB) 13627100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.6 s]
/proc/loadavg: 2.11 2.06 2.01 3/473 26931
/proc/meminfo: memFree=20330136/32951124 swapFree=60787360/67111528
[pid=26811] ppid=26809 vsize=13627100 CPUtime=1800.07 cores=0,2,4,6
/proc/26811/stat : 26811 (java) S 26809 26811 24782 0 -1 4202496 61545 0 1 0 179980 27 0 0 25 0 19 0 826434970 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26811/statm: 3406775 58198 2261 9 0 3397509 0
[pid=26811/tid=26812] ppid=26809 vsize=13627100 CPUtime=1770.63 cores=0,2,4,6
/proc/26811/task/26812/stat : 26812 (java) R 26809 26811 24782 0 -1 4202560 24845 0 1 0 177057 6 0 0 25 0 19 0 826434971 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 46912505625864 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26811/tid=26814] ppid=26809 vsize=13627100 CPUtime=0.68 cores=0,2,4,6
/proc/26811/task/26814/stat : 26814 (java) S 26809 26811 24782 0 -1 4202560 2195 0 0 0 68 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26815] ppid=26809 vsize=13627100 CPUtime=0.77 cores=0,2,4,6
/proc/26811/task/26815/stat : 26815 (java) S 26809 26811 24782 0 -1 4202560 1456 0 0 0 77 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26816] ppid=26809 vsize=13627100 CPUtime=0.71 cores=0,2,4,6
/proc/26811/task/26816/stat : 26816 (java) S 26809 26811 24782 0 -1 4202560 1748 0 0 0 71 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26817] ppid=26809 vsize=13627100 CPUtime=0.72 cores=0,2,4,6
/proc/26811/task/26817/stat : 26817 (java) S 26809 26811 24782 0 -1 4202560 1362 0 0 0 72 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26818] ppid=26809 vsize=13627100 CPUtime=0.72 cores=0,2,4,6
/proc/26811/task/26818/stat : 26818 (java) S 26809 26811 24782 0 -1 4202560 1744 0 0 0 72 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26819] ppid=26809 vsize=13627100 CPUtime=0.65 cores=0,2,4,6
/proc/26811/task/26819/stat : 26819 (java) S 26809 26811 24782 0 -1 4202560 1340 0 0 0 65 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26820] ppid=26809 vsize=13627100 CPUtime=0.76 cores=0,2,4,6
/proc/26811/task/26820/stat : 26820 (java) S 26809 26811 24782 0 -1 4202560 3581 0 0 0 76 0 0 0 15 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26821] ppid=26809 vsize=13627100 CPUtime=0.74 cores=0,2,4,6
/proc/26811/task/26821/stat : 26821 (java) S 26809 26811 24782 0 -1 4202560 2146 0 0 0 74 0 0 0 16 0 19 0 826434973 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26822] ppid=26809 vsize=13627100 CPUtime=22.83 cores=0,2,4,6
/proc/26811/task/26822/stat : 26822 (java) S 26809 26811 24782 0 -1 4202560 15131 0 0 0 2271 12 0 0 15 0 19 0 826434974 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 0 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26823] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26823/stat : 26823 (java) S 26809 26811 24782 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26824] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26824/stat : 26824 (java) S 26809 26811 24782 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826434975 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 0 0 0 0
[pid=26811/tid=26828] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26828/stat : 26828 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389125041 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26829] ppid=26809 vsize=13627100 CPUtime=0.39 cores=0,2,4,6
/proc/26811/task/26829/stat : 26829 (java) S 26809 26811 24782 0 -1 4202560 2911 0 0 0 39 0 0 0 15 0 19 0 826434977 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26830] ppid=26809 vsize=13627100 CPUtime=0.33 cores=0,2,4,6
/proc/26811/task/26830/stat : 26830 (java) S 26809 26811 24782 0 -1 4202560 1831 0 0 0 33 0 0 0 15 0 19 0 826434977 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
[pid=26811/tid=26831] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26831/stat : 26831 (java) S 26809 26811 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826434977 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117337 0 4 0 16800975 18446604444104677312 0 0 -1 6 0 0 0
[pid=26811/tid=26832] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26832/stat : 26832 (java) S 26809 26811 24782 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826434977 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 2 0 0 0
[pid=26811/tid=26868] ppid=26809 vsize=13627100 CPUtime=0 cores=0,2,4,6
/proc/26811/task/26868/stat : 26868 (java) S 26809 26811 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826435016 13954150400 58198 33554432000 1073741824 1073778376 140734766414160 18446744073709551615 255389117952 0 4 0 16800975 18446604444104677312 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627100

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): 1795.67
CPU time (s): 1800.15
CPU user time (s): 1799.86
CPU system time (s): 0.287956
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 13628752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61591
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= 54978
involuntary context switches= 15597

runsolver used 8.48471 second user time and 17.6863 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 02:46:11
IDJOB=3458807
IDBENCH=2238
IDSOLVER=1952
FILE ID=node135/3458807-1307148371
RUNJOBID= node135-1307146573-26668
PBS_JOBID= 13508781
Free space on /tmp= 73960 MiB

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

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

MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e
RANDOM SEED=1506303297

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20805796 kB
Buffers:        252064 kB
Cached:         534364 kB
SwapCached:       6168 kB
Active:       11425168 kB
Inactive:       462400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20805796 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:             904 kB
Writeback:           0 kB
AnonPages:    11100488 kB
Mapped:          25544 kB
Slab:           125512 kB
PageTables:      65840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124380808 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node135 at 2011-06-04 03:16:09