Trace number 3737581

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0OPT-7 697.568 383.433

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
MD5SUM0c3fb28b3ecb8f1eba2bffa356ef5364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark9.47556
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version 2.3.1.v20110525
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		9996466904
0.00/0.10	c Max memory 		10048897024
0.00/0.10	c Total memory 		10048897024
0.00/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3737581-1338723161.opb
0.09/0.12	c reading problem ... 
0.45/0.34	c ... done. Wall clock time 0.217s.
0.45/0.34	c #vars     1566
0.45/0.34	c #constraints  3084
0.45/0.34	c constraints type 
0.45/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1466
0.45/0.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.45/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.45/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1466
0.45/0.34	c constraints type 
0.45/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
0.45/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1466
0.45/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.45/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1466
1.09/0.53	c  And the winner is CuttingPlanes
1.23/0.85	c SATISFIABLE
1.23/0.85	c OPTIMIZING...
1.23/0.85	c Got one! Elapsed wall clock time (in seconds):0.722
1.23/0.85	o -3
1.23/0.89	c  And the winner is CuttingPlanes
1.38/1.35	c Got one! Elapsed wall clock time (in seconds):1.224
1.38/1.35	o -4
1.54/1.42	c  And the winner is CuttingPlanes
1.88/1.85	c Got one! Elapsed wall clock time (in seconds):1.726
1.88/1.85	o -5
3.18/2.31	c cleaning 2983 clauses out of 5984 with flag 5000/5984
4.04/2.78	c cleaning 4494 clauses out of 9001 with flag 11000/11984
4.84/3.05	c  And the winner is CuttingPlanes
4.97/3.35	c Got one! Elapsed wall clock time (in seconds):3.228
4.97/3.35	o -6
5.35/3.50	c cleaning 5145 clauses out of 10303 with flag 2001/17780
6.57/3.91	c cleaning 5576 clauses out of 11157 with flag 8000/23779
7.43/4.40	c cleaning 6282 clauses out of 12581 with flag 15000/30779
8.67/4.92	c cleaning 7150 clauses out of 14299 with flag 23000/38779
9.85/5.53	c cleaning 8075 clauses out of 16149 with flag 32000/47779
11.22/6.21	c cleaning 9025 clauses out of 18075 with flag 42001/57780
12.57/6.91	c cleaning 9519 clauses out of 19050 with flag 52001/67780
13.94/7.62	c cleaning 9736 clauses out of 19530 with flag 62000/77779
15.51/8.43	c cleaning 9891 clauses out of 19796 with flag 72002/87781
17.08/9.21	c cleaning 9944 clauses out of 19903 with flag 82000/97779
18.46/9.93	c cleaning 9975 clauses out of 19959 with flag 92000/107779
19.81/10.65	c cleaning 9986 clauses out of 19984 with flag 102000/117779
21.57/11.51	c cleaning 9996 clauses out of 19998 with flag 112000/127779
22.95/12.26	c cleaning 9996 clauses out of 20002 with flag 122000/137779
24.29/12.94	c cleaning 9999 clauses out of 20007 with flag 132001/147780
25.85/13.70	c cleaning 10000 clauses out of 20007 with flag 142000/157779
27.41/14.53	c cleaning 10002 clauses out of 20007 with flag 152000/167779
28.96/15.35	c cleaning 10002 clauses out of 20005 with flag 162000/177779
30.70/16.22	c cleaning 9986 clauses out of 20002 with flag 172000/187779
31.86/16.84	c cleaning 10000 clauses out of 20016 with flag 182000/197779
33.01/17.46	c cleaning 10006 clauses out of 20016 with flag 192000/207779
34.56/18.28	c cleaning 9992 clauses out of 20010 with flag 202000/217779
35.90/18.99	c cleaning 10001 clauses out of 20018 with flag 212000/227779
37.26/19.62	c cleaning 10009 clauses out of 20018 with flag 222001/237780
38.60/20.32	c cleaning 10004 clauses out of 20009 with flag 232001/247780
39.78/20.95	c cleaning 9996 clauses out of 20004 with flag 242000/257779
41.09/21.60	c cleaning 10003 clauses out of 20010 with flag 252002/267781
42.05/22.18	c cleaning 9997 clauses out of 20005 with flag 262000/277779
43.19/22.76	c cleaning 9992 clauses out of 20008 with flag 272000/287779
44.34/23.40	c cleaning 10002 clauses out of 20016 with flag 282000/297779
45.67/24.09	c cleaning 9998 clauses out of 20014 with flag 292000/307779
47.02/24.72	c cleaning 10003 clauses out of 20016 with flag 302000/317779
48.37/25.42	c cleaning 9996 clauses out of 20013 with flag 312000/327779
49.71/26.12	c cleaning 9974 clauses out of 20017 with flag 322000/337779
51.04/26.83	c cleaning 10016 clauses out of 20044 with flag 332001/347780
52.18/27.48	c cleaning 10005 clauses out of 20027 with flag 342000/357779
53.52/28.18	c cleaning 10003 clauses out of 20022 with flag 352000/367779
54.87/28.88	c cleaning 10001 clauses out of 20019 with flag 362000/377779
56.38/29.62	c cleaning 10000 clauses out of 20018 with flag 372000/387779
57.74/30.39	c cleaning 9993 clauses out of 20018 with flag 382000/397779
59.08/31.09	c cleaning 10010 clauses out of 20027 with flag 392002/407781
60.63/31.80	c cleaning 9997 clauses out of 20016 with flag 402001/417780
61.94/32.53	c cleaning 9992 clauses out of 20018 with flag 412000/427779
63.11/33.17	c cleaning 10011 clauses out of 20028 with flag 422002/437781
64.45/33.85	c cleaning 9987 clauses out of 20015 with flag 432000/447779
65.82/34.56	c cleaning 10008 clauses out of 20031 with flag 442003/457782
67.14/35.23	c cleaning 10002 clauses out of 20021 with flag 452001/467780
68.48/35.93	c cleaning 9996 clauses out of 20018 with flag 462000/477779
69.82/36.63	c cleaning 10003 clauses out of 20022 with flag 472000/487779
70.97/37.29	c cleaning 10005 clauses out of 20020 with flag 482001/497780
72.32/37.91	c cleaning 10006 clauses out of 20014 with flag 492000/507779
73.47/38.52	c cleaning 9993 clauses out of 20009 with flag 502001/517780
74.60/39.19	c cleaning 9995 clauses out of 20015 with flag 512000/527779
75.94/39.85	c cleaning 10008 clauses out of 20024 with flag 522004/537783
77.25/40.58	c cleaning 9996 clauses out of 20012 with flag 532000/547779
78.60/41.25	c cleaning 10001 clauses out of 20016 with flag 542000/557779
78.76/41.38	c  And the winner is Resolution
78.86/41.50	c Got one! Elapsed wall clock time (in seconds):41.372
78.86/41.50	o -7
79.19/41.72	c cleaning 7677 clauses out of 15372 with flag 4000/563136
79.73/42.08	c cleaning 6835 clauses out of 13695 with flag 10000/569136
80.67/42.55	c cleaning 6925 clauses out of 13861 with flag 17001/576137
81.62/43.04	c cleaning 7457 clauses out of 14936 with flag 25001/584137
82.74/43.61	c cleaning 8231 clauses out of 16479 with flag 34001/593137
83.88/44.24	c cleaning 9112 clauses out of 18247 with flag 44000/603136
85.18/44.92	c cleaning 9564 clauses out of 19136 with flag 54001/613137
86.32/45.58	c cleaning 9781 clauses out of 19572 with flag 64001/623137
87.66/46.21	c cleaning 9887 clauses out of 19790 with flag 74000/633136
88.98/46.93	c cleaning 9949 clauses out of 19903 with flag 84000/643136
90.07/47.57	c cleaning 9952 clauses out of 19954 with flag 94000/653136
91.41/48.20	c cleaning 9992 clauses out of 20002 with flag 104000/663136
92.55/48.88	c cleaning 10003 clauses out of 20010 with flag 114000/673136
93.89/49.58	c cleaning 10004 clauses out of 20009 with flag 124002/683138
95.38/50.30	c cleaning 9995 clauses out of 20005 with flag 134002/693138
96.52/50.95	c cleaning 9999 clauses out of 20008 with flag 144000/703136
97.66/51.55	c cleaning 10002 clauses out of 20011 with flag 154002/713138
99.00/52.20	c cleaning 9993 clauses out of 20007 with flag 164000/723136
100.31/52.92	c cleaning 9992 clauses out of 20014 with flag 174000/733136
101.43/53.52	c cleaning 9998 clauses out of 20022 with flag 184000/743136
102.56/54.10	c cleaning 9988 clauses out of 20024 with flag 194000/753136
103.90/54.81	c cleaning 10010 clauses out of 20037 with flag 204001/763137
104.98/55.42	c cleaning 10004 clauses out of 20026 with flag 214000/773136
106.11/56.02	c cleaning 9997 clauses out of 20024 with flag 224002/783138
107.25/56.62	c cleaning 9984 clauses out of 20025 with flag 234000/793136
108.20/57.20	c cleaning 9995 clauses out of 20041 with flag 244000/803136
109.70/57.91	c cleaning 10012 clauses out of 20047 with flag 254001/813137
111.05/58.65	c cleaning 10017 clauses out of 20037 with flag 264003/823139
112.07/59.10	c cleaning 0 clauses out of 6307 with flag 0/6308
112.72/59.42	c cleaning 10000 clauses out of 20019 with flag 274002/833138
113.79/60.09	c cleaning 9988 clauses out of 20017 with flag 284000/843136
115.12/60.73	c cleaning 10001 clauses out of 20031 with flag 294002/853138
116.43/61.40	c cleaning 10004 clauses out of 20028 with flag 304000/863136
117.55/62.03	c cleaning 9999 clauses out of 20024 with flag 314000/873136
118.85/62.71	c cleaning 9990 clauses out of 20025 with flag 324000/883136
119.96/63.37	c cleaning 9996 clauses out of 20035 with flag 334000/893136
121.29/64.06	c cleaning 9997 clauses out of 20039 with flag 344000/903136
122.62/64.77	c cleaning 10006 clauses out of 20042 with flag 354000/913136
124.11/65.51	c cleaning 10002 clauses out of 20036 with flag 364000/923136
125.24/66.13	c cleaning 10004 clauses out of 20034 with flag 374000/933136
126.56/66.85	c cleaning 10006 clauses out of 20031 with flag 384001/943137
128.09/67.61	c cleaning 9994 clauses out of 20024 with flag 394000/953136
129.38/68.31	c cleaning 9998 clauses out of 20030 with flag 404000/963136
130.49/68.99	c cleaning 10007 clauses out of 20032 with flag 414000/973136
132.01/69.70	c cleaning 10000 clauses out of 20025 with flag 424000/983136
133.35/70.43	c cleaning 9998 clauses out of 20025 with flag 434000/993136
134.62/71.17	c cleaning 9998 clauses out of 20027 with flag 444000/1003136
135.75/71.79	c cleaning 9995 clauses out of 20029 with flag 454000/1013136
136.87/72.40	c cleaning 9998 clauses out of 20036 with flag 464002/1023138
138.20/73.08	c cleaning 9999 clauses out of 20036 with flag 474000/1033136
139.69/73.80	c cleaning 10000 clauses out of 20038 with flag 484001/1043137
140.81/74.48	c cleaning 9999 clauses out of 20037 with flag 494000/1053136
142.14/75.16	c cleaning 10012 clauses out of 20038 with flag 504000/1063136
143.46/75.84	c cleaning 10002 clauses out of 20026 with flag 514000/1073136
144.74/76.54	c cleaning 10007 clauses out of 20025 with flag 524001/1083137
146.07/77.20	c cleaning 9997 clauses out of 20018 with flag 534001/1093137
147.19/77.88	c cleaning 9989 clauses out of 20020 with flag 544000/1103136
148.72/78.63	c cleaning 10003 clauses out of 20031 with flag 554000/1113136
150.20/79.47	c cleaning 10001 clauses out of 20028 with flag 564000/1123136
151.52/80.15	c cleaning 9996 clauses out of 20027 with flag 574000/1133136
152.84/80.84	c cleaning 10006 clauses out of 20031 with flag 584000/1143136
154.36/81.67	c cleaning 9999 clauses out of 20026 with flag 594001/1153137
155.84/82.46	c cleaning 10000 clauses out of 20030 with flag 604004/1163140
157.35/83.20	c cleaning 9986 clauses out of 20026 with flag 614000/1173136
158.66/83.98	c cleaning 10013 clauses out of 20040 with flag 624000/1183136
160.19/84.71	c cleaning 9998 clauses out of 20027 with flag 634000/1193136
161.65/85.55	c cleaning 10001 clauses out of 20029 with flag 644000/1203136
162.96/86.27	c cleaning 9993 clauses out of 20028 with flag 654000/1213136
164.29/86.93	c cleaning 10017 clauses out of 20035 with flag 664000/1223136
165.59/87.60	c cleaning 9997 clauses out of 20018 with flag 674000/1233136
166.86/88.32	c cleaning 10003 clauses out of 20022 with flag 684001/1243137
168.18/89.05	c cleaning 9995 clauses out of 20018 with flag 694000/1253136
169.30/89.69	c cleaning 10001 clauses out of 20024 with flag 704001/1263137
170.83/90.43	c cleaning 9987 clauses out of 20023 with flag 714001/1273137
172.10/91.15	c cleaning 9997 clauses out of 20036 with flag 724001/1283137
173.22/91.78	c cleaning 10001 clauses out of 20038 with flag 734000/1293136
174.55/92.43	c cleaning 10000 clauses out of 20037 with flag 744000/1303136
175.66/93.08	c cleaning 10001 clauses out of 20037 with flag 754000/1313136
176.92/93.79	c cleaning 9991 clauses out of 20036 with flag 764000/1323136
178.24/94.41	c cleaning 9999 clauses out of 20045 with flag 774000/1333136
179.34/95.09	c cleaning 10001 clauses out of 20046 with flag 784000/1343136
180.67/95.73	c cleaning 9988 clauses out of 20046 with flag 794001/1353137
181.92/96.47	c cleaning 10013 clauses out of 20057 with flag 804000/1363136
183.24/97.12	c cleaning 10017 clauses out of 20044 with flag 814000/1373136
184.35/97.77	c cleaning 9991 clauses out of 20027 with flag 824000/1383136
185.46/98.39	c cleaning 10011 clauses out of 20037 with flag 834001/1393137
186.75/99.08	c cleaning 9991 clauses out of 20025 with flag 844000/1403136
188.04/99.76	c cleaning 10005 clauses out of 20034 with flag 854000/1413136
189.37/100.48	c cleaning 10001 clauses out of 20029 with flag 864000/1423136
190.69/101.17	c cleaning 9980 clauses out of 20028 with flag 874000/1433136
191.96/101.89	c cleaning 10012 clauses out of 20048 with flag 884000/1443136
193.27/102.55	c cleaning 10000 clauses out of 20036 with flag 894000/1453136
194.58/103.26	c cleaning 10011 clauses out of 20036 with flag 904000/1463136
195.88/103.91	c cleaning 9998 clauses out of 20025 with flag 914000/1473136
197.16/104.67	c cleaning 10001 clauses out of 20027 with flag 924000/1483136
198.46/105.40	c cleaning 9997 clauses out of 20026 with flag 934000/1493136
199.77/106.08	c cleaning 10006 clauses out of 20029 with flag 944000/1503136
201.29/106.81	c cleaning 9994 clauses out of 20023 with flag 954000/1513136
202.52/107.52	c cleaning 9999 clauses out of 20029 with flag 964000/1523136
203.63/108.14	c cleaning 10005 clauses out of 20031 with flag 974001/1533137
204.95/108.82	c cleaning 9991 clauses out of 20025 with flag 984000/1543136
206.06/109.46	c cleaning 10002 clauses out of 20034 with flag 994000/1553136
207.33/110.14	c cleaning 10000 clauses out of 20032 with flag 1004000/1563136
208.62/110.85	c cleaning 10000 clauses out of 20032 with flag 1014000/1573136
209.93/111.51	c cleaning 10002 clauses out of 20032 with flag 1024000/1583136
211.04/112.13	c cleaning 9999 clauses out of 20030 with flag 1034000/1593136
212.29/112.80	c cleaning 10004 clauses out of 20031 with flag 1044000/1603136
213.41/113.45	c cleaning 9994 clauses out of 20028 with flag 1054001/1613137
214.70/114.14	c cleaning 9996 clauses out of 20033 with flag 1064000/1623136
216.01/114.85	c cleaning 9998 clauses out of 20037 with flag 1074000/1633136
217.47/115.64	c cleaning 10003 clauses out of 20041 with flag 1084002/1643138
218.78/116.38	c cleaning 10004 clauses out of 20036 with flag 1094000/1653136
220.29/117.15	c cleaning 9992 clauses out of 20032 with flag 1104000/1663136
221.41/117.77	c cleaning 10007 clauses out of 20039 with flag 1114000/1673136
222.85/118.53	c cleaning 9993 clauses out of 20032 with flag 1124000/1683136
224.15/119.24	c cleaning 10013 clauses out of 20041 with flag 1134002/1693138
225.45/119.92	c cleaning 10001 clauses out of 20026 with flag 1144000/1703136
226.74/120.64	c cleaning 9981 clauses out of 20025 with flag 1154000/1713136
227.98/121.39	c cleaning 10009 clauses out of 20044 with flag 1164000/1723136
229.30/122.06	c cleaning 10006 clauses out of 20035 with flag 1174000/1733136
230.40/122.68	c cleaning 9991 clauses out of 20033 with flag 1184004/1743140
231.73/123.32	c cleaning 10007 clauses out of 20038 with flag 1194000/1753136
232.96/124.03	c cleaning 10005 clauses out of 20031 with flag 1204000/1763136
234.28/124.75	c cleaning 10002 clauses out of 20027 with flag 1214001/1773137
235.61/125.43	c cleaning 9999 clauses out of 20025 with flag 1224001/1783137
236.70/126.06	c cleaning 9983 clauses out of 20025 with flag 1234000/1793136
237.95/126.77	c cleaning 9998 clauses out of 20042 with flag 1244000/1803136
239.05/127.37	c cleaning 10006 clauses out of 20044 with flag 1254000/1813136
240.36/128.01	c cleaning 9996 clauses out of 20038 with flag 1264000/1823136
241.47/128.68	c cleaning 10002 clauses out of 20042 with flag 1274000/1833136
242.93/129.41	c cleaning 10007 clauses out of 20040 with flag 1284000/1843136
244.23/130.12	c cleaning 10004 clauses out of 20033 with flag 1294000/1853136
245.53/130.85	c cleaning 10003 clauses out of 20032 with flag 1304003/1863139
246.63/131.45	c cleaning 9994 clauses out of 20026 with flag 1314000/1873136
247.89/132.16	c cleaning 9993 clauses out of 20032 with flag 1324000/1883136
249.16/132.85	c cleaning 10002 clauses out of 20039 with flag 1334000/1893136
250.26/133.50	c cleaning 10003 clauses out of 20037 with flag 1344000/1903136
251.57/134.17	c cleaning 10005 clauses out of 20035 with flag 1354001/1913137
253.02/134.92	c cleaning 10005 clauses out of 20030 with flag 1364001/1923137
254.12/135.57	c cleaning 10005 clauses out of 20028 with flag 1374004/1933140
255.63/136.31	c cleaning 9998 clauses out of 20019 with flag 1384000/1943136
256.93/137.05	c cleaning 9999 clauses out of 20022 with flag 1394001/1953137
258.37/137.89	c cleaning 9999 clauses out of 20022 with flag 1404000/1963136
259.89/138.63	c cleaning 9990 clauses out of 20024 with flag 1414001/1973137
261.17/139.35	c cleaning 10003 clauses out of 20033 with flag 1424000/1983136
262.47/140.07	c cleaning 9993 clauses out of 20030 with flag 1434000/1993136
263.92/140.86	c cleaning 10010 clauses out of 20037 with flag 1444000/2003136
265.41/141.67	c cleaning 9995 clauses out of 20029 with flag 1454002/2013138
266.91/142.46	c cleaning 10001 clauses out of 20032 with flag 1464000/2023136
268.40/143.23	c cleaning 10009 clauses out of 20031 with flag 1474000/2033136
269.85/144.00	c cleaning 9998 clauses out of 20022 with flag 1484000/2043136
271.15/144.76	c cleaning 9989 clauses out of 20026 with flag 1494002/2053138
272.47/145.46	c cleaning 9998 clauses out of 20035 with flag 1504000/2063136
273.77/146.14	c cleaning 9988 clauses out of 20037 with flag 1514000/2073136
275.21/146.99	c cleaning 10016 clauses out of 20049 with flag 1524000/2083136
276.50/147.66	c cleaning 10000 clauses out of 20033 with flag 1534000/2093136
278.00/148.43	c cleaning 9988 clauses out of 20033 with flag 1544000/2103136
279.32/149.18	c cleaning 10010 clauses out of 20045 with flag 1554000/2113136
280.95/150.09	c cleaning 10012 clauses out of 20035 with flag 1564000/2123136
282.27/150.79	c cleaning 9995 clauses out of 20023 with flag 1574000/2133136
283.55/151.49	c cleaning 10006 clauses out of 20028 with flag 1584000/2143136
285.06/152.24	c cleaning 10003 clauses out of 20023 with flag 1594001/2153137
286.30/152.99	c cleaning 10004 clauses out of 20019 with flag 1604000/2163136
287.78/153.75	c cleaning 9999 clauses out of 20016 with flag 1614001/2173137
288.88/154.39	c cleaning 9987 clauses out of 20016 with flag 1624000/2183136
290.17/155.06	c cleaning 10008 clauses out of 20029 with flag 1634000/2193136
291.80/155.91	c cleaning 9998 clauses out of 20021 with flag 1644000/2203136
292.89/156.56	c cleaning 9993 clauses out of 20026 with flag 1654003/2213139
294.18/157.25	c cleaning 10001 clauses out of 20031 with flag 1664001/2223137
295.48/157.93	c cleaning 10009 clauses out of 20029 with flag 1674000/2233136
296.91/158.72	c cleaning 9999 clauses out of 20020 with flag 1684000/2243136
298.00/159.40	c cleaning 10003 clauses out of 20022 with flag 1694001/2253137
299.49/160.11	c cleaning 9988 clauses out of 20018 with flag 1704000/2263136
300.61/160.76	c cleaning 9986 clauses out of 20030 with flag 1714000/2273136
302.03/161.53	c cleaning 9994 clauses out of 20044 with flag 1724000/2283136
303.12/162.18	c cleaning 10000 clauses out of 20050 with flag 1734000/2293136
304.42/162.81	c cleaning 10001 clauses out of 20050 with flag 1744000/2303136
305.49/163.45	c cleaning 9995 clauses out of 20049 with flag 1754000/2313136
306.92/164.24	c cleaning 10007 clauses out of 20055 with flag 1764001/2323137
308.21/165.00	c cleaning 10006 clauses out of 20047 with flag 1774000/2333136
309.49/165.67	c cleaning 10002 clauses out of 20041 with flag 1784000/2343136
310.78/166.36	c cleaning 10005 clauses out of 20040 with flag 1794001/2353137
312.20/167.11	c cleaning 9999 clauses out of 20034 with flag 1804000/2363136
313.49/167.84	c cleaning 9998 clauses out of 20035 with flag 1814000/2373136
314.79/168.52	c cleaning 10007 clauses out of 20037 with flag 1824000/2383136
316.08/169.25	c cleaning 9999 clauses out of 20030 with flag 1834000/2393136
317.51/170.09	c cleaning 9995 clauses out of 20032 with flag 1844001/2403137
319.02/170.88	c cleaning 10004 clauses out of 20036 with flag 1854000/2413136
320.53/171.61	c cleaning 10004 clauses out of 20034 with flag 1864002/2423138
321.81/172.38	c cleaning 9995 clauses out of 20032 with flag 1874004/2433140
323.25/173.19	c cleaning 9997 clauses out of 20034 with flag 1884001/2443137
324.74/173.95	c cleaning 10008 clauses out of 20037 with flag 1894001/2453137
326.21/174.75	c cleaning 10006 clauses out of 20028 with flag 1904000/2463136
327.50/175.50	c cleaning 10000 clauses out of 20022 with flag 1914000/2473136
329.10/176.32	c cleaning 10001 clauses out of 20024 with flag 1924003/2483139
330.60/177.12	c cleaning 9987 clauses out of 20020 with flag 1934000/2493136
331.86/177.80	c cleaning 10003 clauses out of 20033 with flag 1944000/2503136
332.96/178.48	c cleaning 9987 clauses out of 20031 with flag 1954001/2513137
334.58/179.31	c cleaning 10008 clauses out of 20043 with flag 1964000/2523136
335.85/180.05	c cleaning 9995 clauses out of 20035 with flag 1974000/2533136
336.93/180.67	c cleaning 9999 clauses out of 20040 with flag 1984000/2543136
338.21/181.34	c cleaning 10009 clauses out of 20041 with flag 1994000/2553136
339.43/182.09	c cleaning 10004 clauses out of 20032 with flag 2004000/2563136
340.73/182.78	c cleaning 9994 clauses out of 20028 with flag 2014000/2573136
342.01/183.48	c cleaning 9997 clauses out of 20034 with flag 2024000/2583136
343.48/184.21	c cleaning 10005 clauses out of 20037 with flag 2034000/2593136
345.09/185.11	c cleaning 9991 clauses out of 20032 with flag 2044000/2603136
346.39/185.89	c cleaning 9984 clauses out of 20041 with flag 2054000/2613136
347.88/186.65	c cleaning 10011 clauses out of 20057 with flag 2064000/2623136
349.16/187.33	c cleaning 10002 clauses out of 20046 with flag 2074000/2633136
350.59/188.17	c cleaning 10016 clauses out of 20045 with flag 2084001/2643137
352.06/188.93	c cleaning 9992 clauses out of 20030 with flag 2094002/2653138
353.35/189.63	c cleaning 10010 clauses out of 20036 with flag 2104000/2663136
354.64/190.31	c cleaning 9981 clauses out of 20026 with flag 2114000/2673136
356.03/191.10	c cleaning 10011 clauses out of 20045 with flag 2124000/2683136
357.12/191.76	c cleaning 9996 clauses out of 20034 with flag 2134000/2693136
358.61/192.51	c cleaning 10000 clauses out of 20038 with flag 2144000/2703136
359.90/193.26	c cleaning 9998 clauses out of 20039 with flag 2154001/2713137
361.29/194.10	c cleaning 10003 clauses out of 20040 with flag 2164000/2723136
362.78/194.83	c cleaning 10005 clauses out of 20037 with flag 2174000/2733136
364.25/195.64	c cleaning 10005 clauses out of 20033 with flag 2184001/2743137
365.73/196.47	c cleaning 9996 clauses out of 20028 with flag 2194001/2753137
367.34/197.38	c cleaning 10006 clauses out of 20031 with flag 2204000/2763136
368.84/198.17	c cleaning 9988 clauses out of 20024 with flag 2214000/2773136
370.11/198.81	c cleaning 9997 clauses out of 20036 with flag 2224000/2783136
371.20/199.46	c cleaning 9994 clauses out of 20039 with flag 2234000/2793136
372.61/200.24	c cleaning 10009 clauses out of 20045 with flag 2244000/2803136
373.69/200.88	c cleaning 10006 clauses out of 20037 with flag 2254001/2813137
374.97/201.56	c cleaning 9997 clauses out of 20030 with flag 2264000/2823136
376.44/202.32	c cleaning 10005 clauses out of 20033 with flag 2274000/2833136
377.64/203.05	c cleaning 9987 clauses out of 20028 with flag 2284000/2843136
378.93/203.72	c cleaning 10010 clauses out of 20042 with flag 2294001/2853137
380.21/204.41	c cleaning 10000 clauses out of 20031 with flag 2304000/2863136
381.30/205.04	c cleaning 9999 clauses out of 20032 with flag 2314001/2873137
382.52/205.74	c cleaning 9997 clauses out of 20033 with flag 2324001/2883137
383.80/206.41	c cleaning 9994 clauses out of 20035 with flag 2334000/2893136
384.88/207.04	c cleaning 9989 clauses out of 20041 with flag 2344000/2903136
385.96/207.69	c cleaning 9996 clauses out of 20052 with flag 2354000/2913136
387.37/208.48	c cleaning 10003 clauses out of 20056 with flag 2364000/2923136
388.84/209.20	c cleaning 10002 clauses out of 20053 with flag 2374000/2933136
390.11/209.98	c cleaning 10008 clauses out of 20052 with flag 2384001/2943137
391.58/210.75	c cleaning 10000 clauses out of 20043 with flag 2394000/2953136
392.98/211.58	c cleaning 10005 clauses out of 20045 with flag 2404002/2963138
394.46/212.31	c cleaning 10012 clauses out of 20041 with flag 2414003/2973139
395.73/213.03	c cleaning 10004 clauses out of 20026 with flag 2424000/2983136
397.00/213.74	c cleaning 9993 clauses out of 20022 with flag 2434000/2993136
398.41/214.53	c cleaning 9999 clauses out of 20029 with flag 2444000/3003136
399.47/215.19	c cleaning 10001 clauses out of 20032 with flag 2454002/3013138
400.75/215.86	c cleaning 9996 clauses out of 20029 with flag 2464000/3023136
402.03/216.54	c cleaning 9998 clauses out of 20033 with flag 2474000/3033136
403.42/217.30	c cleaning 9991 clauses out of 20035 with flag 2484000/3043136
404.69/218.05	c cleaning 10015 clauses out of 20044 with flag 2494000/3053136
406.18/218.80	c cleaning 9993 clauses out of 20030 with flag 2504001/3063137
407.47/219.59	c cleaning 10003 clauses out of 20036 with flag 2514000/3073136
409.08/220.42	c cleaning 10002 clauses out of 20035 with flag 2524002/3083138
410.36/221.12	c cleaning 10002 clauses out of 20031 with flag 2534000/3093136
411.63/221.90	c cleaning 10001 clauses out of 20028 with flag 2544000/3103136
413.30/222.70	c cleaning 10010 clauses out of 20027 with flag 2554000/3113136
414.71/223.53	c cleaning 9996 clauses out of 20019 with flag 2564002/3123138
415.78/224.19	c cleaning 9992 clauses out of 20021 with flag 2574000/3133136
417.07/224.87	c cleaning 9994 clauses out of 20029 with flag 2584000/3143136
418.37/225.57	c cleaning 9998 clauses out of 20035 with flag 2594000/3153136
419.75/226.32	c cleaning 9999 clauses out of 20037 with flag 2604000/3163136
421.02/227.08	c cleaning 9994 clauses out of 20038 with flag 2614000/3173136
422.51/227.85	c cleaning 10011 clauses out of 20044 with flag 2624000/3183136
423.97/228.62	c cleaning 9999 clauses out of 20033 with flag 2634000/3193136
425.35/229.44	c cleaning 9993 clauses out of 20034 with flag 2644000/3203136
426.82/230.26	c cleaning 10006 clauses out of 20041 with flag 2654000/3213136
428.30/231.05	c cleaning 10005 clauses out of 20035 with flag 2664000/3223136
429.77/231.86	c cleaning 9988 clauses out of 20030 with flag 2674000/3233136
431.37/232.70	c cleaning 10011 clauses out of 20042 with flag 2684000/3243136
432.46/233.38	c cleaning 9991 clauses out of 20031 with flag 2694000/3253136
433.72/234.09	c cleaning 10002 clauses out of 20040 with flag 2704000/3263136
434.98/234.79	c cleaning 10000 clauses out of 20038 with flag 2714000/3273136
436.56/235.63	c cleaning 10004 clauses out of 20038 with flag 2724000/3283136
437.83/236.33	c cleaning 10000 clauses out of 20034 with flag 2734000/3293136
439.29/237.11	c cleaning 10000 clauses out of 20034 with flag 2744000/3303136
440.76/237.91	c cleaning 10001 clauses out of 20034 with flag 2754000/3313136
442.35/238.84	c cleaning 9980 clauses out of 20033 with flag 2764000/3323136
443.62/239.57	c cleaning 10019 clauses out of 20055 with flag 2774002/3333138
445.09/240.30	c cleaning 10001 clauses out of 20037 with flag 2784003/3343139
446.17/240.98	c cleaning 9999 clauses out of 20033 with flag 2794000/3353136
447.55/241.76	c cleaning 9996 clauses out of 20034 with flag 2804000/3363136
448.82/242.40	c cleaning 9999 clauses out of 20038 with flag 2814000/3373136
449.89/243.05	c cleaning 9997 clauses out of 20040 with flag 2824001/3383137
451.36/243.82	c cleaning 10000 clauses out of 20045 with flag 2834003/3393139
452.74/244.66	c cleaning 9989 clauses out of 20042 with flag 2844000/3403136
454.01/245.38	c cleaning 10009 clauses out of 20054 with flag 2854001/3413137
455.48/246.10	c cleaning 9997 clauses out of 20044 with flag 2864000/3423136
456.74/246.84	c cleaning 10013 clauses out of 20047 with flag 2874000/3433136
457.94/247.59	c cleaning 10004 clauses out of 20034 with flag 2884000/3443136
459.20/248.29	c cleaning 9999 clauses out of 20030 with flag 2894000/3453136
460.68/249.01	c cleaning 10001 clauses out of 20031 with flag 2904000/3463136
461.95/249.70	c cleaning 9997 clauses out of 20031 with flag 2914001/3473137
463.33/250.55	c cleaning 10003 clauses out of 20034 with flag 2924001/3483137
464.62/251.21	c cleaning 9995 clauses out of 20030 with flag 2934000/3493136
466.10/252.00	c cleaning 9993 clauses out of 20035 with flag 2944000/3503136
467.35/252.70	c cleaning 10003 clauses out of 20042 with flag 2954000/3513136
468.53/253.49	c cleaning 10006 clauses out of 20039 with flag 2964000/3523136
470.01/254.25	c cleaning 9994 clauses out of 20033 with flag 2974000/3533136
471.46/255.03	c cleaning 10003 clauses out of 20039 with flag 2984000/3543136
472.72/255.76	c cleaning 10008 clauses out of 20036 with flag 2994000/3553136
474.09/256.59	c cleaning 9997 clauses out of 20028 with flag 3004000/3563136
475.35/257.28	c cleaning 9983 clauses out of 20031 with flag 3014000/3573136
476.81/258.01	c cleaning 10013 clauses out of 20048 with flag 3024000/3583136
477.87/258.69	c cleaning 10001 clauses out of 20035 with flag 3034000/3593136
479.43/259.51	c cleaning 10002 clauses out of 20034 with flag 3044000/3603136
480.69/260.21	c cleaning 10000 clauses out of 20033 with flag 3054001/3613137
481.95/260.98	c cleaning 10002 clauses out of 20032 with flag 3064000/3623136
483.41/261.70	c cleaning 10008 clauses out of 20030 with flag 3074000/3633136
484.80/262.56	c cleaning 10000 clauses out of 20024 with flag 3084002/3643138
486.06/263.28	c cleaning 10006 clauses out of 20024 with flag 3094002/3653138
487.54/264.06	c cleaning 9999 clauses out of 20017 with flag 3104001/3663137
488.80/264.78	c cleaning 9991 clauses out of 20017 with flag 3114000/3673136
490.18/265.53	c cleaning 10000 clauses out of 20028 with flag 3124002/3683138
491.45/266.21	c cleaning 9998 clauses out of 20026 with flag 3134000/3693136
492.51/266.88	c cleaning 9989 clauses out of 20028 with flag 3144000/3703136
493.97/267.64	c cleaning 10004 clauses out of 20039 with flag 3154000/3713136
495.35/268.48	c cleaning 9998 clauses out of 20035 with flag 3164000/3723136
496.81/269.27	c cleaning 10007 clauses out of 20037 with flag 3174000/3733136
498.28/270.01	c cleaning 9997 clauses out of 20030 with flag 3184000/3743136
499.55/270.73	c cleaning 9994 clauses out of 20033 with flag 3194000/3753136
500.93/271.55	c cleaning 10009 clauses out of 20041 with flag 3204002/3763138
502.17/272.25	c cleaning 9998 clauses out of 20030 with flag 3214000/3773136
503.43/272.98	c cleaning 9994 clauses out of 20032 with flag 3224000/3783136
504.88/273.70	c cleaning 10005 clauses out of 20041 with flag 3234003/3793139
506.06/274.47	c cleaning 9997 clauses out of 20036 with flag 3244003/3803139
507.52/275.23	c cleaning 9999 clauses out of 20036 with flag 3254000/3813136
508.78/275.92	c cleaning 9994 clauses out of 20037 with flag 3264000/3823136
510.05/276.68	c cleaning 9997 clauses out of 20046 with flag 3274003/3833139
511.62/277.57	c cleaning 10007 clauses out of 20046 with flag 3284000/3843136
513.28/278.42	c cleaning 10015 clauses out of 20040 with flag 3294002/3853138
514.52/279.14	c cleaning 9988 clauses out of 20023 with flag 3304000/3863136
515.98/279.90	c cleaning 10007 clauses out of 20035 with flag 3314000/3873136
517.35/280.70	c cleaning 9998 clauses out of 20028 with flag 3324000/3883136
518.61/281.42	c cleaning 9997 clauses out of 20030 with flag 3334000/3893136
519.85/282.13	c cleaning 10003 clauses out of 20033 with flag 3344000/3903136
521.32/282.91	c cleaning 9996 clauses out of 20030 with flag 3354000/3913136
522.66/283.70	c cleaning 10003 clauses out of 20034 with flag 3364000/3923136
523.92/284.41	c cleaning 9998 clauses out of 20031 with flag 3374000/3933136
524.99/285.07	c cleaning 10002 clauses out of 20034 with flag 3384001/3943137
526.24/285.73	c cleaning 9985 clauses out of 20031 with flag 3394000/3953136
527.61/286.57	c cleaning 10006 clauses out of 20047 with flag 3404001/3963137
529.06/287.39	c cleaning 10005 clauses out of 20040 with flag 3414000/3973136
530.51/288.15	c cleaning 10004 clauses out of 20035 with flag 3424000/3983136
531.77/288.89	c cleaning 9999 clauses out of 20032 with flag 3434001/3993137
533.12/289.68	c cleaning 10012 clauses out of 20032 with flag 3444000/4003136
534.58/290.45	c cleaning 10001 clauses out of 20020 with flag 3454000/4013136
536.01/291.27	c cleaning 10002 clauses out of 20022 with flag 3464003/4023139
537.27/291.95	c cleaning 9979 clauses out of 20017 with flag 3474000/4033136
538.65/292.77	c cleaning 10006 clauses out of 20038 with flag 3484000/4043136
540.08/293.51	c cleaning 10000 clauses out of 20032 with flag 3494000/4053136
541.33/294.20	c cleaning 9987 clauses out of 20034 with flag 3504002/4063138
542.60/294.92	c cleaning 10000 clauses out of 20045 with flag 3514000/4073136
543.95/295.73	c cleaning 10003 clauses out of 20045 with flag 3524000/4083136
545.21/296.42	c cleaning 9981 clauses out of 20042 with flag 3534000/4093136
546.66/297.22	c cleaning 10007 clauses out of 20061 with flag 3544000/4103136
548.32/298.13	c cleaning 10017 clauses out of 20055 with flag 3554002/4113138
549.67/298.92	c cleaning 10013 clauses out of 20037 with flag 3564001/4123137
550.92/299.67	c cleaning 9990 clauses out of 20024 with flag 3574001/4133137
552.19/300.39	c cleaning 9999 clauses out of 20034 with flag 3584001/4143137
553.63/301.11	c cleaning 10001 clauses out of 20034 with flag 3594000/4153136
554.79/301.89	c cleaning 9999 clauses out of 20033 with flag 3604000/4163136
556.05/302.59	c cleaning 9994 clauses out of 20034 with flag 3614000/4173136
557.48/303.33	c cleaning 9985 clauses out of 20040 with flag 3624000/4183136
558.73/304.04	c cleaning 10006 clauses out of 20055 with flag 3634000/4193136
560.11/304.89	c cleaning 9999 clauses out of 20050 with flag 3644001/4203137
561.55/305.68	c cleaning 10009 clauses out of 20050 with flag 3654000/4213136
562.99/306.48	c cleaning 10013 clauses out of 20042 with flag 3664001/4223137
564.45/307.21	c cleaning 10007 clauses out of 20029 with flag 3674001/4233137
565.83/308.02	c cleaning 9994 clauses out of 20021 with flag 3684000/4243136
567.06/308.72	c cleaning 9994 clauses out of 20027 with flag 3694000/4253136
568.30/309.49	c cleaning 9998 clauses out of 20033 with flag 3704000/4263136
569.75/310.29	c cleaning 10004 clauses out of 20035 with flag 3714000/4273136
571.10/311.09	c cleaning 10002 clauses out of 20031 with flag 3724000/4283136
572.34/311.78	c cleaning 9997 clauses out of 20029 with flag 3734000/4293136
573.61/312.49	c cleaning 9989 clauses out of 20034 with flag 3744002/4303138
575.05/313.20	c cleaning 10006 clauses out of 20045 with flag 3754002/4313138
576.39/314.07	c cleaning 9995 clauses out of 20039 with flag 3764002/4323138
577.85/314.88	c cleaning 10012 clauses out of 20042 with flag 3774000/4333136
579.30/315.66	c cleaning 10002 clauses out of 20030 with flag 3784000/4343136
580.55/316.38	c cleaning 9996 clauses out of 20028 with flag 3794000/4353136
582.12/317.20	c cleaning 9988 clauses out of 20032 with flag 3804000/4363136
583.38/317.96	c cleaning 10008 clauses out of 20046 with flag 3814002/4373138
584.59/318.67	c cleaning 9992 clauses out of 20036 with flag 3824000/4383136
586.03/319.48	c cleaning 10010 clauses out of 20044 with flag 3834000/4393136
587.77/320.42	c cleaning 10005 clauses out of 20034 with flag 3844001/4403137
589.02/321.18	c cleaning 9999 clauses out of 20028 with flag 3854000/4413136
590.27/321.85	c cleaning 9995 clauses out of 20029 with flag 3864000/4423136
591.72/322.66	c cleaning 9996 clauses out of 20034 with flag 3874000/4433136
592.85/323.32	c cleaning 0 clauses out of 12306 with flag 0/12307
593.49/323.76	c cleaning 10012 clauses out of 20038 with flag 3884000/4443136
594.95/324.58	c cleaning 9994 clauses out of 20027 with flag 3894001/4453137
596.37/325.36	c cleaning 10001 clauses out of 20032 with flag 3904000/4463136
597.71/326.19	c cleaning 9994 clauses out of 20032 with flag 3914001/4473137
599.15/326.97	c cleaning 9998 clauses out of 20040 with flag 3924003/4483139
600.60/327.78	c cleaning 10009 clauses out of 20039 with flag 3934000/4493136
602.03/328.53	c cleaning 10005 clauses out of 20030 with flag 3944000/4503136
603.19/329.29	c cleaning 9993 clauses out of 20025 with flag 3954000/4513136
604.41/329.99	c cleaning 9983 clauses out of 20032 with flag 3964000/4523136
605.84/330.77	c cleaning 10008 clauses out of 20049 with flag 3974000/4533136
607.29/331.55	c cleaning 10004 clauses out of 20041 with flag 3984000/4543136
608.64/332.36	c cleaning 9998 clauses out of 20037 with flag 3994000/4553136
609.87/333.08	c cleaning 10005 clauses out of 20039 with flag 4004000/4563136
611.11/333.79	c cleaning 10009 clauses out of 20034 with flag 4014000/4573136
612.37/334.49	c cleaning 9987 clauses out of 20025 with flag 4024000/4583136
613.71/335.28	c cleaning 9978 clauses out of 20038 with flag 4034000/4593136
615.35/336.11	c cleaning 10019 clauses out of 20062 with flag 4044002/4603138
616.60/336.89	c cleaning 10002 clauses out of 20041 with flag 4054000/4613136
618.05/337.60	c cleaning 10002 clauses out of 20040 with flag 4064001/4623137
619.41/338.41	c cleaning 9983 clauses out of 20037 with flag 4074000/4633136
620.67/339.13	c cleaning 10019 clauses out of 20055 with flag 4084001/4643137
621.92/339.80	c cleaning 9994 clauses out of 20035 with flag 4094000/4653136
623.16/340.57	c cleaning 9999 clauses out of 20041 with flag 4104000/4663136
624.71/341.43	c cleaning 10000 clauses out of 20042 with flag 4114000/4673136
625.96/342.12	c cleaning 10001 clauses out of 20042 with flag 4124000/4683136
627.20/342.81	c cleaning 9997 clauses out of 20041 with flag 4134000/4693136
628.44/343.51	c cleaning 9995 clauses out of 20044 with flag 4144000/4703136
629.80/344.39	c cleaning 10012 clauses out of 20049 with flag 4154000/4713136
631.24/345.13	c cleaning 10005 clauses out of 20038 with flag 4164001/4723137
632.46/345.88	c cleaning 10012 clauses out of 20034 with flag 4174002/4733138
633.91/346.65	c cleaning 10003 clauses out of 20021 with flag 4184001/4743137
635.24/347.48	c cleaning 9990 clauses out of 20019 with flag 4194002/4753138
636.48/348.18	c cleaning 10003 clauses out of 20028 with flag 4204001/4763137
637.74/348.89	c cleaning 9984 clauses out of 20024 with flag 4214000/4773136
639.16/349.60	c cleaning 9993 clauses out of 20040 with flag 4224000/4783136
640.70/350.51	c cleaning 9998 clauses out of 20047 with flag 4234000/4793136
641.94/351.27	c cleaning 10020 clauses out of 20049 with flag 4244000/4803136
643.19/352.00	c cleaning 10006 clauses out of 20029 with flag 4254000/4813136
644.63/352.73	c cleaning 9995 clauses out of 20023 with flag 4264000/4823136
645.98/353.53	c cleaning 9979 clauses out of 20028 with flag 4274000/4833136
647.23/354.28	c cleaning 10015 clauses out of 20050 with flag 4284001/4843137
648.45/354.97	c cleaning 10000 clauses out of 20034 with flag 4294000/4853136
649.69/355.65	c cleaning 9999 clauses out of 20035 with flag 4304001/4863137
651.25/356.53	c cleaning 10001 clauses out of 20037 with flag 4314002/4873138
652.47/357.28	c cleaning 10005 clauses out of 20035 with flag 4324001/4883137
653.72/357.97	c cleaning 9996 clauses out of 20029 with flag 4334000/4893136
655.16/358.75	c cleaning 10000 clauses out of 20035 with flag 4344002/4903138
656.47/359.59	c cleaning 9998 clauses out of 20033 with flag 4354000/4913136
657.92/360.34	c cleaning 9999 clauses out of 20035 with flag 4364000/4923136
659.16/361.07	c cleaning 9992 clauses out of 20036 with flag 4374000/4933136
660.39/361.77	c cleaning 9997 clauses out of 20045 with flag 4384001/4943137
661.73/362.55	c cleaning 9989 clauses out of 20047 with flag 4394000/4953136
663.16/363.33	c cleaning 10016 clauses out of 20058 with flag 4404000/4963136
664.39/364.04	c cleaning 9999 clauses out of 20042 with flag 4414000/4973136
665.63/364.74	c cleaning 9993 clauses out of 20044 with flag 4424001/4983137
667.16/365.67	c cleaning 10014 clauses out of 20051 with flag 4434001/4993137
668.41/366.40	c cleaning 10001 clauses out of 20036 with flag 4444000/5003136
669.82/367.13	c cleaning 9983 clauses out of 20035 with flag 4454000/5013136
671.05/367.87	c cleaning 10011 clauses out of 20055 with flag 4464003/5023139
672.60/368.76	c cleaning 10010 clauses out of 20041 with flag 4474000/5033136
673.84/369.47	c cleaning 9993 clauses out of 20031 with flag 4484000/5043136
675.28/370.26	c cleaning 9999 clauses out of 20038 with flag 4494000/5053136
676.72/371.00	c cleaning 9991 clauses out of 20039 with flag 4504000/5063136
678.07/371.88	c cleaning 10003 clauses out of 20048 with flag 4514000/5073136
679.31/372.59	c cleaning 9995 clauses out of 20046 with flag 4524001/5083137
680.73/373.34	c cleaning 10007 clauses out of 20051 with flag 4534001/5093137
681.97/374.06	c cleaning 9995 clauses out of 20046 with flag 4544003/5103139
683.48/374.92	c cleaning 9998 clauses out of 20048 with flag 4554000/5113136
684.72/375.65	c cleaning 9996 clauses out of 20050 with flag 4564000/5123136
686.15/376.40	c cleaning 10001 clauses out of 20055 with flag 4574001/5133137
687.78/377.32	c cleaning 10010 clauses out of 20054 with flag 4584001/5143137
689.50/378.31	c cleaning 10004 clauses out of 20043 with flag 4594000/5153136
691.12/379.25	c cleaning 10016 clauses out of 20041 with flag 4604002/5163138
692.76/380.11	c cleaning 9999 clauses out of 20023 with flag 4614000/5173136
694.40/381.00	c cleaning 10006 clauses out of 20023 with flag 4624000/5183136
695.93/381.96	c cleaning 9995 clauses out of 20017 with flag 4634000/5193136
696.37/382.25	c  And the winner is Resolution
696.35/383.42	c starts		: 306
696.35/383.42	c conflicts		: 5194435
696.35/383.42	c decisions		: 6153941
696.35/383.42	c propagations		: 145160286
696.35/383.42	c inspects		: 2468643757
696.35/383.42	c shortcuts		: 0
696.35/383.42	c learnt literals	: 33
696.35/383.42	c learnt binary clauses	: 314
696.35/383.42	c learnt ternary clauses	: 138721
696.35/383.42	c learnt constraints	: 5194401
696.35/383.42	c ignored constraints	: 0
696.35/383.42	c root simplifications	: 0
696.35/383.42	c removed literals (reason simplification)	: 199867454
696.35/383.42	c reason swapping (by a shorter reason)	: 0
696.35/383.42	c Calls to reduceDB	: 523
696.35/383.42	c number of reductions to clauses (during analyze)	: 0
696.35/383.42	c number of learned constraints concerned by reduction	: 0
696.35/383.42	c number of learning phase by resolution	: 0
696.35/383.42	c number of learning phase by cutting planes	: 0
696.35/383.42	c speed (assignments/second)	: 424537.1396150044
696.35/383.42	c non guided choices	0
696.35/383.42	c learnt constraints type 
696.35/383.42	c constraints type 
696.35/383.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1466
696.35/383.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
696.35/383.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
696.35/383.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1466
696.35/383.42	c constraints type 
696.35/383.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
696.35/383.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1466
696.35/383.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
696.35/383.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1466
696.35/383.42	s OPTIMUM FOUND
696.35/383.42	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 
696.35/383.42	c objective function=-7
696.35/383.42	c Total wall clock time (in seconds): 383.299

Verifier Data 

OK	-7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 4.02 3.89 3.74 3/198 28159
/proc/meminfo: memFree=25824180/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28159/stat : 28159 (java) D 28157 28159 25219 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 338440552 9515008 182 33554432000 1073741824 1073778376 140735743289824 140735743280856 212073266869 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2323 182 140 9 0 71 0

[startup+0.103895 s]
/proc/loadavg: 4.02 3.89 3.74 3/198 28159
/proc/meminfo: memFree=25824180/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 5239 0 1 0 8 1 0 0 20 0 18 0 338440552 11864465408 13592 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2896598 13592 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.200241 s]
/proc/loadavg: 4.02 3.89 3.74 3/198 28159
/proc/meminfo: memFree=25824180/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11586392 CPUtime=0.21 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 5420 0 1 0 19 2 0 0 20 0 18 0 338440552 11864465408 14234 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2896598 14234 2163 9 0 2887285 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11586392

[startup+0.300262 s]
/proc/loadavg: 4.02 3.89 3.74 3/198 28159
/proc/meminfo: memFree=25824180/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11586392 CPUtime=0.45 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 6881 0 1 0 43 2 0 0 20 0 18 0 338440552 11864465408 16383 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2896598 16383 2233 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700298 s]
/proc/loadavg: 4.02 3.89 3.74 3/198 28159
/proc/meminfo: memFree=25824180/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 11069 0 1 0 118 5 0 0 20 0 19 0 338440552 12137111552 22443 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 22443 2259 9 0 2953849 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 11852648

[startup+1.50076 s]
/proc/loadavg: 4.02 3.89 3.74 3/217 28184
/proc/meminfo: memFree=25732364/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=1.81 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 14512 0 1 0 172 9 0 0 20 0 19 0 338440552 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 29309 2260 9 0 2953849 0
[pid=28159/tid=28161] ppid=28157 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/28159/task/28161/stat : 28161 (java) S 28157 28159 25219 0 -1 4202560 3384 0 1 0 30 1 0 0 20 0 19 0 338440553 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624096048280 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28162] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28162/stat : 28162 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624085108904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28163] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28163/stat : 28163 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624084056360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28164] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28164/stat : 28164 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624083003816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28165] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28165/stat : 28165 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624081951272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28166] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28166/stat : 28166 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624080898728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28167] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28167/stat : 28167 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624079846184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28168] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28168/stat : 28168 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624078793640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28169] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28169/stat : 28169 (java) S 28157 28159 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140624077741096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) R 28157 28159 25219 0 -1 4202560 4048 0 0 0 44 0 0 0 20 0 19 0 338440560 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623908923536 140624099572261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=0.42 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) R 28157 28159 25219 0 -1 4202560 5762 0 0 0 42 0 0 0 20 0 19 0 338440560 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623907883544 140624100136898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28181] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28181/stat : 28181 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338440587 12137111552 29309 33554432000 1073741824 1073778376 140736146771952 140623901566120 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 11852648

[startup+3.10088 s]
/proc/loadavg: 3.86 3.86 3.73 7/220 28190
/proc/meminfo: memFree=25610648/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=4.97 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 19897 0 1 0 479 18 0 0 20 0 19 0 338440552 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 117184 2293 9 0 2953849 0
[pid=28159/tid=28161] ppid=28157 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/28159/task/28161/stat : 28161 (java) S 28157 28159 25219 0 -1 4202560 3384 0 1 0 30 2 0 0 20 0 19 0 338440553 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624096048280 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28162] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28162/stat : 28162 (java) S 28157 28159 25219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624085108904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28163] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28163/stat : 28163 (java) S 28157 28159 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624084056360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28164] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28164/stat : 28164 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624083003816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28165] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28165/stat : 28165 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624081951272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28166] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28166/stat : 28166 (java) S 28157 28159 25219 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624080898728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28167] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28167/stat : 28167 (java) S 28157 28159 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624079846184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28168] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28168/stat : 28168 (java) S 28157 28159 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624078793640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28169] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28169/stat : 28169 (java) S 28157 28159 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338440555 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140624077741096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 338440557 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) S 28157 28159 25219 0 -1 4202560 5116 0 0 0 76 0 0 0 20 0 19 0 338440560 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623908936248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) S 28157 28159 25219 0 -1 4202560 9834 0 0 0 92 1 0 0 20 0 19 0 338440560 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623907883704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28181] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28181/stat : 28181 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338440587 12137111552 117184 33554432000 1073741824 1073778376 140736146771952 140623901566120 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 11852648

[startup+6.30086 s]
/proc/loadavg: 3.86 3.86 3.73 5/220 28193
/proc/meminfo: memFree=25288816/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=11.38 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 27500 0 1 0 1116 22 0 0 20 0 22 0 338440552 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 144434 2293 9 0 2953849 0
[pid=28159/tid=28161] ppid=28157 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/28159/task/28161/stat : 28161 (java) S 28157 28159 25219 0 -1 4202560 3384 0 1 0 30 2 0 0 20 0 22 0 338440553 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624096048280 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28162] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28162/stat : 28162 (java) S 28157 28159 25219 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624085108904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28163] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28163/stat : 28163 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624084056360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28164] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28164/stat : 28164 (java) S 28157 28159 25219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624083003816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28165] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28165/stat : 28165 (java) S 28157 28159 25219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624081951272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28166] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28166/stat : 28166 (java) S 28157 28159 25219 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624080898728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28167] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28167/stat : 28167 (java) S 28157 28159 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624079846184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28168] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28168/stat : 28168 (java) S 28157 28159 25219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624078793640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28169] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28169/stat : 28169 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338440555 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140624077741096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 22 0 338440557 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338440557 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338440557 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338440560 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=1.02 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) S 28157 28159 25219 0 -1 4202560 8094 0 0 0 100 2 0 0 20 0 22 0 338440560 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623908936248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) S 28157 28159 25219 0 -1 4202560 14358 0 0 0 138 2 0 0 20 0 22 0 338440560 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623907883704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338440560 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338440560 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28181] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28181/stat : 28181 (java) S 28157 28159 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338440587 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623901566120 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28191] ppid=28157 vsize=11852648 CPUtime=2.68 cores=0,2,4,6
/proc/28159/task/28191/stat : 28191 (java) R 28157 28159 25219 0 -1 4202560 7 0 0 0 268 0 0 0 20 0 22 0 338440888 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623902618320 140623957501282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28192] ppid=28157 vsize=11852648 CPUtime=2.69 cores=0,2,4,6
/proc/28159/task/28192/stat : 28192 (java) R 28157 28159 25219 0 -1 4202560 55 0 0 0 267 2 0 0 20 0 22 0 338440888 12137111552 144434 33554432000 1073741824 1073778376 140736146771952 140623904722016 140623957403026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=71.55 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 121 0 0 0 7148 7 0 0 20 0 22 0 338440557 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338440557 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338440557 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338440560 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) S 28157 28159 25219 0 -1 4202560 9132 0 0 0 130 2 0 0 20 0 22 0 338440560 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623908936248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) S 28157 28159 25219 0 -1 4202560 14366 0 0 0 147 3 0 0 20 0 22 0 338440560 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623907883704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338440560 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 22 0 338440560 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28193] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28193/stat : 28193 (java) S 28157 28159 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338440888 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623903671976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28194] ppid=28157 vsize=11852648 CPUtime=265.8 cores=0,2,4,6
/proc/28159/task/28194/stat : 28194 (java) R 28157 28159 25219 0 -1 4202560 239 0 0 0 26576 4 0 0 20 0 22 0 338444702 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623904723144 140623957202756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28195] ppid=28157 vsize=11852648 CPUtime=265.91 cores=0,2,4,6
/proc/28159/task/28195/stat : 28195 (java) R 28157 28159 25219 0 -1 4202560 124 0 0 0 26586 5 0 0 20 0 22 0 338444702 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623902615632 140623957571677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28196] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28196/stat : 28196 (java) S 28157 28159 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338444702 12137111552 174589 33554432000 1073741824 1073778376 140736146771952 140623901565992 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 694
Current children cumulated vsize (KiB) 11852648

[startup+382.401 s]
/proc/loadavg: 4.01 3.82 3.74 5/219 28201
/proc/meminfo: memFree=25072036/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=695.34 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 30660 0 1 0 69474 60 0 0 20 0 19 0 338440552 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 174587 2295 9 0 2953849 0
[pid=28159/tid=28161] ppid=28157 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/28159/task/28161/stat : 28161 (java) S 28157 28159 25219 0 -1 4202560 3509 0 1 0 31 3 0 0 20 0 19 0 338440553 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624096048280 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28162] ppid=28157 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/28159/task/28162/stat : 28162 (java) S 28157 28159 25219 0 -1 4202560 184 0 0 0 173 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624085108904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28163] ppid=28157 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/28159/task/28163/stat : 28163 (java) S 28157 28159 25219 0 -1 4202560 178 0 0 0 184 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624084056360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28164] ppid=28157 vsize=11852648 CPUtime=1.77 cores=0,2,4,6
/proc/28159/task/28164/stat : 28164 (java) S 28157 28159 25219 0 -1 4202560 188 0 0 0 175 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624083003816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28165] ppid=28157 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/28159/task/28165/stat : 28165 (java) S 28157 28159 25219 0 -1 4202560 211 0 0 0 173 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624081951272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28166] ppid=28157 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/28159/task/28166/stat : 28166 (java) S 28157 28159 25219 0 -1 4202560 213 0 0 0 176 3 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624080898728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28167] ppid=28157 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/28159/task/28167/stat : 28167 (java) S 28157 28159 25219 0 -1 4202560 207 0 0 0 178 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624079846184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28168] ppid=28157 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/28159/task/28168/stat : 28168 (java) S 28157 28159 25219 0 -1 4202560 178 0 0 0 184 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624078793640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28169] ppid=28157 vsize=11852648 CPUtime=1.74 cores=0,2,4,6
/proc/28159/task/28169/stat : 28169 (java) S 28157 28159 25219 0 -1 4202560 182 0 0 0 174 0 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624077741096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=72.02 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 121 0 0 0 7195 7 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) S 28157 28159 25219 0 -1 4202560 9132 0 0 0 130 2 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623908936248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) S 28157 28159 25219 0 -1 4202560 14366 0 0 0 147 3 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623907883704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28193] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28193/stat : 28193 (java) S 28157 28159 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338440888 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623903671976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 695.34
Current children cumulated vsize (KiB) 11852648

[startup+383.201 s]
/proc/loadavg: 4.01 3.82 3.74 4/216 28201
/proc/meminfo: memFree=25072036/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=696.15 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 30660 0 1 0 69555 60 0 0 20 0 19 0 338440552 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 174587 2295 9 0 2953849 0
[pid=28159/tid=28161] ppid=28157 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/28159/task/28161/stat : 28161 (java) R 28157 28159 25219 0 -1 4202560 3509 0 1 0 110 3 0 0 20 0 19 0 338440553 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624096045760 140623957202870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28162] ppid=28157 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/28159/task/28162/stat : 28162 (java) S 28157 28159 25219 0 -1 4202560 184 0 0 0 173 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624085108904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28163] ppid=28157 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/28159/task/28163/stat : 28163 (java) S 28157 28159 25219 0 -1 4202560 178 0 0 0 184 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624084056360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28164] ppid=28157 vsize=11852648 CPUtime=1.77 cores=0,2,4,6
/proc/28159/task/28164/stat : 28164 (java) S 28157 28159 25219 0 -1 4202560 188 0 0 0 175 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624083003816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28165] ppid=28157 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/28159/task/28165/stat : 28165 (java) S 28157 28159 25219 0 -1 4202560 211 0 0 0 173 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624081951272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28166] ppid=28157 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/28159/task/28166/stat : 28166 (java) S 28157 28159 25219 0 -1 4202560 213 0 0 0 176 3 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624080898728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28167] ppid=28157 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/28159/task/28167/stat : 28167 (java) S 28157 28159 25219 0 -1 4202560 207 0 0 0 178 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624079846184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28168] ppid=28157 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/28159/task/28168/stat : 28168 (java) S 28157 28159 25219 0 -1 4202560 178 0 0 0 184 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624078793640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28169] ppid=28157 vsize=11852648 CPUtime=1.74 cores=0,2,4,6
/proc/28159/task/28169/stat : 28169 (java) S 28157 28159 25219 0 -1 4202560 182 0 0 0 174 0 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624077741096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=72.02 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 121 0 0 0 7195 7 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) S 28157 28159 25219 0 -1 4202560 9132 0 0 0 131 2 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623908936248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) S 28157 28159 25219 0 -1 4202560 14366 0 0 0 147 3 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623907883704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28193] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28193/stat : 28193 (java) S 28157 28159 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338440888 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623903671976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 696.15
Current children cumulated vsize (KiB) 11852648

[startup+383.401 s]
/proc/loadavg: 4.01 3.82 3.74 4/216 28201
/proc/meminfo: memFree=25072036/32873648 swapFree=7388/7388
[pid=28159] ppid=28157 vsize=11852648 CPUtime=696.35 cores=0,2,4,6
/proc/28159/stat : 28159 (java) S 28157 28159 25219 0 -1 4202496 30660 0 1 0 69575 60 0 0 20 0 19 0 338440552 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140736146763088 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28159/statm: 2963162 174587 2295 9 0 2953849 0
[pid=28159/tid=28161] ppid=28157 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/28159/task/28161/stat : 28161 (java) R 28157 28159 25219 0 -1 4202560 3509 0 1 0 130 3 0 0 20 0 19 0 338440553 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624096045760 140623958036472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28162] ppid=28157 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/28159/task/28162/stat : 28162 (java) S 28157 28159 25219 0 -1 4202560 184 0 0 0 173 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624085108904 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28163] ppid=28157 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/28159/task/28163/stat : 28163 (java) S 28157 28159 25219 0 -1 4202560 178 0 0 0 184 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624084056360 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28164] ppid=28157 vsize=11852648 CPUtime=1.77 cores=0,2,4,6
/proc/28159/task/28164/stat : 28164 (java) S 28157 28159 25219 0 -1 4202560 188 0 0 0 175 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624083003816 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28165] ppid=28157 vsize=11852648 CPUtime=1.75 cores=0,2,4,6
/proc/28159/task/28165/stat : 28165 (java) S 28157 28159 25219 0 -1 4202560 211 0 0 0 173 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624081951272 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28166] ppid=28157 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/28159/task/28166/stat : 28166 (java) S 28157 28159 25219 0 -1 4202560 213 0 0 0 176 3 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624080898728 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28167] ppid=28157 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/28159/task/28167/stat : 28167 (java) S 28157 28159 25219 0 -1 4202560 207 0 0 0 178 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624079846184 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28168] ppid=28157 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/28159/task/28168/stat : 28168 (java) S 28157 28159 25219 0 -1 4202560 178 0 0 0 184 2 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624078793640 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28169] ppid=28157 vsize=11852648 CPUtime=1.74 cores=0,2,4,6
/proc/28159/task/28169/stat : 28169 (java) S 28157 28159 25219 0 -1 4202560 182 0 0 0 174 0 0 0 20 0 19 0 338440555 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140624077741096 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28159/tid=28170] ppid=28157 vsize=11852648 CPUtime=72.02 cores=0,2,4,6
/proc/28159/task/28170/stat : 28170 (java) S 28157 28159 25219 0 -1 4202560 121 0 0 0 7195 7 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623913146472 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28171] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28171/stat : 28171 (java) S 28157 28159 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623912092792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28172] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28172/stat : 28172 (java) S 28157 28159 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338440557 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623911040136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28173] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28173/stat : 28173 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623909988880 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28174] ppid=28157 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/28159/task/28174/stat : 28174 (java) S 28157 28159 25219 0 -1 4202560 9132 0 0 0 131 2 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623908936248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28159/tid=28175] ppid=28157 vsize=11852648 CPUtime=1.5 cores=0,2,4,6
/proc/28159/task/28175/stat : 28175 (java) S 28157 28159 25219 0 -1 4202560 14366 0 0 0 147 3 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623907883704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28176] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28176/stat : 28176 (java) S 28157 28159 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623906831352 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28159/tid=28177] ppid=28157 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/28159/task/28177/stat : 28177 (java) S 28157 28159 25219 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 19 0 338440560 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623905779016 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28159/tid=28193] ppid=28157 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28159/task/28193/stat : 28193 (java) S 28157 28159 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338440888 12137111552 174587 33554432000 1073741824 1073778376 140736146771952 140623903671976 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 696.35
Current children cumulated vsize (KiB) 11852648

Child status: 30

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.10003
#  lost CPU user time (s): 1.2
#  lost CPU system time (s): -0.1

Real time (s): 383.433
CPU time (s): 697.568
CPU user time (s): 696.885
CPU system time (s): 0.68288
CPU usage (%): 181.927
Max. virtual memory (cumulated for all children) (KiB): 11854504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 695.685
system time used= 0.78288
maximum resident set size= 698380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30671
page faults= 1
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24395
involuntary context switches= 31002

runsolver used 1.62475 second user time and 3.23351 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-03 13:32:41
IDJOB=3737581
IDBENCH=48259
IDSOLVER=2328
FILE ID=node148/3737581-1338723161
RUNJOBID= node148-1338713436-25235
PBS_JOBID= 14636734
Free space on /tmp= 71332 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737581-1338723161/watcher-3737581-1338723161 -o /tmp/evaluation-result-3737581-1338723161/solver-3737581-1338723161 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737581-1338723161.opb

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

MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364
RANDOM SEED=1732214279

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25824452 kB
Buffers:          596660 kB
Cached:          2874388 kB
SwapCached:          628 kB
Active:          4070244 kB
Inactive:        2064084 kB
Active(anon):    2653300 kB
Inactive(anon):    10660 kB
Active(file):    1416944 kB
Inactive(file):  2053424 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:       2674636 kB
Mapped:            19108 kB
Shmem:                36 kB
Slab:             766604 kB
SReclaimable:     210672 kB
SUnreclaim:       555932 kB
KernelStack:        1640 kB
PageTables:         9104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10459796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2623488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node148 at 2012-06-03 13:39:04