Trace number 3453706

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 Res//CP 2.3.0OPT3 1239.48 676.401

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb
MD5SUM8b00ea770361f301179000d52beb4a25
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 benchmark3.98439
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No 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-3453706-1307194073.opb
0.10/0.11	c reading problem ... 
0.27/0.24	c ... done. Wall clock time 0.135s.
0.27/0.24	c #vars     972
0.27/0.24	c #constraints  1486
0.27/0.24	c constraints type 
0.27/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.27/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
0.27/0.24	c constraints type 
0.27/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 729
0.27/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 757
0.99/0.91	c cleaning 2497 clauses out of 5000 with flag 5000/5000
4.73/1.52	c cleaning 4252 clauses out of 8503 with flag 11000/11000
6.31/2.39	c cleaning 5626 clauses out of 11252 with flag 18001/18001
7.89/3.19	c cleaning 6810 clauses out of 13625 with flag 26000/26000
9.32/3.84	c cleaning 7899 clauses out of 15815 with flag 35000/35000
11.06/4.71	c cleaning 8955 clauses out of 17917 with flag 45001/45001
13.04/5.72	c cleaning 9474 clauses out of 18961 with flag 55000/55000
14.42/6.43	c cleaning 9731 clauses out of 19487 with flag 65000/65000
15.97/7.27	c cleaning 9877 clauses out of 19757 with flag 75001/75001
17.76/8.20	c cleaning 9933 clauses out of 19880 with flag 85001/85001
19.50/9.04	c cleaning 9966 clauses out of 19948 with flag 95002/95002
21.05/9.85	c cleaning 9990 clauses out of 19980 with flag 105000/105000
22.79/10.77	c cleaning 9992 clauses out of 19990 with flag 115000/115000
24.55/11.60	c cleaning 9998 clauses out of 19999 with flag 125001/125001
26.33/12.59	c cleaning 9979 clauses out of 20000 with flag 135000/135000
27.66/13.20	c cleaning 10005 clauses out of 20022 with flag 145001/145001
29.19/14.01	c cleaning 9996 clauses out of 20016 with flag 155000/155000
31.34/15.15	c cleaning 9993 clauses out of 20020 with flag 165000/165000
33.29/16.17	c cleaning 10005 clauses out of 20027 with flag 175000/175000
35.24/17.19	c cleaning 10003 clauses out of 20022 with flag 185000/185000
37.00/18.09	c cleaning 10004 clauses out of 20019 with flag 195000/195000
38.72/18.96	c cleaning 10002 clauses out of 20015 with flag 205000/205000
40.47/19.84	c cleaning 10003 clauses out of 20013 with flag 215000/215000
42.61/20.90	c cleaning 10004 clauses out of 20011 with flag 225001/225001
44.54/21.97	c cleaning 10001 clauses out of 20007 with flag 235001/235001
46.09/22.73	c cleaning 9995 clauses out of 20005 with flag 245000/245000
47.87/23.67	c cleaning 9997 clauses out of 20010 with flag 255000/255000
49.58/24.54	c cleaning 10005 clauses out of 20015 with flag 265002/265002
51.31/25.49	c cleaning 10001 clauses out of 20009 with flag 275001/275001
52.85/26.26	c cleaning 9997 clauses out of 20008 with flag 285001/285001
54.79/27.28	c cleaning 9994 clauses out of 20011 with flag 295001/295001
56.93/28.34	c cleaning 9996 clauses out of 20016 with flag 305000/305000
58.85/29.37	c cleaning 10000 clauses out of 20020 with flag 315000/315000
60.42/30.22	c cleaning 10003 clauses out of 20020 with flag 325000/325000
61.93/30.95	c cleaning 10000 clauses out of 20017 with flag 335000/335000
63.27/31.66	c cleaning 9994 clauses out of 20017 with flag 345000/345000
65.39/32.73	c cleaning 10002 clauses out of 20023 with flag 355000/355000
67.53/33.84	c cleaning 10000 clauses out of 20021 with flag 365000/365000
69.67/34.94	c cleaning 9997 clauses out of 20021 with flag 375000/375000
72.01/36.11	c cleaning 10000 clauses out of 20025 with flag 385001/385001
74.13/37.24	c cleaning 10002 clauses out of 20024 with flag 395000/395000
76.06/38.25	c cleaning 10000 clauses out of 20023 with flag 405001/405001
78.30/39.29	c cleaning 10004 clauses out of 20023 with flag 415001/415001
81.05/40.47	c cleaning 10003 clauses out of 20018 with flag 425000/425000
82.59/41.28	c cleaning 10003 clauses out of 20016 with flag 435001/435001
84.29/42.17	c cleaning 10003 clauses out of 20013 with flag 445001/445001
85.62/42.89	c cleaning 9995 clauses out of 20010 with flag 455001/455001
87.35/43.70	c cleaning 10000 clauses out of 20014 with flag 465000/465000
88.89/44.59	c cleaning 9994 clauses out of 20015 with flag 475001/475001
90.82/45.56	c cleaning 9995 clauses out of 20020 with flag 485000/485000
92.72/46.58	c cleaning 9996 clauses out of 20027 with flag 495002/495002
94.05/47.29	c cleaning 0 clauses out of 5000 with flag 0/5000
95.46/47.87	c cleaning 10002 clauses out of 20029 with flag 505000/505000
97.48/48.85	c cleaning 9996 clauses out of 20027 with flag 515000/515000
99.20/49.72	c cleaning 10006 clauses out of 20030 with flag 525000/525000
100.74/50.56	c cleaning 10001 clauses out of 20024 with flag 535000/535000
102.43/51.40	c cleaning 9996 clauses out of 20023 with flag 545000/545000
104.37/52.49	c cleaning 9993 clauses out of 20027 with flag 555000/555000
106.13/53.37	c cleaning 10010 clauses out of 20034 with flag 565000/565000
107.62/54.12	c cleaning 9999 clauses out of 20024 with flag 575000/575000
110.13/55.43	c cleaning 9997 clauses out of 20026 with flag 585001/585001
112.63/56.72	c cleaning 10000 clauses out of 20029 with flag 595001/595001
115.15/58.00	c cleaning 10007 clauses out of 20028 with flag 605000/605000
117.47/59.26	c cleaning 10003 clauses out of 20021 with flag 615000/615000
119.96/60.57	c cleaning 10004 clauses out of 20020 with flag 625002/625002
122.28/61.73	c cleaning 10003 clauses out of 20015 with flag 635001/635001
124.21/62.74	c cleaning 10000 clauses out of 20011 with flag 645000/645000
126.52/63.94	c cleaning 9999 clauses out of 20011 with flag 655000/655000
129.01/65.21	c cleaning 10001 clauses out of 20012 with flag 665000/665000
131.57/66.53	c cleaning 10001 clauses out of 20011 with flag 675000/675000
133.04/67.37	c cleaning 9992 clauses out of 20010 with flag 685000/685000
134.96/68.34	c cleaning 10000 clauses out of 20020 with flag 695002/695002
137.24/69.59	c cleaning 10001 clauses out of 20019 with flag 705001/705001
139.79/70.82	c cleaning 10003 clauses out of 20017 with flag 715000/715000
141.90/72.01	c cleaning 10001 clauses out of 20014 with flag 725000/725000
144.38/73.20	c cleaning 10004 clauses out of 20013 with flag 735000/735000
146.67/74.43	c cleaning 10002 clauses out of 20009 with flag 745000/745000
148.78/75.53	c cleaning 9997 clauses out of 20007 with flag 755000/755000
151.10/76.76	c cleaning 10000 clauses out of 20011 with flag 765001/765001
153.61/78.00	c cleaning 10001 clauses out of 20011 with flag 775001/775001
155.50/79.06	c cleaning 9999 clauses out of 20010 with flag 785001/785001
157.81/80.20	c cleaning 10000 clauses out of 20010 with flag 795000/795000
159.32/81.05	c cleaning 10001 clauses out of 20013 with flag 805003/805003
160.85/81.82	c cleaning 9995 clauses out of 20010 with flag 815001/815001
162.30/82.67	c cleaning 10000 clauses out of 20014 with flag 825000/825000
163.61/83.39	c cleaning 10000 clauses out of 20015 with flag 835001/835001
165.32/84.20	c cleaning 10000 clauses out of 20017 with flag 845003/845003
166.63/84.98	c cleaning 9996 clauses out of 20015 with flag 855001/855001
167.91/85.67	c cleaning 9994 clauses out of 20020 with flag 865002/865002
169.42/86.44	c cleaning 9991 clauses out of 20024 with flag 875000/875000
171.16/87.34	c cleaning 9998 clauses out of 20033 with flag 885000/885000
173.04/88.39	c cleaning 10000 clauses out of 20036 with flag 895001/895001
174.70/89.28	c cleaning 9997 clauses out of 20037 with flag 905002/905002
176.41/90.17	c cleaning 10001 clauses out of 20039 with flag 915001/915001
178.32/91.15	c cleaning 9999 clauses out of 20038 with flag 925001/925001
180.42/92.21	c cleaning 10014 clauses out of 20038 with flag 935000/935000
182.69/93.48	c cleaning 10006 clauses out of 20024 with flag 945000/945000
185.19/94.70	c cleaning 10002 clauses out of 20018 with flag 955000/955000
187.50/95.94	c cleaning 10004 clauses out of 20016 with flag 965000/965000
189.61/97.00	c cleaning 10000 clauses out of 20012 with flag 975000/975000
190.87/97.74	c cleaning 9999 clauses out of 20012 with flag 985000/985000
192.98/98.81	c cleaning 9994 clauses out of 20014 with flag 995001/995001
194.88/99.84	c cleaning 9999 clauses out of 20020 with flag 1005001/1005001
197.39/101.17	c cleaning 10003 clauses out of 20021 with flag 1015001/1015001
199.25/102.12	c cleaning 10001 clauses out of 20019 with flag 1025002/1025002
201.14/103.18	c cleaning 9996 clauses out of 20016 with flag 1035000/1035000
203.05/104.12	c cleaning 10001 clauses out of 20020 with flag 1045000/1045000
204.57/104.96	c cleaning 10001 clauses out of 20019 with flag 1055000/1055000
206.41/105.98	c cleaning 9999 clauses out of 20018 with flag 1065000/1065000
208.74/107.16	c cleaning 10004 clauses out of 20019 with flag 1075000/1075000
211.05/108.32	c cleaning 9998 clauses out of 20016 with flag 1085001/1085001
213.31/109.54	c cleaning 10000 clauses out of 20018 with flag 1095001/1095001
215.77/110.87	c cleaning 9999 clauses out of 20018 with flag 1105001/1105001
218.07/112.09	c cleaning 10001 clauses out of 20019 with flag 1115001/1115001
220.37/113.27	c cleaning 10004 clauses out of 20017 with flag 1125000/1125000
221.87/114.05	c cleaning 9990 clauses out of 20013 with flag 1135000/1135000
223.13/114.73	c cleaning 10002 clauses out of 20024 with flag 1145001/1145001
224.43/115.49	c cleaning 9997 clauses out of 20022 with flag 1155001/1155001
226.13/116.33	c cleaning 10002 clauses out of 20025 with flag 1165001/1165001
227.45/117.04	c cleaning 9998 clauses out of 20022 with flag 1175000/1175000
228.88/117.81	c cleaning 9998 clauses out of 20025 with flag 1185001/1185001
230.38/118.68	c cleaning 9999 clauses out of 20027 with flag 1195001/1195001
231.88/119.44	c cleaning 10003 clauses out of 20027 with flag 1205000/1205000
233.60/120.32	c cleaning 10000 clauses out of 20025 with flag 1215001/1215001
235.22/121.27	c cleaning 10005 clauses out of 20025 with flag 1225001/1225001
237.11/122.27	c cleaning 9999 clauses out of 20020 with flag 1235001/1235001
239.21/123.34	c cleaning 10001 clauses out of 20021 with flag 1245001/1245001
240.31/123.99	c cleaning 9991 clauses out of 20019 with flag 1255000/1255000
241.56/124.68	c cleaning 9992 clauses out of 20029 with flag 1265001/1265001
242.87/125.34	c cleaning 10003 clauses out of 20036 with flag 1275000/1275000
244.16/126.04	c cleaning 10004 clauses out of 20033 with flag 1285000/1285000
245.46/126.75	c cleaning 10000 clauses out of 20031 with flag 1295002/1295002
246.90/127.56	c cleaning 9998 clauses out of 20029 with flag 1305000/1305000
247.59/127.91	c  And the winner is Resolution
247.69/128.02	c SATISFIABLE
247.69/128.02	c OPTIMIZING...
247.69/128.02	c Got one! Elapsed wall clock time (in seconds):127.918
247.69/128.02	o 9
247.69/128.09	c cleaning 7697 clauses out of 15414 with flag 1000/1310383
248.52/128.55	c cleaning 6843 clauses out of 13717 with flag 7000/1316383
249.41/129.08	c cleaning 6927 clauses out of 13874 with flag 14000/1323383
250.85/129.80	c cleaning 7461 clauses out of 14948 with flag 22001/1331384
252.15/130.52	c cleaning 8228 clauses out of 16488 with flag 31002/1340385
253.44/131.30	c cleaning 9120 clauses out of 18258 with flag 41000/1350383
254.97/132.07	c cleaning 9550 clauses out of 19138 with flag 51000/1360383
256.41/132.89	c cleaning 9774 clauses out of 19588 with flag 61000/1370383
257.95/133.67	c cleaning 9889 clauses out of 19816 with flag 71002/1380385
259.40/134.45	c cleaning 9937 clauses out of 19926 with flag 81001/1390384
261.29/135.50	c cleaning 9975 clauses out of 19989 with flag 91001/1400384
263.13/136.48	c cleaning 9985 clauses out of 20014 with flag 101001/1410384
264.61/137.26	c cleaning 9992 clauses out of 20028 with flag 111000/1420383
266.14/138.03	c cleaning 9998 clauses out of 20037 with flag 121001/1430384
267.78/138.90	c cleaning 9995 clauses out of 20039 with flag 131001/1440384
269.22/139.76	c cleaning 9999 clauses out of 20044 with flag 141001/1450384
270.71/140.55	c cleaning 10021 clauses out of 20045 with flag 151001/1460384
272.79/141.61	c cleaning 10009 clauses out of 20024 with flag 161001/1470384
274.68/142.65	c cleaning 9995 clauses out of 20014 with flag 171000/1480383
276.51/143.69	c cleaning 10007 clauses out of 20020 with flag 181001/1490384
278.43/144.65	c cleaning 9995 clauses out of 20013 with flag 191001/1500384
280.30/145.62	c cleaning 10001 clauses out of 20018 with flag 201001/1510384
281.76/146.40	c cleaning 9990 clauses out of 20017 with flag 211001/1520384
283.19/147.30	c cleaning 9992 clauses out of 20026 with flag 221000/1530383
284.87/148.18	c cleaning 10000 clauses out of 20037 with flag 231003/1540386
286.15/148.91	c cleaning 10004 clauses out of 20034 with flag 241000/1550383
288.03/149.83	c cleaning 9998 clauses out of 20031 with flag 251001/1560384
290.49/151.15	c cleaning 9998 clauses out of 20032 with flag 261000/1570383
292.79/152.35	c cleaning 10000 clauses out of 20034 with flag 271000/1580383
294.87/153.43	c cleaning 10005 clauses out of 20037 with flag 281003/1590386
296.32/154.26	c cleaning 9997 clauses out of 20029 with flag 291000/1600383
297.94/155.10	c cleaning 9998 clauses out of 20032 with flag 301000/1610383
299.43/155.90	c cleaning 10001 clauses out of 20035 with flag 311001/1620384
300.74/156.68	c cleaning 9996 clauses out of 20033 with flag 321000/1630383
302.19/157.50	c cleaning 10001 clauses out of 20037 with flag 331000/1640383
303.82/158.34	c cleaning 9998 clauses out of 20036 with flag 341000/1650383
305.50/159.27	c cleaning 10007 clauses out of 20038 with flag 351000/1660383
307.98/160.51	c cleaning 10006 clauses out of 20032 with flag 361001/1670384
310.26/161.80	c cleaning 10004 clauses out of 20025 with flag 371000/1680383
312.88/163.16	c cleaning 10002 clauses out of 20021 with flag 381000/1690383
315.77/164.60	c cleaning 9998 clauses out of 20019 with flag 391000/1700383
318.45/166.08	c cleaning 9999 clauses out of 20021 with flag 401000/1710383
321.33/167.51	c cleaning 9999 clauses out of 20022 with flag 411000/1720383
324.16/169.09	c cleaning 10001 clauses out of 20024 with flag 421001/1730384
327.24/170.69	c cleaning 10003 clauses out of 20022 with flag 431000/1740383
329.94/172.02	c cleaning 10003 clauses out of 20019 with flag 441000/1750383
332.02/173.13	c cleaning 9999 clauses out of 20017 with flag 451001/1760384
333.83/174.14	c cleaning 10000 clauses out of 20019 with flag 461002/1770385
335.31/174.92	c cleaning 9988 clauses out of 20017 with flag 471000/1780383
336.79/175.76	c cleaning 9991 clauses out of 20030 with flag 481001/1790384
337.68/176.25	c  And the winner is Resolution
337.83/176.40	c Got one! Elapsed wall clock time (in seconds):176.293
337.83/176.40	o 5
338.49/176.70	c cleaning 10812 clauses out of 21650 with flag 5001/1801995
339.51/177.33	c cleaning 8403 clauses out of 16837 with flag 11000/1807994
340.79/178.06	c cleaning 7700 clauses out of 15434 with flag 18000/1814994
342.47/178.95	c cleaning 7850 clauses out of 15736 with flag 26002/1822996
344.34/179.96	c cleaning 8432 clauses out of 16885 with flag 35001/1831995
346.96/181.35	c cleaning 9214 clauses out of 18452 with flag 45000/1841994
349.44/182.66	c cleaning 9606 clauses out of 19238 with flag 55000/1851994
351.51/183.71	c cleaning 9803 clauses out of 19634 with flag 65002/1861996
353.38/184.79	c cleaning 9903 clauses out of 19829 with flag 75000/1871994
355.43/185.83	c cleaning 9945 clauses out of 19926 with flag 85000/1881994
357.71/187.03	c cleaning 9977 clauses out of 19982 with flag 95001/1891995
360.61/188.53	c cleaning 9984 clauses out of 20005 with flag 105001/1901995
362.45/189.52	c cleaning 9996 clauses out of 20021 with flag 115001/1911995
364.07/190.40	c cleaning 9990 clauses out of 20024 with flag 125000/1921994
365.55/191.28	c cleaning 9995 clauses out of 20034 with flag 135000/1931994
367.22/192.11	c cleaning 10000 clauses out of 20040 with flag 145001/1941995
368.48/192.89	c cleaning 9991 clauses out of 20039 with flag 155000/1951994
370.95/194.15	c cleaning 9991 clauses out of 20049 with flag 165001/1961995
373.03/195.26	c cleaning 9999 clauses out of 20058 with flag 175001/1971995
375.26/196.49	c cleaning 10006 clauses out of 20059 with flag 185001/1981995
377.93/197.82	c cleaning 10004 clauses out of 20053 with flag 195001/1991995
380.57/199.22	c cleaning 9998 clauses out of 20048 with flag 205000/2001994
383.04/200.51	c cleaning 9999 clauses out of 20050 with flag 215000/2011994
385.34/201.75	c cleaning 10002 clauses out of 20051 with flag 225000/2021994
386.99/202.65	c cleaning 10016 clauses out of 20048 with flag 235000/2031994
388.41/203.46	c cleaning 9997 clauses out of 20032 with flag 245000/2041994
389.88/204.27	c cleaning 10001 clauses out of 20036 with flag 255001/2051995
391.38/205.10	c cleaning 10002 clauses out of 20035 with flag 265001/2061995
393.22/206.07	c cleaning 9996 clauses out of 20032 with flag 275000/2071994
394.64/206.88	c cleaning 9999 clauses out of 20037 with flag 285001/2081995
396.10/207.67	c cleaning 10000 clauses out of 20037 with flag 295000/2091994
397.78/208.57	c cleaning 9999 clauses out of 20039 with flag 305002/2101996
399.25/209.37	c cleaning 9997 clauses out of 20039 with flag 315001/2111995
401.07/210.33	c cleaning 10006 clauses out of 20043 with flag 325002/2121996
402.54/211.16	c cleaning 9998 clauses out of 20035 with flag 335000/2131994
404.60/212.20	c cleaning 10002 clauses out of 20037 with flag 345000/2141994
406.47/213.29	c cleaning 10000 clauses out of 20037 with flag 355002/2151996
408.28/214.21	c cleaning 10007 clauses out of 20035 with flag 365000/2161994
409.95/215.10	c cleaning 9995 clauses out of 20028 with flag 375000/2171994
411.42/215.91	c cleaning 10005 clauses out of 20035 with flag 385002/2181996
412.89/216.75	c cleaning 9997 clauses out of 20028 with flag 395000/2191994
414.30/217.60	c cleaning 10002 clauses out of 20031 with flag 405000/2201994
415.97/218.40	c cleaning 10001 clauses out of 20029 with flag 415000/2211994
417.43/219.24	c cleaning 10000 clauses out of 20029 with flag 425001/2221995
419.10/220.16	c cleaning 10001 clauses out of 20029 with flag 435001/2231995
420.91/221.10	c cleaning 9996 clauses out of 20027 with flag 445000/2241994
422.58/222.08	c cleaning 10012 clauses out of 20031 with flag 455000/2251994
424.45/223.07	c cleaning 10001 clauses out of 20019 with flag 465000/2261994
426.32/224.08	c cleaning 10000 clauses out of 20018 with flag 475000/2271994
427.15/224.57	c cleaning 0 clauses out of 11022 with flag 0/11022
428.64/225.31	c cleaning 9995 clauses out of 20018 with flag 485000/2281994
430.51/226.34	c cleaning 10008 clauses out of 20023 with flag 495000/2291994
432.38/227.36	c cleaning 10003 clauses out of 20016 with flag 505001/2301995
433.82/228.16	c cleaning 9993 clauses out of 20013 with flag 515001/2311995
435.26/228.96	c cleaning 9994 clauses out of 20020 with flag 525001/2321995
436.73/229.78	c cleaning 9999 clauses out of 20028 with flag 535003/2331997
438.61/230.72	c cleaning 10006 clauses out of 20026 with flag 545000/2341994
440.61/231.81	c cleaning 10005 clauses out of 20021 with flag 555001/2351995
442.48/232.87	c cleaning 10002 clauses out of 20015 with flag 565000/2361994
444.75/234.07	c cleaning 9993 clauses out of 20014 with flag 575001/2371995
446.61/235.01	c cleaning 10002 clauses out of 20020 with flag 585000/2381994
448.62/236.10	c cleaning 10001 clauses out of 20018 with flag 595000/2391994
450.11/236.94	c cleaning 9995 clauses out of 20018 with flag 605001/2401995
451.75/237.81	c cleaning 9993 clauses out of 20022 with flag 615000/2411994
453.42/238.70	c cleaning 10003 clauses out of 20030 with flag 625001/2421995
455.03/239.62	c cleaning 9998 clauses out of 20027 with flag 635001/2431995
456.49/240.45	c cleaning 10000 clauses out of 20029 with flag 645001/2441995
458.18/241.34	c cleaning 10000 clauses out of 20028 with flag 655000/2451994
460.02/242.36	c cleaning 9999 clauses out of 20028 with flag 665000/2461994
462.04/243.41	c cleaning 9998 clauses out of 20030 with flag 675001/2471995
462.50/243.74	c  And the winner is Resolution
462.71/244.06	c Got one! Elapsed wall clock time (in seconds):243.957
462.71/244.06	o 3
462.78/244.19	c cleaning 7619 clauses out of 15259 with flag 2005/2477222
464.04/244.80	c cleaning 6799 clauses out of 13635 with flag 8000/2483217
465.10/245.49	c cleaning 6901 clauses out of 13837 with flag 15001/2490218
466.70/246.39	c cleaning 7451 clauses out of 14936 with flag 23001/2498218
468.36/247.21	c cleaning 8226 clauses out of 16484 with flag 32000/2507217
470.02/248.16	c cleaning 9112 clauses out of 18259 with flag 42001/2517218
472.09/249.22	c cleaning 9555 clauses out of 19147 with flag 52001/2527218
474.10/250.38	c cleaning 9778 clauses out of 19591 with flag 62000/2537217
476.01/251.35	c cleaning 9889 clauses out of 19814 with flag 72001/2547218
477.63/252.30	c cleaning 9946 clauses out of 19924 with flag 82000/2557217
479.49/253.25	c cleaning 9973 clauses out of 19978 with flag 92000/2567217
481.10/254.17	c cleaning 9992 clauses out of 20005 with flag 102000/2577217
482.76/255.04	c cleaning 9998 clauses out of 20013 with flag 112000/2587217
484.42/255.97	c cleaning 10002 clauses out of 20016 with flag 122001/2597218
486.69/257.11	c cleaning 9998 clauses out of 20013 with flag 132000/2607217
489.09/258.40	c cleaning 9999 clauses out of 20015 with flag 142000/2617217
491.35/259.67	c cleaning 9994 clauses out of 20016 with flag 152000/2627217
493.61/260.81	c cleaning 10002 clauses out of 20023 with flag 162001/2637218
495.87/262.00	c cleaning 9997 clauses out of 20020 with flag 172000/2647217
498.07/263.29	c cleaning 9998 clauses out of 20023 with flag 182000/2657217
500.13/264.35	c cleaning 10000 clauses out of 20025 with flag 192000/2667217
502.19/265.44	c cleaning 10000 clauses out of 20025 with flag 202000/2677217
504.05/266.44	c cleaning 9995 clauses out of 20026 with flag 212001/2687218
506.05/267.53	c cleaning 10003 clauses out of 20031 with flag 222001/2697218
507.71/268.42	c cleaning 10000 clauses out of 20028 with flag 232001/2707218
509.57/269.41	c cleaning 10001 clauses out of 20028 with flag 242001/2717218
511.64/270.57	c cleaning 10009 clauses out of 20026 with flag 252000/2727217
513.63/271.60	c cleaning 9998 clauses out of 20019 with flag 262002/2737219
515.09/272.42	c cleaning 9999 clauses out of 20019 with flag 272000/2747217
516.58/273.25	c cleaning 9999 clauses out of 20020 with flag 282000/2757217
518.01/274.09	c cleaning 9997 clauses out of 20021 with flag 292000/2767217
519.79/275.06	c cleaning 9988 clauses out of 20024 with flag 302000/2777217
521.44/275.91	c cleaning 10005 clauses out of 20038 with flag 312002/2787219
522.89/276.79	c cleaning 10000 clauses out of 20031 with flag 322000/2797217
524.34/277.56	c cleaning 10002 clauses out of 20032 with flag 332001/2807218
525.92/278.43	c cleaning 9998 clauses out of 20030 with flag 342001/2817218
527.36/279.25	c cleaning 9997 clauses out of 20031 with flag 352000/2827217
528.80/280.02	c cleaning 10004 clauses out of 20035 with flag 362001/2837218
530.24/280.88	c cleaning 9994 clauses out of 20030 with flag 372000/2847217
532.21/281.92	c cleaning 10007 clauses out of 20037 with flag 382001/2857218
533.64/282.74	c cleaning 10000 clauses out of 20030 with flag 392001/2867218
535.08/283.58	c cleaning 10002 clauses out of 20030 with flag 402001/2877218
536.56/284.38	c cleaning 9999 clauses out of 20028 with flag 412001/2887218
538.32/285.34	c cleaning 9998 clauses out of 20029 with flag 422001/2897218
539.93/286.22	c cleaning 10000 clauses out of 20031 with flag 432001/2907218
541.77/287.23	c cleaning 9999 clauses out of 20031 with flag 442001/2917218
544.01/288.44	c cleaning 10000 clauses out of 20032 with flag 452001/2927218
545.78/289.44	c cleaning 10001 clauses out of 20032 with flag 462001/2937218
547.62/290.40	c cleaning 10011 clauses out of 20031 with flag 472001/2947218
549.46/291.43	c cleaning 9995 clauses out of 20021 with flag 482002/2957219
551.70/292.63	c cleaning 9996 clauses out of 20025 with flag 492001/2967218
554.07/293.91	c cleaning 9996 clauses out of 20029 with flag 502001/2977218
556.31/295.17	c cleaning 9999 clauses out of 20032 with flag 512000/2987217
558.79/296.47	c cleaning 10000 clauses out of 20034 with flag 522001/2997218
561.18/297.72	c cleaning 9997 clauses out of 20033 with flag 532000/3007217
562.97/298.73	c cleaning 10001 clauses out of 20036 with flag 542000/3017217
564.40/299.60	c cleaning 10004 clauses out of 20036 with flag 552001/3027218
566.04/300.48	c cleaning 10003 clauses out of 20032 with flag 562001/3037218
567.68/301.39	c cleaning 9997 clauses out of 20029 with flag 572001/3047218
569.84/302.52	c cleaning 10001 clauses out of 20031 with flag 582000/3057217
572.29/303.84	c cleaning 9999 clauses out of 20030 with flag 592000/3067217
574.52/305.04	c cleaning 10002 clauses out of 20032 with flag 602001/3077218
576.78/306.27	c cleaning 10002 clauses out of 20030 with flag 612001/3087218
579.12/307.52	c cleaning 9996 clauses out of 20027 with flag 622000/3097217
581.15/308.64	c cleaning 10004 clauses out of 20033 with flag 632002/3107219
583.39/309.82	c cleaning 9999 clauses out of 20027 with flag 642000/3117217
585.42/310.99	c cleaning 9998 clauses out of 20030 with flag 652002/3127219
588.01/312.31	c cleaning 9999 clauses out of 20030 with flag 662000/3137217
590.24/313.51	c cleaning 10001 clauses out of 20033 with flag 672002/3147219
592.48/314.72	c cleaning 10011 clauses out of 20029 with flag 682000/3157217
594.72/315.98	c cleaning 10008 clauses out of 20018 with flag 692000/3167217
597.12/317.24	c cleaning 10001 clauses out of 20011 with flag 702001/3177218
599.54/318.52	c cleaning 9999 clauses out of 20010 with flag 712001/3187218
601.77/319.75	c cleaning 10002 clauses out of 20010 with flag 722000/3197217
604.01/320.99	c cleaning 10001 clauses out of 20008 with flag 732000/3207217
605.59/321.87	c cleaning 9996 clauses out of 20007 with flag 742001/3217218
607.26/322.76	c cleaning 9995 clauses out of 20010 with flag 752000/3227217
608.67/323.58	c cleaning 9994 clauses out of 20016 with flag 762001/3237218
610.31/324.47	c cleaning 9997 clauses out of 20021 with flag 772000/3247217
612.08/325.42	c cleaning 9995 clauses out of 20025 with flag 782001/3257218
613.71/326.37	c cleaning 10001 clauses out of 20029 with flag 792000/3267217
615.39/327.26	c cleaning 9998 clauses out of 20028 with flag 802000/3277217
616.99/328.14	c cleaning 10002 clauses out of 20030 with flag 812000/3287217
618.77/329.14	c cleaning 9998 clauses out of 20029 with flag 822001/3297218
620.40/330.09	c cleaning 9999 clauses out of 20031 with flag 832001/3307218
622.24/331.05	c cleaning 10000 clauses out of 20031 with flag 842000/3317217
623.88/331.97	c cleaning 10001 clauses out of 20032 with flag 852001/3327218
625.65/332.92	c cleaning 10000 clauses out of 20033 with flag 862003/3337220
627.11/333.80	c cleaning 9998 clauses out of 20030 with flag 872000/3347217
628.91/334.78	c cleaning 10002 clauses out of 20032 with flag 882000/3357217
630.54/335.67	c cleaning 9998 clauses out of 20030 with flag 892000/3367217
632.31/336.65	c cleaning 10001 clauses out of 20033 with flag 902001/3377218
633.95/337.52	c cleaning 10002 clauses out of 20031 with flag 912000/3387217
635.58/338.44	c cleaning 10001 clauses out of 20029 with flag 922000/3397217
637.05/339.27	c cleaning 9999 clauses out of 20029 with flag 932001/3407218
638.60/340.19	c cleaning 9998 clauses out of 20029 with flag 942000/3417217
640.23/341.04	c cleaning 10003 clauses out of 20032 with flag 952001/3427218
641.66/341.88	c cleaning 10000 clauses out of 20029 with flag 962001/3437218
643.50/342.82	c cleaning 10001 clauses out of 20029 with flag 972001/3447218
645.09/343.72	c cleaning 9998 clauses out of 20027 with flag 982000/3457217
646.49/344.60	c cleaning 9997 clauses out of 20031 with flag 992002/3467219
648.52/345.63	c cleaning 10001 clauses out of 20033 with flag 1002001/3477218
650.15/346.58	c cleaning 9998 clauses out of 20032 with flag 1012001/3487218
651.92/347.56	c cleaning 10003 clauses out of 20035 with flag 1022002/3497219
653.95/348.64	c cleaning 10001 clauses out of 20030 with flag 1032000/3507217
655.58/349.52	c cleaning 9999 clauses out of 20030 with flag 1042001/3517218
657.40/350.51	c cleaning 9997 clauses out of 20031 with flag 1052001/3527218
659.01/351.48	c cleaning 10000 clauses out of 20034 with flag 1062001/3537218
660.40/352.28	c cleaning 10005 clauses out of 20034 with flag 1072001/3547218
662.23/353.27	c cleaning 10009 clauses out of 20028 with flag 1082000/3557217
663.87/354.19	c cleaning 9999 clauses out of 20021 with flag 1092002/3567219
666.03/355.34	c cleaning 9998 clauses out of 20020 with flag 1102000/3577217
667.85/356.35	c cleaning 10001 clauses out of 20022 with flag 1112000/3587217
669.28/357.16	c cleaning 9999 clauses out of 20022 with flag 1122001/3597218
671.11/358.19	c cleaning 10003 clauses out of 20023 with flag 1132001/3607218
673.26/359.35	c cleaning 10002 clauses out of 20020 with flag 1142001/3617218
675.28/360.46	c cleaning 9999 clauses out of 20018 with flag 1152001/3627218
677.71/361.71	c cleaning 10006 clauses out of 20019 with flag 1162001/3637218
679.94/362.96	c cleaning 10002 clauses out of 20013 with flag 1172001/3647218
682.31/364.25	c cleaning 10000 clauses out of 20010 with flag 1182000/3657217
684.74/365.54	c cleaning 10002 clauses out of 20010 with flag 1192000/3667217
687.21/366.87	c cleaning 10001 clauses out of 20009 with flag 1202001/3677218
689.40/368.08	c cleaning 9999 clauses out of 20007 with flag 1212000/3687217
691.76/369.38	c cleaning 10000 clauses out of 20009 with flag 1222001/3697218
693.99/370.50	c cleaning 10000 clauses out of 20009 with flag 1232001/3707218
696.22/371.75	c cleaning 9999 clauses out of 20008 with flag 1242000/3717217
698.64/373.05	c cleaning 9998 clauses out of 20009 with flag 1252000/3727217
701.00/374.38	c cleaning 10002 clauses out of 20012 with flag 1262001/3737218
703.47/375.63	c cleaning 10001 clauses out of 20009 with flag 1272000/3747217
705.50/376.72	c cleaning 9999 clauses out of 20008 with flag 1282000/3757217
707.52/377.85	c cleaning 10000 clauses out of 20010 with flag 1292001/3767218
709.63/379.07	c cleaning 10002 clauses out of 20010 with flag 1302001/3777218
711.85/380.21	c cleaning 10000 clauses out of 20007 with flag 1312000/3787217
714.08/381.44	c cleaning 10000 clauses out of 20007 with flag 1322000/3797217
716.31/382.67	c cleaning 10000 clauses out of 20008 with flag 1332001/3807218
718.84/384.04	c cleaning 10002 clauses out of 20007 with flag 1342000/3817217
721.07/385.25	c cleaning 9999 clauses out of 20006 with flag 1352001/3827218
723.10/386.36	c cleaning 9990 clauses out of 20005 with flag 1362000/3837217
724.72/387.26	c cleaning 10004 clauses out of 20017 with flag 1372002/3847219
726.46/388.23	c cleaning 10000 clauses out of 20011 with flag 1382000/3857217
728.08/389.15	c cleaning 10001 clauses out of 20012 with flag 1392001/3867218
729.70/390.08	c cleaning 9997 clauses out of 20010 with flag 1402000/3877217
731.35/390.99	c cleaning 9997 clauses out of 20013 with flag 1412000/3887217
733.07/392.00	c cleaning 10003 clauses out of 20017 with flag 1422001/3897218
734.90/392.95	c cleaning 9999 clauses out of 20014 with flag 1432001/3907218
736.52/393.87	c cleaning 9998 clauses out of 20014 with flag 1442000/3917217
738.14/394.77	c cleaning 10002 clauses out of 20016 with flag 1452000/3927217
739.88/395.76	c cleaning 10002 clauses out of 20015 with flag 1462001/3937218
741.50/396.61	c cleaning 10001 clauses out of 20012 with flag 1472000/3947217
742.92/397.48	c cleaning 10000 clauses out of 20011 with flag 1482000/3957217
744.54/398.31	c cleaning 9999 clauses out of 20012 with flag 1492001/3967218
745.91/399.20	c cleaning 9998 clauses out of 20012 with flag 1502000/3977217
747.33/399.96	c cleaning 9996 clauses out of 20015 with flag 1512001/3987218
749.55/401.13	c cleaning 10004 clauses out of 20019 with flag 1522001/3997218
751.57/402.26	c cleaning 9998 clauses out of 20016 with flag 1532002/4007219
753.34/403.27	c cleaning 10000 clauses out of 20018 with flag 1542002/4017219
755.20/404.25	c cleaning 10003 clauses out of 20017 with flag 1552001/4027218
757.02/405.29	c cleaning 9998 clauses out of 20014 with flag 1562001/4037218
758.81/406.23	c cleaning 9994 clauses out of 20016 with flag 1572001/4047218
760.55/407.27	c cleaning 9999 clauses out of 20022 with flag 1582001/4057218
762.17/408.14	c cleaning 9998 clauses out of 20022 with flag 1592000/4067217
763.60/408.98	c cleaning 9998 clauses out of 20025 with flag 1602001/4077218
765.06/409.77	c cleaning 9996 clauses out of 20026 with flag 1612000/4087217
766.56/410.71	c cleaning 10000 clauses out of 20030 with flag 1622000/4097217
768.18/411.56	c cleaning 9998 clauses out of 20030 with flag 1632000/4107217
769.60/412.39	c cleaning 10002 clauses out of 20033 with flag 1642001/4117218
771.22/413.27	c cleaning 10000 clauses out of 20030 with flag 1652000/4127217
772.96/414.22	c cleaning 10002 clauses out of 20030 with flag 1662000/4137217
774.39/415.09	c cleaning 9998 clauses out of 20028 with flag 1672000/4147217
776.01/415.91	c cleaning 9991 clauses out of 20030 with flag 1682000/4157217
777.63/416.80	c cleaning 9991 clauses out of 20040 with flag 1692001/4167218
779.17/417.80	c cleaning 9996 clauses out of 20049 with flag 1702001/4177218
780.78/418.65	c cleaning 10013 clauses out of 20053 with flag 1712001/4187218
782.43/419.54	c cleaning 10011 clauses out of 20041 with flag 1722002/4197219
784.02/420.45	c cleaning 10004 clauses out of 20029 with flag 1732001/4207218
785.95/421.54	c cleaning 10003 clauses out of 20025 with flag 1742001/4217218
787.97/422.65	c cleaning 10003 clauses out of 20022 with flag 1752001/4227218
789.78/423.69	c cleaning 9998 clauses out of 20019 with flag 1762001/4237218
792.00/424.87	c cleaning 9999 clauses out of 20021 with flag 1772001/4247218
794.36/426.16	c cleaning 10000 clauses out of 20021 with flag 1782000/4257217
796.75/427.40	c cleaning 9996 clauses out of 20022 with flag 1792001/4267218
798.97/428.68	c cleaning 9996 clauses out of 20026 with flag 1802001/4277218
801.19/429.84	c cleaning 10002 clauses out of 20030 with flag 1812001/4287218
803.32/431.05	c cleaning 9998 clauses out of 20027 with flag 1822000/4297217
805.33/432.14	c cleaning 10000 clauses out of 20029 with flag 1832000/4307217
807.35/433.26	c cleaning 10001 clauses out of 20031 with flag 1842002/4317219
809.37/434.33	c cleaning 9998 clauses out of 20028 with flag 1852000/4327217
811.30/435.45	c cleaning 10000 clauses out of 20030 with flag 1862000/4337217
813.32/436.53	c cleaning 10000 clauses out of 20030 with flag 1872000/4347217
815.14/437.50	c cleaning 10003 clauses out of 20031 with flag 1882001/4357218
816.96/438.58	c cleaning 10000 clauses out of 20027 with flag 1892000/4367217
819.30/439.84	c cleaning 9998 clauses out of 20028 with flag 1902001/4377218
821.31/440.97	c cleaning 10000 clauses out of 20029 with flag 1912000/4387217
823.53/442.14	c cleaning 10001 clauses out of 20030 with flag 1922001/4397218
825.74/443.31	c cleaning 9998 clauses out of 20028 with flag 1932000/4407217
827.67/444.49	c cleaning 10000 clauses out of 20030 with flag 1942000/4417217
828.08/444.76	c cleaning 0 clauses out of 16315 with flag 0/16315
830.09/445.86	c cleaning 9999 clauses out of 20030 with flag 1952000/4427217
832.10/446.99	c cleaning 10002 clauses out of 20032 with flag 1962001/4437218
834.50/448.25	c cleaning 10000 clauses out of 20030 with flag 1972001/4447218
836.52/449.39	c cleaning 10002 clauses out of 20031 with flag 1982002/4457219
838.70/450.51	c cleaning 10002 clauses out of 20027 with flag 1992000/4467217
840.91/451.79	c cleaning 10002 clauses out of 20027 with flag 2002002/4477219
843.45/453.14	c cleaning 10000 clauses out of 20023 with flag 2012000/4487217
845.67/454.34	c cleaning 10000 clauses out of 20023 with flag 2022000/4497217
847.88/455.54	c cleaning 10002 clauses out of 20023 with flag 2032000/4507217
850.10/456.73	c cleaning 9999 clauses out of 20022 with flag 2042001/4517218
852.24/458.01	c cleaning 10000 clauses out of 20022 with flag 2052000/4527217
854.69/459.27	c cleaning 10000 clauses out of 20022 with flag 2062000/4537217
856.86/460.47	c cleaning 10007 clauses out of 20023 with flag 2072001/4547218
859.07/461.68	c cleaning 10006 clauses out of 20016 with flag 2082001/4557218
861.38/462.98	c cleaning 10002 clauses out of 20009 with flag 2092000/4567217
863.20/463.98	c cleaning 9997 clauses out of 20008 with flag 2102001/4577218
865.21/465.09	c cleaning 9998 clauses out of 20010 with flag 2112000/4587217
867.43/466.25	c cleaning 9998 clauses out of 20013 with flag 2122001/4597218
869.35/467.36	c cleaning 10000 clauses out of 20014 with flag 2132000/4607217
871.37/468.47	c cleaning 10002 clauses out of 20015 with flag 2142001/4617218
873.18/469.49	c cleaning 9999 clauses out of 20012 with flag 2152000/4627217
874.98/470.43	c cleaning 9988 clauses out of 20013 with flag 2162000/4637217
876.56/471.35	c cleaning 10001 clauses out of 20025 with flag 2172000/4647217
878.13/472.21	c cleaning 10001 clauses out of 20025 with flag 2182001/4657218
879.74/473.14	c cleaning 10002 clauses out of 20024 with flag 2192001/4667218
881.34/474.04	c cleaning 9994 clauses out of 20021 with flag 2202000/4677217
882.87/474.99	c cleaning 10000 clauses out of 20027 with flag 2212000/4687217
884.47/475.84	c cleaning 9998 clauses out of 20027 with flag 2222000/4697217
886.10/476.73	c cleaning 9999 clauses out of 20029 with flag 2232000/4707217
887.68/477.62	c cleaning 10000 clauses out of 20031 with flag 2242001/4717218
889.19/478.58	c cleaning 10003 clauses out of 20033 with flag 2252003/4727220
890.80/479.44	c cleaning 9997 clauses out of 20027 with flag 2262000/4737217
892.40/480.32	c cleaning 9996 clauses out of 20030 with flag 2272000/4747217
893.83/481.14	c cleaning 10000 clauses out of 20035 with flag 2282001/4757218
895.32/482.07	c cleaning 10005 clauses out of 20035 with flag 2292001/4767218
896.92/482.92	c cleaning 9999 clauses out of 20029 with flag 2302000/4777217
898.32/483.78	c cleaning 10003 clauses out of 20031 with flag 2312001/4787218
899.92/484.66	c cleaning 9997 clauses out of 20027 with flag 2322000/4797217
901.46/485.61	c cleaning 9997 clauses out of 20031 with flag 2332001/4807218
903.03/486.48	c cleaning 9999 clauses out of 20034 with flag 2342001/4817218
904.63/487.37	c cleaning 10001 clauses out of 20034 with flag 2352000/4827217
906.24/488.21	c cleaning 9999 clauses out of 20033 with flag 2362000/4837217
907.79/489.11	c cleaning 10001 clauses out of 20034 with flag 2372000/4847217
909.23/489.97	c cleaning 10000 clauses out of 20034 with flag 2382001/4857218
910.80/490.82	c cleaning 10000 clauses out of 20034 with flag 2392001/4867218
912.41/491.72	c cleaning 10001 clauses out of 20034 with flag 2402001/4877218
913.92/492.63	c cleaning 10005 clauses out of 20035 with flag 2412003/4887220
915.53/493.52	c cleaning 10001 clauses out of 20027 with flag 2422000/4897217
916.96/494.35	c cleaning 10001 clauses out of 20027 with flag 2432001/4907218
918.53/495.28	c cleaning 9999 clauses out of 20025 with flag 2442000/4917217
920.29/496.20	c cleaning 9998 clauses out of 20027 with flag 2452001/4927218
921.88/497.13	c cleaning 10000 clauses out of 20029 with flag 2462001/4937218
923.48/498.03	c cleaning 10002 clauses out of 20029 with flag 2472001/4947218
925.08/498.95	c cleaning 9999 clauses out of 20027 with flag 2482001/4957218
926.63/499.90	c cleaning 9999 clauses out of 20029 with flag 2492002/4967219
928.21/500.79	c cleaning 9997 clauses out of 20029 with flag 2502001/4977218
929.81/501.66	c cleaning 10000 clauses out of 20032 with flag 2512001/4987218
931.40/502.54	c cleaning 10000 clauses out of 20032 with flag 2522001/4997218
932.90/503.48	c cleaning 10000 clauses out of 20031 with flag 2532000/5007217
934.70/504.44	c cleaning 10003 clauses out of 20032 with flag 2542001/5017218
936.09/505.32	c cleaning 10000 clauses out of 20029 with flag 2552001/5027218
937.89/506.23	c cleaning 10010 clauses out of 20028 with flag 2562000/5037217
940.60/507.71	c cleaning 10004 clauses out of 20017 with flag 2572000/5047217
943.20/509.12	c cleaning 10003 clauses out of 20013 with flag 2582000/5057217
945.60/510.46	c cleaning 10002 clauses out of 20010 with flag 2592000/5067217
948.19/511.84	c cleaning 10000 clauses out of 20009 with flag 2602001/5077218
950.54/513.17	c cleaning 9999 clauses out of 20009 with flag 2612001/5087218
952.09/514.12	c cleaning 9997 clauses out of 20009 with flag 2622000/5097217
954.30/515.28	c cleaning 10000 clauses out of 20013 with flag 2632001/5107218
956.50/516.49	c cleaning 9999 clauses out of 20013 with flag 2642001/5117218
958.56/517.62	c cleaning 9983 clauses out of 20014 with flag 2652001/5127218
960.19/518.52	c cleaning 9996 clauses out of 20031 with flag 2662001/5137218
961.55/519.34	c cleaning 9999 clauses out of 20035 with flag 2672001/5147218
962.94/520.14	c cleaning 10001 clauses out of 20035 with flag 2682000/5157217
964.46/521.06	c cleaning 9997 clauses out of 20035 with flag 2692001/5167218
966.46/522.18	c cleaning 10012 clauses out of 20038 with flag 2702001/5177218
969.05/523.56	c cleaning 10006 clauses out of 20026 with flag 2712001/5187218
971.44/524.86	c cleaning 10005 clauses out of 20019 with flag 2722000/5197217
973.96/526.29	c cleaning 10002 clauses out of 20014 with flag 2732000/5207217
976.16/527.49	c cleaning 9999 clauses out of 20012 with flag 2742000/5217217
978.51/528.73	c cleaning 10002 clauses out of 20013 with flag 2752000/5227217
980.89/530.01	c cleaning 9999 clauses out of 20012 with flag 2762001/5237218
983.01/531.27	c cleaning 10001 clauses out of 20012 with flag 2772000/5247217
984.99/532.34	c cleaning 10000 clauses out of 20012 with flag 2782001/5257218
987.18/533.51	c cleaning 10002 clauses out of 20012 with flag 2792001/5267218
989.36/534.72	c cleaning 10000 clauses out of 20009 with flag 2802000/5277217
991.45/535.95	c cleaning 10000 clauses out of 20010 with flag 2812001/5287218
993.65/537.19	c cleaning 9998 clauses out of 20009 with flag 2822000/5297217
995.86/538.37	c cleaning 10002 clauses out of 20012 with flag 2832001/5307218
998.22/539.62	c cleaning 9999 clauses out of 20009 with flag 2842000/5317217
999.95/540.66	c cleaning 9996 clauses out of 20010 with flag 2852000/5327217
1001.49/541.60	c cleaning 9993 clauses out of 20014 with flag 2862000/5337217
1003.70/542.79	c cleaning 9996 clauses out of 20022 with flag 2872001/5347218
1006.26/544.14	c cleaning 10007 clauses out of 20025 with flag 2882000/5357217
1009.35/545.81	c cleaning 10002 clauses out of 20020 with flag 2892002/5367219
1011.76/547.14	c cleaning 10003 clauses out of 20017 with flag 2902001/5377218
1013.52/548.10	c cleaning 10000 clauses out of 20015 with flag 2912003/5387220
1015.51/549.28	c cleaning 9994 clauses out of 20012 with flag 2922000/5397217
1017.98/550.60	c cleaning 10000 clauses out of 20018 with flag 2932000/5407217
1019.80/551.68	c cleaning 10000 clauses out of 20018 with flag 2942000/5417217
1021.78/552.77	c cleaning 9999 clauses out of 20018 with flag 2952000/5427217
1023.93/553.94	c cleaning 10000 clauses out of 20019 with flag 2962000/5437217
1026.01/555.19	c cleaning 9998 clauses out of 20019 with flag 2972000/5447217
1027.98/556.26	c cleaning 10001 clauses out of 20022 with flag 2982001/5457218
1029.76/557.22	c cleaning 10000 clauses out of 20020 with flag 2992000/5467217
1031.94/558.46	c cleaning 10005 clauses out of 20020 with flag 3002000/5477217
1033.82/559.52	c cleaning 10001 clauses out of 20016 with flag 3012001/5487218
1035.80/560.61	c cleaning 10000 clauses out of 20014 with flag 3022000/5497217
1037.79/561.72	c cleaning 9999 clauses out of 20015 with flag 3032001/5507218
1039.77/562.82	c cleaning 10000 clauses out of 20016 with flag 3042001/5517218
1041.85/564.00	c cleaning 10003 clauses out of 20016 with flag 3052001/5527218
1043.84/565.19	c cleaning 10000 clauses out of 20012 with flag 3062000/5537217
1046.22/566.43	c cleaning 10004 clauses out of 20013 with flag 3072001/5547218
1048.60/567.72	c cleaning 10001 clauses out of 20008 with flag 3082000/5557217
1050.47/568.80	c cleaning 10000 clauses out of 20007 with flag 3092000/5567217
1052.85/570.16	c cleaning 9996 clauses out of 20007 with flag 3102000/5577217
1055.42/571.55	c cleaning 10000 clauses out of 20011 with flag 3112000/5587217
1058.00/572.91	c cleaning 9999 clauses out of 20012 with flag 3122001/5597218
1060.48/574.34	c cleaning 10002 clauses out of 20012 with flag 3132000/5607217
1062.47/575.40	c cleaning 9998 clauses out of 20010 with flag 3142000/5617217
1064.65/576.60	c cleaning 10000 clauses out of 20012 with flag 3152000/5627217
1066.63/577.78	c cleaning 10000 clauses out of 20012 with flag 3162000/5637217
1068.92/579.04	c cleaning 9995 clauses out of 20012 with flag 3172000/5647217
1070.48/579.94	c cleaning 10002 clauses out of 20018 with flag 3182001/5657218
1072.65/581.15	c cleaning 10001 clauses out of 20016 with flag 3192001/5667218
1075.07/582.47	c cleaning 10001 clauses out of 20015 with flag 3202001/5677218
1077.50/583.88	c cleaning 10000 clauses out of 20013 with flag 3212000/5687217
1079.88/585.12	c cleaning 9999 clauses out of 20014 with flag 3222001/5697218
1082.46/586.50	c cleaning 10000 clauses out of 20014 with flag 3232000/5707217
1084.23/587.55	c cleaning 9997 clauses out of 20014 with flag 3242000/5717217
1086.31/588.78	c cleaning 10004 clauses out of 20017 with flag 3252000/5727217
1088.48/589.95	c cleaning 9998 clauses out of 20013 with flag 3262000/5737217
1090.69/591.16	c cleaning 10005 clauses out of 20015 with flag 3272000/5747217
1092.43/592.11	c cleaning 9995 clauses out of 20010 with flag 3282000/5757217
1094.29/593.23	c cleaning 10000 clauses out of 20015 with flag 3292000/5767217
1095.86/594.17	c cleaning 9996 clauses out of 20015 with flag 3302000/5777217
1097.63/595.16	c cleaning 10002 clauses out of 20019 with flag 3312000/5787217
1099.40/596.20	c cleaning 10002 clauses out of 20018 with flag 3322001/5797218
1101.45/597.38	c cleaning 9999 clauses out of 20015 with flag 3332000/5807217
1103.41/598.42	c cleaning 9999 clauses out of 20017 with flag 3342001/5817218
1105.38/599.56	c cleaning 10001 clauses out of 20017 with flag 3352000/5827217
1107.54/600.79	c cleaning 10002 clauses out of 20017 with flag 3362001/5837218
1110.03/602.15	c cleaning 10001 clauses out of 20017 with flag 3372003/5847220
1112.37/603.49	c cleaning 9998 clauses out of 20013 with flag 3382000/5857217
1114.54/604.65	c cleaning 9996 clauses out of 20016 with flag 3392001/5867218
1116.71/605.82	c cleaning 10000 clauses out of 20019 with flag 3402000/5877217
1118.96/607.13	c cleaning 10002 clauses out of 20019 with flag 3412000/5887217
1120.93/608.23	c cleaning 9998 clauses out of 20017 with flag 3422000/5897217
1122.90/609.36	c cleaning 10003 clauses out of 20019 with flag 3432000/5907217
1125.06/610.52	c cleaning 9998 clauses out of 20017 with flag 3442001/5917218
1127.12/611.74	c cleaning 9998 clauses out of 20018 with flag 3452000/5927217
1129.08/612.81	c cleaning 9999 clauses out of 20020 with flag 3462000/5937217
1131.25/614.01	c cleaning 10006 clauses out of 20021 with flag 3472001/5947218
1133.21/615.10	c cleaning 10002 clauses out of 20015 with flag 3482001/5957218
1135.07/616.29	c cleaning 10002 clauses out of 20013 with flag 3492001/5967218
1137.04/617.33	c cleaning 9997 clauses out of 20010 with flag 3502000/5977217
1138.80/618.38	c cleaning 10001 clauses out of 20014 with flag 3512001/5987218
1140.56/619.38	c cleaning 10001 clauses out of 20013 with flag 3522001/5997218
1142.80/620.65	c cleaning 10000 clauses out of 20011 with flag 3532000/6007217
1144.96/621.80	c cleaning 9999 clauses out of 20011 with flag 3542000/6017217
1146.73/622.88	c cleaning 10000 clauses out of 20012 with flag 3552000/6027217
1148.70/623.90	c cleaning 10000 clauses out of 20013 with flag 3562001/6037218
1150.54/625.00	c cleaning 10001 clauses out of 20013 with flag 3572001/6047218
1152.31/626.04	c cleaning 10001 clauses out of 20011 with flag 3582000/6057217
1154.27/627.13	c cleaning 9999 clauses out of 20010 with flag 3592000/6067217
1156.04/628.14	c cleaning 9996 clauses out of 20012 with flag 3602001/6077218
1157.89/629.24	c cleaning 10002 clauses out of 20016 with flag 3612001/6087218
1160.25/630.50	c cleaning 10001 clauses out of 20014 with flag 3622001/6097218
1162.01/631.57	c cleaning 9998 clauses out of 20013 with flag 3632001/6107218
1163.95/632.64	c cleaning 10000 clauses out of 20015 with flag 3642001/6117218
1165.97/633.82	c cleaning 10000 clauses out of 20014 with flag 3652000/6127217
1167.74/634.89	c cleaning 10001 clauses out of 20014 with flag 3662000/6137217
1169.69/635.98	c cleaning 10002 clauses out of 20016 with flag 3672003/6147220
1171.85/637.17	c cleaning 9999 clauses out of 20011 with flag 3682000/6157217
1173.89/638.36	c cleaning 10001 clauses out of 20013 with flag 3692001/6167218
1176.08/639.56	c cleaning 10002 clauses out of 20011 with flag 3702000/6177217
1177.80/640.56	c cleaning 10002 clauses out of 20009 with flag 3712000/6187217
1179.76/641.60	c cleaning 9999 clauses out of 20007 with flag 3722000/6197217
1181.60/642.72	c cleaning 10000 clauses out of 20010 with flag 3732002/6207219
1183.56/643.80	c cleaning 9998 clauses out of 20010 with flag 3742002/6217219
1185.31/644.87	c cleaning 9997 clauses out of 20010 with flag 3752000/6227217
1187.27/645.91	c cleaning 10003 clauses out of 20013 with flag 3762000/6237217
1189.13/647.05	c cleaning 10000 clauses out of 20011 with flag 3772001/6247218
1190.88/648.02	c cleaning 9998 clauses out of 20011 with flag 3782001/6257218
1192.83/649.14	c cleaning 10000 clauses out of 20012 with flag 3792000/6267217
1194.79/650.22	c cleaning 10002 clauses out of 20012 with flag 3802000/6277217
1197.02/651.59	c cleaning 10002 clauses out of 20010 with flag 3812000/6287217
1199.40/652.82	c cleaning 10001 clauses out of 20009 with flag 3822001/6297218
1201.34/653.92	c cleaning 9990 clauses out of 20007 with flag 3832000/6307217
1203.29/655.05	c cleaning 10002 clauses out of 20019 with flag 3842002/6317219
1204.94/656.06	c cleaning 10004 clauses out of 20016 with flag 3852001/6327218
1207.11/657.29	c cleaning 10003 clauses out of 20011 with flag 3862000/6337217
1209.42/658.59	c cleaning 9997 clauses out of 20008 with flag 3872001/6347218
1211.77/659.82	c cleaning 10001 clauses out of 20011 with flag 3882001/6357218
1214.03/661.15	c cleaning 9999 clauses out of 20009 with flag 3892000/6367217
1216.39/662.40	c cleaning 10001 clauses out of 20011 with flag 3902001/6377218
1218.55/663.61	c cleaning 10000 clauses out of 20010 with flag 3912001/6387218
1220.50/664.79	c cleaning 10001 clauses out of 20010 with flag 3922001/6397218
1222.82/666.07	c cleaning 10000 clauses out of 20009 with flag 3932001/6407218
1224.93/667.26	c cleaning 10000 clauses out of 20010 with flag 3942002/6417219
1227.29/668.55	c cleaning 10001 clauses out of 20009 with flag 3952001/6427218
1229.65/669.82	c cleaning 9999 clauses out of 20007 with flag 3962001/6437218
1231.90/671.10	c cleaning 9998 clauses out of 20008 with flag 3972001/6447218
1233.86/672.27	c cleaning 10002 clauses out of 20010 with flag 3982001/6457218
1236.01/673.48	c cleaning 10000 clauses out of 20006 with flag 3992000/6467217
1236.97/674.09	c  And the winner is Resolution
1239.38/676.36	c starts		: 278
1239.38/676.36	c conflicts		: 6471659
1239.38/676.36	c decisions		: 6606689
1239.38/676.36	c propagations		: 139507933
1239.38/676.36	c inspects		: 3760991907
1239.38/676.36	c shortcuts		: 0
1239.38/676.36	c learnt literals	: 18
1239.38/676.36	c learnt binary clauses	: 113
1239.38/676.36	c learnt ternary clauses	: 505
1239.38/676.36	c learnt constraints	: 6471640
1239.38/676.36	c ignored constraints	: 0
1239.38/676.36	c root simplifications	: 0
1239.38/676.36	c removed literals (reason simplification)	: 266559429
1239.38/676.36	c reason swapping (by a shorter reason)	: 0
1239.38/676.36	c Calls to reduceDB	: 652
1239.38/676.36	c number of reductions to clauses (during analyze)	: 0
1239.38/676.36	c number of learned constraints concerned by reduction	: 0
1239.38/676.36	c number of learning phase by resolution	: 0
1239.38/676.36	c number of learning phase by cutting planes	: 0
1239.38/676.36	c speed (assignments/second)	: 322710.92528336804
1239.38/676.36	c non guided choices	19318
1239.38/676.36	c learnt constraints type 
1239.38/676.36	c constraints type 
1239.38/676.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
1239.38/676.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
1239.38/676.36	c constraints type 
1239.38/676.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 729
1239.38/676.36	c org.sat4j.pb.constraints.pb.MaxWatchPb => 757
1239.38/676.36	s OPTIMUM FOUND
1239.38/676.36	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 
1239.38/676.36	c objective function=3
1239.38/676.36	c Total wall clock time (in seconds): 676.258

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-3453706-1307194073/watcher-3453706-1307194073 -o /tmp/evaluation-result-3453706-1307194073/solver-3453706-1307194073 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453706-1307194073.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: 3.73 3.90 3.71 3/556 21074
/proc/meminfo: memFree=24430676/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 5577 0 1 0 0 0 0 0 25 0 2 0 811823548 10694979584 5278 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2611079 5290 917 9 0 2602235 0
[pid=21074/tid=21075] ppid=21072 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) R 21072 21074 16282 0 -1 4202560 8076 0 1 0 0 0 0 0 25 0 2 0 811823548 10694979584 8893 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0947809 s]
/proc/loadavg: 3.73 3.90 3.71 3/556 21074
/proc/meminfo: memFree=24430676/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10539808 CPUtime=0.1 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 13008 0 1 0 9 1 0 0 25 0 18 0 811823548 10792763392 12704 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2634952 12704 2092 9 0 2625686 0
[pid=21074/tid=21075] ppid=21072 vsize=10539808 CPUtime=0.08 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) R 21072 21074 16282 0 -1 4202560 11080 0 1 0 7 1 0 0 18 0 18 0 811823548 10792763392 12704 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 47057206936767 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539808

[startup+0.100778 s]
/proc/loadavg: 3.73 3.90 3.71 3/556 21074
/proc/meminfo: memFree=24430676/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10539808 CPUtime=0.1 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 13100 0 1 0 9 1 0 0 25 0 18 0 811823548 10792763392 12796 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2634952 12796 2092 9 0 2625686 0
[pid=21074/tid=21075] ppid=21072 vsize=10539808 CPUtime=0.09 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) R 21072 21074 16282 0 -1 4202560 11172 0 1 0 8 1 0 0 18 0 18 0 811823548 10792763392 12796 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 47057203641907 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539808

[startup+0.348479 s]
/proc/loadavg: 3.73 3.90 3.71 3/556 21074
/proc/meminfo: memFree=24430676/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10548324 CPUtime=0.99 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 19858 0 1 0 97 2 0 0 25 0 22 0 811823548 10801483776 17732 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2637081 17732 2218 9 0 2627815 0
[pid=21074/tid=21075] ppid=21072 vsize=10548324 CPUtime=0.23 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) S 21072 21074 16282 0 -1 4202560 12282 0 1 0 22 1 0 0 19 0 22 0 811823548 10801483776 17732 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10548324

[startup+0.995597 s]
/proc/loadavg: 3.73 3.90 3.71 3/556 21074
/proc/meminfo: memFree=24430676/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10561424 CPUtime=3.3 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 60010 0 1 0 323 7 0 0 25 0 22 0 811823548 10814898176 52897 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2640356 52323 2255 9 0 2631090 0
[pid=21074/tid=21075] ppid=21072 vsize=10558600 CPUtime=0.23 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) S 21072 21074 16282 0 -1 4202560 12282 0 1 0 22 1 0 0 15 0 22 0 811823548 10812006400 52189 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 10561424

[startup+1.50053 s]
/proc/loadavg: 3.73 3.90 3.71 5/578 21096
/proc/meminfo: memFree=24105628/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10553288 CPUtime=4.73 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 97718 0 1 0 463 10 0 0 25 0 22 0 811823548 10806566912 84330 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2638322 84332 2255 9 0 2629056 0
[pid=21074/tid=21075] ppid=21072 vsize=10553288 CPUtime=0.23 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) S 21072 21074 16282 0 -1 4202560 12282 0 1 0 22 1 0 0 15 0 22 0 811823548 10806566912 84893 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21077] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84896 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21078] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84899 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21079] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84902 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21080] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84905 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21081] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 16282 0 -1 4202560 90 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84908 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21082] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 16282 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84911 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21083] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21083/stat : 21083 (java) S 21072 21074 16282 0 -1 4202560 393 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84913 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21084] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21084/stat : 21084 (java) S 21072 21074 16282 0 -1 4202560 293 0 0 0 0 0 0 0 18 0 22 0 811823550 10806566912 84916 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21085] ppid=21072 vsize=10553288 CPUtime=0.01 cores=1,3,5,7
/proc/21074/task/21085/stat : 21085 (java) S 21072 21074 16282 0 -1 4202560 939 0 0 0 1 0 0 0 17 0 22 0 811823551 10806566912 84919 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 0 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21086] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21086/stat : 21086 (java) S 21072 21074 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811823551 10806566912 84921 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21087] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21087/stat : 21087 (java) S 21072 21074 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811823551 10806566912 84924 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21088] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21088/stat : 21088 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10806566912 84926 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051478961 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21089] ppid=21072 vsize=10553288 CPUtime=1.01 cores=1,3,5,7
/proc/21074/task/21089/stat : 21089 (java) R 21072 21074 16282 0 -1 4202560 13404 0 0 0 100 1 0 0 23 0 22 0 811823553 10806566912 84929 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21074/tid=21090] ppid=21072 vsize=10553288 CPUtime=0.95 cores=1,3,5,7
/proc/21074/task/21090/stat : 21090 (java) S 21072 21074 16282 0 -1 4202560 5890 0 0 0 95 0 0 0 16 0 22 0 811823553 10806566912 84932 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21091] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21091/stat : 21091 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10806566912 84935 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21092] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21092/stat : 21092 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811823553 10806566912 84938 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21093] ppid=21072 vsize=10553288 CPUtime=1.24 cores=1,3,5,7
/proc/21074/task/21093/stat : 21093 (java) R 21072 21074 16282 0 -1 4202560 786 0 0 0 124 0 0 0 24 0 22 0 811823572 10806566912 84941 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912506210836 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21074/tid=21094] ppid=21072 vsize=10553288 CPUtime=1.23 cores=1,3,5,7
/proc/21074/task/21094/stat : 21094 (java) R 21072 21074 16282 0 -1 4202560 62921 0 0 0 118 5 0 0 19 0 22 0 811823572 10806566912 84943 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912505727184 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21074/tid=21095] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21095/stat : 21095 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811823573 10806566912 84946 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21096] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21096/stat : 21096 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811823573 10806566912 84948 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 10553288

[startup+3.10124 s]
/proc/loadavg: 3.83 3.92 3.72 5/578 21096
/proc/meminfo: memFree=23948272/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10553288 CPUtime=7.89 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 135973 0 1 0 776 13 0 0 25 0 22 0 811823548 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2638322 122582 2255 9 0 2629056 0
[pid=21074/tid=21075] ppid=21072 vsize=10553288 CPUtime=0.23 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) S 21072 21074 16282 0 -1 4202560 12282 0 1 0 22 1 0 0 15 0 22 0 811823548 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21077] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 16282 0 -1 4202560 316 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21078] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 16282 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21079] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 16282 0 -1 4202560 133 0 0 0 0 0 0 0 16 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21080] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 16282 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21081] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 16282 0 -1 4202560 305 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21082] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 16282 0 -1 4202560 500 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21083] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21083/stat : 21083 (java) S 21072 21074 16282 0 -1 4202560 393 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21084] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21084/stat : 21084 (java) S 21072 21074 16282 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21085] ppid=21072 vsize=10553288 CPUtime=0.06 cores=1,3,5,7
/proc/21074/task/21085/stat : 21085 (java) S 21072 21074 16282 0 -1 4202560 2630 0 0 0 6 0 0 0 16 0 22 0 811823551 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 0 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21086] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21086/stat : 21086 (java) S 21072 21074 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811823551 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21087] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21087/stat : 21087 (java) S 21072 21074 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811823551 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21088] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21088/stat : 21088 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051478961 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21089] ppid=21072 vsize=10553288 CPUtime=1.03 cores=1,3,5,7
/proc/21074/task/21089/stat : 21089 (java) S 21072 21074 16282 0 -1 4202560 13407 0 0 0 102 1 0 0 15 0 22 0 811823553 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21090] ppid=21072 vsize=10553288 CPUtime=0.96 cores=1,3,5,7
/proc/21074/task/21090/stat : 21090 (java) S 21072 21074 16282 0 -1 4202560 5891 0 0 0 96 0 0 0 15 0 22 0 811823553 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21091] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21091/stat : 21091 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21092] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21092/stat : 21092 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811823553 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21093] ppid=21072 vsize=10553288 CPUtime=2.77 cores=1,3,5,7
/proc/21074/task/21093/stat : 21093 (java) R 21072 21074 16282 0 -1 4202560 789 0 0 0 277 0 0 0 25 0 22 0 811823572 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912505599392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21074/tid=21094] ppid=21072 vsize=10553288 CPUtime=2.76 cores=1,3,5,7
/proc/21074/task/21094/stat : 21094 (java) R 21072 21074 16282 0 -1 4202560 97788 0 0 0 268 8 0 0 21 0 22 0 811823572 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912505756239 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21074/tid=21095] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21095/stat : 21095 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811823573 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21096] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21096/stat : 21096 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811823573 10806566912 122582 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 10553288

[startup+6.30167 s]
/proc/loadavg: 3.83 3.92 3.72 5/578 21096
/proc/meminfo: memFree=23872348/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10553288 CPUtime=14.22 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 151022 0 1 0 1407 15 0 0 25 0 22 0 811823548 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2638322 137461 2256 9 0 2629056 0
[pid=21074/tid=21075] ppid=21072 vsize=10553288 CPUtime=0.23 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) S 21072 21074 16282 0 -1 4202560 12282 0 1 0 22 1 0 0 15 0 22 0 811823548 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21077] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 16282 0 -1 4202560 316 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21078] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 16282 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21079] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 16282 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21080] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 16282 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21081] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 16282 0 -1 4202560 307 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21082] ppid=21072 vsize=10553288 CPUtime=0.01 cores=1,3,5,7
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 16282 0 -1 4202560 500 0 0 0 1 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21083] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21083/stat : 21083 (java) S 21072 21074 16282 0 -1 4202560 395 0 0 0 0 0 0 0 15 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21084] ppid=21072 vsize=10553288 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21084/stat : 21084 (java) S 21072 21074 16282 0 -1 4202560 299 0 0 0 0 0 0 0 16 0 22 0 811823550 10806566912 137461 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0

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

[pid=21074/tid=21088] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21088/stat : 21088 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051478961 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21089] ppid=21072 vsize=10559576 CPUtime=1.19 cores=1,3,5,7
/proc/21074/task/21089/stat : 21089 (java) S 21072 21074 16282 0 -1 4202560 13413 0 0 0 118 1 0 0 15 0 22 0 811823553 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21090] ppid=21072 vsize=10559576 CPUtime=2.14 cores=1,3,5,7
/proc/21074/task/21090/stat : 21090 (java) S 21072 21074 16282 0 -1 4202560 12363 0 0 0 213 1 0 0 15 0 22 0 811823553 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21091] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21091/stat : 21091 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21092] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21092/stat : 21092 (java) S 21072 21074 16282 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 811823553 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21096] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21096/stat : 21096 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811823573 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21116] ppid=21072 vsize=10559576 CPUtime=335.5 cores=1,3,5,7
/proc/21074/task/21116/stat : 21116 (java) S 21072 21074 16282 0 -1 4202560 56 0 0 0 33550 0 0 0 16 0 22 0 811847954 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21117] ppid=21072 vsize=10559576 CPUtime=335.57 cores=1,3,5,7
/proc/21074/task/21117/stat : 21117 (java) S 21072 21074 16282 0 -1 4202560 157 0 0 0 33556 1 0 0 16 0 22 0 811847954 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21118] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21118/stat : 21118 (java) S 21072 21074 16282 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811847954 10813005824 196750 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1234.16
Current children cumulated vsize (KiB) 10559576

[startup+674.001 s]
/proc/loadavg: 1.57 2.47 3.17 2/551 21147
/proc/meminfo: memFree=24300172/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10559576 CPUtime=1236.97 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 215939 0 1 0 123658 39 0 0 25 0 22 0 811823548 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2639894 196838 2258 9 0 2630628 0
[pid=21074/tid=21075] ppid=21072 vsize=10559576 CPUtime=0.24 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) S 21072 21074 16282 0 -1 4202560 12512 0 1 0 23 1 0 0 15 0 22 0 811823548 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21077] ppid=21072 vsize=10559576 CPUtime=1.87 cores=1,3,5,7
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 16282 0 -1 4202560 576 0 0 0 187 0 0 0 16 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21078] ppid=21072 vsize=10559576 CPUtime=1.86 cores=1,3,5,7
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 16282 0 -1 4202560 319 0 0 0 186 0 0 0 15 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21079] ppid=21072 vsize=10559576 CPUtime=1.99 cores=1,3,5,7
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 16282 0 -1 4202560 417 0 0 0 199 0 0 0 16 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21080] ppid=21072 vsize=10559576 CPUtime=1.83 cores=1,3,5,7
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 16282 0 -1 4202560 322 0 0 0 183 0 0 0 15 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21081] ppid=21072 vsize=10559576 CPUtime=1.99 cores=1,3,5,7
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 16282 0 -1 4202560 608 0 0 0 199 0 0 0 15 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21082] ppid=21072 vsize=10559576 CPUtime=1.83 cores=1,3,5,7
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 16282 0 -1 4202560 772 0 0 0 182 1 0 0 15 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21083] ppid=21072 vsize=10559576 CPUtime=1.87 cores=1,3,5,7
/proc/21074/task/21083/stat : 21083 (java) S 21072 21074 16282 0 -1 4202560 720 0 0 0 186 1 0 0 16 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21084] ppid=21072 vsize=10559576 CPUtime=1.77 cores=1,3,5,7
/proc/21074/task/21084/stat : 21084 (java) S 21072 21074 16282 0 -1 4202560 606 0 0 0 177 0 0 0 15 0 22 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21085] ppid=21072 vsize=10559576 CPUtime=118.3 cores=1,3,5,7
/proc/21074/task/21085/stat : 21085 (java) S 21072 21074 16282 0 -1 4202560 42976 0 0 0 11819 11 0 0 16 0 22 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 0 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21086] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21086/stat : 21086 (java) S 21072 21074 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21087] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21087/stat : 21087 (java) S 21072 21074 16282 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21088] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21088/stat : 21088 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051478961 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21089] ppid=21072 vsize=10559576 CPUtime=1.19 cores=1,3,5,7
/proc/21074/task/21089/stat : 21089 (java) S 21072 21074 16282 0 -1 4202560 13413 0 0 0 118 1 0 0 15 0 22 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21090] ppid=21072 vsize=10559576 CPUtime=2.14 cores=1,3,5,7
/proc/21074/task/21090/stat : 21090 (java) S 21072 21074 16282 0 -1 4202560 12363 0 0 0 213 1 0 0 15 0 22 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21091] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21091/stat : 21091 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21092] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21092/stat : 21092 (java) S 21072 21074 16282 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21096] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21096/stat : 21096 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811823573 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21116] ppid=21072 vsize=10559576 CPUtime=336.69 cores=1,3,5,7
/proc/21074/task/21116/stat : 21116 (java) R 21072 21074 16282 0 -1 4202560 57 0 0 0 33669 0 0 0 16 0 22 0 811847954 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912505588780 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21074/tid=21117] ppid=21072 vsize=10559576 CPUtime=336.76 cores=1,3,5,7
/proc/21074/task/21117/stat : 21117 (java) R 21072 21074 16282 0 -1 4202560 157 0 0 0 33675 1 0 0 16 0 22 0 811847954 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912505756261 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21074/tid=21118] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21118/stat : 21118 (java) S 21072 21074 16282 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811847954 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1236.97
Current children cumulated vsize (KiB) 10559576

[startup+675.601 s]
/proc/loadavg: 1.57 2.47 3.17 2/548 21147
/proc/meminfo: memFree=24299824/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10559576 CPUtime=1238.68 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 215939 0 1 0 123829 39 0 0 25 0 19 0 811823548 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2639894 196838 2258 9 0 2630628 0
[pid=21074/tid=21075] ppid=21072 vsize=10559576 CPUtime=1.54 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) R 21072 21074 16282 0 -1 4202560 12512 0 1 0 153 1 0 0 17 0 19 0 811823548 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21074/tid=21077] ppid=21072 vsize=10559576 CPUtime=1.87 cores=1,3,5,7
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 16282 0 -1 4202560 576 0 0 0 187 0 0 0 16 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21078] ppid=21072 vsize=10559576 CPUtime=1.86 cores=1,3,5,7
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 16282 0 -1 4202560 319 0 0 0 186 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21079] ppid=21072 vsize=10559576 CPUtime=1.99 cores=1,3,5,7
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 16282 0 -1 4202560 417 0 0 0 199 0 0 0 16 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21080] ppid=21072 vsize=10559576 CPUtime=1.83 cores=1,3,5,7
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 16282 0 -1 4202560 322 0 0 0 183 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21081] ppid=21072 vsize=10559576 CPUtime=1.99 cores=1,3,5,7
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 16282 0 -1 4202560 608 0 0 0 199 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21082] ppid=21072 vsize=10559576 CPUtime=1.83 cores=1,3,5,7
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 16282 0 -1 4202560 772 0 0 0 182 1 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21083] ppid=21072 vsize=10559576 CPUtime=1.87 cores=1,3,5,7
/proc/21074/task/21083/stat : 21083 (java) S 21072 21074 16282 0 -1 4202560 720 0 0 0 186 1 0 0 16 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21084] ppid=21072 vsize=10559576 CPUtime=1.77 cores=1,3,5,7
/proc/21074/task/21084/stat : 21084 (java) S 21072 21074 16282 0 -1 4202560 606 0 0 0 177 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21085] ppid=21072 vsize=10559576 CPUtime=118.3 cores=1,3,5,7
/proc/21074/task/21085/stat : 21085 (java) S 21072 21074 16282 0 -1 4202560 42976 0 0 0 11819 11 0 0 16 0 19 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 0 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21086] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21086/stat : 21086 (java) S 21072 21074 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21087] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21087/stat : 21087 (java) S 21072 21074 16282 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21088] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21088/stat : 21088 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051478961 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21089] ppid=21072 vsize=10559576 CPUtime=1.19 cores=1,3,5,7
/proc/21074/task/21089/stat : 21089 (java) S 21072 21074 16282 0 -1 4202560 13413 0 0 0 118 1 0 0 15 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21090] ppid=21072 vsize=10559576 CPUtime=2.16 cores=1,3,5,7
/proc/21074/task/21090/stat : 21090 (java) S 21072 21074 16282 0 -1 4202560 12363 0 0 0 215 1 0 0 15 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21091] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21091/stat : 21091 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21092] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21092/stat : 21092 (java) S 21072 21074 16282 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21096] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21096/stat : 21096 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811823573 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1238.68
Current children cumulated vsize (KiB) 10559576

[startup+676.001 s]
/proc/loadavg: 1.57 2.47 3.17 2/548 21147
/proc/meminfo: memFree=24299824/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=10559576 CPUtime=1239.08 cores=1,3,5,7
/proc/21074/stat : 21074 (java) S 21072 21074 16282 0 -1 4202496 215939 0 1 0 123869 39 0 0 25 0 19 0 811823548 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 2639894 196838 2258 9 0 2630628 0
[pid=21074/tid=21075] ppid=21072 vsize=10559576 CPUtime=1.94 cores=1,3,5,7
/proc/21074/task/21075/stat : 21075 (java) R 21072 21074 16282 0 -1 4202560 12512 0 1 0 193 1 0 0 17 0 19 0 811823548 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 46912506438927 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21074/tid=21077] ppid=21072 vsize=10559576 CPUtime=1.87 cores=1,3,5,7
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 16282 0 -1 4202560 576 0 0 0 187 0 0 0 16 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21078] ppid=21072 vsize=10559576 CPUtime=1.86 cores=1,3,5,7
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 16282 0 -1 4202560 319 0 0 0 186 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21079] ppid=21072 vsize=10559576 CPUtime=1.99 cores=1,3,5,7
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 16282 0 -1 4202560 417 0 0 0 199 0 0 0 16 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21080] ppid=21072 vsize=10559576 CPUtime=1.83 cores=1,3,5,7
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 16282 0 -1 4202560 322 0 0 0 183 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21081] ppid=21072 vsize=10559576 CPUtime=1.99 cores=1,3,5,7
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 16282 0 -1 4202560 608 0 0 0 199 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21082] ppid=21072 vsize=10559576 CPUtime=1.83 cores=1,3,5,7
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 16282 0 -1 4202560 772 0 0 0 182 1 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21083] ppid=21072 vsize=10559576 CPUtime=1.87 cores=1,3,5,7
/proc/21074/task/21083/stat : 21083 (java) S 21072 21074 16282 0 -1 4202560 720 0 0 0 186 1 0 0 16 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21084] ppid=21072 vsize=10559576 CPUtime=1.77 cores=1,3,5,7
/proc/21074/task/21084/stat : 21084 (java) S 21072 21074 16282 0 -1 4202560 606 0 0 0 177 0 0 0 15 0 19 0 811823550 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21085] ppid=21072 vsize=10559576 CPUtime=118.3 cores=1,3,5,7
/proc/21074/task/21085/stat : 21085 (java) S 21072 21074 16282 0 -1 4202560 42976 0 0 0 11819 11 0 0 15 0 19 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 0 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21086] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21086/stat : 21086 (java) S 21072 21074 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 5 0 0 0
[pid=21074/tid=21087] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21087/stat : 21087 (java) S 21072 21074 16282 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 811823551 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21088] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21088/stat : 21088 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051478961 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21089] ppid=21072 vsize=10559576 CPUtime=1.19 cores=1,3,5,7
/proc/21074/task/21089/stat : 21089 (java) S 21072 21074 16282 0 -1 4202560 13413 0 0 0 118 1 0 0 15 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 1 0 0 0
[pid=21074/tid=21090] ppid=21072 vsize=10559576 CPUtime=2.16 cores=1,3,5,7
/proc/21074/task/21090/stat : 21090 (java) S 21072 21074 16282 0 -1 4202560 12363 0 0 0 215 1 0 0 15 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21091] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21091/stat : 21091 (java) S 21072 21074 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471257 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
[pid=21074/tid=21092] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21092/stat : 21092 (java) S 21072 21074 16282 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 811823553 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 7 0 0 0
[pid=21074/tid=21096] ppid=21072 vsize=10559576 CPUtime=0 cores=1,3,5,7
/proc/21074/task/21096/stat : 21096 (java) S 21072 21074 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811823573 10813005824 196838 33554432000 1073741824 1073778376 140735272965456 18446744073709551615 212051471872 0 4 0 16800975 18446604461439282048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1239.08
Current children cumulated vsize (KiB) 10559576

[startup+676.401 s]
/proc/loadavg: 1.57 2.47 3.17 2/548 21147
/proc/meminfo: memFree=24299824/32951124 swapFree=46970528/67111528
[pid=21074] ppid=21072 vsize=0 CPUtime=1239.47 cores=1,3,5,7
/proc/21074/stat : 21074 (java) R 21072 21074 16282 0 -1 4203524 215946 0 1 0 123905 42 0 0 18 0 1 0 811823548 0 0 33554432000 0 0 0 0 0 0 2147483391 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21074/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1239.47
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 676.401
CPU time (s): 1239.48
CPU user time (s): 1239.06
CPU system time (s): 0.422935
CPU usage (%): 183.247
Max. virtual memory (cumulated for all children) (KiB): 10569920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1239.06
system time used= 0.422935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215946
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= 34222
involuntary context switches= 15867

runsolver used 3.43648 second user time and 8.92264 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 15:27:53
IDJOB=3453706
IDBENCH=47910
IDSOLVER=1950
FILE ID=node146/3453706-1307194073
RUNJOBID= node146-1307193128-20585
PBS_JOBID= 13508858
Free space on /tmp= 73784 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453706-1307194073/watcher-3453706-1307194073 -o /tmp/evaluation-result-3453706-1307194073/solver-3453706-1307194073 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453706-1307194073.opb

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

MD5SUM BENCH= 8b00ea770361f301179000d52beb4a25
RANDOM SEED=528183650

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24430956 kB
Buffers:        177588 kB
Cached:         311484 kB
SwapCached:      60452 kB
Active:         912636 kB
Inactive:      7362168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24430956 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:             888 kB
Writeback:           0 kB
AnonPages:     7736264 kB
Mapped:          24828 kB
Slab:            77428 kB
PageTables:      98992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 171058576 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= 73784 MiB
End job on node146 at 2011-06-04 15:39:09