Trace number 3458131

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 591.876 588.855

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb
MD5SUMc7fd9e5ff885ee342a28d015ab19e648
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 benchmark0.230964
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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.18-164.el5
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		12995394264
0.03/0.09	c Max memory 		13063553024
0.03/0.09	c Total memory 		13063553024
0.03/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458131-1307158164.opb
0.10/0.11	c reading problem ... 
0.26/0.21	c ... done. Wall clock time 0.1s.
0.26/0.21	c #vars     972
0.26/0.21	c #constraints  1486
0.26/0.21	c constraints type 
0.26/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.26/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
1.04/0.78	c cleaning 2500 clauses out of 5000 with flag 5000/5000
1.70/1.36	c cleaning 4246 clauses out of 8501 with flag 11001/11001
2.40/2.02	c cleaning 5622 clauses out of 11254 with flag 18000/18000
3.43/3.02	c cleaning 6811 clauses out of 13632 with flag 26000/26000
4.56/4.16	c cleaning 7905 clauses out of 15821 with flag 35000/35000
5.88/5.51	c cleaning 8957 clauses out of 17917 with flag 45001/45001
7.09/6.69	c cleaning 9473 clauses out of 18959 with flag 55000/55000
8.19/7.72	c cleaning 9735 clauses out of 19487 with flag 65001/65001
8.77/8.39	c cleaning 9873 clauses out of 19752 with flag 75001/75001
9.68/9.21	c cleaning 9928 clauses out of 19878 with flag 85000/85000
10.40/9.95	c cleaning 9972 clauses out of 19951 with flag 95001/95001
11.28/10.91	c cleaning 9986 clauses out of 19978 with flag 105000/105000
12.38/12.00	c cleaning 9993 clauses out of 19992 with flag 115000/115000
13.70/13.28	c cleaning 9997 clauses out of 19999 with flag 125000/125000
14.88/14.42	c cleaning 10000 clauses out of 20002 with flag 135000/135000
15.68/15.30	c cleaning 9987 clauses out of 20002 with flag 145000/145000
16.39/15.96	c cleaning 10004 clauses out of 20015 with flag 155000/155000
17.20/16.78	c cleaning 9996 clauses out of 20011 with flag 165000/165000
18.75/17.96	c cleaning 10006 clauses out of 20015 with flag 175000/175000
19.92/18.73	c cleaning 9998 clauses out of 20010 with flag 185001/185001
21.04/19.85	c cleaning 9996 clauses out of 20011 with flag 195001/195001
21.64/20.48	c cleaning 10000 clauses out of 20014 with flag 205000/205000
22.54/21.31	c cleaning 10002 clauses out of 20015 with flag 215001/215001
23.55/22.30	c cleaning 10001 clauses out of 20013 with flag 225001/225001
24.55/23.30	c cleaning 9999 clauses out of 20012 with flag 235001/235001
25.47/24.25	c cleaning 10002 clauses out of 20013 with flag 245001/245001
26.36/25.20	c cleaning 9999 clauses out of 20011 with flag 255001/255001
27.28/26.07	c cleaning 10003 clauses out of 20012 with flag 265001/265001
28.58/27.31	c cleaning 10000 clauses out of 20008 with flag 275000/275000
29.69/28.43	c cleaning 10000 clauses out of 20010 with flag 285002/285002
30.90/29.68	c cleaning 10001 clauses out of 20009 with flag 295001/295001
31.69/30.48	c cleaning 9998 clauses out of 20007 with flag 305000/305000
32.40/31.18	c cleaning 9996 clauses out of 20010 with flag 315001/315001
33.30/32.03	c cleaning 9993 clauses out of 20014 with flag 325001/325001
34.32/33.04	c cleaning 9993 clauses out of 20020 with flag 335000/335000
35.50/34.20	c cleaning 9997 clauses out of 20027 with flag 345000/345000
36.61/35.33	c cleaning 10010 clauses out of 20030 with flag 355000/355000
37.81/36.50	c cleaning 10006 clauses out of 20021 with flag 365001/365001
39.01/37.71	c cleaning 10002 clauses out of 20015 with flag 375001/375001
40.11/38.88	c cleaning 10003 clauses out of 20013 with flag 385001/385001
40.83/39.59	c cleaning 9993 clauses out of 20009 with flag 395000/395000
41.83/40.60	c cleaning 10002 clauses out of 20016 with flag 405000/405000
43.04/41.77	c cleaning 10002 clauses out of 20015 with flag 415001/415001
44.33/43.08	c cleaning 10003 clauses out of 20013 with flag 425001/425001
45.53/44.29	c cleaning 9998 clauses out of 20009 with flag 435000/435000
46.83/45.54	c cleaning 10002 clauses out of 20012 with flag 445001/445001
48.14/46.82	c cleaning 9999 clauses out of 20010 with flag 455001/455001
49.34/48.03	c cleaning 10001 clauses out of 20012 with flag 465002/465002
50.54/49.24	c cleaning 10002 clauses out of 20009 with flag 475000/475000
51.55/50.21	c cleaning 10001 clauses out of 20007 with flag 485000/485000
52.35/51.00	c cleaning 9976 clauses out of 20007 with flag 495001/495001
53.15/51.90	c cleaning 9987 clauses out of 20030 with flag 505000/505000
53.95/52.62	c cleaning 9993 clauses out of 20043 with flag 515000/515000
54.65/53.37	c cleaning 9993 clauses out of 20050 with flag 525000/525000
55.56/54.21	c cleaning 10020 clauses out of 20062 with flag 535005/535005
56.46/55.12	c cleaning 10002 clauses out of 20038 with flag 545001/545001
57.56/56.26	c cleaning 10005 clauses out of 20037 with flag 555002/555002
58.58/57.28	c cleaning 9999 clauses out of 20031 with flag 565001/565001
59.68/58.39	c cleaning 9999 clauses out of 20031 with flag 575000/575000
60.78/59.48	c cleaning 9997 clauses out of 20032 with flag 585000/585000
61.97/60.61	c cleaning 10016 clauses out of 20037 with flag 595002/595002
63.17/61.80	c cleaning 10006 clauses out of 20020 with flag 605001/605001
64.17/62.88	c cleaning 10001 clauses out of 20014 with flag 615001/615001
65.37/64.05	c cleaning 10002 clauses out of 20013 with flag 625001/625001
66.57/65.22	c cleaning 10004 clauses out of 20011 with flag 635001/635001
67.67/66.39	c cleaning 10003 clauses out of 20006 with flag 645000/645000
68.97/67.61	c cleaning 9998 clauses out of 20003 with flag 655000/655000
69.98/68.67	c cleaning 9998 clauses out of 20005 with flag 665000/665000
71.08/69.75	c cleaning 10000 clauses out of 20007 with flag 675000/675000
72.28/70.90	c cleaning 10000 clauses out of 20008 with flag 685001/685001
73.18/71.80	c cleaning 9990 clauses out of 20006 with flag 695000/695000
73.92/72.52	c cleaning 9999 clauses out of 20017 with flag 705001/705001
74.71/73.36	c cleaning 9996 clauses out of 20018 with flag 715001/715001
75.52/74.12	c cleaning 10001 clauses out of 20022 with flag 725001/725001
76.24/74.82	c cleaning 10006 clauses out of 20020 with flag 735000/735000
77.02/75.65	c cleaning 9998 clauses out of 20015 with flag 745001/745001
78.02/76.64	c cleaning 9999 clauses out of 20016 with flag 755000/755000
78.83/77.48	c cleaning 9996 clauses out of 20018 with flag 765001/765001
79.44/78.11	c cleaning 9997 clauses out of 20021 with flag 775000/775000
80.13/78.70	c cleaning 9994 clauses out of 20024 with flag 785000/785000
80.73/79.32	c cleaning 9999 clauses out of 20030 with flag 795000/795000
81.33/79.96	c cleaning 10003 clauses out of 20032 with flag 805001/805001
82.33/80.95	c cleaning 10002 clauses out of 20029 with flag 815001/815001
83.44/82.07	c cleaning 10000 clauses out of 20026 with flag 825000/825000
84.54/83.14	c cleaning 10002 clauses out of 20027 with flag 835001/835001
85.64/84.24	c cleaning 9999 clauses out of 20024 with flag 845000/845000
86.84/85.45	c cleaning 10001 clauses out of 20025 with flag 855000/855000
87.94/86.52	c cleaning 10002 clauses out of 20025 with flag 865001/865001
89.15/87.76	c cleaning 10001 clauses out of 20022 with flag 875000/875000
90.46/89.02	c cleaning 10001 clauses out of 20021 with flag 885000/885000
91.57/90.17	c cleaning 10000 clauses out of 20021 with flag 895001/895001
92.68/91.25	c cleaning 10007 clauses out of 20020 with flag 905000/905000
93.78/92.40	c cleaning 10001 clauses out of 20013 with flag 915000/915000
94.88/93.46	c cleaning 10002 clauses out of 20013 with flag 925001/925001
95.99/94.54	c cleaning 10001 clauses out of 20011 with flag 935001/935001
96.78/95.33	c cleaning 9995 clauses out of 20010 with flag 945001/945001
97.68/96.26	c cleaning 9995 clauses out of 20014 with flag 955000/955000
98.59/97.19	c cleaning 9994 clauses out of 20019 with flag 965000/965000
99.30/97.87	c cleaning 9993 clauses out of 20028 with flag 975003/975003
99.99/98.54	c cleaning 9997 clauses out of 20032 with flag 985000/985000
100.90/99.41	c cleaning 9998 clauses out of 20036 with flag 995001/995001
101.70/100.29	c cleaning 9996 clauses out of 20037 with flag 1005000/1005000
102.62/101.12	c cleaning 9998 clauses out of 20041 with flag 1015000/1015000
103.41/101.90	c cleaning 10001 clauses out of 20044 with flag 1025001/1025001
104.11/102.61	c cleaning 10018 clauses out of 20043 with flag 1035001/1035001
104.82/103.36	c cleaning 10007 clauses out of 20026 with flag 1045002/1045002
105.61/104.11	c cleaning 10003 clauses out of 20017 with flag 1055000/1055000
106.31/104.85	c cleaning 10000 clauses out of 20017 with flag 1065003/1065003
107.02/105.58	c cleaning 9999 clauses out of 20015 with flag 1075001/1075001
107.61/106.15	c cleaning 9978 clauses out of 20015 with flag 1085000/1085000
108.23/106.76	c cleaning 9988 clauses out of 20038 with flag 1095001/1095001
109.11/107.69	c cleaning 10009 clauses out of 20050 with flag 1105001/1105001
110.33/108.82	c cleaning 10009 clauses out of 20041 with flag 1115001/1115001
111.44/109.95	c cleaning 10006 clauses out of 20031 with flag 1125000/1125000
112.65/111.13	c cleaning 10001 clauses out of 20025 with flag 1135000/1135000
113.75/112.25	c cleaning 10005 clauses out of 20025 with flag 1145001/1145001
114.85/113.38	c cleaning 10002 clauses out of 20019 with flag 1155000/1155000
116.04/114.56	c cleaning 9999 clauses out of 20017 with flag 1165000/1165000
117.24/115.79	c cleaning 9999 clauses out of 20018 with flag 1175000/1175000
118.44/116.97	c cleaning 10000 clauses out of 20020 with flag 1185001/1185001
119.64/118.10	c cleaning 10003 clauses out of 20019 with flag 1195000/1195000
120.26/118.80	c cleaning 10000 clauses out of 20016 with flag 1205000/1205000
121.05/119.53	c cleaning 9999 clauses out of 20017 with flag 1215001/1215001
121.85/120.38	c cleaning 9999 clauses out of 20018 with flag 1225001/1225001
122.65/121.12	c cleaning 10001 clauses out of 20019 with flag 1235001/1235001
123.57/122.10	c cleaning 9995 clauses out of 20018 with flag 1245001/1245001
124.36/122.86	c cleaning 10004 clauses out of 20022 with flag 1255000/1255000
125.26/123.72	c cleaning 9999 clauses out of 20019 with flag 1265001/1265001
125.96/124.45	c cleaning 10004 clauses out of 20021 with flag 1275002/1275002
126.76/125.21	c cleaning 9997 clauses out of 20016 with flag 1285001/1285001
127.46/125.95	c cleaning 10003 clauses out of 20018 with flag 1295000/1295000
128.27/126.75	c cleaning 9996 clauses out of 20015 with flag 1305000/1305000
129.27/127.76	c cleaning 10002 clauses out of 20019 with flag 1315000/1315000
130.07/128.53	c cleaning 10002 clauses out of 20018 with flag 1325001/1325001
130.87/129.30	c cleaning 9998 clauses out of 20017 with flag 1335002/1335002
131.67/130.19	c cleaning 10006 clauses out of 20017 with flag 1345000/1345000
132.87/131.35	c cleaning 10002 clauses out of 20012 with flag 1355001/1355001
134.08/132.56	c cleaning 10001 clauses out of 20011 with flag 1365002/1365002
135.08/133.59	c cleaning 9997 clauses out of 20008 with flag 1375000/1375000
136.18/134.68	c cleaning 10002 clauses out of 20012 with flag 1385001/1385001
137.39/135.81	c cleaning 10001 clauses out of 20011 with flag 1395003/1395003
138.09/136.55	c cleaning 9993 clauses out of 20008 with flag 1405001/1405001
138.89/137.30	c cleaning 10001 clauses out of 20014 with flag 1415000/1415000
139.90/138.37	c cleaning 10002 clauses out of 20013 with flag 1425000/1425000
140.90/139.35	c cleaning 10000 clauses out of 20012 with flag 1435001/1435001
141.90/140.38	c cleaning 10001 clauses out of 20011 with flag 1445000/1445000
142.71/141.14	c cleaning 9996 clauses out of 20011 with flag 1455001/1455001
143.42/141.90	c cleaning 10000 clauses out of 20014 with flag 1465000/1465000
144.22/142.69	c cleaning 9999 clauses out of 20015 with flag 1475001/1475001
144.92/143.39	c cleaning 9994 clauses out of 20016 with flag 1485001/1485001
145.82/144.22	c cleaning 10006 clauses out of 20022 with flag 1495001/1495001
146.74/145.15	c cleaning 10001 clauses out of 20016 with flag 1505001/1505001
147.73/146.16	c cleaning 10002 clauses out of 20015 with flag 1515001/1515001
148.73/147.12	c cleaning 10003 clauses out of 20013 with flag 1525001/1525001
149.73/148.14	c cleaning 10001 clauses out of 20010 with flag 1535001/1535001
150.73/149.14	c cleaning 10001 clauses out of 20009 with flag 1545001/1545001
151.73/150.18	c cleaning 9997 clauses out of 20009 with flag 1555002/1555002
152.54/150.94	c cleaning 9986 clauses out of 20010 with flag 1565000/1565000
153.35/151.73	c cleaning 9989 clauses out of 20024 with flag 1575000/1575000
153.94/152.38	c cleaning 9995 clauses out of 20036 with flag 1585001/1585001
154.74/153.17	c cleaning 9998 clauses out of 20040 with flag 1595000/1595000
155.44/153.81	c cleaning 10000 clauses out of 20043 with flag 1605001/1605001
156.25/154.69	c cleaning 10001 clauses out of 20043 with flag 1615001/1615001
156.95/155.35	c cleaning 9999 clauses out of 20042 with flag 1625001/1625001
157.76/156.18	c cleaning 9997 clauses out of 20043 with flag 1635001/1635001
158.65/157.04	c cleaning 10001 clauses out of 20047 with flag 1645002/1645002
159.35/157.72	c cleaning 10015 clauses out of 20044 with flag 1655000/1655000
160.35/158.76	c cleaning 10006 clauses out of 20029 with flag 1665000/1665000
161.56/159.97	c cleaning 9992 clauses out of 20024 with flag 1675001/1675001
162.47/160.89	c cleaning 10002 clauses out of 20031 with flag 1685000/1685000
163.58/161.91	c cleaning 9999 clauses out of 20029 with flag 1695000/1695000
164.50/162.84	c cleaning 9999 clauses out of 20030 with flag 1705000/1705000
165.38/163.81	c cleaning 10000 clauses out of 20031 with flag 1715000/1715000
166.39/164.76	c cleaning 10000 clauses out of 20031 with flag 1725000/1725000
167.39/165.78	c cleaning 9996 clauses out of 20032 with flag 1735001/1735001
168.39/166.77	c cleaning 10000 clauses out of 20035 with flag 1745000/1745000
169.40/167.72	c cleaning 9998 clauses out of 20035 with flag 1755000/1755000
170.40/168.74	c cleaning 9999 clauses out of 20038 with flag 1765001/1765001
171.40/169.78	c cleaning 10005 clauses out of 20039 with flag 1775001/1775001
172.50/170.80	c cleaning 10005 clauses out of 20034 with flag 1785001/1785001
173.51/171.84	c cleaning 10000 clauses out of 20029 with flag 1795001/1795001
174.21/172.56	c cleaning 9998 clauses out of 20028 with flag 1805000/1805000
175.12/173.50	c cleaning 10002 clauses out of 20032 with flag 1815002/1815002
176.12/174.48	c cleaning 10001 clauses out of 20029 with flag 1825001/1825001
177.02/175.38	c cleaning 10003 clauses out of 20029 with flag 1835002/1835002
177.82/176.12	c cleaning 9997 clauses out of 20024 with flag 1845000/1845000
178.63/177.01	c cleaning 10000 clauses out of 20027 with flag 1855000/1855000
179.43/177.75	c cleaning 10001 clauses out of 20027 with flag 1865000/1865000
180.34/178.62	c cleaning 10000 clauses out of 20027 with flag 1875001/1875001
181.24/179.52	c cleaning 9999 clauses out of 20027 with flag 1885001/1885001
181.94/180.27	c cleaning 9996 clauses out of 20027 with flag 1895000/1895000
183.05/181.33	c cleaning 10001 clauses out of 20033 with flag 1905002/1905002
184.06/182.30	c cleaning 9997 clauses out of 20031 with flag 1915001/1915001
184.96/183.22	c cleaning 10000 clauses out of 20033 with flag 1925000/1925000
185.86/184.15	c cleaning 10000 clauses out of 20033 with flag 1935000/1935000
186.86/185.11	c cleaning 9997 clauses out of 20034 with flag 1945001/1945001
187.58/185.87	c cleaning 10001 clauses out of 20036 with flag 1955000/1955000
188.27/186.55	c cleaning 10001 clauses out of 20035 with flag 1965000/1965000
189.07/187.31	c cleaning 10000 clauses out of 20035 with flag 1975001/1975001
189.78/188.04	c cleaning 9997 clauses out of 20034 with flag 1985000/1985000
190.67/188.98	c cleaning 9999 clauses out of 20037 with flag 1995000/1995000
191.48/189.78	c cleaning 10003 clauses out of 20039 with flag 2005001/2005001
192.38/190.65	c cleaning 9997 clauses out of 20036 with flag 2015001/2015001
193.21/191.48	c cleaning 10015 clauses out of 20038 with flag 2025001/2025001
194.51/192.76	c cleaning 10008 clauses out of 20023 with flag 2035001/2035001
195.43/193.63	c cleaning 10003 clauses out of 20016 with flag 2045002/2045002
196.32/194.60	c cleaning 9999 clauses out of 20012 with flag 2055001/2055001
197.54/195.74	c cleaning 10001 clauses out of 20012 with flag 2065000/2065000
198.65/196.88	c cleaning 10001 clauses out of 20012 with flag 2075001/2075001
199.54/197.77	c cleaning 9999 clauses out of 20010 with flag 2085000/2085000
200.54/198.73	c cleaning 10001 clauses out of 20012 with flag 2095001/2095001
201.44/199.68	c cleaning 9999 clauses out of 20010 with flag 2105000/2105000
202.25/200.47	c cleaning 10000 clauses out of 20011 with flag 2115000/2115000
203.35/201.50	c cleaning 10005 clauses out of 20011 with flag 2125000/2125000
204.27/202.49	c cleaning 10001 clauses out of 20007 with flag 2135001/2135001
205.27/203.45	c cleaning 9999 clauses out of 20006 with flag 2145001/2145001
206.26/204.41	c cleaning 9987 clauses out of 20006 with flag 2155000/2155000
207.07/205.21	c cleaning 9998 clauses out of 20020 with flag 2165001/2165001
208.07/206.20	c cleaning 9998 clauses out of 20022 with flag 2175001/2175001
208.78/206.97	c cleaning 10005 clauses out of 20024 with flag 2185001/2185001
209.88/208.05	c cleaning 9997 clauses out of 20018 with flag 2195000/2195000
210.58/208.71	c cleaning 10000 clauses out of 20021 with flag 2205000/2205000
211.28/209.49	c cleaning 10002 clauses out of 20021 with flag 2215000/2215000
212.29/210.46	c cleaning 10003 clauses out of 20020 with flag 2225001/2225001
213.39/211.53	c cleaning 10000 clauses out of 20017 with flag 2235001/2235001
214.29/212.48	c cleaning 10001 clauses out of 20017 with flag 2245001/2245001
215.40/213.51	c cleaning 9999 clauses out of 20016 with flag 2255001/2255001
216.31/214.50	c cleaning 10002 clauses out of 20016 with flag 2265000/2265000
217.30/215.48	c cleaning 10000 clauses out of 20014 with flag 2275000/2275000
218.30/216.48	c cleaning 10000 clauses out of 20015 with flag 2285001/2285001
219.31/217.47	c cleaning 10003 clauses out of 20015 with flag 2295001/2295001
220.31/218.47	c cleaning 10000 clauses out of 20011 with flag 2305000/2305000
221.31/219.49	c cleaning 9999 clauses out of 20012 with flag 2315001/2315001
222.01/220.19	c cleaning 9995 clauses out of 20012 with flag 2325000/2325000
222.72/220.82	c cleaning 9996 clauses out of 20018 with flag 2335001/2335001
223.34/221.45	c cleaning 9997 clauses out of 20021 with flag 2345000/2345000
223.94/222.05	c cleaning 10002 clauses out of 20025 with flag 2355001/2355001
224.64/222.79	c cleaning 9998 clauses out of 20022 with flag 2365000/2365000
225.44/223.53	c cleaning 10003 clauses out of 20025 with flag 2375001/2375001
226.04/224.14	c cleaning 10000 clauses out of 20023 with flag 2385002/2385002
226.44/224.51	c SATISFIABLE
226.44/224.51	c OPTIMIZING...
226.44/224.51	c Got one! Elapsed wall clock time (in seconds):224.399
226.44/224.51	o 3
226.44/224.58	c cleaning 7733 clauses out of 15492 with flag 1001/2390471
226.95/225.08	c cleaning 6863 clauses out of 13758 with flag 7000/2396470
227.55/225.60	c cleaning 6936 clauses out of 13897 with flag 14002/2403472
228.05/226.19	c cleaning 7466 clauses out of 14959 with flag 22000/2411470
228.86/226.95	c cleaning 8236 clauses out of 16494 with flag 31001/2420471
229.76/227.82	c cleaning 9117 clauses out of 18259 with flag 41002/2430472
230.67/228.78	c cleaning 9564 clauses out of 19141 with flag 51001/2440471
231.77/229.86	c cleaning 9776 clauses out of 19578 with flag 61002/2450472
232.66/230.79	c cleaning 9891 clauses out of 19800 with flag 71000/2460470
233.47/231.54	c cleaning 9940 clauses out of 19909 with flag 81000/2470470
234.27/232.40	c cleaning 9971 clauses out of 19969 with flag 91000/2480470
235.48/233.53	c cleaning 9986 clauses out of 19998 with flag 101000/2490470
236.48/234.51	c cleaning 9993 clauses out of 20012 with flag 111000/2500470
237.58/235.60	c cleaning 9996 clauses out of 20019 with flag 121000/2510470
238.28/236.37	c cleaning 9998 clauses out of 20024 with flag 131001/2520471
239.28/237.37	c cleaning 9994 clauses out of 20026 with flag 141001/2530471
240.09/238.12	c cleaning 10007 clauses out of 20032 with flag 151001/2540471
240.79/238.85	c cleaning 9994 clauses out of 20024 with flag 161000/2550470
241.60/239.68	c cleaning 9999 clauses out of 20031 with flag 171001/2560471
242.50/240.54	c cleaning 9996 clauses out of 20031 with flag 181000/2570470
243.42/241.46	c cleaning 10000 clauses out of 20036 with flag 191001/2580471
244.22/242.29	c cleaning 10001 clauses out of 20035 with flag 201000/2590470
245.22/243.27	c cleaning 10001 clauses out of 20037 with flag 211003/2600473
246.13/244.20	c cleaning 10000 clauses out of 20033 with flag 221000/2610470
247.12/245.20	c cleaning 10004 clauses out of 20034 with flag 231001/2620471
248.25/246.25	c cleaning 10001 clauses out of 20030 with flag 241001/2630471
249.25/247.24	c cleaning 10006 clauses out of 20029 with flag 251001/2640471
250.35/248.37	c cleaning 9999 clauses out of 20022 with flag 261000/2650470
251.45/249.42	c cleaning 9998 clauses out of 20024 with flag 271001/2660471
252.35/250.34	c cleaning 10003 clauses out of 20025 with flag 281000/2670470
253.36/251.36	c cleaning 10002 clauses out of 20025 with flag 291003/2680473
254.26/252.28	c cleaning 9998 clauses out of 20020 with flag 301000/2690470
255.16/253.11	c cleaning 10000 clauses out of 20023 with flag 311001/2700471
255.96/253.93	c cleaning 9994 clauses out of 20022 with flag 321000/2710470
256.87/254.80	c cleaning 9993 clauses out of 20028 with flag 331000/2720470
257.67/255.67	c cleaning 10002 clauses out of 20036 with flag 341001/2730471
258.57/256.51	c cleaning 10002 clauses out of 20034 with flag 351001/2740471
259.49/257.44	c cleaning 10002 clauses out of 20032 with flag 361001/2750471
260.38/258.35	c cleaning 10004 clauses out of 20030 with flag 371001/2760471
261.38/259.31	c cleaning 10000 clauses out of 20025 with flag 381000/2770470
262.29/260.28	c cleaning 9998 clauses out of 20026 with flag 391001/2780471
263.39/261.31	c cleaning 10002 clauses out of 20028 with flag 401001/2790471
264.39/262.34	c cleaning 9999 clauses out of 20025 with flag 411000/2800470
265.39/263.36	c cleaning 10002 clauses out of 20027 with flag 421001/2810471
266.39/264.32	c cleaning 10002 clauses out of 20024 with flag 431000/2820470
267.40/265.36	c cleaning 9999 clauses out of 20022 with flag 441000/2830470
268.50/266.43	c cleaning 9996 clauses out of 20023 with flag 451000/2840470
269.50/267.47	c cleaning 10002 clauses out of 20028 with flag 461001/2850471
270.61/268.58	c cleaning 10002 clauses out of 20026 with flag 471001/2860471
271.63/269.55	c cleaning 10004 clauses out of 20025 with flag 481002/2870472
272.73/270.68	c cleaning 10000 clauses out of 20020 with flag 491001/2880471
273.73/271.71	c cleaning 10001 clauses out of 20019 with flag 501000/2890470
274.62/272.53	c cleaning 9994 clauses out of 20018 with flag 511000/2900470
275.33/273.27	c cleaning 9996 clauses out of 20025 with flag 521001/2910471
276.13/274.07	c cleaning 9998 clauses out of 20028 with flag 531000/2920470
276.83/274.78	c cleaning 9999 clauses out of 20030 with flag 541000/2930470
277.63/275.50	c cleaning 9997 clauses out of 20032 with flag 551001/2940471
278.43/276.32	c cleaning 9998 clauses out of 20034 with flag 561000/2950470
279.13/277.11	c cleaning 10001 clauses out of 20036 with flag 571000/2960470
280.05/277.92	c cleaning 10001 clauses out of 20036 with flag 581001/2970471
280.75/278.67	c cleaning 10012 clauses out of 20034 with flag 591001/2980471
281.75/279.61	c cleaning 9996 clauses out of 20022 with flag 601001/2990471
282.67/280.55	c cleaning 10002 clauses out of 20025 with flag 611000/3000470
283.46/281.36	c cleaning 9994 clauses out of 20025 with flag 621002/3010472
284.26/282.10	c cleaning 9994 clauses out of 20029 with flag 631000/3020470
284.97/282.85	c cleaning 9999 clauses out of 20035 with flag 641000/3030470
285.77/283.61	c cleaning 10002 clauses out of 20037 with flag 651001/3040471
286.47/284.31	c cleaning 9997 clauses out of 20035 with flag 661001/3050471
287.27/285.18	c cleaning 9997 clauses out of 20037 with flag 671000/3060470
288.08/285.94	c cleaning 9998 clauses out of 20040 with flag 681000/3070470
288.87/286.72	c cleaning 10002 clauses out of 20043 with flag 691001/3080471
289.57/287.44	c cleaning 9998 clauses out of 20041 with flag 701001/3090471
290.40/288.22	c cleaning 10002 clauses out of 20042 with flag 711000/3100470
291.28/289.14	c cleaning 10002 clauses out of 20040 with flag 721000/3110470
291.98/289.88	c cleaning 9998 clauses out of 20039 with flag 731001/3120471
292.68/290.56	c cleaning 10001 clauses out of 20041 with flag 741001/3130471
293.38/291.28	c cleaning 10002 clauses out of 20040 with flag 751001/3140471
294.09/291.98	c cleaning 9998 clauses out of 20037 with flag 761000/3150470
294.89/292.72	c cleaning 10000 clauses out of 20040 with flag 771001/3160471
295.59/293.48	c cleaning 9997 clauses out of 20040 with flag 781001/3170471
296.29/294.19	c cleaning 10001 clauses out of 20042 with flag 791000/3180470
297.10/294.92	c cleaning 10001 clauses out of 20041 with flag 801000/3190470
297.80/295.65	c cleaning 10002 clauses out of 20041 with flag 811001/3200471
298.60/296.46	c cleaning 10002 clauses out of 20039 with flag 821001/3210471
299.60/297.43	c cleaning 10001 clauses out of 20037 with flag 831001/3220471
300.50/298.33	c cleaning 9999 clauses out of 20035 with flag 841000/3230470
301.20/299.04	c cleaning 9997 clauses out of 20037 with flag 851001/3240471
302.01/299.86	c cleaning 10003 clauses out of 20042 with flag 861003/3250473
302.82/300.69	c cleaning 10000 clauses out of 20036 with flag 871000/3260470
303.72/301.53	c cleaning 10000 clauses out of 20036 with flag 881000/3270470
304.52/302.32	c cleaning 9997 clauses out of 20036 with flag 891000/3280470
305.32/303.12	c cleaning 10001 clauses out of 20040 with flag 901001/3290471
306.12/304.00	c cleaning 9997 clauses out of 20038 with flag 911000/3300470
306.94/304.73	c cleaning 10018 clauses out of 20041 with flag 921000/3310470
307.94/305.75	c cleaning 10005 clauses out of 20023 with flag 931000/3320470
308.83/306.67	c cleaning 10004 clauses out of 20019 with flag 941001/3330471
309.63/307.47	c cleaning 9991 clauses out of 20014 with flag 951000/3340470
310.34/308.17	c cleaning 9990 clauses out of 20024 with flag 961001/3350471
311.37/309.19	c cleaning 10010 clauses out of 20034 with flag 971001/3360471
312.25/310.03	c cleaning 10009 clauses out of 20023 with flag 981000/3370470
313.36/311.11	c cleaning 10007 clauses out of 20017 with flag 991003/3380473
314.06/311.88	c cleaning 9992 clauses out of 20007 with flag 1001001/3390471
315.07/312.84	c cleaning 9998 clauses out of 20015 with flag 1011001/3400471
316.07/313.84	c cleaning 9999 clauses out of 20017 with flag 1021001/3410471
316.78/314.56	c cleaning 10001 clauses out of 20017 with flag 1031000/3420470
317.58/315.31	c cleaning 9998 clauses out of 20016 with flag 1041000/3430470
318.28/316.02	c cleaning 9999 clauses out of 20018 with flag 1051000/3440470
318.99/316.81	c cleaning 9998 clauses out of 20019 with flag 1061000/3450470
319.78/317.55	c cleaning 10002 clauses out of 20022 with flag 1071001/3460471
320.78/318.52	c cleaning 10003 clauses out of 20019 with flag 1081000/3470470
321.80/319.59	c cleaning 10003 clauses out of 20016 with flag 1091000/3480470
322.90/320.61	c cleaning 10001 clauses out of 20014 with flag 1101001/3490471
324.00/321.79	c cleaning 10000 clauses out of 20014 with flag 1111002/3500472
325.20/322.91	c cleaning 10001 clauses out of 20014 with flag 1121002/3510472
326.20/323.98	c cleaning 9992 clauses out of 20010 with flag 1131000/3520470
327.11/324.85	c cleaning 9998 clauses out of 20018 with flag 1141001/3530471
328.01/325.73	c cleaning 10002 clauses out of 20019 with flag 1151000/3540470
328.81/326.58	c cleaning 10000 clauses out of 20017 with flag 1161000/3550470
329.71/327.47	c cleaning 9998 clauses out of 20018 with flag 1171001/3560471
330.92/328.69	c cleaning 9999 clauses out of 20020 with flag 1181001/3570471
331.82/329.59	c cleaning 10004 clauses out of 20021 with flag 1191001/3580471
332.93/330.66	c cleaning 10000 clauses out of 20016 with flag 1201000/3590470
334.03/331.74	c cleaning 10003 clauses out of 20016 with flag 1211000/3600470
334.94/332.60	c cleaning 9988 clauses out of 20014 with flag 1221001/3610471
335.66/333.39	c cleaning 9998 clauses out of 20026 with flag 1231001/3620471
336.44/334.14	c cleaning 9999 clauses out of 20028 with flag 1241001/3630471
337.25/334.91	c cleaning 9998 clauses out of 20029 with flag 1251001/3640471
337.95/335.61	c cleaning 10001 clauses out of 20031 with flag 1261001/3650471
338.55/336.28	c cleaning 10000 clauses out of 20030 with flag 1271001/3660471
339.25/336.95	c cleaning 9999 clauses out of 20029 with flag 1281000/3670470
339.96/337.65	c cleaning 10002 clauses out of 20030 with flag 1291000/3680470
340.65/338.31	c cleaning 10006 clauses out of 20029 with flag 1301001/3690471
341.56/339.29	c cleaning 9999 clauses out of 20022 with flag 1311000/3700470
342.56/340.21	c cleaning 10003 clauses out of 20023 with flag 1321000/3710470
343.38/341.06	c cleaning 10000 clauses out of 20021 with flag 1331001/3720471
344.26/341.92	c cleaning 10001 clauses out of 20021 with flag 1341001/3730471
345.06/342.78	c cleaning 9996 clauses out of 20019 with flag 1351000/3740470
345.96/343.64	c cleaning 10004 clauses out of 20026 with flag 1361003/3750473
346.96/344.64	c cleaning 10000 clauses out of 20019 with flag 1371000/3760470
347.87/345.53	c cleaning 10001 clauses out of 20019 with flag 1381000/3770470
348.79/346.49	c cleaning 9998 clauses out of 20020 with flag 1391002/3780472
349.78/347.44	c cleaning 9999 clauses out of 20020 with flag 1401000/3790470
350.58/348.24	c cleaning 9999 clauses out of 20021 with flag 1411000/3800470
351.38/349.09	c cleaning 10002 clauses out of 20021 with flag 1421000/3810470
352.49/350.13	c cleaning 10005 clauses out of 20020 with flag 1431001/3820471
353.49/351.16	c cleaning 10001 clauses out of 20014 with flag 1441000/3830470
354.69/352.36	c cleaning 10003 clauses out of 20013 with flag 1451000/3840470
355.69/353.36	c cleaning 9999 clauses out of 20010 with flag 1461000/3850470
356.80/354.43	c cleaning 10001 clauses out of 20011 with flag 1471000/3860470
357.80/355.47	c cleaning 10000 clauses out of 20011 with flag 1481001/3870471
358.71/356.36	c cleaning 10000 clauses out of 20010 with flag 1491000/3880470
359.61/357.25	c cleaning 9999 clauses out of 20010 with flag 1501000/3890470
360.61/358.22	c cleaning 9992 clauses out of 20012 with flag 1511001/3900471
361.51/359.18	c cleaning 10004 clauses out of 20019 with flag 1521000/3910470
362.62/360.21	c cleaning 10000 clauses out of 20015 with flag 1531000/3920470
363.52/361.19	c cleaning 10001 clauses out of 20015 with flag 1541000/3930470
364.63/362.27	c cleaning 10000 clauses out of 20014 with flag 1551000/3940470
365.73/363.37	c cleaning 9998 clauses out of 20014 with flag 1561000/3950470
366.56/364.13	c cleaning 10002 clauses out of 20017 with flag 1571001/3960471
367.24/364.90	c cleaning 10000 clauses out of 20015 with flag 1581001/3970471
368.04/365.62	c cleaning 10003 clauses out of 20015 with flag 1591001/3980471
368.65/366.28	c cleaning 10000 clauses out of 20011 with flag 1601000/3990470
369.34/366.95	c cleaning 10000 clauses out of 20013 with flag 1611002/4000472
370.15/367.76	c cleaning 10001 clauses out of 20011 with flag 1621000/4010470
370.86/368.49	c cleaning 9997 clauses out of 20010 with flag 1631000/4020470
371.65/369.25	c cleaning 9997 clauses out of 20014 with flag 1641001/4030471
372.55/370.12	c cleaning 10001 clauses out of 20016 with flag 1651000/4040470
373.35/370.97	c cleaning 10001 clauses out of 20015 with flag 1661000/4050470
374.27/371.85	c cleaning 10001 clauses out of 20015 with flag 1671001/4060471
374.95/372.50	c cleaning 9984 clauses out of 20015 with flag 1681002/4070472
375.67/373.27	c cleaning 9993 clauses out of 20030 with flag 1691001/4080471
376.38/373.93	c cleaning 9997 clauses out of 20037 with flag 1701001/4090471
377.07/374.61	c cleaning 10010 clauses out of 20040 with flag 1711001/4100471
377.67/375.27	c cleaning 10007 clauses out of 20029 with flag 1721000/4110470
378.47/376.01	c cleaning 10000 clauses out of 20023 with flag 1731001/4120471
379.07/376.68	c cleaning 10004 clauses out of 20023 with flag 1741001/4130471
379.79/377.37	c cleaning 10002 clauses out of 20018 with flag 1751000/4140470
380.68/378.24	c cleaning 9997 clauses out of 20016 with flag 1761000/4150470
381.48/379.07	c cleaning 9999 clauses out of 20019 with flag 1771000/4160470
382.18/379.70	c cleaning 9995 clauses out of 20020 with flag 1781000/4170470
383.10/380.68	c cleaning 10006 clauses out of 20026 with flag 1791001/4180471
384.10/381.69	c cleaning 10004 clauses out of 20020 with flag 1801001/4190471
385.09/382.71	c cleaning 10003 clauses out of 20015 with flag 1811000/4200470
385.99/383.52	c cleaning 9993 clauses out of 20012 with flag 1821001/4210471
386.80/384.34	c cleaning 9995 clauses out of 20018 with flag 1831000/4220470
387.52/385.07	c cleaning 10001 clauses out of 20024 with flag 1841001/4230471
388.40/385.90	c cleaning 10001 clauses out of 20023 with flag 1851001/4240471
389.11/386.66	c cleaning 9999 clauses out of 20021 with flag 1861000/4250470
389.91/387.47	c cleaning 9999 clauses out of 20022 with flag 1871000/4260470
390.72/388.29	c cleaning 9999 clauses out of 20024 with flag 1881001/4270471
391.51/389.08	c cleaning 9995 clauses out of 20024 with flag 1891000/4280470
392.31/389.80	c cleaning 9998 clauses out of 20029 with flag 1901000/4290470
392.93/390.50	c cleaning 10002 clauses out of 20032 with flag 1911001/4300471
393.82/391.32	c cleaning 9997 clauses out of 20030 with flag 1921001/4310471
394.72/392.21	c cleaning 9998 clauses out of 20032 with flag 1931000/4320470
395.42/392.91	c cleaning 10005 clauses out of 20034 with flag 1941000/4330470
396.03/393.56	c cleaning 10001 clauses out of 20031 with flag 1951002/4340472
396.73/394.24	c cleaning 10006 clauses out of 20031 with flag 1961003/4350473
397.34/394.86	c cleaning 10004 clauses out of 20025 with flag 1971003/4360473
398.03/395.52	c cleaning 9997 clauses out of 20018 with flag 1981000/4370470
398.73/396.20	c cleaning 10001 clauses out of 20022 with flag 1991001/4380471
399.34/396.86	c cleaning 9998 clauses out of 20020 with flag 2001000/4390470
399.94/397.50	c cleaning 10001 clauses out of 20023 with flag 2011001/4400471
400.65/398.15	c cleaning 9997 clauses out of 20021 with flag 2021000/4410470
401.24/398.80	c cleaning 10003 clauses out of 20025 with flag 2031001/4420471
402.04/399.52	c cleaning 10002 clauses out of 20021 with flag 2041000/4430470
402.64/400.19	c cleaning 9998 clauses out of 20019 with flag 2051000/4440470
403.34/400.82	c cleaning 10002 clauses out of 20022 with flag 2061001/4450471
403.95/401.45	c cleaning 10001 clauses out of 20020 with flag 2071001/4460471
404.54/402.07	c cleaning 10001 clauses out of 20020 with flag 2081002/4470472
405.34/402.81	c cleaning 10000 clauses out of 20018 with flag 2091001/4480471
405.94/403.44	c cleaning 10000 clauses out of 20017 with flag 2101000/4490470
406.55/404.08	c cleaning 9997 clauses out of 20018 with flag 2111001/4500471
407.37/404.84	c cleaning 9999 clauses out of 20020 with flag 2121000/4510470
408.05/405.55	c cleaning 9998 clauses out of 20022 with flag 2131001/4520471
408.75/406.27	c cleaning 10001 clauses out of 20023 with flag 2141000/4530470
409.65/407.11	c cleaning 10006 clauses out of 20022 with flag 2151000/4540470
410.85/408.36	c cleaning 9989 clauses out of 20017 with flag 2161001/4550471
412.15/409.69	c cleaning 10002 clauses out of 20028 with flag 2171001/4560471
413.46/410.97	c cleaning 10001 clauses out of 20025 with flag 2181000/4570470
414.66/412.18	c cleaning 9997 clauses out of 20024 with flag 2191000/4580470
415.86/413.32	c cleaning 10006 clauses out of 20027 with flag 2201000/4590470
416.97/414.42	c cleaning 10006 clauses out of 20022 with flag 2211001/4600471
418.17/415.62	c cleaning 9997 clauses out of 20015 with flag 2221000/4610470
419.27/416.77	c cleaning 9998 clauses out of 20018 with flag 2231000/4620470
420.48/418.02	c cleaning 9997 clauses out of 20021 with flag 2241001/4630471
421.69/419.16	c cleaning 10001 clauses out of 20023 with flag 2251000/4640470
422.79/420.27	c cleaning 10006 clauses out of 20022 with flag 2261000/4650470
423.89/421.38	c cleaning 10000 clauses out of 20017 with flag 2271001/4660471
425.08/422.55	c cleaning 9999 clauses out of 20016 with flag 2281000/4670470
426.28/423.80	c cleaning 9999 clauses out of 20018 with flag 2291001/4680471
427.48/424.96	c cleaning 10003 clauses out of 20019 with flag 2301001/4690471
428.68/426.13	c cleaning 9999 clauses out of 20015 with flag 2311000/4700470
429.78/427.25	c cleaning 10001 clauses out of 20016 with flag 2321000/4710470
430.98/428.45	c cleaning 10002 clauses out of 20015 with flag 2331000/4720470
432.19/429.68	c cleaning 9999 clauses out of 20013 with flag 2341000/4730470
433.39/430.80	c cleaning 10001 clauses out of 20015 with flag 2351001/4740471
434.29/431.74	c cleaning 10000 clauses out of 20013 with flag 2361000/4750470
435.39/432.83	c cleaning 9999 clauses out of 20014 with flag 2371001/4760471
436.30/433.74	c cleaning 10002 clauses out of 20015 with flag 2381001/4770471
437.20/434.66	c cleaning 10000 clauses out of 20013 with flag 2391001/4780471
438.22/435.64	c cleaning 10002 clauses out of 20013 with flag 2401001/4790471
439.00/436.42	c cleaning 9995 clauses out of 20011 with flag 2411002/4800472
439.61/437.08	c cleaning 9998 clauses out of 20015 with flag 2421001/4810471
440.43/437.85	c cleaning 9998 clauses out of 20016 with flag 2431000/4820470
441.21/438.61	c cleaning 10000 clauses out of 20018 with flag 2441000/4830470
441.91/439.35	c cleaning 9997 clauses out of 20018 with flag 2451000/4840470
442.92/440.33	c cleaning 9996 clauses out of 20022 with flag 2461001/4850471
443.63/441.02	c cleaning 10004 clauses out of 20026 with flag 2471001/4860471
444.32/441.76	c cleaning 9998 clauses out of 20022 with flag 2481001/4870471
445.32/442.72	c cleaning 9999 clauses out of 20024 with flag 2491001/4880471
445.84/443.30	c cleaning 9999 clauses out of 20024 with flag 2501000/4890470
446.43/443.89	c cleaning 10007 clauses out of 20026 with flag 2511001/4900471
447.05/444.45	c cleaning 9999 clauses out of 20020 with flag 2521002/4910472
447.64/445.08	c cleaning 9996 clauses out of 20020 with flag 2531001/4920471
448.34/445.71	c cleaning 10002 clauses out of 20023 with flag 2541000/4930470
448.84/446.28	c cleaning 10000 clauses out of 20022 with flag 2551001/4940471
449.64/447.01	c cleaning 10003 clauses out of 20021 with flag 2561000/4950470
450.45/447.88	c cleaning 9999 clauses out of 20019 with flag 2571001/4960471
451.36/448.75	c cleaning 9998 clauses out of 20020 with flag 2581001/4970471
452.25/449.69	c cleaning 9997 clauses out of 20022 with flag 2591001/4980471
453.05/450.45	c cleaning 10000 clauses out of 20026 with flag 2601002/4990472
453.75/451.18	c cleaning 10000 clauses out of 20026 with flag 2611002/5000472
454.77/452.18	c cleaning 10002 clauses out of 20025 with flag 2621001/5010471
455.65/453.07	c cleaning 10000 clauses out of 20023 with flag 2631001/5020471
456.55/453.93	c cleaning 9997 clauses out of 20022 with flag 2641000/5030470
457.26/454.68	c cleaning 10004 clauses out of 20026 with flag 2651001/5040471
457.97/455.33	c cleaning 9999 clauses out of 20022 with flag 2661001/5050471
458.56/455.94	c cleaning 9999 clauses out of 20024 with flag 2671002/5060472
459.36/456.74	c cleaning 9999 clauses out of 20024 with flag 2681001/5070471
460.06/457.41	c cleaning 10000 clauses out of 20024 with flag 2691000/5080470
460.76/458.13	c cleaning 9998 clauses out of 20024 with flag 2701000/5090470
461.56/458.91	c cleaning 10002 clauses out of 20027 with flag 2711001/5100471
462.27/459.70	c cleaning 10001 clauses out of 20025 with flag 2721001/5110471
463.18/460.57	c cleaning 10002 clauses out of 20023 with flag 2731000/5120470
463.78/461.19	c cleaning 10001 clauses out of 20021 with flag 2741000/5130470
464.60/461.98	c cleaning 9999 clauses out of 20020 with flag 2751000/5140470
465.39/462.72	c cleaning 10008 clauses out of 20023 with flag 2761002/5150472
466.09/463.41	c cleaning 9999 clauses out of 20014 with flag 2771001/5160471
466.80/464.14	c cleaning 10001 clauses out of 20015 with flag 2781001/5170471
467.49/464.89	c cleaning 9999 clauses out of 20014 with flag 2791001/5180471
468.20/465.57	c cleaning 9995 clauses out of 20014 with flag 2801000/5190470
469.01/466.37	c cleaning 10000 clauses out of 20019 with flag 2811000/5200470
469.80/467.16	c cleaning 10000 clauses out of 20020 with flag 2821001/5210471
470.50/467.83	c cleaning 9999 clauses out of 20020 with flag 2831001/5220471
471.22/468.58	c cleaning 10003 clauses out of 20021 with flag 2841001/5230471
472.01/469.36	c cleaning 10001 clauses out of 20017 with flag 2851000/5240470
472.81/470.13	c cleaning 9997 clauses out of 20017 with flag 2861001/5250471
473.62/470.93	c cleaning 10000 clauses out of 20020 with flag 2871001/5260471
474.22/471.55	c cleaning 9997 clauses out of 20019 with flag 2881000/5270470
474.92/472.28	c cleaning 10001 clauses out of 20024 with flag 2891002/5280472
475.63/472.93	c cleaning 10002 clauses out of 20021 with flag 2901000/5290470
476.52/473.82	c cleaning 10006 clauses out of 20019 with flag 2911000/5300470
477.52/474.87	c cleaning 10001 clauses out of 20013 with flag 2921000/5310470
478.73/476.06	c cleaning 10003 clauses out of 20013 with flag 2931001/5320471
479.63/476.91	c cleaning 9989 clauses out of 20010 with flag 2941001/5330471
480.34/477.68	c cleaning 9987 clauses out of 20021 with flag 2951001/5340471
481.26/478.56	c cleaning 9992 clauses out of 20033 with flag 2961000/5350470
482.44/479.71	c cleaning 10018 clauses out of 20042 with flag 2971001/5360471
483.55/480.82	c cleaning 10007 clauses out of 20024 with flag 2981001/5370471
484.75/482.01	c cleaning 10004 clauses out of 20016 with flag 2991000/5380470
485.56/482.89	c cleaning 10002 clauses out of 20012 with flag 3001000/5390470
486.55/483.81	c cleaning 9997 clauses out of 20011 with flag 3011001/5400471
487.35/484.69	c cleaning 10002 clauses out of 20014 with flag 3021001/5410471
488.26/485.53	c cleaning 9998 clauses out of 20012 with flag 3031001/5420471
489.26/486.58	c cleaning 10001 clauses out of 20013 with flag 3041000/5430470
490.46/487.79	c cleaning 10001 clauses out of 20012 with flag 3051000/5440470
491.46/488.78	c cleaning 9999 clauses out of 20012 with flag 3061001/5450471
492.56/489.86	c cleaning 10000 clauses out of 20012 with flag 3071000/5460470
493.77/491.03	c cleaning 10002 clauses out of 20012 with flag 3081000/5470470
494.77/492.08	c cleaning 10002 clauses out of 20011 with flag 3091001/5480471
495.87/493.13	c cleaning 9999 clauses out of 20009 with flag 3101001/5490471
496.87/494.19	c cleaning 10001 clauses out of 20009 with flag 3111000/5500470
497.97/495.21	c cleaning 9999 clauses out of 20008 with flag 3121000/5510470
499.08/496.30	c cleaning 9997 clauses out of 20010 with flag 3131001/5520471
500.19/497.42	c cleaning 10000 clauses out of 20012 with flag 3141000/5530470
501.19/498.49	c cleaning 10003 clauses out of 20013 with flag 3151001/5540471
502.29/499.54	c cleaning 9999 clauses out of 20010 with flag 3161001/5550471
503.31/500.58	c cleaning 9998 clauses out of 20011 with flag 3171001/5560471
504.31/501.58	c cleaning 10002 clauses out of 20013 with flag 3181001/5570471
505.30/502.52	c cleaning 9999 clauses out of 20010 with flag 3191000/5580470
506.20/503.47	c cleaning 9992 clauses out of 20012 with flag 3201001/5590471
506.91/504.14	c cleaning 9992 clauses out of 20020 with flag 3211001/5600471
507.62/504.88	c cleaning 9995 clauses out of 20027 with flag 3221000/5610470
508.41/505.67	c cleaning 10000 clauses out of 20033 with flag 3231001/5620471
509.31/506.52	c cleaning 9998 clauses out of 20032 with flag 3241000/5630470
510.22/507.41	c cleaning 10008 clauses out of 20034 with flag 3251000/5640470
511.04/508.29	c cleaning 10008 clauses out of 20027 with flag 3261001/5650471
511.92/509.15	c cleaning 10004 clauses out of 20018 with flag 3271000/5660470
512.92/510.14	c cleaning 9999 clauses out of 20015 with flag 3281001/5670471
513.93/511.18	c cleaning 10004 clauses out of 20020 with flag 3291005/5680475
514.83/512.00	c cleaning 9998 clauses out of 20011 with flag 3301000/5690470
515.63/512.86	c cleaning 10003 clauses out of 20015 with flag 3311002/5700472
516.44/513.69	c cleaning 9997 clauses out of 20010 with flag 3321000/5710470
517.43/514.61	c cleaning 10000 clauses out of 20014 with flag 3331001/5720471
518.23/515.44	c cleaning 10001 clauses out of 20015 with flag 3341002/5730472
519.13/516.39	c cleaning 9999 clauses out of 20012 with flag 3351000/5740470
520.03/517.26	c cleaning 10002 clauses out of 20014 with flag 3361001/5750471
520.95/518.12	c cleaning 9998 clauses out of 20012 with flag 3371001/5760471
521.74/518.96	c cleaning 10002 clauses out of 20013 with flag 3381000/5770470
522.54/519.77	c cleaning 10000 clauses out of 20012 with flag 3391001/5780471
523.44/520.64	c cleaning 9999 clauses out of 20011 with flag 3401000/5790470
524.34/521.53	c cleaning 10001 clauses out of 20013 with flag 3411001/5800471
525.26/522.51	c cleaning 9999 clauses out of 20012 with flag 3421001/5810471
526.25/523.46	c cleaning 9998 clauses out of 20013 with flag 3431001/5820471
527.15/524.37	c cleaning 10000 clauses out of 20016 with flag 3441002/5830472
528.06/525.23	c cleaning 10006 clauses out of 20017 with flag 3451003/5840473
528.86/526.02	c cleaning 9996 clauses out of 20008 with flag 3461000/5850470
529.67/526.87	c cleaning 10003 clauses out of 20014 with flag 3471002/5860472
530.46/527.68	c cleaning 9998 clauses out of 20010 with flag 3481001/5870471
531.26/528.43	c cleaning 9997 clauses out of 20012 with flag 3491001/5880471
532.06/529.26	c cleaning 10005 clauses out of 20015 with flag 3501001/5890471
533.08/530.24	c cleaning 10002 clauses out of 20010 with flag 3511001/5900471
533.97/531.13	c cleaning 9999 clauses out of 20008 with flag 3521001/5910471
534.87/532.00	c cleaning 10001 clauses out of 20009 with flag 3531001/5920471
535.67/532.86	c cleaning 9999 clauses out of 20008 with flag 3541001/5930471
536.57/533.79	c cleaning 10001 clauses out of 20009 with flag 3551001/5940471
537.49/534.69	c cleaning 10000 clauses out of 20009 with flag 3561002/5950472
538.28/535.47	c cleaning 10000 clauses out of 20008 with flag 3571001/5960471
539.28/536.43	c cleaning 10002 clauses out of 20008 with flag 3581001/5970471
540.28/537.41	c cleaning 10000 clauses out of 20005 with flag 3591000/5980470
541.29/538.49	c cleaning 10000 clauses out of 20005 with flag 3601000/5990470
542.39/539.56	c cleaning 9995 clauses out of 20007 with flag 3611002/6000472
543.40/540.59	c cleaning 10001 clauses out of 20012 with flag 3621002/6010472
544.50/541.66	c cleaning 9999 clauses out of 20009 with flag 3631000/6020470
545.40/542.57	c cleaning 10000 clauses out of 20010 with flag 3641001/6030471
546.40/543.59	c cleaning 10001 clauses out of 20009 with flag 3651000/6040470
547.21/544.41	c cleaning 9999 clauses out of 20007 with flag 3661000/6050470
548.21/545.32	c cleaning 9999 clauses out of 20008 with flag 3671000/6060470
549.02/546.12	c cleaning 10002 clauses out of 20009 with flag 3681000/6070470
549.82/546.91	c cleaning 9999 clauses out of 20008 with flag 3691001/6080471
550.52/547.70	c cleaning 9998 clauses out of 20008 with flag 3701000/6090470
551.43/548.57	c cleaning 10000 clauses out of 20010 with flag 3711000/6100470
552.33/549.43	c cleaning 10001 clauses out of 20013 with flag 3721003/6110473
553.23/550.37	c cleaning 9998 clauses out of 20010 with flag 3731001/6120471
554.05/551.19	c cleaning 9998 clauses out of 20011 with flag 3741000/6130470
554.93/552.06	c cleaning 9999 clauses out of 20013 with flag 3751000/6140470
555.83/552.92	c cleaning 10000 clauses out of 20015 with flag 3761001/6150471
556.64/553.80	c cleaning 10001 clauses out of 20014 with flag 3771000/6160470
557.54/554.60	c cleaning 9998 clauses out of 20014 with flag 3781001/6170471
558.46/555.56	c cleaning 9999 clauses out of 20016 with flag 3791001/6180471
559.34/556.48	c cleaning 10003 clauses out of 20016 with flag 3801000/6190470
560.14/557.27	c cleaning 10002 clauses out of 20013 with flag 3811000/6200470
561.04/558.19	c cleaning 10000 clauses out of 20011 with flag 3821000/6210470
561.95/559.05	c cleaning 9998 clauses out of 20011 with flag 3831000/6220470
562.65/559.77	c cleaning 9994 clauses out of 20013 with flag 3841000/6230470
563.55/560.65	c cleaning 10007 clauses out of 20021 with flag 3851002/6240472
564.45/561.54	c cleaning 9999 clauses out of 20013 with flag 3861001/6250471
565.35/562.49	c cleaning 10004 clauses out of 20014 with flag 3871001/6260471
566.25/563.35	c cleaning 9998 clauses out of 20010 with flag 3881001/6270471
567.17/564.27	c cleaning 10002 clauses out of 20012 with flag 3891001/6280471
568.06/565.14	c cleaning 9998 clauses out of 20009 with flag 3901000/6290470
568.86/565.98	c cleaning 10001 clauses out of 20012 with flag 3911001/6300471
569.66/566.75	c cleaning 9996 clauses out of 20010 with flag 3921000/6310470
570.58/567.62	c cleaning 10003 clauses out of 20014 with flag 3931000/6320470
571.36/568.44	c cleaning 9999 clauses out of 20012 with flag 3941001/6330471
572.26/569.34	c cleaning 10003 clauses out of 20013 with flag 3951001/6340471
573.36/570.41	c cleaning 10002 clauses out of 20011 with flag 3961002/6350472
574.26/571.32	c cleaning 9999 clauses out of 20007 with flag 3971000/6360470
575.06/572.10	c cleaning 9999 clauses out of 20009 with flag 3981001/6370471
576.08/573.13	c cleaning 10003 clauses out of 20011 with flag 3991002/6380472
577.20/574.26	c cleaning 9997 clauses out of 20006 with flag 4001000/6390470
578.19/575.31	c cleaning 9999 clauses out of 20009 with flag 4011000/6400470
579.29/576.39	c cleaning 9999 clauses out of 20010 with flag 4021000/6410470
580.28/577.40	c cleaning 10000 clauses out of 20012 with flag 4031001/6420471
581.39/578.41	c cleaning 10001 clauses out of 20012 with flag 4041001/6430471
582.39/579.42	c cleaning 9999 clauses out of 20011 with flag 4051001/6440471
583.30/580.40	c cleaning 10001 clauses out of 20011 with flag 4061000/6450470
584.40/581.45	c cleaning 10001 clauses out of 20011 with flag 4071001/6460471
585.50/582.50	c cleaning 10002 clauses out of 20010 with flag 4081001/6470471
586.50/583.51	c cleaning 9996 clauses out of 20008 with flag 4091001/6480471
587.51/584.60	c cleaning 10004 clauses out of 20012 with flag 4101001/6490471
588.61/585.68	c cleaning 9997 clauses out of 20007 with flag 4111001/6500471
589.71/586.71	c cleaning 10001 clauses out of 20009 with flag 4121000/6510470
590.72/587.74	c cleaning 10000 clauses out of 20007 with flag 4131000/6520470
591.62/588.69	c cleaning 10002 clauses out of 20005 with flag 4141000/6530470
591.82/588.83	c starts		: 276
591.82/588.83	c conflicts		: 6531741
591.82/588.83	c decisions		: 6641659
591.82/588.83	c propagations		: 141602181
591.82/588.83	c inspects		: 4016462134
591.82/588.83	c shortcuts		: 0
591.82/588.83	c learnt literals	: 26
591.82/588.83	c learnt binary clauses	: 148
591.82/588.83	c learnt ternary clauses	: 594
591.82/588.83	c learnt constraints	: 6531714
591.82/588.83	c ignored constraints	: 0
591.82/588.83	c root simplifications	: 0
591.82/588.83	c removed literals (reason simplification)	: 275401575
591.82/588.83	c reason swapping (by a shorter reason)	: 0
591.82/588.83	c Calls to reduceDB	: 656
591.82/588.83	c number of reductions to clauses (during analyze)	: 0
591.82/588.83	c number of learned constraints concerned by reduction	: 0
591.82/588.83	c number of learning phase by resolution	: 0
591.82/588.83	c number of learning phase by cutting planes	: 0
591.82/588.83	c speed (assignments/second)	: 388673.1545171579
591.82/588.83	c non guided choices	15930
591.82/588.83	c learnt constraints type 
591.82/588.83	c constraints type 
591.82/588.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
591.82/588.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
591.82/588.83	s OPTIMUM FOUND
591.82/588.83	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 
591.82/588.83	c objective function=3
591.82/588.83	c Total wall clock time (in seconds): 588.722

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-3458131-1307158164/watcher-3458131-1307158164 -o /tmp/evaluation-result-3458131-1307158164/solver-3458131-1307158164 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458131-1307158164.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.03 1.95 3/535 15184
/proc/meminfo: memFree=21455704/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 3873 0 1 0 0 0 0 0 25 0 2 0 827413135 13850947584 3577 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3381579 3591 917 9 0 3372735 0
[pid=15184/tid=15185] ppid=15182 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 7330 0 1 0 0 0 0 0 25 0 2 0 827413136 13850947584 8146 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0403341 s]
/proc/loadavg: 2.02 2.03 1.95 3/535 15184
/proc/meminfo: memFree=21455704/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13548452 CPUtime=0.03 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 13564 0 1 0 2 1 0 0 25 0 12 0 827413135 13873614848 13264 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3387113 13265 1629 9 0 3377861 0
[pid=15184/tid=15185] ppid=15182 vsize=13548452 CPUtime=0.03 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 12441 0 1 0 2 1 0 0 25 0 12 0 827413136 13873614848 13265 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 47940805384211 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13548452

[startup+0.100297 s]
/proc/loadavg: 2.02 2.03 1.95 3/535 15184
/proc/meminfo: memFree=21455704/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13621732 CPUtime=0.1 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 15540 0 1 0 9 1 0 0 25 0 18 0 827413135 13948653568 15201 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3405433 15202 2092 9 0 3396167 0
[pid=15184/tid=15185] ppid=15182 vsize=13621732 CPUtime=0.08 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 13581 0 1 0 7 1 0 0 18 0 18 0 827413136 13948653568 15202 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254500352321 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621732

[startup+0.305706 s]
/proc/loadavg: 2.02 2.03 1.95 3/535 15184
/proc/meminfo: memFree=21455704/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13625284 CPUtime=0.53 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 18385 0 1 0 51 2 0 0 25 0 19 0 827413135 13952290816 17292 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3406321 17292 2214 9 0 3397055 0
[pid=15184/tid=15185] ppid=15182 vsize=13625284 CPUtime=0.28 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 14506 0 1 0 27 1 0 0 19 0 19 0 827413136 13952290816 17292 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625284

[startup+0.700186 s]
/proc/loadavg: 2.02 2.03 1.95 3/535 15184
/proc/meminfo: memFree=21455704/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13625448 CPUtime=1.04 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 19167 0 1 0 102 2 0 0 25 0 19 0 827413135 13952458752 18024 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3406362 18024 2220 9 0 3397096 0
[pid=15184/tid=15185] ppid=15182 vsize=13625448 CPUtime=0.68 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 15163 0 1 0 67 1 0 0 19 0 19 0 827413136 13952458752 18024 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505551348 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13625448

[startup+1.50103 s]
/proc/loadavg: 2.02 2.03 1.95 4/554 15203
/proc/meminfo: memFree=21386680/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13625448 CPUtime=1.9 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 21268 0 1 0 188 2 0 0 25 0 19 0 827413135 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3406362 20031 2248 9 0 3397096 0
[pid=15184/tid=15185] ppid=15182 vsize=13625448 CPUtime=1.44 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 15214 0 1 0 143 1 0 0 20 0 19 0 827413136 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505596689 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15184/tid=15187] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13625448 CPUtime=0.02 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) S 15182 15184 7151 0 -1 4202560 860 0 0 0 2 0 0 0 16 0 19 0 827413139 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13625448 CPUtime=0.2 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1212 0 0 0 20 0 0 0 16 0 19 0 827413141 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13625448 CPUtime=0.2 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 1736 0 0 0 20 0 0 0 15 0 19 0 827413141 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15201] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15201/stat : 15201 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15202] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15202/stat : 15202 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827413141 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15203] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15203/stat : 15203 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827413157 13952458752 20031 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13625448

[startup+3.10072 s]
/proc/loadavg: 2.02 2.03 1.95 3/554 15203
/proc/meminfo: memFree=21381092/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13625448 CPUtime=3.56 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 21865 0 1 0 353 3 0 0 25 0 19 0 827413135 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3406362 20436 2249 9 0 3397096 0
[pid=15184/tid=15185] ppid=15182 vsize=13625448 CPUtime=3.01 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 15216 0 1 0 300 1 0 0 25 0 19 0 827413136 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505644699 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15184/tid=15187] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13625448 CPUtime=0.05 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) S 15182 15184 7151 0 -1 4202560 1179 0 0 0 5 0 0 0 16 0 19 0 827413139 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13625448 CPUtime=0.24 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1415 0 0 0 24 0 0 0 15 0 19 0 827413141 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13625448 CPUtime=0.21 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 1736 0 0 0 21 0 0 0 15 0 19 0 827413141 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15201] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15201/stat : 15201 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15202] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15202/stat : 15202 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827413141 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15203] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15203/stat : 15203 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827413157 13952458752 20436 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13625448

[startup+6.30108 s]
/proc/loadavg: 2.02 2.03 1.95 3/554 15203
/proc/meminfo: memFree=21378936/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13625448 CPUtime=6.77 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 22323 0 1 0 674 3 0 0 25 0 19 0 827413135 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3406362 20835 2249 9 0 3397096 0
[pid=15184/tid=15185] ppid=15182 vsize=13625448 CPUtime=6.17 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 15219 0 1 0 616 1 0 0 25 0 19 0 827413136 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505602288 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15184/tid=15187] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 827413138 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13625448 CPUtime=0.08 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) S 15182 15184 7151 0 -1 4202560 1614 0 0 0 8 0 0 0 16 0 19 0 827413139 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13625448 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13625448 CPUtime=0.24 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1415 0 0 0 24 0 0 0 15 0 19 0 827413141 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13625448 CPUtime=0.21 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 1736 0 0 0 21 0 0 0 15 0 19 0 827413141 13952458752 20835 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0

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

/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 393 0 0 0 43 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13640984 CPUtime=0.46 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 104 0 0 0 45 1 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 98 0 0 0 39 1 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13640984 CPUtime=0.37 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 65 0 0 0 37 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13640984 CPUtime=0.39 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 192 0 0 0 39 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13640984 CPUtime=0.42 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 465 0 0 0 42 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 476 0 0 0 40 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 425 0 0 0 43 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13640984 CPUtime=18.48 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) S 15182 15184 7151 0 -1 4202560 8939 0 0 0 1836 12 0 0 15 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13640984 CPUtime=0.35 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1971 0 0 0 35 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13640984 CPUtime=0.89 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 9803 0 0 0 88 1 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15201] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15201/stat : 15201 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15202] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15202/stat : 15202 (java) S 15182 15184 7151 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15203] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15203/stat : 15203 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827413157 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 590.92
Current children cumulated vsize (KiB) 13640984

[startup+588.301 s]
/proc/loadavg: 2.01 2.03 1.98 3/554 15218
/proc/meminfo: memFree=21323324/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13640984 CPUtime=591.32 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 39994 0 1 0 59108 24 0 0 25 0 19 0 827413135 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3410246 33356 2250 9 0 3400980 0
[pid=15184/tid=15185] ppid=15182 vsize=13640984 CPUtime=568.18 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 15880 0 1 0 56815 3 0 0 25 0 19 0 827413136 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505649113 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15184/tid=15187] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 393 0 0 0 43 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13640984 CPUtime=0.46 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 104 0 0 0 45 1 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 98 0 0 0 39 1 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13640984 CPUtime=0.37 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 65 0 0 0 37 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13640984 CPUtime=0.39 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 192 0 0 0 39 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13640984 CPUtime=0.42 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 465 0 0 0 42 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 476 0 0 0 40 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 425 0 0 0 43 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13640984 CPUtime=18.48 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) S 15182 15184 7151 0 -1 4202560 8939 0 0 0 1836 12 0 0 15 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13640984 CPUtime=0.35 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1971 0 0 0 35 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13640984 CPUtime=0.89 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 9803 0 0 0 88 1 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15201] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15201/stat : 15201 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15202] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15202/stat : 15202 (java) S 15182 15184 7151 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15203] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15203/stat : 15203 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827413157 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 591.32
Current children cumulated vsize (KiB) 13640984

[startup+588.701 s]
/proc/loadavg: 2.01 2.03 1.98 3/554 15218
/proc/meminfo: memFree=21323324/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13640984 CPUtime=591.72 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 39994 0 1 0 59148 24 0 0 25 0 19 0 827413135 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3410246 33356 2250 9 0 3400980 0
[pid=15184/tid=15185] ppid=15182 vsize=13640984 CPUtime=568.57 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) S 15182 15184 7151 0 -1 4202560 15880 0 1 0 56854 3 0 0 25 0 19 0 827413136 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15187] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 393 0 0 0 43 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13640984 CPUtime=0.46 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 104 0 0 0 45 1 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 98 0 0 0 39 1 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13640984 CPUtime=0.37 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 65 0 0 0 37 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13640984 CPUtime=0.39 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 192 0 0 0 39 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13640984 CPUtime=0.42 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 465 0 0 0 42 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 476 0 0 0 40 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 425 0 0 0 43 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13640984 CPUtime=18.48 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) R 15182 15184 7151 0 -1 4202560 8939 0 0 0 1836 12 0 0 15 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 47940802988245 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13640984 CPUtime=0.35 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1971 0 0 0 35 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13640984 CPUtime=0.89 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 9803 0 0 0 88 1 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15201] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15201/stat : 15201 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15202] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15202/stat : 15202 (java) S 15182 15184 7151 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15203] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15203/stat : 15203 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827413157 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 591.72
Current children cumulated vsize (KiB) 13640984

[startup+588.801 s]
/proc/loadavg: 2.01 2.03 1.98 3/554 15218
/proc/meminfo: memFree=21323324/32950928 swapFree=34259960/67111528
[pid=15184] ppid=15182 vsize=13640984 CPUtime=591.82 cores=1,3,5,7
/proc/15184/stat : 15184 (java) S 15182 15184 7151 0 -1 4202496 39995 0 1 0 59158 24 0 0 25 0 19 0 827413135 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15184/statm: 3410246 33356 2250 9 0 3400980 0
[pid=15184/tid=15185] ppid=15182 vsize=13640984 CPUtime=568.64 cores=1,3,5,7
/proc/15184/task/15185/stat : 15185 (java) R 15182 15184 7151 0 -1 4202560 15881 0 1 0 56861 3 0 0 25 0 19 0 827413136 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 46912505602698 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15184/tid=15187] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15187/stat : 15187 (java) S 15182 15184 7151 0 -1 4202560 393 0 0 0 43 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15188] ppid=15182 vsize=13640984 CPUtime=0.46 cores=1,3,5,7
/proc/15184/task/15188/stat : 15188 (java) S 15182 15184 7151 0 -1 4202560 104 0 0 0 45 1 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15189] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15189/stat : 15189 (java) S 15182 15184 7151 0 -1 4202560 98 0 0 0 39 1 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15190] ppid=15182 vsize=13640984 CPUtime=0.37 cores=1,3,5,7
/proc/15184/task/15190/stat : 15190 (java) S 15182 15184 7151 0 -1 4202560 65 0 0 0 37 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15191] ppid=15182 vsize=13640984 CPUtime=0.39 cores=1,3,5,7
/proc/15184/task/15191/stat : 15191 (java) S 15182 15184 7151 0 -1 4202560 192 0 0 0 39 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15192] ppid=15182 vsize=13640984 CPUtime=0.42 cores=1,3,5,7
/proc/15184/task/15192/stat : 15192 (java) S 15182 15184 7151 0 -1 4202560 465 0 0 0 42 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15193] ppid=15182 vsize=13640984 CPUtime=0.4 cores=1,3,5,7
/proc/15184/task/15193/stat : 15193 (java) S 15182 15184 7151 0 -1 4202560 476 0 0 0 40 0 0 0 15 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15194] ppid=15182 vsize=13640984 CPUtime=0.43 cores=1,3,5,7
/proc/15184/task/15194/stat : 15194 (java) S 15182 15184 7151 0 -1 4202560 425 0 0 0 43 0 0 0 16 0 19 0 827413138 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15195] ppid=15182 vsize=13640984 CPUtime=18.52 cores=1,3,5,7
/proc/15184/task/15195/stat : 15195 (java) S 15182 15184 7151 0 -1 4202560 8939 0 0 0 1840 12 0 0 15 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 0 0 16800975 18446604470506084224 0 0 -1 5 0 0 0
[pid=15184/tid=15196] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15196/stat : 15196 (java) S 15182 15184 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15197] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15197/stat : 15197 (java) S 15182 15184 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827413139 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15198] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15198/stat : 15198 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512515505 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15199] ppid=15182 vsize=13640984 CPUtime=0.35 cores=1,3,5,7
/proc/15184/task/15199/stat : 15199 (java) S 15182 15184 7151 0 -1 4202560 1971 0 0 0 35 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15200] ppid=15182 vsize=13640984 CPUtime=0.89 cores=1,3,5,7
/proc/15184/task/15200/stat : 15200 (java) S 15182 15184 7151 0 -1 4202560 9803 0 0 0 88 1 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
[pid=15184/tid=15201] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15201/stat : 15201 (java) S 15182 15184 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512507801 0 4 0 16800975 18446604470506084224 0 0 -1 1 0 0 0
[pid=15184/tid=15202] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15202/stat : 15202 (java) S 15182 15184 7151 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827413141 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 3 0 0 0
[pid=15184/tid=15203] ppid=15182 vsize=13640984 CPUtime=0 cores=1,3,5,7
/proc/15184/task/15203/stat : 15203 (java) S 15182 15184 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827413157 13968367616 33356 33554432000 1073741824 1073778376 140736967275040 18446744073709551615 254512508416 0 4 0 16800975 18446604470506084224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 591.82
Current children cumulated vsize (KiB) 13640984

Child status: 30
Real time (s): 588.855
CPU time (s): 591.876
CPU user time (s): 591.622
CPU system time (s): 0.253961
CPU usage (%): 100.513
Max. virtual memory (cumulated for all children) (KiB): 13649204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.622
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40025
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= 30151
involuntary context switches= 13585

runsolver used 3.05854 second user time and 7.01093 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 05:29:25
IDJOB=3458131
IDBENCH=47951
IDSOLVER=1952
FILE ID=node149/3458131-1307158164
RUNJOBID= node149-1307156022-13968
PBS_JOBID= 13508767
Free space on /tmp= 73764 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=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458131-1307158164/watcher-3458131-1307158164 -o /tmp/evaluation-result-3458131-1307158164/solver-3458131-1307158164 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458131-1307158164.opb

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

MD5SUM BENCH= c7fd9e5ff885ee342a28d015ab19e648
RANDOM SEED=2109320143

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21455968 kB
Buffers:        334336 kB
Cached:        3253168 kB
SwapCached:     123196 kB
Active:         441588 kB
Inactive:     10716872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21455968 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:             440 kB
Writeback:           0 kB
AnonPages:     7472100 kB
Mapped:          26216 kB
Slab:           148176 kB
PageTables:     118024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186526764 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= 73764 MiB
End job on node149 at 2011-06-04 05:39:13