Trace number 3458341

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)76 1800.11 1796.56

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_5.opb
MD5SUM2dd6cc5a7b1f8311eff7b566cf3505ea
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products6270
Sum of products size12540

Quality of the solution as a function of time


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

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.10	c version 2.3.1.v20110525
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.18-164.el5
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		12995394264
0.06/0.10	c Max memory 		13063553024
0.06/0.10	c Total memory 		13063553024
0.06/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458341-1307159186.opb
0.10/0.12	c reading problem ... 
0.77/0.55	c ... done. Wall clock time 0.437s.
0.77/0.55	c #vars     6770
0.77/0.55	c #constraints  13040
0.77/0.55	c constraints type 
0.77/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6770
0.77/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
1.07/0.68	c SATISFIABLE
1.07/0.68	c OPTIMIZING...
1.07/0.68	c Got one! Elapsed wall clock time (in seconds):0.567
1.07/0.68	o 89
1.36/0.71	c Got one! Elapsed wall clock time (in seconds):0.595
1.36/0.71	o 88
1.36/0.78	c Got one! Elapsed wall clock time (in seconds):0.66
1.36/0.78	o 87
1.66/0.80	c Got one! Elapsed wall clock time (in seconds):0.685
1.66/0.80	o 86
1.66/0.83	c Got one! Elapsed wall clock time (in seconds):0.716
1.66/0.83	o 85
1.66/0.86	c Got one! Elapsed wall clock time (in seconds):0.744
1.66/0.86	o 81
1.83/0.97	c Got one! Elapsed wall clock time (in seconds):0.852
1.83/0.97	o 80
2.27/1.31	c Got one! Elapsed wall clock time (in seconds):1.196
2.27/1.31	o 79
2.98/2.04	c cleaning 3355 clauses out of 6716 with flag 4000/6716
4.07/3.04	c cleaning 4676 clauses out of 9361 with flag 10000/12716
5.27/4.21	c cleaning 5837 clauses out of 11686 with flag 17001/19717
6.68/5.65	c cleaning 6915 clauses out of 13848 with flag 25000/27716
8.33/7.29	c cleaning 7963 clauses out of 15934 with flag 34001/36717
9.03/7.97	c Got one! Elapsed wall clock time (in seconds):7.857
9.03/7.97	o 78
9.34/8.27	c cleaning 6844 clauses out of 13695 with flag 2001/42441
10.34/9.25	c cleaning 6418 clauses out of 12850 with flag 8000/48440
11.54/10.41	c cleaning 6711 clauses out of 13433 with flag 15001/55441
12.94/11.83	c cleaning 7357 clauses out of 14723 with flag 23002/63442
14.64/13.55	c cleaning 8172 clauses out of 16364 with flag 32000/72440
16.46/15.34	c cleaning 9092 clauses out of 18192 with flag 42000/82440
18.35/17.23	c cleaning 10046 clauses out of 20100 with flag 53000/93440
20.56/19.44	c cleaning 11014 clauses out of 22054 with flag 65000/105440
22.96/21.82	c cleaning 12018 clauses out of 24041 with flag 78001/118441
25.57/24.48	c cleaning 13003 clauses out of 26023 with flag 92001/132441
28.17/27.03	c cleaning 13503 clauses out of 27020 with flag 106001/146441
30.68/29.51	c cleaning 13747 clauses out of 27517 with flag 120001/160441
33.28/32.12	c cleaning 13882 clauses out of 27769 with flag 134000/174440
35.68/34.57	c cleaning 13941 clauses out of 27888 with flag 148001/188441
38.09/36.94	c cleaning 13968 clauses out of 27949 with flag 162003/202443
40.49/39.36	c cleaning 13982 clauses out of 27980 with flag 176002/216442
43.10/41.94	c cleaning 13991 clauses out of 27997 with flag 190001/230441
45.91/44.72	c cleaning 14000 clauses out of 28005 with flag 204000/244440
48.82/47.68	c cleaning 13993 clauses out of 28005 with flag 218000/258440
51.32/50.18	c cleaning 13999 clauses out of 28012 with flag 232000/272440
54.12/52.93	c cleaning 14005 clauses out of 28015 with flag 246002/286442
56.83/55.60	c cleaning 13999 clauses out of 28009 with flag 260001/300441
59.73/58.59	c cleaning 13998 clauses out of 28009 with flag 274000/314440
62.54/61.37	c cleaning 13998 clauses out of 28011 with flag 288000/328440
65.44/64.28	c cleaning 13996 clauses out of 28013 with flag 302000/342440
68.45/67.26	c cleaning 14006 clauses out of 28019 with flag 316002/356442
71.57/70.33	c cleaning 14000 clauses out of 28012 with flag 330001/370441
74.66/73.46	c cleaning 13997 clauses out of 28011 with flag 344000/384440
77.47/76.25	c cleaning 14002 clauses out of 28014 with flag 358000/398440
79.97/78.73	c cleaning 13996 clauses out of 28013 with flag 372001/412441
82.78/81.50	c cleaning 13996 clauses out of 28016 with flag 386000/426440
85.68/84.45	c cleaning 14003 clauses out of 28021 with flag 400001/440441
88.49/87.25	c cleaning 14003 clauses out of 28018 with flag 414001/454441
91.19/89.96	c cleaning 14001 clauses out of 28014 with flag 428000/468440
93.99/92.72	c cleaning 13997 clauses out of 28013 with flag 442000/482440
96.91/95.63	c cleaning 13997 clauses out of 28016 with flag 456000/496440
99.90/98.62	c cleaning 14001 clauses out of 28020 with flag 470001/510441
102.81/101.59	c cleaning 13999 clauses out of 28019 with flag 484001/524441
105.72/104.44	c cleaning 13998 clauses out of 28020 with flag 498001/538441
108.81/107.59	c cleaning 14003 clauses out of 28023 with flag 512002/552442
111.82/110.56	c cleaning 14006 clauses out of 28018 with flag 526000/566440
114.72/113.45	c cleaning 13993 clauses out of 28012 with flag 540000/580440
117.23/115.99	c cleaning 14002 clauses out of 28019 with flag 554000/594440
119.83/118.56	c cleaning 14000 clauses out of 28017 with flag 568000/608440
122.44/121.18	c cleaning 14001 clauses out of 28017 with flag 582000/622440
125.24/123.94	c cleaning 14006 clauses out of 28019 with flag 596003/636443
127.95/126.70	c cleaning 13995 clauses out of 28011 with flag 610001/650441
130.75/129.40	c cleaning 13995 clauses out of 28016 with flag 624001/664441
133.37/132.04	c cleaning 14003 clauses out of 28020 with flag 638000/678440
136.06/134.71	c cleaning 14001 clauses out of 28017 with flag 652000/692440
138.96/137.63	c cleaning 13996 clauses out of 28016 with flag 666000/706440
141.56/140.29	c cleaning 14005 clauses out of 28020 with flag 680000/720440
144.29/142.98	c cleaning 13995 clauses out of 28015 with flag 694000/734440
147.08/145.70	c cleaning 14006 clauses out of 28020 with flag 708000/748440
149.68/148.40	c cleaning 14001 clauses out of 28015 with flag 722001/762441
152.53/151.14	c cleaning 13998 clauses out of 28014 with flag 736001/776441
155.04/153.66	c cleaning 13999 clauses out of 28015 with flag 750000/790440
157.84/156.47	c cleaning 14000 clauses out of 28016 with flag 764000/804440
160.55/159.19	c cleaning 14003 clauses out of 28017 with flag 778001/818441
163.45/162.03	c cleaning 13997 clauses out of 28014 with flag 792001/832441
166.25/164.82	c cleaning 13998 clauses out of 28017 with flag 806001/846441
168.95/167.52	c cleaning 13999 clauses out of 28019 with flag 820001/860441
171.76/170.33	c cleaning 14001 clauses out of 28020 with flag 834001/874441
174.36/172.97	c cleaning 13999 clauses out of 28018 with flag 848000/888440
176.87/175.47	c cleaning 14004 clauses out of 28020 with flag 862001/902441
179.47/178.07	c cleaning 13998 clauses out of 28015 with flag 876000/916440
181.89/180.44	c Got one! Elapsed wall clock time (in seconds):180.319
181.89/180.44	o 77
182.69/181.24	c cleaning 15738 clauses out of 31488 with flag 5002/933911
183.70/182.28	c cleaning 10868 clauses out of 21748 with flag 11000/939909
185.00/183.50	c cleaning 8930 clauses out of 17881 with flag 18001/946910
186.51/185.09	c cleaning 8470 clauses out of 16951 with flag 26001/954910
188.43/186.98	c cleaning 8734 clauses out of 17480 with flag 35000/963909
190.63/189.15	c cleaning 9367 clauses out of 18747 with flag 45001/973910
192.93/191.44	c cleaning 10181 clauses out of 20379 with flag 56000/984909
195.62/194.16	c cleaning 11090 clauses out of 22199 with flag 68001/996910
198.53/197.05	c cleaning 12045 clauses out of 24110 with flag 81002/1009911
201.53/200.03	c cleaning 13025 clauses out of 26064 with flag 95001/1023910
204.24/202.75	c cleaning 13514 clauses out of 27038 with flag 109000/1037909
207.16/205.64	c cleaning 13753 clauses out of 27524 with flag 123000/1051909
210.15/208.60	c cleaning 13874 clauses out of 27771 with flag 137000/1065909
213.06/211.58	c cleaning 13941 clauses out of 27898 with flag 151001/1079910
216.16/214.60	c cleaning 13968 clauses out of 27956 with flag 165000/1093909
219.56/218.03	c cleaning 13983 clauses out of 27989 with flag 179001/1107910
222.87/221.35	c cleaning 13990 clauses out of 28005 with flag 193000/1121909
226.07/224.59	c cleaning 13999 clauses out of 28015 with flag 207000/1135909
229.57/228.04	c cleaning 14001 clauses out of 28016 with flag 221000/1149909
232.98/231.43	c cleaning 14000 clauses out of 28016 with flag 235001/1163910
236.28/234.79	c cleaning 13996 clauses out of 28016 with flag 249001/1177910
239.38/237.82	c cleaning 14000 clauses out of 28020 with flag 263001/1191910
242.40/240.90	c cleaning 13997 clauses out of 28020 with flag 277001/1205910
245.39/243.87	c cleaning 14003 clauses out of 28023 with flag 291001/1219910
248.49/246.92	c cleaning 13995 clauses out of 28019 with flag 305000/1233909
251.49/249.95	c cleaning 14003 clauses out of 28025 with flag 319001/1247910
254.61/253.09	c cleaning 14005 clauses out of 28021 with flag 333000/1261909
257.70/256.17	c cleaning 14003 clauses out of 28017 with flag 347001/1275910
260.91/259.30	c cleaning 13991 clauses out of 28013 with flag 361000/1289909
263.92/262.33	c cleaning 14003 clauses out of 28025 with flag 375003/1303912
266.92/265.39	c cleaning 14004 clauses out of 28020 with flag 389001/1317910
270.04/268.49	c cleaning 13999 clauses out of 28016 with flag 403001/1331910
271.33/269.70	c Got one! Elapsed wall clock time (in seconds):269.588
271.33/269.70	o 76
272.15/270.58	c cleaning 12757 clauses out of 25519 with flag 5001/1343412
273.25/271.64	c cleaning 9372 clauses out of 18762 with flag 11001/1349412
274.54/272.98	c cleaning 8187 clauses out of 16389 with flag 18000/1356411
276.25/274.64	c cleaning 8096 clauses out of 16203 with flag 26001/1364412
278.35/276.70	c cleaning 8548 clauses out of 17107 with flag 35001/1373412
280.45/278.85	c cleaning 9275 clauses out of 18559 with flag 45001/1383412
282.86/281.25	c cleaning 10136 clauses out of 20283 with flag 56000/1394411
285.66/284.08	c cleaning 11067 clauses out of 22148 with flag 68001/1406412
288.87/287.22	c cleaning 12029 clauses out of 24080 with flag 81000/1419411
291.98/290.40	c cleaning 13020 clauses out of 26052 with flag 95001/1433412
295.18/293.52	c cleaning 13509 clauses out of 27031 with flag 109000/1447411
298.38/296.74	c cleaning 13750 clauses out of 27523 with flag 123001/1461412
301.29/299.61	c cleaning 13878 clauses out of 27773 with flag 137001/1475412
304.29/302.64	c cleaning 13943 clauses out of 27895 with flag 151001/1489412
307.30/305.67	c cleaning 13968 clauses out of 27952 with flag 165001/1503412
310.30/308.68	c cleaning 13982 clauses out of 27984 with flag 179001/1517412
313.30/311.64	c cleaning 13996 clauses out of 28001 with flag 193000/1531411
316.22/314.54	c cleaning 13995 clauses out of 28006 with flag 207001/1545412
319.21/317.52	c cleaning 13997 clauses out of 28011 with flag 221001/1559412
322.32/320.63	c cleaning 13994 clauses out of 28013 with flag 235000/1573411
325.42/323.72	c cleaning 14003 clauses out of 28020 with flag 249001/1587412
328.34/326.69	c cleaning 13996 clauses out of 28017 with flag 263001/1601412
331.33/329.63	c cleaning 13999 clauses out of 28020 with flag 277000/1615411
334.13/332.41	c cleaning 14008 clauses out of 28023 with flag 291002/1629413
336.84/335.13	c cleaning 13993 clauses out of 28013 with flag 305000/1643411
339.54/337.81	c cleaning 13999 clauses out of 28020 with flag 319000/1657411
342.35/340.62	c cleaning 14004 clauses out of 28021 with flag 333000/1671411
345.15/343.42	c cleaning 14004 clauses out of 28018 with flag 347001/1685412
347.95/346.27	c cleaning 13998 clauses out of 28014 with flag 361001/1699412
350.76/349.09	c cleaning 13992 clauses out of 28015 with flag 375000/1713411
353.78/352.03	c cleaning 13997 clauses out of 28024 with flag 389001/1727412
356.46/354.79	c cleaning 14005 clauses out of 28027 with flag 403001/1741412
359.37/357.67	c cleaning 13999 clauses out of 28021 with flag 417000/1755411
362.27/360.56	c cleaning 13996 clauses out of 28024 with flag 431002/1769413
364.97/363.21	c cleaning 14000 clauses out of 28027 with flag 445001/1783412
367.47/365.80	c cleaning 14002 clauses out of 28027 with flag 459001/1797412
370.19/368.45	c cleaning 14003 clauses out of 28024 with flag 473000/1811411
372.80/371.02	c cleaning 14002 clauses out of 28022 with flag 487001/1825412
375.40/373.68	c cleaning 13996 clauses out of 28019 with flag 501000/1839411
378.10/376.36	c cleaning 14002 clauses out of 28024 with flag 515001/1853412
380.71/378.94	c cleaning 14002 clauses out of 28022 with flag 529001/1867412
383.42/381.64	c cleaning 13999 clauses out of 28020 with flag 543001/1881412
386.21/384.42	c cleaning 13997 clauses out of 28020 with flag 557000/1895411
388.82/387.10	c cleaning 13997 clauses out of 28024 with flag 571001/1909412
391.52/389.75	c cleaning 14007 clauses out of 28026 with flag 585000/1923411
394.32/392.51	c cleaning 14003 clauses out of 28019 with flag 599000/1937411
396.93/395.14	c cleaning 13996 clauses out of 28016 with flag 613000/1951411
399.73/397.90	c cleaning 14001 clauses out of 28021 with flag 627001/1965412
402.43/400.67	c cleaning 14000 clauses out of 28019 with flag 641000/1979411
405.24/403.44	c cleaning 13996 clauses out of 28019 with flag 655000/1993411
407.76/405.96	c cleaning 14006 clauses out of 28023 with flag 669000/2007411
410.54/408.79	c cleaning 14002 clauses out of 28017 with flag 683000/2021411
413.55/411.74	c cleaning 14000 clauses out of 28015 with flag 697000/2035411
416.57/414.72	c cleaning 13994 clauses out of 28016 with flag 711001/2049412
419.56/417.72	c cleaning 13998 clauses out of 28021 with flag 725000/2063411
422.36/420.51	c cleaning 13996 clauses out of 28024 with flag 739001/2077412
425.17/423.31	c cleaning 14001 clauses out of 28029 with flag 753002/2091413
428.17/426.39	c cleaning 14007 clauses out of 28027 with flag 767001/2105412
431.38/429.54	c cleaning 13998 clauses out of 28019 with flag 781000/2119411
434.28/432.47	c cleaning 14005 clauses out of 28022 with flag 795001/2133412
437.29/435.44	c cleaning 14000 clauses out of 28016 with flag 809000/2147411
440.39/438.55	c cleaning 13997 clauses out of 28016 with flag 823000/2161411
443.29/441.41	c cleaning 14000 clauses out of 28020 with flag 837001/2175412
446.31/444.42	c cleaning 14000 clauses out of 28019 with flag 851000/2189411
449.20/447.33	c cleaning 14004 clauses out of 28020 with flag 865001/2203412
452.01/450.19	c cleaning 14003 clauses out of 28016 with flag 879001/2217412
455.12/453.23	c cleaning 13994 clauses out of 28013 with flag 893001/2231412
458.01/456.19	c cleaning 13998 clauses out of 28018 with flag 907000/2245411
461.02/459.14	c cleaning 14002 clauses out of 28020 with flag 921000/2259411
464.02/462.19	c cleaning 13998 clauses out of 28018 with flag 935000/2273411
467.14/465.28	c cleaning 13999 clauses out of 28021 with flag 949001/2287412
470.13/468.22	c cleaning 14003 clauses out of 28022 with flag 963001/2301412
473.13/471.24	c cleaning 13997 clauses out of 28018 with flag 977000/2315411
476.23/474.36	c cleaning 14000 clauses out of 28021 with flag 991000/2329411
479.25/477.41	c cleaning 14001 clauses out of 28022 with flag 1005001/2343412
482.24/480.34	c cleaning 14002 clauses out of 28022 with flag 1019002/2357413
485.25/483.38	c cleaning 13995 clauses out of 28018 with flag 1033000/2371411
488.25/486.38	c cleaning 14004 clauses out of 28023 with flag 1047000/2385411
491.55/489.62	c cleaning 14002 clauses out of 28019 with flag 1061000/2399411
494.67/492.72	c cleaning 14000 clauses out of 28018 with flag 1075001/2413412
497.76/495.87	c cleaning 14002 clauses out of 28017 with flag 1089000/2427411
500.96/499.09	c cleaning 14001 clauses out of 28018 with flag 1103003/2441414
504.17/502.27	c cleaning 13995 clauses out of 28015 with flag 1117001/2455412
507.38/505.43	c cleaning 14000 clauses out of 28020 with flag 1131001/2469412
510.58/508.64	c cleaning 13999 clauses out of 28020 with flag 1145001/2483412
513.79/511.85	c cleaning 14002 clauses out of 28020 with flag 1159000/2497411
517.09/515.17	c cleaning 13997 clauses out of 28019 with flag 1173001/2511412
520.29/518.33	c cleaning 14004 clauses out of 28021 with flag 1187000/2525411
523.41/521.44	c cleaning 14000 clauses out of 28017 with flag 1201000/2539411
526.71/524.72	c cleaning 13995 clauses out of 28018 with flag 1215001/2553412
529.80/527.88	c cleaning 14000 clauses out of 28023 with flag 1229001/2567412
533.00/531.00	c cleaning 14005 clauses out of 28022 with flag 1243000/2581411
536.30/534.31	c cleaning 13999 clauses out of 28017 with flag 1257000/2595411
539.20/537.28	c cleaning 14000 clauses out of 28018 with flag 1271000/2609411
542.51/540.55	c cleaning 13998 clauses out of 28018 with flag 1285000/2623411
545.81/543.80	c cleaning 13997 clauses out of 28020 with flag 1299000/2637411
549.12/547.16	c cleaning 14005 clauses out of 28023 with flag 1313000/2651411
552.42/550.44	c cleaning 14002 clauses out of 28019 with flag 1327001/2665412
555.24/553.24	c cleaning 13997 clauses out of 28016 with flag 1341000/2679411
558.23/556.28	c cleaning 14000 clauses out of 28019 with flag 1355000/2693411
561.23/559.30	c cleaning 14001 clauses out of 28020 with flag 1369001/2707412
564.33/562.32	c cleaning 13999 clauses out of 28018 with flag 1383000/2721411
567.24/565.28	c cleaning 13998 clauses out of 28020 with flag 1397001/2735412
570.04/568.10	c cleaning 13996 clauses out of 28021 with flag 1411000/2749411
572.96/570.96	c cleaning 14005 clauses out of 28026 with flag 1425001/2763412
575.95/573.92	c cleaning 13999 clauses out of 28021 with flag 1439001/2777412
578.95/576.98	c cleaning 14005 clauses out of 28023 with flag 1453002/2791413
581.86/579.89	c cleaning 13999 clauses out of 28019 with flag 1467003/2805414
584.86/582.80	c cleaning 13997 clauses out of 28018 with flag 1481001/2819412
587.76/585.79	c cleaning 14000 clauses out of 28020 with flag 1495000/2833411
590.77/588.75	c cleaning 14001 clauses out of 28020 with flag 1509000/2847411
593.89/591.84	c cleaning 14003 clauses out of 28020 with flag 1523001/2861412
596.77/594.71	c cleaning 13996 clauses out of 28017 with flag 1537001/2875412
599.77/597.77	c cleaning 14002 clauses out of 28022 with flag 1551002/2889413
602.69/600.69	c cleaning 13996 clauses out of 28018 with flag 1565000/2903411
605.78/603.79	c cleaning 14001 clauses out of 28022 with flag 1579000/2917411
608.68/606.67	c cleaning 13999 clauses out of 28022 with flag 1593001/2931412
611.69/609.70	c cleaning 14002 clauses out of 28023 with flag 1607001/2945412
614.60/612.56	c cleaning 13998 clauses out of 28021 with flag 1621001/2959412
617.50/615.46	c cleaning 14002 clauses out of 28023 with flag 1635001/2973412
620.41/618.37	c cleaning 14006 clauses out of 28022 with flag 1649002/2987413
623.11/621.07	c cleaning 14001 clauses out of 28014 with flag 1663000/3001411
625.92/623.80	c cleaning 14003 clauses out of 28014 with flag 1677001/3015412
628.52/626.48	c cleaning 13998 clauses out of 28010 with flag 1691000/3029411
631.24/629.13	c cleaning 13998 clauses out of 28013 with flag 1705001/3043412
634.04/631.91	c cleaning 13998 clauses out of 28014 with flag 1719000/3057411
636.94/634.80	c cleaning 14004 clauses out of 28016 with flag 1733000/3071411
639.84/637.76	c cleaning 13997 clauses out of 28012 with flag 1747000/3085411
642.95/640.88	c cleaning 13999 clauses out of 28016 with flag 1761001/3099412
646.05/643.96	c cleaning 13998 clauses out of 28017 with flag 1775001/3113412
649.06/646.94	c cleaning 14005 clauses out of 28021 with flag 1789003/3127414
651.57/649.43	c cleaning 13997 clauses out of 28014 with flag 1803001/3141412
654.17/652.06	c cleaning 13996 clauses out of 28016 with flag 1817000/3155411
656.87/654.75	c cleaning 14000 clauses out of 28021 with flag 1831001/3169412
659.47/657.40	c cleaning 13999 clauses out of 28021 with flag 1845001/3183412
662.28/660.11	c cleaning 14002 clauses out of 28021 with flag 1859000/3197411
665.18/663.07	c cleaning 13999 clauses out of 28020 with flag 1873001/3211412
668.08/666.00	c cleaning 13998 clauses out of 28021 with flag 1887001/3225412
671.29/669.12	c cleaning 13997 clauses out of 28022 with flag 1901000/3239411
674.49/672.31	c cleaning 14000 clauses out of 28026 with flag 1915001/3253412
677.80/675.63	c cleaning 14000 clauses out of 28025 with flag 1929000/3267411
680.81/678.63	c cleaning 14001 clauses out of 28026 with flag 1943001/3281412
683.80/681.68	c cleaning 14005 clauses out of 28024 with flag 1957000/3295411
687.21/685.04	c cleaning 14002 clauses out of 28019 with flag 1971000/3309411
690.61/688.46	c cleaning 14001 clauses out of 28018 with flag 1985001/3323412
694.13/691.94	c cleaning 13996 clauses out of 28016 with flag 1999000/3337411
697.43/695.25	c cleaning 13995 clauses out of 28021 with flag 2013001/3351412
700.82/698.62	c cleaning 14003 clauses out of 28025 with flag 2027000/3365411
704.22/702.03	c cleaning 14003 clauses out of 28022 with flag 2041000/3379411
707.53/705.37	c cleaning 14000 clauses out of 28020 with flag 2055001/3393412
710.83/708.67	c cleaning 13998 clauses out of 28019 with flag 2069000/3407411
714.33/712.10	c cleaning 14002 clauses out of 28022 with flag 2083001/3421412
717.64/715.41	c cleaning 14000 clauses out of 28020 with flag 2097001/3435412
720.34/718.17	c cleaning 14003 clauses out of 28020 with flag 2111001/3449412
723.14/720.96	c cleaning 13998 clauses out of 28016 with flag 2125000/3463411
725.96/723.76	c cleaning 14002 clauses out of 28019 with flag 2139001/3477412
728.75/726.55	c cleaning 13997 clauses out of 28017 with flag 2153001/3491412
731.75/729.59	c cleaning 13998 clauses out of 28019 with flag 2167000/3505411
734.46/732.28	c cleaning 14004 clauses out of 28021 with flag 2181000/3519411
737.16/734.97	c cleaning 13993 clauses out of 28018 with flag 2195001/3533412
739.96/737.71	c cleaning 13999 clauses out of 28024 with flag 2209000/3547411
742.67/740.45	c cleaning 13998 clauses out of 28027 with flag 2223002/3561413
745.37/743.16	c cleaning 14001 clauses out of 28028 with flag 2237001/3575412
748.17/745.90	c cleaning 13996 clauses out of 28026 with flag 2251000/3589411
750.98/748.74	c cleaning 14005 clauses out of 28030 with flag 2265000/3603411
753.88/751.60	c cleaning 14001 clauses out of 28025 with flag 2279000/3617411
756.99/754.75	c cleaning 14003 clauses out of 28024 with flag 2293000/3631411
760.00/757.72	c cleaning 13998 clauses out of 28022 with flag 2307001/3645412
762.60/760.38	c cleaning 13997 clauses out of 28023 with flag 2321000/3659411
765.21/762.95	c cleaning 14004 clauses out of 28026 with flag 2335000/3673411
767.93/765.70	c cleaning 14000 clauses out of 28022 with flag 2349000/3687411
770.62/768.39	c cleaning 14003 clauses out of 28023 with flag 2363001/3701412
773.44/771.13	c cleaning 13996 clauses out of 28019 with flag 2377000/3715411
776.23/773.99	c cleaning 13997 clauses out of 28023 with flag 2391000/3729411
779.03/776.78	c cleaning 14004 clauses out of 28026 with flag 2405000/3743411
781.74/779.44	c cleaning 14000 clauses out of 28022 with flag 2419000/3757411
784.54/782.23	c cleaning 13998 clauses out of 28023 with flag 2433001/3771412
787.44/785.14	c cleaning 14002 clauses out of 28026 with flag 2447002/3785413
790.25/787.98	c cleaning 13997 clauses out of 28022 with flag 2461000/3799411
793.05/790.73	c cleaning 14000 clauses out of 28025 with flag 2475000/3813411
795.95/793.62	c cleaning 14003 clauses out of 28026 with flag 2489001/3827412
798.67/796.40	c cleaning 13997 clauses out of 28022 with flag 2503000/3841411
801.56/799.27	c cleaning 13997 clauses out of 28025 with flag 2517000/3855411
804.46/802.19	c cleaning 14007 clauses out of 28030 with flag 2531002/3869413
807.36/805.04	c cleaning 14000 clauses out of 28022 with flag 2545001/3883412
810.17/807.83	c cleaning 13996 clauses out of 28022 with flag 2559001/3897412
813.09/810.72	c cleaning 13997 clauses out of 28025 with flag 2573000/3911411
815.87/813.58	c cleaning 14003 clauses out of 28028 with flag 2587000/3925411
818.78/816.48	c cleaning 14000 clauses out of 28025 with flag 2601000/3939411
821.68/819.41	c cleaning 14005 clauses out of 28026 with flag 2615001/3953412
824.48/822.18	c cleaning 14000 clauses out of 28020 with flag 2629000/3967411
827.30/824.97	c cleaning 14002 clauses out of 28021 with flag 2643001/3981412
830.08/827.78	c cleaning 14000 clauses out of 28018 with flag 2657000/3995411
833.19/830.80	c cleaning 14003 clauses out of 28019 with flag 2671001/4009412
836.21/833.89	c cleaning 14001 clauses out of 28017 with flag 2685002/4023413
839.20/836.81	c cleaning 13991 clauses out of 28014 with flag 2699000/4037411
842.20/839.84	c cleaning 14001 clauses out of 28023 with flag 2713000/4051411
845.10/842.73	c cleaning 14007 clauses out of 28023 with flag 2727001/4065412
848.10/845.73	c cleaning 13994 clauses out of 28016 with flag 2741001/4079412
851.01/848.69	c cleaning 14000 clauses out of 28021 with flag 2755000/4093411
854.01/851.60	c cleaning 13993 clauses out of 28021 with flag 2769000/4107411
857.13/854.72	c cleaning 14005 clauses out of 28029 with flag 2783001/4121412
860.22/857.87	c cleaning 13998 clauses out of 28025 with flag 2797002/4135413
863.33/860.97	c cleaning 14003 clauses out of 28026 with flag 2811001/4149412
866.33/863.97	c cleaning 13997 clauses out of 28024 with flag 2825002/4163413
869.54/867.12	c cleaning 14005 clauses out of 28026 with flag 2839001/4177412
872.55/870.15	c cleaning 14000 clauses out of 28021 with flag 2853001/4191412
875.75/873.35	c cleaning 14003 clauses out of 28021 with flag 2867001/4205412
879.06/876.63	c cleaning 13999 clauses out of 28017 with flag 2881000/4219411
881.85/879.46	c cleaning 14002 clauses out of 28018 with flag 2895000/4233411
884.85/882.46	c cleaning 13997 clauses out of 28016 with flag 2909000/4247411
887.76/885.33	c cleaning 13998 clauses out of 28020 with flag 2923001/4261412
890.66/888.29	c cleaning 13997 clauses out of 28021 with flag 2937000/4275411
893.56/891.17	c cleaning 14003 clauses out of 28024 with flag 2951000/4289411
896.57/894.15	c cleaning 14001 clauses out of 28021 with flag 2965000/4303411
899.57/897.17	c cleaning 13998 clauses out of 28020 with flag 2979000/4317411
902.67/900.23	c cleaning 14002 clauses out of 28022 with flag 2993000/4331411
905.59/903.13	c cleaning 13996 clauses out of 28021 with flag 3007001/4345412
908.68/906.24	c cleaning 14000 clauses out of 28025 with flag 3021001/4359412
911.68/909.25	c cleaning 13997 clauses out of 28025 with flag 3035001/4373412
914.78/912.31	c cleaning 14006 clauses out of 28028 with flag 3049001/4387412
917.88/915.43	c cleaning 14006 clauses out of 28021 with flag 3063000/4401411
920.78/918.40	c cleaning 13996 clauses out of 28015 with flag 3077000/4415411
923.81/921.36	c cleaning 13998 clauses out of 28020 with flag 3091001/4429412
926.81/924.37	c cleaning 14004 clauses out of 28022 with flag 3105001/4443412
929.91/927.44	c cleaning 13998 clauses out of 28018 with flag 3119001/4457412
933.22/930.74	c cleaning 14004 clauses out of 28020 with flag 3133001/4471412
936.33/933.83	c cleaning 13995 clauses out of 28015 with flag 3147000/4485411
939.02/936.56	c cleaning 14009 clauses out of 28020 with flag 3161000/4499411
941.63/939.13	c cleaning 13996 clauses out of 28012 with flag 3175001/4513412
944.44/942.00	c cleaning 14004 clauses out of 28016 with flag 3189001/4527412
947.54/945.01	c cleaning 13996 clauses out of 28012 with flag 3203001/4541412
950.54/948.01	c cleaning 14001 clauses out of 28015 with flag 3217000/4555411
953.96/951.45	c cleaning 14000 clauses out of 28016 with flag 3231002/4569413
957.15/954.65	c cleaning 13998 clauses out of 28014 with flag 3245000/4583411
959.96/957.44	c cleaning 14001 clauses out of 28016 with flag 3259000/4597411
962.67/960.21	c cleaning 13998 clauses out of 28015 with flag 3273000/4611411
965.47/962.93	c cleaning 14002 clauses out of 28018 with flag 3287001/4625412
968.18/965.65	c cleaning 13998 clauses out of 28017 with flag 3301002/4639413
970.90/968.39	c cleaning 14000 clauses out of 28018 with flag 3315001/4653412
973.70/971.20	c cleaning 14001 clauses out of 28018 with flag 3329001/4667412
976.73/974.16	c cleaning 14001 clauses out of 28017 with flag 3343001/4681412
979.53/976.94	c cleaning 14004 clauses out of 28015 with flag 3357000/4695411
982.24/979.68	c cleaning 13997 clauses out of 28011 with flag 3371000/4709411
985.24/982.65	c cleaning 13998 clauses out of 28014 with flag 3385000/4723411
988.16/985.58	c cleaning 13997 clauses out of 28017 with flag 3399001/4737412
991.04/988.44	c cleaning 14002 clauses out of 28019 with flag 3413000/4751411
993.95/991.34	c cleaning 13994 clauses out of 28018 with flag 3427001/4765412
996.96/994.39	c cleaning 14003 clauses out of 28024 with flag 3441001/4779412
999.85/997.23	c cleaning 14004 clauses out of 28020 with flag 3455000/4793411
1002.76/1000.20	c cleaning 13995 clauses out of 28017 with flag 3469001/4807412
1005.88/1003.21	c cleaning 14002 clauses out of 28021 with flag 3483000/4821411
1008.67/1006.07	c cleaning 14002 clauses out of 28019 with flag 3497000/4835411
1011.77/1009.10	c cleaning 13997 clauses out of 28017 with flag 3511000/4849411
1014.69/1012.06	c cleaning 14002 clauses out of 28023 with flag 3525003/4863414
1017.78/1015.10	c cleaning 14003 clauses out of 28019 with flag 3539001/4877412
1020.68/1018.04	c cleaning 14000 clauses out of 28015 with flag 3553000/4891411
1023.58/1020.97	c cleaning 13994 clauses out of 28016 with flag 3567001/4905412
1026.70/1024.03	c cleaning 14000 clauses out of 28022 with flag 3581001/4919412
1029.59/1026.99	c cleaning 14003 clauses out of 28022 with flag 3595001/4933412
1032.70/1030.09	c cleaning 13995 clauses out of 28018 with flag 3609000/4947411
1035.80/1033.17	c cleaning 14001 clauses out of 28023 with flag 3623000/4961411
1038.92/1036.27	c cleaning 14004 clauses out of 28023 with flag 3637001/4975412
1041.91/1039.27	c cleaning 14000 clauses out of 28020 with flag 3651002/4989413
1045.01/1042.34	c cleaning 13994 clauses out of 28019 with flag 3665001/5003412
1048.21/1045.54	c cleaning 13999 clauses out of 28024 with flag 3679000/5017411
1051.31/1048.65	c cleaning 14000 clauses out of 28025 with flag 3693000/5031411
1054.42/1051.75	c cleaning 13999 clauses out of 28026 with flag 3707001/5045412
1057.53/1054.88	c cleaning 14006 clauses out of 28028 with flag 3721002/5059413
1060.72/1058.02	c cleaning 14003 clauses out of 28021 with flag 3735001/5073412
1063.73/1061.05	c cleaning 13998 clauses out of 28019 with flag 3749002/5087413
1066.83/1064.15	c cleaning 13999 clauses out of 28019 with flag 3763000/5101411
1069.93/1067.29	c cleaning 14004 clauses out of 28020 with flag 3777000/5115411
1072.95/1070.29	c cleaning 13999 clauses out of 28017 with flag 3791001/5129412
1076.14/1073.48	c cleaning 13990 clauses out of 28017 with flag 3805000/5143411
1079.24/1076.53	c cleaning 14006 clauses out of 28028 with flag 3819001/5157412
1082.05/1079.36	c cleaning 14006 clauses out of 28021 with flag 3833000/5171411
1084.85/1082.15	c cleaning 13998 clauses out of 28015 with flag 3847000/5185411
1087.66/1084.92	c cleaning 13995 clauses out of 28018 with flag 3861001/5199412
1090.57/1087.82	c cleaning 13998 clauses out of 28022 with flag 3875000/5213411
1093.46/1090.72	c cleaning 14000 clauses out of 28024 with flag 3889000/5227411
1096.27/1093.53	c cleaning 14001 clauses out of 28025 with flag 3903001/5241412
1099.07/1096.34	c cleaning 14002 clauses out of 28024 with flag 3917001/5255412
1101.58/1098.90	c cleaning 14003 clauses out of 28022 with flag 3931001/5269412
1104.47/1101.72	c cleaning 13997 clauses out of 28019 with flag 3945001/5283412
1107.38/1104.63	c cleaning 14004 clauses out of 28021 with flag 3959000/5297411
1110.09/1107.32	c cleaning 14001 clauses out of 28017 with flag 3973000/5311411
1112.79/1110.03	c cleaning 13992 clauses out of 28018 with flag 3987002/5325413
1115.79/1113.01	c cleaning 14001 clauses out of 28025 with flag 4001001/5339412
1118.49/1115.79	c cleaning 14001 clauses out of 28025 with flag 4015002/5353413
1121.29/1118.59	c cleaning 14000 clauses out of 28022 with flag 4029000/5367411
1124.20/1121.40	c cleaning 13999 clauses out of 28022 with flag 4043000/5381411
1127.10/1124.30	c cleaning 14002 clauses out of 28024 with flag 4057001/5395412
1129.80/1127.05	c cleaning 14000 clauses out of 28022 with flag 4071001/5409412
1132.60/1129.87	c cleaning 13994 clauses out of 28021 with flag 4085000/5423411
1135.51/1132.71	c cleaning 14003 clauses out of 28028 with flag 4099001/5437412
1138.41/1135.60	c cleaning 14001 clauses out of 28024 with flag 4113000/5451411
1141.33/1138.54	c cleaning 13996 clauses out of 28024 with flag 4127001/5465412
1144.31/1141.53	c cleaning 14003 clauses out of 28028 with flag 4141001/5479412
1147.22/1144.41	c cleaning 14008 clauses out of 28024 with flag 4155000/5493411
1150.14/1147.38	c cleaning 14000 clauses out of 28017 with flag 4169001/5507412
1153.12/1150.34	c cleaning 14000 clauses out of 28016 with flag 4183000/5521411
1156.03/1153.28	c cleaning 14004 clauses out of 28017 with flag 4197001/5535412
1159.03/1156.29	c cleaning 13998 clauses out of 28012 with flag 4211000/5549411
1161.93/1159.17	c cleaning 13997 clauses out of 28014 with flag 4225000/5563411
1165.03/1162.22	c cleaning 14001 clauses out of 28018 with flag 4239001/5577412
1167.93/1165.19	c cleaning 14002 clauses out of 28016 with flag 4253000/5591411
1170.95/1168.18	c cleaning 13995 clauses out of 28014 with flag 4267000/5605411
1173.84/1171.09	c cleaning 14000 clauses out of 28019 with flag 4281000/5619411
1176.84/1174.09	c cleaning 13996 clauses out of 28019 with flag 4295000/5633411
1179.76/1176.97	c cleaning 14002 clauses out of 28023 with flag 4309000/5647411
1182.75/1179.94	c cleaning 14004 clauses out of 28022 with flag 4323001/5661412
1185.75/1182.91	c cleaning 14001 clauses out of 28017 with flag 4337000/5675411
1188.75/1185.92	c cleaning 13999 clauses out of 28017 with flag 4351001/5689412
1191.65/1188.87	c cleaning 13996 clauses out of 28018 with flag 4365001/5703412
1194.55/1191.72	c cleaning 14002 clauses out of 28022 with flag 4379001/5717412
1197.37/1194.54	c cleaning 13997 clauses out of 28019 with flag 4393000/5731411
1200.36/1197.56	c cleaning 14000 clauses out of 28022 with flag 4407000/5745411
1203.36/1200.50	c cleaning 13992 clauses out of 28022 with flag 4421000/5759411
1206.17/1203.40	c cleaning 14006 clauses out of 28032 with flag 4435002/5773413
1209.26/1206.44	c cleaning 13999 clauses out of 28025 with flag 4449001/5787412
1212.16/1209.38	c cleaning 13999 clauses out of 28026 with flag 4463001/5801412
1215.17/1212.31	c cleaning 14007 clauses out of 28027 with flag 4477001/5815412
1218.07/1215.26	c cleaning 14000 clauses out of 28020 with flag 4491001/5829412
1221.18/1218.38	c cleaning 14002 clauses out of 28020 with flag 4505001/5843412
1224.18/1221.34	c cleaning 13997 clauses out of 28018 with flag 4519001/5857412
1227.28/1224.41	c cleaning 13995 clauses out of 28020 with flag 4533000/5871411
1230.39/1227.52	c cleaning 13999 clauses out of 28025 with flag 4547000/5885411
1233.48/1230.70	c cleaning 14003 clauses out of 28026 with flag 4561000/5899411
1236.39/1233.59	c cleaning 13999 clauses out of 28023 with flag 4575000/5913411
1239.49/1236.61	c cleaning 13997 clauses out of 28024 with flag 4589000/5927411
1242.50/1239.70	c cleaning 13999 clauses out of 28028 with flag 4603001/5941412
1245.69/1242.85	c cleaning 14004 clauses out of 28029 with flag 4617001/5955412
1248.89/1246.01	c cleaning 13996 clauses out of 28024 with flag 4631000/5969411
1252.00/1249.13	c cleaning 14002 clauses out of 28028 with flag 4645000/5983411
1254.71/1251.83	c cleaning 14005 clauses out of 28028 with flag 4659002/5997413
1257.40/1254.50	c cleaning 14005 clauses out of 28021 with flag 4673000/6011411
1260.30/1257.43	c cleaning 14003 clauses out of 28017 with flag 4687001/6025412
1263.10/1260.29	c cleaning 13998 clauses out of 28013 with flag 4701000/6039411
1266.01/1263.10	c cleaning 13995 clauses out of 28015 with flag 4715000/6053411
1268.92/1266.02	c cleaning 14002 clauses out of 28020 with flag 4729000/6067411
1271.81/1268.95	c cleaning 13994 clauses out of 28019 with flag 4743001/6081412
1274.71/1271.88	c cleaning 14002 clauses out of 28025 with flag 4757001/6095412
1277.61/1274.75	c cleaning 14000 clauses out of 28022 with flag 4771000/6109411
1280.61/1277.75	c cleaning 14003 clauses out of 28022 with flag 4785000/6123411
1283.61/1280.72	c cleaning 14000 clauses out of 28021 with flag 4799002/6137413
1286.72/1283.88	c cleaning 14000 clauses out of 28020 with flag 4813001/6151412
1289.72/1286.85	c cleaning 14000 clauses out of 28020 with flag 4827001/6165412
1292.72/1289.81	c cleaning 13995 clauses out of 28019 with flag 4841000/6179411
1295.72/1292.83	c cleaning 13998 clauses out of 28026 with flag 4855002/6193413
1298.74/1295.84	c cleaning 14002 clauses out of 28026 with flag 4869000/6207411
1301.63/1298.72	c cleaning 14008 clauses out of 28026 with flag 4883002/6221413
1304.53/1301.64	c cleaning 13996 clauses out of 28017 with flag 4897001/6235412
1307.54/1304.69	c cleaning 14001 clauses out of 28021 with flag 4911001/6249412
1310.63/1307.79	c cleaning 13997 clauses out of 28019 with flag 4925000/6263411
1313.73/1310.81	c cleaning 14000 clauses out of 28023 with flag 4939001/6277412
1316.73/1313.81	c cleaning 14008 clauses out of 28023 with flag 4953001/6291412
1319.65/1316.73	c cleaning 14000 clauses out of 28014 with flag 4967000/6305411
1322.55/1319.69	c cleaning 13999 clauses out of 28014 with flag 4981000/6319411
1325.55/1322.70	c cleaning 13996 clauses out of 28015 with flag 4995000/6333411
1328.65/1325.79	c cleaning 13996 clauses out of 28020 with flag 5009001/6347412
1331.86/1328.95	c cleaning 13999 clauses out of 28024 with flag 5023001/6361412
1334.86/1331.90	c cleaning 14002 clauses out of 28026 with flag 5037002/6375413
1337.76/1334.84	c cleaning 13998 clauses out of 28023 with flag 5051001/6389412
1340.76/1337.82	c cleaning 14001 clauses out of 28024 with flag 5065000/6403411
1343.77/1340.86	c cleaning 14003 clauses out of 28024 with flag 5079001/6417412
1346.76/1343.87	c cleaning 13998 clauses out of 28020 with flag 5093000/6431411
1349.76/1346.80	c cleaning 14001 clauses out of 28023 with flag 5107001/6445412
1352.77/1349.82	c cleaning 13998 clauses out of 28023 with flag 5121002/6459413
1355.77/1352.85	c cleaning 14003 clauses out of 28023 with flag 5135000/6473411
1358.87/1355.94	c cleaning 13999 clauses out of 28020 with flag 5149000/6487411
1361.87/1358.92	c cleaning 13998 clauses out of 28022 with flag 5163001/6501412
1364.87/1361.96	c cleaning 14002 clauses out of 28023 with flag 5177000/6515411
1367.87/1364.92	c cleaning 13999 clauses out of 28021 with flag 5191000/6529411
1370.98/1368.02	c cleaning 13997 clauses out of 28022 with flag 5205000/6543411
1374.08/1371.19	c cleaning 14000 clauses out of 28027 with flag 5219002/6557413
1377.18/1374.28	c cleaning 13997 clauses out of 28026 with flag 5233001/6571412
1380.20/1377.26	c cleaning 14002 clauses out of 28028 with flag 5247000/6585411
1383.29/1380.37	c cleaning 13999 clauses out of 28026 with flag 5261000/6599411
1386.59/1383.66	c cleaning 13996 clauses out of 28027 with flag 5275000/6613411
1389.59/1386.65	c cleaning 14007 clauses out of 28032 with flag 5289001/6627412
1392.60/1389.62	c cleaning 14000 clauses out of 28024 with flag 5303000/6641411
1395.51/1392.58	c cleaning 13997 clauses out of 28024 with flag 5317000/6655411
1398.40/1395.48	c cleaning 14005 clauses out of 28028 with flag 5331001/6669412
1401.40/1398.48	c cleaning 13999 clauses out of 28023 with flag 5345001/6683412
1404.42/1401.47	c cleaning 14003 clauses out of 28023 with flag 5359000/6697411
1407.41/1404.40	c cleaning 14001 clauses out of 28022 with flag 5373002/6711413
1410.41/1407.43	c cleaning 13999 clauses out of 28019 with flag 5387000/6725411
1413.23/1410.24	c cleaning 14004 clauses out of 28022 with flag 5401002/6739413
1415.62/1412.68	c cleaning 14006 clauses out of 28017 with flag 5415001/6753412
1418.22/1415.28	c cleaning 13999 clauses out of 28011 with flag 5429001/6767412
1421.03/1418.06	c cleaning 13999 clauses out of 28011 with flag 5443000/6781411
1424.03/1421.00	c cleaning 14004 clauses out of 28012 with flag 5457000/6795411
1426.84/1423.85	c cleaning 13999 clauses out of 28008 with flag 5471000/6809411
1429.84/1426.80	c cleaning 13995 clauses out of 28011 with flag 5485002/6823413
1432.45/1429.42	c cleaning 13998 clauses out of 28014 with flag 5499000/6837411
1435.16/1432.14	c cleaning 14004 clauses out of 28017 with flag 5513001/6851412
1437.96/1434.94	c cleaning 13997 clauses out of 28013 with flag 5527001/6865412
1440.78/1437.73	c cleaning 14000 clauses out of 28015 with flag 5541000/6879411
1443.57/1440.52	c cleaning 13994 clauses out of 28015 with flag 5555000/6893411
1446.38/1443.32	c cleaning 13999 clauses out of 28022 with flag 5569001/6907412
1449.28/1446.22	c cleaning 13997 clauses out of 28022 with flag 5583000/6921411
1452.19/1449.11	c cleaning 14008 clauses out of 28026 with flag 5597001/6935412
1454.89/1451.86	c cleaning 14000 clauses out of 28017 with flag 5611000/6949411
1457.70/1454.64	c cleaning 13999 clauses out of 28019 with flag 5625002/6963413
1460.62/1457.54	c cleaning 13999 clauses out of 28018 with flag 5639000/6977411
1463.50/1460.45	c cleaning 13998 clauses out of 28020 with flag 5653001/6991412
1466.51/1463.46	c cleaning 14005 clauses out of 28023 with flag 5667002/7005413
1469.51/1466.42	c cleaning 13994 clauses out of 28016 with flag 5681000/7019411
1472.41/1469.35	c cleaning 14003 clauses out of 28023 with flag 5695001/7033412
1475.22/1472.16	c cleaning 14001 clauses out of 28019 with flag 5709000/7047411
1478.14/1475.06	c cleaning 13995 clauses out of 28018 with flag 5723000/7061411
1481.13/1478.05	c cleaning 14006 clauses out of 28024 with flag 5737001/7075412
1484.13/1481.00	c cleaning 13999 clauses out of 28017 with flag 5751000/7089411
1487.23/1484.16	c cleaning 14005 clauses out of 28019 with flag 5765001/7103412
1490.25/1487.19	c cleaning 13996 clauses out of 28013 with flag 5779000/7117411
1493.44/1490.36	c cleaning 13994 clauses out of 28018 with flag 5793001/7131412
1496.45/1493.39	c cleaning 14006 clauses out of 28024 with flag 5807001/7145412
1499.55/1496.43	c cleaning 13998 clauses out of 28017 with flag 5821000/7159411
1502.47/1499.35	c cleaning 14001 clauses out of 28020 with flag 5835001/7173412
1505.25/1502.13	c cleaning 13998 clauses out of 28019 with flag 5849001/7187412
1508.06/1504.99	c cleaning 14003 clauses out of 28020 with flag 5863000/7201411
1510.96/1507.84	c cleaning 13995 clauses out of 28018 with flag 5877001/7215412
1513.67/1510.56	c cleaning 14001 clauses out of 28023 with flag 5891001/7229412
1516.47/1513.32	c cleaning 13998 clauses out of 28021 with flag 5905000/7243411
1519.08/1515.93	c cleaning 14001 clauses out of 28023 with flag 5919000/7257411
1521.68/1518.58	c cleaning 14000 clauses out of 28022 with flag 5933000/7271411
1524.40/1521.27	c cleaning 14003 clauses out of 28022 with flag 5947000/7285411
1527.09/1523.93	c cleaning 13998 clauses out of 28019 with flag 5961000/7299411
1529.91/1526.75	c cleaning 14000 clauses out of 28021 with flag 5975000/7313411
1532.70/1529.51	c cleaning 14001 clauses out of 28022 with flag 5989001/7327412
1535.52/1532.36	c cleaning 14000 clauses out of 28020 with flag 6003000/7341411
1538.41/1535.23	c cleaning 13997 clauses out of 28020 with flag 6017000/7355411
1541.31/1538.11	c cleaning 14004 clauses out of 28025 with flag 6031002/7369413
1544.12/1540.95	c cleaning 13999 clauses out of 28019 with flag 6045000/7383411
1546.92/1543.76	c cleaning 14002 clauses out of 28021 with flag 6059001/7397412
1549.62/1546.46	c cleaning 14006 clauses out of 28019 with flag 6073001/7411412
1552.72/1549.59	c cleaning 13995 clauses out of 28012 with flag 6087000/7425411
1555.73/1552.59	c cleaning 13993 clauses out of 28018 with flag 6101001/7439412
1558.84/1555.60	c cleaning 14002 clauses out of 28024 with flag 6115000/7453411
1561.85/1558.71	c cleaning 14005 clauses out of 28023 with flag 6129001/7467412
1564.95/1561.79	c cleaning 13994 clauses out of 28018 with flag 6143001/7481412
1568.25/1565.08	c cleaning 14002 clauses out of 28025 with flag 6157002/7495413
1571.35/1568.18	c cleaning 13998 clauses out of 28022 with flag 6171001/7509412
1574.76/1571.53	c cleaning 13996 clauses out of 28023 with flag 6185000/7523411
1577.86/1574.68	c cleaning 14003 clauses out of 28027 with flag 6199000/7537411
1580.96/1577.72	c cleaning 13999 clauses out of 28024 with flag 6213000/7551411
1584.06/1580.87	c cleaning 14003 clauses out of 28025 with flag 6227000/7565411
1587.18/1583.93	c cleaning 14000 clauses out of 28022 with flag 6241000/7579411
1590.27/1587.08	c cleaning 14004 clauses out of 28022 with flag 6255000/7593411
1593.47/1590.23	c cleaning 13996 clauses out of 28018 with flag 6269000/7607411
1596.57/1593.34	c cleaning 14000 clauses out of 28023 with flag 6283001/7621412
1599.68/1596.42	c cleaning 13999 clauses out of 28022 with flag 6297000/7635411
1602.88/1599.64	c cleaning 13999 clauses out of 28024 with flag 6311001/7649412
1606.08/1602.81	c cleaning 14005 clauses out of 28025 with flag 6325001/7663412
1609.09/1605.80	c cleaning 14002 clauses out of 28020 with flag 6339001/7677412
1612.09/1608.89	c cleaning 13995 clauses out of 28017 with flag 6353000/7691411
1615.10/1611.81	c cleaning 13997 clauses out of 28023 with flag 6367001/7705412
1618.21/1614.92	c cleaning 13992 clauses out of 28025 with flag 6381000/7719411
1621.51/1618.20	c cleaning 14004 clauses out of 28033 with flag 6395000/7733411
1624.21/1620.92	c cleaning 14008 clauses out of 28029 with flag 6409000/7747411
1627.02/1623.73	c cleaning 14003 clauses out of 28021 with flag 6423000/7761411
1629.73/1626.41	c cleaning 14003 clauses out of 28019 with flag 6437001/7775412
1632.53/1629.29	c cleaning 13998 clauses out of 28015 with flag 6451000/7789411
1635.23/1631.97	c cleaning 13997 clauses out of 28017 with flag 6465000/7803411
1637.95/1634.63	c cleaning 14000 clauses out of 28021 with flag 6479001/7817412
1640.74/1637.43	c cleaning 14001 clauses out of 28020 with flag 6493000/7831411
1643.35/1640.04	c cleaning 14001 clauses out of 28019 with flag 6507000/7845411
1646.05/1642.76	c cleaning 14000 clauses out of 28019 with flag 6521001/7859412
1648.75/1645.50	c cleaning 13998 clauses out of 28019 with flag 6535001/7873412
1651.68/1648.34	c cleaning 14000 clauses out of 28020 with flag 6549000/7887411
1654.39/1651.04	c cleaning 14000 clauses out of 28022 with flag 6563002/7901413
1657.18/1653.80	c cleaning 14003 clauses out of 28022 with flag 6577002/7915413
1659.90/1656.55	c cleaning 14003 clauses out of 28017 with flag 6591000/7929411
1662.69/1659.34	c cleaning 13998 clauses out of 28014 with flag 6605000/7943411
1665.50/1662.19	c cleaning 13992 clauses out of 28016 with flag 6619000/7957411
1668.39/1665.05	c cleaning 14006 clauses out of 28027 with flag 6633003/7971414
1671.30/1667.95	c cleaning 13994 clauses out of 28018 with flag 6647000/7985411
1674.21/1670.89	c cleaning 13997 clauses out of 28024 with flag 6661000/7999411
1677.10/1673.74	c cleaning 14007 clauses out of 28027 with flag 6675000/8013411
1679.82/1676.48	c cleaning 14003 clauses out of 28020 with flag 6689000/8027411
1682.71/1679.32	c cleaning 14002 clauses out of 28017 with flag 6703000/8041411
1685.61/1682.24	c cleaning 13996 clauses out of 28016 with flag 6717001/8055412
1688.53/1685.13	c cleaning 13999 clauses out of 28020 with flag 6731001/8069412
1691.32/1687.97	c cleaning 13999 clauses out of 28020 with flag 6745000/8083411
1694.13/1690.76	c cleaning 14003 clauses out of 28022 with flag 6759001/8097412
1697.02/1693.61	c cleaning 14003 clauses out of 28019 with flag 6773001/8111412
1700.02/1696.62	c cleaning 14000 clauses out of 28015 with flag 6787000/8125411
1702.94/1699.52	c cleaning 13999 clauses out of 28015 with flag 6801000/8139411
1705.83/1702.43	c cleaning 13999 clauses out of 28017 with flag 6815001/8153412
1708.54/1705.12	c cleaning 13999 clauses out of 28018 with flag 6829001/8167412
1711.34/1707.91	c cleaning 13999 clauses out of 28019 with flag 6843001/8181412
1714.24/1710.82	c cleaning 14002 clauses out of 28019 with flag 6857000/8195411
1717.04/1713.61	c cleaning 14000 clauses out of 28017 with flag 6871000/8209411
1719.74/1716.37	c cleaning 13993 clauses out of 28018 with flag 6885001/8223412
1722.45/1719.07	c cleaning 14005 clauses out of 28024 with flag 6899000/8237411
1725.35/1721.94	c cleaning 13996 clauses out of 28020 with flag 6913001/8251412
1728.06/1724.70	c cleaning 14001 clauses out of 28023 with flag 6927000/8265411
1730.87/1727.45	c cleaning 14001 clauses out of 28022 with flag 6941000/8279411
1733.69/1730.26	c cleaning 13995 clauses out of 28021 with flag 6955000/8293411
1736.58/1733.11	c cleaning 14004 clauses out of 28026 with flag 6969000/8307411
1739.38/1735.91	c cleaning 14001 clauses out of 28023 with flag 6983001/8321412
1742.08/1738.67	c cleaning 14002 clauses out of 28022 with flag 6997001/8335412
1744.89/1741.42	c cleaning 14001 clauses out of 28020 with flag 7011001/8349412
1747.59/1744.18	c cleaning 14001 clauses out of 28018 with flag 7025000/8363411
1750.30/1746.83	c cleaning 13998 clauses out of 28018 with flag 7039001/8377412
1753.19/1749.70	c cleaning 14000 clauses out of 28022 with flag 7053003/8391414
1755.89/1752.44	c cleaning 13999 clauses out of 28020 with flag 7067001/8405412
1758.70/1755.24	c cleaning 14003 clauses out of 28020 with flag 7081000/8419411
1761.50/1758.04	c cleaning 14001 clauses out of 28017 with flag 7095000/8433411
1764.30/1760.89	c cleaning 13998 clauses out of 28017 with flag 7109001/8447412
1767.10/1763.67	c cleaning 13995 clauses out of 28018 with flag 7123000/8461411
1769.90/1766.47	c cleaning 13999 clauses out of 28025 with flag 7137002/8475413
1772.71/1769.24	c cleaning 14004 clauses out of 28025 with flag 7151001/8489412
1775.41/1771.95	c cleaning 14002 clauses out of 28022 with flag 7165002/8503413
1778.31/1774.80	c cleaning 13993 clauses out of 28019 with flag 7179001/8517412
1781.03/1777.57	c cleaning 14005 clauses out of 28026 with flag 7193001/8531412
1784.01/1780.53	c cleaning 14003 clauses out of 28021 with flag 7207001/8545412
1786.72/1783.23	c cleaning 14001 clauses out of 28017 with flag 7221000/8559411
1789.52/1786.03	c cleaning 13993 clauses out of 28017 with flag 7235001/8573412
1792.42/1788.92	c cleaning 14000 clauses out of 28024 with flag 7249001/8587412
1795.22/1791.70	c cleaning 13997 clauses out of 28024 with flag 7263001/8601412
1797.93/1794.45	c cleaning 14000 clauses out of 28027 with flag 7277001/8615412
1800.04/1796.52	c starts		: 310
1800.04/1796.52	c conflicts		: 8625761
1800.04/1796.52	c decisions		: 13458727
1800.04/1796.52	c propagations		: 1107676150
1800.04/1796.52	c inspects		: 11621043228
1800.04/1796.52	c shortcuts		: 0
1800.04/1796.52	c learnt literals	: 0
1800.04/1796.52	c learnt binary clauses	: 0
1800.04/1796.52	c learnt ternary clauses	: 0
1800.04/1796.52	c learnt constraints	: 8625761
1800.04/1796.52	c ignored constraints	: 0
1800.04/1796.52	c root simplifications	: 0
1800.04/1796.52	c removed literals (reason simplification)	: 5911985
1800.04/1796.52	c reason swapping (by a shorter reason)	: 0
1800.04/1796.52	c Calls to reduceDB	: 626
1800.04/1796.52	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.52	c number of learned constraints concerned by reduction	: 0
1800.04/1796.52	c number of learning phase by resolution	: 0
1800.04/1796.52	c number of learning phase by cutting planes	: 0
1800.04/1796.52	c speed (assignments/second)	: 725481.6451239999
1800.04/1796.52	c non guided choices	10655
1800.04/1796.53	c learnt constraints type 
1800.04/1796.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24423
1800.04/1796.53	c constraints type 
1800.04/1796.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6770
1800.04/1796.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1796.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6270
1800.04/1796.53	s SATISFIABLE
1800.04/1796.53	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 -x244 -x245 x246 -x247 x248 x249 -x250 -x251 x252 -x253 x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 x320 x321 x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 x401 x402 -x403 x404 -x405 -x406 -x407 -x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 x491 x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.04/1796.53	c objective function=76
1800.04/1796.53	c Total wall clock time (in seconds): 1796.416

Verifier Data 

OK	76

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

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

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


[startup+0 s]
/proc/loadavg: 1.94 2.03 2.00 2/454 28275
/proc/meminfo: memFree=20635040/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 1862 0 1 0 0 0 0 0 25 0 2 0 827516511 13833195520 1563 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3377245 1576 906 9 0 3368401 0
[pid=28275/tid=28276] ppid=28273 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 2158 0 1 0 0 0 0 0 18 0 2 0 827516511 13833195520 2974 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.0858091 s]
/proc/loadavg: 1.94 2.03 2.00 2/454 28275
/proc/meminfo: memFree=20635040/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 14442 0 1 0 5 1 0 0 25 0 18 0 827516511 13880410112 14138 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3388772 14138 1754 9 0 3379506 0
[pid=28275/tid=28276] ppid=28273 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 13267 0 1 0 5 1 0 0 25 0 18 0 827516511 13880410112 14138 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 47445005987488 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.102372 s]
/proc/loadavg: 1.94 2.03 2.00 2/454 28275
/proc/meminfo: memFree=20635040/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13622320 CPUtime=0.1 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 15474 0 1 0 9 1 0 0 25 0 18 0 827516511 13949255680 15170 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3405580 15170 2093 9 0 3396314 0
[pid=28275/tid=28276] ppid=28273 vsize=13622320 CPUtime=0.08 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 13561 0 1 0 7 1 0 0 18 0 18 0 827516511 13949255680 15170 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622320

[startup+0.301729 s]
/proc/loadavg: 1.94 2.03 2.00 2/454 28275
/proc/meminfo: memFree=20635040/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13623976 CPUtime=0.26 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 16771 0 1 0 25 1 0 0 25 0 18 0 827516511 13950951424 16437 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3405994 16437 2182 9 0 3396728 0
[pid=28275/tid=28276] ppid=28273 vsize=13623976 CPUtime=0.19 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 14386 0 1 0 18 1 0 0 18 0 18 0 827516511 13950951424 16437 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505219103 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13623976

[startup+0.700699 s]
/proc/loadavg: 1.94 2.03 2.00 2/454 28275
/proc/meminfo: memFree=20635040/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=1.36 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 28444 0 1 0 133 3 0 0 25 0 19 0 827516511 13965541376 25081 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 25081 2231 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=0.59 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 18001 0 1 0 57 2 0 0 19 0 19 0 827516511 13965541376 25081 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505359072 0 4 0 16800975 0 0 0 -1 2 0 0 8
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 13638224

[startup+1.50159 s]
/proc/loadavg: 1.94 2.03 2.00 3/473 28294
/proc/meminfo: memFree=20538308/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=2.48 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 31256 0 1 0 244 4 0 0 25 0 19 0 827516511 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 26630 2243 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=1.39 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 19467 0 1 0 137 2 0 0 20 0 19 0 827516511 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505885178 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=28275/tid=28278] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28278/stat : 28278 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28279] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28279/stat : 28279 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28280] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28280/stat : 28280 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28281] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28281/stat : 28281 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28282] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28282/stat : 28282 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827516514 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 827516515 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827516515 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827516515 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.52 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5396 0 0 0 52 0 0 0 23 0 19 0 827516518 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.54 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5232 0 0 0 53 1 0 0 15 0 19 0 827516518 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28292] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28292/stat : 28292 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28293] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28293/stat : 28293 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827516518 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28294] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28294/stat : 28294 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827516568 13965541376 26630 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 13638224

[startup+3.10131 s]
/proc/loadavg: 1.94 2.03 2.00 3/473 28294
/proc/meminfo: memFree=20518592/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=4.17 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 36286 0 1 0 413 4 0 0 25 0 19 0 827516511 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 31652 2268 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=2.92 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 19907 0 1 0 290 2 0 0 25 0 19 0 827516511 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505812405 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=28275/tid=28278] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28278/stat : 28278 (java) S 28273 28275 24782 0 -1 4202560 537 0 0 0 0 0 0 0 16 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28279] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28279/stat : 28279 (java) S 28273 28275 24782 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28280] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28280/stat : 28280 (java) S 28273 28275 24782 0 -1 4202560 91 0 0 0 0 0 0 0 16 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28281] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28281/stat : 28281 (java) S 28273 28275 24782 0 -1 4202560 256 0 0 0 0 0 0 0 18 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28282] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28282/stat : 28282 (java) S 28273 28275 24782 0 -1 4202560 859 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 416 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827516514 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=0.05 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 2088 0 0 0 5 0 0 0 15 0 19 0 827516515 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.56 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5403 0 0 0 56 0 0 0 15 0 19 0 827516518 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.59 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5240 0 0 0 58 1 0 0 15 0 19 0 827516518 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28292] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28292/stat : 28292 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28293] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28293/stat : 28293 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827516518 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28294] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28294/stat : 28294 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827516568 13965541376 31652 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 13638224

[startup+6.30073 s]
/proc/loadavg: 1.95 2.03 2.00 3/473 28294
/proc/meminfo: memFree=20513996/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=7.43 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 36987 0 1 0 739 4 0 0 25 0 19 0 827516511 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 32334 2268 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=6.05 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 19909 0 1 0 603 2 0 0 25 0 19 0 827516511 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505885900 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=28275/tid=28278] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28278/stat : 28278 (java) S 28273 28275 24782 0 -1 4202560 537 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28279] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28279/stat : 28279 (java) S 28273 28275 24782 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28280] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28280/stat : 28280 (java) S 28273 28275 24782 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28281] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28281/stat : 28281 (java) S 28273 28275 24782 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28282] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28282/stat : 28282 (java) S 28273 28275 24782 0 -1 4202560 859 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 135 0 0 0 0 0 0 0 16 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 423 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 827516514 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=0.11 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 2340 0 0 0 11 0 0 0 15 0 19 0 827516515 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.6 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5422 0 0 0 60 0 0 0 15 0 19 0 827516518 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.6 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5245 0 0 0 59 1 0 0 15 0 19 0 827516518 13965541376 32334 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0

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

[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0.47 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 353 0 0 0 47 0 0 0 15 0 19 0 827516514 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0.47 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 545 0 0 0 47 0 0 0 15 0 19 0 827516514 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0.44 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 171 0 0 0 44 0 0 0 15 0 19 0 827516514 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=24.05 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 7406 0 0 0 2395 10 0 0 16 0 19 0 827516515 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.6 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5422 0 0 0 60 0 0 0 15 0 19 0 827516518 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.65 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5256 0 0 0 64 1 0 0 15 0 19 0 827516518 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28292] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28292/stat : 28292 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28293] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28293/stat : 28293 (java) S 28273 28275 24782 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827516518 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28294] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28294/stat : 28294 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827516568 13965541376 38449 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.76
Current children cumulated vsize (KiB) 13638224

[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/473 28493
/proc/meminfo: memFree=20445756/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=1785.82 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 43984 0 1 0 178564 18 0 0 25 0 19 0 827516511 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 38508 2269 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=1755.67 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 20525 0 1 0 175564 3 0 0 25 0 19 0 827516511 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505811717 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=28275/tid=28278] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28278/stat : 28278 (java) S 28273 28275 24782 0 -1 4202560 626 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28279] ppid=28273 vsize=13638224 CPUtime=0.5 cores=0,2,4,6
/proc/28275/task/28279/stat : 28279 (java) S 28273 28275 24782 0 -1 4202560 459 0 0 0 50 0 0 0 15 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28280] ppid=28273 vsize=13638224 CPUtime=0.51 cores=0,2,4,6
/proc/28275/task/28280/stat : 28280 (java) S 28273 28275 24782 0 -1 4202560 487 0 0 0 51 0 0 0 15 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28281] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28281/stat : 28281 (java) S 28273 28275 24782 0 -1 4202560 379 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28282] ppid=28273 vsize=13638224 CPUtime=0.49 cores=0,2,4,6
/proc/28275/task/28282/stat : 28282 (java) S 28273 28275 24782 0 -1 4202560 1047 0 0 0 49 0 0 0 15 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 353 0 0 0 48 0 0 0 16 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 545 0 0 0 48 0 0 0 16 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0.45 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 172 0 0 0 45 0 0 0 15 0 19 0 827516514 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=24.95 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 7461 0 0 0 2484 11 0 0 15 0 19 0 827516515 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.6 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5422 0 0 0 60 0 0 0 15 0 19 0 827516518 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.65 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5256 0 0 0 64 1 0 0 15 0 19 0 827516518 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28292] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28292/stat : 28292 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28293] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28293/stat : 28293 (java) S 28273 28275 24782 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827516518 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28294] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28294/stat : 28294 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827516568 13965541376 38508 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.82
Current children cumulated vsize (KiB) 13638224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.03 2.06 2.01 3/473 28494
/proc/meminfo: memFree=20445728/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=1800.04 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 43998 0 1 0 179986 18 0 0 25 0 19 0 827516511 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 38513 2269 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=1769.67 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 20530 0 1 0 176964 3 0 0 25 0 19 0 827516511 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505904061 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=28275/tid=28278] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28278/stat : 28278 (java) S 28273 28275 24782 0 -1 4202560 626 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28279] ppid=28273 vsize=13638224 CPUtime=0.5 cores=0,2,4,6
/proc/28275/task/28279/stat : 28279 (java) S 28273 28275 24782 0 -1 4202560 459 0 0 0 50 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28280] ppid=28273 vsize=13638224 CPUtime=0.51 cores=0,2,4,6
/proc/28275/task/28280/stat : 28280 (java) S 28273 28275 24782 0 -1 4202560 487 0 0 0 51 0 0 0 16 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28281] ppid=28273 vsize=13638224 CPUtime=0.49 cores=0,2,4,6
/proc/28275/task/28281/stat : 28281 (java) S 28273 28275 24782 0 -1 4202560 379 0 0 0 49 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28282] ppid=28273 vsize=13638224 CPUtime=0.49 cores=0,2,4,6
/proc/28275/task/28282/stat : 28282 (java) S 28273 28275 24782 0 -1 4202560 1047 0 0 0 49 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 354 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 545 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0.45 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 172 0 0 0 45 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=25.16 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 7467 0 0 0 2505 11 0 0 15 0 19 0 827516515 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.6 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5422 0 0 0 60 0 0 0 15 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.65 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5256 0 0 0 64 1 0 0 15 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28292] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28292/stat : 28292 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28293] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28293/stat : 28293 (java) S 28273 28275 24782 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28294] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28294/stat : 28294 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827516568 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13638224

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1796.5 s]
/proc/loadavg: 2.03 2.06 2.01 3/473 28494
/proc/meminfo: memFree=20445728/32951124 swapFree=60787360/67111528
[pid=28275] ppid=28273 vsize=13638224 CPUtime=1800.04 cores=0,2,4,6
/proc/28275/stat : 28275 (java) S 28273 28275 24782 0 -1 4202496 43998 0 1 0 179986 18 0 0 25 0 19 0 827516511 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28275/statm: 3409556 38513 2269 9 0 3400290 0
[pid=28275/tid=28276] ppid=28273 vsize=13638224 CPUtime=1769.67 cores=0,2,4,6
/proc/28275/task/28276/stat : 28276 (java) R 28273 28275 24782 0 -1 4202560 20530 0 1 0 176964 3 0 0 25 0 19 0 827516511 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 46912505904061 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=28275/tid=28278] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28278/stat : 28278 (java) S 28273 28275 24782 0 -1 4202560 626 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28279] ppid=28273 vsize=13638224 CPUtime=0.5 cores=0,2,4,6
/proc/28275/task/28279/stat : 28279 (java) S 28273 28275 24782 0 -1 4202560 459 0 0 0 50 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28280] ppid=28273 vsize=13638224 CPUtime=0.51 cores=0,2,4,6
/proc/28275/task/28280/stat : 28280 (java) S 28273 28275 24782 0 -1 4202560 487 0 0 0 51 0 0 0 16 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28281] ppid=28273 vsize=13638224 CPUtime=0.49 cores=0,2,4,6
/proc/28275/task/28281/stat : 28281 (java) S 28273 28275 24782 0 -1 4202560 379 0 0 0 49 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28282] ppid=28273 vsize=13638224 CPUtime=0.49 cores=0,2,4,6
/proc/28275/task/28282/stat : 28282 (java) S 28273 28275 24782 0 -1 4202560 1047 0 0 0 49 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28283] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28283/stat : 28283 (java) S 28273 28275 24782 0 -1 4202560 354 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28284] ppid=28273 vsize=13638224 CPUtime=0.48 cores=0,2,4,6
/proc/28275/task/28284/stat : 28284 (java) S 28273 28275 24782 0 -1 4202560 545 0 0 0 48 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28285] ppid=28273 vsize=13638224 CPUtime=0.45 cores=0,2,4,6
/proc/28275/task/28285/stat : 28285 (java) S 28273 28275 24782 0 -1 4202560 172 0 0 0 45 0 0 0 15 0 19 0 827516514 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28286] ppid=28273 vsize=13638224 CPUtime=25.16 cores=0,2,4,6
/proc/28275/task/28286/stat : 28286 (java) S 28273 28275 24782 0 -1 4202560 7467 0 0 0 2505 11 0 0 15 0 19 0 827516515 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=28275/tid=28287] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28287/stat : 28287 (java) S 28273 28275 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28288] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28288/stat : 28288 (java) S 28273 28275 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827516515 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28289] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28289/stat : 28289 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28290] ppid=28273 vsize=13638224 CPUtime=0.6 cores=0,2,4,6
/proc/28275/task/28290/stat : 28290 (java) S 28273 28275 24782 0 -1 4202560 5422 0 0 0 60 0 0 0 15 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=28275/tid=28291] ppid=28273 vsize=13638224 CPUtime=0.65 cores=0,2,4,6
/proc/28275/task/28291/stat : 28291 (java) S 28273 28275 24782 0 -1 4202560 5256 0 0 0 64 1 0 0 15 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28292] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28292/stat : 28292 (java) S 28273 28275 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=28275/tid=28293] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28293/stat : 28293 (java) S 28273 28275 24782 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827516518 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=28275/tid=28294] ppid=28273 vsize=13638224 CPUtime=0 cores=0,2,4,6
/proc/28275/task/28294/stat : 28294 (java) S 28273 28275 24782 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827516568 13965541376 38513 33554432000 1073741824 1073778376 140736492722416 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13638224

Child status: 143
Real time (s): 1796.56
CPU time (s): 1800.11
CPU user time (s): 1799.91
CPU system time (s): 0.19597
CPU usage (%): 100.198
Max. virtual memory (cumulated for all children) (KiB): 13638224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44042
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= 55290
involuntary context switches= 14464

runsolver used 8.5177 second user time and 17.5993 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 05:46:26
IDJOB=3458341
IDBENCH=48161
IDSOLVER=1952
FILE ID=node135/3458341-1307159186
RUNJOBID= node135-1307155585-27893
PBS_JOBID= 13508781
Free space on /tmp= 73964 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458341-1307159186/watcher-3458341-1307159186 -o /tmp/evaluation-result-3458341-1307159186/solver-3458341-1307159186 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458341-1307159186.opb

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

MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea
RANDOM SEED=2009835727

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20635196 kB
Buffers:        258336 kB
Cached:         552924 kB
SwapCached:       6168 kB
Active:       11580020 kB
Inactive:       477432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20635196 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:             468 kB
Writeback:           0 kB
AnonPages:    11245668 kB
Mapped:          34180 kB
Slab:           125736 kB
PageTables:      66332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 137825212 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73964 MiB
End job on node135 at 2011-06-04 06:16:25