Trace number 3454544

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)311 1800.28 978.029

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
MD5SUM39250f205953aedd83d7a2bcba6bda16
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark283
Best CPU time to get the best result obtained on this benchmark317.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 283
Optimality of the best value was proved NO
Number of variables792
Total number of constraints3194
Number of constraints which are clauses3194
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 constraint8
Number of terms in the objective function 792
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 792
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 792
Number of bits of the biggest sum of numbers10
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	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-3454544-1307189167.opb
0.10/0.11	c reading problem ... 
0.49/0.31	c ... done. Wall clock time 0.2s.
0.49/0.31	c #vars     792
0.49/0.31	c #constraints  3194
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 350
0.49/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2844
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2844
0.49/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 350
0.49/0.33	c  And the winner is Resolution
0.55/0.81	c SATISFIABLE
0.55/0.81	c OPTIMIZING...
0.55/0.81	c Got one! Elapsed wall clock time (in seconds):0.707
0.55/0.81	o 349
0.55/0.84	c  And the winner is CuttingPlanes
0.66/1.32	c Got one! Elapsed wall clock time (in seconds):1.216
0.66/1.32	o 338
0.92/1.47	c  And the winner is Resolution
1.52/1.83	c Got one! Elapsed wall clock time (in seconds):1.724
1.52/1.83	o 331
3.12/2.47	c cleaning 2727 clauses out of 5462 with flag 5002/5462
4.74/3.18	c cleaning 4367 clauses out of 8734 with flag 11001/11461
5.72/3.67	c  And the winner is Resolution
5.88/3.85	c Got one! Elapsed wall clock time (in seconds):3.738
5.88/3.85	o 311
6.19/4.09	c cleaning 5092 clauses out of 10188 with flag 2001/17282
7.79/4.84	c cleaning 5542 clauses out of 11095 with flag 8000/23281
9.84/5.85	c cleaning 6269 clauses out of 12553 with flag 15000/30281
11.78/6.86	c cleaning 7136 clauses out of 14285 with flag 23001/38282
14.14/8.00	c cleaning 8074 clauses out of 16148 with flag 32000/47281
16.69/9.37	c cleaning 9033 clauses out of 18075 with flag 42001/57282
19.42/10.73	c cleaning 9521 clauses out of 19041 with flag 52000/67281
23.36/12.79	c cleaning 9754 clauses out of 19521 with flag 62001/77282
26.31/14.22	c cleaning 9876 clauses out of 19766 with flag 72000/87281
28.82/15.56	c cleaning 9938 clauses out of 19890 with flag 82000/97281
31.31/16.87	c cleaning 9971 clauses out of 19952 with flag 92000/107281
33.83/18.20	c cleaning 9985 clauses out of 19982 with flag 102001/117282
36.76/19.68	c cleaning 9998 clauses out of 19996 with flag 112000/127281
39.48/21.04	c cleaning 9989 clauses out of 19998 with flag 122000/137281
42.56/22.68	c cleaning 9991 clauses out of 20010 with flag 132001/147282
45.87/24.39	c cleaning 9998 clauses out of 20018 with flag 142000/157281
48.38/25.66	c cleaning 10000 clauses out of 20021 with flag 152001/167282
51.28/27.12	c cleaning 10000 clauses out of 20020 with flag 162000/177281
54.18/28.65	c cleaning 9995 clauses out of 20020 with flag 172000/187281
58.25/30.78	c cleaning 10002 clauses out of 20026 with flag 182001/197282
60.93/32.14	c cleaning 9998 clauses out of 20024 with flag 192001/207282
64.42/34.00	c cleaning 10003 clauses out of 20026 with flag 202001/217282
68.65/36.13	c cleaning 9983 clauses out of 20022 with flag 212000/227281
71.54/37.62	c cleaning 10010 clauses out of 20040 with flag 222001/237282
74.23/39.07	c cleaning 10001 clauses out of 20029 with flag 232000/247281
77.32/40.66	c cleaning 10006 clauses out of 20029 with flag 242001/257282
80.13/42.16	c cleaning 10002 clauses out of 20023 with flag 252001/267282
83.01/43.67	c cleaning 9997 clauses out of 20020 with flag 262000/277281
85.93/45.19	c cleaning 10002 clauses out of 20024 with flag 272001/287282
88.58/46.52	c cleaning 10000 clauses out of 20022 with flag 282001/297282
92.00/48.35	c cleaning 9982 clauses out of 20022 with flag 292001/307282
95.65/50.25	c cleaning 9986 clauses out of 20039 with flag 302000/317281
98.34/51.68	c cleaning 10007 clauses out of 20053 with flag 312000/327281
101.38/53.21	c cleaning 10022 clauses out of 20047 with flag 322001/337282
104.37/54.81	c cleaning 10007 clauses out of 20024 with flag 332000/347281
107.03/56.27	c cleaning 10001 clauses out of 20019 with flag 342002/357283
109.88/57.74	c cleaning 9999 clauses out of 20016 with flag 352000/367281
112.74/59.27	c cleaning 9982 clauses out of 20017 with flag 362000/377281
115.72/60.81	c cleaning 10002 clauses out of 20035 with flag 372000/387281
118.57/62.36	c cleaning 10004 clauses out of 20033 with flag 382000/397281
121.47/63.86	c cleaning 10004 clauses out of 20031 with flag 392002/407283
124.88/65.60	c cleaning 10005 clauses out of 20025 with flag 402000/417281
127.85/67.24	c cleaning 9995 clauses out of 20021 with flag 412001/427282
130.30/68.55	c cleaning 10006 clauses out of 20026 with flag 422001/437282
132.75/69.80	c cleaning 10002 clauses out of 20020 with flag 432001/447282
135.00/71.09	c cleaning 9998 clauses out of 20017 with flag 442000/457281
138.01/72.67	c cleaning 9998 clauses out of 20020 with flag 452001/467282
140.81/74.14	c cleaning 10001 clauses out of 20022 with flag 462001/477282
143.88/75.74	c cleaning 9987 clauses out of 20020 with flag 472000/487281
146.90/77.30	c cleaning 10006 clauses out of 20033 with flag 482000/497281
151.86/79.91	c cleaning 9992 clauses out of 20027 with flag 492000/507281
155.89/82.05	c cleaning 10010 clauses out of 20036 with flag 502001/517282
159.10/83.73	c cleaning 9998 clauses out of 20025 with flag 512000/527281
162.13/85.36	c cleaning 9998 clauses out of 20028 with flag 522001/537282
165.47/87.13	c cleaning 9998 clauses out of 20030 with flag 532001/547282
168.69/88.87	c cleaning 10002 clauses out of 20032 with flag 542001/557282
171.90/90.57	c cleaning 9991 clauses out of 20029 with flag 552000/567281
175.12/92.31	c cleaning 10003 clauses out of 20039 with flag 562001/577282
178.66/94.10	c cleaning 10010 clauses out of 20035 with flag 572000/587281
181.86/95.82	c cleaning 10002 clauses out of 20025 with flag 582000/597281
184.66/97.32	c cleaning 9997 clauses out of 20023 with flag 592000/607281
187.68/98.98	c cleaning 9998 clauses out of 20026 with flag 602000/617281
191.17/100.81	c cleaning 10006 clauses out of 20028 with flag 612000/627281
194.17/102.44	c cleaning 10003 clauses out of 20023 with flag 622001/637282
196.97/103.95	c cleaning 10003 clauses out of 20019 with flag 632000/647281
200.36/105.76	c cleaning 9993 clauses out of 20016 with flag 642000/657281
203.46/107.48	c cleaning 10001 clauses out of 20024 with flag 652001/667282
206.46/109.03	c cleaning 10003 clauses out of 20023 with flag 662001/677282
208.85/110.33	c cleaning 9995 clauses out of 20019 with flag 672000/687281
211.45/111.79	c cleaning 10008 clauses out of 20025 with flag 682001/697282
214.54/113.40	c cleaning 9998 clauses out of 20017 with flag 692001/707282
217.32/114.93	c cleaning 10000 clauses out of 20019 with flag 702001/717282
220.10/116.51	c cleaning 9992 clauses out of 20018 with flag 712000/727281
223.29/118.19	c cleaning 10001 clauses out of 20027 with flag 722001/737282
226.76/120.04	c cleaning 10002 clauses out of 20025 with flag 732000/747281
230.14/121.86	c cleaning 9997 clauses out of 20023 with flag 742000/757281
233.13/123.45	c cleaning 10004 clauses out of 20027 with flag 752001/767282
236.31/125.12	c cleaning 9999 clauses out of 20022 with flag 762000/777281
239.39/126.90	c cleaning 10001 clauses out of 20023 with flag 772000/787281
243.00/128.74	c cleaning 9988 clauses out of 20023 with flag 782001/797282
246.33/130.50	c cleaning 9998 clauses out of 20034 with flag 792000/807281
250.11/132.55	c cleaning 9988 clauses out of 20037 with flag 802001/817282
253.76/134.59	c cleaning 10013 clauses out of 20049 with flag 812001/827282
256.73/136.15	c cleaning 10000 clauses out of 20035 with flag 822000/837281
259.72/137.76	c cleaning 9995 clauses out of 20035 with flag 832000/847281
263.07/139.55	c cleaning 10007 clauses out of 20041 with flag 842001/857282
266.33/141.36	c cleaning 10001 clauses out of 20033 with flag 852000/867281
269.70/143.15	c cleaning 9999 clauses out of 20033 with flag 862001/877282
272.67/144.73	c cleaning 10008 clauses out of 20034 with flag 872001/887282
275.67/146.35	c cleaning 9988 clauses out of 20026 with flag 882001/897282
278.89/148.14	c cleaning 10004 clauses out of 20037 with flag 892000/907281
281.87/149.73	c cleaning 9997 clauses out of 20033 with flag 902000/917281
285.04/151.44	c cleaning 10016 clauses out of 20036 with flag 912000/927281
288.21/153.18	c cleaning 9995 clauses out of 20020 with flag 922000/937281
291.90/155.16	c cleaning 10004 clauses out of 20025 with flag 932000/947281
295.44/157.05	c cleaning 10004 clauses out of 20022 with flag 942001/957282
299.63/159.29	c cleaning 10003 clauses out of 20017 with flag 952000/967281
302.79/160.92	c cleaning 9995 clauses out of 20014 with flag 962000/977281
305.85/162.63	c cleaning 10002 clauses out of 20020 with flag 972001/987282
309.02/164.33	c cleaning 10002 clauses out of 20017 with flag 982000/997281
312.20/166.10	c cleaning 9998 clauses out of 20015 with flag 992000/1007281
315.55/167.88	c cleaning 9978 clauses out of 20017 with flag 1002000/1017281
319.21/169.80	c cleaning 10000 clauses out of 20040 with flag 1012001/1027282
322.40/171.61	c cleaning 9996 clauses out of 20040 with flag 1022001/1037282
325.96/173.45	c cleaning 10002 clauses out of 20044 with flag 1032001/1047282
329.92/175.53	c cleaning 10002 clauses out of 20042 with flag 1042001/1057282
333.82/177.66	c cleaning 9998 clauses out of 20040 with flag 1052001/1067282
337.58/179.66	c cleaning 9998 clauses out of 20042 with flag 1062001/1077282
340.55/181.20	c cleaning 10005 clauses out of 20044 with flag 1072001/1087282
343.72/182.91	c cleaning 10002 clauses out of 20039 with flag 1082001/1097282
346.99/184.78	c cleaning 9996 clauses out of 20036 with flag 1092000/1107281
350.35/186.51	c cleaning 9997 clauses out of 20040 with flag 1102000/1117281
353.72/188.38	c cleaning 10002 clauses out of 20043 with flag 1112000/1127281
357.11/190.15	c cleaning 10004 clauses out of 20042 with flag 1122001/1137282
360.59/192.00	c cleaning 9996 clauses out of 20038 with flag 1132001/1147282
363.96/193.88	c cleaning 9997 clauses out of 20041 with flag 1142000/1157281
367.33/195.69	c cleaning 10003 clauses out of 20044 with flag 1152000/1167281
370.70/197.46	c cleaning 10000 clauses out of 20041 with flag 1162000/1177281
373.57/199.07	c cleaning 10016 clauses out of 20041 with flag 1172000/1187281
376.32/200.55	c cleaning 10002 clauses out of 20027 with flag 1182002/1197283
379.28/202.10	c cleaning 10001 clauses out of 20025 with flag 1192002/1207283
381.90/203.53	c cleaning 10009 clauses out of 20022 with flag 1202000/1217281
384.53/205.05	c cleaning 9997 clauses out of 20013 with flag 1212000/1227281
387.10/206.46	c cleaning 10000 clauses out of 20017 with flag 1222001/1237282
389.67/207.92	c cleaning 10007 clauses out of 20017 with flag 1232001/1247282
392.44/209.37	c cleaning 9997 clauses out of 20009 with flag 1242000/1257281
395.29/210.97	c cleaning 9999 clauses out of 20012 with flag 1252000/1267281
397.90/212.36	c cleaning 9986 clauses out of 20013 with flag 1262000/1277281
400.43/213.79	c cleaning 10006 clauses out of 20028 with flag 1272001/1287282
403.19/215.27	c cleaning 10003 clauses out of 20021 with flag 1282000/1297281
406.07/216.83	c cleaning 10005 clauses out of 20019 with flag 1292001/1307282
408.84/218.34	c cleaning 9995 clauses out of 20013 with flag 1302000/1317281
411.82/219.93	c cleaning 9999 clauses out of 20018 with flag 1312000/1327281
414.56/221.42	c cleaning 9997 clauses out of 20020 with flag 1322001/1337282
417.45/223.09	c cleaning 9985 clauses out of 20022 with flag 1332000/1347281
421.02/224.96	c cleaning 10010 clauses out of 20038 with flag 1342001/1357282
423.79/226.52	c cleaning 10001 clauses out of 20028 with flag 1352001/1367282
426.76/228.03	c cleaning 9989 clauses out of 20027 with flag 1362001/1377282
429.85/229.80	c cleaning 9996 clauses out of 20037 with flag 1372000/1387281
434.23/232.05	c cleaning 10004 clauses out of 20041 with flag 1382000/1397281
438.62/234.36	c cleaning 9993 clauses out of 20037 with flag 1392000/1407281
442.37/236.32	c cleaning 10016 clauses out of 20045 with flag 1402001/1417282
445.02/237.85	c cleaning 10006 clauses out of 20029 with flag 1412001/1427282
447.78/239.38	c cleaning 10001 clauses out of 20022 with flag 1422000/1437281
450.56/240.86	c cleaning 10000 clauses out of 20021 with flag 1432000/1447281
453.33/242.31	c cleaning 9995 clauses out of 20021 with flag 1442000/1457281
456.19/243.95	c cleaning 9986 clauses out of 20027 with flag 1452001/1467282
459.15/245.57	c cleaning 9992 clauses out of 20040 with flag 1462000/1477281
462.12/247.18	c cleaning 9999 clauses out of 20049 with flag 1472001/1487282
465.11/248.72	c cleaning 10002 clauses out of 20050 with flag 1482001/1497282
468.17/250.47	c cleaning 10002 clauses out of 20047 with flag 1492000/1507281
471.34/252.16	c cleaning 9998 clauses out of 20046 with flag 1502001/1517282
474.30/253.78	c cleaning 10006 clauses out of 20047 with flag 1512000/1527281
477.28/255.39	c cleaning 10003 clauses out of 20042 with flag 1522001/1537282
480.55/257.13	c cleaning 10007 clauses out of 20038 with flag 1532000/1547281
483.52/258.76	c cleaning 10004 clauses out of 20032 with flag 1542001/1557282
486.49/260.37	c cleaning 10003 clauses out of 20028 with flag 1552001/1567282
489.67/262.02	c cleaning 10003 clauses out of 20025 with flag 1562001/1577282
492.75/263.76	c cleaning 9999 clauses out of 20021 with flag 1572000/1587281
495.91/265.41	c cleaning 9995 clauses out of 20022 with flag 1582000/1597281
498.87/267.06	c cleaning 10007 clauses out of 20028 with flag 1592001/1607282
502.05/268.74	c cleaning 9998 clauses out of 20020 with flag 1602000/1617281
505.13/270.41	c cleaning 9984 clauses out of 20023 with flag 1612001/1627282
507.91/271.91	c cleaning 10012 clauses out of 20038 with flag 1622000/1637281
510.68/273.43	c cleaning 9987 clauses out of 20027 with flag 1632001/1647282
513.26/274.91	c cleaning 9997 clauses out of 20039 with flag 1642000/1657281
516.72/276.77	c cleaning 10003 clauses out of 20042 with flag 1652000/1667281
519.50/278.28	c cleaning 9997 clauses out of 20039 with flag 1662000/1677281
522.45/279.89	c cleaning 10002 clauses out of 20042 with flag 1672000/1687281
525.64/281.58	c cleaning 10001 clauses out of 20041 with flag 1682001/1697282
528.48/283.15	c cleaning 10003 clauses out of 20039 with flag 1692000/1707281
531.66/284.83	c cleaning 10006 clauses out of 20037 with flag 1702001/1717282
534.42/286.34	c cleaning 10002 clauses out of 20030 with flag 1712000/1727281
537.20/287.85	c cleaning 9996 clauses out of 20028 with flag 1722000/1737281
540.27/289.51	c cleaning 10006 clauses out of 20032 with flag 1732000/1747281
543.04/291.06	c cleaning 9982 clauses out of 20026 with flag 1742000/1757281
546.80/293.06	c cleaning 9999 clauses out of 20044 with flag 1752000/1767281
549.58/294.50	c cleaning 10010 clauses out of 20046 with flag 1762001/1777282
552.25/296.00	c cleaning 10006 clauses out of 20036 with flag 1772001/1787282
554.81/297.44	c cleaning 10004 clauses out of 20030 with flag 1782001/1797282
557.76/299.01	c cleaning 10002 clauses out of 20026 with flag 1792001/1807282
560.32/300.47	c cleaning 9997 clauses out of 20023 with flag 1802000/1817281
563.20/302.04	c cleaning 10001 clauses out of 20026 with flag 1812000/1827281
565.75/303.51	c cleaning 10002 clauses out of 20026 with flag 1822001/1837282
568.50/304.94	c cleaning 9998 clauses out of 20023 with flag 1832000/1847281
571.05/306.38	c cleaning 9999 clauses out of 20025 with flag 1842000/1857281
573.95/307.95	c cleaning 10002 clauses out of 20026 with flag 1852000/1867281
576.69/309.46	c cleaning 10001 clauses out of 20024 with flag 1862000/1877281
579.44/310.94	c cleaning 9999 clauses out of 20024 with flag 1872001/1887282
582.24/312.49	c cleaning 10002 clauses out of 20024 with flag 1882000/1897281
585.24/314.19	c cleaning 9998 clauses out of 20022 with flag 1892000/1907281
588.23/315.76	c cleaning 10003 clauses out of 20025 with flag 1902001/1917282
590.93/317.22	c cleaning 9997 clauses out of 20021 with flag 1912000/1927281
593.67/318.77	c cleaning 10000 clauses out of 20025 with flag 1922001/1937282
596.50/320.38	c cleaning 9998 clauses out of 20024 with flag 1932000/1947281
599.45/321.91	c cleaning 10007 clauses out of 20028 with flag 1942002/1957283
602.23/323.43	c cleaning 9998 clauses out of 20019 with flag 1952000/1967281
604.93/324.99	c cleaning 9999 clauses out of 20021 with flag 1962000/1977281
607.97/326.64	c cleaning 10002 clauses out of 20022 with flag 1972000/1987281
610.90/328.24	c cleaning 9978 clauses out of 20021 with flag 1982001/1997282
613.83/329.85	c cleaning 10012 clauses out of 20042 with flag 1992000/2007281
616.57/331.35	c cleaning 10010 clauses out of 20030 with flag 2002000/2017281
619.79/333.16	c cleaning 9994 clauses out of 20020 with flag 2012000/2027281
623.15/334.96	c cleaning 9986 clauses out of 20027 with flag 2022001/2037282
626.90/336.92	c cleaning 9992 clauses out of 20041 with flag 2032001/2047282
629.66/338.41	c cleaning 10012 clauses out of 20048 with flag 2042000/2057281
632.49/340.08	c cleaning 10002 clauses out of 20037 with flag 2052001/2067282
635.43/341.67	c cleaning 10001 clauses out of 20035 with flag 2062001/2077282
638.20/343.18	c cleaning 10008 clauses out of 20033 with flag 2072000/2087281
641.13/344.71	c cleaning 10001 clauses out of 20027 with flag 2082002/2097283
643.96/346.33	c cleaning 9998 clauses out of 20025 with flag 2092001/2107282
646.90/347.91	c cleaning 9995 clauses out of 20026 with flag 2102000/2117281
649.85/349.54	c cleaning 10009 clauses out of 20032 with flag 2112001/2127282
652.99/351.27	c cleaning 10001 clauses out of 20022 with flag 2122000/2137281
657.02/353.48	c cleaning 9997 clauses out of 20021 with flag 2132000/2147281
660.61/355.37	c cleaning 9993 clauses out of 20024 with flag 2142000/2157281
663.32/356.88	c cleaning 10000 clauses out of 20032 with flag 2152001/2167282
666.05/358.38	c cleaning 10010 clauses out of 20031 with flag 2162000/2177281
669.28/360.15	c cleaning 9994 clauses out of 20021 with flag 2172000/2187281
672.44/361.90	c cleaning 9990 clauses out of 20028 with flag 2182001/2197282
675.96/363.76	c cleaning 10002 clauses out of 20038 with flag 2192001/2207282
679.50/365.67	c cleaning 9999 clauses out of 20035 with flag 2202000/2217281
683.32/367.73	c cleaning 9999 clauses out of 20036 with flag 2212000/2227281
687.65/370.01	c cleaning 9992 clauses out of 20037 with flag 2222000/2237281
692.39/372.54	c cleaning 10003 clauses out of 20046 with flag 2232001/2247282
697.36/375.16	c cleaning 9991 clauses out of 20043 with flag 2242001/2257282
702.36/377.86	c cleaning 10003 clauses out of 20052 with flag 2252001/2267282
707.09/380.37	c cleaning 9998 clauses out of 20049 with flag 2262001/2277282
712.03/382.90	c cleaning 10011 clauses out of 20051 with flag 2272001/2287282
715.56/384.91	c cleaning 9999 clauses out of 20039 with flag 2282000/2297281
719.79/387.13	c cleaning 10004 clauses out of 20040 with flag 2292000/2307281
723.50/389.12	c cleaning 10000 clauses out of 20036 with flag 2302000/2317281
727.22/391.17	c cleaning 9994 clauses out of 20036 with flag 2312000/2327281
730.75/393.06	c cleaning 10003 clauses out of 20042 with flag 2322000/2337281
734.74/395.21	c cleaning 9999 clauses out of 20039 with flag 2332000/2347281
738.31/397.19	c cleaning 9997 clauses out of 20040 with flag 2342000/2357281
742.21/399.23	c cleaning 10011 clauses out of 20043 with flag 2352000/2367281
745.71/401.17	c cleaning 10004 clauses out of 20033 with flag 2362001/2377282
749.70/403.33	c cleaning 9990 clauses out of 20028 with flag 2372000/2387281
753.42/405.39	c cleaning 9996 clauses out of 20039 with flag 2382001/2397282
757.54/407.51	c cleaning 9988 clauses out of 20042 with flag 2392000/2407281
761.47/409.69	c cleaning 10010 clauses out of 20055 with flag 2402001/2417282
765.66/411.93	c cleaning 10002 clauses out of 20044 with flag 2412000/2427281
769.58/414.01	c cleaning 10011 clauses out of 20042 with flag 2422000/2437281
772.94/415.89	c cleaning 10003 clauses out of 20031 with flag 2432000/2447281
776.41/417.75	c cleaning 9992 clauses out of 20029 with flag 2442001/2457282
780.20/419.87	c cleaning 9996 clauses out of 20037 with flag 2452001/2467282
783.92/421.83	c cleaning 9997 clauses out of 20040 with flag 2462000/2477281
788.43/424.25	c cleaning 10007 clauses out of 20043 with flag 2472000/2487281
791.94/426.11	c cleaning 9994 clauses out of 20037 with flag 2482001/2497282
795.32/428.08	c cleaning 10001 clauses out of 20042 with flag 2492000/2507281
799.62/430.36	c cleaning 9999 clauses out of 20042 with flag 2502001/2517282
803.54/432.46	c cleaning 9997 clauses out of 20043 with flag 2512001/2527282
807.05/434.30	c cleaning 9993 clauses out of 20045 with flag 2522000/2537281
810.41/436.29	c cleaning 10005 clauses out of 20052 with flag 2532000/2547281
813.71/438.10	c cleaning 10001 clauses out of 20048 with flag 2542001/2557282
817.23/440.00	c cleaning 9999 clauses out of 20047 with flag 2552001/2567282
820.91/441.93	c cleaning 9994 clauses out of 20047 with flag 2562000/2577281
824.49/443.98	c cleaning 10003 clauses out of 20053 with flag 2572000/2587281
827.99/445.83	c cleaning 10002 clauses out of 20051 with flag 2582001/2597282
831.53/447.74	c cleaning 9996 clauses out of 20048 with flag 2592000/2607281
834.99/449.69	c cleaning 10004 clauses out of 20053 with flag 2602001/2617282
838.57/451.67	c cleaning 10000 clauses out of 20048 with flag 2612000/2627281
842.27/453.61	c cleaning 9998 clauses out of 20048 with flag 2622000/2637281
845.78/455.55	c cleaning 10001 clauses out of 20050 with flag 2632000/2647281
849.27/457.41	c cleaning 10018 clauses out of 20049 with flag 2642000/2657281
852.24/459.15	c cleaning 9993 clauses out of 20031 with flag 2652000/2667281
855.35/460.87	c cleaning 10003 clauses out of 20038 with flag 2662000/2677281
858.63/462.62	c cleaning 10004 clauses out of 20035 with flag 2672000/2687281
861.92/464.41	c cleaning 10006 clauses out of 20032 with flag 2682001/2697282
865.06/466.29	c cleaning 9992 clauses out of 20025 with flag 2692000/2707281
868.56/468.12	c cleaning 9999 clauses out of 20033 with flag 2702000/2717281
872.04/470.04	c cleaning 10005 clauses out of 20034 with flag 2712000/2727281
875.13/471.70	c cleaning 9996 clauses out of 20030 with flag 2722001/2737282
878.47/473.62	c cleaning 10000 clauses out of 20033 with flag 2732000/2747281
881.75/475.40	c cleaning 9999 clauses out of 20033 with flag 2742000/2757281
884.64/477.00	c cleaning 10003 clauses out of 20034 with flag 2752000/2767281
887.71/478.78	c cleaning 10004 clauses out of 20032 with flag 2762001/2777282
891.29/480.72	c cleaning 9999 clauses out of 20027 with flag 2772000/2787281
894.53/482.53	c cleaning 9993 clauses out of 20028 with flag 2782000/2797281
897.82/484.32	c cleaning 10006 clauses out of 20036 with flag 2792001/2807282
901.34/486.24	c cleaning 9998 clauses out of 20030 with flag 2802001/2817282
904.85/488.29	c cleaning 9993 clauses out of 20032 with flag 2812001/2827282
907.93/489.95	c cleaning 10007 clauses out of 20038 with flag 2822000/2837281
910.61/491.49	c cleaning 10006 clauses out of 20031 with flag 2832000/2847281
913.89/493.20	c cleaning 9996 clauses out of 20026 with flag 2842001/2857282
917.44/495.27	c cleaning 10005 clauses out of 20030 with flag 2852001/2867282
920.72/497.07	c cleaning 10000 clauses out of 20025 with flag 2862001/2877282
924.40/499.07	c cleaning 10008 clauses out of 20024 with flag 2872000/2887281
927.87/500.91	c cleaning 9993 clauses out of 20016 with flag 2882000/2897281
931.40/502.97	c cleaning 10001 clauses out of 20023 with flag 2892000/2907281
934.68/504.77	c cleaning 10003 clauses out of 20023 with flag 2902001/2917282
938.16/506.69	c cleaning 9998 clauses out of 20019 with flag 2912000/2927281
941.84/508.65	c cleaning 10001 clauses out of 20021 with flag 2922000/2937281
945.60/510.70	c cleaning 10004 clauses out of 20021 with flag 2932001/2947282
949.28/512.72	c cleaning 10000 clauses out of 20017 with flag 2942001/2957282
952.98/514.73	c cleaning 9992 clauses out of 20017 with flag 2952001/2967282
956.25/516.60	c cleaning 10000 clauses out of 20024 with flag 2962000/2977281
959.79/518.52	c cleaning 10003 clauses out of 20025 with flag 2972001/2987282
962.67/520.11	c cleaning 9994 clauses out of 20021 with flag 2982000/2997281
965.77/521.86	c cleaning 10008 clauses out of 20028 with flag 2992001/3007282
968.65/523.47	c cleaning 9997 clauses out of 20020 with flag 3002001/3017282
971.99/525.36	c cleaning 9993 clauses out of 20022 with flag 3012000/3027281
975.67/527.33	c cleaning 9993 clauses out of 20029 with flag 3022000/3037281
979.35/529.35	c cleaning 10004 clauses out of 20036 with flag 3032000/3047281
982.24/530.94	c cleaning 10001 clauses out of 20033 with flag 3042001/3057282
986.17/533.19	c cleaning 9999 clauses out of 20032 with flag 3052001/3067282
990.06/535.28	c cleaning 10002 clauses out of 20032 with flag 3062000/3077281
993.14/536.92	c cleaning 10006 clauses out of 20031 with flag 3072001/3087282
997.23/539.14	c cleaning 9992 clauses out of 20025 with flag 3082001/3097282
1001.56/541.59	c cleaning 9999 clauses out of 20033 with flag 3092001/3107282
1005.85/543.80	c cleaning 9999 clauses out of 20033 with flag 3102000/3117281
1009.32/545.76	c cleaning 10006 clauses out of 20034 with flag 3112000/3127281
1013.01/547.75	c cleaning 10005 clauses out of 20029 with flag 3122001/3137282
1016.71/549.81	c cleaning 10002 clauses out of 20024 with flag 3132001/3147282
1020.39/551.87	c cleaning 10002 clauses out of 20022 with flag 3142001/3157282
1025.07/554.36	c cleaning 10001 clauses out of 20019 with flag 3152000/3167281
1029.37/556.68	c cleaning 9998 clauses out of 20018 with flag 3162000/3177281
1033.44/558.93	c cleaning 9990 clauses out of 20020 with flag 3172000/3187281
1036.91/560.83	c cleaning 10003 clauses out of 20030 with flag 3182000/3197281
1040.56/562.85	c cleaning 9998 clauses out of 20027 with flag 3192000/3207281
1044.23/564.81	c cleaning 10002 clauses out of 20029 with flag 3202000/3217281
1047.76/566.86	c cleaning 9998 clauses out of 20027 with flag 3212000/3227281
1051.26/568.79	c cleaning 9999 clauses out of 20029 with flag 3222000/3237281
1054.88/570.70	c cleaning 10002 clauses out of 20031 with flag 3232001/3247282
1058.14/572.55	c cleaning 9999 clauses out of 20028 with flag 3242000/3257281
1061.49/574.47	c cleaning 10001 clauses out of 20029 with flag 3252000/3267281
1064.74/576.29	c cleaning 9997 clauses out of 20028 with flag 3262000/3277281
1067.99/578.08	c cleaning 9999 clauses out of 20032 with flag 3272001/3287282
1071.84/580.10	c cleaning 9997 clauses out of 20033 with flag 3282001/3297282
1076.18/582.53	c cleaning 9999 clauses out of 20036 with flag 3292001/3307282
1081.05/585.17	c cleaning 9998 clauses out of 20037 with flag 3302001/3317282
1084.89/587.23	c cleaning 9992 clauses out of 20038 with flag 3312000/3327281
1088.74/589.37	c cleaning 10002 clauses out of 20046 with flag 3322000/3337281
1093.05/591.79	c cleaning 10000 clauses out of 20045 with flag 3332001/3347282
1097.11/593.99	c cleaning 10005 clauses out of 20044 with flag 3342000/3357281
1101.39/596.29	c cleaning 9988 clauses out of 20039 with flag 3352000/3367281
1105.80/598.63	c cleaning 10004 clauses out of 20051 with flag 3362000/3377281
1110.34/601.12	c cleaning 10005 clauses out of 20047 with flag 3372000/3387281
1113.99/603.14	c cleaning 9998 clauses out of 20042 with flag 3382000/3397281
1117.85/605.21	c cleaning 9997 clauses out of 20045 with flag 3392001/3407282
1121.70/607.34	c cleaning 10003 clauses out of 20048 with flag 3402001/3417282
1126.01/609.76	c cleaning 9997 clauses out of 20045 with flag 3412001/3427282
1129.87/611.84	c cleaning 10006 clauses out of 20048 with flag 3422001/3437282
1133.57/613.84	c cleaning 9993 clauses out of 20041 with flag 3432000/3447281
1138.17/616.37	c cleaning 10001 clauses out of 20049 with flag 3442001/3457282
1143.09/619.03	c cleaning 10000 clauses out of 20047 with flag 3452000/3467281
1146.56/620.98	c cleaning 10009 clauses out of 20048 with flag 3462001/3477282
1149.80/622.77	c cleaning 9999 clauses out of 20038 with flag 3472000/3487281
1153.06/624.56	c cleaning 10007 clauses out of 20039 with flag 3482000/3497281
1156.78/626.61	c cleaning 9993 clauses out of 20032 with flag 3492000/3507281
1161.45/629.13	c cleaning 10002 clauses out of 20039 with flag 3502000/3517281
1166.28/631.72	c cleaning 10001 clauses out of 20037 with flag 3512000/3527281
1171.13/634.34	c cleaning 9998 clauses out of 20036 with flag 3522000/3537281
1176.05/637.05	c cleaning 9998 clauses out of 20038 with flag 3532000/3547281
1181.10/639.73	c cleaning 10001 clauses out of 20040 with flag 3542000/3557281
1185.97/642.33	c cleaning 9998 clauses out of 20039 with flag 3552000/3567281
1190.80/644.95	c cleaning 10002 clauses out of 20041 with flag 3562000/3577281
1195.85/647.61	c cleaning 9999 clauses out of 20039 with flag 3572000/3587281
1200.70/650.23	c cleaning 10001 clauses out of 20040 with flag 3582000/3597281
1205.76/652.96	c cleaning 10000 clauses out of 20039 with flag 3592000/3607281
1210.62/655.53	c cleaning 9996 clauses out of 20039 with flag 3602000/3617281
1215.42/658.19	c cleaning 10001 clauses out of 20043 with flag 3612000/3627281
1219.47/660.32	c cleaning 10007 clauses out of 20043 with flag 3622001/3637282
1222.52/662.10	c cleaning 10003 clauses out of 20036 with flag 3632001/3647282
1225.78/663.82	c cleaning 9998 clauses out of 20032 with flag 3642000/3657281
1229.13/665.74	c cleaning 10004 clauses out of 20034 with flag 3652000/3667281
1233.18/667.93	c cleaning 9996 clauses out of 20030 with flag 3662000/3677281
1237.43/670.25	c cleaning 9988 clauses out of 20034 with flag 3672000/3687281
1242.08/672.74	c cleaning 9998 clauses out of 20046 with flag 3682000/3697281
1245.39/674.60	c cleaning 10007 clauses out of 20049 with flag 3692001/3707282
1248.24/676.30	c cleaning 10004 clauses out of 20042 with flag 3702001/3717282
1251.29/677.99	c cleaning 10003 clauses out of 20037 with flag 3712000/3727281
1254.34/679.67	c cleaning 10001 clauses out of 20035 with flag 3722001/3737282
1257.66/681.56	c cleaning 9989 clauses out of 20033 with flag 3732000/3747281
1260.70/683.27	c cleaning 10009 clauses out of 20045 with flag 3742001/3757282
1264.16/685.15	c cleaning 9997 clauses out of 20036 with flag 3752001/3767282
1268.43/687.44	c cleaning 10000 clauses out of 20038 with flag 3762000/3777281
1272.55/689.80	c cleaning 9998 clauses out of 20039 with flag 3772001/3787282
1276.16/691.78	c cleaning 10003 clauses out of 20040 with flag 3782000/3797281
1279.61/693.60	c cleaning 10003 clauses out of 20037 with flag 3792000/3807281
1283.07/695.52	c cleaning 10001 clauses out of 20035 with flag 3802001/3817282
1286.98/697.75	c cleaning 9997 clauses out of 20034 with flag 3812001/3827282
1290.83/699.82	c cleaning 10000 clauses out of 20037 with flag 3822001/3837282
1294.52/701.84	c cleaning 9999 clauses out of 20037 with flag 3832001/3847282
1298.13/703.88	c cleaning 10001 clauses out of 20038 with flag 3842001/3857282
1302.04/706.06	c cleaning 9998 clauses out of 20037 with flag 3852001/3867282
1305.69/708.07	c cleaning 10005 clauses out of 20038 with flag 3862000/3877281
1309.34/710.07	c cleaning 9997 clauses out of 20034 with flag 3872001/3887282
1313.19/712.10	c cleaning 10002 clauses out of 20037 with flag 3882001/3897282
1316.77/714.14	c cleaning 9994 clauses out of 20034 with flag 3892000/3907281
1320.23/716.02	c cleaning 10000 clauses out of 20040 with flag 3902000/3917281
1323.46/717.86	c cleaning 9999 clauses out of 20040 with flag 3912000/3927281
1326.91/719.71	c cleaning 10000 clauses out of 20041 with flag 3922000/3937281
1330.32/721.63	c cleaning 10001 clauses out of 20042 with flag 3932001/3947282
1333.73/723.54	c cleaning 10001 clauses out of 20040 with flag 3942000/3957281
1337.19/725.45	c cleaning 9997 clauses out of 20040 with flag 3952001/3967282
1340.43/727.24	c cleaning 10007 clauses out of 20042 with flag 3962000/3977281
1343.41/728.99	c cleaning 10012 clauses out of 20035 with flag 3972000/3987281
1346.46/730.68	c cleaning 9987 clauses out of 20023 with flag 3982000/3997281
1349.71/732.44	c cleaning 9993 clauses out of 20036 with flag 3992000/4007281
1353.56/734.57	c cleaning 10002 clauses out of 20043 with flag 4002000/4017281
1356.66/736.39	c cleaning 10000 clauses out of 20041 with flag 4012000/4027281
1359.95/738.19	c cleaning 9995 clauses out of 20042 with flag 4022001/4037282
1363.37/740.02	c cleaning 9995 clauses out of 20047 with flag 4032001/4047282
1368.62/742.88	c cleaning 9998 clauses out of 20052 with flag 4042001/4057282
1374.31/745.95	c cleaning 9999 clauses out of 20054 with flag 4052001/4067282
1379.76/748.81	c cleaning 9998 clauses out of 20055 with flag 4062001/4077282
1385.01/751.61	c cleaning 10004 clauses out of 20057 with flag 4072001/4087282
1390.26/754.44	c cleaning 10001 clauses out of 20053 with flag 4082001/4097282
1395.56/757.36	c cleaning 9995 clauses out of 20052 with flag 4092001/4107282
1400.85/760.18	c cleaning 10003 clauses out of 20056 with flag 4102000/4117281
1406.06/762.93	c cleaning 9997 clauses out of 20053 with flag 4112000/4127281
1411.31/765.79	c cleaning 10005 clauses out of 20056 with flag 4122000/4137281
1416.85/768.78	c cleaning 10000 clauses out of 20052 with flag 4132001/4147282
1422.32/771.67	c cleaning 9999 clauses out of 20051 with flag 4142000/4157281
1427.62/774.48	c cleaning 9999 clauses out of 20052 with flag 4152000/4167281
1432.82/777.24	c cleaning 10015 clauses out of 20054 with flag 4162001/4177282
1437.32/779.78	c cleaning 9995 clauses out of 20038 with flag 4172000/4187281
1441.38/781.99	c cleaning 10004 clauses out of 20043 with flag 4182000/4197281
1445.66/784.31	c cleaning 9995 clauses out of 20039 with flag 4192000/4207281
1449.93/786.55	c cleaning 10003 clauses out of 20044 with flag 4202000/4217281
1454.57/789.18	c cleaning 9996 clauses out of 20042 with flag 4212001/4227282
1459.64/791.82	c cleaning 10002 clauses out of 20045 with flag 4222000/4237281
1463.68/794.11	c cleaning 10000 clauses out of 20044 with flag 4232001/4247282
1468.73/796.72	c cleaning 10000 clauses out of 20044 with flag 4242001/4257282
1473.64/799.47	c cleaning 10001 clauses out of 20043 with flag 4252000/4267281
1478.69/802.11	c cleaning 9996 clauses out of 20043 with flag 4262001/4277282
1483.53/804.73	c cleaning 10003 clauses out of 20047 with flag 4272001/4287282
1488.39/807.40	c cleaning 9997 clauses out of 20043 with flag 4282000/4297281
1493.42/810.05	c cleaning 9999 clauses out of 20047 with flag 4292001/4307282
1497.87/812.41	c cleaning 10004 clauses out of 20048 with flag 4302001/4317282
1502.73/815.04	c cleaning 9997 clauses out of 20044 with flag 4312001/4327282
1507.56/817.64	c cleaning 10001 clauses out of 20047 with flag 4322001/4337282
1511.93/820.07	c cleaning 9998 clauses out of 20046 with flag 4332001/4347282
1517.00/822.73	c cleaning 9999 clauses out of 20048 with flag 4342001/4357282
1522.03/825.43	c cleaning 9998 clauses out of 20049 with flag 4352001/4367282
1526.27/827.79	c cleaning 10007 clauses out of 20051 with flag 4362001/4377282
1531.01/830.37	c cleaning 10005 clauses out of 20044 with flag 4372001/4387282
1535.05/832.58	c cleaning 9992 clauses out of 20038 with flag 4382000/4397281
1539.89/835.15	c cleaning 10001 clauses out of 20047 with flag 4392001/4407282
1544.34/837.54	c cleaning 10006 clauses out of 20046 with flag 4402001/4417282
1548.46/839.81	c cleaning 9995 clauses out of 20039 with flag 4412000/4427281
1552.90/842.25	c cleaning 10006 clauses out of 20045 with flag 4422001/4437282
1556.75/844.39	c cleaning 10004 clauses out of 20038 with flag 4432000/4447281
1561.39/846.85	c cleaning 10003 clauses out of 20034 with flag 4442000/4457281
1566.11/849.42	c cleaning 9999 clauses out of 20031 with flag 4452000/4467281
1570.95/852.06	c cleaning 10000 clauses out of 20032 with flag 4462000/4477281
1574.99/854.26	c cleaning 10013 clauses out of 20032 with flag 4472000/4487281
1578.24/856.07	c cleaning 10000 clauses out of 20020 with flag 4482001/4497282
1581.12/857.77	c cleaning 10000 clauses out of 20019 with flag 4492000/4507281
1583.96/859.39	c cleaning 9998 clauses out of 20020 with flag 4502001/4517282
1587.65/861.34	c cleaning 9979 clauses out of 20022 with flag 4512001/4527282
1590.66/863.00	c cleaning 10000 clauses out of 20042 with flag 4522000/4537281
1593.75/864.85	c cleaning 10013 clauses out of 20042 with flag 4532000/4547281
1597.99/867.14	c cleaning 9983 clauses out of 20030 with flag 4542001/4557282
1603.04/869.82	c cleaning 9999 clauses out of 20046 with flag 4552000/4567281
1606.69/871.84	c cleaning 10014 clauses out of 20047 with flag 4562000/4577281
1610.97/874.22	c cleaning 10002 clauses out of 20033 with flag 4572000/4587281
1614.22/876.09	c cleaning 10000 clauses out of 20032 with flag 4582001/4597282
1618.86/878.55	c cleaning 10000 clauses out of 20031 with flag 4592000/4607281
1622.71/880.62	c cleaning 10008 clauses out of 20031 with flag 4602000/4617281
1625.87/882.44	c cleaning 9994 clauses out of 20024 with flag 4612001/4627282
1628.71/884.01	c cleaning 10004 clauses out of 20029 with flag 4622000/4637281
1632.76/886.24	c cleaning 9997 clauses out of 20025 with flag 4632000/4647281
1637.00/888.57	c cleaning 10001 clauses out of 20028 with flag 4642000/4657281
1641.53/891.02	c cleaning 9998 clauses out of 20027 with flag 4652000/4667281
1644.94/892.98	c cleaning 9997 clauses out of 20029 with flag 4662000/4677281
1648.18/894.74	c cleaning 9999 clauses out of 20033 with flag 4672001/4687282
1651.03/896.34	c cleaning 10001 clauses out of 20034 with flag 4682001/4697282
1654.11/898.10	c cleaning 10002 clauses out of 20032 with flag 4692000/4707281
1656.98/899.76	c cleaning 10009 clauses out of 20031 with flag 4702001/4717282
1659.81/901.33	c cleaning 10007 clauses out of 20023 with flag 4712002/4727283
1662.66/903.02	c cleaning 9992 clauses out of 20015 with flag 4722001/4737282
1665.94/904.82	c cleaning 10007 clauses out of 20022 with flag 4732000/4747281
1668.98/906.53	c cleaning 9996 clauses out of 20016 with flag 4742001/4757282
1672.23/908.36	c cleaning 9991 clauses out of 20019 with flag 4752000/4767281
1675.48/910.16	c cleaning 9997 clauses out of 20029 with flag 4762001/4777282
1679.35/912.34	c cleaning 10004 clauses out of 20032 with flag 4772001/4787282
1683.80/914.79	c cleaning 10001 clauses out of 20028 with flag 4782001/4797282
1688.44/917.20	c cleaning 10003 clauses out of 20027 with flag 4792001/4807282
1693.28/919.86	c cleaning 10002 clauses out of 20024 with flag 4802001/4817282
1697.98/922.46	c cleaning 9999 clauses out of 20022 with flag 4812001/4827282
1702.63/924.99	c cleaning 10001 clauses out of 20023 with flag 4822001/4837282
1707.47/927.54	c cleaning 10000 clauses out of 20022 with flag 4832001/4847282
1711.92/929.96	c cleaning 9998 clauses out of 20022 with flag 4842001/4857282
1716.80/932.67	c cleaning 10000 clauses out of 20024 with flag 4852001/4867282
1721.44/935.14	c cleaning 9998 clauses out of 20024 with flag 4862001/4877282
1726.09/937.64	c cleaning 10003 clauses out of 20026 with flag 4872001/4887282
1730.94/940.21	c cleaning 9999 clauses out of 20023 with flag 4882001/4897282
1735.64/942.87	c cleaning 9999 clauses out of 20024 with flag 4892001/4907282
1740.68/945.55	c cleaning 10002 clauses out of 20025 with flag 4902001/4917282
1745.12/947.99	c cleaning 9997 clauses out of 20023 with flag 4912001/4927282
1749.17/950.15	c cleaning 9994 clauses out of 20026 with flag 4922001/4937282
1753.28/952.48	c cleaning 9997 clauses out of 20032 with flag 4932001/4947282
1757.54/954.81	c cleaning 9998 clauses out of 20034 with flag 4942000/4957281
1761.81/957.04	c cleaning 10001 clauses out of 20036 with flag 4952000/4967281
1766.21/959.44	c cleaning 10002 clauses out of 20036 with flag 4962001/4977282
1770.74/961.94	c cleaning 9998 clauses out of 20034 with flag 4972001/4987282
1774.78/964.18	c cleaning 9999 clauses out of 20035 with flag 4982000/4997281
1779.21/966.50	c cleaning 10000 clauses out of 20036 with flag 4992000/5007281
1783.45/968.85	c cleaning 10001 clauses out of 20037 with flag 5002001/5017282
1787.99/971.38	c cleaning 10004 clauses out of 20036 with flag 5012001/5027282
1792.38/973.76	c cleaning 9994 clauses out of 20031 with flag 5022000/5037281
1797.03/976.20	c cleaning 10002 clauses out of 20037 with flag 5032000/5047281
1800.13/977.95	c starts		: 277
1800.13/977.95	c conflicts		: 5054399
1800.13/977.95	c decisions		: 6062578
1800.13/977.95	c propagations		: 75964588
1800.13/977.95	c inspects		: 1593566603
1800.13/977.95	c shortcuts		: 0
1800.13/977.95	c learnt literals	: 0
1800.13/977.95	c learnt binary clauses	: 236
1800.13/977.95	c learnt ternary clauses	: 438
1800.13/977.95	c learnt constraints	: 5054399
1800.13/977.95	c ignored constraints	: 0
1800.13/977.95	c root simplifications	: 0
1800.13/977.95	c removed literals (reason simplification)	: 673793727
1800.13/977.95	c reason swapping (by a shorter reason)	: 0
1800.13/977.95	c Calls to reduceDB	: 507
1800.13/977.95	c number of reductions to clauses (during analyze)	: 0
1800.13/977.95	c number of learned constraints concerned by reduction	: 0
1800.13/977.95	c number of learning phase by resolution	: 0
1800.13/977.95	c number of learning phase by cutting planes	: 0
1800.13/977.95	c speed (assignments/second)	: 77984.3168213563
1800.13/977.95	c non guided choices	138
1800.13/977.96	c learnt constraints type 
1800.13/977.96	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 236
1800.13/977.96	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16955
1800.13/977.96	c constraints type 
1800.13/977.96	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 350
1800.13/977.96	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.13/977.96	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2844
1800.13/977.96	c constraints type 
1800.13/977.96	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2844
1800.13/977.96	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 350
1800.13/977.96	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.13/977.96	s SATISFIABLE
1800.13/977.96	v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 -x190 x191 -x192 x193 -x194 -x195 x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 x208 -x209 -x210 -x211 x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 x225 -x226 -x227 -x228 -x229 x230 x231 -x232 -x233 x234 -x235 x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 x262 -x263 x264 x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 -x301 x302 -x303 x304 -x305 -x306 -x307 x308 x309 -x310 -x311 -x312 x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 -x354 -x355 x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 -x449 -x450 -x451 x452 -x453 -x454 x455 -x456 -x457 x458 -x459 x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 x476 -x477 -x478 x479 -x480 -x481 x482 -x483 x484 -x485 -x486 -x487 x488 -x489 -x490 x491 -x492 -x493 x494 x495 -x496 -x497 x498 -x499 x500 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528 x529 -x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 x540 -x541 x542 -x543 x544 -x545 -x546 -x547 x548 x549 -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 x560 -x561 -x562 x563 -x564 x565 -x566 -x567 x568 -x569 x570 -x571 x572 -x573 x574 -x575 x576 x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 -x587 x588 -x589 x590 -x591 x592 -x593 -x594 -x595 x596 -x597 -x598 x599 -x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 -x613 x614 -x615 x616 -x617 -x618 -x619 x620 x621 -x622 -x623 -x624 -x625 x626 x627 -x628 -x629 x630 -x631 x632 -x633 x634 -x635 x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 x671 -x672 -x673 x674 -x675 x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 x685 -x686 -x687 x688 -x689 x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 x709 -x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 x746 x747 -x748 -x749 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 -x761 -x762 -x763 x764 x765 -x766 -x767 -x768 -x769 x770 -x771 x772 -x773 -x774 -x775 x776 x777 -x778 -x779 -x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 x790 -x791 x792 
1800.13/977.96	c objective function=311
1800.13/977.96	c Total wall clock time (in seconds): 977.853

Verifier Data 

OK	311

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

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

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


[startup+0 s]
/proc/loadavg: 3.85 3.83 3.00 2/578 6472
/proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 2172 0 1 0 0 0 0 0 25 0 2 0 830515390 10681323520 1874 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2607745 1888 906 9 0 2598901 0
[pid=6472/tid=6473] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 8823 0 1 0 0 0 0 0 25 0 10 0 830515391 10703900672 9648 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741217742888 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9648 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) R 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9649 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9649 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9650 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9651 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9651 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9652 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9653 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.068299 s]
/proc/loadavg: 3.85 3.83 3.00 2/578 6472
/proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 11865 0 1 0 4 1 0 0 25 0 18 0 830515390 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2618272 11562 1754 9 0 2609006 0
[pid=6472/tid=6473] ppid=6470 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 10690 0 1 0 4 1 0 0 25 0 18 0 830515391 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11563 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11563 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11564 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11564 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088

[startup+0.10129 s]
/proc/loadavg: 3.85 3.83 3.00 2/578 6472
/proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10540032 CPUtime=0.1 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 830515390 10792992768 12798 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2635008 12799 2093 9 0 2625742 0
[pid=6472/tid=6473] ppid=6470 vsize=10540032 CPUtime=0.08 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 11216 0 1 0 7 1 0 0 25 0 18 0 830515391 10792992768 12799 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741223295796 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12799 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12801 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12801 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540032

[startup+0.30121 s]
/proc/loadavg: 3.85 3.83 3.00 2/578 6472
/proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10542132 CPUtime=0.49 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 15906 0 1 0 47 2 0 0 25 0 18 0 830515390 10795143168 15434 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2635533 15435 2201 9 0 2626267 0
[pid=6472/tid=6473] ppid=6470 vsize=10542132 CPUtime=0.29 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 13181 0 1 0 27 2 0 0 25 0 18 0 830515391 10795143168 15435 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505576537 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15436 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15436 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15437 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15437 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15438 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15438 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15439 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15439 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542132

[startup+0.701139 s]
/proc/loadavg: 3.85 3.83 3.00 2/578 6472
/proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10546244 CPUtime=0.55 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 16302 0 1 0 53 2 0 0 25 0 19 0 830515390 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2636561 15830 2218 9 0 2627295 0
[pid=6472/tid=6473] ppid=6470 vsize=10546244 CPUtime=0.3 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13413 0 1 0 28 2 0 0 25 0 19 0 830515391 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546244

[startup+1.50101 s]
/proc/loadavg: 3.85 3.83 3.00 3/601 6501
/proc/meminfo: memFree=29621512/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10548956 CPUtime=1.29 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 21036 0 1 0 126 3 0 0 25 0 19 0 830515390 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2637239 19144 2230 9 0 2627973 0
[pid=6472/tid=6473] ppid=6470 vsize=10548956 CPUtime=0.31 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13591 0 1 0 29 2 0 0 17 0 19 0 830515391 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6483] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830515393 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6484] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830515394 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6485] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830515394 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6486] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515396 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6487] ppid=6470 vsize=10548956 CPUtime=0.28 cores=0,2,4,6
/proc/6472/task/6487/stat : 6487 (java) R 6470 6472 3716 0 -1 4202560 3663 0 0 0 28 0 0 0 16 0 19 0 830515396 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741221485065 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6488] ppid=6470 vsize=10548956 CPUtime=0.32 cores=0,2,4,6
/proc/6472/task/6488/stat : 6488 (java) R 6470 6472 3716 0 -1 4202560 1637 0 0 0 32 0 0 0 16 0 19 0 830515396 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741219516466 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6472/tid=6489] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515396 10802130944 19146 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6490] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830515396 10802130944 19155 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 10548956

[startup+3.10074 s]
/proc/loadavg: 3.85 3.83 3.00 6/604 6507
/proc/meminfo: memFree=29352656/32950928 swapFree=41528364/67111528

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

/proc/meminfo: memFree=25503748/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10554060 CPUtime=1625.67 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 322086 0 1 0 162506 61 0 0 25 0 22 0 830515390 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2638515 316214 2261 9 0 2629249 0
[pid=6472/tid=6473] ppid=6470 vsize=10554060 CPUtime=0.31 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13774 0 1 0 29 2 0 0 15 0 22 0 830515391 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10554060 CPUtime=0.88 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1423 0 0 0 88 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10554060 CPUtime=0.87 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 360 0 0 0 87 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10554060 CPUtime=0.73 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 280 0 0 0 73 0 0 0 16 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10554060 CPUtime=0.89 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 461 0 0 0 89 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10554060 CPUtime=0.91 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1054 0 0 0 91 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10554060 CPUtime=0.93 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 827 0 0 0 93 0 0 0 16 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10554060 CPUtime=0.83 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1301 0 0 0 83 0 0 0 16 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10554060 CPUtime=0.91 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 798 0 0 0 91 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6483] ppid=6470 vsize=10554060 CPUtime=139.64 cores=0,2,4,6
/proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 97573 0 0 0 13935 29 0 0 15 0 22 0 830515393 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 2 0 0 0
[pid=6472/tid=6484] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6485] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6486] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6487] ppid=6470 vsize=10554060 CPUtime=0.78 cores=0,2,4,6
/proc/6472/task/6487/stat : 6487 (java) S 6470 6472 3716 0 -1 4202560 6969 0 0 0 77 1 0 0 16 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6488] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6
/proc/6472/task/6488/stat : 6488 (java) S 6470 6472 3716 0 -1 4202560 3664 0 0 0 95 0 0 0 15 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 2 0 0 0
[pid=6472/tid=6489] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6490] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6504] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6504/stat : 6504 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830515524 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6508] ppid=6470 vsize=10554060 CPUtime=736.36 cores=0,2,4,6
/proc/6472/task/6508/stat : 6508 (java) R 6470 6472 3716 0 -1 4202560 347 0 0 0 73635 1 0 0 25 0 22 0 830515775 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505166080 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6472/tid=6509] ppid=6470 vsize=10554060 CPUtime=736.62 cores=0,2,4,6
/proc/6472/task/6509/stat : 6509 (java) R 6470 6472 3716 0 -1 4202560 108924 0 0 0 73650 12 0 0 17 0 22 0 830515775 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912506071124 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6510] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6510/stat : 6510 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830515775 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1625.67
Current children cumulated vsize (KiB) 10554060

[startup+942.301 s]
/proc/loadavg: 3.99 3.86 3.53 5/604 6599
/proc/meminfo: memFree=26085532/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10554060 CPUtime=1734.64 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 325143 0 1 0 173401 63 0 0 25 0 22 0 830515390 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2638515 319239 2261 9 0 2629249 0
[pid=6472/tid=6473] ppid=6470 vsize=10554060 CPUtime=0.31 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13774 0 1 0 29 2 0 0 15 0 22 0 830515391 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10554060 CPUtime=0.92 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1423 0 0 0 92 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10554060 CPUtime=0.92 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 360 0 0 0 92 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10554060 CPUtime=0.79 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 292 0 0 0 79 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 477 0 0 0 95 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1063 0 0 0 95 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10554060 CPUtime=0.96 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 828 0 0 0 96 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10554060 CPUtime=0.88 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1303 0 0 0 88 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10554060 CPUtime=0.96 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 803 0 0 0 96 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6483] ppid=6470 vsize=10554060 CPUtime=150.8 cores=0,2,4,6
/proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 100555 0 0 0 15050 30 0 0 15 0 22 0 830515393 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 2 0 0 0
[pid=6472/tid=6484] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6485] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6486] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6487] ppid=6470 vsize=10554060 CPUtime=0.78 cores=0,2,4,6
/proc/6472/task/6487/stat : 6487 (java) S 6470 6472 3716 0 -1 4202560 6969 0 0 0 77 1 0 0 16 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6488] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6
/proc/6472/task/6488/stat : 6488 (java) S 6470 6472 3716 0 -1 4202560 3664 0 0 0 95 0 0 0 15 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 2 0 0 0
[pid=6472/tid=6489] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6490] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6504] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6504/stat : 6504 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830515524 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6508] ppid=6470 vsize=10554060 CPUtime=785.08 cores=0,2,4,6
/proc/6472/task/6508/stat : 6508 (java) R 6470 6472 3716 0 -1 4202560 375 0 0 0 78506 2 0 0 25 0 22 0 830515775 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505673746 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6472/tid=6509] ppid=6470 vsize=10554060 CPUtime=785.33 cores=0,2,4,6
/proc/6472/task/6509/stat : 6509 (java) R 6470 6472 3716 0 -1 4202560 108924 0 0 0 78521 12 0 0 17 0 22 0 830515775 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912506095652 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6510] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6510/stat : 6510 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830515775 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1734.64
Current children cumulated vsize (KiB) 10554060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+977.922 s]
/proc/loadavg: 3.84 3.83 3.53 5/604 6599
/proc/meminfo: memFree=25875204/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=10554060 CPUtime=1800.13 cores=0,2,4,6
/proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 331365 0 1 0 179950 63 0 0 25 0 22 0 830515390 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 2638515 325442 2261 9 0 2629249 0
[pid=6472/tid=6473] ppid=6470 vsize=10554060 CPUtime=0.31 cores=0,2,4,6
/proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13774 0 1 0 29 2 0 0 15 0 22 0 830515391 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6474] ppid=6470 vsize=10554060 CPUtime=0.96 cores=0,2,4,6
/proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1435 0 0 0 96 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6475] ppid=6470 vsize=10554060 CPUtime=0.94 cores=0,2,4,6
/proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 364 0 0 0 94 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6476] ppid=6470 vsize=10554060 CPUtime=0.84 cores=0,2,4,6
/proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 305 0 0 0 84 0 0 0 16 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6477] ppid=6470 vsize=10554060 CPUtime=0.99 cores=0,2,4,6
/proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 478 0 0 0 99 0 0 0 16 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6478] ppid=6470 vsize=10554060 CPUtime=1 cores=0,2,4,6
/proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1135 0 0 0 100 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6479] ppid=6470 vsize=10554060 CPUtime=0.97 cores=0,2,4,6
/proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 830 0 0 0 97 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6480] ppid=6470 vsize=10554060 CPUtime=0.93 cores=0,2,4,6
/proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1345 0 0 0 93 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6481] ppid=6470 vsize=10554060 CPUtime=1.02 cores=0,2,4,6
/proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 807 0 0 0 102 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6483] ppid=6470 vsize=10554060 CPUtime=156.69 cores=0,2,4,6
/proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 106610 0 0 0 15638 31 0 0 15 0 22 0 830515393 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 2 0 0 0
[pid=6472/tid=6484] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6485] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6486] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6487] ppid=6470 vsize=10554060 CPUtime=0.78 cores=0,2,4,6
/proc/6472/task/6487/stat : 6487 (java) S 6470 6472 3716 0 -1 4202560 6969 0 0 0 77 1 0 0 16 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
[pid=6472/tid=6488] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6
/proc/6472/task/6488/stat : 6488 (java) S 6470 6472 3716 0 -1 4202560 3664 0 0 0 95 0 0 0 15 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 2 0 0 0
[pid=6472/tid=6489] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0
[pid=6472/tid=6490] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6504] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6504/stat : 6504 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830515524 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0
[pid=6472/tid=6508] ppid=6470 vsize=10554060 CPUtime=814.74 cores=0,2,4,6
/proc/6472/task/6508/stat : 6508 (java) R 6470 6472 3716 0 -1 4202560 390 0 0 0 81472 2 0 0 25 0 22 0 830515775 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505635243 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6472/tid=6509] ppid=6470 vsize=10554060 CPUtime=815 cores=0,2,4,6
/proc/6472/task/6509/stat : 6509 (java) R 6470 6472 3716 0 -1 4202560 108924 0 0 0 81488 12 0 0 17 0 22 0 830515775 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912506071121 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6472/tid=6510] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6
/proc/6472/task/6510/stat : 6510 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830515775 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10554060

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

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

[startup+978.028 s]
/proc/loadavg: 3.84 3.83 3.53 5/604 6599
/proc/meminfo: memFree=25875204/32950928 swapFree=41528364/67111528
[pid=6472] ppid=6470 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/6472/stat : 6472 (java) Z 6470 6472 3716 0 -1 4203548 331401 0 1 0 179958 69 0 0 17 0 2 0 830515390 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6472/statm: 0 0 0 0 0 0 0
[pid=6472/tid=6510] ppid=6470 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/6472/task/6510/stat : 6510 (java) R 6470 6472 3716 0 -1 4203588 0 0 0 0 0 5 0 0 18 0 2 0 830515775 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 978.029
CPU time (s): 1800.28
CPU user time (s): 1799.59
CPU system time (s): 0.691894
CPU usage (%): 184.072
Max. virtual memory (cumulated for all children) (KiB): 10556696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.691894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331401
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= 37533
involuntary context switches= 19474

runsolver used 5.8951 second user time and 12.867 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-04 14:06:07
IDJOB=3454544
IDBENCH=2185
IDSOLVER=1950
FILE ID=node126/3454544-1307189167
RUNJOBID= node126-1307188252-6022
PBS_JOBID= 13508841
Free space on /tmp= 73796 MiB

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

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

MD5SUM BENCH= 39250f205953aedd83d7a2bcba6bda16
RANDOM SEED=1824498361

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29931216 kB
Buffers:        315152 kB
Cached:         487284 kB
SwapCached:      15388 kB
Active:        2253920 kB
Inactive:       445264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29931216 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:            2924 kB
Writeback:           0 kB
AnonPages:     1894204 kB
Mapped:          31892 kB
Slab:           148868 kB
PageTables:     100656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186746828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73796 MiB
End job on node126 at 2011-06-04 14:22:27