Trace number 4085251

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 PB 2.3.6 Resolution PB16SAT (TO)801 1800.08 1798.24

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUMfbb7284250700e8b461b63d83ddce719
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark694
Best CPU time to get the best result obtained on this benchmark0.067988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 694
Optimality of the best value was proved YES
Number of variables99
Total number of constraints185
Number of constraints which are clauses185
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 constraint20
Number of terms in the objective function 99
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 4087
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4087
Number of bits of the biggest sum of numbers12
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085251-1465229592.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.15	c ... done. Wall clock time 0.036s.
0.10/0.15	c declared #vars     99
0.10/0.15	c #constraints  185
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 88
0.10/0.15	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 97
0.10/0.15	c 185 constraints processed.
0.10/0.15	c objective function length is 99 literals
0.10/0.15	c SATISFIABLE
0.10/0.15	c OPTIMIZING...
0.10/0.15	c Got one! Elapsed wall clock time (in seconds):0.041
0.10/0.15	o 924
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.267
0.52/0.38	o 922
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.269
0.52/0.38	o 913
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.277
0.52/0.39	o 897
0.67/0.40	c Got one! Elapsed wall clock time (in seconds):0.291
0.67/0.40	o 894
0.67/0.46	c cleaning 2755 clauses out of 5515 with flag 2220/5515
0.85/0.56	c Got one! Elapsed wall clock time (in seconds):0.455
0.85/0.56	o 893
0.98/0.65	c cleaning 4379 clauses out of 8758 with flag 6804/11513
1.20/0.83	c cleaning 5190 clauses out of 10379 with flag 20466/17513
1.20/0.89	c Got one! Elapsed wall clock time (in seconds):0.784
1.20/0.89	o 883
1.41/1.05	c cleaning 5332 clauses out of 10674 with flag 7196/22998
1.63/1.28	c cleaning 5666 clauses out of 11342 with flag 19989/28998
1.92/1.53	c cleaning 6331 clauses out of 12676 with flag 35531/35998
2.14/1.78	c cleaning 7171 clauses out of 14345 with flag 53518/43998
2.45/2.05	c cleaning 8084 clauses out of 16174 with flag 73986/52998
2.75/2.38	c cleaning 9045 clauses out of 18092 with flag 96295/63000
3.25/2.81	c cleaning 10019 clauses out of 20045 with flag 120804/73998
3.65/3.27	c cleaning 11009 clauses out of 22027 with flag 148044/85999
4.15/3.79	c cleaning 12007 clauses out of 24019 with flag 177657/99000
4.74/4.34	c cleaning 13005 clauses out of 26011 with flag 209733/112999
5.44/5.00	c cleaning 14001 clauses out of 28005 with flag 243722/127998
6.14/5.77	c cleaning 14997 clauses out of 30004 with flag 280138/143998
6.84/6.49	c cleaning 16001 clauses out of 32008 with flag 318542/160999
7.74/7.32	c cleaning 16999 clauses out of 34007 with flag 359053/178999
8.54/8.16	c cleaning 18000 clauses out of 36007 with flag 402213/197998
9.54/9.18	c cleaning 19000 clauses out of 38009 with flag 447897/218000
10.64/10.24	c cleaning 19994 clauses out of 40007 with flag 495464/238998
11.94/11.54	c cleaning 21007 clauses out of 42014 with flag 545023/260999
13.55/13.11	c cleaning 21995 clauses out of 44006 with flag 596603/283998
15.25/14.82	c cleaning 23004 clauses out of 46012 with flag 650687/307999
17.06/16.64	c cleaning 24005 clauses out of 48010 with flag 707282/333001
18.75/18.30	c cleaning 25001 clauses out of 50002 with flag 766466/358998
20.36/19.92	c cleaning 25998 clauses out of 52002 with flag 827712/385999
22.05/21.63	c cleaning 26994 clauses out of 54002 with flag 890914/413998
24.05/23.69	c cleaning 28002 clauses out of 56011 with flag 955880/443001
26.45/26.03	c cleaning 29003 clauses out of 58007 with flag 1023575/472999
28.75/28.35	c cleaning 30001 clauses out of 60003 with flag 1093457/503998
31.05/30.62	c cleaning 30995 clauses out of 62002 with flag 1165779/535998
33.66/33.25	c cleaning 32001 clauses out of 64008 with flag 1240002/568999
36.36/35.92	c cleaning 32997 clauses out of 66007 with flag 1317555/602999
38.86/38.42	c cleaning 34000 clauses out of 68009 with flag 1398305/637998
41.66/41.29	c cleaning 34995 clauses out of 70011 with flag 1481141/674000
44.76/44.35	c cleaning 35997 clauses out of 72014 with flag 1566082/710998
47.66/47.30	c cleaning 37008 clauses out of 74017 with flag 1653980/748998
50.96/50.51	c cleaning 38001 clauses out of 76010 with flag 1744429/787999
54.40/53.92	c cleaning 39003 clauses out of 78008 with flag 1836326/827998
57.99/57.51	c cleaning 39993 clauses out of 80005 with flag 1931069/868998
61.79/61.39	c cleaning 41002 clauses out of 82013 with flag 2027452/910999
65.69/65.27	c cleaning 42002 clauses out of 84010 with flag 2126048/953998
69.59/69.11	c cleaning 43001 clauses out of 86008 with flag 2227606/997998
73.79/73.35	c cleaning 44000 clauses out of 88007 with flag 2330678/1042998
78.39/77.92	c cleaning 45000 clauses out of 90007 with flag 2436130/1088998
83.29/82.84	c cleaning 46001 clauses out of 92007 with flag 2543451/1135998
87.69/87.24	c cleaning 46999 clauses out of 94006 with flag 2653712/1183998
91.69/91.21	c cleaning 47998 clauses out of 96007 with flag 2767204/1232998
95.89/95.45	c cleaning 49001 clauses out of 98011 with flag 2882681/1283000
100.49/100.08	c cleaning 49999 clauses out of 100008 with flag 2999802/1333998
105.49/105.06	c cleaning 51000 clauses out of 102009 with flag 3120229/1385998
105.89/105.44	c Got one! Elapsed wall clock time (in seconds):105.329
105.89/105.44	o 881
106.49/106.08	c cleaning 32411 clauses out of 64836 with flag 11823/1399825
106.89/106.49	c cleaning 19207 clauses out of 38422 with flag 25330/1405822
107.20/106.79	c cleaning 13099 clauses out of 26214 with flag 41125/1412821
107.51/107.09	c cleaning 10546 clauses out of 21116 with flag 59303/1420822
107.92/107.41	c cleaning 9770 clauses out of 19569 with flag 79514/1429821
108.12/107.60	c Got one! Elapsed wall clock time (in seconds):107.488
108.12/107.60	o 875
108.43/107.94	c cleaning 10766 clauses out of 21546 with flag 11108/1441568
108.62/108.17	c cleaning 8389 clauses out of 16782 with flag 24548/1447570
108.92/108.42	c cleaning 7696 clauses out of 15393 with flag 40301/1454570
108.92/108.45	c Got one! Elapsed wall clock time (in seconds):108.338
108.92/108.45	o 853
109.12/108.63	c cleaning 6444 clauses out of 12901 with flag 8993/1459774
109.32/108.80	c cleaning 6221 clauses out of 12457 with flag 22418/1465774
109.43/108.99	c cleaning 6617 clauses out of 13236 with flag 38212/1472774
109.72/109.23	c cleaning 7309 clauses out of 14620 with flag 56194/1480775
110.02/109.52	c cleaning 8153 clauses out of 16310 with flag 76506/1489774
110.32/109.89	c cleaning 9075 clauses out of 18158 with flag 99703/1499775
110.82/110.30	c cleaning 10041 clauses out of 20084 with flag 124347/1510776
111.32/110.82	c cleaning 11016 clauses out of 22041 with flag 151342/1522774
111.82/111.32	c cleaning 12005 clauses out of 24025 with flag 180306/1535774
112.42/111.93	c cleaning 13010 clauses out of 26021 with flag 211752/1549775
113.02/112.58	c cleaning 14003 clauses out of 28010 with flag 245070/1564775
113.72/113.30	c cleaning 15001 clauses out of 30007 with flag 280753/1580775
114.62/114.14	c cleaning 16003 clauses out of 32005 with flag 318628/1597774
115.62/115.18	c cleaning 17002 clauses out of 34003 with flag 358921/1615775
116.82/116.35	c cleaning 18000 clauses out of 36000 with flag 401611/1634774
117.92/117.47	c cleaning 19000 clauses out of 38000 with flag 446866/1654774
119.24/118.76	c cleaning 19997 clauses out of 40000 with flag 493514/1675774
120.64/120.10	c cleaning 21000 clauses out of 42004 with flag 542452/1697775
121.94/121.47	c cleaning 22002 clauses out of 44003 with flag 593552/1720774
123.34/122.85	c cleaning 22999 clauses out of 46003 with flag 646919/1744776
125.14/124.68	c cleaning 24003 clauses out of 48005 with flag 702758/1769777
127.05/126.55	c cleaning 25000 clauses out of 49999 with flag 760846/1795774
128.94/128.42	c cleaning 25991 clauses out of 51999 with flag 820792/1822774
131.04/130.53	c cleaning 26997 clauses out of 54008 with flag 883707/1850774
133.34/132.82	c cleaning 28006 clauses out of 56012 with flag 948882/1879775
135.44/134.98	c cleaning 29003 clauses out of 58006 with flag 1015457/1909775
137.74/137.21	c cleaning 29999 clauses out of 60003 with flag 1084712/1940775
139.94/139.47	c cleaning 30998 clauses out of 62004 with flag 1155966/1972775
142.34/141.89	c cleaning 32002 clauses out of 64005 with flag 1229252/2005774
145.14/144.64	c cleaning 32997 clauses out of 66003 with flag 1304627/2039774
147.94/147.46	c cleaning 33997 clauses out of 68006 with flag 1382543/2074774
151.35/150.84	c cleaning 35001 clauses out of 70010 with flag 1463134/2110775
154.54/154.03	c cleaning 36002 clauses out of 72008 with flag 1545725/2147774
157.84/157.36	c cleaning 36995 clauses out of 74006 with flag 1630692/2185774
161.54/161.09	c cleaning 38007 clauses out of 76014 with flag 1717922/2224777
165.44/164.91	c cleaning 39001 clauses out of 78005 with flag 1807072/2264775
168.44/167.90	c cleaning 39992 clauses out of 80003 with flag 1899172/2305774
171.44/170.95	c cleaning 41007 clauses out of 82013 with flag 1993534/2347776
175.14/174.60	c cleaning 42001 clauses out of 84007 with flag 2089580/2390777
177.54/177.02	c Got one! Elapsed wall clock time (in seconds):176.91
177.54/177.02	o 847
178.64/178.15	c cleaning 41311 clauses out of 82633 with flag 11274/2431404
179.24/178.70	c cleaning 23649 clauses out of 47322 with flag 24624/2437404
179.44/178.99	c cleaning 15330 clauses out of 30674 with flag 40265/2444405
179.74/179.26	c cleaning 11663 clauses out of 23344 with flag 57945/2452405
180.04/179.55	c cleaning 10333 clauses out of 20680 with flag 77946/2461404
180.34/179.89	c cleaning 10165 clauses out of 20347 with flag 100354/2471404
180.74/180.28	c cleaning 10589 clauses out of 21182 with flag 124995/2482404
181.34/180.80	c cleaning 11287 clauses out of 22593 with flag 151774/2494404
181.84/181.38	c cleaning 12142 clauses out of 24306 with flag 180895/2507404
182.54/182.04	c cleaning 13079 clauses out of 26165 with flag 215841/2521405
183.24/182.76	c cleaning 14040 clauses out of 28086 with flag 249852/2536405
184.04/183.59	c cleaning 15018 clauses out of 30046 with flag 286721/2552405
184.44/183.95	c Got one! Elapsed wall clock time (in seconds):183.842
184.44/183.95	o 845
184.84/184.31	c cleaning 14381 clauses out of 28773 with flag 10645/2566150
185.04/184.58	c cleaning 10189 clauses out of 20392 with flag 23931/2572150
185.35/184.83	c cleaning 8591 clauses out of 17203 with flag 39419/2579150
185.54/185.10	c cleaning 8296 clauses out of 16612 with flag 57197/2587150
185.84/185.38	c cleaning 8651 clauses out of 17316 with flag 77160/2596150
186.24/185.71	c cleaning 9326 clauses out of 18665 with flag 99398/2606150
186.55/186.09	c cleaning 10167 clauses out of 20339 with flag 123908/2617150
187.04/186.53	c cleaning 11084 clauses out of 22172 with flag 150356/2629150
187.55/187.06	c cleaning 12043 clauses out of 24088 with flag 179546/2642150
188.14/187.70	c cleaning 13021 clauses out of 26046 with flag 210821/2656151
188.94/188.42	c cleaning 14009 clauses out of 28024 with flag 243867/2671150
189.75/189.23	c cleaning 15005 clauses out of 30015 with flag 279465/2687150
190.64/190.16	c cleaning 16003 clauses out of 32010 with flag 317192/2704150
191.54/191.09	c cleaning 16998 clauses out of 34007 with flag 357115/2722150
192.64/192.10	c cleaning 17999 clauses out of 36009 with flag 399431/2741150
193.54/193.00	c cleaning 19000 clauses out of 38010 with flag 443992/2761150
194.64/194.10	c cleaning 19998 clauses out of 40011 with flag 490650/2782151
195.74/195.21	c cleaning 20994 clauses out of 42012 with flag 539632/2804150
196.94/196.43	c cleaning 22012 clauses out of 44023 with flag 591258/2827155
198.24/197.71	c cleaning 23001 clauses out of 46007 with flag 645460/2851151
199.65/199.20	c cleaning 23999 clauses out of 48005 with flag 701877/2876150
201.14/200.68	c cleaning 25001 clauses out of 50006 with flag 760300/2902150
202.74/202.26	c cleaning 26001 clauses out of 52005 with flag 821146/2929150
204.45/203.93	c cleaning 26996 clauses out of 54006 with flag 884680/2957152
206.15/205.63	c cleaning 27999 clauses out of 56008 with flag 951176/2986150
207.95/207.49	c cleaning 28997 clauses out of 58009 with flag 1020394/3016150
209.85/209.36	c cleaning 29997 clauses out of 60012 with flag 1091709/3047150
211.15/210.65	c Got one! Elapsed wall clock time (in seconds):210.543
211.15/210.65	o 844
211.76/211.20	c cleaning 29589 clauses out of 59181 with flag 11428/3076316
212.05/211.57	c cleaning 17788 clauses out of 35591 with flag 25135/3082315
212.35/211.85	c cleaning 12392 clauses out of 24803 with flag 41077/3089315
212.65/212.12	c cleaning 10199 clauses out of 20411 with flag 59441/3097315
212.96/212.41	c cleaning 9600 clauses out of 19215 with flag 80265/3106318
213.25/212.74	c cleaning 9803 clauses out of 19612 with flag 102976/3116315
213.65/213.11	c cleaning 10405 clauses out of 20811 with flag 128187/3127317
214.05/213.52	c cleaning 11202 clauses out of 22404 with flag 155952/3139315
214.25/213.71	c Got one! Elapsed wall clock time (in seconds):213.601
214.25/213.71	o 842
214.45/213.91	c cleaning 11340 clauses out of 22688 with flag 11213/3150801
214.65/214.11	c cleaning 8660 clauses out of 17346 with flag 24485/3156799
214.85/214.38	c cleaning 7835 clauses out of 15685 with flag 40178/3163798
215.15/214.65	c cleaning 7916 clauses out of 15850 with flag 57954/3171798
215.45/214.96	c cleaning 8464 clauses out of 16934 with flag 78020/3180798
215.85/215.34	c cleaning 9230 clauses out of 18471 with flag 100174/3190799
216.25/215.77	c cleaning 10112 clauses out of 20240 with flag 125096/3201798
216.75/216.28	c cleaning 11065 clauses out of 22132 with flag 151772/3213802
217.35/216.85	c cleaning 12028 clauses out of 24063 with flag 181172/3226798
217.95/217.49	c cleaning 13017 clauses out of 26035 with flag 212725/3240798
218.75/218.28	c cleaning 14007 clauses out of 28018 with flag 246428/3255798
219.55/219.03	c cleaning 14995 clauses out of 30012 with flag 282384/3271799
220.35/219.86	c cleaning 16005 clauses out of 32017 with flag 320216/3288799
221.25/220.70	c cleaning 17003 clauses out of 34011 with flag 360431/3306798
222.25/221.77	c cleaning 17998 clauses out of 36008 with flag 403411/3325798
223.55/223.09	c cleaning 19002 clauses out of 38010 with flag 448994/3345798
224.95/224.45	c cleaning 20001 clauses out of 40008 with flag 497705/3366798
226.35/225.83	c cleaning 20998 clauses out of 42008 with flag 547992/3388799
227.75/227.28	c cleaning 22001 clauses out of 44009 with flag 600367/3411798
229.35/228.89	c cleaning 23000 clauses out of 46008 with flag 654603/3435798
231.34/230.86	c cleaning 24002 clauses out of 48009 with flag 711251/3460799
233.54/233.03	c cleaning 24997 clauses out of 50006 with flag 770324/3486798
235.76/235.27	c cleaning 25993 clauses out of 52009 with flag 831135/3513798
237.66/237.14	c cleaning 27001 clauses out of 54017 with flag 894171/3541799
239.76/239.25	c cleaning 28000 clauses out of 56015 with flag 959671/3570798
241.66/241.15	c cleaning 29006 clauses out of 58015 with flag 1028504/3600798
243.67/243.11	c cleaning 29992 clauses out of 60009 with flag 1099339/3631798
245.67/245.18	c cleaning 31008 clauses out of 62018 with flag 1173542/3663799
247.87/247.34	c cleaning 31997 clauses out of 64010 with flag 1249944/3696799
250.07/249.57	c cleaning 32999 clauses out of 66013 with flag 1327826/3730799
252.47/252.00	c cleaning 34007 clauses out of 68014 with flag 1408840/3765799
254.77/254.30	c cleaning 35003 clauses out of 70006 with flag 1492040/3801798
255.47/254.95	c Got one! Elapsed wall clock time (in seconds):254.838
255.47/254.95	o 838
255.87/255.37	c cleaning 26709 clauses out of 53428 with flag 11239/3820223
256.17/255.66	c cleaning 16356 clauses out of 32719 with flag 24622/3826223
256.47/255.92	c cleaning 11678 clauses out of 23363 with flag 40078/3833223
256.67/256.19	c cleaning 9832 clauses out of 19685 with flag 57919/3841223
256.97/256.47	c cleaning 9419 clauses out of 18853 with flag 78074/3850223
257.17/256.62	c Got one! Elapsed wall clock time (in seconds):256.508
257.17/256.62	o 834
257.37/256.81	c cleaning 9956 clauses out of 19920 with flag 11740/3860709
257.57/257.00	c cleaning 7974 clauses out of 15964 with flag 25296/3866709
257.77/257.22	c cleaning 7482 clauses out of 14990 with flag 40967/3873709
257.98/257.48	c cleaning 7753 clauses out of 15508 with flag 58812/3881709
258.27/257.75	c cleaning 8369 clauses out of 16754 with flag 79462/3890708
258.57/258.08	c cleaning 9191 clauses out of 18388 with flag 102138/3900711
258.97/258.50	c cleaning 10099 clauses out of 20197 with flag 127016/3911711
259.47/258.95	c cleaning 11045 clauses out of 22095 with flag 154119/3923708
259.97/259.46	c cleaning 12021 clauses out of 24051 with flag 183842/3936709
260.57/260.07	c cleaning 13013 clauses out of 26030 with flag 214971/3950709
261.38/260.82	c cleaning 14008 clauses out of 28017 with flag 248692/3965709
262.17/261.68	c cleaning 15004 clauses out of 30008 with flag 284230/3981708
263.07/262.54	c cleaning 16002 clauses out of 32005 with flag 321735/3998709
263.97/263.45	c cleaning 16998 clauses out of 34002 with flag 361372/4016708
265.07/264.56	c cleaning 18001 clauses out of 36004 with flag 403198/4035708
265.97/265.42	c Got one! Elapsed wall clock time (in seconds):265.31
265.97/265.42	o 828
266.37/265.80	c cleaning 20407 clauses out of 40827 with flag 11552/4058532
266.57/266.05	c cleaning 13205 clauses out of 26421 with flag 25554/4064533
266.78/266.29	c cleaning 10096 clauses out of 20216 with flag 41567/4071533
267.07/266.54	c cleaning 9047 clauses out of 18119 with flag 59845/4079532
267.37/266.83	c cleaning 9023 clauses out of 18072 with flag 80413/4088532
267.67/267.15	c cleaning 9525 clauses out of 19049 with flag 103226/4098532
268.07/267.52	c cleaning 10254 clauses out of 20524 with flag 128068/4109532
268.48/267.95	c cleaning 11131 clauses out of 22270 with flag 155165/4121532
268.98/268.46	c cleaning 12069 clauses out of 24139 with flag 184816/4134532
269.48/268.98	c cleaning 13030 clauses out of 26071 with flag 216283/4148533
270.08/269.56	c cleaning 14020 clauses out of 28040 with flag 250493/4163532
270.77/270.23	c cleaning 15002 clauses out of 30020 with flag 286354/4179532
271.57/271.02	c cleaning 16007 clauses out of 32018 with flag 325161/4196532
272.38/271.81	c cleaning 17004 clauses out of 34014 with flag 365429/4214535
273.27/272.73	c cleaning 18001 clauses out of 36007 with flag 408190/4233532
274.37/273.82	c cleaning 19003 clauses out of 38006 with flag 453363/4253532
275.58/275.02	c cleaning 19999 clauses out of 40005 with flag 503529/4274534
276.78/276.24	c cleaning 21000 clauses out of 42005 with flag 554106/4296533
278.17/277.69	c cleaning 21997 clauses out of 44004 with flag 606496/4319532
279.57/279.04	c cleaning 23001 clauses out of 46008 with flag 660983/4343533
281.08/280.58	c cleaning 24000 clauses out of 48008 with flag 717633/4368534
282.77/282.26	c cleaning 25001 clauses out of 50007 with flag 777063/4394533
284.68/284.19	c cleaning 25999 clauses out of 52005 with flag 838923/4421532
286.79/286.25	c cleaning 26997 clauses out of 54006 with flag 902950/4449532
288.99/288.41	c cleaning 28000 clauses out of 56010 with flag 968997/4478533
291.19/290.67	c cleaning 29003 clauses out of 58010 with flag 1037754/4508533
293.59/293.06	c cleaning 29997 clauses out of 60006 with flag 1108767/4539532
295.99/295.42	c cleaning 31005 clauses out of 62009 with flag 1181591/4571532
298.49/297.91	c cleaning 31993 clauses out of 64004 with flag 1257394/4604532
298.59/298.00	c Got one! Elapsed wall clock time (in seconds):297.894
298.59/298.00	o 826
298.89/298.35	c cleaning 18785 clauses out of 37585 with flag 6672/4610106
299.09/298.59	c cleaning 12394 clauses out of 24799 with flag 20231/4616105
299.19/298.64	c Got one! Elapsed wall clock time (in seconds):298.532
299.19/298.64	o 820
299.29/298.77	c cleaning 8752 clauses out of 17522 with flag 7199/4621222
299.49/298.94	c cleaning 7380 clauses out of 14770 with flag 20783/4627222
299.69/299.14	c cleaning 7185 clauses out of 14390 with flag 36457/4634222
299.89/299.38	c cleaning 7599 clauses out of 15208 with flag 54639/4642225
300.19/299.66	c cleaning 8298 clauses out of 16606 with flag 74989/4651222
300.59/300.01	c cleaning 9143 clauses out of 18308 with flag 97704/4661222
300.89/300.39	c cleaning 10083 clauses out of 20166 with flag 122869/4672223
301.39/300.87	c cleaning 11038 clauses out of 22082 with flag 150021/4684222
301.99/301.41	c cleaning 12022 clauses out of 24046 with flag 179427/4697224
301.99/301.43	c Got one! Elapsed wall clock time (in seconds):301.321
301.99/301.43	o 819
302.19/301.62	c cleaning 8985 clauses out of 17981 with flag 11033/4703181
302.39/301.80	c cleaning 7491 clauses out of 14995 with flag 24531/4709180
302.59/302.01	c cleaning 7245 clauses out of 14503 with flag 40199/4716179
302.79/302.27	c cleaning 7625 clauses out of 15259 with flag 57831/4724180
303.10/302.57	c cleaning 8313 clauses out of 16633 with flag 78292/4733179
303.49/302.94	c cleaning 9159 clauses out of 18320 with flag 100828/4743179
303.89/303.34	c cleaning 10078 clauses out of 20161 with flag 125547/4754179
304.30/303.79	c cleaning 11036 clauses out of 22083 with flag 152247/4766179
304.89/304.35	c cleaning 12022 clauses out of 24047 with flag 181446/4779179
305.49/304.93	c cleaning 13009 clauses out of 26028 with flag 213375/4793182
306.19/305.68	c cleaning 14007 clauses out of 28016 with flag 247595/4808179
307.09/306.50	c cleaning 15005 clauses out of 30010 with flag 284241/4824180
307.89/307.36	c cleaning 16003 clauses out of 32005 with flag 322909/4841180
309.00/308.43	c cleaning 16995 clauses out of 34001 with flag 364148/4859179
310.09/309.51	c cleaning 17998 clauses out of 36007 with flag 408219/4878180
311.29/310.76	c cleaning 18998 clauses out of 38008 with flag 454362/4898179
312.69/312.11	c cleaning 20001 clauses out of 40010 with flag 502417/4919179
314.10/313.54	c cleaning 21004 clauses out of 42009 with flag 552728/4941179
314.59/314.02	c Got one! Elapsed wall clock time (in seconds):313.912
314.59/314.02	o 815
314.99/314.43	c cleaning 18231 clauses out of 36464 with flag 11240/4956638
315.20/314.68	c cleaning 12117 clauses out of 24233 with flag 24340/4962638
315.49/314.92	c cleaning 9556 clauses out of 19116 with flag 39625/4969638
315.69/315.19	c cleaning 8776 clauses out of 17562 with flag 57503/4977640
316.09/315.50	c cleaning 8884 clauses out of 17784 with flag 77499/4986638
316.40/315.89	c cleaning 9448 clauses out of 18900 with flag 99523/4996638
316.79/316.27	c cleaning 10221 clauses out of 20454 with flag 123797/5007640
317.19/316.68	c cleaning 11108 clauses out of 22231 with flag 150241/5019638
317.69/317.17	c cleaning 12061 clauses out of 24124 with flag 178637/5032639
318.29/317.72	c cleaning 13026 clauses out of 26062 with flag 209346/5046638
318.89/318.37	c cleaning 14018 clauses out of 28037 with flag 242244/5061639
319.60/319.07	c cleaning 15004 clauses out of 30019 with flag 277473/5077639
320.39/319.84	c cleaning 16007 clauses out of 32015 with flag 314739/5094639
321.29/320.72	c cleaning 17002 clauses out of 34007 with flag 354357/5112638
322.29/321.72	c cleaning 17999 clauses out of 36005 with flag 396380/5131638
323.39/322.80	c cleaning 19001 clauses out of 38006 with flag 440483/5151638
324.49/323.95	c cleaning 20003 clauses out of 40006 with flag 487058/5172639
325.79/325.28	c cleaning 21002 clauses out of 42005 with flag 535719/5194641
326.39/325.86	c Got one! Elapsed wall clock time (in seconds):325.749
326.39/325.86	o 813
326.79/326.23	c cleaning 18954 clauses out of 37918 with flag 11768/5211556
326.99/326.46	c cleaning 12473 clauses out of 24965 with flag 25232/5217557
327.19/326.70	c cleaning 9743 clauses out of 19493 with flag 41730/5224558
327.49/326.96	c cleaning 8863 clauses out of 17748 with flag 59669/5232556
327.79/327.26	c cleaning 8934 clauses out of 17885 with flag 79555/5241556
328.09/327.58	c cleaning 9472 clauses out of 18952 with flag 101786/5251557
328.50/327.94	c cleaning 10234 clauses out of 20479 with flag 126517/5262556
328.89/328.38	c cleaning 11123 clauses out of 22245 with flag 153215/5274556
329.39/328.84	c cleaning 12059 clauses out of 24123 with flag 182359/5287557
329.89/329.39	c cleaning 13021 clauses out of 26063 with flag 214166/5301556
330.49/329.97	c cleaning 14012 clauses out of 28042 with flag 248526/5316556
331.19/330.65	c cleaning 15013 clauses out of 30031 with flag 285301/5332557
331.99/331.42	c cleaning 16004 clauses out of 32018 with flag 324811/5349557
332.82/332.22	c cleaning 17002 clauses out of 34013 with flag 366188/5367556
333.71/333.15	c cleaning 18003 clauses out of 36011 with flag 410438/5386556
334.71/334.13	c cleaning 18999 clauses out of 38008 with flag 455608/5406556
335.81/335.28	c cleaning 20001 clauses out of 40009 with flag 503510/5427556
337.01/336.45	c cleaning 21000 clauses out of 42008 with flag 553299/5449556
338.32/337.72	c cleaning 22002 clauses out of 44009 with flag 605450/5472557
339.71/339.19	c cleaning 23001 clauses out of 46006 with flag 660368/5496556
341.31/340.70	c cleaning 24000 clauses out of 48005 with flag 716633/5521556
342.82/342.26	c cleaning 25002 clauses out of 50005 with flag 775467/5547556
344.41/343.80	c cleaning 26002 clauses out of 52003 with flag 835708/5574556
346.31/345.78	c cleaning 26996 clauses out of 54001 with flag 898919/5602556
348.11/347.59	c cleaning 28003 clauses out of 56007 with flag 964283/5631558
350.31/349.70	c cleaning 28997 clauses out of 58002 with flag 1032248/5661556
352.21/351.68	c cleaning 29992 clauses out of 60006 with flag 1102166/5692557
354.71/354.10	c cleaning 31005 clauses out of 62013 with flag 1174904/5724556
357.31/356.77	c cleaning 32002 clauses out of 64008 with flag 1250396/5757556
360.11/359.54	c cleaning 32994 clauses out of 66006 with flag 1327810/5791556
362.81/362.24	c cleaning 34001 clauses out of 68012 with flag 1406690/5826556
365.71/365.20	c cleaning 35000 clauses out of 70011 with flag 1487980/5862556
369.22/368.64	c cleaning 36006 clauses out of 72012 with flag 1571933/5899557
372.91/372.30	c cleaning 37002 clauses out of 74005 with flag 1657837/5937556
376.51/375.93	c cleaning 37997 clauses out of 76004 with flag 1747633/5976557
380.21/379.70	c cleaning 38999 clauses out of 78006 with flag 1839165/6016556
384.21/383.63	c cleaning 39998 clauses out of 80007 with flag 1933257/6057556
388.60/388.09	c cleaning 40999 clauses out of 82010 with flag 2028479/6099557
393.10/392.55	c cleaning 41996 clauses out of 84010 with flag 2128642/6142556
397.81/397.25	c cleaning 43002 clauses out of 86017 with flag 2229040/6186559
402.60/402.02	c cleaning 44007 clauses out of 88014 with flag 2332243/6231558
407.23/406.66	c cleaning 44998 clauses out of 90006 with flag 2437314/6277557
412.83/412.26	c cleaning 45997 clauses out of 92007 with flag 2544942/6324556
418.03/417.47	c cleaning 46999 clauses out of 94010 with flag 2654577/6372556
423.74/423.13	c cleaning 48001 clauses out of 96011 with flag 2766759/6421556
428.84/428.20	c cleaning 48997 clauses out of 98010 with flag 2880608/6471556
433.94/433.34	c cleaning 50002 clauses out of 100013 with flag 2996037/6522556
441.04/440.49	c cleaning 51003 clauses out of 102013 with flag 3114676/6574558
447.35/446.74	c cleaning 51997 clauses out of 104009 with flag 3235512/6627557
454.34/453.78	c cleaning 53006 clauses out of 106012 with flag 3358728/6681557
461.54/461.00	c cleaning 53997 clauses out of 108005 with flag 3485019/6736556
469.14/468.57	c cleaning 54995 clauses out of 110010 with flag 3612529/6792558
476.74/476.11	c cleaning 56006 clauses out of 112013 with flag 3741700/6849556
484.85/484.28	c cleaning 57004 clauses out of 114007 with flag 3874611/6907556
492.35/491.79	c cleaning 57993 clauses out of 116004 with flag 4008618/6966557
500.54/499.97	c cleaning 59003 clauses out of 118010 with flag 4145487/7026556
508.64/508.05	c cleaning 60004 clauses out of 120007 with flag 4286222/7087556
516.44/515.90	c cleaning 60997 clauses out of 122004 with flag 4427777/7149557
524.13/523.43	c cleaning 62000 clauses out of 124008 with flag 4573362/7212558
530.13/529.46	c Got one! Elapsed wall clock time (in seconds):529.353
530.13/529.46	o 812
531.53/530.85	c cleaning 57947 clauses out of 115902 with flag 11436/7266452
532.04/531.40	c cleaning 31972 clauses out of 63955 with flag 24596/7272452
532.43/531.76	c cleaning 19482 clauses out of 38982 with flag 40018/7279451
532.73/532.06	c cleaning 13748 clauses out of 27502 with flag 57829/7287453
533.03/532.36	c cleaning 11367 clauses out of 22752 with flag 78346/7296451
533.33/532.67	c cleaning 10681 clauses out of 21385 with flag 100848/7306451
533.73/533.02	c cleaning 10848 clauses out of 21705 with flag 125401/7317452
534.13/533.42	c cleaning 11423 clauses out of 22856 with flag 152733/7329451
534.53/533.86	c cleaning 12215 clauses out of 24433 with flag 181792/7342451
535.03/534.38	c cleaning 13106 clauses out of 26218 with flag 212960/7356451
535.63/534.98	c cleaning 14057 clauses out of 28115 with flag 246549/7371454
536.33/535.62	c cleaning 15025 clauses out of 30055 with flag 281968/7387451
536.83/536.18	c Got one! Elapsed wall clock time (in seconds):536.071
536.83/536.18	o 810
537.13/536.50	c cleaning 16973 clauses out of 33957 with flag 12902/7406378
537.44/536.70	c cleaning 11492 clauses out of 22985 with flag 26201/7412379
537.65/536.92	c cleaning 9235 clauses out of 18492 with flag 41989/7419378
537.84/537.16	c cleaning 8619 clauses out of 17257 with flag 59613/7427378
538.14/537.43	c cleaning 8809 clauses out of 17639 with flag 80010/7436379
538.44/537.76	c cleaning 9412 clauses out of 18830 with flag 102570/7446379
538.84/538.13	c cleaning 10207 clauses out of 20417 with flag 127077/7457378
539.24/538.57	c cleaning 11098 clauses out of 22210 with flag 153848/7469378
539.75/539.08	c cleaning 12052 clauses out of 24112 with flag 182964/7482378
540.34/539.69	c cleaning 13028 clauses out of 26063 with flag 214691/7496381
541.04/540.35	c cleaning 14016 clauses out of 28032 with flag 248155/7511378
541.74/541.07	c cleaning 15003 clauses out of 30018 with flag 283850/7527380
542.64/541.95	c cleaning 16006 clauses out of 32013 with flag 322115/7544378
543.54/542.88	c cleaning 17001 clauses out of 34007 with flag 362606/7562378
544.54/543.81	c cleaning 18003 clauses out of 36009 with flag 405715/7581381
545.54/544.85	c cleaning 19002 clauses out of 38003 with flag 450645/7601378
546.74/546.08	c cleaning 19996 clauses out of 40001 with flag 498224/7622378
548.24/547.51	c cleaning 20998 clauses out of 42005 with flag 547733/7644378
549.54/548.88	c cleaning 21998 clauses out of 44007 with flag 599364/7667378
550.94/550.23	c cleaning 23002 clauses out of 46010 with flag 653495/7691379
552.44/551.71	c cleaning 23996 clauses out of 48007 with flag 710246/7716378
553.84/553.16	c cleaning 25000 clauses out of 50011 with flag 769017/7742378
555.44/554.79	c cleaning 26004 clauses out of 52012 with flag 831252/7769379
557.24/556.59	c cleaning 27004 clauses out of 54009 with flag 897686/7797380
559.24/558.59	c cleaning 28003 clauses out of 56006 with flag 964986/7826381
561.24/560.56	c cleaning 28995 clauses out of 58001 with flag 1033523/7856379
563.34/562.66	c cleaning 29999 clauses out of 60005 with flag 1105478/7887378
565.54/564.88	c cleaning 30998 clauses out of 62006 with flag 1179728/7919378
567.94/567.27	c cleaning 32002 clauses out of 64008 with flag 1254192/7952378
570.74/570.02	c cleaning 33001 clauses out of 66006 with flag 1331766/7986378
572.88/572.15	c cleaning 33997 clauses out of 68005 with flag 1411621/8021378
575.27/574.57	c cleaning 35005 clauses out of 70009 with flag 1493286/8057379
577.97/577.30	c cleaning 35997 clauses out of 72005 with flag 1577389/8094380
580.77/580.07	c cleaning 37002 clauses out of 74009 with flag 1664040/8132381
583.37/582.63	c cleaning 37995 clauses out of 76004 with flag 1753578/8171378
586.08/585.34	c cleaning 39000 clauses out of 78010 with flag 1845305/8211379
589.28/588.54	c cleaning 39998 clauses out of 80009 with flag 1938799/8252378
592.47/591.77	c cleaning 40999 clauses out of 82013 with flag 2035117/8294380
596.07/595.36	c cleaning 41998 clauses out of 84012 with flag 2133553/8337378
599.47/598.78	c cleaning 43003 clauses out of 86014 with flag 2234760/8381378
603.27/602.57	c cleaning 43997 clauses out of 88013 with flag 2337912/8426380
607.17/606.40	c cleaning 45003 clauses out of 90014 with flag 2445147/8472378
611.07/610.33	c cleaning 46003 clauses out of 92012 with flag 2556704/8519379
615.37/614.61	c cleaning 46997 clauses out of 94008 with flag 2667812/8567378
619.77/619.04	c cleaning 48005 clauses out of 96013 with flag 2780536/8616380
624.48/623.80	c cleaning 49003 clauses out of 98006 with flag 2895612/8666378
629.48/628.77	c cleaning 50002 clauses out of 100006 with flag 3012287/8717381
634.48/633.75	c cleaning 50995 clauses out of 102001 with flag 3132274/8769378
639.78/639.05	c cleaning 51997 clauses out of 104006 with flag 3254419/8822378
644.92/644.16	c cleaning 53000 clauses out of 106009 with flag 3379463/8876378
650.82/650.03	c cleaning 54002 clauses out of 108010 with flag 3506336/8931379
656.82/656.05	c cleaning 54997 clauses out of 110007 with flag 3636671/8987378
663.13/662.35	c cleaning 55999 clauses out of 112010 with flag 3767959/9044378
669.42/668.67	c cleaning 57001 clauses out of 114011 with flag 3902199/9102378
676.12/675.37	c cleaning 58002 clauses out of 116011 with flag 4038345/9161379
683.02/682.26	c cleaning 59001 clauses out of 118008 with flag 4176218/9221378
689.92/689.16	c cleaning 59996 clauses out of 120007 with flag 4314750/9282378
697.13/696.37	c cleaning 60997 clauses out of 122011 with flag 4455544/9344378
704.94/704.10	c cleaning 62003 clauses out of 124014 with flag 4597773/9407378
712.93/712.13	c cleaning 63003 clauses out of 126011 with flag 4742378/9471378
720.63/719.88	c cleaning 63993 clauses out of 128008 with flag 4890475/9536378
728.83/728.07	c cleaning 64998 clauses out of 130016 with flag 5040880/9602379
738.31/737.40	c cleaning 66006 clauses out of 132017 with flag 5192222/9669378
747.01/746.10	c cleaning 67004 clauses out of 134011 with flag 5346156/9737378
756.01/755.16	c cleaning 67996 clauses out of 136007 with flag 5504972/9806378
765.61/764.78	c cleaning 69001 clauses out of 138014 with flag 5665203/9876381
774.91/774.06	c cleaning 70004 clauses out of 140014 with flag 5827557/9947382
784.02/783.11	c cleaning 70999 clauses out of 142006 with flag 5992588/10019378
793.22/792.31	c cleaning 72002 clauses out of 144007 with flag 6160808/10092378
802.83/802.00	c cleaning 72998 clauses out of 146005 with flag 6331245/10166378
814.33/813.41	c cleaning 74002 clauses out of 148007 with flag 6502825/10241378
824.83/823.91	c cleaning 75000 clauses out of 150007 with flag 6678904/10317380
835.93/835.02	c cleaning 76000 clauses out of 152005 with flag 6855067/10394378
847.02/846.03	c cleaning 76996 clauses out of 154005 with flag 7033414/10472378
858.82/857.89	c cleaning 77999 clauses out of 156012 with flag 7213825/10551381
870.62/869.62	c cleaning 79006 clauses out of 158015 with flag 7395636/10631383
882.43/881.44	c cleaning 79998 clauses out of 160004 with flag 7580000/10712378
895.73/894.79	c cleaning 80999 clauses out of 162006 with flag 7768344/10794378
909.13/908.16	c cleaning 82000 clauses out of 164008 with flag 7958072/10877379
921.74/920.78	c cleaning 82998 clauses out of 166007 with flag 8151157/10961378
935.83/934.89	c cleaning 84004 clauses out of 168011 with flag 8345375/11046380
947.63/946.62	c cleaning 84989 clauses out of 170005 with flag 8548189/11132378
963.33/962.32	c cleaning 86007 clauses out of 172017 with flag 8758128/11219379
976.52/975.48	c cleaning 86999 clauses out of 174009 with flag 8967323/11307378
991.62/990.56	c cleaning 88000 clauses out of 176010 with flag 9178221/11396378
1009.12/1008.09	c cleaning 89005 clauses out of 178012 with flag 9392375/11486380
1024.24/1023.18	c cleaning 89997 clauses out of 180007 with flag 9606403/11577380
1040.64/1039.55	c cleaning 90999 clauses out of 182008 with flag 9823717/11669378
1057.24/1056.12	c cleaning 91998 clauses out of 184009 with flag 10049701/11762378
1074.33/1073.27	c cleaning 93005 clauses out of 186012 with flag 10277081/11856379
1092.63/1091.56	c cleaning 94001 clauses out of 188007 with flag 10506136/11951379
1110.05/1108.85	c cleaning 94994 clauses out of 190005 with flag 10734195/12047378
1129.04/1127.86	c cleaning 95999 clauses out of 192014 with flag 10967307/12144381
1146.25/1145.09	c cleaning 96998 clauses out of 194014 with flag 11201492/12242380
1163.05/1161.88	c cleaning 97998 clauses out of 196014 with flag 11438304/12341378
1181.76/1180.59	c cleaning 99004 clauses out of 198016 with flag 11679723/12441378
1201.37/1200.19	c cleaning 100004 clauses out of 200013 with flag 11920914/12542379
1218.17/1216.97	c cleaning 100992 clauses out of 202008 with flag 12159469/12644378
1232.99/1231.65	c cleaning 102002 clauses out of 204016 with flag 12398637/12747378
1249.79/1248.47	c cleaning 103003 clauses out of 206016 with flag 12640042/12851380
1267.70/1266.36	c cleaning 103999 clauses out of 208011 with flag 12883603/12956378
1286.40/1285.01	c cleaning 105000 clauses out of 210012 with flag 13128771/13062378
1304.70/1303.38	c cleaning 106000 clauses out of 212012 with flag 13376663/13169378
1323.10/1321.76	c cleaning 107003 clauses out of 214012 with flag 13626787/13277378
1340.57/1339.07	c cleaning 107996 clauses out of 216010 with flag 13878829/13386379
1358.48/1356.97	c cleaning 108999 clauses out of 218013 with flag 14132843/13496378
1375.98/1374.47	c cleaning 110003 clauses out of 220014 with flag 14392142/13607378
1396.08/1394.56	c cleaning 111004 clauses out of 222011 with flag 14650932/13719378
1415.88/1414.38	c cleaning 111994 clauses out of 224007 with flag 14910727/13832378
1435.78/1434.29	c cleaning 112991 clauses out of 226012 with flag 15170937/13946378
1453.98/1452.42	c cleaning 114007 clauses out of 228022 with flag 15434839/14061379
1454.50/1452.86	c Got one! Elapsed wall clock time (in seconds):1452.754
1454.50/1452.86	o 806
1456.20/1454.55	c cleaning 62780 clauses out of 125576 with flag 11683/14072940
1456.90/1455.21	c cleaning 34387 clauses out of 68795 with flag 25678/14078939
1457.20/1455.56	c cleaning 20696 clauses out of 41408 with flag 41841/14085939
1457.50/1455.85	c cleaning 14346 clauses out of 28712 with flag 60450/14093939
1457.80/1456.12	c cleaning 11672 clauses out of 23367 with flag 80847/14102940
1458.11/1456.42	c cleaning 10840 clauses out of 21695 with flag 103350/14112940
1458.40/1456.77	c cleaning 10925 clauses out of 21854 with flag 128327/14123939
1458.80/1457.16	c cleaning 11457 clauses out of 22929 with flag 155410/14135939
1459.31/1457.62	c cleaning 12236 clauses out of 24473 with flag 185179/14148940
1459.80/1458.16	c cleaning 13111 clauses out of 26236 with flag 216742/14162939
1460.41/1458.80	c cleaning 14059 clauses out of 28126 with flag 250850/14177940
1461.20/1459.50	c cleaning 15034 clauses out of 30068 with flag 287339/14193941
1462.00/1460.30	c cleaning 16017 clauses out of 32033 with flag 325666/14210940
1462.70/1461.06	c cleaning 17006 clauses out of 34016 with flag 366680/14228940
1463.60/1461.99	c cleaning 17997 clauses out of 36009 with flag 410206/14247939
1464.60/1462.99	c cleaning 19001 clauses out of 38012 with flag 455871/14267939
1465.80/1464.17	c cleaning 20003 clauses out of 40012 with flag 503784/14288940
1467.10/1465.47	c cleaning 21000 clauses out of 42009 with flag 554327/14310940
1468.50/1466.82	c cleaning 22001 clauses out of 44009 with flag 606676/14333940
1469.80/1468.10	c cleaning 23001 clauses out of 46007 with flag 661059/14357939
1471.30/1469.63	c cleaning 24003 clauses out of 48006 with flag 717431/14382939
1472.90/1471.27	c cleaning 24996 clauses out of 50003 with flag 775956/14408939
1474.70/1473.03	c cleaning 26004 clauses out of 52011 with flag 836425/14435943
1476.70/1475.06	c cleaning 27001 clauses out of 54003 with flag 899605/14463939
1479.00/1477.33	c cleaning 27998 clauses out of 56002 with flag 964842/14492939
1481.50/1479.86	c cleaning 28995 clauses out of 58004 with flag 1032444/14522939
1484.01/1482.35	c cleaning 30003 clauses out of 60009 with flag 1102627/14553939
1486.61/1484.91	c cleaning 30995 clauses out of 62006 with flag 1175436/14585939
1489.31/1487.68	c cleaning 32002 clauses out of 64011 with flag 1249959/14618939
1492.41/1490.79	c cleaning 33001 clauses out of 66009 with flag 1327351/14652939
1495.81/1494.13	c cleaning 34001 clauses out of 68009 with flag 1407149/14687940
1499.41/1497.74	c cleaning 35006 clauses out of 70012 with flag 1488974/14723944
1502.37/1500.65	c cleaning 35993 clauses out of 72002 with flag 1573452/14760940
1505.58/1503.81	c cleaning 36996 clauses out of 74009 with flag 1660415/14798940
1508.97/1507.22	c cleaning 38004 clauses out of 76012 with flag 1748745/14837939
1512.08/1510.38	c cleaning 39004 clauses out of 78008 with flag 1839642/14877939
1515.67/1513.96	c cleaning 39999 clauses out of 80005 with flag 1933457/14918940
1519.78/1518.01	c cleaning 41000 clauses out of 82005 with flag 2028622/14960939
1523.57/1521.87	c cleaning 41998 clauses out of 84005 with flag 2126677/15003939
1527.97/1526.22	c cleaning 42998 clauses out of 86007 with flag 2227478/15047939
1532.07/1530.38	c cleaning 44005 clauses out of 88009 with flag 2329877/15092939
1536.67/1534.99	c cleaning 45003 clauses out of 90006 with flag 2434410/15138941
1541.67/1539.98	c cleaning 45991 clauses out of 92001 with flag 2541088/15185939
1546.87/1545.17	c cleaning 47003 clauses out of 94011 with flag 2650902/15233940
1552.07/1550.36	c cleaning 48006 clauses out of 96011 with flag 2762510/15282943
1557.58/1555.81	c cleaning 49002 clauses out of 98003 with flag 2877672/15332941
1558.58/1556.84	c Got one! Elapsed wall clock time (in seconds):1556.727
1558.58/1556.84	o 801
1559.08/1557.38	c cleaning 34108 clauses out of 68229 with flag 11640/15352169
1559.49/1557.74	c cleaning 20044 clauses out of 40119 with flag 25521/15358167
1559.78/1558.02	c cleaning 13523 clauses out of 27075 with flag 41333/15365167
1560.08/1558.32	c cleaning 10767 clauses out of 21554 with flag 59311/15373169
1560.38/1558.61	c cleaning 9879 clauses out of 19785 with flag 80552/15382167
1560.68/1558.92	c cleaning 9943 clauses out of 19906 with flag 104076/15392167
1560.98/1559.26	c cleaning 10481 clauses out of 20963 with flag 130246/15403167
1561.38/1559.66	c cleaning 11237 clauses out of 22483 with flag 158265/15415168
1561.88/1560.16	c cleaning 12120 clauses out of 24245 with flag 189765/15428167
1562.50/1560.72	c cleaning 13062 clauses out of 26125 with flag 224242/15442167
1563.10/1561.34	c cleaning 14027 clauses out of 28063 with flag 259764/15457167
1563.81/1562.04	c cleaning 15019 clauses out of 30038 with flag 298368/15473169
1564.60/1562.84	c cleaning 16009 clauses out of 32017 with flag 338677/15490167
1565.40/1563.67	c cleaning 16999 clauses out of 34009 with flag 382055/15508168
1566.30/1564.55	c cleaning 18004 clauses out of 36010 with flag 427126/15527168
1567.21/1565.46	c cleaning 19001 clauses out of 38005 with flag 473695/15547167
1568.31/1566.51	c cleaning 20000 clauses out of 40004 with flag 523149/15568167
1569.50/1567.78	c cleaning 21003 clauses out of 42008 with flag 576611/15590171
1570.90/1569.10	c cleaning 22000 clauses out of 44001 with flag 632041/15613167
1572.20/1570.42	c cleaning 23001 clauses out of 46002 with flag 688340/15637168
1573.60/1571.87	c cleaning 23999 clauses out of 48002 with flag 747322/15662169
1575.20/1573.41	c cleaning 24998 clauses out of 50001 with flag 807847/15688167
1577.11/1575.32	c cleaning 26000 clauses out of 52003 with flag 872000/15715167
1579.21/1577.48	c cleaning 27000 clauses out of 54003 with flag 939396/15743167
1581.41/1579.70	c cleaning 27997 clauses out of 56005 with flag 1009457/15772169
1583.40/1581.68	c cleaning 28999 clauses out of 58007 with flag 1079516/15802168
1585.70/1583.93	c cleaning 30004 clauses out of 60007 with flag 1151946/15833167
1588.30/1586.57	c cleaning 31000 clauses out of 62004 with flag 1229251/15865168
1590.70/1588.96	c cleaning 31998 clauses out of 64003 with flag 1307823/15898167
1593.10/1591.35	c cleaning 32998 clauses out of 66009 with flag 1386363/15932171
1595.81/1594.04	c cleaning 34004 clauses out of 68008 with flag 1467209/15967168
1598.80/1597.04	c cleaning 34998 clauses out of 70003 with flag 1551527/16003167
1602.00/1600.23	c cleaning 36001 clauses out of 72005 with flag 1637456/16040167
1605.10/1603.35	c cleaning 36998 clauses out of 74004 with flag 1725133/16078167
1608.22/1606.45	c cleaning 38000 clauses out of 76006 with flag 1814853/16117167
1611.52/1609.71	c cleaning 39000 clauses out of 78006 with flag 1906673/16157167
1615.52/1613.70	c cleaning 39999 clauses out of 80006 with flag 2001483/16198167
1619.62/1617.85	c cleaning 41000 clauses out of 82008 with flag 2098571/16240168
1624.22/1622.47	c cleaning 42000 clauses out of 84010 with flag 2200064/16283170
1629.31/1627.51	c cleaning 43000 clauses out of 86007 with flag 2303821/16327167
1634.11/1632.33	c cleaning 44002 clauses out of 88007 with flag 2408514/16372167
1639.21/1637.42	c cleaning 44997 clauses out of 90006 with flag 2514483/16418168
1643.13/1641.32	c cleaning 45999 clauses out of 92008 with flag 2619425/16465167
1646.72/1644.96	c cleaning 47002 clauses out of 94009 with flag 2727704/16513167
1650.63/1648.81	c cleaning 48000 clauses out of 96007 with flag 2839054/16562168
1655.23/1653.43	c cleaning 48997 clauses out of 98006 with flag 2954053/16612167
1660.52/1658.76	c cleaning 49997 clauses out of 100010 with flag 3070612/16663168
1667.72/1665.93	c cleaning 50998 clauses out of 102012 with flag 3189802/16715167
1674.06/1672.25	c cleaning 52003 clauses out of 104014 with flag 3312087/16768167
1680.36/1678.55	c cleaning 53006 clauses out of 106014 with flag 3436637/16822170
1687.66/1685.84	c cleaning 54000 clauses out of 108006 with flag 3563124/16877168
1695.46/1693.69	c cleaning 54993 clauses out of 110005 with flag 3692532/16933167
1703.25/1701.47	c cleaning 56005 clauses out of 112013 with flag 3824484/16990168
1710.86/1709.02	c cleaning 56996 clauses out of 114007 with flag 3958976/17048167
1718.66/1716.85	c cleaning 58003 clauses out of 116011 with flag 4097007/17107167
1727.25/1725.41	c cleaning 59002 clauses out of 118010 with flag 4238628/17167169
1735.65/1733.81	c cleaning 60000 clauses out of 120007 with flag 4382840/17228168
1744.25/1742.49	c cleaning 61001 clauses out of 122007 with flag 4527240/17290168
1753.65/1751.81	c cleaning 61994 clauses out of 124005 with flag 4672805/17353167
1763.15/1761.36	c cleaning 63004 clauses out of 126011 with flag 4822312/17417167
1772.79/1770.99	c cleaning 63999 clauses out of 128007 with flag 4972512/17482167
1781.99/1780.16	c cleaning 65002 clauses out of 130008 with flag 5127560/17548167
1791.88/1790.06	c cleaning 65999 clauses out of 132008 with flag 5285234/17615169
1800.08/1798.20	c starts		: 170
1800.08/1798.20	c conflicts		: 17683168
1800.08/1798.20	c decisions		: 33547958
1800.08/1798.20	c propagations		: 299291948
1800.08/1798.20	c inspects		: 39769733963
1800.08/1798.20	c shortcuts		: 0
1800.08/1798.20	c learnt literals	: 4
1800.08/1798.20	c learnt binary clauses	: 0
1800.08/1798.20	c learnt ternary clauses	: 2
1800.08/1798.20	c learnt constraints	: 17683164
1800.08/1798.20	c ignored constraints	: 0
1800.08/1798.20	c root simplifications	: 0
1800.08/1798.20	c removed literals (reason simplification)	: 0
1800.08/1798.20	c reason swapping (by a shorter reason)	: 0
1800.08/1798.20	c Calls to reduceDB	: 565
1800.08/1798.20	c Number of update (reduction) of LBD	: 1960788
1800.08/1798.20	c Imported unit clauses	: 0
1800.08/1798.20	c number of reductions to clauses (during analyze)	: 0
1800.08/1798.20	c number of learned constraints concerned by reduction	: 0
1800.08/1798.20	c number of learning phase by resolution	: 0
1800.08/1798.20	c number of learning phase by cutting planes	: 0
1800.08/1798.20	c speed (assignments/second)	: 166453.16633807085
1800.08/1798.20	c non guided choices	2
1800.08/1798.23	c learnt constraints type 
1800.08/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134008
1800.08/1798.23	s SATISFIABLE
1800.08/1798.23	c Found 26 solution(s)
1800.08/1798.23	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 
1800.08/1798.23	c objective function=801
1800.08/1798.23	c Total wall clock time (in seconds): 1798.121

Verifier Data 

OK	801

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085251-1465229592/watcher-4085251-1465229592 -o /tmp/evaluation-result-4085251-1465229592/solver-4085251-1465229592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085251-1465229592.opb 

pid=10361
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.29 2.36 2.27 3/194 10364
/proc/meminfo: memFree=30254236/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=89740 CPUtime=0 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 1243 0 0 0 0 0 0 0 20 0 2 0 104891171 91893760 886 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 22435 887 670 9 0 16770 0
[pid=10364/tid=10365] ppid=10361 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 104891172 94019584 904 33554432000 1073741824 1073778376 140733672165888 140733672154952 248793566099 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 2.29 2.36 2.27 3/194 10364
/proc/meminfo: memFree=30254236/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 4403 0 1 0 9 1 0 0 20 0 18 0 104891171 9787879424 6036 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2389619 6036 2125 9 0 2380296 0
[pid=10364/tid=10365] ppid=10361 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2374 0 1 0 7 0 0 0 20 0 18 0 104891172 9787879424 6036 33554432000 1073741824 1073778376 140733672165888 140388638976928 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 2.29 2.36 2.27 3/194 10364
/proc/meminfo: memFree=30254236/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 6134 0 1 0 28 1 0 0 20 0 19 0 104891171 9856040960 7724 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 7724 2233 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2409 0 1 0 17 0 0 0 20 0 19 0 104891172 9856040960 7724 33554432000 1073741824 1073778376 140733672165888 140388638964328 140388471955016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040

[startup+0.300323 s]
/proc/loadavg: 2.29 2.36 2.27 3/194 10364
/proc/meminfo: memFree=30254236/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 6745 0 1 0 51 1 0 0 20 0 19 0 104891171 9856040960 8589 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 8589 2238 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2410 0 1 0 27 0 0 0 20 0 19 0 104891172 9856040960 8589 33554432000 1073741824 1073778376 140733672165888 140388638978120 140388472426415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700258 s]
/proc/loadavg: 2.29 2.36 2.27 3/194 10364
/proc/meminfo: memFree=30254236/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=1.1 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 8797 0 1 0 109 1 0 0 20 0 19 0 104891171 9856040960 9740 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 9740 2249 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2411 0 1 0 67 0 0 0 20 0 19 0 104891172 9856040960 9740 33554432000 1073741824 1073778376 140733672165888 140388638969552 140388472426537 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 9625040

[startup+1.50072 s]
/proc/loadavg: 2.29 2.36 2.27 3/213 10383
/proc/meminfo: memFree=30221564/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=1.92 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 8810 0 1 0 191 1 0 0 20 0 19 0 104891171 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 10774 2256 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2420 0 1 0 146 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388638978600 140388472403715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10367] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10367/stat : 10367 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388600470056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10368] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10368/stat : 10368 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388599417256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10369] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10369/stat : 10369 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388598364456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10370] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10370/stat : 10370 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388597311656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10371] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10371/stat : 10371 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388596259880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10372] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10372/stat : 10372 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388595207080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10373] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10373/stat : 10373 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388594154280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10374] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10374/stat : 10374 (java) S 10361 10364 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388593101480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10375] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10375/stat : 10375 (java) S 10361 10364 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388462451176 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10376] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10376/stat : 10376 (java) S 10361 10364 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388461397240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10377] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10377/stat : 10377 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388460344328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10378] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10378/stat : 10378 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388459292816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10379] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10379/stat : 10379 (java) S 10361 10364 9017 0 -1 4202560 2136 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388458240952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10380] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10380/stat : 10380 (java) S 10361 10364 9017 0 -1 4202560 2984 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140388457188152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10381] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10381/stat : 10381 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140387582733176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10382] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10382/stat : 10382 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140387581680584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10383] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10383/stat : 10383 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891186 9856040960 10774 33554432000 1073741824 1073778376 140733672165888 140387580626088 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9625040

[startup+3.10086 s]
/proc/loadavg: 2.29 2.36 2.27 3/213 10383
/proc/meminfo: memFree=30169744/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=3.55 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 8816 0 1 0 353 2 0 0 20 0 19 0 104891171 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 12312 2257 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2424 0 1 0 305 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388638969552 140388472351833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10367] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10367/stat : 10367 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388600470056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10368] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10368/stat : 10368 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388599417256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10369] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10369/stat : 10369 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388598364456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10370] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10370/stat : 10370 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388597311656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10371] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10371/stat : 10371 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388596259880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10372] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10372/stat : 10372 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388595207080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10373] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10373/stat : 10373 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388594154280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10374] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10374/stat : 10374 (java) S 10361 10364 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388593101480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10375] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10375/stat : 10375 (java) S 10361 10364 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388462451176 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10376] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10376/stat : 10376 (java) S 10361 10364 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388461397240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10377] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10377/stat : 10377 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388460344328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10378] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10378/stat : 10378 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388459292816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10379] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10379/stat : 10379 (java) S 10361 10364 9017 0 -1 4202560 2136 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388458240952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10380] ppid=10361 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/10364/task/10380/stat : 10380 (java) S 10361 10364 9017 0 -1 4202560 2984 0 0 0 23 0 0 0 20 0 19 0 104891176 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140388457188152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10381] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10381/stat : 10381 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140387582733176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10382] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10382/stat : 10382 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140387581680584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10383] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10383/stat : 10383 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891186 9856040960 12312 33554432000 1073741824 1073778376 140733672165888 140387580626088 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.26 2.35 2.27 3/213 10383
/proc/meminfo: memFree=30158144/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=6.74 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 8824 0 1 0 672 2 0 0 20 0 19 0 104891171 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 15003 2258 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2431 0 1 0 623 1 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388638969552 140388472426415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10367] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10367/stat : 10367 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388600470056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10368] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10368/stat : 10368 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388599417256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10369] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10369/stat : 10369 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388598364456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10370] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10370/stat : 10370 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388597311656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10371] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10371/stat : 10371 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388596259880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10372] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10372/stat : 10372 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388595207080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10373] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10373/stat : 10373 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388594154280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10374] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10374/stat : 10374 (java) S 10361 10364 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104891172 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388593101480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10375] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10375/stat : 10375 (java) S 10361 10364 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388462451176 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10376] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10376/stat : 10376 (java) S 10361 10364 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388461397240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10377] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10377/stat : 10377 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388460344328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10378] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10378/stat : 10378 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388459292816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10379] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10379/stat : 10379 (java) S 10361 10364 9017 0 -1 4202560 2136 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 15003 33554432000 1073741824 1073778376 140733672165888 140388458240952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10380] ppid=10361 vsize=9625040 CPUtime=0.24 cores=0,2,4,6

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

[pid=10364/tid=10383] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10383/stat : 10383 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891186 9856040960 88753 33554432000 1073741824 1073778376 140733672165888 140387580626088 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.12
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.27 2.21 2.19 3/213 10426
/proc/meminfo: memFree=29868908/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=1724.15 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 10857 0 1 0 172372 43 0 0 20 0 19 0 104891171 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 89150 2272 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=1717.34 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2504 0 1 0 171705 29 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388638969552 140388472426259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10367] ppid=10361 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/10364/task/10367/stat : 10367 (java) S 10361 10364 9017 0 -1 4202560 525 0 0 0 19 3 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388600470056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10368] ppid=10361 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/10364/task/10368/stat : 10368 (java) S 10361 10364 9017 0 -1 4202560 199 0 0 0 15 3 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388599417256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10369] ppid=10361 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/10364/task/10369/stat : 10369 (java) S 10361 10364 9017 0 -1 4202560 81 0 0 0 16 2 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388598364456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10370] ppid=10361 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10364/task/10370/stat : 10370 (java) S 10361 10364 9017 0 -1 4202560 151 0 0 0 21 4 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388597311656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10371] ppid=10361 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10364/task/10371/stat : 10371 (java) S 10361 10364 9017 0 -1 4202560 85 0 0 0 21 4 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388596259880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10372] ppid=10361 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10364/task/10372/stat : 10372 (java) S 10361 10364 9017 0 -1 4202560 74 0 0 0 15 2 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388595207080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10373] ppid=10361 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10364/task/10373/stat : 10373 (java) S 10361 10364 9017 0 -1 4202560 261 0 0 0 15 2 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388594154280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10374] ppid=10361 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/10364/task/10374/stat : 10374 (java) S 10361 10364 9017 0 -1 4202560 81 0 0 0 20 3 0 0 20 0 19 0 104891172 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388593101480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10375] ppid=10361 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10364/task/10375/stat : 10375 (java) S 10361 10364 9017 0 -1 4202560 71 0 0 0 0 2 0 0 20 0 19 0 104891174 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388462451176 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10376] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10376/stat : 10376 (java) S 10361 10364 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388461397240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10377] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10377/stat : 10377 (java) S 10361 10364 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388460344328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10378] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10378/stat : 10378 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388459292816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10379] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10379/stat : 10379 (java) S 10361 10364 9017 0 -1 4202560 2136 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388458240952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10380] ppid=10361 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10364/task/10380/stat : 10380 (java) S 10361 10364 9017 0 -1 4202560 3329 0 0 0 29 0 0 0 20 0 19 0 104891176 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140388457188152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10381] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10381/stat : 10381 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140387582733176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10382] ppid=10361 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10364/task/10382/stat : 10382 (java) S 10361 10364 9017 0 -1 4202560 102 0 0 0 23 21 0 0 20 0 19 0 104891176 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140387581680584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10383] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10383/stat : 10383 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891186 9856040960 89150 33554432000 1073741824 1073778376 140733672165888 140387580626088 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.15
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.18 2.20 2.19 4/213 10494
/proc/meminfo: memFree=29959596/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=1784.19 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 10886 0 1 0 178375 44 0 0 20 0 19 0 104891171 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 89469 2272 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=1777.16 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2505 0 1 0 177686 30 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388638969552 140388472404329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10367] ppid=10361 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10364/task/10367/stat : 10367 (java) S 10361 10364 9017 0 -1 4202560 527 0 0 0 21 3 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388600470056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10368] ppid=10361 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10364/task/10368/stat : 10368 (java) S 10361 10364 9017 0 -1 4202560 217 0 0 0 16 3 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388599417256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10369] ppid=10361 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10364/task/10369/stat : 10369 (java) S 10361 10364 9017 0 -1 4202560 83 0 0 0 17 2 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388598364456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10370] ppid=10361 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/10364/task/10370/stat : 10370 (java) S 10361 10364 9017 0 -1 4202560 151 0 0 0 22 4 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388597311656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10371] ppid=10361 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/10364/task/10371/stat : 10371 (java) S 10361 10364 9017 0 -1 4202560 85 0 0 0 22 4 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388596259880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10372] ppid=10361 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/10364/task/10372/stat : 10372 (java) S 10361 10364 9017 0 -1 4202560 74 0 0 0 16 2 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388595207080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10373] ppid=10361 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10364/task/10373/stat : 10373 (java) S 10361 10364 9017 0 -1 4202560 263 0 0 0 15 2 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388594154280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10374] ppid=10361 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/10364/task/10374/stat : 10374 (java) S 10361 10364 9017 0 -1 4202560 81 0 0 0 20 3 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388593101480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10375] ppid=10361 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10364/task/10375/stat : 10375 (java) S 10361 10364 9017 0 -1 4202560 73 0 0 0 0 2 0 0 20 0 19 0 104891174 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388462451176 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10376] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10376/stat : 10376 (java) S 10361 10364 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388461397240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10377] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10377/stat : 10377 (java) S 10361 10364 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388460344328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10378] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10378/stat : 10378 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388459292816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10379] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10379/stat : 10379 (java) S 10361 10364 9017 0 -1 4202560 2136 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388458240952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10380] ppid=10361 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10364/task/10380/stat : 10380 (java) S 10361 10364 9017 0 -1 4202560 3329 0 0 0 29 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388457188152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10381] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10381/stat : 10381 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140387582733176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10382] ppid=10361 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10364/task/10382/stat : 10382 (java) S 10361 10364 9017 0 -1 4202560 104 0 0 0 23 22 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140387581680584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10383] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10383/stat : 10383 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891186 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140387580626088 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.19
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.22 2.20 2.19 3/213 10494
/proc/meminfo: memFree=29959944/32872528 swapFree=17452/1581112
[pid=10364] ppid=10361 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/10364/stat : 10364 (java) S 10361 10364 9017 0 -1 4202496 10888 0 1 0 179964 44 0 0 20 0 19 0 104891171 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140733672157024 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10364/statm: 2406260 89469 2272 9 0 2396937 0
[pid=10364/tid=10365] ppid=10361 vsize=9625040 CPUtime=1793.01 cores=0,2,4,6
/proc/10364/task/10365/stat : 10365 (java) R 10361 10364 9017 0 -1 4202560 2505 0 1 0 179271 30 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388638969552 140388472584636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10367] ppid=10361 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10364/task/10367/stat : 10367 (java) S 10361 10364 9017 0 -1 4202560 527 0 0 0 21 3 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388600470056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10364/tid=10368] ppid=10361 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10364/task/10368/stat : 10368 (java) S 10361 10364 9017 0 -1 4202560 217 0 0 0 16 3 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388599417256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10369] ppid=10361 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/10364/task/10369/stat : 10369 (java) S 10361 10364 9017 0 -1 4202560 83 0 0 0 17 2 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388598364456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10370] ppid=10361 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/10364/task/10370/stat : 10370 (java) S 10361 10364 9017 0 -1 4202560 151 0 0 0 22 4 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388597311656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10371] ppid=10361 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/10364/task/10371/stat : 10371 (java) S 10361 10364 9017 0 -1 4202560 85 0 0 0 22 4 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388596259880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10372] ppid=10361 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/10364/task/10372/stat : 10372 (java) S 10361 10364 9017 0 -1 4202560 74 0 0 0 16 2 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388595207080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10373] ppid=10361 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/10364/task/10373/stat : 10373 (java) S 10361 10364 9017 0 -1 4202560 263 0 0 0 15 2 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388594154280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10374] ppid=10361 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/10364/task/10374/stat : 10374 (java) S 10361 10364 9017 0 -1 4202560 81 0 0 0 20 3 0 0 20 0 19 0 104891172 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388593101480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10375] ppid=10361 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/10364/task/10375/stat : 10375 (java) S 10361 10364 9017 0 -1 4202560 73 0 0 0 0 2 0 0 20 0 19 0 104891174 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388462451176 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10364/tid=10376] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10376/stat : 10376 (java) S 10361 10364 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388461397240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10377] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10377/stat : 10377 (java) S 10361 10364 9017 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104891174 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388460344328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10378] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10378/stat : 10378 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388459292816 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10379] ppid=10361 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/10364/task/10379/stat : 10379 (java) S 10361 10364 9017 0 -1 4202560 2136 0 0 0 21 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388458240952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10380] ppid=10361 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/10364/task/10380/stat : 10380 (java) S 10361 10364 9017 0 -1 4202560 3329 0 0 0 29 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140388457188152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10381] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10381/stat : 10381 (java) S 10361 10364 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140387582733176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10364/tid=10382] ppid=10361 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/10364/task/10382/stat : 10382 (java) S 10361 10364 9017 0 -1 4202560 106 0 0 0 24 22 0 0 20 0 19 0 104891176 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140387581680584 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10364/tid=10383] ppid=10361 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10364/task/10383/stat : 10383 (java) S 10361 10364 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104891186 9856040960 89469 33554432000 1073741824 1073778376 140733672165888 140387580626088 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10364 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10364 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=139097
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=921859
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.24
CPU time (s): 1800.08
CPU user time (s): 1799.64
CPU system time (s): 0.44
CPU usage (%): 100.102
Max. virtual memory (cumulated for all children) (KiB): 9625492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.14
system time used= 0.921859
maximum resident set size= 360760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10936
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38577
involuntary context switches= 7715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1425 second user time and 13.5149 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-06 18:13:12
IDJOB=4085251
IDBENCH=2019
IDSOLVER=2546
FILE ID=node139/4085251-1465229592
RUNJOBID= node139-1465220260-9033
PBS_JOBID= 19843218
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085251-1465229592/watcher-4085251-1465229592 -o /tmp/evaluation-result-4085251-1465229592/solver-4085251-1465229592 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085251-1465229592.opb

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

MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719
RANDOM SEED=1837975721

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.868
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30255020 kB
Buffers:           20268 kB
Cached:            87980 kB
SwapCached:         1464 kB
Active:           267392 kB
Inactive:          56268 kB
Active(anon):     215904 kB
Inactive(anon):     2172 kB
Active(file):      51488 kB
Inactive(file):    54096 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099760 kB
Dirty:               796 kB
Writeback:             0 kB
AnonPages:       1807936 kB
Mapped:            15284 kB
Shmem:                 0 kB
Slab:             566992 kB
SReclaimable:      10960 kB
SUnreclaim:       556032 kB
KernelStack:        1704 kB
PageTables:         8088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2269240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1761280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node139 at 2016-06-06 18:43:11