Trace number 3458083

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT3 455.739 453.166

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
MD5SUM3e0f07488272e35b9b674c3d7ccbd7e8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark4.16737
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

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.18-164.el5
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		12995394264
0.00/0.10	c Max memory 		13063553024
0.00/0.10	c Total memory 		13063553024
0.00/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458083-1307157925.opb
0.10/0.12	c reading problem ... 
0.25/0.23	c ... done. Wall clock time 0.109s.
0.25/0.23	c #vars     972
0.25/0.23	c #constraints  1486
0.25/0.23	c constraints type 
0.25/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.25/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
1.11/0.82	c cleaning 2499 clauses out of 5003 with flag 5003/5003
1.90/1.50	c cleaning 4251 clauses out of 8501 with flag 11000/11000
2.72/2.37	c cleaning 5626 clauses out of 11251 with flag 18001/18001
3.83/3.46	c cleaning 6810 clauses out of 13625 with flag 26001/26001
5.25/4.82	c cleaning 7907 clauses out of 15815 with flag 35001/35001
6.78/6.31	c cleaning 8951 clauses out of 17908 with flag 45001/45001
8.30/7.89	c cleaning 9477 clauses out of 18956 with flag 55000/55000
9.90/9.48	c cleaning 9740 clauses out of 19480 with flag 65001/65001
11.30/10.86	c cleaning 9870 clauses out of 19740 with flag 75001/75001
12.50/12.09	c cleaning 9931 clauses out of 19869 with flag 85001/85001
13.51/13.08	c cleaning 9968 clauses out of 19937 with flag 95000/95000
14.51/14.05	c cleaning 9974 clauses out of 19970 with flag 105001/105001
15.31/14.85	c cleaning 9995 clauses out of 19996 with flag 115001/115001
16.82/16.39	c cleaning 9998 clauses out of 20001 with flag 125001/125001
18.02/17.57	c cleaning 9995 clauses out of 20003 with flag 135001/135001
19.52/19.07	c cleaning 10001 clauses out of 20008 with flag 145001/145001
20.92/20.42	c cleaning 9996 clauses out of 20006 with flag 155000/155000
22.22/21.74	c cleaning 9997 clauses out of 20010 with flag 165000/165000
23.42/22.93	c cleaning 9999 clauses out of 20014 with flag 175001/175001
24.75/24.23	c cleaning 10003 clauses out of 20015 with flag 185001/185001
26.03/25.53	c cleaning 10002 clauses out of 20011 with flag 195000/195000
27.43/26.92	c cleaning 10000 clauses out of 20010 with flag 205001/205001
28.83/28.30	c cleaning 10000 clauses out of 20010 with flag 215001/215001
30.13/29.68	c cleaning 10003 clauses out of 20010 with flag 225001/225001
31.45/30.96	c cleaning 10000 clauses out of 20007 with flag 235001/235001
32.83/32.33	c cleaning 9999 clauses out of 20006 with flag 245000/245000
34.23/33.70	c cleaning 9999 clauses out of 20009 with flag 255002/255002
35.63/35.11	c cleaning 10001 clauses out of 20011 with flag 265003/265003
37.14/36.65	c cleaning 9997 clauses out of 20007 with flag 275000/275000
38.14/37.69	c cleaning 10002 clauses out of 20010 with flag 285000/285000
39.06/38.57	c cleaning 9998 clauses out of 20008 with flag 295000/295000
40.16/39.63	c cleaning 10006 clauses out of 20011 with flag 305001/305001
41.48/40.95	c cleaning 9999 clauses out of 20004 with flag 315000/315000
42.61/41.81	c cleaning 9991 clauses out of 20005 with flag 325000/325000
44.01/42.77	c cleaning 9993 clauses out of 20014 with flag 335000/335000
44.81/43.52	c cleaning 9998 clauses out of 20021 with flag 345000/345000
45.71/44.42	c cleaning 10001 clauses out of 20024 with flag 355001/355001
46.82/45.53	c cleaning 9999 clauses out of 20023 with flag 365001/365001
47.92/46.67	c cleaning 9998 clauses out of 20023 with flag 375000/375000
49.03/47.76	c cleaning 10006 clauses out of 20025 with flag 385000/385000
50.13/48.83	c cleaning 10004 clauses out of 20020 with flag 395001/395001
51.43/50.10	c cleaning 10003 clauses out of 20015 with flag 405000/405000
52.73/51.47	c cleaning 10003 clauses out of 20012 with flag 415000/415000
54.04/52.79	c cleaning 10004 clauses out of 20009 with flag 425000/425000
54.74/53.48	c cleaning 9993 clauses out of 20005 with flag 435000/435000
55.65/54.35	c cleaning 9999 clauses out of 20013 with flag 445001/445001
56.47/55.15	c cleaning 9999 clauses out of 20014 with flag 455001/455001
57.58/56.28	c cleaning 9998 clauses out of 20015 with flag 465001/465001
58.76/57.46	c cleaning 10001 clauses out of 20018 with flag 475002/475002
59.97/58.63	c cleaning 10003 clauses out of 20015 with flag 485000/485000
61.07/59.75	c cleaning 10003 clauses out of 20013 with flag 495001/495001
62.07/60.79	c cleaning 9995 clauses out of 20010 with flag 505001/505001
62.78/61.44	c cleaning 9998 clauses out of 20015 with flag 515001/515001
63.38/62.07	c cleaning 10006 clauses out of 20017 with flag 525001/525001
64.38/63.03	c cleaning 9990 clauses out of 20010 with flag 535000/535000
65.38/64.05	c cleaning 9994 clauses out of 20020 with flag 545000/545000
66.48/65.13	c cleaning 10003 clauses out of 20027 with flag 555001/555001
67.78/66.41	c cleaning 9999 clauses out of 20024 with flag 565001/565001
68.88/67.53	c cleaning 10004 clauses out of 20024 with flag 575000/575000
70.09/68.77	c cleaning 10000 clauses out of 20020 with flag 585000/585000
71.29/69.90	c cleaning 10007 clauses out of 20021 with flag 595001/595001
72.12/70.73	c cleaning 10007 clauses out of 20014 with flag 605001/605001
73.06/71.69	c cleaning 9996 clauses out of 20006 with flag 615001/615001
73.95/72.59	c cleaning 10000 clauses out of 20009 with flag 625000/625000
74.95/73.51	c cleaning 9997 clauses out of 20010 with flag 635001/635001
75.85/74.49	c cleaning 10001 clauses out of 20012 with flag 645000/645000
77.05/75.60	c cleaning 10000 clauses out of 20011 with flag 655000/655000
77.96/76.59	c cleaning 9996 clauses out of 20011 with flag 665000/665000
79.06/77.62	c cleaning 10003 clauses out of 20016 with flag 675001/675001
80.16/78.70	c cleaning 10001 clauses out of 20012 with flag 685000/685000
81.17/79.74	c cleaning 9999 clauses out of 20012 with flag 695001/695001
82.29/80.81	c cleaning 10003 clauses out of 20014 with flag 705002/705002
83.29/81.88	c cleaning 9998 clauses out of 20010 with flag 715001/715001
84.39/82.96	c cleaning 10000 clauses out of 20011 with flag 725000/725000
85.30/83.89	c cleaning 10002 clauses out of 20011 with flag 735000/735000
86.11/84.63	c cleaning 9995 clauses out of 20009 with flag 745000/745000
87.01/85.59	c cleaning 9999 clauses out of 20017 with flag 755003/755003
87.91/86.44	c cleaning 9996 clauses out of 20015 with flag 765000/765000
88.53/87.06	c cleaning 9988 clauses out of 20020 with flag 775001/775001
89.22/87.77	c cleaning 10011 clauses out of 20032 with flag 785001/785001
90.22/88.74	c cleaning 10000 clauses out of 20021 with flag 795001/795001
91.12/89.66	c cleaning 9997 clauses out of 20020 with flag 805000/805000
92.12/90.70	c cleaning 10002 clauses out of 20024 with flag 815001/815001
93.12/91.69	c cleaning 9996 clauses out of 20021 with flag 825000/825000
94.12/92.69	c cleaning 10002 clauses out of 20025 with flag 835000/835000
95.05/93.59	c cleaning 10000 clauses out of 20023 with flag 845000/845000
96.15/94.62	c cleaning 9999 clauses out of 20023 with flag 855000/855000
96.93/95.42	c cleaning 10004 clauses out of 20024 with flag 865001/865001
97.74/96.20	c cleaning 10001 clauses out of 20021 with flag 875002/875002
98.36/96.84	c cleaning 9993 clauses out of 20020 with flag 885002/885002
98.94/97.44	c cleaning 9996 clauses out of 20025 with flag 895000/895000
99.56/98.02	c cleaning 9996 clauses out of 20030 with flag 905001/905001
100.04/98.59	c cleaning 10001 clauses out of 20033 with flag 915000/915000
100.75/99.20	c cleaning 9996 clauses out of 20032 with flag 925000/925000
101.25/99.78	c cleaning 9999 clauses out of 20037 with flag 935001/935001
101.85/100.37	c cleaning 9998 clauses out of 20037 with flag 945000/945000
102.55/101.07	c cleaning 10002 clauses out of 20039 with flag 955000/955000
103.46/101.96	c cleaning 10009 clauses out of 20037 with flag 965000/965000
104.26/102.79	c cleaning 10007 clauses out of 20029 with flag 975001/975001
105.08/103.58	c cleaning 10001 clauses out of 20022 with flag 985001/985001
106.18/104.68	c cleaning 10006 clauses out of 20021 with flag 995001/995001
107.36/105.84	c cleaning 10003 clauses out of 20015 with flag 1005001/1005001
108.39/106.86	c cleaning 9997 clauses out of 20012 with flag 1015001/1015001
109.39/107.87	c cleaning 10000 clauses out of 20014 with flag 1025000/1025000
110.07/108.59	c cleaning 9987 clauses out of 20015 with flag 1035001/1035001
110.77/109.20	c cleaning 10003 clauses out of 20027 with flag 1045000/1045000
111.70/110.20	c cleaning 10002 clauses out of 20025 with flag 1055001/1055001
112.70/111.14	c cleaning 9999 clauses out of 20023 with flag 1065001/1065001
113.48/111.98	c cleaning 9990 clauses out of 20023 with flag 1075000/1075000
114.18/112.65	c cleaning 9992 clauses out of 20033 with flag 1085000/1085000
115.08/113.57	c cleaning 10009 clauses out of 20041 with flag 1095000/1095000
116.11/114.52	c cleaning 10008 clauses out of 20033 with flag 1105001/1105001
116.99/115.49	c cleaning 10002 clauses out of 20024 with flag 1115000/1115000
117.89/116.38	c cleaning 10004 clauses out of 20023 with flag 1125001/1125001
118.89/117.34	c cleaning 10000 clauses out of 20019 with flag 1135001/1135001
119.80/118.28	c cleaning 10000 clauses out of 20018 with flag 1145000/1145000
120.81/119.27	c cleaning 10005 clauses out of 20019 with flag 1155001/1155001
121.91/120.35	c cleaning 10000 clauses out of 20014 with flag 1165001/1165001
122.91/121.35	c cleaning 10001 clauses out of 20014 with flag 1175001/1175001
123.91/122.35	c cleaning 10002 clauses out of 20013 with flag 1185001/1185001
124.84/123.28	c cleaning 10000 clauses out of 20010 with flag 1195000/1195000
125.42/123.83	c SATISFIABLE
125.42/123.83	c OPTIMIZING...
125.42/123.83	c Got one! Elapsed wall clock time (in seconds):123.705
125.42/123.83	o 173
125.72/124.19	c cleaning 11626 clauses out of 23278 with flag 5001/1208268
126.22/124.61	c cleaning 8807 clauses out of 17653 with flag 11002/1214269
126.62/125.06	c cleaning 7901 clauses out of 15844 with flag 18000/1221267
127.15/125.60	c cleaning 7952 clauses out of 15943 with flag 26000/1229267
127.73/126.16	c cleaning 8476 clauses out of 16992 with flag 35001/1238268
128.43/126.84	c cleaning 9234 clauses out of 18515 with flag 45000/1248267
129.13/127.62	c cleaning 9625 clauses out of 19283 with flag 55002/1258269
130.03/128.40	c cleaning 9809 clauses out of 19657 with flag 65001/1268268
130.73/129.16	c cleaning 9902 clauses out of 19847 with flag 75000/1278267
131.55/129.98	c cleaning 9955 clauses out of 19945 with flag 85000/1288267
132.33/130.77	c cleaning 9980 clauses out of 19993 with flag 95003/1298270
133.13/131.53	c cleaning 10000 clauses out of 20010 with flag 105000/1308267
134.04/132.43	c cleaning 10005 clauses out of 20011 with flag 115001/1318268
134.94/133.36	c cleaning 9998 clauses out of 20005 with flag 125000/1328267
136.04/134.44	c cleaning 9998 clauses out of 20007 with flag 135000/1338267
137.14/135.52	c cleaning 10001 clauses out of 20009 with flag 145000/1348267
138.17/136.56	c cleaning 10003 clauses out of 20008 with flag 155000/1358267
138.94/137.34	c cleaning 9994 clauses out of 20005 with flag 165001/1368268
139.65/138.00	c cleaning 9998 clauses out of 20011 with flag 175001/1378268
140.27/138.64	c cleaning 9999 clauses out of 20013 with flag 185001/1388268
140.85/139.24	c cleaning 9986 clauses out of 20013 with flag 195000/1398267
141.56/139.92	c cleaning 9993 clauses out of 20027 with flag 205000/1408267
142.16/140.53	c cleaning 9991 clauses out of 20035 with flag 215001/1418268
142.96/141.30	c cleaning 9998 clauses out of 20044 with flag 225001/1428268
143.36/141.70	c Got one! Elapsed wall clock time (in seconds):141.576
143.36/141.70	o 17
143.68/142.05	c cleaning 10681 clauses out of 21385 with flag 5000/1439607
144.06/142.49	c cleaning 8335 clauses out of 16704 with flag 11000/1445607
144.56/142.93	c cleaning 7668 clauses out of 15369 with flag 18000/1452607
145.06/143.47	c cleaning 7838 clauses out of 15702 with flag 26001/1460608
145.67/144.10	c cleaning 8421 clauses out of 16866 with flag 35003/1469610
146.58/144.94	c cleaning 9210 clauses out of 18443 with flag 45001/1479608
147.38/145.70	c cleaning 9602 clauses out of 19232 with flag 55000/1489607
148.18/146.52	c cleaning 9806 clauses out of 19631 with flag 65001/1499608
148.78/147.18	c cleaning 9897 clauses out of 19824 with flag 75000/1509607
149.48/147.86	c cleaning 9951 clauses out of 19927 with flag 85000/1519607
150.20/148.53	c cleaning 9960 clauses out of 19976 with flag 95000/1529607
150.88/149.20	c cleaning 9995 clauses out of 20017 with flag 105001/1539608
151.58/149.91	c cleaning 9988 clauses out of 20022 with flag 115001/1549608
152.28/150.63	c cleaning 9997 clauses out of 20034 with flag 125001/1559608
152.99/151.39	c cleaning 9999 clauses out of 20038 with flag 135002/1569609
153.79/152.16	c cleaning 10000 clauses out of 20038 with flag 145001/1579608
154.71/153.09	c cleaning 10015 clauses out of 20037 with flag 155000/1589607
155.59/153.93	c cleaning 10011 clauses out of 20023 with flag 165001/1599608
156.59/154.96	c cleaning 10000 clauses out of 20012 with flag 175001/1609608
157.50/155.84	c cleaning 9999 clauses out of 20012 with flag 185001/1619608
158.40/156.70	c cleaning 10002 clauses out of 20012 with flag 195000/1629607
159.31/157.70	c cleaning 10001 clauses out of 20010 with flag 205000/1639607
160.01/158.33	c cleaning 9986 clauses out of 20009 with flag 215000/1649607
160.61/158.96	c cleaning 9977 clauses out of 20024 with flag 225001/1659608
161.34/159.69	c cleaning 9990 clauses out of 20046 with flag 235000/1669607
162.34/160.68	c cleaning 10015 clauses out of 20057 with flag 245001/1679608
163.33/161.60	c cleaning 10006 clauses out of 20041 with flag 255000/1689607
164.23/162.56	c cleaning 10006 clauses out of 20036 with flag 265001/1699608
165.13/163.42	c cleaning 10004 clauses out of 20030 with flag 275001/1709608
166.14/164.41	c cleaning 10005 clauses out of 20026 with flag 285002/1719609
167.04/165.36	c cleaning 9997 clauses out of 20019 with flag 295000/1729607
168.05/166.33	c cleaning 10000 clauses out of 20022 with flag 305000/1739607
168.97/167.26	c cleaning 10001 clauses out of 20023 with flag 315001/1749608
169.95/168.23	c cleaning 10001 clauses out of 20022 with flag 325001/1759608
170.85/169.16	c cleaning 9998 clauses out of 20020 with flag 335000/1769607
171.75/170.09	c cleaning 10001 clauses out of 20022 with flag 345000/1779607
172.75/171.06	c cleaning 10006 clauses out of 20022 with flag 355001/1789608
173.56/171.84	c cleaning 10000 clauses out of 20015 with flag 365000/1799607
174.48/172.77	c cleaning 10002 clauses out of 20016 with flag 375001/1809608
175.26/173.55	c cleaning 9987 clauses out of 20013 with flag 385000/1819607
175.96/174.27	c cleaning 9990 clauses out of 20026 with flag 395000/1829607
176.68/174.99	c cleaning 9999 clauses out of 20038 with flag 405002/1839609
177.47/175.76	c cleaning 10000 clauses out of 20037 with flag 415000/1849607
178.27/176.51	c cleaning 9993 clauses out of 20037 with flag 425000/1859607
178.99/177.25	c cleaning 10000 clauses out of 20044 with flag 435000/1869607
179.77/178.02	c cleaning 10003 clauses out of 20045 with flag 445001/1879608
180.47/178.79	c cleaning 10008 clauses out of 20042 with flag 455001/1889608
181.47/179.78	c cleaning 10009 clauses out of 20034 with flag 465001/1899608
182.47/180.72	c cleaning 10003 clauses out of 20024 with flag 475000/1909607
183.39/181.69	c cleaning 10007 clauses out of 20021 with flag 485000/1919607
184.50/182.79	c cleaning 9992 clauses out of 20014 with flag 495000/1929607
185.60/183.85	c cleaning 10001 clauses out of 20022 with flag 505000/1939607
186.60/184.87	c cleaning 10005 clauses out of 20021 with flag 515000/1949607
187.58/185.87	c cleaning 10000 clauses out of 20016 with flag 525000/1959607
188.68/186.98	c cleaning 9997 clauses out of 20016 with flag 535000/1969607
189.78/188.02	c cleaning 10000 clauses out of 20019 with flag 545000/1979607
190.89/189.10	c cleaning 9998 clauses out of 20019 with flag 555000/1989607
191.99/190.27	c cleaning 10001 clauses out of 20022 with flag 565001/1999608
193.21/191.48	c cleaning 10002 clauses out of 20020 with flag 575000/2009607
194.19/192.51	c cleaning 10000 clauses out of 20018 with flag 585000/2019607
194.89/193.17	c cleaning 9995 clauses out of 20018 with flag 595000/2029607
195.90/194.13	c cleaning 10000 clauses out of 20024 with flag 605001/2039608
197.00/195.21	c cleaning 9996 clauses out of 20023 with flag 615000/2049607
198.00/196.24	c cleaning 9998 clauses out of 20028 with flag 625001/2059608
198.92/197.19	c cleaning 10000 clauses out of 20029 with flag 635000/2069607
199.94/198.19	c cleaning 9998 clauses out of 20030 with flag 645001/2079608
200.94/199.20	c cleaning 9996 clauses out of 20031 with flag 655000/2089607
201.92/200.12	c cleaning 10003 clauses out of 20036 with flag 665001/2099608
202.82/201.04	c cleaning 10002 clauses out of 20033 with flag 675001/2109608
203.72/201.99	c cleaning 9999 clauses out of 20030 with flag 685000/2119607
204.72/202.90	c cleaning 9999 clauses out of 20031 with flag 695000/2129607
205.62/203.89	c cleaning 10001 clauses out of 20032 with flag 705000/2139607
206.73/204.91	c cleaning 10005 clauses out of 20032 with flag 715001/2149608
207.55/205.81	c cleaning 10009 clauses out of 20026 with flag 725001/2159608
208.53/206.81	c cleaning 10006 clauses out of 20017 with flag 735001/2169608
209.63/207.80	c cleaning 10001 clauses out of 20012 with flag 745002/2179609
210.63/208.83	c cleaning 10000 clauses out of 20009 with flag 755000/2189607
211.64/209.81	c cleaning 9999 clauses out of 20009 with flag 765000/2199607
212.64/210.88	c cleaning 9998 clauses out of 20010 with flag 775000/2209607
213.74/211.90	c cleaning 10002 clauses out of 20012 with flag 785000/2219607
214.74/212.90	c cleaning 9999 clauses out of 20011 with flag 795001/2229608
215.45/213.61	c cleaning 10000 clauses out of 20011 with flag 805000/2239607
216.25/214.51	c cleaning 9995 clauses out of 20012 with flag 815001/2249608
217.15/215.30	c cleaning 10001 clauses out of 20016 with flag 825000/2259607
217.95/216.19	c cleaning 10000 clauses out of 20015 with flag 835000/2269607
218.96/217.10	c cleaning 9998 clauses out of 20015 with flag 845000/2279607
219.78/217.98	c cleaning 9998 clauses out of 20017 with flag 855000/2289607
220.56/218.76	c cleaning 10002 clauses out of 20020 with flag 865001/2299608
221.36/219.54	c cleaning 9999 clauses out of 20017 with flag 875000/2309607
222.37/220.56	c cleaning 9999 clauses out of 20018 with flag 885000/2319607
223.37/221.53	c cleaning 10000 clauses out of 20019 with flag 895000/2329607
224.47/222.65	c cleaning 9999 clauses out of 20020 with flag 905001/2339608
225.37/223.54	c cleaning 9991 clauses out of 20021 with flag 915001/2349608
225.47/223.62	c Got one! Elapsed wall clock time (in seconds):223.493
225.47/223.62	o 5
225.78/223.98	c cleaning 7934 clauses out of 15894 with flag 5001/2355472
226.30/224.45	c cleaning 6969 clauses out of 13960 with flag 11001/2361472
226.78/224.93	c cleaning 6983 clauses out of 13990 with flag 18000/2368471
227.28/225.47	c cleaning 7492 clauses out of 15008 with flag 26001/2376472
227.99/226.10	c cleaning 8245 clauses out of 16515 with flag 35000/2385471
228.69/226.86	c cleaning 9122 clauses out of 18270 with flag 45000/2395471
229.49/227.63	c cleaning 9562 clauses out of 19148 with flag 55000/2405471
230.19/228.39	c cleaning 9782 clauses out of 19586 with flag 65000/2415471
230.99/229.19	c cleaning 9888 clauses out of 19804 with flag 75000/2425471
231.91/230.03	c cleaning 9946 clauses out of 19916 with flag 85000/2435471
232.69/230.84	c cleaning 9977 clauses out of 19971 with flag 95001/2445472
233.49/231.68	c cleaning 9988 clauses out of 19994 with flag 105001/2455472
234.30/232.42	c cleaning 9992 clauses out of 20006 with flag 115001/2465472
235.00/233.18	c cleaning 9995 clauses out of 20014 with flag 125001/2475472
235.80/233.95	c cleaning 9997 clauses out of 20018 with flag 135000/2485471
236.50/234.65	c cleaning 9999 clauses out of 20022 with flag 145001/2495472
237.32/235.45	c cleaning 10001 clauses out of 20023 with flag 155001/2505472
238.10/236.25	c cleaning 10001 clauses out of 20023 with flag 165002/2515473
238.90/237.00	c cleaning 9998 clauses out of 20021 with flag 175001/2525472
239.63/237.76	c cleaning 9998 clauses out of 20023 with flag 185001/2535472
240.51/238.65	c cleaning 9997 clauses out of 20024 with flag 195000/2545471
241.41/239.54	c cleaning 10000 clauses out of 20028 with flag 205001/2555472
242.31/240.41	c cleaning 10009 clauses out of 20028 with flag 215001/2565472
243.21/241.38	c cleaning 10001 clauses out of 20019 with flag 225001/2575472
244.31/242.49	c cleaning 10004 clauses out of 20017 with flag 235000/2585471
245.22/243.35	c cleaning 9993 clauses out of 20015 with flag 245002/2595473
246.03/244.16	c cleaning 10006 clauses out of 20020 with flag 255000/2605471
246.93/245.06	c cleaning 10003 clauses out of 20014 with flag 265000/2615471
248.03/246.11	c cleaning 10001 clauses out of 20012 with flag 275001/2625472
249.14/247.21	c cleaning 9999 clauses out of 20010 with flag 285000/2635471
249.74/247.87	c cleaning 10002 clauses out of 20011 with flag 295000/2645471
250.56/248.66	c cleaning 10001 clauses out of 20009 with flag 305000/2655471
251.25/249.35	c cleaning 9996 clauses out of 20009 with flag 315001/2665472
251.95/250.01	c cleaning 10000 clauses out of 20015 with flag 325003/2675474
252.16/250.20	c Got one! Elapsed wall clock time (in seconds):250.079
252.16/250.20	o 3
252.26/250.34	c cleaning 7544 clauses out of 15114 with flag 2001/2680573
252.66/250.71	c cleaning 6768 clauses out of 13569 with flag 8000/2686572
253.07/251.14	c cleaning 6876 clauses out of 13802 with flag 15001/2693573
253.67/251.70	c cleaning 7439 clauses out of 14926 with flag 23001/2701573
254.38/252.49	c cleaning 8228 clauses out of 16487 with flag 32001/2710573
255.28/253.38	c cleaning 9116 clauses out of 18258 with flag 42000/2720572
255.98/254.07	c cleaning 9562 clauses out of 19142 with flag 52000/2730572
256.78/254.80	c cleaning 9782 clauses out of 19580 with flag 62000/2740572
257.48/255.59	c cleaning 9891 clauses out of 19799 with flag 72001/2750573
258.41/256.44	c cleaning 9946 clauses out of 19907 with flag 82000/2760572
259.19/257.25	c cleaning 9968 clauses out of 19962 with flag 92001/2770573
260.09/258.18	c cleaning 9986 clauses out of 19993 with flag 102000/2780572
260.99/259.04	c cleaning 10001 clauses out of 20008 with flag 112001/2790573
262.09/260.12	c cleaning 10000 clauses out of 20006 with flag 122000/2800572
263.10/261.19	c cleaning 10001 clauses out of 20007 with flag 132001/2810573
263.82/261.90	c cleaning 9994 clauses out of 20006 with flag 142001/2820573
264.80/262.87	c cleaning 9994 clauses out of 20012 with flag 152001/2830573
265.40/263.48	c cleaning 9996 clauses out of 20018 with flag 162001/2840573
266.20/264.28	c cleaning 9995 clauses out of 20022 with flag 172001/2850573
267.00/265.03	c cleaning 9996 clauses out of 20026 with flag 182000/2860572
267.90/265.90	c cleaning 10003 clauses out of 20031 with flag 192001/2870573
268.72/266.76	c cleaning 10000 clauses out of 20027 with flag 202000/2880572
269.82/267.81	c cleaning 10009 clauses out of 20027 with flag 212000/2890572
270.62/268.69	c cleaning 9999 clauses out of 20019 with flag 222001/2900573
271.64/269.65	c cleaning 10004 clauses out of 20019 with flag 232000/2910572
272.52/270.55	c cleaning 10001 clauses out of 20015 with flag 242000/2920572
273.52/271.50	c cleaning 10000 clauses out of 20014 with flag 252000/2930572
274.43/272.43	c cleaning 10001 clauses out of 20014 with flag 262000/2940572
275.33/273.38	c cleaning 10002 clauses out of 20013 with flag 272000/2950572
276.23/274.28	c cleaning 10002 clauses out of 20012 with flag 282001/2960573
277.15/275.15	c cleaning 10000 clauses out of 20011 with flag 292002/2970574
278.03/276.04	c cleaning 9998 clauses out of 20009 with flag 302000/2980572
279.53/277.50	c cleaning 9999 clauses out of 20012 with flag 312001/2990573
280.84/278.88	c cleaning 9996 clauses out of 20012 with flag 322000/3000572
282.14/280.11	c cleaning 10000 clauses out of 20016 with flag 332000/3010572
283.34/281.38	c cleaning 9997 clauses out of 20016 with flag 342000/3020572
284.55/282.58	c cleaning 10003 clauses out of 20019 with flag 352000/3030572
285.35/283.34	c cleaning 9997 clauses out of 20016 with flag 362000/3040572
286.06/284.03	c cleaning 9999 clauses out of 20019 with flag 372000/3050572
286.86/284.86	c cleaning 10000 clauses out of 20025 with flag 382005/3060577
287.57/285.56	c cleaning 9998 clauses out of 20021 with flag 392001/3070573
288.27/286.29	c cleaning 10000 clauses out of 20024 with flag 402002/3080574
288.97/286.99	c cleaning 9998 clauses out of 20022 with flag 412000/3090572
289.67/287.68	c cleaning 10000 clauses out of 20024 with flag 422000/3100572
290.39/288.38	c cleaning 10001 clauses out of 20025 with flag 432001/3110573
291.07/289.08	c cleaning 9999 clauses out of 20023 with flag 442000/3120572
291.77/289.74	c cleaning 10001 clauses out of 20024 with flag 452000/3130572
292.49/290.49	c cleaning 10000 clauses out of 20023 with flag 462000/3140572
293.28/291.24	c cleaning 9999 clauses out of 20023 with flag 472000/3150572
293.98/291.92	c cleaning 9999 clauses out of 20024 with flag 482000/3160572
294.58/292.61	c cleaning 10001 clauses out of 20026 with flag 492001/3170573
295.39/293.35	c cleaning 10003 clauses out of 20024 with flag 502000/3180572
296.19/294.18	c cleaning 9997 clauses out of 20021 with flag 512000/3190572
297.09/295.00	c cleaning 10002 clauses out of 20024 with flag 522000/3200572
297.89/295.88	c cleaning 10001 clauses out of 20022 with flag 532000/3210572
298.80/296.77	c cleaning 9998 clauses out of 20022 with flag 542001/3220573
299.70/297.63	c cleaning 10002 clauses out of 20023 with flag 552000/3230572
300.50/298.50	c cleaning 10002 clauses out of 20021 with flag 562000/3240572
301.42/299.35	c cleaning 9999 clauses out of 20019 with flag 572000/3250572
302.10/300.08	c cleaning 10003 clauses out of 20020 with flag 582000/3260572
303.00/300.92	c cleaning 10000 clauses out of 20018 with flag 592001/3270573
304.01/301.94	c cleaning 9998 clauses out of 20018 with flag 602001/3280573
305.01/302.97	c cleaning 9997 clauses out of 20020 with flag 612001/3290573
306.12/304.04	c cleaning 10002 clauses out of 20022 with flag 622000/3300572
307.01/304.97	c cleaning 9998 clauses out of 20021 with flag 632001/3310573
308.22/306.16	c cleaning 10006 clauses out of 20022 with flag 642000/3320572
309.51/307.49	c cleaning 10004 clauses out of 20016 with flag 652000/3330572
310.72/308.69	c cleaning 10002 clauses out of 20012 with flag 662000/3340572
311.93/309.86	c cleaning 9998 clauses out of 20010 with flag 672000/3350572
313.13/311.06	c cleaning 9999 clauses out of 20012 with flag 682000/3360572
314.33/312.20	c cleaning 10001 clauses out of 20014 with flag 692001/3370573
315.43/313.33	c cleaning 9996 clauses out of 20012 with flag 702000/3380572
316.13/314.01	c cleaning 9995 clauses out of 20016 with flag 712000/3390572
316.86/314.78	c cleaning 10002 clauses out of 20021 with flag 722000/3400572
317.54/315.48	c cleaning 9998 clauses out of 20020 with flag 732001/3410573
318.34/316.30	c cleaning 9996 clauses out of 20021 with flag 742000/3420572
319.34/317.27	c cleaning 9999 clauses out of 20025 with flag 752000/3430572
320.17/318.09	c cleaning 10004 clauses out of 20027 with flag 762001/3440573
321.17/319.02	c cleaning 10001 clauses out of 20024 with flag 772002/3450574
321.85/319.77	c cleaning 9999 clauses out of 20022 with flag 782001/3460573
322.65/320.56	c cleaning 10002 clauses out of 20024 with flag 792002/3470574
323.47/321.34	c cleaning 9995 clauses out of 20020 with flag 802000/3480572
324.47/322.32	c cleaning 10002 clauses out of 20025 with flag 812000/3490572
325.15/323.08	c cleaning 10002 clauses out of 20023 with flag 822000/3500572
325.86/323.77	c cleaning 10004 clauses out of 20021 with flag 832000/3510572
326.56/324.40	c cleaning 10002 clauses out of 20018 with flag 842001/3520573
327.17/325.05	c cleaning 10000 clauses out of 20016 with flag 852001/3530573
327.89/325.74	c cleaning 9999 clauses out of 20016 with flag 862001/3540573
328.47/326.36	c cleaning 10001 clauses out of 20017 with flag 872001/3550573
329.07/326.98	c cleaning 9998 clauses out of 20015 with flag 882000/3560572
330.09/327.99	c cleaning 10000 clauses out of 20018 with flag 892001/3570573
331.09/329.00	c cleaning 10000 clauses out of 20018 with flag 902001/3580573
332.07/329.95	c cleaning 10001 clauses out of 20017 with flag 912000/3590572
333.18/331.02	c cleaning 10005 clauses out of 20016 with flag 922000/3600572
334.29/332.13	c cleaning 9997 clauses out of 20012 with flag 932001/3610573
335.09/332.93	c cleaning 9995 clauses out of 20015 with flag 942001/3620573
335.99/333.85	c cleaning 10005 clauses out of 20019 with flag 952000/3630572
337.00/334.81	c cleaning 10001 clauses out of 20014 with flag 962000/3640572
337.90/335.79	c cleaning 10004 clauses out of 20015 with flag 972002/3650574
338.92/336.74	c cleaning 10001 clauses out of 20009 with flag 982000/3660572
339.80/337.68	c cleaning 10001 clauses out of 20010 with flag 992002/3670574
340.91/338.76	c cleaning 9997 clauses out of 20007 with flag 1002000/3680572
342.01/339.80	c cleaning 10002 clauses out of 20010 with flag 1012000/3690572
343.01/340.87	c cleaning 9999 clauses out of 20009 with flag 1022001/3700573
344.11/341.95	c cleaning 9997 clauses out of 20009 with flag 1032000/3710572
345.22/343.07	c cleaning 10003 clauses out of 20015 with flag 1042003/3720575
346.02/343.83	c cleaning 9993 clauses out of 20009 with flag 1052000/3730572
346.64/344.49	c cleaning 9994 clauses out of 20017 with flag 1062001/3740573
347.43/345.21	c cleaning 10004 clauses out of 20023 with flag 1072001/3750573
348.03/345.89	c cleaning 10006 clauses out of 20020 with flag 1082002/3760574
348.75/346.57	c cleaning 9998 clauses out of 20014 with flag 1092002/3770574
349.53/347.31	c cleaning 9997 clauses out of 20014 with flag 1102000/3780572
350.33/348.14	c cleaning 10004 clauses out of 20017 with flag 1112000/3790572
351.35/349.14	c cleaning 10004 clauses out of 20014 with flag 1122001/3800573
352.35/350.19	c cleaning 10002 clauses out of 20009 with flag 1132000/3810572
353.45/351.24	c cleaning 9998 clauses out of 20008 with flag 1142001/3820573
354.55/352.33	c cleaning 10003 clauses out of 20009 with flag 1152001/3830573
355.65/353.42	c cleaning 10001 clauses out of 20005 with flag 1162000/3840572
356.35/354.10	c cleaning 9981 clauses out of 20003 with flag 1172000/3850572
357.26/355.00	c cleaning 9989 clauses out of 20023 with flag 1182001/3860573
358.06/355.84	c cleaning 10005 clauses out of 20034 with flag 1192001/3870573
358.87/356.65	c cleaning 10003 clauses out of 20028 with flag 1202000/3880572
359.79/357.52	c cleaning 9999 clauses out of 20025 with flag 1212000/3890572
360.67/358.40	c cleaning 10007 clauses out of 20027 with flag 1222001/3900573
361.37/359.11	c cleaning 10002 clauses out of 20019 with flag 1232000/3910572
362.17/359.96	c cleaning 10002 clauses out of 20018 with flag 1242001/3920573
362.97/360.80	c cleaning 10000 clauses out of 20017 with flag 1252002/3930574
363.89/361.63	c cleaning 9999 clauses out of 20016 with flag 1262001/3940573
364.79/362.57	c cleaning 10005 clauses out of 20018 with flag 1272002/3950574
365.70/363.46	c cleaning 9999 clauses out of 20011 with flag 1282000/3960572
366.70/364.48	c cleaning 9998 clauses out of 20013 with flag 1292001/3970573
367.62/365.37	c cleaning 10000 clauses out of 20014 with flag 1302000/3980572
368.50/366.28	c cleaning 10001 clauses out of 20014 with flag 1312000/3990572
369.50/367.20	c cleaning 9999 clauses out of 20014 with flag 1322001/4000573
370.40/368.11	c cleaning 10001 clauses out of 20014 with flag 1332000/4010572
371.30/369.05	c cleaning 10000 clauses out of 20014 with flag 1342001/4020573
372.10/369.88	c cleaning 10001 clauses out of 20013 with flag 1352000/4030572
373.03/370.76	c cleaning 10001 clauses out of 20014 with flag 1362002/4040574
373.91/371.69	c cleaning 10000 clauses out of 20011 with flag 1372000/4050572
374.71/372.47	c cleaning 10000 clauses out of 20011 with flag 1382000/4060572
375.61/373.32	c cleaning 9999 clauses out of 20011 with flag 1392000/4070572
376.43/374.16	c cleaning 9998 clauses out of 20012 with flag 1402000/4080572
377.22/374.98	c cleaning 9998 clauses out of 20014 with flag 1412000/4090572
378.02/375.77	c cleaning 9998 clauses out of 20016 with flag 1422000/4100572
379.02/376.72	c cleaning 10001 clauses out of 20019 with flag 1432001/4110573
379.92/377.65	c cleaning 10000 clauses out of 20017 with flag 1442000/4120572
380.93/378.66	c cleaning 10004 clauses out of 20019 with flag 1452002/4130574
381.63/379.39	c cleaning 9998 clauses out of 20014 with flag 1462001/4140573
382.53/380.27	c cleaning 9994 clauses out of 20015 with flag 1472000/4150572
383.45/381.11	c cleaning 10007 clauses out of 20021 with flag 1482000/4160572
384.25/381.97	c cleaning 10000 clauses out of 20014 with flag 1492000/4170572
385.27/382.93	c cleaning 10001 clauses out of 20015 with flag 1502001/4180573
386.16/383.82	c cleaning 9999 clauses out of 20014 with flag 1512001/4190573
387.06/384.77	c cleaning 10000 clauses out of 20014 with flag 1522000/4200572
388.06/385.75	c cleaning 10000 clauses out of 20014 with flag 1532000/4210572
388.96/386.61	c cleaning 10001 clauses out of 20015 with flag 1542001/4220573
389.96/387.65	c cleaning 10003 clauses out of 20015 with flag 1552002/4230574
390.96/388.68	c cleaning 9998 clauses out of 20011 with flag 1562001/4240573
391.96/389.60	c cleaning 10000 clauses out of 20013 with flag 1572001/4250573
392.77/390.50	c cleaning 9999 clauses out of 20013 with flag 1582001/4260573
393.78/391.40	c cleaning 9997 clauses out of 20013 with flag 1592000/4270572
394.78/392.48	c cleaning 10002 clauses out of 20017 with flag 1602001/4280573
395.68/393.36	c cleaning 10001 clauses out of 20015 with flag 1612001/4290573
396.48/394.17	c cleaning 9997 clauses out of 20014 with flag 1622001/4300573
397.49/395.14	c cleaning 10001 clauses out of 20017 with flag 1632001/4310573
398.51/396.16	c cleaning 10003 clauses out of 20015 with flag 1642000/4320572
399.69/397.33	c cleaning 10001 clauses out of 20013 with flag 1652001/4330573
400.79/398.40	c cleaning 10002 clauses out of 20011 with flag 1662000/4340572
401.71/399.37	c cleaning 9996 clauses out of 20010 with flag 1672001/4350573
402.69/400.30	c cleaning 9999 clauses out of 20013 with flag 1682000/4360572
403.39/401.02	c cleaning 10000 clauses out of 20014 with flag 1692000/4370572
404.29/401.94	c cleaning 10000 clauses out of 20015 with flag 1702001/4380573
405.12/402.76	c cleaning 10000 clauses out of 20014 with flag 1712000/4390572
406.00/403.70	c cleaning 9996 clauses out of 20014 with flag 1722000/4400572
406.90/404.53	c cleaning 10005 clauses out of 20020 with flag 1732002/4410574
407.71/405.35	c cleaning 9997 clauses out of 20014 with flag 1742001/4420573
408.70/406.32	c cleaning 10000 clauses out of 20016 with flag 1752000/4430572
409.61/407.22	c cleaning 9997 clauses out of 20016 with flag 1762000/4440572
410.41/408.07	c cleaning 10000 clauses out of 20019 with flag 1772000/4450572
411.21/408.82	c cleaning 9999 clauses out of 20019 with flag 1782000/4460572
412.01/409.65	c cleaning 10002 clauses out of 20022 with flag 1792002/4470574
412.73/410.41	c cleaning 9997 clauses out of 20018 with flag 1802000/4480572
413.71/411.31	c cleaning 10004 clauses out of 20023 with flag 1812002/4490574
414.61/412.21	c cleaning 10001 clauses out of 20018 with flag 1822001/4500573
415.42/413.06	c cleaning 10000 clauses out of 20017 with flag 1832001/4510573
416.32/413.93	c cleaning 10000 clauses out of 20017 with flag 1842001/4520573
417.14/414.72	c cleaning 9998 clauses out of 20016 with flag 1852000/4530572
417.82/415.46	c cleaning 9999 clauses out of 20019 with flag 1862001/4540573
418.63/416.22	c cleaning 9999 clauses out of 20020 with flag 1872001/4550573
419.45/417.05	c cleaning 10002 clauses out of 20021 with flag 1882001/4560573
420.33/418.00	c cleaning 10004 clauses out of 20019 with flag 1892001/4570573
421.35/418.90	c cleaning 10000 clauses out of 20015 with flag 1902001/4580573
422.15/419.74	c cleaning 9998 clauses out of 20015 with flag 1912001/4590573
423.06/420.60	c cleaning 9999 clauses out of 20016 with flag 1922000/4600572
423.89/421.45	c cleaning 10000 clauses out of 20017 with flag 1932000/4610572
424.77/422.38	c cleaning 10002 clauses out of 20018 with flag 1942001/4620573
425.47/423.08	c cleaning 10000 clauses out of 20015 with flag 1952000/4630572
426.17/423.74	c cleaning 9999 clauses out of 20016 with flag 1962001/4640573
426.97/424.57	c cleaning 10002 clauses out of 20017 with flag 1972001/4650573
427.88/425.45	c cleaning 10000 clauses out of 20015 with flag 1982001/4660573
428.88/426.49	c cleaning 10002 clauses out of 20014 with flag 1992000/4670572
430.08/427.63	c cleaning 9999 clauses out of 20012 with flag 2002000/4680572
431.08/428.66	c cleaning 9998 clauses out of 20014 with flag 2012001/4690573
432.09/429.69	c cleaning 10000 clauses out of 20016 with flag 2022001/4700573
433.09/430.67	c cleaning 10003 clauses out of 20016 with flag 2032001/4710573
434.09/431.61	c cleaning 9998 clauses out of 20013 with flag 2042001/4720573
435.10/432.69	c cleaning 10002 clauses out of 20014 with flag 2052000/4730572
436.02/433.53	c cleaning 10001 clauses out of 20012 with flag 2062000/4740572
436.80/434.38	c cleaning 9997 clauses out of 20011 with flag 2072000/4750572
437.80/435.37	c cleaning 9998 clauses out of 20015 with flag 2082001/4760573
438.71/436.22	c cleaning 10004 clauses out of 20017 with flag 2092001/4770573
439.61/437.16	c cleaning 10000 clauses out of 20013 with flag 2102001/4780573
440.51/438.08	c cleaning 10002 clauses out of 20013 with flag 2112001/4790573
441.43/438.98	c cleaning 10000 clauses out of 20010 with flag 2122000/4800572
442.53/440.10	c cleaning 9999 clauses out of 20009 with flag 2132000/4810572
443.64/441.14	c cleaning 10002 clauses out of 20010 with flag 2142000/4820572
444.52/442.02	c cleaning 10000 clauses out of 20008 with flag 2152000/4830572
445.43/443.00	c cleaning 9997 clauses out of 20008 with flag 2162000/4840572
446.43/443.91	c cleaning 10002 clauses out of 20011 with flag 2172000/4850572
447.43/444.91	c cleaning 10002 clauses out of 20009 with flag 2182000/4860572
448.43/445.91	c cleaning 10001 clauses out of 20008 with flag 2192001/4870573
449.43/446.93	c cleaning 10000 clauses out of 20006 with flag 2202000/4880572
450.43/447.91	c cleaning 10003 clauses out of 20007 with flag 2212001/4890573
451.36/448.88	c cleaning 9998 clauses out of 20004 with flag 2222001/4900573
452.34/449.90	c cleaning 9997 clauses out of 20004 with flag 2232000/4910572
453.45/450.90	c cleaning 10003 clauses out of 20007 with flag 2242000/4920572
454.35/451.83	c cleaning 10001 clauses out of 20005 with flag 2252001/4930573
455.36/452.87	c cleaning 9999 clauses out of 20003 with flag 2262001/4940573
455.66/453.15	c starts		: 257
455.66/453.15	c conflicts		: 4943821
455.66/453.15	c decisions		: 5044895
455.66/453.15	c propagations		: 111857866
455.66/453.15	c inspects		: 3174485467
455.66/453.15	c shortcuts		: 0
455.66/453.15	c learnt literals	: 24
455.66/453.15	c learnt binary clauses	: 107
455.66/453.15	c learnt ternary clauses	: 395
455.66/453.15	c learnt constraints	: 4943796
455.66/453.15	c ignored constraints	: 0
455.66/453.15	c root simplifications	: 0
455.66/453.15	c removed literals (reason simplification)	: 204591853
455.66/453.15	c reason swapping (by a shorter reason)	: 0
455.66/453.15	c Calls to reduceDB	: 500
455.66/453.15	c number of reductions to clauses (during analyze)	: 0
455.66/453.15	c number of learned constraints concerned by reduction	: 0
455.66/453.15	c number of learning phase by resolution	: 0
455.66/453.15	c number of learning phase by cutting planes	: 0
455.66/453.15	c speed (assignments/second)	: 551151.5769660956
455.66/453.15	c non guided choices	14934
455.66/453.15	c learnt constraints type 
455.66/453.15	c constraints type 
455.66/453.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
455.66/453.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
455.66/453.15	s OPTIMUM FOUND
455.66/453.15	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 x15 -x16 x17 -x18 x19 x20 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 x74 -x75 x76 -x77 x78 -x79 -x80 -x81 x82 -x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 
455.66/453.15	c objective function=3
455.66/453.15	c Total wall clock time (in seconds): 453.034

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458083-1307157925/watcher-3458083-1307157925 -o /tmp/evaluation-result-3458083-1307157925/solver-3458083-1307157925 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458083-1307157925.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.39 2.12 2.03 2/568 27691
/proc/meminfo: memFree=21100388/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 5398 0 1 0 0 0 0 0 25 0 2 0 827392869 13850947584 5101 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3381579 5114 917 9 0 3372735 0
[pid=27691/tid=27692] ppid=27689 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 4349 0 1 0 0 0 0 0 25 0 2 0 827392870 13850947584 5165 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.109751 s]
/proc/loadavg: 2.39 2.12 2.03 2/568 27691
/proc/meminfo: memFree=21100388/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13622036 CPUtime=0.1 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 15507 0 1 0 8 2 0 0 25 0 18 0 827392869 13948964864 15169 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3405509 15169 2092 9 0 3396243 0
[pid=27691/tid=27692] ppid=27689 vsize=13622036 CPUtime=0.08 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 13567 0 1 0 7 1 0 0 18 0 18 0 827392870 13948964864 15169 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622036

[startup+0.211272 s]
/proc/loadavg: 2.39 2.12 2.03 2/568 27691
/proc/meminfo: memFree=21100388/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13622228 CPUtime=0.25 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 16470 0 1 0 23 2 0 0 25 0 18 0 827392869 13949161472 16087 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3405557 16087 2171 9 0 3396291 0
[pid=27691/tid=27692] ppid=27689 vsize=13622228 CPUtime=0.19 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 14262 0 1 0 17 2 0 0 18 0 18 0 827392870 13949161472 16088 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13622228

[startup+0.328831 s]
/proc/loadavg: 2.39 2.12 2.03 2/568 27691
/proc/meminfo: memFree=21100388/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13625272 CPUtime=0.53 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 17813 0 1 0 51 2 0 0 25 0 19 0 827392869 13952278528 17149 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3406318 17149 2214 9 0 3397052 0
[pid=27691/tid=27692] ppid=27689 vsize=13625272 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 14524 0 1 0 29 2 0 0 19 0 19 0 827392870 13952278528 17149 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 47867405275989 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625272

[startup+0.700672 s]
/proc/loadavg: 2.39 2.12 2.03 2/568 27691
/proc/meminfo: memFree=21100388/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13625272 CPUtime=1 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 18422 0 1 0 98 2 0 0 25 0 19 0 827392869 13952278528 17709 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3406318 17709 2216 9 0 3397052 0
[pid=27691/tid=27692] ppid=27689 vsize=13625272 CPUtime=0.68 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15011 0 1 0 66 2 0 0 19 0 19 0 827392870 13952278528 17709 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505669202 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13625272

[startup+1.50151 s]
/proc/loadavg: 2.39 2.12 2.03 3/587 27710
/proc/meminfo: memFree=21031400/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13625272 CPUtime=1.9 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 19851 0 1 0 188 2 0 0 25 0 19 0 827392869 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3406318 18840 2248 9 0 3397052 0
[pid=27691/tid=27692] ppid=27689 vsize=13625272 CPUtime=1.46 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15107 0 1 0 144 2 0 0 20 0 19 0 827392870 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505707031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27691/tid=27694] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 146 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 96 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 258 0 0 0 0 0 0 0 18 0 19 0 827392872 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13625272 CPUtime=0.01 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 497 0 0 0 1 0 0 0 18 0 19 0 827392873 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13625272 CPUtime=0.21 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 1209 0 0 0 21 0 0 0 15 0 19 0 827392876 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13625272 CPUtime=0.2 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 1384 0 0 0 20 0 0 0 15 0 19 0 827392877 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27708] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27708/stat : 27708 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392877 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27709] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27709/stat : 27709 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392877 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27710] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27710/stat : 27710 (java) S 27689 27691 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827392893 13952278528 18840 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13625272

[startup+3.10124 s]
/proc/loadavg: 2.39 2.12 2.03 3/587 27711
/proc/meminfo: memFree=21026624/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13625272 CPUtime=3.51 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 21187 0 1 0 349 2 0 0 25 0 19 0 827392869 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3406318 20174 2248 9 0 3397052 0
[pid=27691/tid=27692] ppid=27689 vsize=13625272 CPUtime=3.03 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15108 0 1 0 301 2 0 0 25 0 19 0 827392870 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505595904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27691/tid=27694] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 310 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 827392872 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13625272 CPUtime=0.04 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 1231 0 0 0 4 0 0 0 15 0 19 0 827392873 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13625272 CPUtime=0.21 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 1209 0 0 0 21 0 0 0 15 0 19 0 827392876 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13625272 CPUtime=0.21 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 1387 0 0 0 21 0 0 0 15 0 19 0 827392877 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27708] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27708/stat : 27708 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392877 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27709] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27709/stat : 27709 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392877 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27710] ppid=27689 vsize=13625272 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27710/stat : 27710 (java) S 27689 27691 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827392893 13952278528 20174 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 13625272

[startup+6.3006 s]
/proc/loadavg: 2.36 2.12 2.03 3/587 27711
/proc/meminfo: memFree=21022292/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13624644 CPUtime=6.78 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 21822 0 1 0 675 3 0 0 25 0 19 0 827392869 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3406161 20401 2249 9 0 3396895 0
[pid=27691/tid=27692] ppid=27689 vsize=13624644 CPUtime=6.19 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15109 0 1 0 617 2 0 0 25 0 19 0 827392870 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505764196 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27691/tid=27694] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 159 0 0 0 0 0 0 0 16 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 298 0 0 0 0 0 0 0 16 0 19 0 827392872 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13624644 CPUtime=0.07 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 1403 0 0 0 7 0 0 0 15 0 19 0 827392873 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13624644 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13624644 CPUtime=0.21 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 1209 0 0 0 21 0 0 0 15 0 19 0 827392876 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13624644 CPUtime=0.26 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 1785 0 0 0 26 0 0 0 15 0 19 0 827392877 13951635456 20401 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0

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

/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 400 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13634624 CPUtime=0.28 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 318 0 0 0 28 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 79 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13634624 CPUtime=0.29 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 44 0 0 0 29 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13634624 CPUtime=0.34 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 87 0 0 0 34 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 207 0 0 0 32 0 0 0 16 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 257 0 0 0 32 0 0 0 16 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 354 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13634624 CPUtime=13.5 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 8009 0 0 0 1341 9 0 0 16 0 19 0 827392873 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13634624 CPUtime=1.03 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 12333 0 0 0 102 1 0 0 15 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 2477 0 0 0 31 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27708] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27708/stat : 27708 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27709] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27709/stat : 27709 (java) S 27689 27691 24519 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27710] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27710/stat : 27710 (java) S 27689 27691 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827392893 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 454.56
Current children cumulated vsize (KiB) 13634624

[startup+452.801 s]
/proc/loadavg: 2.16 2.11 2.04 3/587 27860
/proc/meminfo: memFree=20942372/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13634624 CPUtime=455.36 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 41354 0 1 0 45519 17 0 0 25 0 19 0 827392869 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3408656 29987 2250 9 0 3399390 0
[pid=27691/tid=27692] ppid=27689 vsize=13634624 CPUtime=437.91 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15615 0 1 0 43788 3 0 0 25 0 19 0 827392870 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505596950 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27691/tid=27694] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 400 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13634624 CPUtime=0.28 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 318 0 0 0 28 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 79 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13634624 CPUtime=0.29 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 44 0 0 0 29 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13634624 CPUtime=0.34 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 87 0 0 0 34 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 207 0 0 0 32 0 0 0 16 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 257 0 0 0 32 0 0 0 16 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 354 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13634624 CPUtime=13.5 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 8009 0 0 0 1341 9 0 0 16 0 19 0 827392873 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13634624 CPUtime=1.03 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 12333 0 0 0 102 1 0 0 15 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 2477 0 0 0 31 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27708] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27708/stat : 27708 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27709] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27709/stat : 27709 (java) S 27689 27691 24519 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27710] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27710/stat : 27710 (java) S 27689 27691 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827392893 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 455.36
Current children cumulated vsize (KiB) 13634624

[startup+453.001 s]
/proc/loadavg: 2.16 2.11 2.04 3/587 27860
/proc/meminfo: memFree=20942372/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13634624 CPUtime=455.56 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 41355 0 1 0 45539 17 0 0 25 0 19 0 827392869 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3408656 29987 2250 9 0 3399390 0
[pid=27691/tid=27692] ppid=27689 vsize=13634624 CPUtime=438.08 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15616 0 1 0 43805 3 0 0 25 0 19 0 827392870 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505551070 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27691/tid=27694] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 400 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13634624 CPUtime=0.29 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 318 0 0 0 29 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 79 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13634624 CPUtime=0.29 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 44 0 0 0 29 0 0 0 16 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13634624 CPUtime=0.35 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 87 0 0 0 35 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 207 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 257 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 354 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13634624 CPUtime=13.53 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 8009 0 0 0 1344 9 0 0 16 0 19 0 827392873 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13634624 CPUtime=1.03 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 12333 0 0 0 102 1 0 0 15 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 2477 0 0 0 31 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27708] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27708/stat : 27708 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27709] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27709/stat : 27709 (java) S 27689 27691 24519 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27710] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27710/stat : 27710 (java) S 27689 27691 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827392893 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 455.56
Current children cumulated vsize (KiB) 13634624

[startup+453.101 s]
/proc/loadavg: 2.16 2.11 2.04 3/587 27860
/proc/meminfo: memFree=20942372/32951124 swapFree=53733252/67111528
[pid=27691] ppid=27689 vsize=13634624 CPUtime=455.66 cores=0,2,4,6
/proc/27691/stat : 27691 (java) S 27689 27691 24519 0 -1 4202496 41355 0 1 0 45549 17 0 0 25 0 19 0 827392869 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27691/statm: 3408656 29987 2250 9 0 3399390 0
[pid=27691/tid=27692] ppid=27689 vsize=13634624 CPUtime=438.18 cores=0,2,4,6
/proc/27691/task/27692/stat : 27692 (java) R 27689 27691 24519 0 -1 4202560 15616 0 1 0 43815 3 0 0 25 0 19 0 827392870 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 46912505728512 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27691/tid=27694] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27694/stat : 27694 (java) S 27689 27691 24519 0 -1 4202560 400 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27695] ppid=27689 vsize=13634624 CPUtime=0.29 cores=0,2,4,6
/proc/27691/task/27695/stat : 27695 (java) S 27689 27691 24519 0 -1 4202560 318 0 0 0 29 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27696] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27696/stat : 27696 (java) S 27689 27691 24519 0 -1 4202560 79 0 0 0 31 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27697] ppid=27689 vsize=13634624 CPUtime=0.29 cores=0,2,4,6
/proc/27691/task/27697/stat : 27697 (java) S 27689 27691 24519 0 -1 4202560 44 0 0 0 29 0 0 0 16 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27698] ppid=27689 vsize=13634624 CPUtime=0.35 cores=0,2,4,6
/proc/27691/task/27698/stat : 27698 (java) S 27689 27691 24519 0 -1 4202560 87 0 0 0 35 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27699] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27699/stat : 27699 (java) S 27689 27691 24519 0 -1 4202560 207 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27700] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27700/stat : 27700 (java) S 27689 27691 24519 0 -1 4202560 257 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27701] ppid=27689 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/27691/task/27701/stat : 27701 (java) S 27689 27691 24519 0 -1 4202560 354 0 0 0 32 0 0 0 15 0 19 0 827392872 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27702] ppid=27689 vsize=13634624 CPUtime=13.53 cores=0,2,4,6
/proc/27691/task/27702/stat : 27702 (java) S 27689 27691 24519 0 -1 4202560 8009 0 0 0 1344 9 0 0 16 0 19 0 827392873 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 0 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
[pid=27691/tid=27703] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27703/stat : 27703 (java) S 27689 27691 24519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27704] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27704/stat : 27704 (java) S 27689 27691 24519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827392874 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27705] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27705/stat : 27705 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652683185 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27706] ppid=27689 vsize=13634624 CPUtime=1.03 cores=0,2,4,6
/proc/27691/task/27706/stat : 27706 (java) S 27689 27691 24519 0 -1 4202560 12333 0 0 0 102 1 0 0 15 0 19 0 827392876 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 0 0 0 0
[pid=27691/tid=27707] ppid=27689 vsize=13634624 CPUtime=0.31 cores=0,2,4,6
/proc/27691/task/27707/stat : 27707 (java) S 27689 27691 24519 0 -1 4202560 2477 0 0 0 31 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27708] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27708/stat : 27708 (java) S 27689 27691 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652675481 0 4 0 16800975 18446604453834704896 0 0 -1 6 0 0 0
[pid=27691/tid=27709] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27709/stat : 27709 (java) S 27689 27691 24519 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 827392877 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 4 0 0 0
[pid=27691/tid=27710] ppid=27689 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/27691/task/27710/stat : 27710 (java) S 27689 27691 24519 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827392893 13961854976 29987 33554432000 1073741824 1073778376 140734385551664 18446744073709551615 253652676096 0 4 0 16800975 18446604453834704896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 455.66
Current children cumulated vsize (KiB) 13634624

Child status: 30
Real time (s): 453.166
CPU time (s): 455.739
CPU user time (s): 455.555
CPU system time (s): 0.183972
CPU usage (%): 100.568
Max. virtual memory (cumulated for all children) (KiB): 13648496

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

runsolver used 2.69559 second user time and 5.61914 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 05:25:25
IDJOB=3458083
IDBENCH=47903
IDSOLVER=1952
FILE ID=node106/3458083-1307157925
RUNJOBID= node106-1307156122-27405
PBS_JOBID= 13508810
Free space on /tmp= 73760 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=293-P1=97-P2=163-P3=149-P4=163-P5=457-P6=521-P7=173-P8=431-P9=419-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458083-1307157925/watcher-3458083-1307157925 -o /tmp/evaluation-result-3458083-1307157925/solver-3458083-1307157925 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458083-1307157925.opb

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

MD5SUM BENCH= 3e0f07488272e35b9b674c3d7ccbd7e8
RANDOM SEED=2056019303

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21100528 kB
Buffers:        396900 kB
Cached:        5982596 kB
SwapCached:      22744 kB
Active:        5957036 kB
Inactive:      5552404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21100528 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            1096 kB
Writeback:           0 kB
AnonPages:     5125820 kB
Mapped:          34444 kB
Slab:           192436 kB
PageTables:      78316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 180963184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node106 at 2011-06-04 05:32:58