Trace number 3492518

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.1 1795.46

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM67b20cf3e4322ffbf404f0fb862124f3
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.304953
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints122
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 5869
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 solving HOME/instance-3492518-1307910843.wbo
0.10/0.11	c reading problem ... 
0.27/0.21	c ... done. Wall clock time 0.103s.
0.27/0.21	c #vars     1982
0.27/0.21	c #constraints  122
0.27/0.21	c constraints type 
0.27/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 62
0.27/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.53/0.37	c SATISFIABLE
0.53/0.37	c OPTIMIZING...
0.53/0.37	c Got one! Elapsed wall clock time (in seconds):0.26
0.53/0.37	o 151
0.78/0.42	c Got one! Elapsed wall clock time (in seconds):0.305
0.78/0.42	o 31
0.91/0.51	c Got one! Elapsed wall clock time (in seconds):0.392
0.91/0.51	o 30
0.91/0.55	c Got one! Elapsed wall clock time (in seconds):0.443
0.91/0.55	o 26
1.04/0.68	c Got one! Elapsed wall clock time (in seconds):0.565
1.04/0.68	o 15
1.24/0.82	c Got one! Elapsed wall clock time (in seconds):0.706
1.24/0.82	o 10
1.58/1.13	c Got one! Elapsed wall clock time (in seconds):1.022
1.58/1.13	o 5
1.79/1.32	c cleaning 3725 clauses out of 7466 with flag 1000/7466
2.86/2.34	c cleaning 4851 clauses out of 9742 with flag 7001/13467
3.96/3.48	c cleaning 5873 clauses out of 11894 with flag 14004/20470
5.88/5.36	c cleaning 6935 clauses out of 14019 with flag 22002/28468
7.50/6.96	c cleaning 7974 clauses out of 16083 with flag 31001/37467
9.41/8.87	c cleaning 8979 clauses out of 18108 with flag 41000/47466
11.11/10.51	c cleaning 9511 clauses out of 19130 with flag 51001/57467
12.92/12.39	c cleaning 9761 clauses out of 19619 with flag 61001/67467
15.53/14.99	c cleaning 9907 clauses out of 19858 with flag 71001/77467
17.73/17.10	c cleaning 9940 clauses out of 19953 with flag 81003/87469
20.14/19.57	c cleaning 9969 clauses out of 20011 with flag 91001/97467
22.95/22.33	c cleaning 9979 clauses out of 20041 with flag 101000/107466
25.66/25.03	c cleaning 9891 clauses out of 20064 with flag 111002/117468
27.87/27.26	c cleaning 10019 clauses out of 20172 with flag 121001/127467
30.08/29.49	c cleaning 10034 clauses out of 20155 with flag 131003/137469
32.19/31.56	c cleaning 9995 clauses out of 20119 with flag 141001/147467
34.59/33.90	c cleaning 10040 clauses out of 20125 with flag 151002/157468
37.80/37.14	c cleaning 10018 clauses out of 20085 with flag 161002/167468
40.11/39.42	c cleaning 9892 clauses out of 20068 with flag 171003/177469
42.21/41.51	c cleaning 10067 clauses out of 20173 with flag 181000/187466
44.32/43.67	c cleaning 10018 clauses out of 20106 with flag 191000/197466
46.62/45.96	c cleaning 10019 clauses out of 20088 with flag 201000/207466
48.53/47.86	c cleaning 10021 clauses out of 20071 with flag 211002/217468
50.93/50.25	c cleaning 10008 clauses out of 20048 with flag 221000/227466
52.63/51.98	c cleaning 9956 clauses out of 20040 with flag 231000/237466
55.34/54.61	c cleaning 9990 clauses out of 20084 with flag 241000/247466
57.75/57.00	c cleaning 10015 clauses out of 20095 with flag 251001/257467
59.46/58.76	c cleaning 9983 clauses out of 20081 with flag 261002/267468
61.76/61.05	c cleaning 10041 clauses out of 20096 with flag 271000/277466
63.76/63.04	c cleaning 9985 clauses out of 20055 with flag 281000/287466
66.17/65.40	c cleaning 10001 clauses out of 20073 with flag 291003/297469
70.08/69.30	c cleaning 9993 clauses out of 20070 with flag 301001/307467
72.49/71.71	c cleaning 10027 clauses out of 20078 with flag 311002/317468
75.09/74.30	c cleaning 9999 clauses out of 20050 with flag 321001/327467
78.00/77.23	c cleaning 10002 clauses out of 20050 with flag 331000/337466
80.61/79.83	c cleaning 9997 clauses out of 20048 with flag 341000/347466
83.11/82.37	c cleaning 9995 clauses out of 20053 with flag 351002/357468
85.72/84.91	c cleaning 9998 clauses out of 20057 with flag 361001/367467
88.23/87.49	c cleaning 10002 clauses out of 20061 with flag 371003/377469
90.94/90.13	c cleaning 9999 clauses out of 20057 with flag 381001/387467
93.33/92.58	c cleaning 9806 clauses out of 20058 with flag 391001/397467
97.65/96.80	c cleaning 9966 clauses out of 20252 with flag 401001/407467
100.46/99.64	c cleaning 10039 clauses out of 20286 with flag 411001/417467
103.77/102.99	c cleaning 10017 clauses out of 20248 with flag 421002/427468
106.67/105.89	c cleaning 10085 clauses out of 20229 with flag 431000/437466
109.28/108.47	c cleaning 10046 clauses out of 20145 with flag 441001/447467
111.48/110.62	c cleaning 10013 clauses out of 20101 with flag 451003/457469
113.99/113.13	c cleaning 10005 clauses out of 20089 with flag 461004/467470
116.70/115.88	c cleaning 10000 clauses out of 20083 with flag 471003/477469
118.90/118.03	c cleaning 10002 clauses out of 20080 with flag 481000/487466
121.41/120.54	c cleaning 10013 clauses out of 20078 with flag 491000/497466
124.42/123.58	c cleaning 10013 clauses out of 20066 with flag 501001/507467
127.43/126.54	c cleaning 10009 clauses out of 20053 with flag 511001/517467
129.13/128.30	c cleaning 9983 clauses out of 20043 with flag 521000/527466
131.34/130.43	c cleaning 9993 clauses out of 20062 with flag 531002/537468
133.25/132.36	c cleaning 9994 clauses out of 20069 with flag 541002/547468
135.76/134.86	c cleaning 10000 clauses out of 20078 with flag 551005/557471
137.96/137.04	c cleaning 9995 clauses out of 20075 with flag 561002/567468
140.17/139.22	c cleaning 10000 clauses out of 20079 with flag 571001/577467
142.37/141.49	c cleaning 10038 clauses out of 20079 with flag 581001/587467
145.28/144.36	c cleaning 9851 clauses out of 20042 with flag 591002/597468
147.19/146.29	c cleaning 9995 clauses out of 20190 with flag 601001/607467
149.59/148.63	c cleaning 10080 clauses out of 20195 with flag 611001/617467
152.42/151.42	c cleaning 10024 clauses out of 20116 with flag 621002/627468
154.83/153.88	c cleaning 10010 clauses out of 20090 with flag 631000/637466
157.14/156.10	c cleaning 10006 clauses out of 20080 with flag 641000/647466
160.04/159.01	c cleaning 9989 clauses out of 20081 with flag 651007/657473
162.65/161.64	c cleaning 10013 clauses out of 20086 with flag 661001/667467
164.66/163.68	c cleaning 10009 clauses out of 20072 with flag 671000/677466
167.87/166.84	c cleaning 9998 clauses out of 20064 with flag 681001/687467
171.08/170.03	c cleaning 9994 clauses out of 20065 with flag 691000/697466
173.89/172.80	c cleaning 10015 clauses out of 20072 with flag 701001/707467
176.90/175.81	c cleaning 10001 clauses out of 20056 with flag 711000/717466
179.01/177.90	c cleaning 9979 clauses out of 20056 with flag 721001/727467
182.02/180.99	c cleaning 10010 clauses out of 20077 with flag 731001/737467
184.63/183.56	c cleaning 9995 clauses out of 20067 with flag 741001/747467
187.33/186.20	c cleaning 9986 clauses out of 20072 with flag 751001/757467
190.74/189.69	c cleaning 9996 clauses out of 20086 with flag 761001/767467
194.14/193.03	c cleaning 10001 clauses out of 20090 with flag 771001/777467
196.95/195.87	c cleaning 10019 clauses out of 20088 with flag 781000/787466
199.45/198.32	c cleaning 10010 clauses out of 20070 with flag 791001/797467
201.66/200.54	c cleaning 10003 clauses out of 20059 with flag 801000/807466
203.97/202.81	c cleaning 9996 clauses out of 20056 with flag 811000/817466
206.17/205.03	c cleaning 10004 clauses out of 20061 with flag 821001/827467
208.28/207.15	c cleaning 9984 clauses out of 20056 with flag 831000/837466
210.29/209.15	c cleaning 10002 clauses out of 20073 with flag 841001/847467
212.80/211.61	c cleaning 10001 clauses out of 20073 with flag 851003/857469
214.91/213.76	c cleaning 10007 clauses out of 20070 with flag 861001/867467
217.32/216.18	c cleaning 9994 clauses out of 20063 with flag 871001/877467
219.32/218.18	c cleaning 9982 clauses out of 20069 with flag 881001/887467
221.53/220.32	c cleaning 9963 clauses out of 20086 with flag 891000/897466
223.84/222.63	c cleaning 9974 clauses out of 20124 with flag 901001/907467
226.54/225.33	c cleaning 10008 clauses out of 20151 with flag 911002/917468
228.55/227.40	c cleaning 9996 clauses out of 20142 with flag 921001/927467
230.86/229.62	c cleaning 9994 clauses out of 20147 with flag 931002/937468
232.87/231.65	c cleaning 10019 clauses out of 20152 with flag 941001/947467
235.98/234.76	c cleaning 10027 clauses out of 20132 with flag 951000/957466
238.69/237.47	c cleaning 10029 clauses out of 20106 with flag 961001/967467
241.20/239.98	c cleaning 10021 clauses out of 20076 with flag 971000/977466
244.11/242.81	c cleaning 10012 clauses out of 20055 with flag 981000/987466
246.71/245.40	c cleaning 10003 clauses out of 20044 with flag 991001/997467
249.12/247.83	c cleaning 10005 clauses out of 20041 with flag 1001001/1007467
251.22/249.94	c cleaning 9997 clauses out of 20036 with flag 1011001/1017467
253.53/252.20	c cleaning 9997 clauses out of 20040 with flag 1021002/1027468
255.93/254.69	c cleaning 9997 clauses out of 20042 with flag 1031001/1037467
258.34/257.07	c cleaning 10004 clauses out of 20047 with flag 1041003/1047469
260.85/259.52	c cleaning 9989 clauses out of 20040 with flag 1051000/1057466
264.05/262.76	c cleaning 9972 clauses out of 20052 with flag 1061001/1067467
266.76/265.44	c cleaning 10013 clauses out of 20079 with flag 1071000/1077466
269.06/267.74	c cleaning 10012 clauses out of 20068 with flag 1081002/1087468
272.27/270.98	c cleaning 10001 clauses out of 20055 with flag 1091001/1097467
274.98/273.60	c cleaning 10000 clauses out of 20054 with flag 1101001/1107467
277.68/276.33	c cleaning 10009 clauses out of 20056 with flag 1111003/1117469
280.80/279.41	c cleaning 10004 clauses out of 20046 with flag 1121002/1127468
283.89/282.50	c cleaning 10001 clauses out of 20040 with flag 1131000/1137466
286.60/285.23	c cleaning 9999 clauses out of 20041 with flag 1141002/1147468
289.41/288.02	c cleaning 10002 clauses out of 20042 with flag 1151002/1157468
292.21/290.81	c cleaning 9999 clauses out of 20038 with flag 1161000/1167466
294.92/293.58	c cleaning 10000 clauses out of 20041 with flag 1171002/1177468
297.62/296.29	c cleaning 10008 clauses out of 20039 with flag 1181000/1187466
300.43/299.06	c cleaning 10001 clauses out of 20032 with flag 1191001/1197467
302.93/301.53	c cleaning 9981 clauses out of 20032 with flag 1201002/1207468
305.14/303.75	c cleaning 10013 clauses out of 20051 with flag 1211002/1217468
307.74/306.36	c cleaning 9998 clauses out of 20037 with flag 1221001/1227467
310.45/309.05	c cleaning 10006 clauses out of 20038 with flag 1231000/1237466
313.05/311.61	c cleaning 9994 clauses out of 20034 with flag 1241002/1247468
315.65/314.22	c cleaning 9998 clauses out of 20041 with flag 1251003/1257469
318.16/316.76	c cleaning 10006 clauses out of 20041 with flag 1261001/1267467
320.76/319.37	c cleaning 10005 clauses out of 20036 with flag 1271002/1277468
323.27/321.87	c cleaning 10002 clauses out of 20029 with flag 1281000/1287466
325.67/324.26	c cleaning 10006 clauses out of 20033 with flag 1291006/1297472
328.47/327.00	c cleaning 9999 clauses out of 20023 with flag 1301002/1307468
331.17/329.75	c cleaning 9996 clauses out of 20023 with flag 1311001/1317467
333.58/332.15	c cleaning 9886 clauses out of 20029 with flag 1321003/1327469
335.49/334.07	c cleaning 10031 clauses out of 20140 with flag 1331000/1337466
337.40/335.98	c cleaning 9968 clauses out of 20111 with flag 1341002/1347468
339.51/338.09	c cleaning 10008 clauses out of 20142 with flag 1351001/1357467
341.51/340.02	c cleaning 10023 clauses out of 20135 with flag 1361002/1367468
344.33/342.88	c cleaning 10008 clauses out of 20111 with flag 1371001/1377467
346.84/345.35	c cleaning 10006 clauses out of 20103 with flag 1381001/1387467
349.84/348.37	c cleaning 10006 clauses out of 20096 with flag 1391000/1397466
352.95/351.48	c cleaning 10021 clauses out of 20090 with flag 1401000/1407466
355.16/353.66	c cleaning 9993 clauses out of 20072 with flag 1411003/1417469
357.77/356.24	c cleaning 9988 clauses out of 20077 with flag 1421001/1427467
360.18/358.69	c cleaning 10011 clauses out of 20091 with flag 1431003/1437469
362.39/360.82	c cleaning 9997 clauses out of 20077 with flag 1441000/1447466
364.69/363.17	c cleaning 10019 clauses out of 20082 with flag 1451002/1457468
367.31/365.71	c cleaning 10003 clauses out of 20061 with flag 1461000/1467466
369.71/368.19	c cleaning 10002 clauses out of 20059 with flag 1471001/1477467
372.72/371.20	c cleaning 10004 clauses out of 20056 with flag 1481000/1487466
375.23/373.67	c cleaning 10005 clauses out of 20054 with flag 1491002/1497468
377.63/376.06	c cleaning 10001 clauses out of 20049 with flag 1501002/1507468
380.54/378.92	c cleaning 10002 clauses out of 20046 with flag 1511000/1517466
382.64/381.07	c cleaning 10001 clauses out of 20044 with flag 1521000/1527466
385.05/383.40	c cleaning 10000 clauses out of 20045 with flag 1531002/1537468
387.37/385.78	c cleaning 9999 clauses out of 20044 with flag 1541001/1547467
389.57/387.98	c cleaning 9986 clauses out of 20047 with flag 1551003/1557469
392.29/390.67	c cleaning 10006 clauses out of 20060 with flag 1561002/1567468
394.60/392.99	c cleaning 10004 clauses out of 20053 with flag 1571001/1577467
396.51/394.83	c cleaning 10000 clauses out of 20049 with flag 1581001/1587467
398.61/396.96	c cleaning 9992 clauses out of 20049 with flag 1591001/1597467
401.02/399.35	c cleaning 9996 clauses out of 20056 with flag 1601000/1607466
403.42/401.78	c cleaning 10007 clauses out of 20062 with flag 1611002/1617468
405.53/403.81	c cleaning 10003 clauses out of 20060 with flag 1621007/1627473
408.24/406.52	c cleaning 9997 clauses out of 20052 with flag 1631002/1637468
411.05/409.32	c cleaning 9999 clauses out of 20054 with flag 1641001/1647467
413.56/411.84	c cleaning 9989 clauses out of 20058 with flag 1651004/1657470
416.57/414.86	c cleaning 10009 clauses out of 20065 with flag 1661000/1667466
419.69/417.92	c cleaning 9979 clauses out of 20058 with flag 1671002/1677468
422.19/420.45	c cleaning 10006 clauses out of 20078 with flag 1681001/1687467
424.99/423.26	c cleaning 10000 clauses out of 20075 with flag 1691004/1697470
427.41/425.64	c cleaning 10011 clauses out of 20072 with flag 1701001/1707467
429.61/427.88	c cleaning 10003 clauses out of 20062 with flag 1711002/1717468
432.01/430.23	c cleaning 10000 clauses out of 20058 with flag 1721001/1727467
434.42/432.64	c cleaning 10003 clauses out of 20058 with flag 1731001/1737467
437.13/435.37	c cleaning 10002 clauses out of 20058 with flag 1741004/1747470
439.64/437.89	c cleaning 10000 clauses out of 20054 with flag 1751002/1757468
442.44/440.60	c cleaning 9984 clauses out of 20054 with flag 1761002/1767468
444.65/442.81	c cleaning 10011 clauses out of 20068 with flag 1771000/1777466
447.27/445.47	c cleaning 10010 clauses out of 20058 with flag 1781001/1787467
449.88/448.06	c cleaning 10002 clauses out of 20048 with flag 1791001/1797467
452.28/450.47	c cleaning 9990 clauses out of 20045 with flag 1801000/1807466
454.69/452.83	c cleaning 10005 clauses out of 20055 with flag 1811000/1817466
457.39/455.52	c cleaning 10004 clauses out of 20051 with flag 1821001/1827467
460.51/458.68	c cleaning 10001 clauses out of 20047 with flag 1831001/1837467
464.01/462.10	c cleaning 10001 clauses out of 20046 with flag 1841001/1847467
466.72/464.86	c cleaning 9999 clauses out of 20045 with flag 1851001/1857467
469.73/467.80	c cleaning 10004 clauses out of 20049 with flag 1861004/1867470
472.64/470.80	c cleaning 9992 clauses out of 20042 with flag 1871001/1877467
476.34/474.42	c cleaning 9996 clauses out of 20050 with flag 1881001/1887467
479.26/477.39	c cleaning 10007 clauses out of 20054 with flag 1891001/1897467
483.06/481.11	c cleaning 10003 clauses out of 20046 with flag 1901000/1907466
486.37/484.42	c cleaning 10003 clauses out of 20045 with flag 1911002/1917468
489.29/487.37	c cleaning 9992 clauses out of 20041 with flag 1921001/1927467
492.59/490.61	c cleaning 10006 clauses out of 20051 with flag 1931003/1937469
495.29/493.39	c cleaning 9994 clauses out of 20043 with flag 1941001/1947467
498.40/496.43	c cleaning 9998 clauses out of 20049 with flag 1951001/1957467
501.91/499.92	c cleaning 10000 clauses out of 20062 with flag 1961012/1967478
504.12/502.19	c cleaning 9992 clauses out of 20050 with flag 1971000/1977466
506.63/504.61	c cleaning 10008 clauses out of 20060 with flag 1981002/1987468
508.53/506.56	c cleaning 9934 clauses out of 20050 with flag 1991000/1997466
510.25/508.24	c cleaning 9973 clauses out of 20117 with flag 2001001/2007467
512.85/510.85	c cleaning 9990 clauses out of 20146 with flag 2011003/2017469
515.66/513.62	c cleaning 9995 clauses out of 20156 with flag 2021003/2027469
518.76/516.74	c cleaning 10009 clauses out of 20159 with flag 2031001/2037467
521.77/519.74	c cleaning 10012 clauses out of 20149 with flag 2041000/2047466
524.37/522.37	c cleaning 10028 clauses out of 20138 with flag 2051001/2057467
527.68/525.60	c cleaning 10018 clauses out of 20111 with flag 2061002/2067468
530.78/528.79	c cleaning 9994 clauses out of 20092 with flag 2071001/2077467
533.68/531.66	c cleaning 10027 clauses out of 20097 with flag 2081000/2087466
536.69/534.67	c cleaning 10021 clauses out of 20071 with flag 2091001/2097467
539.49/537.50	c cleaning 10008 clauses out of 20051 with flag 2101002/2107468
542.39/540.31	c cleaning 10004 clauses out of 20042 with flag 2111001/2117467
544.70/542.62	c cleaning 9990 clauses out of 20037 with flag 2121000/2127466
547.11/545.03	c cleaning 9999 clauses out of 20050 with flag 2131003/2137469
549.51/547.46	c cleaning 9998 clauses out of 20048 with flag 2141000/2147466
552.12/550.07	c cleaning 9998 clauses out of 20050 with flag 2151000/2157466
554.61/552.56	c cleaning 9997 clauses out of 20053 with flag 2161001/2167467
557.32/555.24	c cleaning 10001 clauses out of 20058 with flag 2171003/2177469
560.13/558.03	c cleaning 10001 clauses out of 20055 with flag 2181001/2187467
562.73/560.61	c cleaning 9990 clauses out of 20055 with flag 2191002/2197468
565.64/563.57	c cleaning 9989 clauses out of 20064 with flag 2201001/2207467
568.65/566.55	c cleaning 9998 clauses out of 20077 with flag 2211003/2217469
570.76/568.68	c cleaning 9988 clauses out of 20076 with flag 2221000/2227466
573.25/571.14	c cleaning 10027 clauses out of 20088 with flag 2231000/2237466
575.66/573.55	c cleaning 10014 clauses out of 20062 with flag 2241001/2247467
578.26/576.10	c cleaning 9996 clauses out of 20048 with flag 2251001/2257467
581.27/579.14	c cleaning 9970 clauses out of 20051 with flag 2261000/2267466
584.38/582.26	c cleaning 10010 clauses out of 20085 with flag 2271004/2277470
586.98/584.81	c cleaning 10011 clauses out of 20074 with flag 2281003/2287469
589.29/587.18	c cleaning 10004 clauses out of 20062 with flag 2291002/2297468
591.39/589.25	c cleaning 9995 clauses out of 20056 with flag 2301000/2307466
593.60/591.49	c cleaning 9997 clauses out of 20062 with flag 2311001/2317467
596.00/593.86	c cleaning 10000 clauses out of 20065 with flag 2321001/2327467
598.41/596.21	c cleaning 10003 clauses out of 20066 with flag 2331002/2337468
600.71/598.52	c cleaning 10008 clauses out of 20063 with flag 2341002/2347468
602.92/600.73	c cleaning 9998 clauses out of 20054 with flag 2351001/2357467
605.13/602.92	c cleaning 9998 clauses out of 20055 with flag 2361000/2367466
607.24/605.09	c cleaning 10004 clauses out of 20058 with flag 2371001/2377467
609.63/607.44	c cleaning 10000 clauses out of 20055 with flag 2381002/2387468
612.04/609.82	c cleaning 9990 clauses out of 20053 with flag 2391000/2397466
614.45/612.20	c cleaning 10004 clauses out of 20063 with flag 2401000/2407466
616.86/614.63	c cleaning 10004 clauses out of 20059 with flag 2411000/2417466
619.27/617.07	c cleaning 10001 clauses out of 20056 with flag 2421001/2427467
621.27/619.02	c cleaning 10000 clauses out of 20056 with flag 2431002/2437468
623.88/621.64	c cleaning 10001 clauses out of 20054 with flag 2441000/2447466
626.38/624.14	c cleaning 10005 clauses out of 20057 with flag 2451004/2457470
628.89/626.61	c cleaning 10004 clauses out of 20049 with flag 2461001/2467467
631.60/629.36	c cleaning 9999 clauses out of 20046 with flag 2471002/2477468
634.60/632.31	c cleaning 9994 clauses out of 20046 with flag 2481001/2487467
637.31/635.04	c cleaning 10007 clauses out of 20053 with flag 2491002/2497468
639.92/637.62	c cleaning 9996 clauses out of 20044 with flag 2501000/2507466
642.63/640.36	c cleaning 10002 clauses out of 20052 with flag 2511004/2517470
645.14/642.87	c cleaning 9994 clauses out of 20047 with flag 2521001/2527467
647.84/645.56	c cleaning 10003 clauses out of 20052 with flag 2531000/2537466
650.64/648.34	c cleaning 9994 clauses out of 20049 with flag 2541000/2547466
653.75/651.42	c cleaning 10004 clauses out of 20060 with flag 2551005/2557471
656.46/654.10	c cleaning 10002 clauses out of 20052 with flag 2561001/2567467
658.97/656.69	c cleaning 10001 clauses out of 20049 with flag 2571000/2577466
662.07/659.72	c cleaning 10002 clauses out of 20049 with flag 2581001/2587467
664.67/662.36	c cleaning 10000 clauses out of 20047 with flag 2591001/2597467
667.37/665.01	c cleaning 10002 clauses out of 20049 with flag 2601003/2607469
670.18/667.81	c cleaning 9993 clauses out of 20044 with flag 2611000/2617466
673.08/670.77	c cleaning 10002 clauses out of 20053 with flag 2621002/2627468
676.08/673.76	c cleaning 10002 clauses out of 20050 with flag 2631001/2637467
678.89/676.53	c cleaning 10001 clauses out of 20048 with flag 2641001/2647467
681.60/679.20	c cleaning 9979 clauses out of 20046 with flag 2651000/2657466
683.70/681.34	c cleaning 10001 clauses out of 20067 with flag 2661000/2667466
686.11/683.72	c cleaning 10005 clauses out of 20068 with flag 2671002/2677468
688.82/686.41	c cleaning 9997 clauses out of 20062 with flag 2681001/2687467
691.52/689.16	c cleaning 10002 clauses out of 20065 with flag 2691001/2697467
693.92/691.53	c cleaning 10000 clauses out of 20063 with flag 2701001/2707467
696.83/694.42	c cleaning 9999 clauses out of 20062 with flag 2711000/2717466
699.54/697.16	c cleaning 10004 clauses out of 20068 with flag 2721005/2727471
702.24/699.85	c cleaning 9993 clauses out of 20063 with flag 2731004/2737470
704.75/702.36	c cleaning 10002 clauses out of 20066 with flag 2741000/2747466
707.56/705.12	c cleaning 10003 clauses out of 20064 with flag 2751000/2757466
710.06/707.65	c cleaning 10001 clauses out of 20061 with flag 2761000/2767466
712.76/710.37	c cleaning 9998 clauses out of 20061 with flag 2771001/2777467
715.66/713.20	c cleaning 10002 clauses out of 20063 with flag 2781001/2787467
718.26/715.80	c cleaning 9999 clauses out of 20060 with flag 2791000/2797466
720.77/718.34	c cleaning 10004 clauses out of 20067 with flag 2801006/2807472
723.37/720.95	c cleaning 10000 clauses out of 20060 with flag 2811003/2817469
725.77/723.39	c cleaning 9999 clauses out of 20058 with flag 2821001/2827467
728.67/726.28	c cleaning 10000 clauses out of 20060 with flag 2831002/2837468
731.28/728.85	c cleaning 9997 clauses out of 20058 with flag 2841000/2847466
734.08/731.64	c cleaning 9997 clauses out of 20062 with flag 2851001/2857467
736.88/734.45	c cleaning 10002 clauses out of 20066 with flag 2861002/2867468
739.39/736.97	c cleaning 9999 clauses out of 20063 with flag 2871001/2877467
741.79/739.39	c cleaning 10001 clauses out of 20063 with flag 2881000/2887466
744.29/741.83	c cleaning 9998 clauses out of 20062 with flag 2891000/2897466
746.60/744.16	c cleaning 10003 clauses out of 20067 with flag 2901003/2907469
749.10/746.61	c cleaning 10000 clauses out of 20062 with flag 2911001/2917467
751.51/749.02	c cleaning 10000 clauses out of 20062 with flag 2921001/2927467
753.90/751.46	c cleaning 9999 clauses out of 20062 with flag 2931001/2937467
756.41/753.93	c cleaning 9998 clauses out of 20062 with flag 2941000/2947466
759.21/756.72	c cleaning 10005 clauses out of 20068 with flag 2951004/2957470
761.42/758.91	c cleaning 9999 clauses out of 20060 with flag 2961001/2967467
763.51/761.03	c cleaning 9996 clauses out of 20060 with flag 2971000/2977466
765.82/763.36	c cleaning 10000 clauses out of 20064 with flag 2981000/2987466
767.52/765.01	c cleaning 9960 clauses out of 20064 with flag 2991000/2997466
769.43/766.99	c cleaning 10024 clauses out of 20104 with flag 3001000/3007466
772.03/769.53	c cleaning 9996 clauses out of 20083 with flag 3011003/3017469
774.95/772.42	c cleaning 9998 clauses out of 20087 with flag 3021003/3027469
777.35/774.82	c cleaning 9995 clauses out of 20088 with flag 3031002/3037468
780.17/777.69	c cleaning 10006 clauses out of 20091 with flag 3041000/3047466
782.67/780.17	c cleaning 10006 clauses out of 20085 with flag 3051000/3057466
785.38/782.81	c cleaning 10002 clauses out of 20081 with flag 3061002/3067468
787.28/784.77	c cleaning 10006 clauses out of 20078 with flag 3071001/3077467
789.59/787.04	c cleaning 10004 clauses out of 20072 with flag 3081001/3087467
791.89/789.40	c cleaning 10003 clauses out of 20069 with flag 3091002/3097468
794.40/791.84	c cleaning 10002 clauses out of 20066 with flag 3101002/3107468
796.71/794.12	c cleaning 9998 clauses out of 20064 with flag 3111002/3117468
799.21/796.68	c cleaning 10012 clauses out of 20070 with flag 3121006/3127472
802.22/799.64	c cleaning 10003 clauses out of 20054 with flag 3131002/3137468
805.02/802.43	c cleaning 10000 clauses out of 20051 with flag 3141002/3147468
807.83/805.24	c cleaning 10002 clauses out of 20049 with flag 3151000/3157466
810.63/808.10	c cleaning 9999 clauses out of 20049 with flag 3161002/3167468
813.53/810.92	c cleaning 10001 clauses out of 20049 with flag 3171001/3177467
815.64/813.07	c cleaning 10004 clauses out of 20049 with flag 3181002/3187468
817.44/814.84	c cleaning 9996 clauses out of 20044 with flag 3191001/3197467
819.04/816.47	c cleaning 9996 clauses out of 20047 with flag 3201000/3207466
820.75/818.17	c cleaning 10001 clauses out of 20051 with flag 3211000/3217466
822.56/819.98	c cleaning 10001 clauses out of 20052 with flag 3221002/3227468
824.66/822.02	c cleaning 10003 clauses out of 20050 with flag 3231001/3237467
826.57/823.93	c cleaning 9999 clauses out of 20048 with flag 3241002/3247468
828.68/826.02	c cleaning 10001 clauses out of 20047 with flag 3251000/3257466
830.37/827.77	c cleaning 10002 clauses out of 20048 with flag 3261002/3267468
832.58/829.94	c cleaning 9995 clauses out of 20044 with flag 3271000/3277466
834.38/831.76	c cleaning 10001 clauses out of 20049 with flag 3281000/3287466
837.19/834.58	c cleaning 10001 clauses out of 20049 with flag 3291001/3297467
840.09/837.43	c cleaning 10007 clauses out of 20048 with flag 3301001/3307467
842.79/840.10	c cleaning 9998 clauses out of 20042 with flag 3311002/3317468
845.70/843.03	c cleaning 10002 clauses out of 20042 with flag 3321000/3327466
848.71/846.06	c cleaning 10004 clauses out of 20040 with flag 3331000/3337466
851.72/849.05	c cleaning 9998 clauses out of 20036 with flag 3341000/3347466
854.62/851.94	c cleaning 10004 clauses out of 20039 with flag 3351001/3357467
857.63/854.94	c cleaning 10002 clauses out of 20036 with flag 3361002/3367468
860.43/857.77	c cleaning 9999 clauses out of 20032 with flag 3371000/3377466
863.14/860.45	c cleaning 9996 clauses out of 20033 with flag 3381000/3387466
865.84/863.17	c cleaning 10002 clauses out of 20041 with flag 3391004/3397470
868.74/866.00	c cleaning 9996 clauses out of 20035 with flag 3401000/3407466
871.54/868.81	c cleaning 10000 clauses out of 20042 with flag 3411003/3417469
874.45/871.70	c cleaning 10002 clauses out of 20040 with flag 3421001/3427467
876.95/874.22	c cleaning 10001 clauses out of 20037 with flag 3431000/3437466
879.96/877.25	c cleaning 9999 clauses out of 20037 with flag 3441001/3447467
882.96/880.20	c cleaning 9997 clauses out of 20037 with flag 3451000/3457466
885.67/882.97	c cleaning 10006 clauses out of 20041 with flag 3461001/3467467
888.37/885.69	c cleaning 10001 clauses out of 20037 with flag 3471003/3477469
891.37/888.67	c cleaning 10003 clauses out of 20041 with flag 3481008/3487474
894.38/891.65	c cleaning 9997 clauses out of 20032 with flag 3491002/3497468
897.18/894.48	c cleaning 9998 clauses out of 20033 with flag 3501000/3507466
900.08/897.36	c cleaning 9999 clauses out of 20036 with flag 3511001/3517467
903.18/900.48	c cleaning 9991 clauses out of 20036 with flag 3521000/3527466
906.18/903.42	c cleaning 10002 clauses out of 20046 with flag 3531001/3537467
909.28/906.57	c cleaning 10002 clauses out of 20044 with flag 3541001/3547467
912.28/909.53	c cleaning 9999 clauses out of 20041 with flag 3551000/3557466
914.88/912.14	c cleaning 9991 clauses out of 20042 with flag 3561000/3567466
917.58/914.82	c cleaning 10006 clauses out of 20051 with flag 3571000/3577466
920.49/917.70	c cleaning 10003 clauses out of 20046 with flag 3581001/3587467
923.19/920.46	c cleaning 10006 clauses out of 20043 with flag 3591001/3597467
926.09/923.33	c cleaning 10000 clauses out of 20037 with flag 3601001/3607467
929.19/926.40	c cleaning 9996 clauses out of 20036 with flag 3611000/3617466
932.09/929.38	c cleaning 10001 clauses out of 20040 with flag 3621000/3627466
934.99/932.24	c cleaning 9997 clauses out of 20039 with flag 3631000/3637466
938.00/935.24	c cleaning 10004 clauses out of 20045 with flag 3641003/3647469
940.20/937.41	c cleaning 9994 clauses out of 20041 with flag 3651003/3657469
942.70/940.00	c cleaning 9998 clauses out of 20045 with flag 3661001/3667467
945.21/942.43	c cleaning 10005 clauses out of 20051 with flag 3671005/3677471
947.42/944.67	c cleaning 9994 clauses out of 20043 with flag 3681002/3687468
950.03/947.21	c cleaning 10001 clauses out of 20050 with flag 3691003/3697469
952.84/950.08	c cleaning 9993 clauses out of 20047 with flag 3701001/3707467
955.65/952.81	c cleaning 9995 clauses out of 20054 with flag 3711001/3717467
958.45/955.63	c cleaning 10009 clauses out of 20058 with flag 3721000/3727466
961.26/958.42	c cleaning 10000 clauses out of 20050 with flag 3731001/3737467
963.97/961.14	c cleaning 10002 clauses out of 20052 with flag 3741003/3747469
966.38/963.53	c cleaning 10002 clauses out of 20049 with flag 3751002/3757468
969.07/966.22	c cleaning 9997 clauses out of 20046 with flag 3761001/3767467
971.58/968.79	c cleaning 9996 clauses out of 20049 with flag 3771001/3777467
974.09/971.28	c cleaning 10003 clauses out of 20053 with flag 3781001/3787467
976.70/973.81	c cleaning 9999 clauses out of 20050 with flag 3791001/3797467
978.90/976.06	c cleaning 10002 clauses out of 20052 with flag 3801002/3807468
981.61/978.72	c cleaning 10001 clauses out of 20048 with flag 3811000/3817466
984.52/981.61	c cleaning 9982 clauses out of 20048 with flag 3821001/3827467
986.72/983.85	c cleaning 10016 clauses out of 20065 with flag 3831000/3837466
989.52/986.63	c cleaning 9996 clauses out of 20052 with flag 3841003/3847469
991.93/989.05	c cleaning 10005 clauses out of 20053 with flag 3851000/3857466
994.43/991.54	c cleaning 9994 clauses out of 20052 with flag 3861004/3867470
997.24/994.38	c cleaning 10006 clauses out of 20056 with flag 3871002/3877468
999.74/996.83	c cleaning 9996 clauses out of 20048 with flag 3881000/3887466
1002.14/999.23	c cleaning 10003 clauses out of 20052 with flag 3891000/3897466
1004.64/1001.73	c cleaning 10004 clauses out of 20054 with flag 3901005/3907471
1007.05/1004.20	c cleaning 9995 clauses out of 20046 with flag 3911001/3917467
1009.46/1006.56	c cleaning 9985 clauses out of 20051 with flag 3921001/3927467
1012.36/1009.42	c cleaning 10019 clauses out of 20067 with flag 3931002/3937468
1014.36/1011.43	c cleaning 9997 clauses out of 20048 with flag 3941002/3947468
1016.58/1013.66	c cleaning 9996 clauses out of 20049 with flag 3951000/3957466
1018.98/1016.02	c cleaning 10005 clauses out of 20054 with flag 3961001/3967467
1021.28/1018.36	c cleaning 9998 clauses out of 20050 with flag 3971002/3977468
1023.49/1020.52	c cleaning 9998 clauses out of 20052 with flag 3981002/3987468
1025.70/1022.78	c cleaning 9925 clauses out of 20052 with flag 3991000/3997466
1028.50/1025.55	c cleaning 9954 clauses out of 20127 with flag 4001000/4007466
1031.21/1028.29	c cleaning 9962 clauses out of 20174 with flag 4011001/4017467
1034.51/1031.52	c cleaning 9985 clauses out of 20212 with flag 4021001/4027467
1036.93/1033.97	c cleaning 9984 clauses out of 20228 with flag 4031002/4037468
1040.24/1037.20	c cleaning 9988 clauses out of 20244 with flag 4041002/4047468
1042.94/1039.92	c cleaning 10000 clauses out of 20256 with flag 4051002/4057468
1045.54/1042.57	c cleaning 9960 clauses out of 20258 with flag 4061004/4067470
1048.15/1045.10	c cleaning 9979 clauses out of 20298 with flag 4071004/4077470
1050.55/1047.60	c cleaning 10003 clauses out of 20319 with flag 4081004/4087470
1052.95/1049.91	c cleaning 9994 clauses out of 20312 with flag 4091000/4097466
1055.86/1052.86	c cleaning 9974 clauses out of 20318 with flag 4101000/4107466
1058.47/1055.40	c cleaning 10040 clauses out of 20345 with flag 4111001/4117467
1060.27/1057.26	c cleaning 9971 clauses out of 20306 with flag 4121002/4127468
1062.78/1059.72	c cleaning 9993 clauses out of 20333 with flag 4131000/4137466
1065.58/1062.57	c cleaning 9988 clauses out of 20341 with flag 4141001/4147467
1068.18/1065.19	c cleaning 9992 clauses out of 20353 with flag 4151001/4157467
1070.89/1067.85	c cleaning 9999 clauses out of 20361 with flag 4161001/4167467
1073.39/1070.36	c cleaning 10045 clauses out of 20361 with flag 4171000/4177466
1075.59/1072.59	c cleaning 10021 clauses out of 20318 with flag 4181002/4187468
1077.80/1074.73	c cleaning 10001 clauses out of 20295 with flag 4191000/4197466
1080.00/1076.93	c cleaning 9962 clauses out of 20297 with flag 4201003/4207469
1082.40/1079.31	c cleaning 10029 clauses out of 20334 with flag 4211002/4217468
1084.00/1080.96	c cleaning 9978 clauses out of 20308 with flag 4221005/4227471
1086.31/1083.27	c cleaning 9980 clauses out of 20326 with flag 4231001/4237467
1088.72/1085.66	c cleaning 10012 clauses out of 20345 with flag 4241000/4247466
1090.62/1087.54	c cleaning 9993 clauses out of 20337 with flag 4251004/4257470
1092.62/1089.52	c cleaning 9981 clauses out of 20340 with flag 4261000/4267466
1094.42/1091.30	c cleaning 10009 clauses out of 20360 with flag 4271001/4277467
1096.23/1093.10	c cleaning 10026 clauses out of 20350 with flag 4281000/4287466
1098.33/1095.23	c cleaning 10010 clauses out of 20325 with flag 4291001/4297467
1100.33/1097.26	c cleaning 10010 clauses out of 20315 with flag 4301001/4307467
1102.53/1099.46	c cleaning 10003 clauses out of 20307 with flag 4311003/4317469
1104.54/1101.45	c cleaning 9994 clauses out of 20301 with flag 4321000/4327466
1106.44/1103.35	c cleaning 10004 clauses out of 20307 with flag 4331000/4337466
1108.24/1105.19	c cleaning 9989 clauses out of 20305 with flag 4341002/4347468
1110.55/1107.47	c cleaning 10010 clauses out of 20318 with flag 4351004/4357470
1112.46/1109.30	c cleaning 10002 clauses out of 20305 with flag 4361001/4367467
1114.56/1111.42	c cleaning 9963 clauses out of 20302 with flag 4371000/4377466
1116.46/1113.30	c cleaning 10006 clauses out of 20340 with flag 4381001/4387467
1118.17/1115.08	c cleaning 9977 clauses out of 20334 with flag 4391001/4397467
1121.18/1118.08	c cleaning 10008 clauses out of 20357 with flag 4401001/4407467
1123.49/1120.39	c cleaning 10059 clauses out of 20352 with flag 4411004/4417470
1125.49/1122.38	c cleaning 10010 clauses out of 20289 with flag 4421000/4427466
1127.90/1124.71	c cleaning 10024 clauses out of 20281 with flag 4431002/4437468
1130.10/1126.93	c cleaning 10016 clauses out of 20255 with flag 4441000/4447466
1132.10/1128.99	c cleaning 9969 clauses out of 20240 with flag 4451001/4457467
1134.01/1130.89	c cleaning 10029 clauses out of 20271 with flag 4461001/4467467
1136.01/1132.88	c cleaning 10010 clauses out of 20242 with flag 4471001/4477467
1137.92/1134.77	c cleaning 10083 clauses out of 20231 with flag 4481000/4487466
1139.93/1136.78	c cleaning 10005 clauses out of 20148 with flag 4491000/4497466
1142.24/1139.06	c cleaning 10024 clauses out of 20147 with flag 4501004/4507470
1144.45/1141.21	c cleaning 10029 clauses out of 20120 with flag 4511001/4517467
1146.65/1143.50	c cleaning 10001 clauses out of 20100 with flag 4521010/4527476
1149.16/1145.95	c cleaning 9993 clauses out of 20089 with flag 4531000/4537466
1151.27/1148.06	c cleaning 10015 clauses out of 20099 with flag 4541003/4547469
1154.48/1151.27	c cleaning 10005 clauses out of 20081 with flag 4551000/4557466
1157.38/1154.19	c cleaning 10004 clauses out of 20076 with flag 4561000/4567466
1159.39/1156.14	c cleaning 10016 clauses out of 20073 with flag 4571001/4577467
1161.79/1158.58	c cleaning 10006 clauses out of 20057 with flag 4581001/4587467
1164.10/1160.83	c cleaning 10000 clauses out of 20051 with flag 4591001/4597467
1166.20/1162.93	c cleaning 10002 clauses out of 20051 with flag 4601001/4607467
1168.51/1165.20	c cleaning 10000 clauses out of 20048 with flag 4611000/4617466
1171.52/1168.22	c cleaning 9997 clauses out of 20048 with flag 4621000/4627466
1174.13/1170.87	c cleaning 10000 clauses out of 20051 with flag 4631000/4637466
1176.94/1173.63	c cleaning 9999 clauses out of 20056 with flag 4641005/4647471
1179.34/1176.04	c cleaning 10003 clauses out of 20053 with flag 4651001/4657467
1181.84/1178.56	c cleaning 10004 clauses out of 20049 with flag 4661000/4667466
1184.24/1180.99	c cleaning 9994 clauses out of 20045 with flag 4671000/4677466
1186.64/1183.30	c cleaning 10005 clauses out of 20054 with flag 4681003/4687469
1189.06/1185.73	c cleaning 10006 clauses out of 20049 with flag 4691003/4697469
1193.25/1189.91	c cleaning 9998 clauses out of 20040 with flag 4701000/4707466
1196.26/1192.95	c cleaning 10005 clauses out of 20046 with flag 4711004/4717470
1198.97/1195.62	c cleaning 9997 clauses out of 20038 with flag 4721001/4727467
1201.67/1198.33	c cleaning 10000 clauses out of 20041 with flag 4731001/4737467
1204.27/1200.96	c cleaning 10003 clauses out of 20043 with flag 4741003/4747469
1206.97/1203.66	c cleaning 10000 clauses out of 20039 with flag 4751002/4757468
1209.67/1206.38	c cleaning 9999 clauses out of 20038 with flag 4761001/4767467
1212.58/1209.23	c cleaning 10001 clauses out of 20039 with flag 4771001/4777467
1214.49/1211.16	c cleaning 9988 clauses out of 20038 with flag 4781001/4787467
1216.59/1213.26	c cleaning 9997 clauses out of 20050 with flag 4791001/4797467
1218.80/1215.47	c cleaning 10005 clauses out of 20052 with flag 4801000/4807466
1221.00/1217.61	c cleaning 10009 clauses out of 20054 with flag 4811007/4817473
1223.00/1219.67	c cleaning 9989 clauses out of 20038 with flag 4821000/4827466
1225.51/1222.14	c cleaning 9995 clauses out of 20051 with flag 4831002/4837468
1228.11/1224.79	c cleaning 10002 clauses out of 20055 with flag 4841001/4847467
1230.62/1227.26	c cleaning 9995 clauses out of 20052 with flag 4851000/4857466
1233.03/1229.63	c cleaning 10009 clauses out of 20059 with flag 4861002/4867468
1235.13/1231.75	c cleaning 9983 clauses out of 20048 with flag 4871000/4877466
1237.34/1233.97	c cleaning 10008 clauses out of 20065 with flag 4881000/4887466
1239.65/1236.26	c cleaning 9999 clauses out of 20060 with flag 4891003/4897469
1242.06/1238.63	c cleaning 10016 clauses out of 20064 with flag 4901006/4907472
1244.55/1241.17	c cleaning 9996 clauses out of 20043 with flag 4911001/4917467
1246.96/1243.56	c cleaning 9996 clauses out of 20048 with flag 4921002/4927468
1248.77/1245.39	c cleaning 9995 clauses out of 20051 with flag 4931001/4937467
1251.08/1247.69	c cleaning 9997 clauses out of 20056 with flag 4941001/4947467
1253.48/1250.05	c cleaning 9986 clauses out of 20058 with flag 4951000/4957466
1255.79/1252.33	c cleaning 9999 clauses out of 20073 with flag 4961001/4967467
1257.99/1254.53	c cleaning 10004 clauses out of 20077 with flag 4971004/4977470
1260.40/1256.92	c cleaning 10005 clauses out of 20073 with flag 4981004/4987470
1262.91/1259.49	c cleaning 9994 clauses out of 20064 with flag 4991000/4997466
1265.21/1261.74	c cleaning 10008 clauses out of 20071 with flag 5001001/5007467
1267.51/1264.02	c cleaning 9989 clauses out of 20062 with flag 5011000/5017466
1269.91/1266.40	c cleaning 9993 clauses out of 20076 with flag 5021003/5027469
1272.32/1268.83	c cleaning 9998 clauses out of 20080 with flag 5031000/5037466
1275.22/1271.77	c cleaning 10009 clauses out of 20082 with flag 5041000/5047466
1277.52/1274.01	c cleaning 10000 clauses out of 20073 with flag 5051000/5057466
1279.43/1275.92	c cleaning 9995 clauses out of 20074 with flag 5061001/5067467
1281.63/1278.13	c cleaning 9990 clauses out of 20086 with flag 5071008/5077474
1284.13/1280.67	c cleaning 10013 clauses out of 20090 with flag 5081002/5087468
1286.54/1283.02	c cleaning 10007 clauses out of 20078 with flag 5091003/5097469
1289.14/1285.61	c cleaning 10002 clauses out of 20069 with flag 5101001/5107467
1291.56/1288.04	c cleaning 10005 clauses out of 20068 with flag 5111002/5117468
1293.86/1290.32	c cleaning 9993 clauses out of 20061 with flag 5121000/5127466
1296.26/1292.70	c cleaning 10000 clauses out of 20071 with flag 5131003/5137469
1298.37/1294.83	c cleaning 10006 clauses out of 20073 with flag 5141005/5147471
1300.87/1297.31	c cleaning 9995 clauses out of 20067 with flag 5151005/5157471
1303.68/1300.20	c cleaning 10004 clauses out of 20067 with flag 5161000/5167466
1306.59/1303.00	c cleaning 10004 clauses out of 20067 with flag 5171004/5177470
1309.99/1306.40	c cleaning 10004 clauses out of 20061 with flag 5181002/5187468
1312.90/1309.34	c cleaning 9985 clauses out of 20056 with flag 5191001/5197467
1315.71/1312.17	c cleaning 9999 clauses out of 20072 with flag 5201002/5207468
1319.12/1315.60	c cleaning 10008 clauses out of 20073 with flag 5211002/5217468
1321.81/1318.20	c cleaning 10001 clauses out of 20063 with flag 5221000/5227466
1324.32/1320.79	c cleaning 9985 clauses out of 20067 with flag 5231005/5237471
1326.83/1323.24	c cleaning 10010 clauses out of 20077 with flag 5241000/5247466
1329.63/1326.08	c cleaning 10006 clauses out of 20067 with flag 5251000/5257466
1332.53/1328.91	c cleaning 10002 clauses out of 20063 with flag 5261002/5267468
1335.13/1331.59	c cleaning 10001 clauses out of 20060 with flag 5271001/5277467
1337.53/1333.91	c cleaning 9998 clauses out of 20059 with flag 5281001/5287467
1340.64/1337.05	c cleaning 10001 clauses out of 20060 with flag 5291000/5297466
1344.34/1340.70	c cleaning 9999 clauses out of 20059 with flag 5301000/5307466
1347.65/1344.02	c cleaning 10002 clauses out of 20061 with flag 5311001/5317467
1350.55/1346.97	c cleaning 10002 clauses out of 20059 with flag 5321001/5327467
1353.16/1349.57	c cleaning 10000 clauses out of 20059 with flag 5331003/5337469
1355.86/1352.29	c cleaning 9994 clauses out of 20058 with flag 5341002/5347468
1358.36/1354.71	c cleaning 10000 clauses out of 20062 with flag 5351000/5357466
1360.67/1357.00	c cleaning 10000 clauses out of 20068 with flag 5361006/5367472
1363.07/1359.42	c cleaning 10001 clauses out of 20062 with flag 5371000/5377466
1365.78/1362.19	c cleaning 10004 clauses out of 20065 with flag 5381004/5387470
1368.48/1364.85	c cleaning 9997 clauses out of 20057 with flag 5391000/5397466
1370.78/1367.16	c cleaning 9998 clauses out of 20061 with flag 5401001/5407467
1373.29/1369.61	c cleaning 10002 clauses out of 20062 with flag 5411000/5417466
1375.59/1371.99	c cleaning 9998 clauses out of 20061 with flag 5421001/5427467
1378.09/1374.47	c cleaning 10004 clauses out of 20066 with flag 5431004/5437470
1380.39/1376.74	c cleaning 9989 clauses out of 20061 with flag 5441003/5447469
1383.49/1379.87	c cleaning 10007 clauses out of 20072 with flag 5451003/5457469
1386.70/1383.07	c cleaning 10002 clauses out of 20063 with flag 5461001/5467467
1389.30/1385.62	c cleaning 9988 clauses out of 20060 with flag 5471000/5477466
1391.21/1387.54	c cleaning 10002 clauses out of 20072 with flag 5481000/5487466
1393.82/1390.12	c cleaning 10003 clauses out of 20070 with flag 5491000/5497466
1396.42/1392.77	c cleaning 9993 clauses out of 20067 with flag 5501000/5507466
1399.12/1395.44	c cleaning 10011 clauses out of 20074 with flag 5511000/5517466
1401.83/1398.15	c cleaning 9992 clauses out of 20065 with flag 5521002/5527468
1404.44/1400.75	c cleaning 10004 clauses out of 20071 with flag 5531000/5537466
1407.14/1403.42	c cleaning 10006 clauses out of 20069 with flag 5541002/5547468
1409.94/1406.28	c cleaning 9995 clauses out of 20061 with flag 5551000/5557466
1412.86/1409.13	c cleaning 10003 clauses out of 20066 with flag 5561000/5567466
1415.46/1411.76	c cleaning 10002 clauses out of 20063 with flag 5571000/5577466
1418.27/1414.54	c cleaning 9998 clauses out of 20063 with flag 5581002/5587468
1420.96/1417.20	c cleaning 10000 clauses out of 20066 with flag 5591003/5597469
1423.87/1420.16	c cleaning 10000 clauses out of 20063 with flag 5601000/5607466
1426.98/1423.24	c cleaning 10004 clauses out of 20065 with flag 5611002/5617468
1429.69/1425.92	c cleaning 9989 clauses out of 20059 with flag 5621000/5627466
1432.29/1428.58	c cleaning 10009 clauses out of 20071 with flag 5631001/5637467
1435.00/1431.22	c cleaning 9993 clauses out of 20064 with flag 5641003/5647469
1437.90/1434.16	c cleaning 9988 clauses out of 20068 with flag 5651000/5657466
1440.60/1436.83	c cleaning 10008 clauses out of 20081 with flag 5661001/5667467
1443.51/1439.80	c cleaning 10008 clauses out of 20072 with flag 5671000/5677466
1446.41/1442.66	c cleaning 10002 clauses out of 20066 with flag 5681002/5687468
1449.52/1445.75	c cleaning 10000 clauses out of 20063 with flag 5691001/5697467
1452.73/1448.90	c cleaning 9998 clauses out of 20063 with flag 5701001/5707467
1455.74/1451.96	c cleaning 10002 clauses out of 20065 with flag 5711001/5717467
1458.34/1454.59	c cleaning 9994 clauses out of 20065 with flag 5721003/5727469
1461.25/1457.50	c cleaning 10010 clauses out of 20073 with flag 5731005/5737471
1464.15/1460.32	c cleaning 9994 clauses out of 20058 with flag 5741000/5747466
1466.55/1462.77	c cleaning 9998 clauses out of 20065 with flag 5751001/5757467
1469.25/1465.43	c cleaning 10006 clauses out of 20069 with flag 5761003/5767469
1472.06/1468.23	c cleaning 9991 clauses out of 20061 with flag 5771001/5777467
1474.86/1471.08	c cleaning 10010 clauses out of 20072 with flag 5781003/5787469
1477.67/1473.82	c cleaning 9995 clauses out of 20061 with flag 5791002/5797468
1480.37/1476.59	c cleaning 9998 clauses out of 20064 with flag 5801000/5807466
1483.17/1479.33	c cleaning 10002 clauses out of 20067 with flag 5811001/5817467
1485.88/1482.09	c cleaning 9990 clauses out of 20064 with flag 5821000/5827466
1488.59/1484.70	c cleaning 10009 clauses out of 20074 with flag 5831000/5837466
1491.79/1487.98	c cleaning 10007 clauses out of 20067 with flag 5841002/5847468
1494.50/1490.61	c cleaning 9997 clauses out of 20059 with flag 5851001/5857467
1497.41/1493.56	c cleaning 9999 clauses out of 20061 with flag 5861000/5867466
1500.21/1496.38	c cleaning 10001 clauses out of 20065 with flag 5871003/5877469
1503.11/1499.21	c cleaning 9999 clauses out of 20061 with flag 5881000/5887466
1505.52/1501.69	c cleaning 10003 clauses out of 20064 with flag 5891002/5897468
1508.32/1504.45	c cleaning 9997 clauses out of 20060 with flag 5901001/5907467
1510.93/1507.06	c cleaning 10002 clauses out of 20064 with flag 5911002/5917468
1513.63/1509.77	c cleaning 9997 clauses out of 20060 with flag 5921000/5927466
1516.44/1512.51	c cleaning 10002 clauses out of 20070 with flag 5931007/5937473
1518.74/1514.82	c cleaning 10001 clauses out of 20063 with flag 5941002/5947468
1521.34/1517.43	c cleaning 9995 clauses out of 20062 with flag 5951002/5957468
1524.05/1520.11	c cleaning 9999 clauses out of 20065 with flag 5961000/5967466
1526.75/1522.87	c cleaning 9995 clauses out of 20067 with flag 5971001/5977467
1529.84/1525.90	c cleaning 9970 clauses out of 20072 with flag 5981001/5987467
1533.65/1529.73	c cleaning 10024 clauses out of 20102 with flag 5991001/5997467
1537.86/1533.90	c cleaning 9895 clauses out of 20079 with flag 6001002/6007468
1542.68/1538.74	c cleaning 9931 clauses out of 20184 with flag 6011002/6017468
1546.79/1542.81	c cleaning 10025 clauses out of 20251 with flag 6021000/6027466
1549.30/1545.37	c cleaning 10038 clauses out of 20227 with flag 6031001/6037467
1551.91/1547.93	c cleaning 10022 clauses out of 20195 with flag 6041007/6047473
1555.21/1551.24	c cleaning 10078 clauses out of 20167 with flag 6051001/6057467
1557.62/1553.65	c cleaning 10005 clauses out of 20092 with flag 6061004/6067470
1560.73/1556.76	c cleaning 9939 clauses out of 20085 with flag 6071002/6077468
1565.04/1561.07	c cleaning 9975 clauses out of 20145 with flag 6081001/6087467
1568.75/1564.76	c cleaning 10017 clauses out of 20171 with flag 6091002/6097468
1571.16/1567.17	c cleaning 10029 clauses out of 20153 with flag 6101001/6107467
1573.86/1569.84	c cleaning 9969 clauses out of 20124 with flag 6111001/6117467
1576.57/1572.53	c cleaning 9972 clauses out of 20154 with flag 6121000/6127466
1578.97/1574.98	c cleaning 9981 clauses out of 20184 with flag 6131002/6137468
1581.48/1577.46	c cleaning 10014 clauses out of 20201 with flag 6141000/6147466
1583.78/1579.70	c cleaning 10013 clauses out of 20189 with flag 6151002/6157468
1586.39/1582.39	c cleaning 9952 clauses out of 20174 with flag 6161000/6167466
1589.10/1585.03	c cleaning 10005 clauses out of 20222 with flag 6171000/6177466
1591.41/1587.38	c cleaning 9991 clauses out of 20218 with flag 6181001/6187467
1593.70/1589.61	c cleaning 9973 clauses out of 20227 with flag 6191001/6197467
1596.11/1592.02	c cleaning 10012 clauses out of 20253 with flag 6201000/6207466
1598.02/1593.95	c cleaning 10022 clauses out of 20242 with flag 6211001/6217467
1601.42/1597.38	c cleaning 9993 clauses out of 20220 with flag 6221001/6227467
1606.22/1602.19	c cleaning 9971 clauses out of 20226 with flag 6231000/6237466
1609.63/1605.55	c cleaning 10014 clauses out of 20255 with flag 6241000/6247466
1612.93/1608.81	c cleaning 10000 clauses out of 20243 with flag 6251002/6257468
1615.34/1611.28	c cleaning 9996 clauses out of 20243 with flag 6261002/6267468
1617.94/1613.84	c cleaning 9981 clauses out of 20247 with flag 6271002/6277468
1620.55/1616.46	c cleaning 9947 clauses out of 20264 with flag 6281000/6287466
1623.15/1619.03	c cleaning 10043 clauses out of 20318 with flag 6291001/6297467
1626.16/1622.05	c cleaning 10022 clauses out of 20276 with flag 6301002/6307468
1628.66/1624.50	c cleaning 10009 clauses out of 20252 with flag 6311000/6317466
1631.37/1627.26	c cleaning 10013 clauses out of 20245 with flag 6321002/6327468
1633.97/1629.84	c cleaning 10003 clauses out of 20231 with flag 6331001/6337467
1636.38/1632.27	c cleaning 10005 clauses out of 20230 with flag 6341003/6347469
1638.99/1634.90	c cleaning 10023 clauses out of 20222 with flag 6351000/6357466
1641.89/1637.74	c cleaning 10004 clauses out of 20199 with flag 6361000/6367466
1644.90/1640.79	c cleaning 10000 clauses out of 20197 with flag 6371002/6377468
1647.51/1643.39	c cleaning 9994 clauses out of 20195 with flag 6381000/6387466
1650.51/1646.38	c cleaning 9993 clauses out of 20204 with flag 6391003/6397469
1653.91/1649.77	c cleaning 9999 clauses out of 20212 with flag 6401004/6407470
1656.62/1652.45	c cleaning 9980 clauses out of 20211 with flag 6411002/6417468
1659.12/1654.92	c cleaning 9994 clauses out of 20229 with flag 6421000/6427466
1661.73/1657.58	c cleaning 10028 clauses out of 20237 with flag 6431002/6437468
1664.24/1660.06	c cleaning 10025 clauses out of 20207 with flag 6441000/6447466
1666.65/1662.45	c cleaning 9999 clauses out of 20182 with flag 6451000/6457466
1669.45/1665.29	c cleaning 10053 clauses out of 20183 with flag 6461000/6467466
1672.27/1668.08	c cleaning 9918 clauses out of 20133 with flag 6471003/6477469
1675.18/1670.92	c cleaning 10050 clauses out of 20214 with flag 6481002/6487468
1677.58/1673.31	c cleaning 10025 clauses out of 20162 with flag 6491000/6497466
1679.78/1675.51	c cleaning 10003 clauses out of 20138 with flag 6501001/6507467
1682.48/1678.21	c cleaning 9901 clauses out of 20135 with flag 6511001/6517467
1685.19/1680.92	c cleaning 10021 clauses out of 20233 with flag 6521000/6527466
1688.10/1683.84	c cleaning 10006 clauses out of 20213 with flag 6531001/6537467
1691.51/1687.23	c cleaning 10070 clauses out of 20206 with flag 6541000/6547466
1694.71/1690.48	c cleaning 9993 clauses out of 20137 with flag 6551001/6557467
1698.71/1694.41	c cleaning 9977 clauses out of 20144 with flag 6561001/6567467
1702.22/1697.93	c cleaning 9996 clauses out of 20168 with flag 6571002/6577468
1705.94/1701.62	c cleaning 9997 clauses out of 20172 with flag 6581002/6587468
1710.04/1705.71	c cleaning 9962 clauses out of 20174 with flag 6591001/6597467
1713.04/1708.70	c cleaning 10046 clauses out of 20212 with flag 6601001/6607467
1715.75/1711.45	c cleaning 10046 clauses out of 20167 with flag 6611002/6617468
1718.96/1714.62	c cleaning 10025 clauses out of 20120 with flag 6621001/6627467
1721.66/1717.39	c cleaning 10020 clauses out of 20094 with flag 6631000/6637466
1724.97/1720.66	c cleaning 10009 clauses out of 20075 with flag 6641001/6647467
1728.38/1724.03	c cleaning 10010 clauses out of 20068 with flag 6651003/6657469
1731.68/1727.40	c cleaning 10011 clauses out of 20055 with flag 6661000/6667466
1734.49/1730.19	c cleaning 9952 clauses out of 20045 with flag 6671001/6677467
1737.40/1733.04	c cleaning 9984 clauses out of 20093 with flag 6681001/6687467
1740.11/1735.76	c cleaning 9998 clauses out of 20118 with flag 6691010/6697476
1743.11/1738.71	c cleaning 9997 clauses out of 20112 with flag 6701002/6707468
1745.91/1741.54	c cleaning 9970 clauses out of 20114 with flag 6711001/6717467
1748.72/1744.32	c cleaning 10012 clauses out of 20144 with flag 6721001/6727467
1750.63/1746.23	c cleaning 9969 clauses out of 20132 with flag 6731001/6737467
1752.64/1748.26	c cleaning 9940 clauses out of 20164 with flag 6741002/6747468
1754.34/1749.99	c cleaning 10081 clauses out of 20227 with flag 6751005/6757471
1757.16/1752.77	c cleaning 10034 clauses out of 20145 with flag 6761004/6767470
1759.66/1755.20	c cleaning 10029 clauses out of 20108 with flag 6771001/6777467
1761.97/1757.54	c cleaning 10014 clauses out of 20078 with flag 6781000/6787466
1763.78/1759.38	c cleaning 9997 clauses out of 20066 with flag 6791002/6797468
1765.39/1760.99	c cleaning 9997 clauses out of 20067 with flag 6801000/6807466
1766.90/1762.48	c cleaning 10003 clauses out of 20070 with flag 6811000/6817466
1769.61/1765.17	c cleaning 9997 clauses out of 20068 with flag 6821001/6827467
1772.12/1767.69	c cleaning 9980 clauses out of 20070 with flag 6831000/6837466
1774.82/1770.37	c cleaning 10001 clauses out of 20091 with flag 6841001/6847467
1777.53/1773.02	c cleaning 10012 clauses out of 20089 with flag 6851000/6857466
1779.24/1774.75	c cleaning 10023 clauses out of 20077 with flag 6861000/6867466
1781.14/1776.66	c cleaning 10011 clauses out of 20055 with flag 6871001/6877467
1783.16/1778.69	c cleaning 10010 clauses out of 20045 with flag 6881002/6887468
1785.46/1780.95	c cleaning 10002 clauses out of 20035 with flag 6891002/6897468
1787.87/1783.32	c cleaning 9999 clauses out of 20032 with flag 6901001/6907467
1790.08/1785.57	c cleaning 10004 clauses out of 20034 with flag 6911002/6917468
1791.88/1787.34	c cleaning 9980 clauses out of 20028 with flag 6921000/6927466
1794.79/1790.26	c cleaning 9984 clauses out of 20050 with flag 6931002/6937468
1797.60/1793.06	c cleaning 10001 clauses out of 20066 with flag 6941002/6947468
1800.01/1795.41	c starts		: 301
1800.01/1795.41	c conflicts		: 6955899
1800.01/1795.41	c decisions		: 10064146
1800.01/1795.41	c propagations		: 176962335
1800.01/1795.41	c inspects		: 11048591549
1800.01/1795.41	c shortcuts		: 0
1800.01/1795.41	c learnt literals	: 0
1800.01/1795.41	c learnt binary clauses	: 0
1800.01/1795.41	c learnt ternary clauses	: 0
1800.01/1795.41	c learnt constraints	: 6955899
1800.01/1795.41	c ignored constraints	: 0
1800.01/1795.41	c root simplifications	: 0
1800.01/1795.41	c removed literals (reason simplification)	: 37935996
1800.01/1795.41	c reason swapping (by a shorter reason)	: 0
1800.01/1795.41	c Calls to reduceDB	: 696
1800.01/1795.41	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.41	c number of learned constraints concerned by reduction	: 0
1800.01/1795.41	c number of learning phase by resolution	: 0
1800.01/1795.41	c number of learning phase by cutting planes	: 0
1800.01/1795.41	c speed (assignments/second)	: 98626.0525136601
1800.01/1795.41	c non guided choices	143128
1800.01/1795.42	c learnt constraints type 
1800.01/1795.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18520
1800.01/1795.42	c constraints type 
1800.01/1795.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 62
1800.01/1795.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 61
1800.01/1795.42	s SATISFIABLE
1800.01/1795.44	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 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 
1800.01/1795.44	c objective function=5
1800.01/1795.44	c Total wall clock time (in seconds): 1795.322

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492518-1307910843/watcher-3492518-1307910843 -o /var/tmp/evaluation-result-3492518-1307910843/solver-3492518-1307910843 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492518-1307910843.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.95 2/175 15621
/proc/meminfo: memFree=3790996/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/15621/stat : 15621 (java) R 15619 15621 13179 0 -1 4202496 420 0 0 0 0 0 0 0 17 0 1 0 902684716 9318400 165 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230809163776 0 2147483391 4096 0 0 0 0 17 3 0 0 0
/proc/15621/statm: 2275 165 125 9 0 67 0

[startup+0.0241841 s]
/proc/loadavg: 2.01 2.01 1.95 2/175 15621
/proc/meminfo: memFree=3790996/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 8984 0 1 0 0 0 0 0 17 0 2 0 902684716 10694979584 8684 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2611079 8708 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.105206 s]
/proc/loadavg: 2.01 2.01 1.95 2/175 15621
/proc/meminfo: memFree=3790996/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10540280 CPUtime=0.1 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 13055 0 1 0 9 1 0 0 17 0 18 0 902684716 10793246720 12750 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2635070 12750 2093 9 0 2625804 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540280

[startup+0.301121 s]
/proc/loadavg: 2.01 2.01 1.95 2/175 15621
/proc/meminfo: memFree=3790996/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546924 CPUtime=0.53 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 16713 0 1 0 51 2 0 0 17 0 19 0 902684716 10800050176 15801 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636731 15801 2216 9 0 2627465 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10546924

[startup+0.70105 s]
/proc/loadavg: 2.01 2.01 1.95 2/175 15621
/proc/meminfo: memFree=3790996/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=1.14 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 18521 0 1 0 112 2 0 0 17 0 19 0 902684716 10799235072 16757 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 16757 2223 9 0 2627266 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10546128

[startup+1.5009 s]
/proc/loadavg: 2.01 2.00 1.95 3/193 15650
/proc/meminfo: memFree=3729580/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=2.02 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 21556 0 1 0 199 3 0 0 17 0 19 0 902684716 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 19691 2251 9 0 2627266 0
[pid=15621/tid=15623] ppid=15619 vsize=10546128 CPUtime=1.46 cores=1,3,5,7
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 13179 0 -1 4202560 14423 0 1 0 144 2 0 0 25 0 19 0 902684717 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 46912505707394 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15621/tid=15624] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 13179 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15625] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15626] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15627] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15628] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 13179 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 189 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 265 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=0.01 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 922 0 0 0 1 0 0 0 16 0 19 0 902684720 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.26 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1587 0 0 0 26 0 0 0 15 0 19 0 902684722 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.26 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2538 0 0 0 26 0 0 0 16 0 19 0 902684722 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 19691 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10546128

[startup+3.10061 s]
/proc/loadavg: 2.01 2.00 1.95 3/214 15696
/proc/meminfo: memFree=3656548/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=3.66 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 23155 0 1 0 363 3 0 0 17 0 19 0 902684716 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 21288 2251 9 0 2627266 0
[pid=15621/tid=15623] ppid=15619 vsize=10546128 CPUtime=3.05 cores=1,3,5,7
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 13179 0 -1 4202560 14426 0 1 0 303 2 0 0 25 0 19 0 902684717 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 46912505584224 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15621/tid=15624] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 13179 0 -1 4202560 385 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15625] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 13179 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15626] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 13179 0 -1 4202560 265 0 0 0 0 0 0 0 16 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15627] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15628] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 13179 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 197 0 0 0 0 0 0 0 18 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=0.02 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 1361 0 0 0 2 0 0 0 16 0 19 0 902684720 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.28 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1588 0 0 0 28 0 0 0 15 0 19 0 902684722 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.27 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2542 0 0 0 27 0 0 0 15 0 19 0 902684722 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 21288 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 10546128

[startup+6.30102 s]
/proc/loadavg: 2.01 2.00 1.95 3/214 15696
/proc/meminfo: memFree=3613360/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=6.9 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 25441 0 1 0 687 3 0 0 17 0 19 0 902684716 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 23453 2251 9 0 2627266 0
[pid=15621/tid=15623] ppid=15619 vsize=10546128 CPUtime=6.2 cores=1,3,5,7
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 13179 0 -1 4202560 14429 0 1 0 618 2 0 0 25 0 19 0 902684717 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 46912505619200 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15621/tid=15624] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 13179 0 -1 4202560 789 0 0 0 0 0 0 0 16 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15625] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 13179 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15626] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 13179 0 -1 4202560 407 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15627] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 13179 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15628] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 13179 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 736 0 0 0 0 0 0 0 16 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 19 0 902684719 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=0.06 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 1792 0 0 0 6 0 0 0 16 0 19 0 902684720 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.29 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1589 0 0 0 29 0 0 0 15 0 19 0 902684722 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.3 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2698 0 0 0 30 0 0 0 15 0 19 0 902684722 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 23453 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 10546128

[startup+12.7009 s]

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

[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0.71 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 1205 0 0 0 70 1 0 0 15 0 19 0 902684719 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0.7 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 1708 0 0 0 70 0 0 0 16 0 19 0 902684719 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0.69 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 1651 0 0 0 68 1 0 0 15 0 19 0 902684719 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=22.53 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 14091 0 0 0 2243 10 0 0 15 0 19 0 902684720 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.31 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1600 0 0 0 31 0 0 0 15 0 19 0 902684722 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.3 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2698 0 0 0 30 0 0 0 15 0 19 0 902684722 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 46570 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.54
Current children cumulated vsize (KiB) 10546128

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 15751
/proc/meminfo: memFree=3417060/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=1726.67 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 49877 0 1 0 172643 24 0 0 17 0 19 0 902684716 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 46924 2252 9 0 2627266 0
[pid=15621/tid=15623] ppid=15619 vsize=10546128 CPUtime=1696.74 cores=1,3,5,7
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 13179 0 -1 4202560 18260 0 1 0 169670 4 0 0 25 0 19 0 902684717 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 46912505707380 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15621/tid=15624] ppid=15619 vsize=10546128 CPUtime=0.74 cores=1,3,5,7
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 13179 0 -1 4202560 1211 0 0 0 74 0 0 0 16 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15625] ppid=15619 vsize=10546128 CPUtime=0.73 cores=1,3,5,7
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 13179 0 -1 4202560 1400 0 0 0 73 0 0 0 15 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15626] ppid=15619 vsize=10546128 CPUtime=0.7 cores=1,3,5,7
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 13179 0 -1 4202560 1557 0 0 0 69 1 0 0 15 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15627] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 13179 0 -1 4202560 1228 0 0 0 76 0 0 0 15 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15628] ppid=15619 vsize=10546128 CPUtime=0.73 cores=1,3,5,7
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 13179 0 -1 4202560 1696 0 0 0 73 0 0 0 15 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0.73 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 1208 0 0 0 72 1 0 0 16 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0.72 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 1708 0 0 0 72 0 0 0 15 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0.72 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 1653 0 0 0 71 1 0 0 15 0 19 0 902684719 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=23.36 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 14407 0 0 0 2326 10 0 0 15 0 19 0 902684720 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.31 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1600 0 0 0 31 0 0 0 15 0 19 0 902684722 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.3 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2698 0 0 0 30 0 0 0 15 0 19 0 902684722 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 46924 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.67
Current children cumulated vsize (KiB) 10546128

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 15753
/proc/meminfo: memFree=3415004/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=1786.87 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 50312 0 1 0 178662 25 0 0 17 0 19 0 902684716 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 47326 2252 9 0 2627266 0
[pid=15621/tid=15623] ppid=15619 vsize=10546128 CPUtime=1755.6 cores=1,3,5,7
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 13179 0 -1 4202560 18285 0 1 0 175556 4 0 0 25 0 19 0 902684717 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 46912505673991 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15621/tid=15624] ppid=15619 vsize=10546128 CPUtime=0.79 cores=1,3,5,7
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 13179 0 -1 4202560 1216 0 0 0 79 0 0 0 15 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15625] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 13179 0 -1 4202560 1400 0 0 0 76 0 0 0 15 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15626] ppid=15619 vsize=10546128 CPUtime=0.75 cores=1,3,5,7
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 13179 0 -1 4202560 1563 0 0 0 74 1 0 0 15 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15627] ppid=15619 vsize=10546128 CPUtime=0.79 cores=1,3,5,7
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 13179 0 -1 4202560 1235 0 0 0 79 0 0 0 15 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15628] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 13179 0 -1 4202560 1699 0 0 0 76 0 0 0 15 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0.77 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 1225 0 0 0 76 1 0 0 16 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 1712 0 0 0 75 1 0 0 15 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0.75 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 1657 0 0 0 74 1 0 0 16 0 19 0 902684719 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=24.41 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 14767 0 0 0 2430 11 0 0 15 0 19 0 902684720 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.31 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1600 0 0 0 31 0 0 0 15 0 19 0 902684722 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.3 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2698 0 0 0 30 0 0 0 15 0 19 0 902684722 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 47326 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.87
Current children cumulated vsize (KiB) 10546128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/214 15755
/proc/meminfo: memFree=3413740/32951124 swapFree=67053020/67111528
[pid=15621] ppid=15619 vsize=10546128 CPUtime=1800.01 cores=1,3,5,7
/proc/15621/stat : 15621 (java) S 15619 15621 13179 0 -1 4202496 50440 0 1 0 179976 25 0 0 17 0 19 0 902684716 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15621/statm: 2636532 47445 2252 9 0 2627266 0
[pid=15621/tid=15623] ppid=15619 vsize=10546128 CPUtime=1768.47 cores=1,3,5,7
/proc/15621/task/15623/stat : 15623 (java) R 15619 15621 13179 0 -1 4202560 18290 0 1 0 176843 4 0 0 25 0 19 0 902684717 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 46912505584239 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15621/tid=15624] ppid=15619 vsize=10546128 CPUtime=0.79 cores=1,3,5,7
/proc/15621/task/15624/stat : 15624 (java) S 15619 15621 13179 0 -1 4202560 1216 0 0 0 79 0 0 0 16 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15625] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15625/stat : 15625 (java) S 15619 15621 13179 0 -1 4202560 1400 0 0 0 76 0 0 0 16 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15626] ppid=15619 vsize=10546128 CPUtime=0.75 cores=1,3,5,7
/proc/15621/task/15626/stat : 15626 (java) S 15619 15621 13179 0 -1 4202560 1563 0 0 0 74 1 0 0 15 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15627] ppid=15619 vsize=10546128 CPUtime=0.79 cores=1,3,5,7
/proc/15621/task/15627/stat : 15627 (java) S 15619 15621 13179 0 -1 4202560 1235 0 0 0 79 0 0 0 16 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15628] ppid=15619 vsize=10546128 CPUtime=0.77 cores=1,3,5,7
/proc/15621/task/15628/stat : 15628 (java) S 15619 15621 13179 0 -1 4202560 1707 0 0 0 77 0 0 0 16 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15629] ppid=15619 vsize=10546128 CPUtime=0.78 cores=1,3,5,7
/proc/15621/task/15629/stat : 15629 (java) S 15619 15621 13179 0 -1 4202560 1225 0 0 0 77 1 0 0 16 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 1 0 0 0
[pid=15621/tid=15630] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15630/stat : 15630 (java) S 15619 15621 13179 0 -1 4202560 1712 0 0 0 75 1 0 0 15 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15631] ppid=15619 vsize=10546128 CPUtime=0.76 cores=1,3,5,7
/proc/15621/task/15631/stat : 15631 (java) S 15619 15621 13179 0 -1 4202560 1657 0 0 0 75 1 0 0 15 0 19 0 902684719 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
[pid=15621/tid=15632] ppid=15619 vsize=10546128 CPUtime=24.63 cores=1,3,5,7
/proc/15621/task/15632/stat : 15632 (java) S 15619 15621 13179 0 -1 4202560 14880 0 0 0 2452 11 0 0 15 0 19 0 902684720 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 0 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15633] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15633/stat : 15633 (java) S 15619 15621 13179 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15634] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15634/stat : 15634 (java) S 15619 15621 13179 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902684720 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15635] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15635/stat : 15635 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902684722 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820989361 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15636] ppid=15619 vsize=10546128 CPUtime=0.31 cores=1,3,5,7
/proc/15621/task/15636/stat : 15636 (java) S 15619 15621 13179 0 -1 4202560 1600 0 0 0 31 0 0 0 15 0 19 0 902684722 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15637] ppid=15619 vsize=10546128 CPUtime=0.3 cores=1,3,5,7
/proc/15621/task/15637/stat : 15637 (java) S 15619 15621 13179 0 -1 4202560 2698 0 0 0 30 0 0 0 15 0 19 0 902684722 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15638] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15638/stat : 15638 (java) S 15619 15621 13179 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902684722 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820981657 0 4 0 16800975 18446604471133848832 0 0 -1 3 0 0 0
[pid=15621/tid=15639] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15639/stat : 15639 (java) S 15619 15621 13179 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 902684722 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 5 0 0 0
[pid=15621/tid=15640] ppid=15619 vsize=10546128 CPUtime=0 cores=1,3,5,7
/proc/15621/task/15640/stat : 15640 (java) S 15619 15621 13179 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902684739 10799235072 47445 33554432000 1073741824 1073778376 140737184520144 18446744073709551615 230820982272 0 4 0 16800975 18446604471133848832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10546128

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

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

Child status: 143
Real time (s): 1795.46
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.25996
CPU usage (%): 100.258
Max. virtual memory (cumulated for all children) (KiB): 10546924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50515
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= 55031
involuntary context switches= 25618

runsolver used 2.98555 second user time and 6.85696 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-12 22:34:03
IDJOB=3492518
IDBENCH=79160
IDSOLVER=1982
FILE ID=node104/3492518-1307910843
RUNJOBID= node104-1307907242-15288
PBS_JOBID= 13559598
Free space on /var/tmp= 2888 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492518-1307910843/watcher-3492518-1307910843 -o /var/tmp/evaluation-result-3492518-1307910843/solver-3492518-1307910843 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492518-1307910843.wbo

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

MD5SUM BENCH= 67b20cf3e4322ffbf404f0fb862124f3
RANDOM SEED=1865669667

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3791748 kB
Buffers:         60024 kB
Cached:       28182352 kB
SwapCached:      11252 kB
Active:       13222480 kB
Inactive:     15040772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3791748 kB
SwapTotal:    67111528 kB
SwapFree:     67053020 kB
Dirty:             524 kB
Writeback:           8 kB
AnonPages:       18372 kB
Mapped:           9752 kB
Slab:           832440 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   221344 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 /var/tmp at the end= 2888 MiB
End job on node104 at 2011-06-12 23:04:00