Trace number 3492195

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-08? (TO) 1800.11 1795.08

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMb66fe868eb6fadcfec17a324e77ec452
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark0.262959
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2400
Total number of constraints140
Number of soft constraints97
Number of constraints which are clauses80
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 constraint40
Top cost 4448
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4447
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
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.03/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.17	c See www.sat4j.org for details.
0.03/0.17	c version 2.3.1.v20110525
0.03/0.17	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.17	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.17	c java.vm.version	19.1-b02
0.03/0.17	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.17	c sun.arch.data.model	64
0.03/0.17	c java.version		1.6.0_24
0.03/0.17	c os.name		Linux
0.03/0.17	c os.version		2.6.18-164.el5
0.03/0.17	c os.arch		amd64
0.03/0.17	c Free memory 		9996466904
0.03/0.17	c Max memory 		10048897024
0.03/0.17	c Total memory 		10048897024
0.03/0.17	c Number of processors 	8
0.11/0.20	c Pseudo Boolean Optimization
0.11/0.20	c --- Begin Solver configuration ---
0.11/0.20	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.20	c Learn all clauses as in MiniSAT
0.11/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.20	c Expensive reason simplification
0.11/0.20	c Armin Biere (Picosat) restarts strategy
0.11/0.20	c Glucose learned constraints deletion strategy
0.11/0.20	c timeout=2147483s
0.11/0.20	c DB Simplification allowed=false
0.11/0.20	c --- End Solver configuration ---
0.11/0.20	c solving HOME/instance-3492195-1307908248.wbo
0.11/0.20	c reading problem ... 
0.29/0.32	c ... done. Wall clock time 0.116s.
0.29/0.32	c #vars     2497
0.29/0.32	c #constraints  140
0.29/0.32	c constraints type 
0.29/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 80
0.29/0.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
0.29/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 44
0.54/0.47	c SATISFIABLE
0.54/0.47	c OPTIMIZING...
0.54/0.47	c Got one! Elapsed wall clock time (in seconds):0.268
0.54/0.47	o 114
0.77/0.52	c Got one! Elapsed wall clock time (in seconds):0.32
0.77/0.52	o 100
0.77/0.58	c Got one! Elapsed wall clock time (in seconds):0.381
0.77/0.58	o 92
0.93/0.67	c Got one! Elapsed wall clock time (in seconds):0.464
0.93/0.67	o 90
1.13/0.82	c Got one! Elapsed wall clock time (in seconds):0.613
1.13/0.82	o 74
1.35/1.08	c Got one! Elapsed wall clock time (in seconds):0.872
1.35/1.08	o 63
1.67/1.35	c Got one! Elapsed wall clock time (in seconds):1.144
1.67/1.35	o 60
2.21/1.80	c cleaning 3978 clauses out of 7983 with flag 2001/7983
2.31/1.91	c Got one! Elapsed wall clock time (in seconds):1.703
2.31/1.91	o 57
2.41/2.00	c Got one! Elapsed wall clock time (in seconds):1.797
2.41/2.00	o 38
3.05/2.61	c Got one! Elapsed wall clock time (in seconds):2.409
3.05/2.61	o 27
3.95/3.55	c cleaning 5517 clauses out of 11081 with flag 3001/15059
3.95/3.58	c Got one! Elapsed wall clock time (in seconds):3.379
3.95/3.58	o 26
4.46/3.94	c Got one! Elapsed wall clock time (in seconds):3.734
4.46/3.94	o 19
5.46/4.91	c cleaning 5763 clauses out of 11560 with flag 4002/21055
5.46/4.98	c Got one! Elapsed wall clock time (in seconds):4.776
5.46/4.98	o 17
6.22/5.62	c Got one! Elapsed wall clock time (in seconds):5.416
6.22/5.62	o 16
6.82/6.29	c cleaning 5651 clauses out of 11321 with flag 2002/26579
8.08/7.42	c cleaning 5732 clauses out of 11668 with flag 8000/32577
8.08/7.47	c Got one! Elapsed wall clock time (in seconds):7.271
8.08/7.47	o 14
9.28/8.63	c cleaning 5596 clauses out of 11231 with flag 5000/37872
11.08/10.48	c cleaning 5801 clauses out of 11638 with flag 11003/43875
13.48/12.88	c cleaning 6396 clauses out of 12836 with flag 18002/50874
16.00/15.31	c cleaning 7206 clauses out of 14441 with flag 26003/58875
19.10/18.46	c cleaning 8099 clauses out of 16233 with flag 35001/67873
22.20/21.50	c cleaning 9046 clauses out of 18134 with flag 45001/77873
24.51/23.81	c cleaning 9519 clauses out of 19089 with flag 55002/87874
27.92/27.29	c cleaning 9762 clauses out of 19571 with flag 65003/97875
31.32/30.68	c cleaning 9885 clauses out of 19806 with flag 75000/107872
34.23/33.52	c cleaning 9945 clauses out of 19921 with flag 85000/117872
37.64/36.97	c cleaning 9962 clauses out of 19977 with flag 95001/127873
40.45/39.78	c cleaning 9978 clauses out of 20015 with flag 105001/137873
42.26/41.55	c cleaning 10017 clauses out of 20037 with flag 115001/147873
44.77/44.02	c cleaning 9965 clauses out of 20021 with flag 125002/157874
48.97/48.30	c cleaning 9982 clauses out of 20056 with flag 135002/167874
52.29/51.57	c cleaning 10012 clauses out of 20072 with flag 145000/177872
54.99/54.24	c cleaning 9997 clauses out of 20064 with flag 155004/187876
58.50/57.70	c cleaning 10005 clauses out of 20064 with flag 165001/197873
61.51/60.76	c cleaning 10008 clauses out of 20060 with flag 175002/207874
64.11/63.30	c cleaning 10007 clauses out of 20051 with flag 185001/217873
67.22/66.44	c cleaning 10000 clauses out of 20043 with flag 195000/227872
70.14/69.33	c cleaning 10001 clauses out of 20045 with flag 205002/237874
72.14/71.33	c cleaning 9992 clauses out of 20043 with flag 215001/247873
74.55/73.79	c cleaning 9994 clauses out of 20053 with flag 225003/257875
77.15/76.38	c cleaning 9994 clauses out of 20058 with flag 235002/267874
79.96/79.19	c cleaning 10008 clauses out of 20063 with flag 245001/277873
83.28/82.46	c cleaning 10000 clauses out of 20055 with flag 255001/287873
87.18/86.35	c cleaning 9996 clauses out of 20054 with flag 265000/297872
89.40/88.51	c cleaning 10008 clauses out of 20059 with flag 275001/307873
91.50/90.61	c cleaning 9993 clauses out of 20051 with flag 285001/317873
94.81/93.96	c cleaning 10005 clauses out of 20057 with flag 295000/327872
98.22/97.38	c cleaning 10002 clauses out of 20054 with flag 305002/337874
101.72/100.82	c cleaning 10001 clauses out of 20052 with flag 315002/347874
103.94/103.02	c cleaning 9999 clauses out of 20049 with flag 325000/357872
106.04/105.10	c cleaning 10000 clauses out of 20050 with flag 335000/367872
107.84/106.99	c cleaning 9999 clauses out of 20051 with flag 345001/377873
109.65/108.76	c cleaning 10001 clauses out of 20051 with flag 355000/387872
111.96/111.05	c cleaning 9997 clauses out of 20050 with flag 365000/397872
115.47/114.59	c cleaning 10002 clauses out of 20053 with flag 375000/407872
119.28/118.31	c cleaning 10015 clauses out of 20051 with flag 385000/417872
123.59/122.62	c cleaning 10005 clauses out of 20037 with flag 395001/427873
125.49/124.58	c cleaning 9995 clauses out of 20037 with flag 405006/437878
127.81/126.88	c cleaning 10000 clauses out of 20037 with flag 415001/447873
130.02/129.01	c cleaning 9987 clauses out of 20038 with flag 425002/457874
132.43/131.45	c cleaning 9996 clauses out of 20049 with flag 435000/467872
135.15/134.17	c cleaning 9999 clauses out of 20054 with flag 445001/477873
137.46/136.47	c cleaning 10007 clauses out of 20055 with flag 455001/487873
139.57/138.55	c cleaning 9992 clauses out of 20048 with flag 465001/497873
142.28/141.28	c cleaning 10009 clauses out of 20057 with flag 475002/507874
144.80/143.71	c cleaning 9997 clauses out of 20047 with flag 485001/517873
146.51/145.44	c cleaning 10000 clauses out of 20053 with flag 495004/527876
148.82/147.72	c cleaning 10004 clauses out of 20050 with flag 505001/537873
151.03/149.94	c cleaning 10005 clauses out of 20047 with flag 515002/547874
153.03/151.93	c cleaning 9998 clauses out of 20041 with flag 525001/557873
155.24/154.10	c cleaning 10002 clauses out of 20044 with flag 535002/567874
157.64/156.55	c cleaning 10002 clauses out of 20042 with flag 545002/577874
159.75/158.60	c cleaning 9998 clauses out of 20038 with flag 555000/587872
162.35/161.24	c cleaning 9995 clauses out of 20040 with flag 565000/597872
165.66/164.56	c cleaning 10002 clauses out of 20045 with flag 575000/607872
168.77/167.63	c cleaning 9996 clauses out of 20046 with flag 585003/617875
171.98/170.83	c cleaning 9997 clauses out of 20048 with flag 595001/627873
174.08/172.99	c cleaning 9981 clauses out of 20050 with flag 605000/637872
176.79/175.64	c cleaning 9971 clauses out of 20070 with flag 615001/647873
180.20/179.08	c cleaning 9988 clauses out of 20100 with flag 625002/657874
184.21/183.01	c cleaning 9991 clauses out of 20110 with flag 635000/667872
187.91/186.72	c cleaning 10040 clauses out of 20119 with flag 645000/677872
191.83/190.63	c cleaning 10017 clauses out of 20080 with flag 655001/687873
195.34/194.19	c cleaning 10009 clauses out of 20064 with flag 665002/697874
200.14/198.98	c cleaning 10008 clauses out of 20055 with flag 675002/707874
203.75/202.57	c cleaning 10003 clauses out of 20046 with flag 685001/717873
205.46/204.23	c cleaning 9992 clauses out of 20042 with flag 695000/727872
207.97/206.73	c cleaning 10003 clauses out of 20052 with flag 705002/737874
210.48/209.28	c cleaning 9994 clauses out of 20047 with flag 715000/747872
213.08/211.88	c cleaning 10003 clauses out of 20053 with flag 725000/757872
215.49/214.28	c cleaning 10002 clauses out of 20050 with flag 735000/767872
217.70/216.48	c cleaning 9995 clauses out of 20048 with flag 745000/777872
219.91/218.63	c cleaning 9994 clauses out of 20053 with flag 755000/787872
222.22/220.95	c cleaning 9971 clauses out of 20059 with flag 765000/797872
224.82/223.56	c cleaning 10011 clauses out of 20088 with flag 775000/807872
227.24/225.94	c cleaning 9998 clauses out of 20077 with flag 785000/817872
229.74/228.45	c cleaning 9996 clauses out of 20081 with flag 795002/827874
232.15/230.83	c cleaning 10002 clauses out of 20084 with flag 805001/837873
234.26/232.93	c cleaning 10005 clauses out of 20089 with flag 815008/847880
236.57/235.20	c cleaning 10010 clauses out of 20082 with flag 825006/857878
238.88/237.57	c cleaning 10001 clauses out of 20067 with flag 835001/867873
241.09/239.78	c cleaning 9999 clauses out of 20065 with flag 845000/877872
243.29/241.97	c cleaning 10005 clauses out of 20067 with flag 855001/887873
246.00/244.63	c cleaning 9984 clauses out of 20062 with flag 865001/897873
250.02/248.65	c cleaning 10000 clauses out of 20077 with flag 875000/907872
254.12/252.78	c cleaning 10018 clauses out of 20079 with flag 885002/917874
257.33/255.95	c cleaning 10011 clauses out of 20061 with flag 895002/927874
261.14/259.77	c cleaning 10009 clauses out of 20049 with flag 905001/937873
263.55/262.19	c cleaning 10003 clauses out of 20039 with flag 915000/947872
266.26/264.85	c cleaning 9996 clauses out of 20036 with flag 925000/957872
269.57/268.16	c cleaning 9989 clauses out of 20041 with flag 935001/967873
272.58/271.15	c cleaning 9856 clauses out of 20053 with flag 945002/977874
276.39/274.96	c cleaning 9913 clauses out of 20195 with flag 955000/987872
281.20/279.74	c cleaning 9928 clauses out of 20282 with flag 965000/997872
284.22/282.75	c cleaning 9995 clauses out of 20355 with flag 975001/1007873
286.33/284.85	c cleaning 10106 clauses out of 20359 with flag 985000/1017872
288.23/286.78	c cleaning 10049 clauses out of 20254 with flag 995001/1027873
290.53/289.10	c cleaning 10029 clauses out of 20205 with flag 1005001/1037873
292.95/291.42	c cleaning 10006 clauses out of 20175 with flag 1015000/1047872
295.35/293.84	c cleaning 10006 clauses out of 20171 with flag 1025002/1057874
297.66/296.12	c cleaning 10002 clauses out of 20164 with flag 1035001/1067873
300.27/298.78	c cleaning 10004 clauses out of 20161 with flag 1045000/1077872
302.39/300.85	c cleaning 10025 clauses out of 20163 with flag 1055006/1087878
305.30/303.72	c cleaning 10007 clauses out of 20132 with flag 1065000/1097872
308.42/306.87	c cleaning 9997 clauses out of 20125 with flag 1075000/1107872
311.72/310.20	c cleaning 10007 clauses out of 20131 with flag 1085003/1117875
314.83/313.29	c cleaning 10007 clauses out of 20128 with flag 1095007/1127879
317.94/316.36	c cleaning 9997 clauses out of 20118 with flag 1105004/1137876
320.85/319.20	c cleaning 9994 clauses out of 20117 with flag 1115000/1147872
323.35/321.73	c cleaning 10001 clauses out of 20123 with flag 1125000/1157872
326.06/324.50	c cleaning 10000 clauses out of 20123 with flag 1135001/1167873
328.97/327.38	c cleaning 10003 clauses out of 20122 with flag 1145000/1177872
330.87/329.27	c cleaning 10046 clauses out of 20121 with flag 1155002/1187874
332.98/331.40	c cleaning 10020 clauses out of 20073 with flag 1165000/1197872
334.99/333.30	c cleaning 10010 clauses out of 20053 with flag 1175000/1207872
337.20/335.57	c cleaning 10006 clauses out of 20045 with flag 1185002/1217874
339.60/337.97	c cleaning 10004 clauses out of 20038 with flag 1195001/1227873
342.71/341.06	c cleaning 10000 clauses out of 20033 with flag 1205000/1237872
345.72/344.03	c cleaning 10002 clauses out of 20038 with flag 1215005/1247877
348.82/347.14	c cleaning 9998 clauses out of 20032 with flag 1225001/1257873
351.83/350.10	c cleaning 9999 clauses out of 20033 with flag 1235000/1267872
354.64/352.98	c cleaning 9996 clauses out of 20034 with flag 1245000/1277872
357.25/355.57	c cleaning 10004 clauses out of 20040 with flag 1255002/1287874
359.66/357.93	c cleaning 10000 clauses out of 20035 with flag 1265001/1297873
362.47/360.73	c cleaning 10001 clauses out of 20035 with flag 1275001/1307873
365.18/363.47	c cleaning 10002 clauses out of 20037 with flag 1285004/1317876
368.09/366.32	c cleaning 9993 clauses out of 20033 with flag 1295002/1327874
370.99/369.29	c cleaning 9998 clauses out of 20040 with flag 1305002/1337874
374.20/372.45	c cleaning 9986 clauses out of 20040 with flag 1315000/1347872
378.11/376.38	c cleaning 9994 clauses out of 20059 with flag 1325005/1357877
381.93/380.16	c cleaning 10011 clauses out of 20061 with flag 1335001/1367873
385.24/383.42	c cleaning 10009 clauses out of 20052 with flag 1345003/1377875
387.75/385.98	c cleaning 9982 clauses out of 20041 with flag 1355001/1387873
390.37/388.58	c cleaning 9997 clauses out of 20062 with flag 1365004/1397876
392.77/390.99	c cleaning 10002 clauses out of 20061 with flag 1375000/1407872
394.48/392.64	c cleaning 9998 clauses out of 20059 with flag 1385000/1417872
396.18/394.39	c cleaning 10005 clauses out of 20063 with flag 1395002/1427874
398.39/396.52	c cleaning 9997 clauses out of 20056 with flag 1405000/1437872
400.30/398.49	c cleaning 9995 clauses out of 20063 with flag 1415004/1447876
402.91/401.01	c cleaning 10009 clauses out of 20065 with flag 1425001/1457873
404.91/403.00	c cleaning 9999 clauses out of 20056 with flag 1435001/1467873
407.22/405.34	c cleaning 9999 clauses out of 20057 with flag 1445001/1477873
409.13/407.26	c cleaning 9999 clauses out of 20058 with flag 1455001/1487873
411.34/409.49	c cleaning 9999 clauses out of 20058 with flag 1465000/1497872
413.55/411.60	c cleaning 9997 clauses out of 20060 with flag 1475001/1507873
415.65/413.74	c cleaning 10004 clauses out of 20066 with flag 1485004/1517876
417.36/415.42	c cleaning 10008 clauses out of 20059 with flag 1495001/1527873
419.16/417.22	c cleaning 10003 clauses out of 20051 with flag 1505001/1537873
420.98/419.04	c cleaning 10002 clauses out of 20047 with flag 1515000/1547872
422.88/420.92	c cleaning 10002 clauses out of 20048 with flag 1525003/1557875
424.88/422.90	c cleaning 10002 clauses out of 20044 with flag 1535001/1567873
426.99/425.08	c cleaning 10001 clauses out of 20041 with flag 1545000/1577872
428.99/427.02	c cleaning 9998 clauses out of 20042 with flag 1555002/1587874
431.19/429.26	c cleaning 9998 clauses out of 20042 with flag 1565000/1597872
433.50/431.52	c cleaning 10001 clauses out of 20046 with flag 1575002/1607874
435.20/433.27	c cleaning 10000 clauses out of 20043 with flag 1585000/1617872
436.71/434.78	c cleaning 10003 clauses out of 20045 with flag 1595002/1627874
438.52/436.59	c cleaning 10005 clauses out of 20044 with flag 1605004/1637876
440.63/438.66	c cleaning 10002 clauses out of 20036 with flag 1615001/1647873
442.73/440.72	c cleaning 10001 clauses out of 20035 with flag 1625002/1657874
444.64/442.60	c cleaning 10002 clauses out of 20034 with flag 1635002/1667874
446.54/444.56	c cleaning 9995 clauses out of 20032 with flag 1645002/1677874
448.85/446.81	c cleaning 9999 clauses out of 20035 with flag 1655000/1687872
450.86/448.85	c cleaning 10002 clauses out of 20036 with flag 1665000/1697872
452.86/450.86	c cleaning 10001 clauses out of 20034 with flag 1675000/1707872
455.07/453.09	c cleaning 10002 clauses out of 20037 with flag 1685004/1717876
456.87/454.87	c cleaning 9998 clauses out of 20032 with flag 1695001/1727873
458.88/456.84	c cleaning 9999 clauses out of 20033 with flag 1705000/1737872
460.88/458.89	c cleaning 10006 clauses out of 20039 with flag 1715005/1747877
462.58/460.60	c cleaning 9997 clauses out of 20029 with flag 1725001/1757873
464.39/462.31	c cleaning 9993 clauses out of 20032 with flag 1735001/1767873
467.19/465.16	c cleaning 10001 clauses out of 20039 with flag 1745001/1777873
471.31/469.29	c cleaning 10001 clauses out of 20037 with flag 1755000/1787872
475.12/473.06	c cleaning 9998 clauses out of 20039 with flag 1765003/1797875
479.22/477.14	c cleaning 10000 clauses out of 20038 with flag 1775000/1807872
483.33/481.26	c cleaning 9997 clauses out of 20038 with flag 1785000/1817872
487.14/485.07	c cleaning 10003 clauses out of 20042 with flag 1795001/1827873
490.84/488.72	c cleaning 9999 clauses out of 20038 with flag 1805000/1837872
494.15/492.06	c cleaning 10004 clauses out of 20041 with flag 1815002/1847874
498.05/495.91	c cleaning 9998 clauses out of 20035 with flag 1825000/1857872
501.95/499.86	c cleaning 10001 clauses out of 20039 with flag 1835002/1867874
505.66/503.55	c cleaning 10001 clauses out of 20040 with flag 1845004/1877876
509.47/507.39	c cleaning 9996 clauses out of 20035 with flag 1855000/1887872
513.38/511.21	c cleaning 10001 clauses out of 20041 with flag 1865002/1897874
516.59/514.47	c cleaning 9984 clauses out of 20038 with flag 1875000/1907872
518.49/516.36	c cleaning 10002 clauses out of 20056 with flag 1885002/1917874
520.60/518.44	c cleaning 10001 clauses out of 20053 with flag 1895001/1927873
522.61/520.43	c cleaning 10008 clauses out of 20051 with flag 1905000/1937872
525.01/522.87	c cleaning 10002 clauses out of 20046 with flag 1915003/1947875
527.52/525.34	c cleaning 9995 clauses out of 20041 with flag 1925000/1957872
529.73/527.55	c cleaning 10005 clauses out of 20046 with flag 1935000/1967872
531.93/529.72	c cleaning 9997 clauses out of 20041 with flag 1945000/1977872
534.04/531.88	c cleaning 9997 clauses out of 20046 with flag 1955002/1987874
536.34/534.12	c cleaning 10003 clauses out of 20048 with flag 1965001/1997873
539.56/537.36	c cleaning 9998 clauses out of 20045 with flag 1975001/2007873
543.06/540.81	c cleaning 9977 clauses out of 20047 with flag 1985001/2017873
546.78/544.57	c cleaning 9991 clauses out of 20069 with flag 1995000/2027872
550.68/548.49	c cleaning 10017 clauses out of 20080 with flag 2005002/2037874
555.99/553.79	c cleaning 10008 clauses out of 20061 with flag 2015000/2047872
559.30/557.02	c cleaning 10013 clauses out of 20054 with flag 2025001/2057873
562.61/560.37	c cleaning 10012 clauses out of 20041 with flag 2035001/2067873
565.92/563.61	c cleaning 10004 clauses out of 20028 with flag 2045000/2077872
568.12/565.89	c cleaning 9996 clauses out of 20025 with flag 2055001/2087873
571.15/568.81	c cleaning 10003 clauses out of 20029 with flag 2065001/2097873
574.16/571.80	c cleaning 10002 clauses out of 20025 with flag 2075000/2107872
576.87/574.52	c cleaning 9991 clauses out of 20024 with flag 2085001/2117873
579.88/577.58	c cleaning 9996 clauses out of 20035 with flag 2095003/2127875
584.69/582.31	c cleaning 9997 clauses out of 20039 with flag 2105003/2137875
589.19/586.88	c cleaning 9996 clauses out of 20040 with flag 2115001/2147873
593.70/591.35	c cleaning 9993 clauses out of 20043 with flag 2125000/2157872
595.91/593.56	c cleaning 9999 clauses out of 20050 with flag 2135000/2167872
599.02/596.66	c cleaning 10002 clauses out of 20052 with flag 2145001/2177873
602.23/599.89	c cleaning 10002 clauses out of 20056 with flag 2155007/2187879
605.25/602.87	c cleaning 9955 clauses out of 20049 with flag 2165002/2197874
608.36/605.96	c cleaning 9980 clauses out of 20093 with flag 2175001/2207873
611.27/608.85	c cleaning 10012 clauses out of 20112 with flag 2185000/2217872
614.08/611.64	c cleaning 10013 clauses out of 20102 with flag 2195002/2227874
617.08/614.65	c cleaning 10008 clauses out of 20093 with flag 2205006/2237878
620.19/617.74	c cleaning 9999 clauses out of 20081 with flag 2215002/2247874
623.40/620.92	c cleaning 9999 clauses out of 20080 with flag 2225000/2257872
626.31/623.80	c cleaning 9968 clauses out of 20082 with flag 2235001/2267873
629.12/626.64	c cleaning 9995 clauses out of 20113 with flag 2245000/2277872
631.33/628.88	c cleaning 10004 clauses out of 20118 with flag 2255000/2287872
633.33/630.88	c cleaning 10009 clauses out of 20115 with flag 2265001/2297873
635.64/633.17	c cleaning 9993 clauses out of 20106 with flag 2275001/2307873
637.86/635.33	c cleaning 10004 clauses out of 20114 with flag 2285002/2317874
640.36/637.82	c cleaning 10002 clauses out of 20110 with flag 2295002/2327874
642.37/639.88	c cleaning 9987 clauses out of 20106 with flag 2305000/2337872
644.58/642.10	c cleaning 10007 clauses out of 20119 with flag 2315000/2347872
647.29/644.76	c cleaning 10005 clauses out of 20114 with flag 2325002/2357874
649.60/647.08	c cleaning 9988 clauses out of 20108 with flag 2335001/2367873
651.80/649.27	c cleaning 9997 clauses out of 20119 with flag 2345000/2377872
654.41/651.80	c cleaning 10009 clauses out of 20124 with flag 2355002/2387874
656.63/654.07	c cleaning 9994 clauses out of 20113 with flag 2365000/2397872
659.24/656.66	c cleaning 10005 clauses out of 20120 with flag 2375001/2407873
662.04/659.43	c cleaning 10002 clauses out of 20114 with flag 2385000/2417872
664.75/662.17	c cleaning 9988 clauses out of 20112 with flag 2395000/2427872
666.86/664.29	c cleaning 10046 clauses out of 20124 with flag 2405000/2437872
669.28/666.61	c cleaning 10024 clauses out of 20079 with flag 2415001/2447873
671.58/668.97	c cleaning 10012 clauses out of 20054 with flag 2425000/2457872
673.99/671.35	c cleaning 10003 clauses out of 20042 with flag 2435000/2467872
676.91/674.23	c cleaning 9998 clauses out of 20041 with flag 2445002/2477874
679.21/676.59	c cleaning 10008 clauses out of 20042 with flag 2455001/2487873
682.11/679.41	c cleaning 10004 clauses out of 20036 with flag 2465003/2497875
684.52/681.80	c cleaning 9999 clauses out of 20031 with flag 2475002/2507874
687.33/684.67	c cleaning 10004 clauses out of 20036 with flag 2485006/2517878
690.14/687.43	c cleaning 9991 clauses out of 20026 with flag 2495000/2527872
693.04/690.39	c cleaning 9998 clauses out of 20036 with flag 2505001/2537873
696.35/693.63	c cleaning 10002 clauses out of 20040 with flag 2515003/2547875
699.47/696.71	c cleaning 9994 clauses out of 20035 with flag 2525000/2557872
702.47/699.77	c cleaning 10007 clauses out of 20042 with flag 2535001/2567873
705.38/702.69	c cleaning 10001 clauses out of 20034 with flag 2545000/2577872
708.38/705.62	c cleaning 9998 clauses out of 20034 with flag 2555001/2587873
710.88/708.12	c cleaning 10002 clauses out of 20035 with flag 2565000/2597872
713.39/710.65	c cleaning 9960 clauses out of 20034 with flag 2575001/2607873
715.79/713.08	c cleaning 10018 clauses out of 20073 with flag 2585000/2617872
718.29/715.50	c cleaning 10015 clauses out of 20060 with flag 2595005/2627877
721.20/718.48	c cleaning 10002 clauses out of 20042 with flag 2605002/2637874
723.91/721.12	c cleaning 10006 clauses out of 20038 with flag 2615000/2647872
726.43/723.70	c cleaning 9993 clauses out of 20034 with flag 2625002/2657874
730.74/727.92	c cleaning 9996 clauses out of 20041 with flag 2635002/2667874
734.44/731.64	c cleaning 10002 clauses out of 20050 with flag 2645007/2677879
739.45/736.62	c cleaning 10001 clauses out of 20054 with flag 2655013/2687885
743.76/740.98	c cleaning 9998 clauses out of 20041 with flag 2665001/2697873
748.77/745.93	c cleaning 9996 clauses out of 20042 with flag 2675000/2707872
753.57/750.75	c cleaning 10001 clauses out of 20048 with flag 2685002/2717874
757.98/755.17	c cleaning 10001 clauses out of 20050 with flag 2695005/2727877
761.69/758.90	c cleaning 9996 clauses out of 20046 with flag 2705002/2737874
765.29/762.46	c cleaning 9997 clauses out of 20049 with flag 2715001/2747873
769.50/766.63	c cleaning 9996 clauses out of 20052 with flag 2725001/2757873
773.20/770.36	c cleaning 10004 clauses out of 20056 with flag 2735001/2767873
777.61/774.72	c cleaning 10006 clauses out of 20059 with flag 2745008/2777880
781.41/778.59	c cleaning 9995 clauses out of 20045 with flag 2755000/2787872
785.92/783.07	c cleaning 10000 clauses out of 20050 with flag 2765000/2797872
790.43/787.52	c cleaning 10003 clauses out of 20053 with flag 2775003/2807875
795.03/792.16	c cleaning 9999 clauses out of 20050 with flag 2785003/2817875
798.33/795.50	c cleaning 10001 clauses out of 20050 with flag 2795002/2827874
802.13/799.20	c cleaning 9998 clauses out of 20048 with flag 2805001/2837873
805.44/802.56	c cleaning 9998 clauses out of 20049 with flag 2815000/2847872
809.24/806.36	c cleaning 10001 clauses out of 20053 with flag 2825002/2857874
814.14/811.26	c cleaning 10000 clauses out of 20051 with flag 2835001/2867873
818.95/816.01	c cleaning 9995 clauses out of 20050 with flag 2845000/2877872
823.85/820.93	c cleaning 10003 clauses out of 20057 with flag 2855002/2887874
828.05/825.14	c cleaning 10002 clauses out of 20053 with flag 2865001/2897873
832.65/829.71	c cleaning 9999 clauses out of 20050 with flag 2875000/2907872
837.35/834.46	c cleaning 10002 clauses out of 20053 with flag 2885002/2917874
841.07/838.19	c cleaning 10001 clauses out of 20049 with flag 2895000/2927872
844.56/841.66	c cleaning 10000 clauses out of 20048 with flag 2905000/2937872
848.17/845.23	c cleaning 10001 clauses out of 20052 with flag 2915004/2947876
852.27/849.36	c cleaning 10000 clauses out of 20047 with flag 2925000/2957872
856.07/853.16	c cleaning 10001 clauses out of 20049 with flag 2935002/2967874
859.98/857.06	c cleaning 9998 clauses out of 20046 with flag 2945000/2977872
863.78/860.86	c cleaning 9997 clauses out of 20048 with flag 2955000/2987872
866.09/863.12	c cleaning 9980 clauses out of 20051 with flag 2965000/2997872
868.71/865.75	c cleaning 10019 clauses out of 20072 with flag 2975001/3007873
871.82/868.86	c cleaning 10000 clauses out of 20052 with flag 2985000/3017872
875.23/872.26	c cleaning 9995 clauses out of 20052 with flag 2995000/3027872
879.34/876.30	c cleaning 9991 clauses out of 20057 with flag 3005000/3037872
883.34/880.35	c cleaning 10007 clauses out of 20066 with flag 3015000/3047872
885.26/882.27	c cleaning 10006 clauses out of 20060 with flag 3025001/3057873
886.77/883.79	c cleaning 10002 clauses out of 20054 with flag 3035001/3067873
888.37/885.32	c cleaning 10008 clauses out of 20051 with flag 3045000/3077872
890.89/887.88	c cleaning 10008 clauses out of 20046 with flag 3055003/3087875
893.29/890.30	c cleaning 10001 clauses out of 20035 with flag 3065000/3097872
895.99/892.97	c cleaning 10001 clauses out of 20035 with flag 3075001/3107873
898.70/895.60	c cleaning 9995 clauses out of 20033 with flag 3085000/3117872
901.71/898.65	c cleaning 9997 clauses out of 20038 with flag 3095000/3127872
905.41/902.39	c cleaning 9996 clauses out of 20041 with flag 3105000/3137872
909.62/906.51	c cleaning 9998 clauses out of 20046 with flag 3115001/3147873
914.53/911.40	c cleaning 9998 clauses out of 20047 with flag 3125000/3157872
918.83/915.76	c cleaning 10000 clauses out of 20051 with flag 3135002/3167874
923.44/920.35	c cleaning 9999 clauses out of 20049 with flag 3145000/3177872
927.06/923.91	c cleaning 10021 clauses out of 20050 with flag 3155000/3187872
929.06/925.92	c cleaning 9982 clauses out of 20029 with flag 3165000/3197872
931.77/928.64	c cleaning 9989 clauses out of 20049 with flag 3175002/3207874
935.07/931.95	c cleaning 10005 clauses out of 20062 with flag 3185004/3217876
938.39/935.23	c cleaning 10001 clauses out of 20057 with flag 3195004/3227876
942.10/938.93	c cleaning 10001 clauses out of 20053 with flag 3205001/3237873
945.50/942.31	c cleaning 9997 clauses out of 20053 with flag 3215002/3247874
949.22/946.02	c cleaning 9999 clauses out of 20056 with flag 3225002/3257874
952.53/949.33	c cleaning 9976 clauses out of 20056 with flag 3235001/3267873
955.63/952.46	c cleaning 10015 clauses out of 20083 with flag 3245004/3277876
957.84/954.66	c cleaning 9999 clauses out of 20064 with flag 3255000/3287872
960.05/956.89	c cleaning 9992 clauses out of 20065 with flag 3265000/3297872
962.95/959.78	c cleaning 9998 clauses out of 20074 with flag 3275001/3307873
965.77/962.59	c cleaning 10009 clauses out of 20075 with flag 3285000/3317872
968.27/965.02	c cleaning 10001 clauses out of 20067 with flag 3295001/3327873
970.69/967.47	c cleaning 10005 clauses out of 20069 with flag 3305004/3337876
973.29/970.00	c cleaning 9997 clauses out of 20061 with flag 3315001/3347873
975.71/972.42	c cleaning 9993 clauses out of 20063 with flag 3325000/3357872
978.50/975.26	c cleaning 10006 clauses out of 20073 with flag 3335003/3367875
981.41/978.12	c cleaning 9999 clauses out of 20064 with flag 3345000/3377872
983.92/980.66	c cleaning 10002 clauses out of 20066 with flag 3355001/3387873
986.63/983.32	c cleaning 10004 clauses out of 20069 with flag 3365006/3397878
989.13/985.82	c cleaning 9997 clauses out of 20061 with flag 3375002/3407874
991.73/988.41	c cleaning 9995 clauses out of 20062 with flag 3385000/3417872
994.14/990.86	c cleaning 10003 clauses out of 20067 with flag 3395000/3427872
996.44/993.10	c cleaning 10006 clauses out of 20068 with flag 3405004/3437876
999.05/995.75	c cleaning 10001 clauses out of 20058 with flag 3415000/3447872
1001.56/998.28	c cleaning 9989 clauses out of 20057 with flag 3425000/3457872
1003.97/1000.67	c cleaning 9999 clauses out of 20068 with flag 3435000/3467872
1006.58/1003.24	c cleaning 10008 clauses out of 20069 with flag 3445000/3477872
1009.08/1005.74	c cleaning 10005 clauses out of 20061 with flag 3455000/3487872
1011.69/1008.36	c cleaning 9999 clauses out of 20058 with flag 3465002/3497874
1014.49/1011.14	c cleaning 10001 clauses out of 20058 with flag 3475001/3507873
1017.50/1014.17	c cleaning 9980 clauses out of 20061 with flag 3485005/3517877
1020.61/1017.25	c cleaning 10008 clauses out of 20077 with flag 3495001/3527873
1023.51/1020.12	c cleaning 9987 clauses out of 20073 with flag 3505005/3537877
1026.32/1022.96	c cleaning 9994 clauses out of 20081 with flag 3515000/3547872
1029.03/1025.61	c cleaning 9980 clauses out of 20088 with flag 3525001/3557873
1032.03/1028.60	c cleaning 10026 clauses out of 20107 with flag 3535000/3567872
1034.74/1031.31	c cleaning 10015 clauses out of 20086 with flag 3545005/3577877
1037.95/1034.55	c cleaning 9987 clauses out of 20070 with flag 3555004/3587876
1041.35/1037.98	c cleaning 9969 clauses out of 20081 with flag 3565002/3597874
1044.56/1041.16	c cleaning 10022 clauses out of 20110 with flag 3575000/3607872
1047.27/1043.81	c cleaning 10016 clauses out of 20090 with flag 3585002/3617874
1050.27/1046.86	c cleaning 9996 clauses out of 20074 with flag 3595002/3627874
1052.98/1049.51	c cleaning 10016 clauses out of 20081 with flag 3605005/3637877
1055.59/1052.16	c cleaning 9985 clauses out of 20061 with flag 3615001/3647873
1057.39/1053.93	c cleaning 10023 clauses out of 20075 with flag 3625000/3657872
1059.11/1055.65	c cleaning 10010 clauses out of 20054 with flag 3635002/3667874
1061.01/1057.52	c cleaning 10002 clauses out of 20042 with flag 3645000/3677872
1063.11/1059.68	c cleaning 9999 clauses out of 20043 with flag 3655003/3687875
1065.22/1061.78	c cleaning 10003 clauses out of 20043 with flag 3665002/3697874
1067.23/1063.75	c cleaning 10000 clauses out of 20038 with flag 3675000/3707872
1069.34/1065.82	c cleaning 9999 clauses out of 20040 with flag 3685002/3717874
1071.94/1068.48	c cleaning 10006 clauses out of 20044 with flag 3695005/3727877
1074.35/1070.80	c cleaning 9992 clauses out of 20035 with flag 3705002/3737874
1076.66/1073.14	c cleaning 9997 clauses out of 20042 with flag 3715001/3747873
1078.96/1075.47	c cleaning 10009 clauses out of 20046 with flag 3725002/3757874
1081.17/1077.65	c cleaning 10002 clauses out of 20038 with flag 3735003/3767875
1083.48/1079.97	c cleaning 9998 clauses out of 20033 with flag 3745000/3777872
1085.48/1081.94	c cleaning 10002 clauses out of 20037 with flag 3755002/3787874
1087.38/1083.85	c cleaning 9992 clauses out of 20033 with flag 3765000/3797872
1089.78/1086.22	c cleaning 9997 clauses out of 20041 with flag 3775000/3807872
1092.09/1088.50	c cleaning 10004 clauses out of 20045 with flag 3785001/3817873
1094.29/1090.70	c cleaning 10006 clauses out of 20040 with flag 3795000/3827872
1096.60/1093.07	c cleaning 10002 clauses out of 20037 with flag 3805003/3837875
1099.11/1095.54	c cleaning 9998 clauses out of 20033 with flag 3815001/3847873
1101.51/1097.98	c cleaning 10000 clauses out of 20034 with flag 3825000/3857872
1104.01/1100.44	c cleaning 10002 clauses out of 20037 with flag 3835003/3867875
1106.33/1102.73	c cleaning 10000 clauses out of 20035 with flag 3845003/3877875
1108.43/1104.85	c cleaning 9996 clauses out of 20033 with flag 3855001/3887873
1110.94/1107.39	c cleaning 10001 clauses out of 20038 with flag 3865002/3897874
1113.24/1109.63	c cleaning 10001 clauses out of 20036 with flag 3875001/3907873
1115.66/1112.05	c cleaning 9999 clauses out of 20036 with flag 3885002/3917874
1117.96/1114.32	c cleaning 10003 clauses out of 20038 with flag 3895003/3927875
1120.26/1116.62	c cleaning 9997 clauses out of 20033 with flag 3905001/3937873
1122.77/1119.12	c cleaning 10003 clauses out of 20038 with flag 3915003/3947875
1124.97/1121.38	c cleaning 9994 clauses out of 20032 with flag 3925000/3957872
1128.07/1124.41	c cleaning 10006 clauses out of 20044 with flag 3935006/3967878
1130.27/1126.68	c cleaning 9996 clauses out of 20034 with flag 3945002/3977874
1132.67/1129.06	c cleaning 10014 clauses out of 20041 with flag 3955005/3987877
1135.38/1131.80	c cleaning 9993 clauses out of 20022 with flag 3965000/3997872
1138.38/1134.70	c cleaning 9993 clauses out of 20029 with flag 3975000/4007872
1141.69/1138.05	c cleaning 10000 clauses out of 20037 with flag 3985001/4017873
1144.99/1141.36	c cleaning 9998 clauses out of 20036 with flag 3995000/4027872
1148.40/1144.76	c cleaning 10002 clauses out of 20038 with flag 4005000/4037872
1152.01/1148.33	c cleaning 10001 clauses out of 20036 with flag 4015000/4047872
1154.71/1151.06	c cleaning 9994 clauses out of 20036 with flag 4025001/4057873
1157.91/1154.20	c cleaning 9999 clauses out of 20041 with flag 4035000/4067872
1161.22/1157.53	c cleaning 9999 clauses out of 20042 with flag 4045000/4077872
1164.33/1160.68	c cleaning 10007 clauses out of 20047 with flag 4055004/4087876
1167.93/1164.22	c cleaning 10000 clauses out of 20036 with flag 4065000/4097872
1171.13/1167.48	c cleaning 9999 clauses out of 20036 with flag 4075000/4107872
1174.24/1170.56	c cleaning 10001 clauses out of 20038 with flag 4085001/4117873
1177.54/1173.81	c cleaning 9997 clauses out of 20037 with flag 4095001/4127873
1180.65/1176.97	c cleaning 9998 clauses out of 20039 with flag 4105000/4137872
1184.14/1180.42	c cleaning 10001 clauses out of 20043 with flag 4115002/4147874
1187.35/1183.63	c cleaning 10002 clauses out of 20041 with flag 4125001/4157873
1190.75/1187.03	c cleaning 10000 clauses out of 20038 with flag 4135000/4167872
1193.86/1190.16	c cleaning 10000 clauses out of 20039 with flag 4145001/4177873
1197.06/1193.31	c cleaning 10000 clauses out of 20040 with flag 4155002/4187874
1200.36/1196.65	c cleaning 9999 clauses out of 20039 with flag 4165001/4197873
1203.36/1199.67	c cleaning 9995 clauses out of 20039 with flag 4175000/4207872
1206.26/1202.58	c cleaning 10003 clauses out of 20045 with flag 4185001/4217873
1209.57/1205.85	c cleaning 10001 clauses out of 20042 with flag 4195001/4227873
1212.47/1208.75	c cleaning 10001 clauses out of 20041 with flag 4205001/4237873
1216.48/1212.75	c cleaning 10001 clauses out of 20040 with flag 4215001/4247873
1219.89/1216.10	c cleaning 9996 clauses out of 20039 with flag 4225001/4257873
1222.99/1219.22	c cleaning 9999 clauses out of 20043 with flag 4235001/4267873
1225.89/1222.19	c cleaning 10003 clauses out of 20045 with flag 4245002/4277874
1228.89/1225.18	c cleaning 10000 clauses out of 20040 with flag 4255000/4287872
1232.10/1228.38	c cleaning 10004 clauses out of 20043 with flag 4265003/4297875
1235.20/1231.48	c cleaning 9994 clauses out of 20038 with flag 4275002/4307874
1238.81/1235.02	c cleaning 9999 clauses out of 20042 with flag 4285000/4317872
1242.42/1238.64	c cleaning 10003 clauses out of 20045 with flag 4295002/4327874
1245.82/1242.05	c cleaning 9998 clauses out of 20040 with flag 4305000/4337872
1249.32/1245.52	c cleaning 10003 clauses out of 20043 with flag 4315001/4347873
1252.52/1248.75	c cleaning 9997 clauses out of 20039 with flag 4325000/4357872
1255.72/1251.95	c cleaning 10001 clauses out of 20042 with flag 4335000/4367872
1258.83/1255.02	c cleaning 10000 clauses out of 20042 with flag 4345001/4377873
1262.53/1258.70	c cleaning 9998 clauses out of 20041 with flag 4355000/4387872
1266.23/1262.45	c cleaning 10000 clauses out of 20044 with flag 4365001/4397873
1270.73/1266.93	c cleaning 9997 clauses out of 20043 with flag 4375000/4407872
1274.64/1270.81	c cleaning 10007 clauses out of 20051 with flag 4385005/4417877
1277.94/1274.12	c cleaning 10000 clauses out of 20039 with flag 4395000/4427872
1281.45/1277.60	c cleaning 10001 clauses out of 20041 with flag 4405002/4437874
1284.85/1281.00	c cleaning 10001 clauses out of 20039 with flag 4415001/4447873
1288.06/1284.29	c cleaning 9999 clauses out of 20037 with flag 4425000/4457872
1291.46/1287.60	c cleaning 9999 clauses out of 20038 with flag 4435000/4467872
1294.86/1291.01	c cleaning 10000 clauses out of 20039 with flag 4445000/4477872
1298.17/1294.35	c cleaning 10006 clauses out of 20039 with flag 4455000/4487872
1301.48/1297.63	c cleaning 9995 clauses out of 20038 with flag 4465005/4497877
1304.69/1300.89	c cleaning 9999 clauses out of 20040 with flag 4475002/4507874
1308.09/1304.25	c cleaning 10002 clauses out of 20041 with flag 4485002/4517874
1311.20/1307.35	c cleaning 9996 clauses out of 20037 with flag 4495000/4527872
1314.92/1311.02	c cleaning 10001 clauses out of 20042 with flag 4505001/4537873
1317.23/1313.32	c cleaning 10004 clauses out of 20041 with flag 4515001/4547873
1318.83/1314.95	c cleaning 10002 clauses out of 20039 with flag 4525003/4557875
1320.84/1316.94	c cleaning 10002 clauses out of 20036 with flag 4535002/4567874
1322.75/1318.86	c cleaning 9996 clauses out of 20032 with flag 4545000/4577872
1325.75/1321.87	c cleaning 10003 clauses out of 20038 with flag 4555002/4587874
1328.56/1324.68	c cleaning 9999 clauses out of 20035 with flag 4565002/4597874
1331.97/1328.00	c cleaning 10000 clauses out of 20035 with flag 4575001/4607873
1334.89/1330.96	c cleaning 9988 clauses out of 20034 with flag 4585000/4617872
1338.59/1334.69	c cleaning 10001 clauses out of 20048 with flag 4595002/4627874
1341.70/1337.75	c cleaning 10000 clauses out of 20045 with flag 4605000/4637872
1345.01/1341.03	c cleaning 10000 clauses out of 20049 with flag 4615004/4647876
1348.31/1344.32	c cleaning 10004 clauses out of 20052 with flag 4625007/4657879
1351.21/1347.21	c cleaning 9999 clauses out of 20044 with flag 4635003/4667875
1354.32/1350.31	c cleaning 9994 clauses out of 20044 with flag 4645002/4677874
1356.94/1352.95	c cleaning 10003 clauses out of 20050 with flag 4655002/4687874
1360.35/1356.34	c cleaning 10003 clauses out of 20045 with flag 4665000/4697872
1364.35/1360.39	c cleaning 10003 clauses out of 20046 with flag 4675004/4707876
1367.75/1363.73	c cleaning 10001 clauses out of 20041 with flag 4685002/4717874
1371.26/1367.27	c cleaning 9999 clauses out of 20039 with flag 4695001/4727873
1375.47/1371.42	c cleaning 10001 clauses out of 20042 with flag 4705003/4737875
1379.17/1375.14	c cleaning 9999 clauses out of 20040 with flag 4715002/4747874
1383.08/1379.03	c cleaning 9997 clauses out of 20039 with flag 4725000/4757872
1386.89/1382.82	c cleaning 10001 clauses out of 20045 with flag 4735003/4767875
1390.49/1386.47	c cleaning 10001 clauses out of 20041 with flag 4745000/4777872
1392.60/1388.50	c cleaning 9996 clauses out of 20040 with flag 4755000/4787872
1395.41/1391.37	c cleaning 9999 clauses out of 20046 with flag 4765002/4797874
1397.41/1393.38	c cleaning 10004 clauses out of 20050 with flag 4775005/4807877
1399.82/1395.79	c cleaning 9999 clauses out of 20042 with flag 4785001/4817873
1402.83/1398.76	c cleaning 9997 clauses out of 20043 with flag 4795001/4827873
1406.34/1402.20	c cleaning 9985 clauses out of 20048 with flag 4805003/4837875
1408.75/1404.65	c cleaning 10013 clauses out of 20060 with flag 4815000/4847872
1411.05/1406.91	c cleaning 9985 clauses out of 20050 with flag 4825003/4857875
1413.65/1409.56	c cleaning 10006 clauses out of 20063 with flag 4835001/4867873
1416.25/1412.15	c cleaning 10008 clauses out of 20058 with flag 4845002/4877874
1418.87/1414.78	c cleaning 10003 clauses out of 20050 with flag 4855002/4887874
1421.27/1417.18	c cleaning 9995 clauses out of 20045 with flag 4865000/4897872
1423.58/1419.45	c cleaning 9999 clauses out of 20050 with flag 4875000/4907872
1426.18/1422.07	c cleaning 10005 clauses out of 20052 with flag 4885001/4917873
1429.09/1424.97	c cleaning 9999 clauses out of 20047 with flag 4895001/4927873
1431.20/1427.00	c cleaning 9999 clauses out of 20047 with flag 4905000/4937872
1433.81/1429.68	c cleaning 9990 clauses out of 20048 with flag 4915000/4947872
1436.51/1432.37	c cleaning 10004 clauses out of 20059 with flag 4925001/4957873
1439.42/1435.22	c cleaning 10002 clauses out of 20054 with flag 4935000/4967872
1442.03/1437.87	c cleaning 10003 clauses out of 20055 with flag 4945003/4977875
1444.74/1440.51	c cleaning 9997 clauses out of 20050 with flag 4955001/4987873
1447.15/1442.93	c cleaning 9999 clauses out of 20052 with flag 4965000/4997872
1449.85/1445.67	c cleaning 9991 clauses out of 20053 with flag 4975000/5007872
1452.46/1448.22	c cleaning 9997 clauses out of 20066 with flag 4985004/5017876
1454.76/1450.52	c cleaning 10000 clauses out of 20065 with flag 4995000/5027872
1457.27/1453.08	c cleaning 10009 clauses out of 20066 with flag 5005001/5037873
1459.97/1455.74	c cleaning 10000 clauses out of 20057 with flag 5015001/5047873
1462.79/1458.57	c cleaning 10002 clauses out of 20056 with flag 5025000/5057872
1465.59/1461.34	c cleaning 10000 clauses out of 20055 with flag 5035001/5067873
1468.30/1464.04	c cleaning 10004 clauses out of 20058 with flag 5045004/5077876
1471.00/1466.75	c cleaning 10000 clauses out of 20050 with flag 5055000/5087872
1473.71/1469.46	c cleaning 10001 clauses out of 20050 with flag 5065000/5097872
1476.42/1472.15	c cleaning 10000 clauses out of 20051 with flag 5075002/5107874
1479.22/1475.00	c cleaning 9998 clauses out of 20050 with flag 5085001/5117873
1482.13/1477.85	c cleaning 9999 clauses out of 20052 with flag 5095001/5127873
1485.03/1480.70	c cleaning 10002 clauses out of 20053 with flag 5105001/5137873
1487.43/1483.18	c cleaning 10000 clauses out of 20050 with flag 5115000/5147872
1489.94/1485.69	c cleaning 10000 clauses out of 20050 with flag 5125000/5157872
1493.25/1488.95	c cleaning 9994 clauses out of 20051 with flag 5135001/5167873
1496.36/1492.02	c cleaning 9997 clauses out of 20058 with flag 5145002/5177874
1498.87/1494.53	c cleaning 10005 clauses out of 20059 with flag 5155000/5187872
1501.38/1497.04	c cleaning 10005 clauses out of 20059 with flag 5165005/5197877
1504.08/1499.75	c cleaning 9998 clauses out of 20049 with flag 5175000/5207872
1507.09/1502.78	c cleaning 9999 clauses out of 20053 with flag 5185002/5217874
1509.70/1505.33	c cleaning 9978 clauses out of 20055 with flag 5195003/5227875
1512.81/1508.47	c cleaning 10005 clauses out of 20074 with flag 5205000/5237872
1515.62/1511.26	c cleaning 9980 clauses out of 20072 with flag 5215003/5247875
1518.33/1513.98	c cleaning 10002 clauses out of 20089 with flag 5225000/5257872
1520.93/1516.58	c cleaning 10021 clauses out of 20091 with flag 5235004/5267876
1523.54/1519.13	c cleaning 10003 clauses out of 20069 with flag 5245003/5277875
1526.24/1521.81	c cleaning 10004 clauses out of 20065 with flag 5255002/5287874
1528.65/1524.21	c cleaning 9997 clauses out of 20060 with flag 5265001/5297873
1531.16/1526.78	c cleaning 9968 clauses out of 20064 with flag 5275002/5307874
1533.66/1529.25	c cleaning 10015 clauses out of 20095 with flag 5285001/5317873
1536.86/1532.48	c cleaning 9994 clauses out of 20083 with flag 5295004/5327876
1539.77/1535.37	c cleaning 10015 clauses out of 20085 with flag 5305000/5337872
1542.47/1538.01	c cleaning 10010 clauses out of 20072 with flag 5315002/5347874
1544.88/1540.45	c cleaning 9999 clauses out of 20060 with flag 5325000/5357872
1547.69/1543.21	c cleaning 9998 clauses out of 20061 with flag 5335000/5367872
1550.39/1545.92	c cleaning 10002 clauses out of 20063 with flag 5345000/5377872
1553.30/1548.82	c cleaning 10007 clauses out of 20062 with flag 5355001/5387873
1555.90/1551.44	c cleaning 9972 clauses out of 20055 with flag 5365001/5397873
1558.51/1554.07	c cleaning 10008 clauses out of 20088 with flag 5375006/5407878
1561.61/1557.14	c cleaning 9992 clauses out of 20075 with flag 5385001/5417873
1564.13/1559.68	c cleaning 10015 clauses out of 20082 with flag 5395000/5427872
1566.43/1562.00	c cleaning 9998 clauses out of 20068 with flag 5405001/5437873
1569.04/1564.52	c cleaning 9989 clauses out of 20072 with flag 5415003/5447875
1571.65/1567.10	c cleaning 9985 clauses out of 20081 with flag 5425001/5457873
1573.95/1569.47	c cleaning 10016 clauses out of 20095 with flag 5435000/5467872
1576.36/1571.84	c cleaning 9988 clauses out of 20082 with flag 5445003/5477875
1578.26/1573.73	c cleaning 9985 clauses out of 20091 with flag 5455000/5487872
1580.37/1575.81	c cleaning 9959 clauses out of 20106 with flag 5465000/5497872
1582.78/1578.21	c cleaning 9977 clauses out of 20147 with flag 5475000/5507872
1585.59/1581.02	c cleaning 10027 clauses out of 20172 with flag 5485002/5517874
1588.00/1583.40	c cleaning 10012 clauses out of 20144 with flag 5495001/5527873
1590.50/1586.00	c cleaning 10002 clauses out of 20132 with flag 5505001/5537873
1594.02/1589.41	c cleaning 9995 clauses out of 20133 with flag 5515004/5547876
1597.12/1592.58	c cleaning 10009 clauses out of 20139 with flag 5525005/5557877
1599.53/1594.96	c cleaning 10003 clauses out of 20125 with flag 5535000/5567872
1602.43/1597.80	c cleaning 9976 clauses out of 20124 with flag 5545002/5577874
1604.64/1600.00	c cleaning 9991 clauses out of 20151 with flag 5555005/5587877
1607.75/1603.20	c cleaning 10018 clauses out of 20158 with flag 5565003/5597875
1610.96/1606.38	c cleaning 9997 clauses out of 20140 with flag 5575003/5607875
1615.76/1611.13	c cleaning 10006 clauses out of 20141 with flag 5585001/5617873
1619.27/1614.67	c cleaning 10004 clauses out of 20134 with flag 5595000/5627872
1621.98/1617.37	c cleaning 9976 clauses out of 20130 with flag 5605000/5637872
1624.79/1620.11	c cleaning 10019 clauses out of 20155 with flag 5615001/5647873
1627.49/1622.87	c cleaning 9974 clauses out of 20138 with flag 5625003/5657875
1630.40/1625.78	c cleaning 9974 clauses out of 20161 with flag 5635000/5667872
1632.50/1627.88	c cleaning 10002 clauses out of 20191 with flag 5645004/5677876
1635.21/1630.51	c cleaning 10009 clauses out of 20185 with flag 5655000/5687872
1637.92/1633.29	c cleaning 10005 clauses out of 20180 with flag 5665004/5697876
1641.02/1636.31	c cleaning 10002 clauses out of 20171 with flag 5675000/5707872
1643.43/1638.79	c cleaning 10002 clauses out of 20170 with flag 5685001/5717873
1646.04/1641.36	c cleaning 9999 clauses out of 20169 with flag 5695002/5727874
1649.54/1644.86	c cleaning 9995 clauses out of 20168 with flag 5705000/5737872
1652.85/1648.16	c cleaning 10002 clauses out of 20174 with flag 5715001/5747873
1655.86/1651.14	c cleaning 9997 clauses out of 20177 with flag 5725006/5757878
1658.36/1653.66	c cleaning 10000 clauses out of 20174 with flag 5735000/5767872
1661.46/1656.77	c cleaning 10000 clauses out of 20175 with flag 5745001/5777873
1664.46/1659.79	c cleaning 10002 clauses out of 20175 with flag 5755001/5787873
1666.87/1662.12	c cleaning 9999 clauses out of 20175 with flag 5765003/5797875
1669.77/1665.00	c cleaning 9996 clauses out of 20175 with flag 5775002/5807874
1672.18/1667.40	c cleaning 10000 clauses out of 20178 with flag 5785001/5817873
1674.08/1669.38	c cleaning 10000 clauses out of 20177 with flag 5795000/5827872
1676.49/1671.72	c cleaning 9979 clauses out of 20180 with flag 5805003/5837875
1678.90/1674.16	c cleaning 10006 clauses out of 20198 with flag 5815000/5847872
1681.29/1676.58	c cleaning 9998 clauses out of 20194 with flag 5825002/5857874
1683.50/1678.76	c cleaning 10014 clauses out of 20196 with flag 5835002/5867874
1685.90/1681.15	c cleaning 9995 clauses out of 20181 with flag 5845001/5877873
1688.20/1683.43	c cleaning 10008 clauses out of 20185 with flag 5855000/5887872
1690.80/1686.01	c cleaning 9993 clauses out of 20177 with flag 5865000/5897872
1693.71/1688.95	c cleaning 10006 clauses out of 20184 with flag 5875000/5907872
1696.31/1691.57	c cleaning 9994 clauses out of 20181 with flag 5885003/5917875
1698.51/1693.79	c cleaning 9992 clauses out of 20184 with flag 5895000/5927872
1701.72/1696.95	c cleaning 9999 clauses out of 20192 with flag 5905000/5937872
1703.91/1699.11	c cleaning 9998 clauses out of 20194 with flag 5915001/5947873
1705.92/1701.18	c cleaning 9997 clauses out of 20196 with flag 5925001/5957873
1708.02/1703.26	c cleaning 10010 clauses out of 20198 with flag 5935000/5967872
1710.13/1705.31	c cleaning 9996 clauses out of 20189 with flag 5945001/5977873
1711.73/1706.92	c cleaning 10062 clauses out of 20192 with flag 5955000/5987872
1713.83/1709.05	c cleaning 10029 clauses out of 20130 with flag 5965000/5997872
1715.74/1710.98	c cleaning 10019 clauses out of 20103 with flag 5975002/6007874
1717.85/1713.00	c cleaning 10011 clauses out of 20083 with flag 5985001/6017873
1720.25/1715.48	c cleaning 10004 clauses out of 20071 with flag 5995000/6027872
1722.56/1717.72	c cleaning 9998 clauses out of 20067 with flag 6005000/6037872
1724.76/1719.91	c cleaning 10002 clauses out of 20071 with flag 6015002/6047874
1726.87/1722.03	c cleaning 10002 clauses out of 20068 with flag 6025001/6057873
1729.08/1724.28	c cleaning 10001 clauses out of 20065 with flag 6035000/6067872
1731.68/1726.85	c cleaning 10001 clauses out of 20066 with flag 6045002/6077874
1734.28/1729.41	c cleaning 9993 clauses out of 20066 with flag 6055003/6087875
1736.89/1732.08	c cleaning 10004 clauses out of 20070 with flag 6065000/6097872
1738.80/1733.95	c cleaning 9999 clauses out of 20067 with flag 6075001/6107873
1741.30/1736.46	c cleaning 10001 clauses out of 20068 with flag 6085001/6117873
1743.61/1738.77	c cleaning 10001 clauses out of 20067 with flag 6095001/6127873
1745.91/1741.08	c cleaning 9999 clauses out of 20067 with flag 6105002/6137874
1748.91/1744.02	c cleaning 10003 clauses out of 20070 with flag 6115004/6147876
1751.81/1746.99	c cleaning 9997 clauses out of 20063 with flag 6125000/6157872
1754.72/1749.81	c cleaning 10003 clauses out of 20066 with flag 6135000/6167872
1757.72/1752.85	c cleaning 9987 clauses out of 20063 with flag 6145000/6177872
1760.33/1755.41	c cleaning 10009 clauses out of 20077 with flag 6155001/6187873
1762.83/1757.94	c cleaning 10003 clauses out of 20068 with flag 6165001/6197873
1765.43/1760.51	c cleaning 10002 clauses out of 20064 with flag 6175000/6207872
1767.64/1762.72	c cleaning 10002 clauses out of 20065 with flag 6185003/6217875
1769.75/1764.85	c cleaning 9999 clauses out of 20063 with flag 6195003/6227875
1772.45/1767.53	c cleaning 9994 clauses out of 20063 with flag 6205002/6237874
1774.65/1769.73	c cleaning 9997 clauses out of 20070 with flag 6215003/6247875
1777.45/1772.53	c cleaning 10004 clauses out of 20070 with flag 6225000/6257872
1780.06/1775.10	c cleaning 9997 clauses out of 20069 with flag 6235003/6267875
1782.77/1777.83	c cleaning 10000 clauses out of 20071 with flag 6245002/6277874
1784.97/1780.00	c cleaning 9999 clauses out of 20069 with flag 6255000/6287872
1787.37/1782.40	c cleaning 10007 clauses out of 20072 with flag 6265002/6297874
1789.67/1784.76	c cleaning 9991 clauses out of 20064 with flag 6275001/6307873
1791.68/1786.74	c cleaning 10009 clauses out of 20075 with flag 6285003/6317875
1793.68/1788.75	c cleaning 9999 clauses out of 20063 with flag 6295000/6327872
1795.88/1790.91	c cleaning 9988 clauses out of 20065 with flag 6305001/6337873
1797.79/1792.82	c cleaning 10012 clauses out of 20079 with flag 6315003/6347875
1800.00/1795.01	c starts		: 291
1800.00/1795.01	c conflicts		: 6357874
1800.00/1795.01	c decisions		: 8266324
1800.00/1795.01	c propagations		: 267510181
1800.00/1795.01	c inspects		: 9399427170
1800.00/1795.01	c shortcuts		: 0
1800.00/1795.01	c learnt literals	: 0
1800.00/1795.01	c learnt binary clauses	: 0
1800.00/1795.01	c learnt ternary clauses	: 0
1800.00/1795.01	c learnt constraints	: 6357874
1800.00/1795.01	c ignored constraints	: 0
1800.00/1795.01	c root simplifications	: 0
1800.00/1795.01	c removed literals (reason simplification)	: 23360249
1800.00/1795.01	c reason swapping (by a shorter reason)	: 0
1800.00/1795.01	c Calls to reduceDB	: 639
1800.00/1795.01	c number of reductions to clauses (during analyze)	: 0
1800.00/1795.01	c number of learned constraints concerned by reduction	: 0
1800.00/1795.01	c number of learning phase by resolution	: 0
1800.00/1795.01	c number of learning phase by cutting planes	: 0
1800.00/1795.01	c speed (assignments/second)	: 149652.86388317338
1800.00/1795.01	c non guided choices	160672
1800.00/1795.02	c cleaning 10002 clauses out of 20066 with flag 6325002/6357874
1800.00/1795.07	Exception in thread "Thread-0" java.lang.NullPointerException
1800.00/1795.07		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Unknown Source)
1800.00/1795.07		at org.sat4j.minisat.core.Solver.printStat(Unknown Source)
1800.00/1795.07		at org.sat4j.tools.SolverDecorator.printStat(Unknown Source)
1800.00/1795.07		at org.sat4j.AbstractOptimizationLauncher.displayAnswer(Unknown Source)
1800.00/1795.07		at org.sat4j.AbstractOptimizationLauncher.displayResult(Unknown Source)
1800.00/1795.07		at org.sat4j.AbstractLauncher$1.run(Unknown Source)

Verifier Data 

ERROR: no interpretation found !

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-3492195-1307908248/watcher-3492195-1307908248 -o /var/tmp/evaluation-result-3492195-1307908248/solver-3492195-1307908248 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492195-1307908248.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: 0.99 1.56 1.78 1/178 16351
/proc/meminfo: memFree=1750980/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 1240 0 0 0 0 0 0 0 18 0 2 0 883240106 31260672 957 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 7632 957 730 9 0 383 0
[pid=16351/tid=16352] ppid=16349 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 125 0 0 0 0 0 0 0 19 0 2 0 883240107 31272960 959 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254261616443 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0712851 s]
/proc/loadavg: 0.99 1.56 1.78 1/178 16351
/proc/meminfo: memFree=1750980/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 11141 0 44 0 2 0 0 0 18 0 13 0 883240106 10718699520 10878 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2616870 10879 1659 9 0 2607618 0
[pid=16351/tid=16352] ppid=16349 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 9991 0 44 0 2 0 0 0 19 0 13 0 883240107 10718699520 10879 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 47964085167640 0 4 0 16784584 0 0 0 -1 5 0 0 2
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480

[startup+0.100321 s]
/proc/loadavg: 0.99 1.56 1.78 1/178 16351
/proc/meminfo: memFree=1750980/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 11361 0 44 0 3 0 0 0 18 0 13 0 883240106 10718838784 11098 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2616904 11098 1684 9 0 2607652 0
[pid=16351/tid=16352] ppid=16349 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) D 16349 16351 14185 0 -1 4202560 10210 0 44 0 3 0 0 0 18 0 13 0 883240107 10718838784 11098 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273443275 0 4 0 16800971 18446744071562234166 0 0 -1 5 0 0 4
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467616

[startup+0.300246 s]
/proc/loadavg: 0.99 1.56 1.78 1/178 16351
/proc/meminfo: memFree=1750980/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10541216 CPUtime=0.29 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 14356 0 44 0 28 1 0 0 18 0 18 0 883240106 10794205184 14049 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2635304 14050 2185 9 0 2626038 0
[pid=16351/tid=16352] ppid=16349 vsize=10541216 CPUtime=0.19 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 12047 0 44 0 18 1 0 0 18 0 18 0 883240107 10794205184 14050 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 8
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541216

[startup+0.700174 s]
/proc/loadavg: 0.99 1.56 1.78 1/178 16351
/proc/meminfo: memFree=1750980/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10545116 CPUtime=1.03 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 17843 0 44 0 101 2 0 0 18 0 19 0 883240106 10798198784 16237 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636279 16237 2223 9 0 2627013 0
[pid=16351/tid=16352] ppid=16349 vsize=10545116 CPUtime=0.58 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 13300 0 44 0 57 1 0 0 19 0 19 0 883240107 10798198784 16237 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 46912505584176 0 4 0 16800975 0 0 0 -1 5 0 0 8
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10545116

[startup+1.50103 s]
/proc/loadavg: 0.99 1.56 1.78 3/214 16387
/proc/meminfo: memFree=1626824/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10545116 CPUtime=1.88 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 19507 0 44 0 186 2 0 0 18 0 19 0 883240106 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636279 17889 2225 9 0 2627013 0
[pid=16351/tid=16352] ppid=16349 vsize=10545116 CPUtime=1.38 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 14945 0 44 0 137 1 0 0 20 0 19 0 883240107 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 47964086602579 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=16351/tid=16362] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16362/stat : 16362 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16363] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16363/stat : 16363 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16364] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16364/stat : 16364 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16365] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16365/stat : 16365 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16366] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16366/stat : 16366 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16367] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 883240108 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) S 16349 16351 14185 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883240111 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 0 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883240113 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883240113 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16377] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10545116 CPUtime=0.26 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 1688 0 0 0 26 0 0 0 15 0 19 0 883240119 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10545116 CPUtime=0.21 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 1710 0 0 0 21 0 0 0 15 0 19 0 883240119 10798198784 17889 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16383] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16383/stat : 16383 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240119 10798198784 17890 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16385] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16385/stat : 16385 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883240119 10798198784 17890 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16387] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16387/stat : 16387 (java) S 16349 16351 14185 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883240139 10798198784 17890 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10545116

[startup+3.10075 s]
/proc/loadavg: 0.99 1.56 1.78 3/214 16387
/proc/meminfo: memFree=1587268/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10545116 CPUtime=3.55 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 23106 0 44 0 352 3 0 0 18 0 19 0 883240106 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636279 21478 2251 9 0 2627013 0
[pid=16351/tid=16352] ppid=16349 vsize=10545116 CPUtime=2.96 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 15544 0 44 0 295 1 0 0 18 0 19 0 883240107 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 46912505584192 0 4 0 16800975 0 0 0 -1 3 0 0 8
[pid=16351/tid=16362] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16362/stat : 16362 (java) S 16349 16351 14185 0 -1 4202560 818 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16363] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16363/stat : 16363 (java) S 16349 16351 14185 0 -1 4202560 542 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16364] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16364/stat : 16364 (java) S 16349 16351 14185 0 -1 4202560 136 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16365] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16365/stat : 16365 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16366] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16366/stat : 16366 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16367] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883240108 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10545116 CPUtime=0.01 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) S 16349 16351 14185 0 -1 4202560 1480 0 0 0 1 0 0 0 15 0 19 0 883240111 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 0 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883240113 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240113 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 4
[pid=16351/tid=16377] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10545116 CPUtime=0.29 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 1699 0 0 0 29 0 0 0 15 0 19 0 883240119 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10545116 CPUtime=0.24 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 1717 0 0 0 24 0 0 0 15 0 19 0 883240119 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16383] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16383/stat : 16383 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240119 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16385] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16385/stat : 16385 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883240119 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16387] ppid=16349 vsize=10545116 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16387/stat : 16387 (java) S 16349 16351 14185 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883240139 10798198784 21478 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 10545116

[startup+6.30115 s]
/proc/loadavg: 1.07 1.57 1.78 3/214 16387
/proc/meminfo: memFree=1543292/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10544988 CPUtime=6.93 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 31678 0 44 0 689 4 0 0 18 0 19 0 883240106 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636247 27814 2251 9 0 2626981 0
[pid=16351/tid=16352] ppid=16349 vsize=10544988 CPUtime=6.12 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) S 16349 16351 14185 0 -1 4202560 15547 0 44 0 611 1 0 0 25 0 19 0 883240107 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 8
[pid=16351/tid=16362] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16362/stat : 16362 (java) S 16349 16351 14185 0 -1 4202560 1471 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16363] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16363/stat : 16363 (java) S 16349 16351 14185 0 -1 4202560 561 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16364] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16364/stat : 16364 (java) S 16349 16351 14185 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16365] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16365/stat : 16365 (java) S 16349 16351 14185 0 -1 4202560 366 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16366] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16366/stat : 16366 (java) S 16349 16351 14185 0 -1 4202560 275 0 0 0 0 0 0 0 16 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16367] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 905 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883240108 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10544988 CPUtime=0.04 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) R 16349 16351 14185 0 -1 4202560 3146 0 0 0 4 0 0 0 15 0 19 0 883240111 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 47964086605216 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 4
[pid=16351/tid=16377] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10544988 CPUtime=0.35 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 2267 0 0 0 35 0 0 0 15 0 19 0 883240119 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10544988 CPUtime=0.35 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 5808 0 0 0 35 0 0 0 15 0 19 0 883240119 10798067712 27814 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0

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

[pid=16351/tid=16367] ppid=16349 vsize=10544988 CPUtime=0.74 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 1010 0 0 0 74 0 0 0 16 0 19 0 883240108 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10544988 CPUtime=0.83 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 2152 0 0 0 82 1 0 0 15 0 19 0 883240108 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10544988 CPUtime=0.74 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 1399 0 0 0 74 0 0 0 15 0 19 0 883240108 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10544988 CPUtime=22.52 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) S 16349 16351 14185 0 -1 4202560 17188 0 0 0 2243 9 0 0 15 0 19 0 883240111 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 0 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 4
[pid=16351/tid=16377] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10544988 CPUtime=0.41 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 2860 0 0 0 41 0 0 0 15 0 19 0 883240119 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10544988 CPUtime=0.35 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 5808 0 0 0 35 0 0 0 15 0 19 0 883240119 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16383] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16383/stat : 16383 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240119 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16385] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16385/stat : 16385 (java) S 16349 16351 14185 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 883240119 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16387] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16387/stat : 16387 (java) S 16349 16351 14185 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883240139 10798067712 49771 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1667.07
Current children cumulated vsize (KiB) 10544988

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/214 16442
/proc/meminfo: memFree=1350976/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10544988 CPUtime=1727.18 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 57496 0 44 0 172694 24 0 0 18 0 19 0 883240106 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636247 49807 2252 9 0 2626981 0
[pid=16351/tid=16352] ppid=16349 vsize=10544988 CPUtime=1696.21 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 17955 0 44 0 169617 4 0 0 20 0 19 0 883240107 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 46912505583780 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=16351/tid=16362] ppid=16349 vsize=10544988 CPUtime=0.76 cores=1,3,5,7
/proc/16351/task/16362/stat : 16362 (java) S 16349 16351 14185 0 -1 4202560 2236 0 0 0 76 0 0 0 15 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16363] ppid=16349 vsize=10544988 CPUtime=0.83 cores=1,3,5,7
/proc/16351/task/16363/stat : 16363 (java) S 16349 16351 14185 0 -1 4202560 1816 0 0 0 83 0 0 0 15 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16364] ppid=16349 vsize=10544988 CPUtime=0.81 cores=1,3,5,7
/proc/16351/task/16364/stat : 16364 (java) S 16349 16351 14185 0 -1 4202560 1123 0 0 0 80 1 0 0 15 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16365] ppid=16349 vsize=10544988 CPUtime=0.75 cores=1,3,5,7
/proc/16351/task/16365/stat : 16365 (java) S 16349 16351 14185 0 -1 4202560 963 0 0 0 75 0 0 0 15 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16366] ppid=16349 vsize=10544988 CPUtime=0.82 cores=1,3,5,7
/proc/16351/task/16366/stat : 16366 (java) S 16349 16351 14185 0 -1 4202560 1718 0 0 0 82 0 0 0 16 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16367] ppid=16349 vsize=10544988 CPUtime=0.76 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 1011 0 0 0 76 0 0 0 15 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10544988 CPUtime=0.85 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 2158 0 0 0 84 1 0 0 16 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10544988 CPUtime=0.78 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 1403 0 0 0 77 1 0 0 15 0 19 0 883240108 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10544988 CPUtime=23.72 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) S 16349 16351 14185 0 -1 4202560 17192 0 0 0 2362 10 0 0 15 0 19 0 883240111 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 0 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 4
[pid=16351/tid=16377] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10544988 CPUtime=0.41 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 2860 0 0 0 41 0 0 0 15 0 19 0 883240119 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10544988 CPUtime=0.35 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 5808 0 0 0 35 0 0 0 15 0 19 0 883240119 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16383] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16383/stat : 16383 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240119 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16385] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16385/stat : 16385 (java) S 16349 16351 14185 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 883240119 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16387] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16387/stat : 16387 (java) S 16349 16351 14185 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883240139 10798067712 49807 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.18
Current children cumulated vsize (KiB) 10544988

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/214 16443
/proc/meminfo: memFree=1349884/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10544988 CPUtime=1787.27 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 57574 0 44 0 178703 24 0 0 18 0 19 0 883240106 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636247 49858 2252 9 0 2626981 0
[pid=16351/tid=16352] ppid=16349 vsize=10544988 CPUtime=1755.08 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 17978 0 44 0 175504 4 0 0 25 0 19 0 883240107 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 46912505590320 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=16351/tid=16362] ppid=16349 vsize=10544988 CPUtime=0.78 cores=1,3,5,7
/proc/16351/task/16362/stat : 16362 (java) S 16349 16351 14185 0 -1 4202560 2241 0 0 0 78 0 0 0 15 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16363] ppid=16349 vsize=10544988 CPUtime=0.85 cores=1,3,5,7
/proc/16351/task/16363/stat : 16363 (java) S 16349 16351 14185 0 -1 4202560 1821 0 0 0 85 0 0 0 15 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16364] ppid=16349 vsize=10544988 CPUtime=0.83 cores=1,3,5,7
/proc/16351/task/16364/stat : 16364 (java) S 16349 16351 14185 0 -1 4202560 1123 0 0 0 82 1 0 0 16 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16365] ppid=16349 vsize=10544988 CPUtime=0.77 cores=1,3,5,7
/proc/16351/task/16365/stat : 16365 (java) S 16349 16351 14185 0 -1 4202560 976 0 0 0 77 0 0 0 15 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16366] ppid=16349 vsize=10544988 CPUtime=0.84 cores=1,3,5,7
/proc/16351/task/16366/stat : 16366 (java) S 16349 16351 14185 0 -1 4202560 1727 0 0 0 84 0 0 0 15 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16367] ppid=16349 vsize=10544988 CPUtime=0.78 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 1012 0 0 0 78 0 0 0 16 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10544988 CPUtime=0.88 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 2168 0 0 0 87 1 0 0 15 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10544988 CPUtime=0.79 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 1411 0 0 0 78 1 0 0 15 0 19 0 883240108 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10544988 CPUtime=24.78 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) S 16349 16351 14185 0 -1 4202560 17194 0 0 0 2468 10 0 0 15 0 19 0 883240111 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 0 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 4
[pid=16351/tid=16377] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10544988 CPUtime=0.41 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 2860 0 0 0 41 0 0 0 15 0 19 0 883240119 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10544988 CPUtime=0.35 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 5808 0 0 0 35 0 0 0 15 0 19 0 883240119 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16383] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16383/stat : 16383 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240119 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16385] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16385/stat : 16385 (java) S 16349 16351 14185 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 883240119 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16387] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16387/stat : 16387 (java) S 16349 16351 14185 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883240139 10798067712 49858 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1787.27
Current children cumulated vsize (KiB) 10544988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795 s]
/proc/loadavg: 2.07 2.03 1.94 3/214 16444
/proc/meminfo: memFree=1349864/32951124 swapFree=67057920/67111528
[pid=16351] ppid=16349 vsize=10544988 CPUtime=1800 cores=1,3,5,7
/proc/16351/stat : 16351 (java) S 16349 16351 14185 0 -1 4202496 57588 0 44 0 179975 25 0 0 18 0 19 0 883240106 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16351/statm: 2636247 49862 2252 9 0 2626981 0
[pid=16351/tid=16352] ppid=16349 vsize=10544988 CPUtime=1767.5 cores=1,3,5,7
/proc/16351/task/16352/stat : 16352 (java) R 16349 16351 14185 0 -1 4202560 17984 0 44 0 176746 4 0 0 20 0 19 0 883240107 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 46912505846828 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=16351/tid=16362] ppid=16349 vsize=10544988 CPUtime=0.78 cores=1,3,5,7
/proc/16351/task/16362/stat : 16362 (java) S 16349 16351 14185 0 -1 4202560 2241 0 0 0 78 0 0 0 15 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16363] ppid=16349 vsize=10544988 CPUtime=0.86 cores=1,3,5,7
/proc/16351/task/16363/stat : 16363 (java) S 16349 16351 14185 0 -1 4202560 1821 0 0 0 86 0 0 0 15 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16364] ppid=16349 vsize=10544988 CPUtime=0.83 cores=1,3,5,7
/proc/16351/task/16364/stat : 16364 (java) S 16349 16351 14185 0 -1 4202560 1123 0 0 0 82 1 0 0 16 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16365] ppid=16349 vsize=10544988 CPUtime=0.78 cores=1,3,5,7
/proc/16351/task/16365/stat : 16365 (java) S 16349 16351 14185 0 -1 4202560 976 0 0 0 78 0 0 0 16 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16366] ppid=16349 vsize=10544988 CPUtime=0.85 cores=1,3,5,7
/proc/16351/task/16366/stat : 16366 (java) S 16349 16351 14185 0 -1 4202560 1731 0 0 0 85 0 0 0 15 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16367] ppid=16349 vsize=10544988 CPUtime=0.78 cores=1,3,5,7
/proc/16351/task/16367/stat : 16367 (java) S 16349 16351 14185 0 -1 4202560 1012 0 0 0 78 0 0 0 15 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16368] ppid=16349 vsize=10544988 CPUtime=0.88 cores=1,3,5,7
/proc/16351/task/16368/stat : 16368 (java) S 16349 16351 14185 0 -1 4202560 2168 0 0 0 87 1 0 0 15 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16369] ppid=16349 vsize=10544988 CPUtime=0.79 cores=1,3,5,7
/proc/16351/task/16369/stat : 16369 (java) S 16349 16351 14185 0 -1 4202560 1411 0 0 0 78 1 0 0 15 0 19 0 883240108 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 7 0 0 0
[pid=16351/tid=16371] ppid=16349 vsize=10544988 CPUtime=25.04 cores=1,3,5,7
/proc/16351/task/16371/stat : 16371 (java) S 16349 16351 14185 0 -1 4202560 17196 0 0 0 2494 10 0 0 15 0 19 0 883240111 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 0 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16373] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16373/stat : 16373 (java) S 16349 16351 14185 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16375] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16375/stat : 16375 (java) S 16349 16351 14185 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883240113 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 4
[pid=16351/tid=16377] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16377/stat : 16377 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883240119 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273440177 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16379] ppid=16349 vsize=10544988 CPUtime=0.41 cores=1,3,5,7
/proc/16351/task/16379/stat : 16379 (java) S 16349 16351 14185 0 -1 4202560 2860 0 0 0 41 0 0 0 15 0 19 0 883240119 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
[pid=16351/tid=16381] ppid=16349 vsize=10544988 CPUtime=0.35 cores=1,3,5,7
/proc/16351/task/16381/stat : 16381 (java) S 16349 16351 14185 0 -1 4202560 5808 0 0 0 35 0 0 0 15 0 19 0 883240119 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16383] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16383/stat : 16383 (java) S 16349 16351 14185 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883240119 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273432473 0 4 0 16800975 18446604471126987136 0 0 -1 5 0 0 0
[pid=16351/tid=16385] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16385/stat : 16385 (java) S 16349 16351 14185 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883240119 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 3 0 0 0
[pid=16351/tid=16387] ppid=16349 vsize=10544988 CPUtime=0 cores=1,3,5,7
/proc/16351/task/16387/stat : 16387 (java) S 16349 16351 14185 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883240139 10798067712 49862 33554432000 1073741824 1073778376 140734449306480 18446744073709551615 254273433088 0 4 0 16800975 18446604471126987136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10544988

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.08
CPU time (s): 1800.11
CPU user time (s): 1799.85
CPU system time (s): 0.25896
CPU usage (%): 100.28
Max. virtual memory (cumulated for all children) (KiB): 10548056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57635
page faults= 44
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53682
involuntary context switches= 21510

runsolver used 2.87856 second user time and 6.94494 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-12 21:50:48
IDJOB=3492195
IDBENCH=78680
IDSOLVER=1982
FILE ID=node140/3492195-1307908248
RUNJOBID= node140-1307908248-16323
PBS_JOBID= 13559568
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr--soft-33-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-3492195-1307908248/watcher-3492195-1307908248 -o /var/tmp/evaluation-result-3492195-1307908248/solver-3492195-1307908248 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492195-1307908248.wbo

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

MD5SUM BENCH= b66fe868eb6fadcfec17a324e77ec452
RANDOM SEED=1397984157

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1752036 kB
Buffers:         60040 kB
Cached:       30170384 kB
SwapCached:       7412 kB
Active:       15854172 kB
Inactive:     14395408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1752036 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:             804 kB
Writeback:           8 kB
AnonPages:       17140 kB
Mapped:          12500 kB
Slab:           885160 kB
PageTables:       4524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187340 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= 2912 MiB
End job on node140 at 2011-06-12 22:20:45