Trace number 3741352

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)-55 1800.21 1024.43

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
MD5SUMf076140978d89a37e97e041a8b1e6b8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-63
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables462
Total number of constraints5852
Number of constraints which are clauses5852
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 462
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 462
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 462
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.1.v20110525
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		9996466904
0.07/0.10	c Max memory 		10048897024
0.07/0.10	c Total memory 		10048897024
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3741352-1338753385.opb
0.07/0.13	c reading problem ... 
0.45/0.38	c ... done. Wall clock time 0.247s.
0.45/0.38	c #vars     462
0.45/0.38	c #constraints  5852
0.45/0.38	c constraints type 
0.45/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5852
0.45/0.38	c constraints type 
0.45/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5852
0.45/0.39	c  And the winner is CuttingPlanes
0.81/0.88	c SATISFIABLE
0.81/0.88	c OPTIMIZING...
0.81/0.88	c Got one! Elapsed wall clock time (in seconds):0.751
0.81/0.88	o -53
0.83/0.92	c  And the winner is CuttingPlanes
0.87/1.38	c Got one! Elapsed wall clock time (in seconds):1.255
0.87/1.38	o -54
3.41/2.13	c cleaning 2497 clauses out of 5000 with flag 5000/5000
4.73/2.69	c cleaning 4240 clauses out of 8503 with flag 11000/11000
6.14/3.39	c cleaning 5632 clauses out of 11264 with flag 18001/18001
7.94/4.25	c cleaning 6815 clauses out of 13631 with flag 26000/26000
9.92/5.29	c cleaning 7905 clauses out of 15816 with flag 35000/35000
11.94/6.28	c  And the winner is Resolution
12.12/6.39	c Got one! Elapsed wall clock time (in seconds):6.258
12.12/6.39	o -55
13.24/6.90	c cleaning 10856 clauses out of 21731 with flag 5001/48820
14.38/7.59	c cleaning 8438 clauses out of 16875 with flag 11001/54820
16.12/8.44	c cleaning 7712 clauses out of 15436 with flag 18000/61819
18.01/9.44	c cleaning 7856 clauses out of 15725 with flag 26001/69820
20.19/10.52	c cleaning 8427 clauses out of 16868 with flag 35000/78819
22.29/11.64	c cleaning 9221 clauses out of 18441 with flag 45000/88819
24.64/12.90	c cleaning 9610 clauses out of 19220 with flag 55000/98819
27.52/14.31	c cleaning 9795 clauses out of 19610 with flag 65000/108819
30.01/15.65	c cleaning 9897 clauses out of 19815 with flag 75000/118819
32.33/16.85	c cleaning 9960 clauses out of 19919 with flag 85001/128820
34.83/18.12	c cleaning 9979 clauses out of 19958 with flag 95000/138819
37.27/19.45	c cleaning 9979 clauses out of 19979 with flag 105000/148819
39.76/20.75	c cleaning 9993 clauses out of 20000 with flag 115000/158819
42.26/22.09	c cleaning 10000 clauses out of 20007 with flag 125000/168819
44.74/23.31	c cleaning 9987 clauses out of 20008 with flag 135001/178820
46.94/24.57	c cleaning 10004 clauses out of 20020 with flag 145000/188819
49.42/25.87	c cleaning 9997 clauses out of 20016 with flag 155000/198819
52.11/27.20	c cleaning 10006 clauses out of 20019 with flag 165000/208819
54.39/28.46	c cleaning 10007 clauses out of 20013 with flag 175000/218819
57.40/30.02	c cleaning 9999 clauses out of 20006 with flag 185000/228819
60.07/31.45	c cleaning 9992 clauses out of 20008 with flag 195001/238820
62.96/32.93	c cleaning 9998 clauses out of 20015 with flag 205000/248819
65.81/34.49	c cleaning 10003 clauses out of 20019 with flag 215002/258821
68.19/35.76	c cleaning 9999 clauses out of 20015 with flag 225001/268820
70.66/37.05	c cleaning 9997 clauses out of 20015 with flag 235000/278819
72.93/38.28	c cleaning 10005 clauses out of 20018 with flag 245000/288819
76.00/39.85	c cleaning 10001 clauses out of 20014 with flag 255001/298820
78.76/41.37	c cleaning 9995 clauses out of 20012 with flag 265000/308819
81.42/42.79	c cleaning 9995 clauses out of 20017 with flag 275000/318819
83.89/44.10	c cleaning 9996 clauses out of 20023 with flag 285001/328820
86.72/45.55	c cleaning 10005 clauses out of 20026 with flag 295000/338819
89.28/46.95	c cleaning 10004 clauses out of 20021 with flag 305000/348819
91.94/48.39	c cleaning 10001 clauses out of 20017 with flag 315000/358819
94.96/49.94	c cleaning 10007 clauses out of 20016 with flag 325000/368819
98.00/51.53	c cleaning 10001 clauses out of 20009 with flag 335000/378819
101.33/53.38	c cleaning 10002 clauses out of 20009 with flag 345001/388820
103.77/54.61	c cleaning 9994 clauses out of 20006 with flag 355000/398819
106.02/55.86	c cleaning 9997 clauses out of 20013 with flag 365001/408820
108.46/57.11	c cleaning 9997 clauses out of 20016 with flag 375001/418820
110.96/58.56	c cleaning 9995 clauses out of 20018 with flag 385000/428819
113.58/59.92	c cleaning 10007 clauses out of 20024 with flag 395001/438820
116.22/61.34	c cleaning 9996 clauses out of 20016 with flag 405000/448819
118.64/62.67	c cleaning 10010 clauses out of 20020 with flag 415000/458819
121.52/64.22	c cleaning 9998 clauses out of 20010 with flag 425000/468819
124.14/65.69	c cleaning 9996 clauses out of 20013 with flag 435001/478820
126.74/67.09	c cleaning 10002 clauses out of 20017 with flag 445001/488820
129.75/68.63	c cleaning 9991 clauses out of 20014 with flag 455000/498819
132.63/70.30	c cleaning 10007 clauses out of 20024 with flag 465001/508820
135.84/71.97	c cleaning 9992 clauses out of 20016 with flag 475000/518819
138.25/73.29	c cleaning 10005 clauses out of 20024 with flag 485000/528819
140.86/74.62	c cleaning 10000 clauses out of 20019 with flag 495000/538819
143.54/76.13	c cleaning 10000 clauses out of 20019 with flag 505000/548819
146.25/77.57	c cleaning 10007 clauses out of 20020 with flag 515001/558820
148.86/78.99	c cleaning 9997 clauses out of 20012 with flag 525000/568819
151.67/80.48	c cleaning 10006 clauses out of 20016 with flag 535001/578820
154.73/82.12	c cleaning 9999 clauses out of 20009 with flag 545000/588819
157.12/83.40	c cleaning 9997 clauses out of 20010 with flag 555000/598819
159.54/84.78	c cleaning 10000 clauses out of 20014 with flag 565001/608820
162.16/86.18	c cleaning 10003 clauses out of 20013 with flag 575000/618819
165.02/87.70	c cleaning 9999 clauses out of 20010 with flag 585000/628819
167.63/89.17	c cleaning 9999 clauses out of 20011 with flag 595000/638819
170.23/90.58	c cleaning 10001 clauses out of 20013 with flag 605001/648820
173.02/92.01	c cleaning 9995 clauses out of 20011 with flag 615000/658819
175.88/93.66	c cleaning 9993 clauses out of 20016 with flag 625000/668819
178.68/95.11	c cleaning 10008 clauses out of 20024 with flag 635001/678820
181.46/96.63	c cleaning 10001 clauses out of 20015 with flag 645000/688819
184.05/98.08	c cleaning 9995 clauses out of 20014 with flag 655000/698819
187.08/99.75	c cleaning 10005 clauses out of 20019 with flag 665000/708819
190.25/101.49	c cleaning 9998 clauses out of 20014 with flag 675000/718819
192.83/102.86	c cleaning 10001 clauses out of 20016 with flag 685000/728819
195.83/104.48	c cleaning 10001 clauses out of 20015 with flag 695000/738819
198.69/106.06	c cleaning 10003 clauses out of 20016 with flag 705002/748821
201.67/107.65	c cleaning 10002 clauses out of 20011 with flag 715000/758819
204.45/109.19	c cleaning 9999 clauses out of 20009 with flag 725000/768819
207.23/110.68	c cleaning 10003 clauses out of 20011 with flag 735001/778820
210.09/112.25	c cleaning 9999 clauses out of 20007 with flag 745000/788819
212.84/113.75	c cleaning 9997 clauses out of 20009 with flag 755001/798820
215.81/115.31	c cleaning 9989 clauses out of 20012 with flag 765001/808820
218.77/116.93	c cleaning 10003 clauses out of 20023 with flag 775001/818820
221.81/118.68	c cleaning 9991 clauses out of 20019 with flag 785000/828819
224.97/120.37	c cleaning 9999 clauses out of 20028 with flag 795000/838819
227.95/121.98	c cleaning 10010 clauses out of 20029 with flag 805000/848819
231.13/123.66	c cleaning 10005 clauses out of 20019 with flag 815000/858819
234.73/125.64	c cleaning 9999 clauses out of 20016 with flag 825002/868821
237.70/127.22	c cleaning 9996 clauses out of 20016 with flag 835001/878820
240.27/128.62	c cleaning 10002 clauses out of 20020 with flag 845001/888820
242.64/129.91	c cleaning 9997 clauses out of 20017 with flag 855000/898819
245.28/131.43	c cleaning 10010 clauses out of 20022 with flag 865002/908821
248.06/132.90	c cleaning 9999 clauses out of 20010 with flag 875000/918819
250.46/134.23	c cleaning 10000 clauses out of 20012 with flag 885001/928820
253.20/135.78	c cleaning 9998 clauses out of 20011 with flag 895000/938819
255.84/137.29	c cleaning 9995 clauses out of 20014 with flag 905001/948820
258.82/138.87	c cleaning 9999 clauses out of 20018 with flag 915000/958819
261.78/140.42	c cleaning 10001 clauses out of 20019 with flag 925000/968819
264.36/141.80	c cleaning 10001 clauses out of 20018 with flag 935000/978819
267.16/143.41	c cleaning 10004 clauses out of 20018 with flag 945001/988820
269.93/144.90	c cleaning 10000 clauses out of 20014 with flag 955001/998820
272.51/146.35	c cleaning 9997 clauses out of 20013 with flag 965000/1008819
275.05/147.71	c cleaning 9995 clauses out of 20016 with flag 975000/1018819
278.05/149.41	c cleaning 9999 clauses out of 20022 with flag 985001/1028820
281.20/151.10	c cleaning 9992 clauses out of 20022 with flag 995000/1038819
283.77/152.60	c cleaning 10012 clauses out of 20031 with flag 1005001/1048820
286.91/154.20	c cleaning 9997 clauses out of 20018 with flag 1015000/1058819
290.10/156.03	c cleaning 9992 clauses out of 20021 with flag 1025000/1068819
292.86/157.59	c cleaning 10007 clauses out of 20029 with flag 1035000/1078819
295.62/159.03	c cleaning 9998 clauses out of 20023 with flag 1045001/1088820
298.39/160.52	c cleaning 9998 clauses out of 20024 with flag 1055000/1098819
301.33/162.29	c cleaning 9998 clauses out of 20026 with flag 1065000/1108819
304.49/163.94	c cleaning 10009 clauses out of 20029 with flag 1075001/1118820
307.42/165.53	c cleaning 9993 clauses out of 20019 with flag 1085000/1128819
310.38/167.13	c cleaning 10005 clauses out of 20028 with flag 1095002/1138821
313.76/169.05	c cleaning 9992 clauses out of 20021 with flag 1105000/1148819
317.10/170.80	c cleaning 10004 clauses out of 20029 with flag 1115000/1158819
319.86/172.37	c cleaning 10003 clauses out of 20025 with flag 1125000/1168819
322.98/174.00	c cleaning 10009 clauses out of 20023 with flag 1135001/1178820
325.96/175.73	c cleaning 10000 clauses out of 20013 with flag 1145000/1188819
328.69/177.28	c cleaning 9997 clauses out of 20014 with flag 1155001/1198820
331.43/178.79	c cleaning 9988 clauses out of 20016 with flag 1165000/1208819
334.58/180.44	c cleaning 10002 clauses out of 20028 with flag 1175000/1218819
337.72/182.27	c cleaning 10003 clauses out of 20027 with flag 1185001/1228820
341.04/184.04	c cleaning 10004 clauses out of 20024 with flag 1195001/1238820
344.17/185.79	c cleaning 10002 clauses out of 20020 with flag 1205001/1248820
347.50/187.56	c cleaning 10003 clauses out of 20017 with flag 1215000/1258819
350.66/189.34	c cleaning 9990 clauses out of 20014 with flag 1225000/1268819
353.99/191.10	c cleaning 10006 clauses out of 20025 with flag 1235001/1278820
357.09/192.85	c cleaning 9996 clauses out of 20018 with flag 1245000/1288819
360.44/194.64	c cleaning 10001 clauses out of 20022 with flag 1255000/1298819
363.75/196.52	c cleaning 10003 clauses out of 20021 with flag 1265000/1308819
367.07/198.33	c cleaning 10004 clauses out of 20019 with flag 1275001/1318820
369.61/199.77	c cleaning 10004 clauses out of 20014 with flag 1285000/1328819
371.94/201.04	c cleaning 9992 clauses out of 20010 with flag 1295000/1338819
374.68/202.63	c cleaning 10004 clauses out of 20019 with flag 1305001/1348820
377.21/204.06	c cleaning 9999 clauses out of 20014 with flag 1315000/1358819
379.73/205.43	c cleaning 10002 clauses out of 20016 with flag 1325001/1368820
382.43/206.94	c cleaning 9989 clauses out of 20013 with flag 1335000/1378819
385.17/208.55	c cleaning 10004 clauses out of 20025 with flag 1345001/1388820
388.11/210.12	c cleaning 10003 clauses out of 20020 with flag 1355000/1398819
391.02/211.76	c cleaning 10004 clauses out of 20018 with flag 1365001/1408820
393.97/213.32	c cleaning 9989 clauses out of 20014 with flag 1375001/1418820
396.90/215.03	c cleaning 10001 clauses out of 20024 with flag 1385000/1428819
399.84/216.68	c cleaning 9999 clauses out of 20023 with flag 1395000/1438819
401.16/217.46	c cleaning 0 clauses out of 6000 with flag 0/6001
404.00/218.84	c cleaning 10004 clauses out of 20024 with flag 1405000/1448819
407.24/220.64	c cleaning 9998 clauses out of 20020 with flag 1415000/1458819
410.19/222.21	c cleaning 10001 clauses out of 20022 with flag 1425000/1468819
413.10/223.83	c cleaning 9999 clauses out of 20022 with flag 1435001/1478820
416.03/225.47	c cleaning 10004 clauses out of 20023 with flag 1445001/1488820
419.33/227.38	c cleaning 9996 clauses out of 20018 with flag 1455000/1498819
422.42/229.06	c cleaning 9999 clauses out of 20022 with flag 1465000/1508819
425.31/230.64	c cleaning 10006 clauses out of 20023 with flag 1475000/1518819
427.86/232.05	c cleaning 10001 clauses out of 20017 with flag 1485000/1528819
430.71/233.78	c cleaning 10005 clauses out of 20016 with flag 1495000/1538819
433.65/235.35	c cleaning 9999 clauses out of 20012 with flag 1505001/1548820
436.55/236.91	c cleaning 9998 clauses out of 20013 with flag 1515001/1558820
439.47/238.53	c cleaning 9997 clauses out of 20014 with flag 1525000/1568819
442.37/240.24	c cleaning 10000 clauses out of 20017 with flag 1535000/1578819
445.26/241.83	c cleaning 9995 clauses out of 20018 with flag 1545001/1588820
448.17/243.41	c cleaning 10008 clauses out of 20023 with flag 1555001/1598820
451.07/245.05	c cleaning 9996 clauses out of 20015 with flag 1565001/1608820
454.18/246.89	c cleaning 10000 clauses out of 20018 with flag 1575000/1618819
457.07/248.43	c cleaning 9995 clauses out of 20019 with flag 1585001/1628820
459.79/249.96	c cleaning 9998 clauses out of 20023 with flag 1595000/1638819
462.90/251.67	c cleaning 9997 clauses out of 20026 with flag 1605001/1648820
466.00/253.49	c cleaning 10001 clauses out of 20029 with flag 1615001/1658820
469.11/255.12	c cleaning 10006 clauses out of 20028 with flag 1625001/1668820
472.01/256.72	c cleaning 9997 clauses out of 20022 with flag 1635001/1678820
474.92/258.36	c cleaning 10005 clauses out of 20024 with flag 1645000/1688819
478.26/260.25	c cleaning 9993 clauses out of 20020 with flag 1655001/1698820
481.35/261.94	c cleaning 10006 clauses out of 20026 with flag 1665000/1708819
484.25/263.59	c cleaning 9997 clauses out of 20020 with flag 1675000/1718819
487.53/265.35	c cleaning 10007 clauses out of 20023 with flag 1685000/1728819
490.57/267.18	c cleaning 9992 clauses out of 20016 with flag 1695000/1738819
493.85/268.92	c cleaning 10002 clauses out of 20024 with flag 1705000/1748819
496.76/270.60	c cleaning 10003 clauses out of 20022 with flag 1715000/1758819
500.24/272.49	c cleaning 10006 clauses out of 20019 with flag 1725000/1768819
503.34/274.20	c cleaning 9996 clauses out of 20013 with flag 1735000/1778819
506.43/275.90	c cleaning 9999 clauses out of 20017 with flag 1745000/1788819
509.10/277.47	c cleaning 10001 clauses out of 20019 with flag 1755001/1798820
511.99/279.02	c cleaning 10006 clauses out of 20017 with flag 1765000/1808819
515.05/280.88	c cleaning 10003 clauses out of 20013 with flag 1775002/1818821
518.32/282.68	c cleaning 9991 clauses out of 20009 with flag 1785001/1828820
521.19/284.30	c cleaning 10009 clauses out of 20017 with flag 1795000/1838819
524.28/285.91	c cleaning 9995 clauses out of 20008 with flag 1805000/1848819
527.53/287.86	c cleaning 9999 clauses out of 20013 with flag 1815000/1858819
530.59/289.59	c cleaning 10002 clauses out of 20015 with flag 1825001/1868820
533.67/291.26	c cleaning 9997 clauses out of 20012 with flag 1835000/1878819
536.75/292.98	c cleaning 10001 clauses out of 20016 with flag 1845001/1888820
540.40/295.01	c cleaning 9998 clauses out of 20014 with flag 1855000/1898819
543.26/296.65	c cleaning 9995 clauses out of 20016 with flag 1865000/1908819
546.32/298.33	c cleaning 10006 clauses out of 20022 with flag 1875001/1918820
549.82/300.22	c cleaning 9998 clauses out of 20016 with flag 1885001/1928820
553.07/302.17	c cleaning 10005 clauses out of 20017 with flag 1895000/1938819
556.32/303.98	c cleaning 9999 clauses out of 20012 with flag 1905000/1948819
559.96/305.97	c cleaning 10001 clauses out of 20014 with flag 1915001/1958820
563.25/307.77	c cleaning 10004 clauses out of 20012 with flag 1925000/1968819
566.89/309.80	c cleaning 10004 clauses out of 20008 with flag 1935000/1978819
570.34/311.72	c cleaning 9999 clauses out of 20005 with flag 1945001/1988820
573.00/313.21	c cleaning 9998 clauses out of 20005 with flag 1955000/1998819
575.67/314.72	c cleaning 9994 clauses out of 20007 with flag 1965000/2008819
578.70/316.51	c cleaning 10003 clauses out of 20013 with flag 1975000/2018819
581.55/318.16	c cleaning 9999 clauses out of 20010 with flag 1985000/2028819
584.39/319.74	c cleaning 9993 clauses out of 20011 with flag 1995000/2038819
587.43/321.44	c cleaning 9998 clauses out of 20018 with flag 2005000/2048819
590.46/323.27	c cleaning 9996 clauses out of 20020 with flag 2015000/2058819
593.70/325.04	c cleaning 10003 clauses out of 20024 with flag 2025000/2068819
596.77/326.72	c cleaning 10009 clauses out of 20021 with flag 2035000/2078819
599.42/328.29	c cleaning 9990 clauses out of 20012 with flag 2045000/2088819
602.66/330.18	c cleaning 9999 clauses out of 20022 with flag 2055000/2098819
605.71/331.85	c cleaning 10005 clauses out of 20023 with flag 2065000/2108819
608.76/333.54	c cleaning 9996 clauses out of 20018 with flag 2075000/2118819
611.62/335.17	c cleaning 10001 clauses out of 20022 with flag 2085000/2128819
614.83/337.05	c cleaning 9997 clauses out of 20021 with flag 2095000/2138819
617.88/338.76	c cleaning 10000 clauses out of 20024 with flag 2105000/2148819
621.09/340.52	c cleaning 9996 clauses out of 20025 with flag 2115001/2158820
624.14/342.21	c cleaning 10002 clauses out of 20028 with flag 2125000/2168819
627.63/344.22	c cleaning 10005 clauses out of 20026 with flag 2135000/2178819
630.87/346.06	c cleaning 10000 clauses out of 20021 with flag 2145000/2188819
633.54/347.59	c cleaning 9996 clauses out of 20022 with flag 2155001/2198820
636.55/349.25	c cleaning 10001 clauses out of 20025 with flag 2165000/2208819
639.57/351.09	c cleaning 9998 clauses out of 20024 with flag 2175000/2218819
642.59/352.75	c cleaning 10002 clauses out of 20026 with flag 2185000/2228819
645.60/354.44	c cleaning 10005 clauses out of 20025 with flag 2195001/2238820
648.63/356.11	c cleaning 9992 clauses out of 20020 with flag 2205001/2248820
651.73/357.90	c cleaning 10002 clauses out of 20027 with flag 2215000/2258819
654.55/359.52	c cleaning 10005 clauses out of 20025 with flag 2225000/2268819
657.40/361.12	c cleaning 9993 clauses out of 20020 with flag 2235000/2278819
660.22/362.73	c cleaning 9998 clauses out of 20028 with flag 2245001/2288820
663.03/364.47	c cleaning 10006 clauses out of 20030 with flag 2255001/2298820
665.87/366.05	c cleaning 9999 clauses out of 20023 with flag 2265000/2308819
668.72/367.67	c cleaning 10000 clauses out of 20024 with flag 2275000/2318819
671.56/369.29	c cleaning 10004 clauses out of 20024 with flag 2285000/2328819
674.95/371.20	c cleaning 10002 clauses out of 20020 with flag 2295000/2338819
677.58/372.76	c cleaning 9999 clauses out of 20018 with flag 2305000/2348819
680.62/374.46	c cleaning 9999 clauses out of 20019 with flag 2315000/2358819
683.44/376.07	c cleaning 10000 clauses out of 20021 with flag 2325001/2368820
686.83/378.01	c cleaning 10006 clauses out of 20020 with flag 2335000/2378819
690.07/379.82	c cleaning 9991 clauses out of 20014 with flag 2345000/2388819
692.89/381.48	c cleaning 10000 clauses out of 20024 with flag 2355001/2398820
695.91/383.16	c cleaning 10005 clauses out of 20023 with flag 2365000/2408819
699.25/385.13	c cleaning 10001 clauses out of 20018 with flag 2375000/2418819
702.30/386.85	c cleaning 9995 clauses out of 20017 with flag 2385000/2428819
705.11/388.40	c cleaning 10004 clauses out of 20022 with flag 2395000/2438819
707.73/389.97	c cleaning 10001 clauses out of 20018 with flag 2405000/2448819
710.91/391.81	c cleaning 10004 clauses out of 20018 with flag 2415001/2458820
713.71/393.40	c cleaning 9998 clauses out of 20013 with flag 2425000/2468819
716.35/394.99	c cleaning 10004 clauses out of 20015 with flag 2435000/2478819
719.14/396.58	c cleaning 10003 clauses out of 20012 with flag 2445001/2488820
722.33/398.44	c cleaning 9999 clauses out of 20008 with flag 2455000/2498819
725.14/400.09	c cleaning 9993 clauses out of 20009 with flag 2465000/2508819
728.38/401.80	c cleaning 10001 clauses out of 20017 with flag 2475001/2518820
731.40/403.57	c cleaning 10001 clauses out of 20015 with flag 2485000/2528819
735.12/405.77	c cleaning 10001 clauses out of 20014 with flag 2495000/2538819
738.70/407.75	c cleaning 10008 clauses out of 20015 with flag 2505002/2548821
741.93/409.56	c cleaning 9990 clauses out of 20005 with flag 2515000/2558819
744.94/411.23	c cleaning 10000 clauses out of 20015 with flag 2525000/2568819
748.29/413.23	c cleaning 9993 clauses out of 20016 with flag 2535001/2578820
751.31/414.95	c cleaning 10000 clauses out of 20022 with flag 2545000/2588819
754.32/416.64	c cleaning 9996 clauses out of 20022 with flag 2555000/2598819
757.53/418.46	c cleaning 10006 clauses out of 20026 with flag 2565000/2608819
760.94/420.42	c cleaning 10003 clauses out of 20021 with flag 2575001/2618820
764.15/422.21	c cleaning 9996 clauses out of 20017 with flag 2585000/2628819
767.36/424.03	c cleaning 10001 clauses out of 20022 with flag 2595001/2638820
770.57/425.82	c cleaning 10004 clauses out of 20020 with flag 2605000/2648819
773.73/427.78	c cleaning 10001 clauses out of 20016 with flag 2615000/2658819
776.75/429.40	c cleaning 9996 clauses out of 20016 with flag 2625001/2668820
779.56/431.06	c cleaning 10005 clauses out of 20019 with flag 2635000/2678819
782.77/432.80	c cleaning 10001 clauses out of 20015 with flag 2645001/2688820
785.89/434.72	c cleaning 10003 clauses out of 20013 with flag 2655000/2698819
788.70/436.39	c cleaning 9989 clauses out of 20010 with flag 2665000/2708819
791.90/438.15	c cleaning 10001 clauses out of 20021 with flag 2675000/2718819
795.13/439.93	c cleaning 10002 clauses out of 20021 with flag 2685001/2728820
798.49/441.95	c cleaning 10000 clauses out of 20018 with flag 2695000/2738819
801.49/443.70	c cleaning 10010 clauses out of 20019 with flag 2705001/2748820
804.71/445.48	c cleaning 10001 clauses out of 20009 with flag 2715001/2758820
807.90/447.20	c cleaning 9998 clauses out of 20007 with flag 2725000/2768819
811.24/449.21	c cleaning 10002 clauses out of 20009 with flag 2735000/2778819
814.45/451.07	c cleaning 10000 clauses out of 20007 with flag 2745000/2788819
817.62/452.82	c cleaning 10000 clauses out of 20007 with flag 2755000/2798819
820.62/454.59	c cleaning 10000 clauses out of 20008 with flag 2765001/2808820
823.98/456.59	c cleaning 9995 clauses out of 20007 with flag 2775000/2818819
827.56/458.50	c cleaning 10004 clauses out of 20013 with flag 2785001/2828820
830.94/460.47	c cleaning 9999 clauses out of 20008 with flag 2795000/2838819
834.33/462.37	c cleaning 9999 clauses out of 20009 with flag 2805000/2848819
838.21/464.66	c cleaning 9992 clauses out of 20010 with flag 2815000/2858819
841.61/466.56	c cleaning 10002 clauses out of 20018 with flag 2825000/2868819
845.01/468.48	c cleaning 10005 clauses out of 20016 with flag 2835000/2878819
848.61/470.49	c cleaning 10002 clauses out of 20012 with flag 2845001/2888820
852.33/472.68	c cleaning 10003 clauses out of 20009 with flag 2855000/2898819
856.33/474.80	c cleaning 9999 clauses out of 20006 with flag 2865000/2908819
859.12/476.45	c cleaning 9991 clauses out of 20008 with flag 2875001/2918820
862.28/478.20	c cleaning 10005 clauses out of 20017 with flag 2885001/2928820
865.63/480.21	c cleaning 10003 clauses out of 20012 with flag 2895001/2938820
868.81/482.00	c cleaning 9991 clauses out of 20009 with flag 2905001/2948820
871.75/483.78	c cleaning 9994 clauses out of 20017 with flag 2915000/2958819
874.96/485.55	c cleaning 10001 clauses out of 20024 with flag 2925001/2968820
878.52/487.61	c cleaning 9995 clauses out of 20022 with flag 2935000/2978819
881.51/489.36	c cleaning 10006 clauses out of 20027 with flag 2945000/2988819
883.90/490.77	c cleaning 9999 clauses out of 20021 with flag 2955000/2998819
886.48/492.23	c cleaning 10008 clauses out of 20022 with flag 2965000/3008819
889.39/494.09	c cleaning 9997 clauses out of 20014 with flag 2975000/3018819
892.37/495.72	c cleaning 9997 clauses out of 20017 with flag 2985000/3028819
895.34/497.40	c cleaning 10004 clauses out of 20020 with flag 2995000/3038819
898.11/499.07	c cleaning 10000 clauses out of 20016 with flag 3005000/3048819
901.56/501.18	c cleaning 10000 clauses out of 20017 with flag 3015001/3058820
905.15/503.13	c cleaning 9995 clauses out of 20017 with flag 3025001/3068820
907.96/504.73	c cleaning 10004 clauses out of 20021 with flag 3035000/3078819
910.95/506.44	c cleaning 10002 clauses out of 20018 with flag 3045001/3088820
914.25/508.40	c cleaning 9994 clauses out of 20015 with flag 3055000/3098819
917.22/510.18	c cleaning 10002 clauses out of 20021 with flag 3065000/3108819
920.59/512.06	c cleaning 10005 clauses out of 20019 with flag 3075000/3118819
923.36/513.67	c cleaning 9998 clauses out of 20014 with flag 3085000/3128819
926.89/515.72	c cleaning 10000 clauses out of 20018 with flag 3095002/3138821
930.05/517.53	c cleaning 9996 clauses out of 20016 with flag 3105000/3148819
933.20/519.31	c cleaning 9999 clauses out of 20021 with flag 3115001/3158820
936.17/521.07	c cleaning 10000 clauses out of 20021 with flag 3125000/3168819
939.65/523.10	c cleaning 10002 clauses out of 20022 with flag 3135001/3178820
942.44/524.77	c cleaning 10004 clauses out of 20020 with flag 3145001/3188820
945.57/526.52	c cleaning 10005 clauses out of 20016 with flag 3155001/3198820
948.72/528.38	c cleaning 9995 clauses out of 20010 with flag 3165000/3208819
952.48/530.56	c cleaning 9998 clauses out of 20016 with flag 3175001/3218820
956.02/532.56	c cleaning 9998 clauses out of 20017 with flag 3185000/3228819
959.38/534.45	c cleaning 10002 clauses out of 20019 with flag 3195000/3238819
962.54/536.29	c cleaning 10005 clauses out of 20018 with flag 3205001/3248820
966.18/538.49	c cleaning 9993 clauses out of 20012 with flag 3215000/3258819
969.75/540.48	c cleaning 10003 clauses out of 20019 with flag 3225000/3268819
973.13/542.32	c cleaning 9995 clauses out of 20016 with flag 3235000/3278819
976.08/544.03	c cleaning 10002 clauses out of 20022 with flag 3245001/3288820
979.38/546.02	c cleaning 9994 clauses out of 20019 with flag 3255000/3298819
982.38/547.72	c cleaning 9999 clauses out of 20025 with flag 3265000/3308819
985.36/549.47	c cleaning 10007 clauses out of 20027 with flag 3275001/3318820
988.52/551.22	c cleaning 9997 clauses out of 20019 with flag 3285000/3328819
992.17/553.48	c cleaning 9991 clauses out of 20023 with flag 3295001/3338820
995.30/555.24	c cleaning 10003 clauses out of 20032 with flag 3305001/3348820
998.27/556.98	c cleaning 9999 clauses out of 20028 with flag 3315000/3358819
1001.47/558.79	c cleaning 9999 clauses out of 20029 with flag 3325000/3368819
1005.17/560.98	c cleaning 9996 clauses out of 20030 with flag 3335000/3378819
1008.34/562.76	c cleaning 10007 clauses out of 20035 with flag 3345001/3388820
1011.52/564.57	c cleaning 9998 clauses out of 20027 with flag 3355000/3398819
1014.89/566.48	c cleaning 9999 clauses out of 20029 with flag 3365000/3408819
1018.43/568.58	c cleaning 10009 clauses out of 20031 with flag 3375001/3418820
1022.00/570.57	c cleaning 9994 clauses out of 20022 with flag 3385001/3428820
1024.96/572.21	c cleaning 10002 clauses out of 20027 with flag 3395000/3438819
1027.73/573.85	c cleaning 9992 clauses out of 20025 with flag 3405000/3448819
1031.05/575.88	c cleaning 10005 clauses out of 20033 with flag 3415000/3458819
1034.23/577.67	c cleaning 10004 clauses out of 20029 with flag 3425001/3468820
1037.40/579.44	c cleaning 10006 clauses out of 20024 with flag 3435000/3478819
1040.17/581.10	c cleaning 9991 clauses out of 20018 with flag 3445000/3488819
1043.52/583.06	c cleaning 10006 clauses out of 20027 with flag 3455000/3498819
1046.45/584.77	c cleaning 9999 clauses out of 20021 with flag 3465000/3508819
1049.81/586.63	c cleaning 10001 clauses out of 20022 with flag 3475000/3518819
1052.76/588.35	c cleaning 9998 clauses out of 20021 with flag 3485000/3528819
1055.88/590.28	c cleaning 10001 clauses out of 20023 with flag 3495000/3538819
1059.02/592.01	c cleaning 9995 clauses out of 20023 with flag 3505001/3548820
1062.00/593.73	c cleaning 10008 clauses out of 20028 with flag 3515001/3558820
1064.98/595.43	c cleaning 9992 clauses out of 20019 with flag 3525000/3568819
1068.14/597.34	c cleaning 10006 clauses out of 20027 with flag 3535000/3578819
1071.08/599.10	c cleaning 9998 clauses out of 20021 with flag 3545000/3588819
1074.23/600.87	c cleaning 9997 clauses out of 20023 with flag 3555000/3598819
1077.40/602.62	c cleaning 10003 clauses out of 20026 with flag 3565000/3608819
1080.85/604.72	c cleaning 9989 clauses out of 20023 with flag 3575000/3618819
1084.01/606.55	c cleaning 10013 clauses out of 20034 with flag 3585000/3628819
1087.37/608.45	c cleaning 10000 clauses out of 20022 with flag 3595001/3638820
1090.74/610.39	c cleaning 9990 clauses out of 20021 with flag 3605000/3648819
1094.01/612.36	c cleaning 10012 clauses out of 20031 with flag 3615000/3658819
1096.95/614.06	c cleaning 10006 clauses out of 20019 with flag 3625000/3668819
1100.12/615.86	c cleaning 10007 clauses out of 20013 with flag 3635000/3678819
1103.27/617.64	c cleaning 9998 clauses out of 20006 with flag 3645000/3688819
1106.58/619.63	c cleaning 10000 clauses out of 20008 with flag 3655000/3698819
1109.77/621.49	c cleaning 10000 clauses out of 20008 with flag 3665000/3708819
1113.14/623.31	c cleaning 9996 clauses out of 20008 with flag 3675000/3718819
1116.31/625.19	c cleaning 10001 clauses out of 20013 with flag 3685001/3728820
1120.15/627.42	c cleaning 10000 clauses out of 20011 with flag 3695000/3738819
1123.49/629.32	c cleaning 10001 clauses out of 20011 with flag 3705000/3748819
1126.85/631.21	c cleaning 10004 clauses out of 20011 with flag 3715001/3758820
1130.42/633.27	c cleaning 10002 clauses out of 20006 with flag 3725000/3768819
1134.06/635.46	c cleaning 9994 clauses out of 20005 with flag 3735001/3778820
1137.37/637.32	c cleaning 9993 clauses out of 20011 with flag 3745001/3788820
1140.91/639.37	c cleaning 10009 clauses out of 20018 with flag 3755001/3798820
1144.25/641.30	c cleaning 10003 clauses out of 20008 with flag 3765000/3808819
1148.16/643.52	c cleaning 10002 clauses out of 20007 with flag 3775002/3818821
1151.52/645.48	c cleaning 10000 clauses out of 20003 with flag 3785000/3828819
1155.09/647.48	c cleaning 10000 clauses out of 20003 with flag 3795000/3838819
1159.21/649.70	c cleaning 9998 clauses out of 20003 with flag 3805000/3848819
1163.21/652.15	c cleaning 9997 clauses out of 20005 with flag 3815000/3858819
1166.76/654.12	c cleaning 10000 clauses out of 20008 with flag 3825000/3868819
1170.34/656.11	c cleaning 10005 clauses out of 20010 with flag 3835002/3878821
1174.06/658.23	c cleaning 9999 clauses out of 20003 with flag 3845000/3888819
1178.06/660.66	c cleaning 9999 clauses out of 20004 with flag 3855000/3898819
1181.79/662.79	c cleaning 9990 clauses out of 20006 with flag 3865001/3908820
1185.56/664.89	c cleaning 10005 clauses out of 20016 with flag 3875001/3918820
1189.48/667.03	c cleaning 9991 clauses out of 20010 with flag 3885000/3928819
1193.11/669.28	c cleaning 10000 clauses out of 20019 with flag 3895000/3938819
1196.06/670.97	c cleaning 10005 clauses out of 20019 with flag 3905000/3948819
1199.16/672.76	c cleaning 9994 clauses out of 20014 with flag 3915000/3958819
1202.49/674.65	c cleaning 10005 clauses out of 20020 with flag 3925000/3968819
1206.30/676.97	c cleaning 10008 clauses out of 20016 with flag 3935001/3978820
1209.22/678.68	c cleaning 9995 clauses out of 20007 with flag 3945000/3988819
1212.32/680.40	c cleaning 9997 clauses out of 20013 with flag 3955001/3998820
1215.63/682.30	c cleaning 9999 clauses out of 20016 with flag 3965001/4008820
1218.72/684.24	c cleaning 10002 clauses out of 20016 with flag 3975000/4018819
1221.84/686.06	c cleaning 10003 clauses out of 20014 with flag 3985000/4028819
1225.16/687.90	c cleaning 9989 clauses out of 20011 with flag 3995000/4038819
1228.49/689.80	c cleaning 10009 clauses out of 20022 with flag 4005000/4048819
1231.70/691.88	c cleaning 10003 clauses out of 20014 with flag 4015001/4058820
1235.00/693.73	c cleaning 9999 clauses out of 20011 with flag 4025001/4068820
1238.12/695.52	c cleaning 9998 clauses out of 20011 with flag 4035000/4078819
1241.26/697.31	c cleaning 9998 clauses out of 20013 with flag 4045000/4088819
1244.51/699.38	c cleaning 9999 clauses out of 20016 with flag 4055001/4098820
1247.84/701.23	c cleaning 9994 clauses out of 20016 with flag 4065000/4108819
1250.94/703.00	c cleaning 10009 clauses out of 20023 with flag 4075001/4118820
1254.04/704.87	c cleaning 9993 clauses out of 20013 with flag 4085000/4128819
1257.63/707.08	c cleaning 9999 clauses out of 20020 with flag 4095000/4138819
1261.16/709.00	c cleaning 10007 clauses out of 20021 with flag 4105000/4148819
1264.26/710.83	c cleaning 9992 clauses out of 20015 with flag 4115001/4158820
1267.61/712.76	c cleaning 10003 clauses out of 20023 with flag 4125001/4168820
1271.30/715.00	c cleaning 10004 clauses out of 20019 with flag 4135000/4178819
1275.01/717.06	c cleaning 10002 clauses out of 20015 with flag 4145000/4188819
1278.33/718.92	c cleaning 10002 clauses out of 20013 with flag 4155000/4198819
1281.65/720.88	c cleaning 9993 clauses out of 20011 with flag 4165000/4208819
1285.46/723.10	c cleaning 10002 clauses out of 20018 with flag 4175000/4218819
1288.98/725.11	c cleaning 10002 clauses out of 20016 with flag 4185000/4228819
1292.52/727.15	c cleaning 9993 clauses out of 20014 with flag 4195000/4238819
1296.01/729.18	c cleaning 10001 clauses out of 20022 with flag 4205001/4248820
1299.99/731.58	c cleaning 10007 clauses out of 20020 with flag 4215000/4258819
1303.88/733.71	c cleaning 10006 clauses out of 20013 with flag 4225000/4268819
1307.36/735.77	c cleaning 10003 clauses out of 20008 with flag 4235001/4278820
1310.89/737.76	c cleaning 9990 clauses out of 20004 with flag 4245000/4288819
1314.46/739.99	c cleaning 9999 clauses out of 20014 with flag 4255000/4298819
1317.78/741.83	c cleaning 10002 clauses out of 20016 with flag 4265001/4308820
1321.10/743.78	c cleaning 9996 clauses out of 20014 with flag 4275001/4318820
1324.20/745.58	c cleaning 9997 clauses out of 20017 with flag 4285000/4328819
1327.83/747.74	c cleaning 9997 clauses out of 20020 with flag 4295000/4338819
1331.33/749.70	c cleaning 10008 clauses out of 20023 with flag 4305000/4348819
1334.44/751.57	c cleaning 9996 clauses out of 20015 with flag 4315000/4358819
1337.78/753.48	c cleaning 10002 clauses out of 20019 with flag 4325000/4368819
1341.41/755.68	c cleaning 9994 clauses out of 20017 with flag 4335000/4378819
1344.91/757.61	c cleaning 10000 clauses out of 20023 with flag 4345000/4388819
1348.24/759.53	c cleaning 10005 clauses out of 20023 with flag 4355000/4398819
1351.76/761.50	c cleaning 10001 clauses out of 20019 with flag 4365001/4408820
1355.62/763.81	c cleaning 10003 clauses out of 20018 with flag 4375001/4418820
1358.76/765.69	c cleaning 9996 clauses out of 20014 with flag 4385000/4428819
1362.03/767.53	c cleaning 9994 clauses out of 20018 with flag 4395000/4438819
1365.12/769.34	c cleaning 10006 clauses out of 20024 with flag 4405000/4448819
1368.55/771.49	c cleaning 9989 clauses out of 20018 with flag 4415000/4458819
1372.05/773.44	c cleaning 10008 clauses out of 20029 with flag 4425000/4468819
1375.57/775.47	c cleaning 9994 clauses out of 20021 with flag 4435000/4478819
1378.66/777.28	c cleaning 10009 clauses out of 20027 with flag 4445000/4488819
1382.03/779.30	c cleaning 10004 clauses out of 20018 with flag 4455000/4498819
1384.96/781.08	c cleaning 9995 clauses out of 20015 with flag 4465001/4508820
1387.89/782.76	c cleaning 10003 clauses out of 20020 with flag 4475001/4518820
1390.80/784.43	c cleaning 9997 clauses out of 20016 with flag 4485000/4528819
1394.19/786.56	c cleaning 10002 clauses out of 20020 with flag 4495001/4538820
1397.07/788.28	c cleaning 9998 clauses out of 20017 with flag 4505000/4548819
1400.55/790.20	c cleaning 9997 clauses out of 20019 with flag 4515000/4558819
1403.84/792.14	c cleaning 10001 clauses out of 20022 with flag 4525000/4568819
1407.08/794.18	c cleaning 9998 clauses out of 20022 with flag 4535001/4578820
1410.54/796.15	c cleaning 10005 clauses out of 20023 with flag 4545000/4588819
1414.03/798.16	c cleaning 10000 clauses out of 20019 with flag 4555001/4598820
1417.53/800.14	c cleaning 9993 clauses out of 20018 with flag 4565000/4608819
1421.12/802.32	c cleaning 10004 clauses out of 20026 with flag 4575001/4618820
1424.22/804.19	c cleaning 10004 clauses out of 20021 with flag 4585000/4628819
1427.92/806.24	c cleaning 9993 clauses out of 20017 with flag 4595000/4638819
1431.39/808.26	c cleaning 10005 clauses out of 20025 with flag 4605001/4648820
1434.99/810.49	c cleaning 9993 clauses out of 20019 with flag 4615000/4658819
1438.47/812.47	c cleaning 9999 clauses out of 20027 with flag 4625001/4668820
1442.14/814.60	c cleaning 10004 clauses out of 20027 with flag 4635000/4678819
1445.20/816.37	c cleaning 9996 clauses out of 20023 with flag 4645000/4688819
1448.78/818.53	c cleaning 9996 clauses out of 20027 with flag 4655000/4698819
1451.86/820.38	c cleaning 10010 clauses out of 20031 with flag 4665000/4708819
1455.53/822.41	c cleaning 10005 clauses out of 20022 with flag 4675001/4718820
1459.02/824.46	c cleaning 9993 clauses out of 20017 with flag 4685001/4728820
1462.53/826.68	c cleaning 10005 clauses out of 20025 with flag 4695002/4738821
1466.43/828.82	c cleaning 9997 clauses out of 20019 with flag 4705001/4748820
1469.89/830.88	c cleaning 9997 clauses out of 20022 with flag 4715001/4758820
1473.39/832.85	c cleaning 10003 clauses out of 20024 with flag 4725000/4768819
1477.33/835.24	c cleaning 10006 clauses out of 20021 with flag 4735000/4778819
1480.20/836.98	c cleaning 10000 clauses out of 20015 with flag 4745000/4788819
1483.46/838.80	c cleaning 10001 clauses out of 20017 with flag 4755002/4798821
1486.54/840.61	c cleaning 9998 clauses out of 20014 with flag 4765000/4808819
1490.29/842.90	c cleaning 9983 clauses out of 20016 with flag 4775000/4818819
1493.60/844.82	c cleaning 10004 clauses out of 20033 with flag 4785000/4828819
1496.88/846.72	c cleaning 9996 clauses out of 20030 with flag 4795001/4838820
1500.14/848.61	c cleaning 10005 clauses out of 20033 with flag 4805000/4848819
1503.58/850.78	c cleaning 10008 clauses out of 20028 with flag 4815000/4858819
1506.88/852.69	c cleaning 10005 clauses out of 20021 with flag 4825001/4868820
1510.41/854.60	c cleaning 9999 clauses out of 20016 with flag 4835001/4878820
1513.84/856.65	c cleaning 9985 clauses out of 20016 with flag 4845000/4888819
1517.47/858.85	c cleaning 10009 clauses out of 20033 with flag 4855002/4898821
1520.77/860.80	c cleaning 10004 clauses out of 20022 with flag 4865000/4908819
1524.45/862.81	c cleaning 10000 clauses out of 20018 with flag 4875000/4918819
1527.96/864.81	c cleaning 10001 clauses out of 20019 with flag 4885001/4928820
1531.42/866.93	c cleaning 9994 clauses out of 20017 with flag 4895000/4938819
1534.47/868.77	c cleaning 10004 clauses out of 20023 with flag 4905000/4948819
1537.95/870.74	c cleaning 9996 clauses out of 20019 with flag 4915000/4958819
1541.05/872.57	c cleaning 10007 clauses out of 20023 with flag 4925000/4968819
1544.88/874.88	c cleaning 9996 clauses out of 20016 with flag 4935000/4978819
1548.37/876.86	c cleaning 10001 clauses out of 20020 with flag 4945000/4988819
1551.85/878.89	c cleaning 9999 clauses out of 20020 with flag 4955001/4998820
1555.51/880.93	c cleaning 10001 clauses out of 20020 with flag 4965000/5008819
1559.81/883.54	c cleaning 9999 clauses out of 20019 with flag 4975000/5018819
1563.08/885.50	c cleaning 9997 clauses out of 20020 with flag 4985000/5028819
1566.75/887.53	c cleaning 9995 clauses out of 20023 with flag 4995000/5038819
1570.21/889.54	c cleaning 10002 clauses out of 20028 with flag 5005000/5048819
1573.91/891.89	c cleaning 10004 clauses out of 20026 with flag 5015000/5058819
1577.38/893.86	c cleaning 10003 clauses out of 20022 with flag 5025000/5068819
1581.43/896.17	c cleaning 9999 clauses out of 20019 with flag 5035000/5078819
1585.29/898.37	c cleaning 9991 clauses out of 20020 with flag 5045000/5088819
1589.23/900.74	c cleaning 9998 clauses out of 20030 with flag 5055001/5098820
1592.49/902.64	c cleaning 10008 clauses out of 20031 with flag 5065000/5108819
1595.94/904.63	c cleaning 10002 clauses out of 20024 with flag 5075001/5118820
1599.64/906.79	c cleaning 10002 clauses out of 20021 with flag 5085000/5128819
1603.45/909.06	c cleaning 9999 clauses out of 20019 with flag 5095000/5138819
1606.94/911.09	c cleaning 10001 clauses out of 20020 with flag 5105000/5148819
1610.23/912.97	c cleaning 9998 clauses out of 20020 with flag 5115001/5158820
1613.47/914.85	c cleaning 9997 clauses out of 20021 with flag 5125000/5168819
1617.00/917.09	c cleaning 10000 clauses out of 20024 with flag 5135000/5178819
1620.46/919.03	c cleaning 10010 clauses out of 20026 with flag 5145002/5188821
1623.93/921.06	c cleaning 9991 clauses out of 20014 with flag 5155000/5198819
1627.77/923.23	c cleaning 10003 clauses out of 20023 with flag 5165000/5208819
1631.55/925.55	c cleaning 9995 clauses out of 20020 with flag 5175000/5218819
1635.41/927.70	c cleaning 10000 clauses out of 20025 with flag 5185000/5228819
1639.06/929.82	c cleaning 10001 clauses out of 20025 with flag 5195000/5238819
1642.35/931.72	c cleaning 9995 clauses out of 20024 with flag 5205000/5248819
1645.92/933.91	c cleaning 10001 clauses out of 20029 with flag 5215000/5258819
1649.37/935.96	c cleaning 10003 clauses out of 20029 with flag 5225001/5268820
1653.03/938.06	c cleaning 9993 clauses out of 20025 with flag 5235000/5278819
1656.67/940.13	c cleaning 10006 clauses out of 20032 with flag 5245000/5288819
1660.65/942.56	c cleaning 10000 clauses out of 20026 with flag 5255000/5298819
1664.11/944.59	c cleaning 10001 clauses out of 20026 with flag 5265000/5308819
1667.77/946.60	c cleaning 10002 clauses out of 20026 with flag 5275001/5318820
1671.02/948.57	c cleaning 10003 clauses out of 20024 with flag 5285001/5328820
1675.01/950.97	c cleaning 9989 clauses out of 20020 with flag 5295000/5338819
1678.47/952.97	c cleaning 10005 clauses out of 20031 with flag 5305000/5348819
1681.94/954.96	c cleaning 10008 clauses out of 20027 with flag 5315001/5358820
1685.79/957.12	c cleaning 9998 clauses out of 20018 with flag 5325000/5368819
1689.56/959.41	c cleaning 9996 clauses out of 20020 with flag 5335000/5378819
1693.01/961.40	c cleaning 9995 clauses out of 20024 with flag 5345000/5388819
1696.42/963.48	c cleaning 10010 clauses out of 20030 with flag 5355001/5398820
1699.90/965.48	c cleaning 10000 clauses out of 20019 with flag 5365000/5408819
1703.73/967.72	c cleaning 9998 clauses out of 20019 with flag 5375000/5418819
1706.99/969.68	c cleaning 9997 clauses out of 20021 with flag 5385000/5428819
1710.64/971.72	c cleaning 10000 clauses out of 20024 with flag 5395000/5438819
1713.93/973.67	c cleaning 10003 clauses out of 20024 with flag 5405000/5448819
1718.05/976.14	c cleaning 9997 clauses out of 20022 with flag 5415001/5458820
1721.73/978.27	c cleaning 10006 clauses out of 20025 with flag 5425001/5468820
1725.40/980.39	c cleaning 10002 clauses out of 20018 with flag 5435000/5478819
1728.90/982.30	c cleaning 9997 clauses out of 20017 with flag 5445001/5488820
1732.58/984.60	c cleaning 10002 clauses out of 20019 with flag 5455000/5498819
1735.84/986.59	c cleaning 9993 clauses out of 20017 with flag 5465000/5508819
1739.11/988.49	c cleaning 9998 clauses out of 20024 with flag 5475000/5518819
1742.40/990.38	c cleaning 10007 clauses out of 20026 with flag 5485000/5528819
1745.95/992.60	c cleaning 10000 clauses out of 20020 with flag 5495001/5538820
1749.43/994.59	c cleaning 10003 clauses out of 20020 with flag 5505001/5548820
1752.88/996.58	c cleaning 10001 clauses out of 20017 with flag 5515001/5558820
1756.54/998.60	c cleaning 9993 clauses out of 20015 with flag 5525000/5568819
1760.18/1000.86	c cleaning 10003 clauses out of 20023 with flag 5535001/5578820
1763.45/1002.78	c cleaning 10002 clauses out of 20019 with flag 5545000/5588819
1767.13/1004.83	c cleaning 9993 clauses out of 20017 with flag 5555000/5598819
1770.60/1006.84	c cleaning 10001 clauses out of 20024 with flag 5565000/5608819
1774.12/1009.06	c cleaning 9997 clauses out of 20023 with flag 5575000/5618819
1777.58/1011.01	c cleaning 10001 clauses out of 20027 with flag 5585001/5628820
1780.85/1012.93	c cleaning 10006 clauses out of 20027 with flag 5595002/5638821
1784.28/1014.99	c cleaning 9987 clauses out of 20019 with flag 5605000/5648819
1788.04/1017.10	c cleaning 10009 clauses out of 20032 with flag 5615000/5658819
1791.29/1019.08	c cleaning 9998 clauses out of 20023 with flag 5625000/5668819
1794.76/1021.02	c cleaning 9999 clauses out of 20025 with flag 5635000/5678819
1798.42/1023.10	c cleaning 9999 clauses out of 20027 with flag 5645001/5688820
1800.21/1024.41	c starts		: 276
1800.21/1024.41	c conflicts		: 5692197
1800.21/1024.41	c decisions		: 6388956
1800.21/1024.41	c propagations		: 32774122
1800.21/1024.41	c inspects		: 1953970667
1800.21/1024.41	c shortcuts		: 0
1800.21/1024.41	c learnt literals	: 0
1800.21/1024.41	c learnt binary clauses	: 0
1800.21/1024.41	c learnt ternary clauses	: 0
1800.21/1024.41	c learnt constraints	: 5692198
1800.21/1024.41	c ignored constraints	: 0
1800.21/1024.41	c root simplifications	: 0
1800.21/1024.41	c removed literals (reason simplification)	: 75852941
1800.21/1024.41	c reason swapping (by a shorter reason)	: 0
1800.21/1024.41	c Calls to reduceDB	: 571
1800.21/1024.41	c number of reductions to clauses (during analyze)	: 0
1800.21/1024.41	c number of learned constraints concerned by reduction	: 0
1800.21/1024.41	c number of learning phase by resolution	: 0
1800.21/1024.41	c number of learning phase by cutting planes	: 0
1800.21/1024.41	c speed (assignments/second)	: 32193.99717097896
1800.21/1024.41	c non guided choices	0
1800.21/1024.42	c learnt constraints type 
1800.21/1024.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13447
1800.21/1024.42	c constraints type 
1800.21/1024.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.21/1024.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5852
1800.21/1024.42	c constraints type 
1800.21/1024.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5852
1800.21/1024.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.21/1024.42	s SATISFIABLE
1800.21/1024.42	v -x1 -x2 -x3 x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 x462 
1800.21/1024.42	c objective function=-55
1800.21/1024.42	c Total wall clock time (in seconds): 1024.29

Verifier Data 

OK	-55

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3741352-1338753385/watcher-3741352-1338753385 -o /tmp/evaluation-result-3741352-1338753385/solver-3741352-1338753385 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741352-1338753385.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.76 3.89 3.85 4/197 13801
/proc/meminfo: memFree=27286636/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/13801/stat : 13801 (java) D 13799 13801 13088 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341463472 9515008 183 33554432000 1073741824 1073778376 140737117263360 140737117254392 240565173941 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/13801/statm: 2323 183 140 9 0 71 0

[startup+0.0284859 s]
/proc/loadavg: 3.76 3.89 3.85 4/197 13801
/proc/meminfo: memFree=27286636/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=10510056 CPUtime=0.01 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 2858 0 1 0 0 1 0 0 20 0 2 0 341463472 10762297344 6115 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2627514 6135 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056

[startup+0.1002 s]
/proc/loadavg: 3.76 3.89 3.85 4/197 13801
/proc/meminfo: memFree=27286636/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 4529 0 1 0 6 1 0 0 20 0 18 0 341463472 11864465408 12380 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2896598 12381 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300313 s]
/proc/loadavg: 3.76 3.89 3.85 4/197 13801
/proc/meminfo: memFree=27286636/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11586392 CPUtime=0.45 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 6277 0 1 0 43 2 0 0 20 0 18 0 341463472 11864465408 15348 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2896598 15348 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.7003 s]
/proc/loadavg: 3.76 3.89 3.85 4/197 13801
/proc/meminfo: memFree=27286636/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 10101 0 1 0 78 3 0 0 20 0 20 0 341463472 12137111552 20787 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2963162 20787 2248 9 0 2953849 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 11852648

[startup+1.50062 s]
/proc/loadavg: 3.76 3.89 3.85 3/216 13825
/proc/meminfo: memFree=27208472/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 10254 0 1 0 126 5 0 0 20 0 22 0 341463472 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2963162 23443 2257 9 0 2953849 0
[pid=13801/tid=13803] ppid=13799 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/13801/task/13803/stat : 13803 (java) S 13799 13801 13088 0 -1 4202560 3441 0 1 0 33 2 0 0 20 0 22 0 341463474 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800173020312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13804] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13804/stat : 13804 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800010320808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13805] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13805/stat : 13805 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800009268264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13806] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13806/stat : 13806 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800008215208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13807] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13807/stat : 13807 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800007162664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13808] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13808/stat : 13808 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800006109608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13809] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13809/stat : 13809 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800005057064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13810] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13810/stat : 13810 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800004004008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13811] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13811/stat : 13811 (java) S 13799 13801 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139800002951464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13812] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13812/stat : 13812 (java) S 13799 13801 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341463477 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799990541160 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13813] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13813/stat : 13813 (java) S 13799 13801 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341463477 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799989487480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13814] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13814/stat : 13814 (java) S 13799 13801 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341463478 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799988434312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13815] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13815/stat : 13815 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799987383056 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13816] ppid=13799 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/13801/task/13816/stat : 13816 (java) R 13799 13801 13088 0 -1 4202560 2552 0 0 0 34 0 0 0 20 0 22 0 341463480 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799986316888 139800176038683 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13817] ppid=13799 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/13801/task/13817/stat : 13817 (java) R 13799 13801 13088 0 -1 4202560 2903 0 0 0 31 1 0 0 20 0 22 0 341463480 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799985271064 240564845942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13818] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13818/stat : 13818 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799984224504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13819] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13819/stat : 13819 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799983172168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13822] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13822/stat : 13822 (java) S 13799 13801 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341463511 12137111552 23443 33554432000 1073741824 1073778376 140733360065648 139799980012840 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 11852648

[startup+3.10079 s]
/proc/loadavg: 3.76 3.89 3.85 5/219 13828
/proc/meminfo: memFree=27095212/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11852648 CPUtime=5.73 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 26620 0 1 0 559 14 0 0 20 0 22 0 341463472 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2963162 98179 2291 9 0 2953849 0
[pid=13801/tid=13803] ppid=13799 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/13801/task/13803/stat : 13803 (java) S 13799 13801 13088 0 -1 4202560 3441 0 1 0 33 2 0 0 20 0 22 0 341463474 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800173020312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13804] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13804/stat : 13804 (java) S 13799 13801 13088 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800010320808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13805] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13805/stat : 13805 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800009268264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13806] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13806/stat : 13806 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800008215208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13807] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13807/stat : 13807 (java) S 13799 13801 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800007162664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13808] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13808/stat : 13808 (java) S 13799 13801 13088 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800006109608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13809] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13809/stat : 13809 (java) S 13799 13801 13088 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800005057064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13810] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13810/stat : 13810 (java) S 13799 13801 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800004004008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13811] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13811/stat : 13811 (java) S 13799 13801 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341463476 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139800002951464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13812] ppid=13799 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/13801/task/13812/stat : 13812 (java) S 13799 13801 13088 0 -1 4202560 38 0 0 0 6 0 0 0 20 0 22 0 341463477 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799990541160 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13813] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13813/stat : 13813 (java) S 13799 13801 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341463477 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799989487480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13814] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13814/stat : 13814 (java) S 13799 13801 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341463478 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799988434312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13815] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13815/stat : 13815 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799987383056 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13816] ppid=13799 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/13801/task/13816/stat : 13816 (java) S 13799 13801 13088 0 -1 4202560 8967 0 0 0 90 2 0 0 20 0 22 0 341463480 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799986329912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13817] ppid=13799 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/13801/task/13817/stat : 13817 (java) S 13799 13801 13088 0 -1 4202560 12637 0 0 0 99 3 0 0 20 0 22 0 341463480 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799985277368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13818] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13818/stat : 13818 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799984224504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13819] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13819/stat : 13819 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799983172168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13822] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13822/stat : 13822 (java) S 13799 13801 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341463511 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799980012840 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13826] ppid=13799 vsize=11852648 CPUtime=1.59 cores=0,2,4,6
/proc/13801/task/13826/stat : 13826 (java) R 13799 13801 13088 0 -1 4202560 30 0 0 0 159 0 0 0 20 0 22 0 341463612 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799978958928 139800113406431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13827] ppid=13799 vsize=11852648 CPUtime=1.59 cores=0,2,4,6
/proc/13801/task/13827/stat : 13827 (java) R 13799 13801 13088 0 -1 4202560 112 0 0 0 156 3 0 0 20 0 22 0 341463612 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799981062480 139800113412190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13828] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13828/stat : 13828 (java) S 13799 13801 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341463612 12137111552 98179 33554432000 1073741824 1073778376 140733360065648 139799982118440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 11852648

[startup+6.30085 s]
/proc/loadavg: 3.78 3.89 3.85 5/219 13828
/proc/meminfo: memFree=26728992/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11852648 CPUtime=12.12 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 26762 0 1 0 1192 20 0 0 20 0 20 0 341463472 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2963162 141180 2291 9 0 2953849 0
[pid=13801/tid=13803] ppid=13799 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/13801/task/13803/stat : 13803 (java) S 13799 13801 13088 0 -1 4202560 3441 0 1 0 33 2 0 0 20 0 20 0 341463474 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800173020312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13804] ppid=13799 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/13801/task/13804/stat : 13804 (java) S 13799 13801 13088 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800010320808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13805] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13805/stat : 13805 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800009268264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13806] ppid=13799 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/13801/task/13806/stat : 13806 (java) S 13799 13801 13088 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800008215208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13807] ppid=13799 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/13801/task/13807/stat : 13807 (java) S 13799 13801 13088 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800007162664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13808] ppid=13799 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/13801/task/13808/stat : 13808 (java) S 13799 13801 13088 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800006109608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13809] ppid=13799 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/13801/task/13809/stat : 13809 (java) S 13799 13801 13088 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800005057064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13810] ppid=13799 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/13801/task/13810/stat : 13810 (java) S 13799 13801 13088 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800004004008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13811] ppid=13799 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/13801/task/13811/stat : 13811 (java) S 13799 13801 13088 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 20 0 341463476 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139800002951464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13812] ppid=13799 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/13801/task/13812/stat : 13812 (java) S 13799 13801 13088 0 -1 4202560 54 0 0 0 26 2 0 0 20 0 20 0 341463477 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799990541160 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13813] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13813/stat : 13813 (java) S 13799 13801 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341463477 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799989487480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13814] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13814/stat : 13814 (java) S 13799 13801 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341463478 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799988434312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13815] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13815/stat : 13815 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341463480 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799987383056 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13816] ppid=13799 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/13801/task/13816/stat : 13816 (java) S 13799 13801 13088 0 -1 4202560 8978 0 0 0 102 2 0 0 20 0 20 0 341463480 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799986329912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13817] ppid=13799 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/13801/task/13817/stat : 13817 (java) S 13799 13801 13088 0 -1 4202560 12643 0 0 0 105 3 0 0 20 0 20 0 341463480 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799985277368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13818] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13818/stat : 13818 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341463480 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799984224504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13819] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13819/stat : 13819 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341463480 12137111552 141180 33554432000 1073741824 1073778376 140733360065648 139799983172168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

/proc/13801/statm: 2963162 251328 2292 9 0 2953849 0
[pid=13801/tid=13803] ppid=13799 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/13801/task/13803/stat : 13803 (java) S 13799 13801 13088 0 -1 4202560 3862 0 1 0 36 4 0 0 20 0 22 0 341463474 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800173020312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13804] ppid=13799 vsize=11852648 CPUtime=4.84 cores=0,2,4,6
/proc/13801/task/13804/stat : 13804 (java) S 13799 13801 13088 0 -1 4202560 277 0 0 0 481 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800010320808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13805] ppid=13799 vsize=11852648 CPUtime=4.94 cores=0,2,4,6
/proc/13801/task/13805/stat : 13805 (java) S 13799 13801 13088 0 -1 4202560 260 0 0 0 491 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800009268264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13806] ppid=13799 vsize=11852648 CPUtime=4.77 cores=0,2,4,6
/proc/13801/task/13806/stat : 13806 (java) S 13799 13801 13088 0 -1 4202560 255 0 0 0 474 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800008215208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13807] ppid=13799 vsize=11852648 CPUtime=4.67 cores=0,2,4,6
/proc/13801/task/13807/stat : 13807 (java) S 13799 13801 13088 0 -1 4202560 254 0 0 0 464 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800007162664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13808] ppid=13799 vsize=11852648 CPUtime=4.86 cores=0,2,4,6
/proc/13801/task/13808/stat : 13808 (java) S 13799 13801 13088 0 -1 4202560 244 0 0 0 483 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800006109608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13809] ppid=13799 vsize=11852648 CPUtime=4.91 cores=0,2,4,6
/proc/13801/task/13809/stat : 13809 (java) S 13799 13801 13088 0 -1 4202560 274 0 0 0 487 4 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800005057064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13810] ppid=13799 vsize=11852648 CPUtime=4.77 cores=0,2,4,6
/proc/13801/task/13810/stat : 13810 (java) S 13799 13801 13088 0 -1 4202560 268 0 0 0 474 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800004004008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13811] ppid=13799 vsize=11852648 CPUtime=4.65 cores=0,2,4,6
/proc/13801/task/13811/stat : 13811 (java) S 13799 13801 13088 0 -1 4202560 254 0 0 0 462 3 0 0 20 0 22 0 341463476 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139800002951464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13812] ppid=13799 vsize=11852648 CPUtime=240.72 cores=0,2,4,6
/proc/13801/task/13812/stat : 13812 (java) S 13799 13801 13088 0 -1 4202560 286 0 0 0 24054 18 0 0 20 0 22 0 341463477 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799990541160 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13813] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13813/stat : 13813 (java) S 13799 13801 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341463477 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799989487480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13814] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13814/stat : 13814 (java) S 13799 13801 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341463478 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799988434312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13815] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13815/stat : 13815 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799987383056 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13816] ppid=13799 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/13801/task/13816/stat : 13816 (java) S 13799 13801 13088 0 -1 4202560 9111 0 0 0 170 2 0 0 20 0 22 0 341463480 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799986329912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13817] ppid=13799 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/13801/task/13817/stat : 13817 (java) S 13799 13801 13088 0 -1 4202560 12654 0 0 0 115 3 0 0 20 0 22 0 341463480 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799985277368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13818] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13818/stat : 13818 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799984224504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13819] ppid=13799 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/13801/task/13819/stat : 13819 (java) S 13799 13801 13088 0 -1 4202560 54 0 0 0 22 17 0 0 20 0 22 0 341463480 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799983172168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13828] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13828/stat : 13828 (java) S 13799 13801 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341463612 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799982118440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13829] ppid=13799 vsize=11852648 CPUtime=682.2 cores=0,2,4,6
/proc/13801/task/13829/stat : 13829 (java) R 13799 13801 13088 0 -1 4202560 99 0 0 0 68209 11 0 0 20 0 22 0 341464112 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799981065168 139800113490795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13830] ppid=13799 vsize=11852648 CPUtime=682.2 cores=0,2,4,6
/proc/13801/task/13830/stat : 13830 (java) R 13799 13801 13088 0 -1 4202560 73 0 0 0 68206 14 0 0 20 0 22 0 341464112 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799978957360 139800113371515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13831] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13831/stat : 13831 (java) S 13799 13801 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341464112 12137111552 251328 33554432000 1073741824 1073778376 140733360065648 139799980012968 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1660.25
Current children cumulated vsize (KiB) 11852648

[startup+1002.3 s]
/proc/loadavg: 3.56 3.66 3.75 5/219 13990
/proc/meminfo: memFree=26504000/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11852648 CPUtime=1762.65 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 29872 0 1 0 176185 80 0 0 20 0 22 0 341463472 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2963162 252941 2292 9 0 2953849 0
[pid=13801/tid=13803] ppid=13799 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/13801/task/13803/stat : 13803 (java) S 13799 13801 13088 0 -1 4202560 3889 0 1 0 36 4 0 0 20 0 22 0 341463474 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800173020312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13804] ppid=13799 vsize=11852648 CPUtime=5.16 cores=0,2,4,6
/proc/13801/task/13804/stat : 13804 (java) S 13799 13801 13088 0 -1 4202560 277 0 0 0 513 3 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800010320808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13805] ppid=13799 vsize=11852648 CPUtime=5.34 cores=0,2,4,6
/proc/13801/task/13805/stat : 13805 (java) S 13799 13801 13088 0 -1 4202560 260 0 0 0 531 3 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800009268264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13806] ppid=13799 vsize=11852648 CPUtime=5.13 cores=0,2,4,6
/proc/13801/task/13806/stat : 13806 (java) S 13799 13801 13088 0 -1 4202560 264 0 0 0 509 4 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800008215208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13807] ppid=13799 vsize=11852648 CPUtime=5.02 cores=0,2,4,6
/proc/13801/task/13807/stat : 13807 (java) S 13799 13801 13088 0 -1 4202560 266 0 0 0 499 3 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800007162664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13808] ppid=13799 vsize=11852648 CPUtime=5.18 cores=0,2,4,6
/proc/13801/task/13808/stat : 13808 (java) S 13799 13801 13088 0 -1 4202560 268 0 0 0 515 3 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800006109608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13809] ppid=13799 vsize=11852648 CPUtime=5.29 cores=0,2,4,6
/proc/13801/task/13809/stat : 13809 (java) S 13799 13801 13088 0 -1 4202560 281 0 0 0 524 5 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800005057064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13810] ppid=13799 vsize=11852648 CPUtime=5.16 cores=0,2,4,6
/proc/13801/task/13810/stat : 13810 (java) S 13799 13801 13088 0 -1 4202560 273 0 0 0 512 4 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800004004008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13811] ppid=13799 vsize=11852648 CPUtime=5.05 cores=0,2,4,6
/proc/13801/task/13811/stat : 13811 (java) S 13799 13801 13088 0 -1 4202560 274 0 0 0 502 3 0 0 20 0 22 0 341463476 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139800002951464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13812] ppid=13799 vsize=11852648 CPUtime=259.57 cores=0,2,4,6
/proc/13801/task/13812/stat : 13812 (java) S 13799 13801 13088 0 -1 4202560 291 0 0 0 25939 18 0 0 20 0 22 0 341463477 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799990541160 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13813] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13813/stat : 13813 (java) S 13799 13801 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341463477 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799989487480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13814] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13814/stat : 13814 (java) S 13799 13801 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341463478 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799988434312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13815] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13815/stat : 13815 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799987383056 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13816] ppid=13799 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/13801/task/13816/stat : 13816 (java) S 13799 13801 13088 0 -1 4202560 9111 0 0 0 170 2 0 0 20 0 22 0 341463480 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799986329912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13817] ppid=13799 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/13801/task/13817/stat : 13817 (java) S 13799 13801 13088 0 -1 4202560 12654 0 0 0 115 3 0 0 20 0 22 0 341463480 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799985277368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13818] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13818/stat : 13818 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799984224504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13819] ppid=13799 vsize=11852648 CPUtime=0.41 cores=0,2,4,6
/proc/13801/task/13819/stat : 13819 (java) S 13799 13801 13088 0 -1 4202560 56 0 0 0 23 18 0 0 20 0 22 0 341463480 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799983172168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13828] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13828/stat : 13828 (java) S 13799 13801 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341463612 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799982118440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13829] ppid=13799 vsize=11852648 CPUtime=722.39 cores=0,2,4,6
/proc/13801/task/13829/stat : 13829 (java) R 13799 13801 13088 0 -1 4202560 101 0 0 0 72228 11 0 0 20 0 22 0 341464112 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799981065168 139800113490526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13830] ppid=13799 vsize=11852648 CPUtime=722.38 cores=0,2,4,6
/proc/13801/task/13830/stat : 13830 (java) R 13799 13801 13088 0 -1 4202560 73 0 0 0 72224 14 0 0 20 0 22 0 341464112 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799978957360 139800113397013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13831] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13831/stat : 13831 (java) S 13799 13801 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341464112 12137111552 252941 33554432000 1073741824 1073778376 140733360065648 139799980012968 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1762.65
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1024.4 s]
/proc/loadavg: 3.36 3.61 3.72 5/219 13990
/proc/meminfo: memFree=26474708/32873844 swapFree=7116/7116
[pid=13801] ppid=13799 vsize=11852648 CPUtime=1800.21 cores=0,2,4,6
/proc/13801/stat : 13801 (java) S 13799 13801 13088 0 -1 4202496 29890 0 1 0 179941 80 0 0 20 0 22 0 341463472 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 140733360056784 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13801/statm: 2963162 253966 2292 9 0 2953849 0
[pid=13801/tid=13803] ppid=13799 vsize=11852648 CPUtime=0.4 cores=0,2,4,6
/proc/13801/task/13803/stat : 13803 (java) S 13799 13801 13088 0 -1 4202560 3900 0 1 0 36 4 0 0 20 0 22 0 341463474 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800173020312 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13804] ppid=13799 vsize=11852648 CPUtime=5.33 cores=0,2,4,6
/proc/13801/task/13804/stat : 13804 (java) S 13799 13801 13088 0 -1 4202560 277 0 0 0 530 3 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800010320808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13805] ppid=13799 vsize=11852648 CPUtime=5.46 cores=0,2,4,6
/proc/13801/task/13805/stat : 13805 (java) S 13799 13801 13088 0 -1 4202560 260 0 0 0 543 3 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800009268264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13806] ppid=13799 vsize=11852648 CPUtime=5.23 cores=0,2,4,6
/proc/13801/task/13806/stat : 13806 (java) S 13799 13801 13088 0 -1 4202560 264 0 0 0 519 4 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800008215208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13807] ppid=13799 vsize=11852648 CPUtime=5.18 cores=0,2,4,6
/proc/13801/task/13807/stat : 13807 (java) S 13799 13801 13088 0 -1 4202560 266 0 0 0 515 3 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800007162664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13808] ppid=13799 vsize=11852648 CPUtime=5.34 cores=0,2,4,6
/proc/13801/task/13808/stat : 13808 (java) S 13799 13801 13088 0 -1 4202560 269 0 0 0 531 3 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800006109608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13809] ppid=13799 vsize=11852648 CPUtime=5.41 cores=0,2,4,6
/proc/13801/task/13809/stat : 13809 (java) S 13799 13801 13088 0 -1 4202560 281 0 0 0 536 5 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800005057064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13810] ppid=13799 vsize=11852648 CPUtime=5.29 cores=0,2,4,6
/proc/13801/task/13810/stat : 13810 (java) S 13799 13801 13088 0 -1 4202560 273 0 0 0 525 4 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800004004008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13811] ppid=13799 vsize=11852648 CPUtime=5.2 cores=0,2,4,6
/proc/13801/task/13811/stat : 13811 (java) S 13799 13801 13088 0 -1 4202560 274 0 0 0 517 3 0 0 20 0 22 0 341463476 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139800002951464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13812] ppid=13799 vsize=11852648 CPUtime=266.73 cores=0,2,4,6
/proc/13801/task/13812/stat : 13812 (java) S 13799 13801 13088 0 -1 4202560 295 0 0 0 26654 19 0 0 20 0 22 0 341463477 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799990541160 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13801/tid=13813] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13813/stat : 13813 (java) S 13799 13801 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341463477 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799989487480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13814] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13814/stat : 13814 (java) S 13799 13801 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341463478 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799988434312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13815] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13815/stat : 13815 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799987383056 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13816] ppid=13799 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/13801/task/13816/stat : 13816 (java) S 13799 13801 13088 0 -1 4202560 9111 0 0 0 170 2 0 0 20 0 22 0 341463480 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799986329912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13817] ppid=13799 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/13801/task/13817/stat : 13817 (java) S 13799 13801 13088 0 -1 4202560 12654 0 0 0 115 3 0 0 20 0 22 0 341463480 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799985277368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13818] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13818/stat : 13818 (java) S 13799 13801 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341463480 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799984224504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13801/tid=13819] ppid=13799 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/13801/task/13819/stat : 13819 (java) S 13799 13801 13088 0 -1 4202560 58 0 0 0 24 18 0 0 20 0 22 0 341463480 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799983172168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13828] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13828/stat : 13828 (java) S 13799 13801 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341463612 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799982118440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13829] ppid=13799 vsize=11852648 CPUtime=736.98 cores=0,2,4,6
/proc/13801/task/13829/stat : 13829 (java) R 13799 13801 13088 0 -1 4202560 101 0 0 0 73685 13 0 0 20 0 22 0 341464112 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799981065168 139800113406399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13801/tid=13830] ppid=13799 vsize=11852648 CPUtime=736.98 cores=0,2,4,6
/proc/13801/task/13830/stat : 13830 (java) R 13799 13801 13088 0 -1 4202560 73 0 0 0 73683 15 0 0 20 0 22 0 341464112 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799978957584 139800113535065 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13801/tid=13831] ppid=13799 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/13801/task/13831/stat : 13831 (java) S 13799 13801 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341464112 12137111552 253966 33554432000 1073741824 1073778376 140733360065648 139799980012968 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13801 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=80106
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=272806
# CPU time returned by wait4() is 1796.35
# while last known CPU time is 1800.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1024.43
CPU time (s): 1800.21
CPU user time (s): 1799.41
CPU system time (s): 0.8
CPU usage (%): 175.728
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 1.27281
maximum resident set size= 1015984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29922
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40802
involuntary context switches= 89254

runsolver used 3.63045 second user time and 9.52355 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-03 21:56:25
IDJOB=3741352
IDBENCH=89841
IDSOLVER=2328
FILE ID=node146/3741352-1338753385
RUNJOBID= node146-1338749727-13104
PBS_JOBID= 14636806
Free space on /tmp= 70904 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-p6b.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741352-1338753385/watcher-3741352-1338753385 -o /tmp/evaluation-result-3741352-1338753385/solver-3741352-1338753385 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741352-1338753385.opb

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

MD5SUM BENCH= f076140978d89a37e97e041a8b1e6b8f
RANDOM SEED=805193683

node146.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		: 2667.034
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	: 5334.06
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		: 2667.034
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	: 5331.92
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		: 2667.034
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	: 5331.91
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		: 2667.034
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	: 5331.91
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		: 2667.034
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	: 5331.91
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		: 2667.034
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	: 5331.91
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		: 2667.034
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	: 5331.91
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		: 2667.034
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27286900 kB
Buffers:          313004 kB
Cached:           459560 kB
SwapCached:         1792 kB
Active:          4416292 kB
Inactive:         344256 kB
Active(anon):    3988860 kB
Inactive(anon):     1664 kB
Active(file):     427432 kB
Inactive(file):   342592 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:       3994172 kB
Mapped:            17208 kB
Shmem:                 0 kB
Slab:             678208 kB
SReclaimable:     117800 kB
SUnreclaim:       560408 kB
KernelStack:        1616 kB
PageTables:        12064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10457268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3936256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70892 MiB
End job on node146 at 2012-06-03 22:13:32