Trace number 3455142

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)191 1800.22 963.892

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
MD5SUMeb2e849a72ed563d78cdb83a394edb27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark30.7263
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved YES
Number of variables456
Total number of constraints1602
Number of constraints which are clauses1602
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 constraint32
Number of terms in the objective function 456
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 456
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 456
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		9996466904
0.09/0.09	c Max memory 		10048897024
0.09/0.09	c Total memory 		10048897024
0.09/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3455142-1307189154.opb
0.10/0.11	c reading problem ... 
0.31/0.28	c ... done. Wall clock time 0.17s.
0.31/0.28	c #vars     456
0.31/0.28	c #constraints  1602
0.31/0.28	c constraints type 
0.31/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 126
0.31/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1476
0.31/0.28	c constraints type 
0.31/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1476
0.31/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 126
0.56/0.31	c  And the winner is Resolution
0.66/0.78	c SATISFIABLE
0.66/0.78	c OPTIMIZING...
0.66/0.78	c Got one! Elapsed wall clock time (in seconds):0.676
0.66/0.78	o 222
0.70/0.80	c  And the winner is Resolution
0.72/1.29	c Got one! Elapsed wall clock time (in seconds):1.185
0.72/1.29	o 218
0.73/1.31	c  And the winner is Resolution
0.83/1.80	c Got one! Elapsed wall clock time (in seconds):1.691
0.83/1.80	o 214
0.83/1.83	c  And the winner is Resolution
0.99/2.31	c Got one! Elapsed wall clock time (in seconds):2.199
0.99/2.31	o 198
0.99/2.33	c  And the winner is Resolution
1.10/2.81	c Got one! Elapsed wall clock time (in seconds):2.704
1.10/2.81	o 197
1.10/2.84	c  And the winner is Resolution
1.57/3.32	c Got one! Elapsed wall clock time (in seconds):3.209
1.57/3.32	o 196
2.71/3.74	c  And the winner is Resolution
2.80/3.82	c Got one! Elapsed wall clock time (in seconds):3.715
2.80/3.82	o 195
3.05/3.91	c  And the winner is Resolution
3.11/4.33	c Got one! Elapsed wall clock time (in seconds):4.219
3.11/4.33	o 194
3.30/4.46	c cleaning 3358 clauses out of 6726 with flag 1001/6726
3.49/4.54	c  And the winner is Resolution
3.88/4.83	c Got one! Elapsed wall clock time (in seconds):4.727
3.88/4.83	o 193
3.88/4.86	c  And the winner is Resolution
3.99/5.34	c Got one! Elapsed wall clock time (in seconds):5.233
3.99/5.34	o 192
3.99/5.35	c  And the winner is Resolution
4.02/5.84	c Got one! Elapsed wall clock time (in seconds):5.737
4.02/5.84	o 191
5.51/6.59	c cleaning 4583 clauses out of 9180 with flag 5001/12538
7.29/7.40	c cleaning 5294 clauses out of 10597 with flag 11001/18538
9.07/8.37	c cleaning 6151 clauses out of 12302 with flag 18000/25537
11.30/9.42	c cleaning 7072 clauses out of 14151 with flag 26000/33537
13.46/10.51	c cleaning 8036 clauses out of 16080 with flag 35001/42538
15.43/11.55	c cleaning 9018 clauses out of 18044 with flag 45001/52538
17.98/12.87	c cleaning 9507 clauses out of 19026 with flag 55001/62538
20.95/14.32	c cleaning 9759 clauses out of 19519 with flag 65001/72538
22.67/15.30	c cleaning 9877 clauses out of 19759 with flag 75000/82537
25.41/16.64	c cleaning 9938 clauses out of 19883 with flag 85001/92538
29.16/18.52	c cleaning 9968 clauses out of 19944 with flag 95000/102537
32.68/20.38	c cleaning 9984 clauses out of 19976 with flag 105000/112537
35.22/21.66	c cleaning 9991 clauses out of 19993 with flag 115001/122538
38.00/23.02	c cleaning 9994 clauses out of 20002 with flag 125001/132538
41.51/24.81	c cleaning 9998 clauses out of 20008 with flag 135001/142538
43.61/25.97	c cleaning 9998 clauses out of 20010 with flag 145001/152538
46.34/27.30	c cleaning 9999 clauses out of 20011 with flag 155000/162537
49.27/28.85	c cleaning 9999 clauses out of 20012 with flag 165000/172537
52.41/30.43	c cleaning 10000 clauses out of 20013 with flag 175000/182537
54.90/31.70	c cleaning 10006 clauses out of 20017 with flag 185004/192541
56.63/32.69	c cleaning 9997 clauses out of 20008 with flag 195001/202538
58.75/33.78	c cleaning 10000 clauses out of 20010 with flag 205000/212537
61.27/35.07	c cleaning 10000 clauses out of 20010 with flag 215000/222537
63.78/36.36	c cleaning 10000 clauses out of 20010 with flag 225000/232537
66.25/37.67	c cleaning 9998 clauses out of 20010 with flag 235000/242537
68.97/39.08	c cleaning 9999 clauses out of 20012 with flag 245000/252537
71.67/40.50	c cleaning 10007 clauses out of 20014 with flag 255001/262538
75.34/42.32	c cleaning 9999 clauses out of 20006 with flag 265000/272537
79.04/44.23	c cleaning 9995 clauses out of 20007 with flag 275000/282537
82.77/46.15	c cleaning 10002 clauses out of 20012 with flag 285000/292537
86.04/47.81	c cleaning 9999 clauses out of 20010 with flag 295000/302537
88.09/48.98	c cleaning 10000 clauses out of 20011 with flag 305000/312537
89.99/49.98	c cleaning 9996 clauses out of 20011 with flag 315000/322537
92.28/51.17	c cleaning 10002 clauses out of 20015 with flag 325000/332537
94.57/52.39	c cleaning 9998 clauses out of 20013 with flag 335000/342537
97.43/53.86	c cleaning 10002 clauses out of 20016 with flag 345001/352538
101.09/55.79	c cleaning 9998 clauses out of 20014 with flag 355001/362538
104.98/57.73	c cleaning 10004 clauses out of 20016 with flag 365001/372538
108.67/59.68	c cleaning 9998 clauses out of 20012 with flag 375001/382538
112.72/61.72	c cleaning 10007 clauses out of 20014 with flag 385001/392538
115.00/62.94	c cleaning 9996 clauses out of 20007 with flag 395001/402538
116.87/63.94	c cleaning 9998 clauses out of 20010 with flag 405000/412537
118.78/64.96	c cleaning 10000 clauses out of 20012 with flag 415000/422537
120.80/66.09	c cleaning 10001 clauses out of 20012 with flag 425000/432537
122.88/67.14	c cleaning 9996 clauses out of 20011 with flag 435000/442537
124.76/68.18	c cleaning 10005 clauses out of 20015 with flag 445000/452537
126.83/69.22	c cleaning 9998 clauses out of 20011 with flag 455001/462538
129.06/70.49	c cleaning 10000 clauses out of 20013 with flag 465001/472538
131.70/71.81	c cleaning 10001 clauses out of 20013 with flag 475001/482538
135.76/73.94	c cleaning 9998 clauses out of 20012 with flag 485001/492538
139.84/76.08	c cleaning 10000 clauses out of 20014 with flag 495001/502538
143.89/78.15	c cleaning 10000 clauses out of 20014 with flag 505001/512538
146.32/79.48	c cleaning 10000 clauses out of 20014 with flag 515001/522538
150.01/81.37	c cleaning 10004 clauses out of 20014 with flag 525001/532538
153.85/83.36	c cleaning 10000 clauses out of 20010 with flag 535001/542538
158.05/85.52	c cleaning 10000 clauses out of 20010 with flag 545001/552538
162.12/87.62	c cleaning 9998 clauses out of 20010 with flag 555001/562538
166.18/89.77	c cleaning 10003 clauses out of 20012 with flag 565001/572538
170.44/91.91	c cleaning 9998 clauses out of 20009 with flag 575001/582538
173.64/93.66	c cleaning 10001 clauses out of 20010 with flag 585000/592537
176.09/94.92	c cleaning 10000 clauses out of 20010 with flag 595001/602538
178.35/96.10	c cleaning 10002 clauses out of 20010 with flag 605001/612538
180.80/97.43	c cleaning 9999 clauses out of 20008 with flag 615001/622538
183.00/98.69	c cleaning 10000 clauses out of 20009 with flag 625001/632538
185.45/99.97	c cleaning 9999 clauses out of 20009 with flag 635001/642538
187.51/101.05	c cleaning 9998 clauses out of 20010 with flag 645001/652538
189.79/102.22	c cleaning 9998 clauses out of 20012 with flag 655001/662538
191.99/103.48	c cleaning 10002 clauses out of 20014 with flag 665001/672538
194.21/104.64	c cleaning 10001 clauses out of 20012 with flag 675001/682538
196.86/106.07	c cleaning 10000 clauses out of 20011 with flag 685001/692538
199.51/107.45	c cleaning 9998 clauses out of 20011 with flag 695001/702538
202.33/108.92	c cleaning 10000 clauses out of 20013 with flag 705001/712538
204.38/110.03	c cleaning 10002 clauses out of 20013 with flag 715001/722538
206.80/111.30	c cleaning 10000 clauses out of 20011 with flag 725001/732538
209.26/112.61	c cleaning 9999 clauses out of 20011 with flag 735001/742538
211.65/113.99	c cleaning 10002 clauses out of 20012 with flag 745001/752538
214.10/115.25	c cleaning 9997 clauses out of 20010 with flag 755001/762538
216.57/116.56	c cleaning 9999 clauses out of 20013 with flag 765001/772538
218.99/117.85	c cleaning 9999 clauses out of 20014 with flag 775001/782538
221.16/119.02	c cleaning 9999 clauses out of 20014 with flag 785000/792537
223.60/120.31	c cleaning 10001 clauses out of 20015 with flag 795000/802537
225.85/121.57	c cleaning 9998 clauses out of 20014 with flag 805000/812537
228.49/122.93	c cleaning 10002 clauses out of 20016 with flag 815000/822537
230.89/124.24	c cleaning 9999 clauses out of 20014 with flag 825000/832537
233.31/125.51	c cleaning 9998 clauses out of 20015 with flag 835000/842537
235.75/126.81	c cleaning 10001 clauses out of 20017 with flag 845000/852537
237.99/128.07	c cleaning 9999 clauses out of 20016 with flag 855000/862537
240.56/129.45	c cleaning 10000 clauses out of 20017 with flag 865000/872537
242.99/130.71	c cleaning 9999 clauses out of 20017 with flag 875000/882537
246.23/132.47	c cleaning 10006 clauses out of 20019 with flag 885001/892538
248.86/133.80	c cleaning 10003 clauses out of 20013 with flag 895001/902538
250.82/134.93	c cleaning 9998 clauses out of 20010 with flag 905001/912538
252.86/136.01	c cleaning 10004 clauses out of 20012 with flag 915001/922538
254.90/137.11	c cleaning 9997 clauses out of 20008 with flag 925001/932538
256.94/138.23	c cleaning 10004 clauses out of 20011 with flag 935001/942538
259.11/139.42	c cleaning 9999 clauses out of 20007 with flag 945001/952538
261.15/140.57	c cleaning 10002 clauses out of 20008 with flag 955001/962538
263.19/141.63	c cleaning 9998 clauses out of 20006 with flag 965001/972538
265.23/142.76	c cleaning 9998 clauses out of 20008 with flag 975001/982538
267.39/143.99	c cleaning 9998 clauses out of 20010 with flag 985001/992538
269.64/145.12	c cleaning 9999 clauses out of 20012 with flag 995001/1002538
271.68/146.28	c cleaning 10002 clauses out of 20013 with flag 1005001/1012538
273.71/147.32	c cleaning 10000 clauses out of 20011 with flag 1015001/1022538
275.88/148.57	c cleaning 10002 clauses out of 20011 with flag 1025001/1032538
278.08/149.70	c cleaning 9997 clauses out of 20009 with flag 1035001/1042538
280.32/150.92	c cleaning 10000 clauses out of 20012 with flag 1045001/1052538
282.36/152.05	c cleaning 10000 clauses out of 20012 with flag 1055001/1062538
284.53/153.29	c cleaning 10002 clauses out of 20012 with flag 1065001/1072538
286.56/154.37	c cleaning 9999 clauses out of 20009 with flag 1075000/1082537
288.99/155.65	c cleaning 9999 clauses out of 20010 with flag 1085000/1092537
291.62/157.00	c cleaning 9999 clauses out of 20011 with flag 1095000/1102537
294.00/158.38	c cleaning 10001 clauses out of 20012 with flag 1105000/1112537
296.60/159.71	c cleaning 10000 clauses out of 20011 with flag 1115000/1122537
299.02/161.07	c cleaning 10000 clauses out of 20011 with flag 1125000/1132537
301.45/162.39	c cleaning 9998 clauses out of 20011 with flag 1135000/1142537
304.22/163.85	c cleaning 10002 clauses out of 20013 with flag 1145000/1152537
306.62/165.13	c cleaning 9996 clauses out of 20011 with flag 1155000/1162537
309.05/166.45	c cleaning 10002 clauses out of 20015 with flag 1165000/1172537
311.27/167.63	c cleaning 10002 clauses out of 20013 with flag 1175000/1182537
313.82/169.08	c cleaning 10001 clauses out of 20011 with flag 1185000/1192537
316.46/170.50	c cleaning 9997 clauses out of 20010 with flag 1195000/1202537
319.25/171.93	c cleaning 10004 clauses out of 20013 with flag 1205000/1212537
321.87/173.34	c cleaning 9998 clauses out of 20009 with flag 1215000/1222537
324.63/174.89	c cleaning 10001 clauses out of 20011 with flag 1225000/1232537
327.23/176.26	c cleaning 9995 clauses out of 20010 with flag 1235000/1242537
330.05/177.70	c cleaning 10002 clauses out of 20015 with flag 1245000/1252537
332.67/179.17	c cleaning 10002 clauses out of 20013 with flag 1255000/1262537
335.44/180.64	c cleaning 9999 clauses out of 20011 with flag 1265000/1272537
338.25/182.13	c cleaning 9999 clauses out of 20012 with flag 1275000/1282537
340.85/183.54	c cleaning 10000 clauses out of 20013 with flag 1285000/1292537
343.46/185.00	c cleaning 10000 clauses out of 20013 with flag 1295000/1302537
346.40/186.53	c cleaning 10002 clauses out of 20013 with flag 1305000/1312537
348.80/187.86	c cleaning 9996 clauses out of 20011 with flag 1315000/1322537
351.45/189.28	c cleaning 10003 clauses out of 20015 with flag 1325000/1332537
355.45/191.36	c cleaning 9999 clauses out of 20013 with flag 1335001/1342538
359.15/193.32	c cleaning 10005 clauses out of 20014 with flag 1345001/1352538
363.36/195.51	c cleaning 9999 clauses out of 20009 with flag 1355001/1362538
367.16/197.56	c cleaning 9999 clauses out of 20009 with flag 1365000/1372537
371.37/199.74	c cleaning 10000 clauses out of 20010 with flag 1375000/1382537
375.50/201.98	c cleaning 10000 clauses out of 20011 with flag 1385001/1392538
380.31/204.42	c cleaning 9999 clauses out of 20011 with flag 1395001/1402538
384.75/206.79	c cleaning 9999 clauses out of 20012 with flag 1405001/1412538
388.52/208.78	c cleaning 9997 clauses out of 20013 with flag 1415001/1422538
392.87/211.03	c cleaning 10000 clauses out of 20016 with flag 1425001/1432538
396.88/213.16	c cleaning 10003 clauses out of 20016 with flag 1435001/1442538
401.08/215.36	c cleaning 10001 clauses out of 20013 with flag 1445001/1452538
404.88/217.39	c cleaning 10001 clauses out of 20012 with flag 1455001/1462538
409.21/219.64	c cleaning 10000 clauses out of 20011 with flag 1465001/1472538
413.41/221.88	c cleaning 9996 clauses out of 20011 with flag 1475001/1482538
417.81/224.17	c cleaning 10003 clauses out of 20015 with flag 1485001/1492538
422.01/226.37	c cleaning 9998 clauses out of 20012 with flag 1495001/1502538
426.34/228.65	c cleaning 10001 clauses out of 20014 with flag 1505001/1512538
430.34/230.78	c cleaning 9996 clauses out of 20013 with flag 1515001/1522538
433.14/232.21	c cleaning 10002 clauses out of 20017 with flag 1525001/1532538
435.74/233.69	c cleaning 10000 clauses out of 20015 with flag 1535001/1542538
438.45/235.19	c cleaning 10003 clauses out of 20015 with flag 1545001/1552538
441.45/236.73	c cleaning 9998 clauses out of 20012 with flag 1555001/1562538
444.25/238.23	c cleaning 9999 clauses out of 20014 with flag 1565001/1572538
447.07/239.80	c cleaning 10000 clauses out of 20015 with flag 1575001/1582538
449.96/241.36	c cleaning 10003 clauses out of 20015 with flag 1585001/1592538
452.76/242.90	c cleaning 9997 clauses out of 20012 with flag 1595001/1602538
455.76/244.43	c cleaning 10000 clauses out of 20015 with flag 1605001/1612538
458.56/245.99	c cleaning 10006 clauses out of 20014 with flag 1615000/1622537
462.86/248.22	c cleaning 9998 clauses out of 20008 with flag 1625000/1632537
466.86/250.35	c cleaning 10001 clauses out of 20010 with flag 1635000/1642537
470.86/252.49	c cleaning 9998 clauses out of 20009 with flag 1645000/1652537
475.07/254.65	c cleaning 10001 clauses out of 20011 with flag 1655000/1662537
479.39/256.93	c cleaning 9999 clauses out of 20010 with flag 1665000/1672537
483.59/259.11	c cleaning 10001 clauses out of 20011 with flag 1675000/1682537
487.79/261.31	c cleaning 10001 clauses out of 20010 with flag 1685000/1692537
491.79/263.46	c cleaning 9999 clauses out of 20009 with flag 1695000/1702537
495.95/265.66	c cleaning 9996 clauses out of 20010 with flag 1705000/1712537
500.14/267.80	c cleaning 10003 clauses out of 20014 with flag 1715000/1722537
504.14/269.98	c cleaning 9998 clauses out of 20011 with flag 1725000/1732537
508.34/272.18	c cleaning 10001 clauses out of 20013 with flag 1735000/1742537
512.14/274.19	c cleaning 9996 clauses out of 20012 with flag 1745000/1752537
516.33/276.38	c cleaning 10005 clauses out of 20016 with flag 1755000/1762537
520.33/278.41	c cleaning 10001 clauses out of 20012 with flag 1765001/1772538
524.53/280.69	c cleaning 10000 clauses out of 20011 with flag 1775001/1782538
529.25/283.15	c cleaning 9997 clauses out of 20011 with flag 1785001/1792538
533.65/285.41	c cleaning 9998 clauses out of 20014 with flag 1795001/1802538
538.05/287.72	c cleaning 10003 clauses out of 20016 with flag 1805001/1812538
542.45/290.03	c cleaning 10000 clauses out of 20013 with flag 1815001/1822538
546.78/292.36	c cleaning 9998 clauses out of 20013 with flag 1825001/1832538
551.18/294.68	c cleaning 10000 clauses out of 20015 with flag 1835001/1842538
555.61/296.98	c cleaning 10003 clauses out of 20015 with flag 1845001/1852538
560.02/299.29	c cleaning 9998 clauses out of 20012 with flag 1855001/1862538
564.53/301.65	c cleaning 9998 clauses out of 20014 with flag 1865001/1872538
568.73/303.88	c cleaning 9999 clauses out of 20016 with flag 1875001/1882538
573.12/306.12	c cleaning 10003 clauses out of 20017 with flag 1885001/1892538
577.32/308.36	c cleaning 10002 clauses out of 20014 with flag 1895001/1902538
581.87/310.70	c cleaning 10000 clauses out of 20012 with flag 1905001/1912538
586.27/313.00	c cleaning 9998 clauses out of 20012 with flag 1915001/1922538
590.47/315.22	c cleaning 10000 clauses out of 20014 with flag 1925001/1932538
594.86/317.52	c cleaning 10001 clauses out of 20014 with flag 1935001/1942538
599.07/319.77	c cleaning 10000 clauses out of 20013 with flag 1945001/1952538
603.27/321.95	c cleaning 9995 clauses out of 20013 with flag 1955001/1962538
607.67/324.25	c cleaning 10003 clauses out of 20018 with flag 1965001/1972538
611.87/326.46	c cleaning 9999 clauses out of 20015 with flag 1975001/1982538
616.06/328.66	c cleaning 10003 clauses out of 20015 with flag 1985000/1992537
619.86/330.63	c cleaning 10002 clauses out of 20013 with flag 1995001/2002538
623.47/332.56	c cleaning 10001 clauses out of 20011 with flag 2005001/2012538
627.27/334.55	c cleaning 9999 clauses out of 20009 with flag 2015000/2022537
631.38/336.70	c cleaning 9998 clauses out of 20011 with flag 2025001/2032538
635.20/338.81	c cleaning 9998 clauses out of 20013 with flag 2035001/2042538
639.40/340.92	c cleaning 9999 clauses out of 20014 with flag 2045000/2052537
643.18/342.99	c cleaning 10001 clauses out of 20015 with flag 2055000/2062537
647.29/345.17	c cleaning 9996 clauses out of 20014 with flag 2065000/2072537
651.29/347.20	c cleaning 10003 clauses out of 20019 with flag 2075001/2082538
655.69/349.53	c cleaning 9998 clauses out of 20016 with flag 2085001/2092538
660.31/351.97	c cleaning 10003 clauses out of 20018 with flag 2095001/2102538
664.89/354.38	c cleaning 10003 clauses out of 20015 with flag 2105001/2112538
669.69/356.84	c cleaning 9999 clauses out of 20012 with flag 2115001/2122538
673.29/358.72	c cleaning 10002 clauses out of 20013 with flag 2125001/2132538
676.89/360.60	c cleaning 10002 clauses out of 20011 with flag 2135001/2142538
680.62/362.61	c cleaning 9998 clauses out of 20009 with flag 2145001/2152538
684.22/364.58	c cleaning 10001 clauses out of 20011 with flag 2155001/2162538
688.03/366.57	c cleaning 10000 clauses out of 20010 with flag 2165001/2172538
691.65/368.47	c cleaning 10001 clauses out of 20010 with flag 2175001/2182538
695.38/370.46	c cleaning 9996 clauses out of 20009 with flag 2185001/2192538
699.78/372.72	c cleaning 10003 clauses out of 20013 with flag 2195001/2202538
703.98/374.93	c cleaning 9998 clauses out of 20010 with flag 2205001/2212538
708.18/377.12	c cleaning 10002 clauses out of 20012 with flag 2215001/2222538
712.28/379.38	c cleaning 9997 clauses out of 20010 with flag 2225001/2232538
716.48/381.54	c cleaning 10002 clauses out of 20013 with flag 2235001/2242538
720.48/383.64	c cleaning 9997 clauses out of 20011 with flag 2245001/2252538
724.68/385.83	c cleaning 10002 clauses out of 20014 with flag 2255001/2262538
728.81/388.08	c cleaning 9998 clauses out of 20012 with flag 2265001/2272538
733.02/390.22	c cleaning 10001 clauses out of 20014 with flag 2275001/2282538
736.61/392.14	c cleaning 9999 clauses out of 20013 with flag 2285001/2292538
740.21/394.04	c cleaning 9998 clauses out of 20014 with flag 2295001/2302538
743.97/396.09	c cleaning 10001 clauses out of 20016 with flag 2305001/2312538
747.73/398.02	c cleaning 10000 clauses out of 20015 with flag 2315001/2322538
751.33/399.95	c cleaning 9999 clauses out of 20015 with flag 2325001/2332538
754.93/401.82	c cleaning 10003 clauses out of 20016 with flag 2335001/2342538
758.27/403.70	c cleaning 9995 clauses out of 20013 with flag 2345001/2352538
762.04/405.61	c cleaning 10002 clauses out of 20018 with flag 2355001/2362538
765.43/407.47	c cleaning 10000 clauses out of 20016 with flag 2365001/2372538
769.02/409.31	c cleaning 10001 clauses out of 20016 with flag 2375001/2382538
772.55/411.23	c cleaning 9998 clauses out of 20015 with flag 2385001/2392538
776.14/413.11	c cleaning 10002 clauses out of 20017 with flag 2395001/2402538
779.54/414.95	c cleaning 9997 clauses out of 20015 with flag 2405001/2412538
783.15/416.83	c cleaning 10004 clauses out of 20018 with flag 2415001/2422538
786.85/418.82	c cleaning 9997 clauses out of 20014 with flag 2425001/2432538
789.84/420.40	c cleaning 10000 clauses out of 20016 with flag 2435000/2442537
793.46/422.35	c cleaning 10000 clauses out of 20017 with flag 2445001/2452538
796.02/423.78	c cleaning 9999 clauses out of 20017 with flag 2455001/2462538
799.30/425.55	c cleaning 10001 clauses out of 20018 with flag 2465001/2472538
803.10/427.59	c cleaning 9996 clauses out of 20017 with flag 2475001/2482538
807.08/429.68	c cleaning 10003 clauses out of 20021 with flag 2485001/2492538
811.07/431.70	c cleaning 9998 clauses out of 20018 with flag 2495001/2502538
814.96/433.84	c cleaning 10003 clauses out of 20020 with flag 2505001/2512538
818.94/435.98	c cleaning 10001 clauses out of 20017 with flag 2515001/2522538
823.12/438.16	c cleaning 10000 clauses out of 20016 with flag 2525001/2532538
827.31/440.31	c cleaning 9998 clauses out of 20016 with flag 2535001/2542538
831.21/442.49	c cleaning 10002 clauses out of 20018 with flag 2545001/2552538
835.19/444.58	c cleaning 9998 clauses out of 20016 with flag 2555001/2562538
838.99/446.60	c cleaning 9997 clauses out of 20018 with flag 2565001/2572538
842.94/448.67	c cleaning 10003 clauses out of 20021 with flag 2575001/2582538
846.85/450.78	c cleaning 10001 clauses out of 20018 with flag 2585001/2592538
850.63/452.76	c cleaning 10000 clauses out of 20017 with flag 2595001/2602538
854.41/454.74	c cleaning 9997 clauses out of 20017 with flag 2605001/2612538
858.38/456.82	c cleaning 10002 clauses out of 20020 with flag 2615001/2622538
862.25/458.94	c cleaning 10000 clauses out of 20018 with flag 2625001/2632538
866.05/460.94	c cleaning 9999 clauses out of 20018 with flag 2635001/2642538
869.59/462.89	c cleaning 9999 clauses out of 20019 with flag 2645001/2652538
873.36/464.86	c cleaning 10003 clauses out of 20019 with flag 2655000/2662537
877.43/467.00	c cleaning 9998 clauses out of 20016 with flag 2665000/2672537
881.20/469.04	c cleaning 10002 clauses out of 20018 with flag 2675000/2682537
885.17/471.12	c cleaning 9998 clauses out of 20016 with flag 2685000/2692537
888.95/473.18	c cleaning 10003 clauses out of 20018 with flag 2695000/2702537
893.02/475.37	c cleaning 10000 clauses out of 20015 with flag 2705000/2712537
897.03/477.48	c cleaning 10003 clauses out of 20015 with flag 2715000/2722537
901.20/479.67	c cleaning 9999 clauses out of 20012 with flag 2725000/2732537
905.16/481.77	c cleaning 9998 clauses out of 20013 with flag 2735000/2742537
909.44/484.01	c cleaning 9999 clauses out of 20015 with flag 2745000/2752537
913.40/486.17	c cleaning 10000 clauses out of 20016 with flag 2755000/2762537
917.57/488.32	c cleaning 10001 clauses out of 20016 with flag 2765000/2772537
921.51/490.44	c cleaning 9999 clauses out of 20015 with flag 2775000/2782537
925.79/492.78	c cleaning 10002 clauses out of 20016 with flag 2785000/2792537
929.95/494.99	c cleaning 9999 clauses out of 20014 with flag 2795000/2802537
934.32/497.23	c cleaning 10001 clauses out of 20015 with flag 2805000/2812537
938.48/499.42	c cleaning 9999 clauses out of 20014 with flag 2815000/2822537
942.69/501.71	c cleaning 9998 clauses out of 20015 with flag 2825000/2832537
946.69/503.86	c cleaning 10000 clauses out of 20017 with flag 2835000/2842537
950.85/506.04	c cleaning 9998 clauses out of 20017 with flag 2845000/2852537
955.00/508.25	c cleaning 10006 clauses out of 20019 with flag 2855000/2862537
959.24/510.52	c cleaning 9998 clauses out of 20013 with flag 2865000/2872537
963.39/512.72	c cleaning 10000 clauses out of 20015 with flag 2875000/2882537
967.39/514.88	c cleaning 9999 clauses out of 20015 with flag 2885000/2892537
971.53/517.02	c cleaning 10003 clauses out of 20016 with flag 2895000/2902537
975.60/519.24	c cleaning 9995 clauses out of 20013 with flag 2905000/2912537
979.74/521.48	c cleaning 10002 clauses out of 20018 with flag 2915000/2922537
984.07/523.72	c cleaning 9999 clauses out of 20016 with flag 2925000/2932537
988.23/525.96	c cleaning 10002 clauses out of 20017 with flag 2935000/2942537
992.68/528.31	c cleaning 10001 clauses out of 20015 with flag 2945000/2952537
996.83/530.53	c cleaning 9999 clauses out of 20014 with flag 2955000/2962537
1000.78/532.66	c cleaning 9999 clauses out of 20015 with flag 2965000/2972537
1004.74/534.78	c cleaning 10000 clauses out of 20016 with flag 2975000/2982537
1008.80/536.90	c cleaning 10006 clauses out of 20017 with flag 2985001/2992538
1012.37/538.89	c cleaning 9998 clauses out of 20011 with flag 2995001/3002538
1016.32/540.95	c cleaning 10002 clauses out of 20013 with flag 3005001/3012538
1018.69/542.24	c cleaning 9997 clauses out of 20010 with flag 3015000/3022537
1020.90/543.52	c cleaning 10002 clauses out of 20013 with flag 3025000/3032537
1023.44/544.96	c cleaning 9999 clauses out of 20011 with flag 3035000/3042537
1025.79/546.21	c cleaning 9998 clauses out of 20012 with flag 3045000/3052537
1028.33/547.63	c cleaning 10002 clauses out of 20014 with flag 3055000/3062537
1031.16/549.24	c cleaning 10001 clauses out of 20012 with flag 3065000/3072537
1033.31/550.44	c cleaning 10001 clauses out of 20011 with flag 3075000/3082537
1035.66/551.77	c cleaning 9998 clauses out of 20010 with flag 3085000/3092537
1038.20/553.15	c cleaning 10002 clauses out of 20012 with flag 3095000/3102537
1040.85/554.69	c cleaning 10000 clauses out of 20010 with flag 3105000/3112537
1043.19/555.94	c cleaning 10002 clauses out of 20011 with flag 3115001/3122538
1045.54/557.24	c cleaning 9997 clauses out of 20009 with flag 3125001/3132538
1048.08/558.64	c cleaning 9999 clauses out of 20012 with flag 3135001/3142538
1050.51/560.09	c cleaning 10001 clauses out of 20013 with flag 3145001/3152538
1054.05/562.00	c cleaning 10002 clauses out of 20012 with flag 3155001/3162538
1057.99/564.07	c cleaning 9998 clauses out of 20010 with flag 3165001/3172538
1061.93/566.11	c cleaning 9999 clauses out of 20012 with flag 3175001/3182538
1064.62/567.69	c cleaning 10000 clauses out of 20013 with flag 3185001/3192538
1067.52/569.21	c cleaning 10001 clauses out of 20013 with flag 3195001/3202538
1070.05/570.66	c cleaning 9997 clauses out of 20012 with flag 3205001/3212538
1072.79/572.19	c cleaning 10000 clauses out of 20015 with flag 3215001/3222538
1075.59/573.77	c cleaning 9999 clauses out of 20015 with flag 3225001/3232538
1078.35/575.24	c cleaning 9999 clauses out of 20016 with flag 3235001/3242538
1081.06/576.72	c cleaning 10003 clauses out of 20017 with flag 3245001/3252538
1083.80/578.21	c cleaning 9999 clauses out of 20014 with flag 3255001/3262538
1086.50/579.80	c cleaning 10000 clauses out of 20015 with flag 3265001/3272538
1089.20/581.25	c cleaning 9998 clauses out of 20015 with flag 3275001/3282538
1092.74/583.16	c cleaning 10000 clauses out of 20016 with flag 3285000/3292537
1097.08/585.48	c cleaning 10001 clauses out of 20016 with flag 3295000/3302537
1101.50/587.89	c cleaning 9999 clauses out of 20015 with flag 3305000/3312537
1106.03/590.28	c cleaning 10005 clauses out of 20016 with flag 3315000/3322537
1110.36/592.58	c cleaning 9998 clauses out of 20011 with flag 3325000/3332537
1114.90/594.97	c cleaning 10002 clauses out of 20013 with flag 3335000/3342537
1119.71/597.53	c cleaning 10000 clauses out of 20011 with flag 3345000/3352537
1124.04/599.80	c cleaning 10001 clauses out of 20011 with flag 3355000/3362537
1128.37/602.18	c cleaning 9996 clauses out of 20010 with flag 3365000/3372537
1132.89/604.54	c cleaning 9999 clauses out of 20014 with flag 3375000/3382537
1137.50/607.00	c cleaning 10001 clauses out of 20015 with flag 3385000/3392537
1142.06/609.42	c cleaning 10002 clauses out of 20014 with flag 3395000/3402537
1146.55/611.86	c cleaning 9997 clauses out of 20012 with flag 3405000/3412537
1151.08/614.24	c cleaning 10002 clauses out of 20015 with flag 3415000/3422537
1155.31/616.55	c cleaning 10005 clauses out of 20013 with flag 3425000/3432537
1160.05/619.08	c cleaning 9997 clauses out of 20008 with flag 3435000/3442537
1164.97/621.68	c cleaning 10000 clauses out of 20011 with flag 3445000/3452537
1169.90/624.23	c cleaning 9998 clauses out of 20011 with flag 3455000/3462537
1174.92/626.99	c cleaning 10001 clauses out of 20013 with flag 3465000/3472537
1179.81/629.51	c cleaning 10000 clauses out of 20012 with flag 3475000/3482537
1184.54/632.02	c cleaning 9999 clauses out of 20012 with flag 3485000/3492537
1189.48/634.67	c cleaning 10000 clauses out of 20013 with flag 3495000/3502537
1194.26/637.30	c cleaning 10002 clauses out of 20013 with flag 3505000/3512537
1199.17/639.80	c cleaning 10002 clauses out of 20011 with flag 3515000/3522537
1203.69/642.27	c cleaning 9998 clauses out of 20009 with flag 3525000/3532537
1208.41/644.78	c cleaning 9998 clauses out of 20011 with flag 3535000/3542537
1213.41/647.44	c cleaning 10001 clauses out of 20013 with flag 3545000/3552537
1217.93/649.85	c cleaning 9998 clauses out of 20012 with flag 3555000/3562537
1222.85/652.41	c cleaning 10001 clauses out of 20014 with flag 3565000/3572537
1227.56/654.99	c cleaning 10000 clauses out of 20013 with flag 3575000/3582537
1232.40/657.59	c cleaning 10001 clauses out of 20013 with flag 3585000/3592537
1237.50/660.24	c cleaning 10001 clauses out of 20012 with flag 3595000/3602537
1242.01/662.68	c cleaning 9996 clauses out of 20011 with flag 3605000/3612537
1246.72/665.19	c cleaning 10001 clauses out of 20015 with flag 3615000/3622537
1251.73/667.87	c cleaning 10001 clauses out of 20014 with flag 3625000/3632537
1256.44/670.34	c cleaning 10000 clauses out of 20013 with flag 3635000/3642537
1261.14/672.86	c cleaning 9998 clauses out of 20013 with flag 3645000/3652537
1265.08/674.92	c cleaning 10003 clauses out of 20016 with flag 3655001/3662538
1269.48/677.39	c cleaning 9999 clauses out of 20013 with flag 3665001/3672538
1274.03/679.79	c cleaning 9998 clauses out of 20014 with flag 3675001/3682538
1278.92/682.32	c cleaning 10004 clauses out of 20016 with flag 3685001/3692538
1283.62/684.81	c cleaning 9998 clauses out of 20012 with flag 3695001/3702538
1288.20/687.41	c cleaning 10002 clauses out of 20014 with flag 3705001/3712538
1292.91/689.85	c cleaning 9999 clauses out of 20012 with flag 3715001/3722538
1297.61/692.33	c cleaning 10001 clauses out of 20013 with flag 3725001/3732538
1302.12/694.74	c cleaning 9998 clauses out of 20012 with flag 3735001/3742538
1302.93/695.35	c cleaning 0 clauses out of 5172 with flag 0/5182
1307.32/697.52	c cleaning 10003 clauses out of 20014 with flag 3745001/3752538
1311.41/699.72	c cleaning 9996 clauses out of 20011 with flag 3755001/3762538
1315.51/701.91	c cleaning 10002 clauses out of 20015 with flag 3765001/3772538
1319.73/704.20	c cleaning 9998 clauses out of 20013 with flag 3775001/3782538
1324.04/706.52	c cleaning 10002 clauses out of 20015 with flag 3785001/3792538
1328.35/708.89	c cleaning 10000 clauses out of 20013 with flag 3795001/3802538
1332.86/711.24	c cleaning 10000 clauses out of 20013 with flag 3805001/3812538
1337.29/713.67	c cleaning 10000 clauses out of 20013 with flag 3815001/3822538
1341.60/715.96	c cleaning 9999 clauses out of 20013 with flag 3825001/3832538
1345.72/718.20	c cleaning 9996 clauses out of 20014 with flag 3835001/3842538
1350.08/720.46	c cleaning 10005 clauses out of 20018 with flag 3845001/3852538
1354.63/722.90	c cleaning 10000 clauses out of 20013 with flag 3855001/3862538
1358.95/725.20	c cleaning 10000 clauses out of 20013 with flag 3865001/3872538
1363.06/727.46	c cleaning 9998 clauses out of 20013 with flag 3875001/3882538
1367.38/729.74	c cleaning 10002 clauses out of 20015 with flag 3885001/3892538
1371.57/732.09	c cleaning 9999 clauses out of 20013 with flag 3895001/3902538
1375.88/734.33	c cleaning 9999 clauses out of 20014 with flag 3905001/3912538
1380.00/736.58	c cleaning 10002 clauses out of 20015 with flag 3915001/3922538
1384.33/738.86	c cleaning 9999 clauses out of 20013 with flag 3925001/3932538
1388.94/741.39	c cleaning 10001 clauses out of 20014 with flag 3935001/3942538
1393.43/743.74	c cleaning 10000 clauses out of 20013 with flag 3945001/3952538
1397.75/746.06	c cleaning 9999 clauses out of 20013 with flag 3955001/3962538
1402.07/748.32	c cleaning 9999 clauses out of 20014 with flag 3965001/3972538
1406.29/750.66	c cleaning 10003 clauses out of 20015 with flag 3975001/3982538
1410.21/752.72	c cleaning 10001 clauses out of 20012 with flag 3985001/3992538
1414.33/754.91	c cleaning 9999 clauses out of 20011 with flag 3995001/4002538
1418.45/757.16	c cleaning 10002 clauses out of 20012 with flag 4005001/4012538
1422.87/759.53	c cleaning 10000 clauses out of 20010 with flag 4015001/4022538
1426.98/761.71	c cleaning 9998 clauses out of 20010 with flag 4025001/4032538
1431.09/763.93	c cleaning 9999 clauses out of 20012 with flag 4035001/4042538
1435.01/766.06	c cleaning 10005 clauses out of 20013 with flag 4045001/4052538
1439.19/768.32	c cleaning 9999 clauses out of 20008 with flag 4055001/4062538
1443.10/770.44	c cleaning 9997 clauses out of 20009 with flag 4065001/4072538
1446.80/772.49	c cleaning 9999 clauses out of 20012 with flag 4075001/4082538
1450.91/774.62	c cleaning 10001 clauses out of 20013 with flag 4085001/4092538
1454.89/776.83	c cleaning 10001 clauses out of 20012 with flag 4095001/4102538
1458.63/778.89	c cleaning 9997 clauses out of 20011 with flag 4105001/4112538
1462.91/781.18	c cleaning 10001 clauses out of 20014 with flag 4115001/4122538
1467.01/783.36	c cleaning 10003 clauses out of 20013 with flag 4125001/4132538
1471.39/785.70	c cleaning 10001 clauses out of 20010 with flag 4135001/4142538
1475.51/787.91	c cleaning 10001 clauses out of 20009 with flag 4145001/4152538
1479.39/790.06	c cleaning 9995 clauses out of 20008 with flag 4155001/4162538
1483.29/792.19	c cleaning 10002 clauses out of 20013 with flag 4165001/4172538
1487.29/794.40	c cleaning 9997 clauses out of 20011 with flag 4175001/4182538
1491.58/796.63	c cleaning 10003 clauses out of 20014 with flag 4185001/4192538
1495.66/798.82	c cleaning 9998 clauses out of 20011 with flag 4195001/4202538
1499.38/800.89	c cleaning 10002 clauses out of 20013 with flag 4205001/4212538
1503.56/803.14	c cleaning 9999 clauses out of 20011 with flag 4215001/4222538
1507.46/805.27	c cleaning 10002 clauses out of 20012 with flag 4225001/4232538
1511.35/807.33	c cleaning 9995 clauses out of 20010 with flag 4235001/4242538
1515.21/809.49	c cleaning 10003 clauses out of 20015 with flag 4245001/4252538
1519.22/811.70	c cleaning 9999 clauses out of 20012 with flag 4255001/4262538
1523.33/813.82	c cleaning 10000 clauses out of 20013 with flag 4265001/4272538
1527.23/815.91	c cleaning 10000 clauses out of 20013 with flag 4275001/4282538
1530.93/817.99	c cleaning 10002 clauses out of 20013 with flag 4285001/4292538
1535.03/820.11	c cleaning 10001 clauses out of 20011 with flag 4295001/4302538
1538.73/822.13	c cleaning 9998 clauses out of 20010 with flag 4305001/4312538
1542.63/824.23	c cleaning 10003 clauses out of 20012 with flag 4315001/4322538
1546.53/826.32	c cleaning 9998 clauses out of 20009 with flag 4325001/4332538
1550.44/828.41	c cleaning 9998 clauses out of 20011 with flag 4335001/4342538
1554.53/830.62	c cleaning 10001 clauses out of 20013 with flag 4345001/4352538
1558.23/832.69	c cleaning 9998 clauses out of 20012 with flag 4355001/4362538
1562.09/834.80	c cleaning 10002 clauses out of 20014 with flag 4365001/4372538
1566.18/836.92	c cleaning 10002 clauses out of 20012 with flag 4375001/4382538
1570.09/839.03	c cleaning 9999 clauses out of 20010 with flag 4385001/4392538
1573.99/841.14	c cleaning 9999 clauses out of 20011 with flag 4395001/4402538
1577.71/843.12	c cleaning 9997 clauses out of 20012 with flag 4405001/4412538
1581.53/845.25	c cleaning 10002 clauses out of 20015 with flag 4415001/4422538
1585.44/847.32	c cleaning 9999 clauses out of 20013 with flag 4425001/4432538
1589.16/849.36	c cleaning 9999 clauses out of 20014 with flag 4435001/4442538
1593.27/851.57	c cleaning 10005 clauses out of 20015 with flag 4445001/4452538
1597.50/853.81	c cleaning 9999 clauses out of 20010 with flag 4455001/4462538
1601.41/855.93	c cleaning 9999 clauses out of 20011 with flag 4465001/4472538
1605.52/858.15	c cleaning 10000 clauses out of 20012 with flag 4475001/4482538
1608.82/859.95	c cleaning 9997 clauses out of 20012 with flag 4485001/4492538
1612.57/862.05	c cleaning 10005 clauses out of 20015 with flag 4495001/4502538
1616.48/864.17	c cleaning 10000 clauses out of 20010 with flag 4505001/4512538
1620.78/866.46	c cleaning 9997 clauses out of 20010 with flag 4515001/4522538
1624.28/868.32	c cleaning 10003 clauses out of 20013 with flag 4525001/4532538
1628.03/870.44	c cleaning 9997 clauses out of 20010 with flag 4535001/4542538
1631.93/872.52	c cleaning 10000 clauses out of 20013 with flag 4545001/4552538
1635.83/874.68	c cleaning 9998 clauses out of 20013 with flag 4555001/4562538
1639.75/876.79	c cleaning 10003 clauses out of 20015 with flag 4565001/4572538
1644.11/879.11	c cleaning 10001 clauses out of 20012 with flag 4575001/4582538
1648.21/881.33	c cleaning 9999 clauses out of 20011 with flag 4585001/4592538
1652.51/883.61	c cleaning 10002 clauses out of 20012 with flag 4595001/4602538
1656.61/885.85	c cleaning 9998 clauses out of 20010 with flag 4605001/4612538
1660.22/887.83	c cleaning 10000 clauses out of 20012 with flag 4615001/4622538
1663.52/889.69	c cleaning 9998 clauses out of 20012 with flag 4625001/4632538
1667.22/891.62	c cleaning 10001 clauses out of 20014 with flag 4635001/4642538
1670.72/893.53	c cleaning 10001 clauses out of 20013 with flag 4645001/4652538
1674.26/895.44	c cleaning 10000 clauses out of 20012 with flag 4655001/4662538
1677.73/897.35	c cleaning 9999 clauses out of 20012 with flag 4665001/4672538
1681.22/899.25	c cleaning 10003 clauses out of 20013 with flag 4675001/4682538
1685.11/901.40	c cleaning 9999 clauses out of 20010 with flag 4685001/4692538
1689.25/903.67	c cleaning 9997 clauses out of 20011 with flag 4695001/4702538
1693.31/905.82	c cleaning 9999 clauses out of 20014 with flag 4705001/4712538
1697.18/907.97	c cleaning 10000 clauses out of 20015 with flag 4715001/4722538
1701.25/910.12	c cleaning 10002 clauses out of 20015 with flag 4725001/4732538
1705.23/912.31	c cleaning 9997 clauses out of 20013 with flag 4735001/4742538
1709.12/914.49	c cleaning 10000 clauses out of 20016 with flag 4745001/4752538
1713.22/916.64	c cleaning 10000 clauses out of 20016 with flag 4755001/4762538
1717.11/918.79	c cleaning 10003 clauses out of 20016 with flag 4765001/4772538
1720.84/920.77	c cleaning 10000 clauses out of 20013 with flag 4775001/4782538
1724.50/922.78	c cleaning 9999 clauses out of 20013 with flag 4785001/4792538
1728.40/924.87	c cleaning 10000 clauses out of 20014 with flag 4795001/4802538
1732.09/926.89	c cleaning 9997 clauses out of 20014 with flag 4805001/4812538
1736.24/929.14	c cleaning 10001 clauses out of 20017 with flag 4815001/4822538
1740.14/931.24	c cleaning 10004 clauses out of 20016 with flag 4825001/4832538
1743.83/933.28	c cleaning 9998 clauses out of 20012 with flag 4835001/4842538
1747.91/935.40	c cleaning 10002 clauses out of 20014 with flag 4845001/4852538
1751.61/937.43	c cleaning 9995 clauses out of 20012 with flag 4855001/4862538
1755.50/939.52	c cleaning 10003 clauses out of 20017 with flag 4865001/4872538
1759.43/941.68	c cleaning 9999 clauses out of 20014 with flag 4875001/4882538
1763.33/943.80	c cleaning 10000 clauses out of 20015 with flag 4885001/4892538
1767.32/945.97	c cleaning 9997 clauses out of 20015 with flag 4895001/4902538
1771.17/948.10	c cleaning 10005 clauses out of 20018 with flag 4905001/4912538
1774.86/950.09	c cleaning 9999 clauses out of 20013 with flag 4915001/4922538
1778.53/952.00	c cleaning 9999 clauses out of 20014 with flag 4925001/4932538
1782.22/954.03	c cleaning 10002 clauses out of 20015 with flag 4935001/4942538
1785.89/956.06	c cleaning 9999 clauses out of 20013 with flag 4945001/4952538
1789.81/958.15	c cleaning 10003 clauses out of 20014 with flag 4955001/4962538
1793.68/960.24	c cleaning 9997 clauses out of 20011 with flag 4965001/4972538
1797.61/962.49	c cleaning 10002 clauses out of 20014 with flag 4975001/4982538
1800.09/963.82	c starts		: 284
1800.09/963.82	c conflicts		: 4988565
1800.09/963.82	c decisions		: 5021617
1800.09/963.82	c propagations		: 38566339
1800.09/963.82	c inspects		: 2016207464
1800.09/963.82	c shortcuts		: 0
1800.09/963.82	c learnt literals	: 0
1800.09/963.82	c learnt binary clauses	: 38
1800.09/963.82	c learnt ternary clauses	: 190
1800.09/963.82	c learnt constraints	: 4988565
1800.09/963.82	c ignored constraints	: 0
1800.09/963.82	c root simplifications	: 0
1800.09/963.82	c removed literals (reason simplification)	: 566305761
1800.09/963.82	c reason swapping (by a shorter reason)	: 0
1800.09/963.82	c Calls to reduceDB	: 500
1800.09/963.82	c number of reductions to clauses (during analyze)	: 0
1800.09/963.82	c number of learned constraints concerned by reduction	: 0
1800.09/963.82	c number of learning phase by resolution	: 0
1800.09/963.82	c number of learning phase by cutting planes	: 0
1800.09/963.82	c speed (assignments/second)	: 40258.07377622451
1800.09/963.82	c non guided choices	76
1800.09/963.83	c learnt constraints type 
1800.09/963.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 38
1800.09/963.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16064
1800.09/963.84	c constraints type 
1800.09/963.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 126
1800.09/963.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/963.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1476
1800.09/963.84	c constraints type 
1800.09/963.84	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1476
1800.09/963.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 126
1800.09/963.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.09/963.84	s SATISFIABLE
1800.09/963.84	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 
1800.09/963.84	c objective function=191
1800.09/963.84	c Total wall clock time (in seconds): 963.729

Verifier Data 

OK	191

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455142-1307189154/watcher-3455142-1307189154 -o /tmp/evaluation-result-3455142-1307189154/solver-3455142-1307189154 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455142-1307189154.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.96 3.23 2.67 2/474 26445
/proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 5172 0 1 0 0 0 0 0 25 0 2 0 830513305 10694979584 4874 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2611079 4886 917 9 0 2602235 0
[pid=26445/tid=26446] ppid=26442 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) R 26442 26445 23433 0 -1 4202560 6366 0 1 0 0 0 0 0 25 0 2 0 830513305 10694979584 7182 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.089751 s]
/proc/loadavg: 2.96 3.23 2.67 2/474 26445
/proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10539820 CPUtime=0.09 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 12938 0 1 0 8 1 0 0 25 0 18 0 830513305 10792775680 12624 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2634955 12624 2084 9 0 2625689 0
[pid=26445/tid=26446] ppid=26442 vsize=10539820 CPUtime=0.07 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) R 26442 26445 23433 0 -1 4202560 11054 0 1 0 6 1 0 0 18 0 18 0 830513305 10792775680 12624 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271550537472 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539820

[startup+0.100565 s]
/proc/loadavg: 2.96 3.23 2.67 2/474 26445
/proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10539820 CPUtime=0.1 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 13117 0 1 0 9 1 0 0 25 0 18 0 830513305 10792775680 12803 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2634955 12804 2093 9 0 2625689 0
[pid=26445/tid=26446] ppid=26442 vsize=10539820 CPUtime=0.08 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) R 26442 26445 23433 0 -1 4202560 11220 0 1 0 7 1 0 0 18 0 18 0 830513305 10792775680 12804 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 47911356297221 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539820

[startup+0.300485 s]
/proc/loadavg: 2.96 3.23 2.67 2/474 26445
/proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10546524 CPUtime=0.56 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 17109 0 1 0 54 2 0 0 25 0 22 0 830513305 10799640576 15907 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2636631 15908 2209 9 0 2627365 0
[pid=26445/tid=26446] ppid=26442 vsize=10546524 CPUtime=0.26 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 12776 0 1 0 25 1 0 0 19 0 22 0 830513305 10799640576 15908 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10546524

[startup+0.700484 s]
/proc/loadavg: 2.96 3.23 2.67 2/474 26445
/proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10546756 CPUtime=0.66 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 17481 0 1 0 64 2 0 0 25 0 19 0 830513305 10799878144 15990 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2636689 15990 2218 9 0 2627423 0
[pid=26445/tid=26446] ppid=26442 vsize=10546756 CPUtime=0.26 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 12776 0 1 0 25 1 0 0 19 0 19 0 830513305 10799878144 15990 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10546756

[startup+1.50134 s]
/proc/loadavg: 2.88 3.21 2.66 3/493 26471
/proc/meminfo: memFree=30766632/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10547904 CPUtime=0.83 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 18331 0 1 0 81 2 0 0 25 0 19 0 830513305 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2636976 16640 2224 9 0 2627710 0
[pid=26445/tid=26446] ppid=26442 vsize=10547904 CPUtime=0.27 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 12891 0 1 0 26 1 0 0 17 0 19 0 830513305 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830513308 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830513308 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830513308 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513310 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=10547904 CPUtime=0.21 cores=0,2,4,6
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 2371 0 0 0 21 0 0 0 16 0 19 0 830513310 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10547904 CPUtime=0.23 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 1668 0 0 0 23 0 0 0 15 0 19 0 830513311 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513311 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830513311 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830513334 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 10547904

[startup+3.10104 s]
/proc/loadavg: 2.88 3.21 2.66 3/493 26477
/proc/meminfo: memFree=30762664/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10552168 CPUtime=1.52 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 27022 0 1 0 149 3 0 0 25 0 19 0 830513305 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638042 22609 2227 9 0 2628776 0
[pid=26445/tid=26446] ppid=26442 vsize=10552168 CPUtime=0.28 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13025 0 1 0 27 1 0 0 16 0 19 0 830513305 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830513308 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830513308 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830513308 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513310 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=10552168 CPUtime=0.59 cores=0,2,4,6
/proc/26445/task/26461/stat : 26461 (java) R 26442 26445 23433 0 -1 4202560 8870 0 0 0 58 1 0 0 16 0 19 0 830513310 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 47911357147474 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10552168 CPUtime=0.4 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3137 0 0 0 40 0 0 0 16 0 19 0 830513311 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513311 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830513311 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830513334 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10552168
heavy processes:

[startup+6.30139 s]
/proc/loadavg: 2.88 3.21 2.66 3/493 26502
/proc/meminfo: memFree=30545028/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10552600 CPUtime=5.09 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 113105 0 1 0 494 15 0 0 25 0 22 0 830513305 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638150 106377 2259 9 0 2628884 0
[pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13210 0 1 0 27 1 0 0 17 0 22 0 830513305 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 372 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 265 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 248 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=0.02 cores=0,2,4,6
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 1318 0 0 0 2 0 0 0 15 0 22 0 830513308 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.4 cores=0,2,4,6
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11437 0 0 0 139 1 0 0 15 0 22 0 830513310 10805862400 106378 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.74 cores=0,2,4,6

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

[pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=712.99 cores=0,2,4,6
/proc/26445/task/26503/stat : 26503 (java) S 26442 26445 23433 0 -1 4202560 2745 0 0 0 71297 2 0 0 17 0 22 0 830513890 10805862400 327559 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=713.03 cores=0,2,4,6
/proc/26445/task/26504/stat : 26504 (java) S 26442 26445 23433 0 -1 4202560 170986 0 0 0 71283 20 0 0 17 0 22 0 830513890 10805862400 327559 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 327559 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1538.96
Current children cumulated vsize (KiB) 10552600

[startup+882.301 s]
/proc/loadavg: 3.80 3.80 3.37 4/496 26698
/proc/meminfo: memFree=29298908/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10552600 CPUtime=1649.91 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 338811 0 1 0 164937 54 0 0 25 0 22 0 830513305 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638150 331494 2260 9 0 2628884 0
[pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13276 0 1 0 27 1 0 0 15 0 22 0 830513305 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 636 0 0 0 96 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0.91 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 335 0 0 0 91 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0.9 cores=0,2,4,6
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 248 0 0 0 90 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=0.97 cores=0,2,4,6
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 113 0 0 0 97 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=1.02 cores=0,2,4,6
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 858 0 0 0 102 0 0 0 16 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=0.97 cores=0,2,4,6
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 614 0 0 0 97 0 0 0 16 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=0.92 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 412 0 0 0 92 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0.92 cores=0,2,4,6
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 757 0 0 0 92 0 0 0 16 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=110.43 cores=0,2,4,6
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 86073 0 0 0 11026 17 0 0 16 0 22 0 830513308 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.74 cores=0,2,4,6
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11484 0 0 0 173 1 0 0 15 0 22 0 830513310 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.86 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3423 0 0 0 86 0 0 0 16 0 22 0 830513311 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513311 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830513311 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830513334 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=763.57 cores=0,2,4,6
/proc/26445/task/26503/stat : 26503 (java) R 26442 26445 23433 0 -1 4202560 2746 0 0 0 76355 2 0 0 16 0 22 0 830513890 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505722645 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=763.63 cores=0,2,4,6
/proc/26445/task/26504/stat : 26504 (java) R 26442 26445 23433 0 -1 4202560 170987 0 0 0 76343 20 0 0 16 0 22 0 830513890 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912506080930 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1649.91
Current children cumulated vsize (KiB) 10552600

[startup+942.301 s]
/proc/loadavg: 3.71 3.77 3.38 5/496 26700
/proc/meminfo: memFree=29281152/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10552600 CPUtime=1760.5 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 341726 0 1 0 175994 56 0 0 25 0 22 0 830513305 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638150 334376 2260 9 0 2628884 0
[pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13298 0 1 0 27 1 0 0 15 0 22 0 830513305 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=1.01 cores=0,2,4,6
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 636 0 0 0 101 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0.98 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 335 0 0 0 98 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 252 0 0 0 96 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=1.03 cores=0,2,4,6
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 126 0 0 0 103 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=1.07 cores=0,2,4,6
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 861 0 0 0 107 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=1.03 cores=0,2,4,6
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 614 0 0 0 103 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=0.96 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 419 0 0 0 96 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0.98 cores=0,2,4,6
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 769 0 0 0 98 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=120 cores=0,2,4,6
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 88918 0 0 0 11981 19 0 0 16 0 22 0 830513308 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.74 cores=0,2,4,6
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11484 0 0 0 173 1 0 0 15 0 22 0 830513310 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.86 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3423 0 0 0 86 0 0 0 16 0 22 0 830513311 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513311 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830513311 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830513334 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=813.85 cores=0,2,4,6
/proc/26445/task/26503/stat : 26503 (java) R 26442 26445 23433 0 -1 4202560 2752 0 0 0 81383 2 0 0 16 0 22 0 830513890 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505675812 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=813.94 cores=0,2,4,6
/proc/26445/task/26504/stat : 26504 (java) R 26442 26445 23433 0 -1 4202560 170988 0 0 0 81373 21 0 0 16 0 22 0 830513890 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505689832 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (KiB) 10552600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+963.801 s]
/proc/loadavg: 3.56 3.74 3.37 5/496 26700
/proc/meminfo: memFree=29273200/32951124 swapFree=55639044/67111528
[pid=26445] ppid=26442 vsize=10552600 CPUtime=1800.09 cores=0,2,4,6
/proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 342117 0 1 0 179952 57 0 0 25 0 22 0 830513305 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26445/statm: 2638150 334753 2260 9 0 2628884 0
[pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6
/proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13304 0 1 0 27 1 0 0 15 0 22 0 830513305 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=1.04 cores=0,2,4,6
/proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 639 0 0 0 104 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0.99 cores=0,2,4,6
/proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 335 0 0 0 99 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0.98 cores=0,2,4,6
/proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 252 0 0 0 98 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=1.04 cores=0,2,4,6
/proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 126 0 0 0 104 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=1.1 cores=0,2,4,6
/proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 873 0 0 0 110 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=1.04 cores=0,2,4,6
/proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 614 0 0 0 104 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=1 cores=0,2,4,6
/proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 419 0 0 0 100 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0.99 cores=0,2,4,6
/proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 769 0 0 0 99 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=123.47 cores=0,2,4,6
/proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 89282 0 0 0 12328 19 0 0 16 0 22 0 830513308 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.74 cores=0,2,4,6
/proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11484 0 0 0 173 1 0 0 15 0 22 0 830513310 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.86 cores=0,2,4,6
/proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3423 0 0 0 86 0 0 0 16 0 22 0 830513311 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26463] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513311 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0
[pid=26445/tid=26464] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830513311 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0
[pid=26445/tid=26467] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830513334 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
[pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=831.81 cores=0,2,4,6
/proc/26445/task/26503/stat : 26503 (java) R 26442 26445 23433 0 -1 4202560 2754 0 0 0 83179 2 0 0 16 0 22 0 830513890 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505755540 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=831.92 cores=0,2,4,6
/proc/26445/task/26504/stat : 26504 (java) R 26442 26445 23433 0 -1 4202560 170990 0 0 0 83171 21 0 0 17 0 22 0 830513890 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505871185 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6
/proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10552600

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

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

Child status: 143
Real time (s): 963.892
CPU time (s): 1800.22
CPU user time (s): 1799.59
CPU system time (s): 0.630904
CPU usage (%): 186.766
Max. virtual memory (cumulated for all children) (KiB): 10553956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.630904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342151
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37630
involuntary context switches= 13510

runsolver used 4.84626 second user time and 10.1325 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-04 14:05:54
IDJOB=3455142
IDBENCH=2171
IDSOLVER=1950
FILE ID=node133/3455142-1307189154
RUNJOBID= node133-1307188073-26140
PBS_JOBID= 13508830
Free space on /tmp= 73980 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455142-1307189154/watcher-3455142-1307189154 -o /tmp/evaluation-result-3455142-1307189154/solver-3455142-1307189154 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455142-1307189154.opb

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

MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27
RANDOM SEED=1176246668

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30823592 kB
Buffers:        326944 kB
Cached:         511792 kB
SwapCached:      10584 kB
Active:        1383512 kB
Inactive:       468572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30823592 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:             500 kB
Writeback:           0 kB
AnonPages:     1010740 kB
Mapped:          21252 kB
Slab:           152944 kB
PageTables:      55312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 125270660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73980 MiB
End job on node133 at 2011-06-04 14:22:00