Trace number 3458311

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.13 1797.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
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.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
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)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.10	c version 2.3.1.v20110525
0.05/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.10	c java.vm.version	19.1-b02
0.05/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.10	c sun.arch.data.model	64
0.05/0.10	c java.version		1.6.0_24
0.05/0.10	c os.name		Linux
0.05/0.10	c os.version		2.6.18-164.el5
0.05/0.10	c os.arch		amd64
0.05/0.10	c Free memory 		12995394264
0.05/0.10	c Max memory 		13063553024
0.05/0.10	c Total memory 		13063553024
0.05/0.10	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458311-1307158743.opb
0.11/0.11	c reading problem ... 
0.73/0.47	c ... done. Wall clock time 0.355s.
0.73/0.47	c #vars     6828
0.73/0.47	c #constraints  13156
0.73/0.47	c constraints type 
0.73/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
0.73/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1.03/0.58	c SATISFIABLE
1.03/0.58	c OPTIMIZING...
1.03/0.58	c Got one! Elapsed wall clock time (in seconds):0.469
1.03/0.58	o 83
1.33/0.69	c Got one! Elapsed wall clock time (in seconds):0.572
1.33/0.69	o 82
1.61/0.74	c Got one! Elapsed wall clock time (in seconds):0.627
1.61/0.74	o 81
1.61/0.78	c Got one! Elapsed wall clock time (in seconds):0.664
1.61/0.78	o 80
1.74/0.83	c Got one! Elapsed wall clock time (in seconds):0.72
1.74/0.83	o 79
1.74/0.88	c Got one! Elapsed wall clock time (in seconds):0.767
1.74/0.88	o 77
2.81/1.82	c cleaning 2973 clauses out of 5958 with flag 5001/5958
3.89/2.88	c cleaning 4483 clauses out of 8984 with flag 11000/11957
5.20/4.17	c cleaning 5745 clauses out of 11502 with flag 18001/18958
6.70/5.63	c cleaning 6873 clauses out of 13757 with flag 26001/26958
8.44/7.31	c cleaning 7938 clauses out of 15883 with flag 35000/35957
10.24/9.13	c cleaning 8963 clauses out of 17945 with flag 45000/45957
12.17/11.05	c cleaning 9983 clauses out of 19982 with flag 56000/56957
14.45/13.33	c cleaning 10989 clauses out of 22000 with flag 68001/68958
16.76/15.66	c cleaning 12000 clauses out of 24010 with flag 81000/81957
19.46/18.31	c cleaning 13002 clauses out of 26011 with flag 95001/95958
21.98/20.89	c cleaning 13499 clauses out of 27010 with flag 109002/109959
24.37/23.23	c cleaning 13747 clauses out of 27511 with flag 123002/123959
26.78/25.67	c cleaning 13872 clauses out of 27764 with flag 137002/137959
29.70/28.53	c cleaning 13936 clauses out of 27890 with flag 151000/151957
32.30/31.19	c cleaning 13966 clauses out of 27954 with flag 165000/165957
34.81/33.68	c cleaning 13989 clauses out of 27988 with flag 179000/179957
37.53/36.32	c cleaning 13990 clauses out of 27999 with flag 193000/193957
40.01/38.81	c cleaning 13995 clauses out of 28009 with flag 207000/207957
42.72/41.50	c cleaning 13997 clauses out of 28014 with flag 221000/221957
45.32/44.19	c cleaning 14002 clauses out of 28018 with flag 235001/235958
48.32/47.12	c cleaning 14002 clauses out of 28016 with flag 249001/249958
51.03/49.85	c cleaning 14000 clauses out of 28014 with flag 263001/263958
53.63/52.45	c cleaning 14002 clauses out of 28013 with flag 277000/277957
56.25/55.04	c cleaning 13999 clauses out of 28011 with flag 291000/291957
59.14/57.91	c cleaning 13998 clauses out of 28013 with flag 305001/305958
61.94/60.77	c cleaning 13999 clauses out of 28014 with flag 319000/319957
64.65/63.47	c cleaning 14003 clauses out of 28015 with flag 333000/333957
67.45/66.26	c cleaning 13998 clauses out of 28012 with flag 347000/347957
70.36/69.12	c cleaning 13999 clauses out of 28014 with flag 361000/361957
73.36/72.19	c cleaning 14000 clauses out of 28016 with flag 375001/375958
76.56/75.32	c cleaning 13995 clauses out of 28015 with flag 389000/389957
79.06/77.87	c cleaning 14003 clauses out of 28020 with flag 403000/403957
81.67/80.42	c cleaning 13999 clauses out of 28017 with flag 417000/417957
84.27/83.06	c cleaning 14004 clauses out of 28018 with flag 431000/431957
87.09/85.87	c cleaning 13996 clauses out of 28014 with flag 445000/445957
89.88/88.67	c cleaning 14003 clauses out of 28019 with flag 459001/459958
92.88/91.62	c cleaning 13999 clauses out of 28015 with flag 473000/473957
95.69/94.48	c cleaning 13998 clauses out of 28017 with flag 487001/487958
98.80/97.52	c cleaning 13998 clauses out of 28018 with flag 501000/501957
102.00/100.80	c cleaning 14004 clauses out of 28021 with flag 515001/515958
105.00/103.71	c cleaning 14008 clauses out of 28017 with flag 529001/529958
108.10/106.87	c cleaning 13996 clauses out of 28009 with flag 543001/543958
111.22/109.94	c cleaning 13992 clauses out of 28012 with flag 557000/557957
114.31/113.01	c cleaning 14004 clauses out of 28020 with flag 571000/571957
117.31/116.06	c cleaning 13997 clauses out of 28017 with flag 585001/585958
119.91/118.67	c cleaning 14003 clauses out of 28020 with flag 599001/599958
122.22/121.01	c cleaning 14004 clauses out of 28017 with flag 613001/613958
124.82/123.59	c cleaning 13997 clauses out of 28012 with flag 627000/627957
127.84/126.54	c cleaning 13996 clauses out of 28015 with flag 641000/641957
130.52/129.25	c cleaning 14000 clauses out of 28019 with flag 655000/655957
133.24/132.00	c cleaning 14001 clauses out of 28019 with flag 669000/669957
135.93/134.67	c cleaning 13998 clauses out of 28019 with flag 683001/683958
138.74/137.49	c cleaning 13998 clauses out of 28021 with flag 697001/697958
141.54/140.21	c cleaning 13996 clauses out of 28022 with flag 711000/711957
144.04/142.70	c cleaning 14004 clauses out of 28027 with flag 725001/725958
146.64/145.32	c cleaning 14000 clauses out of 28022 with flag 739000/739957
149.44/148.16	c cleaning 14003 clauses out of 28022 with flag 753000/753957
152.25/150.91	c cleaning 13993 clauses out of 28019 with flag 767000/767957
154.75/153.49	c cleaning 14001 clauses out of 28026 with flag 781000/781957
157.57/156.27	c cleaning 14002 clauses out of 28026 with flag 795001/795958
160.45/159.15	c cleaning 13999 clauses out of 28023 with flag 809000/809957
163.26/161.97	c cleaning 13999 clauses out of 28024 with flag 823000/823957
166.16/164.88	c cleaning 14006 clauses out of 28025 with flag 837000/837957
169.29/167.92	c cleaning 14000 clauses out of 28019 with flag 851000/851957
172.09/170.78	c cleaning 14003 clauses out of 28020 with flag 865001/865958
175.10/173.77	c cleaning 14002 clauses out of 28016 with flag 879000/879957
177.69/176.37	c cleaning 14002 clauses out of 28014 with flag 893000/893957
180.40/179.08	c cleaning 13996 clauses out of 28012 with flag 907000/907957
183.20/181.83	c cleaning 13998 clauses out of 28017 with flag 921001/921958
186.00/184.69	c cleaning 13996 clauses out of 28018 with flag 935000/935957
188.71/187.34	c cleaning 14005 clauses out of 28022 with flag 949000/949957
191.62/190.23	c cleaning 14001 clauses out of 28017 with flag 963000/963957
194.31/192.94	c cleaning 14004 clauses out of 28017 with flag 977001/977958
197.13/195.79	c cleaning 14002 clauses out of 28012 with flag 991000/991957
200.12/198.80	c cleaning 13994 clauses out of 28011 with flag 1005001/1005958
202.82/201.41	c cleaning 13996 clauses out of 28017 with flag 1019001/1019958
205.42/204.02	c cleaning 14003 clauses out of 28020 with flag 1033000/1033957
208.02/206.64	c cleaning 13998 clauses out of 28017 with flag 1047000/1047957
210.73/209.34	c cleaning 13998 clauses out of 28020 with flag 1061001/1061958
213.43/212.05	c cleaning 14003 clauses out of 28022 with flag 1075001/1075958
216.33/214.96	c cleaning 14004 clauses out of 28020 with flag 1089002/1089959
219.54/218.12	c cleaning 14004 clauses out of 28015 with flag 1103001/1103958
222.56/221.14	c cleaning 13997 clauses out of 28011 with flag 1117001/1117958
225.86/224.42	c cleaning 14000 clauses out of 28013 with flag 1131000/1131957
228.95/227.57	c cleaning 13996 clauses out of 28014 with flag 1145001/1145958
232.48/231.08	c cleaning 14003 clauses out of 28017 with flag 1159000/1159957
235.67/234.27	c cleaning 14001 clauses out of 28016 with flag 1173002/1173959
238.46/237.05	c cleaning 13996 clauses out of 28014 with flag 1187001/1187958
241.18/239.77	c cleaning 13998 clauses out of 28018 with flag 1201001/1201958
243.97/242.51	c cleaning 14000 clauses out of 28020 with flag 1215001/1215958
246.87/245.45	c cleaning 14000 clauses out of 28019 with flag 1229000/1229957
249.58/248.12	c cleaning 14002 clauses out of 28020 with flag 1243001/1243958
252.30/250.87	c cleaning 13993 clauses out of 28017 with flag 1257000/1257957
254.78/253.38	c cleaning 13996 clauses out of 28024 with flag 1271000/1271957
257.48/256.01	c cleaning 14000 clauses out of 28028 with flag 1285000/1285957
260.28/258.83	c cleaning 14001 clauses out of 28028 with flag 1299000/1299957
263.09/261.61	c cleaning 14004 clauses out of 28028 with flag 1313001/1313958
265.69/264.24	c cleaning 14005 clauses out of 28024 with flag 1327001/1327958
268.19/266.71	c cleaning 14005 clauses out of 28019 with flag 1341001/1341958
270.69/269.29	c cleaning 14001 clauses out of 28014 with flag 1355001/1355958
273.29/271.84	c cleaning 14001 clauses out of 28013 with flag 1369001/1369958
275.89/274.44	c cleaning 13999 clauses out of 28011 with flag 1383000/1383957
278.90/277.45	c cleaning 13993 clauses out of 28013 with flag 1397001/1397958
281.80/280.35	c cleaning 14001 clauses out of 28020 with flag 1411001/1411958
284.71/283.27	c cleaning 14003 clauses out of 28019 with flag 1425001/1425958
287.81/286.34	c cleaning 13989 clauses out of 28015 with flag 1439000/1439957
290.83/289.40	c cleaning 14003 clauses out of 28026 with flag 1453000/1453957
293.51/292.02	c cleaning 14002 clauses out of 28024 with flag 1467001/1467958
296.23/294.72	c cleaning 13999 clauses out of 28021 with flag 1481000/1481957
299.02/297.54	c cleaning 14003 clauses out of 28023 with flag 1495001/1495958
301.73/300.28	c cleaning 13999 clauses out of 28021 with flag 1509002/1509959
304.32/302.84	c cleaning 14006 clauses out of 28020 with flag 1523000/1523957
307.03/305.53	c cleaning 13999 clauses out of 28015 with flag 1537001/1537958
309.83/308.31	c cleaning 13995 clauses out of 28016 with flag 1551001/1551958
312.64/311.12	c cleaning 14003 clauses out of 28020 with flag 1565000/1565957
315.34/313.84	c cleaning 13998 clauses out of 28017 with flag 1579000/1579957
318.36/316.82	c cleaning 13998 clauses out of 28019 with flag 1593000/1593957
321.34/319.82	c cleaning 14004 clauses out of 28023 with flag 1607002/1607959
324.25/322.77	c cleaning 13999 clauses out of 28018 with flag 1621001/1621958
326.95/325.47	c cleaning 14003 clauses out of 28019 with flag 1635001/1635958
329.95/328.46	c cleaning 13997 clauses out of 28016 with flag 1649001/1649958
332.86/331.33	c cleaning 14003 clauses out of 28018 with flag 1663000/1663957
335.76/334.20	c cleaning 13996 clauses out of 28016 with flag 1677001/1677958
338.67/337.12	c cleaning 13997 clauses out of 28020 with flag 1691001/1691958
341.38/339.91	c cleaning 14000 clauses out of 28022 with flag 1705000/1705957
344.17/342.67	c cleaning 14000 clauses out of 28023 with flag 1719001/1719958
347.00/345.42	c cleaning 14002 clauses out of 28023 with flag 1733001/1733958
349.68/348.10	c cleaning 14000 clauses out of 28021 with flag 1747001/1747958
352.50/350.92	c cleaning 13997 clauses out of 28020 with flag 1761000/1761957
355.48/353.90	c cleaning 14007 clauses out of 28024 with flag 1775001/1775958
358.78/357.27	c cleaning 14003 clauses out of 28016 with flag 1789000/1789957
362.18/360.60	c cleaning 13999 clauses out of 28013 with flag 1803000/1803957
365.48/363.92	c cleaning 13998 clauses out of 28016 with flag 1817002/1817959
368.69/367.14	c cleaning 13997 clauses out of 28016 with flag 1831000/1831957
371.89/370.39	c cleaning 13997 clauses out of 28019 with flag 1845000/1845957
375.09/373.56	c cleaning 13997 clauses out of 28023 with flag 1859001/1859958
378.29/376.77	c cleaning 14000 clauses out of 28026 with flag 1873001/1873958
381.60/380.09	c cleaning 14001 clauses out of 28025 with flag 1887000/1887957
384.80/383.29	c cleaning 13995 clauses out of 28024 with flag 1901000/1901957
388.01/386.49	c cleaning 14009 clauses out of 28030 with flag 1915001/1915958
391.21/389.67	c cleaning 13994 clauses out of 28021 with flag 1929001/1929958
394.61/393.01	c cleaning 14006 clauses out of 28026 with flag 1943000/1943957
397.91/396.33	c cleaning 13998 clauses out of 28021 with flag 1957001/1957958
401.12/399.52	c cleaning 14003 clauses out of 28023 with flag 1971001/1971958
404.42/402.82	c cleaning 13999 clauses out of 28019 with flag 1985000/1985957
407.02/405.49	c cleaning 14001 clauses out of 28020 with flag 1999000/1999957
409.63/408.02	c cleaning 14001 clauses out of 28019 with flag 2013000/2013957
412.72/411.10	c cleaning 14003 clauses out of 28018 with flag 2027000/2027957
415.42/413.85	c cleaning 14004 clauses out of 28016 with flag 2041001/2041958
418.13/416.54	c cleaning 13999 clauses out of 28012 with flag 2055001/2055958
421.03/419.49	c cleaning 13998 clauses out of 28012 with flag 2069000/2069957
423.95/422.36	c cleaning 14004 clauses out of 28015 with flag 2083001/2083958
427.44/425.82	c cleaning 13996 clauses out of 28011 with flag 2097001/2097958
430.84/429.26	c cleaning 14000 clauses out of 28014 with flag 2111000/2111957
433.85/432.29	c cleaning 14002 clauses out of 28014 with flag 2125000/2125957
436.45/434.82	c cleaning 13994 clauses out of 28013 with flag 2139001/2139958
438.95/437.39	c cleaning 14001 clauses out of 28018 with flag 2153000/2153957
441.46/439.85	c cleaning 14000 clauses out of 28018 with flag 2167001/2167958
443.96/442.36	c cleaning 14001 clauses out of 28018 with flag 2181001/2181958
446.46/444.86	c cleaning 14000 clauses out of 28017 with flag 2195001/2195958
449.06/447.41	c cleaning 14005 clauses out of 28017 with flag 2209001/2209958
451.77/450.10	c cleaning 13995 clauses out of 28011 with flag 2223000/2223957
454.37/452.76	c cleaning 14001 clauses out of 28017 with flag 2237001/2237958
457.09/455.47	c cleaning 14001 clauses out of 28015 with flag 2251000/2251957
459.87/458.27	c cleaning 14000 clauses out of 28014 with flag 2265000/2265957
462.59/460.96	c cleaning 14000 clauses out of 28014 with flag 2279000/2279957
465.19/463.53	c cleaning 14002 clauses out of 28014 with flag 2293000/2293957
467.79/466.17	c cleaning 14002 clauses out of 28013 with flag 2307001/2307958
470.49/468.89	c cleaning 13993 clauses out of 28010 with flag 2321000/2321957
473.30/471.62	c cleaning 13997 clauses out of 28018 with flag 2335001/2335958
476.00/474.38	c cleaning 13997 clauses out of 28021 with flag 2349001/2349958
478.90/477.23	c cleaning 13997 clauses out of 28023 with flag 2363000/2363957
481.50/479.84	c cleaning 14004 clauses out of 28028 with flag 2377002/2377959
484.20/482.50	c cleaning 14004 clauses out of 28024 with flag 2391002/2391959
486.90/485.21	c cleaning 13996 clauses out of 28018 with flag 2405000/2405957
489.50/487.89	c cleaning 13997 clauses out of 28022 with flag 2419000/2419957
492.11/490.47	c cleaning 14003 clauses out of 28025 with flag 2433000/2433957
494.81/493.18	c cleaning 14001 clauses out of 28023 with flag 2447001/2447958
497.62/495.94	c cleaning 14000 clauses out of 28021 with flag 2461000/2461957
500.32/498.63	c cleaning 14004 clauses out of 28022 with flag 2475001/2475958
503.12/501.49	c cleaning 14001 clauses out of 28018 with flag 2489001/2489958
505.94/504.23	c cleaning 13994 clauses out of 28017 with flag 2503001/2503958
508.75/507.02	c cleaning 14005 clauses out of 28022 with flag 2517000/2517957
511.35/509.65	c cleaning 13997 clauses out of 28017 with flag 2531000/2531957
514.15/512.48	c cleaning 14003 clauses out of 28020 with flag 2545000/2545957
516.95/515.25	c cleaning 13997 clauses out of 28017 with flag 2559000/2559957
519.77/518.11	c cleaning 13995 clauses out of 28021 with flag 2573001/2573958
522.66/520.96	c cleaning 14004 clauses out of 28027 with flag 2587002/2587959
525.46/523.72	c cleaning 14000 clauses out of 28021 with flag 2601000/2601957
528.26/526.54	c cleaning 14005 clauses out of 28021 with flag 2615000/2615957
531.27/529.51	c cleaning 13998 clauses out of 28016 with flag 2629000/2629957
534.19/532.45	c cleaning 13997 clauses out of 28019 with flag 2643001/2643958
536.98/535.26	c cleaning 14008 clauses out of 28021 with flag 2657000/2657957
540.38/538.65	c cleaning 13997 clauses out of 28014 with flag 2671001/2671958
543.68/541.94	c cleaning 13998 clauses out of 28017 with flag 2685001/2685958
547.19/545.41	c cleaning 14003 clauses out of 28018 with flag 2699000/2699957
550.39/548.64	c cleaning 14001 clauses out of 28017 with flag 2713002/2713959
553.69/551.94	c cleaning 14004 clauses out of 28017 with flag 2727003/2727960
556.99/555.24	c cleaning 14003 clauses out of 28010 with flag 2741000/2741957
560.19/558.48	c cleaning 13997 clauses out of 28008 with flag 2755001/2755958
563.30/561.57	c cleaning 13995 clauses out of 28011 with flag 2769001/2769958
566.50/564.76	c cleaning 13997 clauses out of 28015 with flag 2783000/2783957
569.81/568.00	c cleaning 14000 clauses out of 28019 with flag 2797001/2797958
573.01/571.29	c cleaning 13999 clauses out of 28020 with flag 2811002/2811959
576.21/574.45	c cleaning 13997 clauses out of 28019 with flag 2825000/2825957
579.51/577.74	c cleaning 14007 clauses out of 28022 with flag 2839000/2839957
582.71/580.97	c cleaning 13997 clauses out of 28015 with flag 2853000/2853957
585.83/584.11	c cleaning 13996 clauses out of 28019 with flag 2867001/2867958
589.02/587.27	c cleaning 13999 clauses out of 28023 with flag 2881001/2881958
592.32/590.54	c cleaning 14004 clauses out of 28024 with flag 2895001/2895958
595.62/593.86	c cleaning 14001 clauses out of 28020 with flag 2909001/2909958
598.92/597.12	c cleaning 13998 clauses out of 28019 with flag 2923001/2923958
602.23/600.40	c cleaning 13998 clauses out of 28021 with flag 2937001/2937958
605.43/603.63	c cleaning 14002 clauses out of 28022 with flag 2951000/2951957
608.63/606.89	c cleaning 13998 clauses out of 28020 with flag 2965000/2965957
612.13/610.34	c cleaning 14005 clauses out of 28022 with flag 2979000/2979957
615.03/613.27	c cleaning 14006 clauses out of 28018 with flag 2993001/2993958
617.64/615.85	c cleaning 14004 clauses out of 28013 with flag 3007002/3007959
620.54/618.70	c cleaning 13996 clauses out of 28008 with flag 3021001/3021958
623.15/621.39	c cleaning 13999 clauses out of 28011 with flag 3035000/3035957
625.85/624.06	c cleaning 13999 clauses out of 28012 with flag 3049000/3049957
628.88/627.02	c cleaning 13999 clauses out of 28013 with flag 3063000/3063957
631.66/629.88	c cleaning 13997 clauses out of 28015 with flag 3077001/3077958
634.87/633.00	c cleaning 14003 clauses out of 28018 with flag 3091001/3091958
637.87/636.05	c cleaning 13993 clauses out of 28014 with flag 3105000/3105957
640.88/639.11	c cleaning 14007 clauses out of 28021 with flag 3119000/3119957
643.48/641.62	c cleaning 13996 clauses out of 28014 with flag 3133000/3133957
646.08/644.22	c cleaning 14001 clauses out of 28018 with flag 3147000/3147957
648.70/646.83	c cleaning 13998 clauses out of 28018 with flag 3161001/3161958
651.38/649.50	c cleaning 13999 clauses out of 28020 with flag 3175001/3175958
653.89/652.09	c cleaning 14004 clauses out of 28021 with flag 3189001/3189958
656.79/654.96	c cleaning 13998 clauses out of 28017 with flag 3203001/3203958
659.60/657.74	c cleaning 14006 clauses out of 28019 with flag 3217001/3217958
662.29/660.46	c cleaning 13991 clauses out of 28013 with flag 3231001/3231958
665.11/663.22	c cleaning 13999 clauses out of 28022 with flag 3245001/3245958
667.80/665.96	c cleaning 14001 clauses out of 28022 with flag 3259000/3259957
670.61/668.78	c cleaning 14003 clauses out of 28021 with flag 3273000/3273957
673.41/671.50	c cleaning 14007 clauses out of 28019 with flag 3287001/3287958
676.12/674.24	c cleaning 13999 clauses out of 28011 with flag 3301000/3301957
677.41/675.55	c Got one! Elapsed wall clock time (in seconds):675.44
677.41/675.55	o 76
678.21/676.39	c cleaning 13030 clauses out of 26073 with flag 5000/3314018
679.32/677.49	c cleaning 9517 clauses out of 19043 with flag 11000/3320018
680.64/678.73	c cleaning 8258 clauses out of 16526 with flag 18000/3327018
682.02/680.19	c cleaning 8127 clauses out of 16269 with flag 26001/3335019
683.72/681.87	c cleaning 8559 clauses out of 17142 with flag 35001/3344019
685.62/683.75	c cleaning 9281 clauses out of 18582 with flag 45000/3354018
687.73/685.85	c cleaning 10135 clauses out of 20303 with flag 56002/3365020
690.04/688.19	c cleaning 11072 clauses out of 22167 with flag 68001/3377019
692.54/690.67	c cleaning 12036 clauses out of 24094 with flag 81000/3390018
695.44/693.54	c cleaning 13022 clauses out of 26058 with flag 95000/3404018
698.44/696.54	c cleaning 13508 clauses out of 27036 with flag 109000/3418018
701.57/699.64	c cleaning 13754 clauses out of 27529 with flag 123001/3432019
704.55/702.61	c cleaning 13875 clauses out of 27775 with flag 137001/3446019
707.35/705.44	c cleaning 13943 clauses out of 27900 with flag 151001/3460019
710.05/708.14	c cleaning 13970 clauses out of 27956 with flag 165000/3474018
712.76/710.87	c cleaning 13984 clauses out of 27987 with flag 179001/3488019
715.66/713.71	c cleaning 13993 clauses out of 28002 with flag 193000/3502018
718.36/716.49	c cleaning 13989 clauses out of 28009 with flag 207000/3516018
721.16/719.26	c cleaning 14002 clauses out of 28020 with flag 221000/3530018
723.96/722.06	c cleaning 14001 clauses out of 28019 with flag 235001/3544019
726.96/725.02	c cleaning 14000 clauses out of 28017 with flag 249000/3558018
729.87/727.91	c cleaning 14004 clauses out of 28017 with flag 263000/3572018
732.67/730.79	c cleaning 13999 clauses out of 28014 with flag 277001/3586019
735.69/733.74	c cleaning 13996 clauses out of 28015 with flag 291001/3600019
738.67/736.75	c cleaning 14000 clauses out of 28020 with flag 305002/3614020
741.57/739.66	c cleaning 14001 clauses out of 28019 with flag 319001/3628019
744.49/742.60	c cleaning 13998 clauses out of 28017 with flag 333000/3642018
747.58/745.60	c cleaning 14003 clauses out of 28019 with flag 347000/3656018
750.48/748.54	c cleaning 13997 clauses out of 28017 with flag 361001/3670019
753.19/751.28	c cleaning 13999 clauses out of 28019 with flag 375000/3684018
755.99/754.07	c cleaning 14006 clauses out of 28021 with flag 389001/3698019
758.81/756.89	c cleaning 13996 clauses out of 28014 with flag 403000/3712018
761.69/759.73	c cleaning 14001 clauses out of 28020 with flag 417002/3726020
764.50/762.59	c cleaning 14000 clauses out of 28017 with flag 431000/3740018
767.40/765.42	c cleaning 13996 clauses out of 28017 with flag 445000/3754018
770.30/768.39	c cleaning 13998 clauses out of 28021 with flag 459000/3768018
773.30/771.34	c cleaning 14001 clauses out of 28023 with flag 473000/3782018
776.20/774.29	c cleaning 13998 clauses out of 28022 with flag 487000/3796018
779.22/777.26	c cleaning 14005 clauses out of 28025 with flag 501001/3810019
782.22/780.24	c cleaning 14001 clauses out of 28019 with flag 515000/3824018
785.13/783.16	c cleaning 13996 clauses out of 28018 with flag 529000/3838018
788.13/786.16	c cleaning 14005 clauses out of 28023 with flag 543001/3852019
791.13/789.13	c cleaning 14002 clauses out of 28018 with flag 557001/3866019
794.05/792.07	c cleaning 13994 clauses out of 28017 with flag 571002/3880020
797.13/795.12	c cleaning 13998 clauses out of 28021 with flag 585000/3894018
800.14/798.11	c cleaning 13999 clauses out of 28024 with flag 599001/3908019
803.14/801.20	c cleaning 14003 clauses out of 28024 with flag 613000/3922018
806.05/804.02	c cleaning 14002 clauses out of 28023 with flag 627002/3936020
808.85/806.81	c cleaning 14001 clauses out of 28019 with flag 641000/3950018
811.76/809.70	c cleaning 14001 clauses out of 28019 with flag 655001/3964019
814.66/812.69	c cleaning 13998 clauses out of 28017 with flag 669000/3978018
817.57/815.56	c cleaning 14002 clauses out of 28019 with flag 683000/3992018
820.57/818.58	c cleaning 14005 clauses out of 28019 with flag 697002/4006020
823.27/821.24	c cleaning 14002 clauses out of 28013 with flag 711001/4020019
826.17/824.18	c cleaning 13994 clauses out of 28010 with flag 725000/4034018
829.19/827.12	c cleaning 14004 clauses out of 28017 with flag 739001/4048019
832.08/830.00	c cleaning 14000 clauses out of 28012 with flag 753000/4062018
834.99/832.92	c cleaning 13996 clauses out of 28013 with flag 767001/4076019
837.89/835.84	c cleaning 14003 clauses out of 28017 with flag 781001/4090019
840.79/838.78	c cleaning 14000 clauses out of 28013 with flag 795000/4104018
843.80/841.78	c cleaning 13999 clauses out of 28016 with flag 809003/4118021
846.92/844.83	c cleaning 13994 clauses out of 28015 with flag 823001/4132019
849.90/847.81	c cleaning 14001 clauses out of 28020 with flag 837000/4146018
853.00/850.90	c cleaning 13995 clauses out of 28019 with flag 851000/4160018
856.01/853.95	c cleaning 14000 clauses out of 28026 with flag 865002/4174020
859.03/856.95	c cleaning 14001 clauses out of 28025 with flag 879001/4188019
861.91/859.89	c cleaning 14000 clauses out of 28023 with flag 893000/4202018
865.01/862.94	c cleaning 13994 clauses out of 28024 with flag 907001/4216019
868.02/865.99	c cleaning 14002 clauses out of 28031 with flag 921002/4230020
871.14/869.10	c cleaning 14007 clauses out of 28027 with flag 935000/4244018
874.33/872.22	c cleaning 14002 clauses out of 28020 with flag 949000/4258018
877.12/875.00	c cleaning 13996 clauses out of 28018 with flag 963000/4272018
879.94/877.87	c cleaning 14001 clauses out of 28023 with flag 977001/4286019
882.83/880.79	c cleaning 13999 clauses out of 28021 with flag 991000/4300018
885.73/883.67	c cleaning 13998 clauses out of 28022 with flag 1005000/4314018
888.53/886.51	c cleaning 14000 clauses out of 28024 with flag 1019000/4328018
891.43/889.35	c cleaning 14004 clauses out of 28025 with flag 1033001/4342019
894.33/892.24	c cleaning 14001 clauses out of 28020 with flag 1047000/4356018
897.23/895.20	c cleaning 14001 clauses out of 28019 with flag 1061000/4370018
900.14/898.02	c cleaning 13999 clauses out of 28019 with flag 1075001/4384019
903.06/900.96	c cleaning 14002 clauses out of 28019 with flag 1089000/4398018
905.94/903.87	c cleaning 13998 clauses out of 28018 with flag 1103001/4412019
908.94/906.86	c cleaning 14007 clauses out of 28019 with flag 1117000/4426018
911.94/909.80	c cleaning 13993 clauses out of 28012 with flag 1131000/4440018
914.94/912.90	c cleaning 14000 clauses out of 28019 with flag 1145000/4454018
917.96/915.84	c cleaning 13992 clauses out of 28020 with flag 1159001/4468019
920.87/918.77	c cleaning 13998 clauses out of 28027 with flag 1173000/4482018
923.88/921.77	c cleaning 13999 clauses out of 28029 with flag 1187000/4496018
926.87/924.76	c cleaning 14011 clauses out of 28031 with flag 1201001/4510019
929.28/927.17	c cleaning 13999 clauses out of 28019 with flag 1215000/4524018
932.08/929.95	c cleaning 14001 clauses out of 28020 with flag 1229000/4538018
934.90/932.80	c cleaning 14003 clauses out of 28019 with flag 1243000/4552018
937.49/935.38	c cleaning 13997 clauses out of 28017 with flag 1257001/4566019
940.60/938.45	c cleaning 14001 clauses out of 28019 with flag 1271000/4580018
943.71/941.53	c cleaning 14005 clauses out of 28019 with flag 1285001/4594019
946.20/944.03	c cleaning 14001 clauses out of 28013 with flag 1299000/4608018
948.81/946.62	c cleaning 14000 clauses out of 28013 with flag 1313001/4622019
951.42/949.31	c cleaning 13999 clauses out of 28012 with flag 1327000/4636018
954.31/952.10	c cleaning 13998 clauses out of 28014 with flag 1341001/4650019
957.42/955.22	c cleaning 13997 clauses out of 28016 with flag 1355001/4664019
960.52/958.32	c cleaning 13999 clauses out of 28018 with flag 1369000/4678018
963.54/961.38	c cleaning 14000 clauses out of 28019 with flag 1383000/4692018
966.73/964.51	c cleaning 14006 clauses out of 28021 with flag 1397002/4706020
969.34/967.12	c cleaning 13997 clauses out of 28013 with flag 1411000/4720018
971.94/969.73	c cleaning 14000 clauses out of 28017 with flag 1425001/4734019
974.66/972.48	c cleaning 14002 clauses out of 28016 with flag 1439000/4748018
977.25/975.04	c cleaning 13999 clauses out of 28016 with flag 1453002/4762020
979.85/977.64	c cleaning 13999 clauses out of 28015 with flag 1467000/4776018
982.55/980.31	c cleaning 13999 clauses out of 28017 with flag 1481001/4790019
985.35/983.17	c cleaning 14000 clauses out of 28019 with flag 1495002/4804020
988.15/985.95	c cleaning 13997 clauses out of 28017 with flag 1509000/4818018
991.17/988.96	c cleaning 13998 clauses out of 28020 with flag 1523000/4832018
994.06/991.85	c cleaning 13999 clauses out of 28022 with flag 1537000/4846018
996.96/994.77	c cleaning 13998 clauses out of 28023 with flag 1551000/4860018
999.87/997.67	c cleaning 13997 clauses out of 28025 with flag 1565000/4874018
1002.76/1000.56	c cleaning 14009 clauses out of 28029 with flag 1579001/4888019
1005.76/1003.56	c cleaning 14004 clauses out of 28020 with flag 1593001/4902019
1008.78/1006.56	c cleaning 14000 clauses out of 28015 with flag 1607000/4916018
1011.77/1009.55	c cleaning 14001 clauses out of 28016 with flag 1621001/4930019
1014.67/1012.49	c cleaning 14000 clauses out of 28015 with flag 1635001/4944019
1017.67/1015.42	c cleaning 14001 clauses out of 28014 with flag 1649000/4958018
1020.57/1018.31	c cleaning 14001 clauses out of 28014 with flag 1663001/4972019
1023.28/1021.07	c cleaning 13994 clauses out of 28013 with flag 1677001/4986019
1026.18/1023.92	c cleaning 14003 clauses out of 28018 with flag 1691000/5000018
1028.99/1026.79	c cleaning 13999 clauses out of 28016 with flag 1705001/5014019
1031.91/1029.65	c cleaning 14001 clauses out of 28017 with flag 1719001/5028019
1034.69/1032.46	c cleaning 13999 clauses out of 28016 with flag 1733001/5042019
1037.49/1035.25	c cleaning 14002 clauses out of 28017 with flag 1747001/5056019
1040.29/1038.06	c cleaning 14000 clauses out of 28016 with flag 1761002/5070020
1043.30/1041.01	c cleaning 13998 clauses out of 28014 with flag 1775000/5084018
1046.30/1044.07	c cleaning 13997 clauses out of 28016 with flag 1789000/5098018
1049.20/1046.91	c cleaning 14001 clauses out of 28019 with flag 1803000/5112018
1052.21/1049.94	c cleaning 13995 clauses out of 28018 with flag 1817000/5126018
1055.11/1052.85	c cleaning 14002 clauses out of 28023 with flag 1831000/5140018
1058.11/1055.86	c cleaning 14002 clauses out of 28021 with flag 1845000/5154018
1061.21/1058.90	c cleaning 13996 clauses out of 28019 with flag 1859000/5168018
1063.92/1061.62	c cleaning 14004 clauses out of 28023 with flag 1873000/5182018
1066.62/1064.34	c cleaning 14004 clauses out of 28020 with flag 1887001/5196019
1069.23/1067.00	c cleaning 13998 clauses out of 28016 with flag 1901001/5210019
1071.93/1069.65	c cleaning 13999 clauses out of 28018 with flag 1915001/5224019
1074.64/1072.30	c cleaning 13991 clauses out of 28018 with flag 1929000/5238018
1077.34/1075.08	c cleaning 14004 clauses out of 28027 with flag 1943000/5252018
1080.25/1077.93	c cleaning 14006 clauses out of 28024 with flag 1957001/5266019
1083.04/1080.71	c cleaning 13998 clauses out of 28017 with flag 1971000/5280018
1085.86/1083.55	c cleaning 14003 clauses out of 28020 with flag 1985001/5294019
1088.75/1086.44	c cleaning 14001 clauses out of 28016 with flag 1999000/5308018
1091.55/1089.29	c cleaning 13998 clauses out of 28016 with flag 2013001/5322019
1094.45/1092.12	c cleaning 13999 clauses out of 28018 with flag 2027001/5336019
1097.25/1094.98	c cleaning 13996 clauses out of 28018 with flag 2041000/5350018
1100.17/1097.84	c cleaning 14002 clauses out of 28022 with flag 2055000/5364018
1102.96/1100.68	c cleaning 14000 clauses out of 28020 with flag 2069000/5378018
1105.76/1103.49	c cleaning 13999 clauses out of 28021 with flag 2083001/5392019
1108.66/1106.31	c cleaning 13995 clauses out of 28021 with flag 2097000/5406018
1111.46/1109.16	c cleaning 13999 clauses out of 28026 with flag 2111000/5420018
1114.26/1111.97	c cleaning 14002 clauses out of 28028 with flag 2125001/5434019
1117.17/1114.80	c cleaning 14001 clauses out of 28025 with flag 2139000/5448018
1119.88/1117.54	c cleaning 14003 clauses out of 28025 with flag 2153001/5462019
1122.57/1120.23	c cleaning 14008 clauses out of 28022 with flag 2167001/5476019
1125.27/1123.00	c cleaning 14002 clauses out of 28014 with flag 2181001/5490019
1128.08/1125.70	c cleaning 13999 clauses out of 28014 with flag 2195003/5504021
1131.08/1128.77	c cleaning 13995 clauses out of 28014 with flag 2209002/5518020
1134.39/1132.01	c cleaning 14003 clauses out of 28017 with flag 2223000/5532018
1137.61/1135.29	c cleaning 13999 clauses out of 28016 with flag 2237002/5546020
1140.91/1138.59	c cleaning 13997 clauses out of 28016 with flag 2251001/5560019
1144.40/1142.03	c cleaning 13998 clauses out of 28019 with flag 2265001/5574019
1147.80/1145.47	c cleaning 13994 clauses out of 28020 with flag 2279000/5588018
1151.30/1148.90	c cleaning 14005 clauses out of 28027 with flag 2293001/5602019
1154.60/1152.23	c cleaning 13998 clauses out of 28021 with flag 2307000/5616018
1158.00/1155.67	c cleaning 13999 clauses out of 28023 with flag 2321000/5630018
1161.51/1159.12	c cleaning 14002 clauses out of 28024 with flag 2335000/5644018
1165.02/1162.64	c cleaning 14004 clauses out of 28023 with flag 2349001/5658019
1168.32/1165.98	c cleaning 13998 clauses out of 28018 with flag 2363000/5672018
1171.73/1169.38	c cleaning 14003 clauses out of 28020 with flag 2377000/5686018
1175.12/1172.72	c cleaning 14001 clauses out of 28019 with flag 2391002/5700020
1178.42/1176.01	c cleaning 13994 clauses out of 28016 with flag 2405000/5714018
1181.54/1179.20	c cleaning 14001 clauses out of 28023 with flag 2419001/5728019
1184.85/1182.48	c cleaning 13998 clauses out of 28021 with flag 2433000/5742018
1188.15/1185.73	c cleaning 13994 clauses out of 28023 with flag 2447000/5756018
1191.56/1189.18	c cleaning 14010 clauses out of 28030 with flag 2461001/5770019
1194.75/1192.37	c cleaning 14001 clauses out of 28019 with flag 2475000/5784018
1197.94/1195.57	c cleaning 14000 clauses out of 28018 with flag 2489000/5798018
1201.35/1198.93	c cleaning 13995 clauses out of 28019 with flag 2503001/5812019
1204.76/1202.39	c cleaning 14003 clauses out of 28023 with flag 2517000/5826018
1208.14/1205.71	c cleaning 13999 clauses out of 28021 with flag 2531001/5840019
1211.54/1209.10	c cleaning 13996 clauses out of 28021 with flag 2545000/5854018
1214.75/1212.35	c cleaning 13996 clauses out of 28026 with flag 2559001/5868019
1218.15/1215.75	c cleaning 14003 clauses out of 28029 with flag 2573000/5882018
1221.55/1219.19	c cleaning 14003 clauses out of 28027 with flag 2587001/5896019
1225.05/1222.61	c cleaning 14005 clauses out of 28024 with flag 2601001/5910019
1228.25/1225.82	c cleaning 14002 clauses out of 28018 with flag 2615000/5924018
1231.36/1228.97	c cleaning 13995 clauses out of 28016 with flag 2629000/5938018
1234.66/1232.21	c cleaning 13999 clauses out of 28021 with flag 2643000/5952018
1237.86/1235.46	c cleaning 14005 clauses out of 28023 with flag 2657001/5966019
1240.97/1238.61	c cleaning 13999 clauses out of 28018 with flag 2671001/5980019
1244.38/1241.95	c cleaning 13993 clauses out of 28018 with flag 2685000/5994018
1247.58/1245.21	c cleaning 14008 clauses out of 28025 with flag 2699000/6008018
1250.58/1248.11	c cleaning 14002 clauses out of 28018 with flag 2713001/6022019
1253.58/1251.16	c cleaning 13999 clauses out of 28017 with flag 2727002/6036020
1256.58/1254.12	c cleaning 14002 clauses out of 28016 with flag 2741000/6050018
1259.59/1257.20	c cleaning 13997 clauses out of 28014 with flag 2755000/6064018
1262.60/1260.14	c cleaning 14002 clauses out of 28017 with flag 2769000/6078018
1265.60/1263.20	c cleaning 14001 clauses out of 28015 with flag 2783000/6092018
1268.71/1266.23	c cleaning 13997 clauses out of 28016 with flag 2797002/6106020
1271.82/1269.34	c cleaning 14002 clauses out of 28017 with flag 2811000/6120018
1275.01/1272.53	c cleaning 13998 clauses out of 28015 with flag 2825000/6134018
1278.21/1275.77	c cleaning 13999 clauses out of 28018 with flag 2839001/6148019
1281.41/1278.93	c cleaning 13997 clauses out of 28018 with flag 2853000/6162018
1284.51/1282.05	c cleaning 13996 clauses out of 28022 with flag 2867001/6176019
1287.61/1285.19	c cleaning 13999 clauses out of 28025 with flag 2881000/6190018
1291.01/1288.51	c cleaning 13998 clauses out of 28026 with flag 2895000/6204018
1294.22/1291.71	c cleaning 14000 clauses out of 28029 with flag 2909001/6218019
1297.24/1294.78	c cleaning 14003 clauses out of 28028 with flag 2923000/6232018
1300.32/1297.86	c cleaning 14001 clauses out of 28025 with flag 2937000/6246018
1303.53/1301.02	c cleaning 14001 clauses out of 28025 with flag 2951001/6260019
1306.63/1304.18	c cleaning 14002 clauses out of 28024 with flag 2965001/6274019
1309.73/1307.27	c cleaning 13999 clauses out of 28022 with flag 2979001/6288019
1312.83/1310.35	c cleaning 14001 clauses out of 28022 with flag 2993000/6302018
1315.84/1313.41	c cleaning 13992 clauses out of 28021 with flag 3007000/6316018
1318.93/1316.45	c cleaning 14003 clauses out of 28029 with flag 3021000/6330018
1322.23/1319.70	c cleaning 14000 clauses out of 28026 with flag 3035000/6344018
1325.34/1322.89	c cleaning 14001 clauses out of 28026 with flag 3049000/6358018
1328.54/1326.09	c cleaning 13998 clauses out of 28026 with flag 3063001/6372019
1331.84/1329.31	c cleaning 13998 clauses out of 28027 with flag 3077000/6386018
1334.94/1332.41	c cleaning 14004 clauses out of 28029 with flag 3091000/6400018
1338.04/1335.52	c cleaning 14003 clauses out of 28025 with flag 3105000/6414018
1341.16/1338.66	c cleaning 13994 clauses out of 28024 with flag 3119002/6428020
1344.25/1341.77	c cleaning 14000 clauses out of 28028 with flag 3133000/6442018
1347.45/1344.93	c cleaning 14008 clauses out of 28029 with flag 3147001/6456019
1350.56/1348.05	c cleaning 13996 clauses out of 28020 with flag 3161000/6470018
1353.76/1351.22	c cleaning 13998 clauses out of 28025 with flag 3175001/6484019
1356.76/1354.27	c cleaning 14008 clauses out of 28026 with flag 3189000/6498018
1359.98/1357.44	c cleaning 13999 clauses out of 28018 with flag 3203000/6512018
1363.18/1360.67	c cleaning 14001 clauses out of 28019 with flag 3217000/6526018
1366.27/1363.71	c cleaning 13995 clauses out of 28019 with flag 3231001/6540019
1369.37/1366.83	c cleaning 14001 clauses out of 28023 with flag 3245000/6554018
1372.37/1369.88	c cleaning 14002 clauses out of 28023 with flag 3259001/6568019
1375.47/1372.98	c cleaning 13999 clauses out of 28021 with flag 3273001/6582019
1378.47/1375.93	c cleaning 13999 clauses out of 28021 with flag 3287000/6596018
1381.47/1378.93	c cleaning 13995 clauses out of 28022 with flag 3301000/6610018
1384.58/1382.02	c cleaning 14003 clauses out of 28027 with flag 3315000/6624018
1387.78/1385.26	c cleaning 14000 clauses out of 28024 with flag 3329000/6638018
1390.80/1388.23	c cleaning 14002 clauses out of 28025 with flag 3343001/6652019
1393.88/1391.30	c cleaning 13997 clauses out of 28022 with flag 3357000/6666018
1396.98/1394.40	c cleaning 14000 clauses out of 28026 with flag 3371001/6680019
1399.98/1397.48	c cleaning 14000 clauses out of 28025 with flag 3385000/6694018
1403.29/1400.70	c cleaning 14000 clauses out of 28026 with flag 3399001/6708019
1406.39/1403.87	c cleaning 14007 clauses out of 28026 with flag 3413001/6722019
1409.69/1407.16	c cleaning 13996 clauses out of 28018 with flag 3427000/6736018
1413.19/1410.62	c cleaning 14002 clauses out of 28022 with flag 3441000/6750018
1415.79/1413.23	c cleaning 14006 clauses out of 28021 with flag 3455001/6764019
1418.33/1415.78	c cleaning 13995 clauses out of 28016 with flag 3469002/6778020
1421.12/1418.51	c cleaning 14001 clauses out of 28020 with flag 3483001/6792019
1424.12/1421.54	c cleaning 14004 clauses out of 28019 with flag 3497001/6806019
1426.93/1424.35	c cleaning 14002 clauses out of 28016 with flag 3511002/6820020
1429.73/1427.16	c cleaning 13994 clauses out of 28012 with flag 3525000/6834018
1432.54/1429.92	c cleaning 13997 clauses out of 28018 with flag 3539000/6848018
1435.03/1432.49	c cleaning 14001 clauses out of 28021 with flag 3553000/6862018
1437.54/1434.97	c cleaning 14000 clauses out of 28021 with flag 3567001/6876019
1440.04/1437.41	c cleaning 13998 clauses out of 28020 with flag 3581000/6890018
1443.04/1440.40	c cleaning 14007 clauses out of 28023 with flag 3595001/6904019
1445.95/1443.34	c cleaning 13994 clauses out of 28015 with flag 3609000/6918018
1448.85/1446.23	c cleaning 14005 clauses out of 28022 with flag 3623001/6932019
1451.85/1449.26	c cleaning 14001 clauses out of 28016 with flag 3637000/6946018
1454.67/1452.05	c cleaning 13998 clauses out of 28015 with flag 3651000/6960018
1457.56/1454.91	c cleaning 14000 clauses out of 28017 with flag 3665000/6974018
1460.36/1457.76	c cleaning 14001 clauses out of 28018 with flag 3679001/6988019
1463.17/1460.56	c cleaning 13997 clauses out of 28016 with flag 3693000/7002018
1465.97/1463.34	c cleaning 14001 clauses out of 28019 with flag 3707000/7016018
1468.77/1466.12	c cleaning 13998 clauses out of 28018 with flag 3721000/7030018
1471.57/1468.92	c cleaning 13997 clauses out of 28020 with flag 3735000/7044018
1474.27/1471.63	c cleaning 13998 clauses out of 28023 with flag 3749000/7058018
1477.08/1474.47	c cleaning 14006 clauses out of 28027 with flag 3763002/7072020
1480.08/1477.46	c cleaning 13997 clauses out of 28019 with flag 3777000/7086018
1483.08/1480.44	c cleaning 14000 clauses out of 28022 with flag 3791000/7100018
1486.18/1483.51	c cleaning 13999 clauses out of 28022 with flag 3805000/7114018
1489.29/1486.62	c cleaning 13996 clauses out of 28023 with flag 3819000/7128018
1492.39/1489.74	c cleaning 14006 clauses out of 28027 with flag 3833000/7142018
1495.59/1492.95	c cleaning 14001 clauses out of 28022 with flag 3847001/7156019
1498.72/1496.06	c cleaning 13994 clauses out of 28020 with flag 3861000/7170018
1501.81/1499.19	c cleaning 14005 clauses out of 28026 with flag 3875000/7184018
1504.91/1502.25	c cleaning 14003 clauses out of 28022 with flag 3889001/7198019
1507.81/1505.12	c cleaning 13998 clauses out of 28019 with flag 3903001/7212019
1510.73/1508.06	c cleaning 14000 clauses out of 28021 with flag 3917001/7226019
1513.62/1510.98	c cleaning 13996 clauses out of 28020 with flag 3931000/7240018
1516.72/1514.03	c cleaning 14006 clauses out of 28024 with flag 3945000/7254018
1519.64/1516.93	c cleaning 14000 clauses out of 28018 with flag 3959000/7268018
1522.73/1520.00	c cleaning 13998 clauses out of 28019 with flag 3973001/7282019
1525.83/1523.11	c cleaning 13990 clauses out of 28020 with flag 3987000/7296018
1528.83/1526.13	c cleaning 14001 clauses out of 28030 with flag 4001000/7310018
1531.83/1529.19	c cleaning 14002 clauses out of 28030 with flag 4015001/7324019
1534.94/1532.24	c cleaning 13997 clauses out of 28028 with flag 4029001/7338019
1538.03/1535.32	c cleaning 14008 clauses out of 28030 with flag 4043000/7352018
1541.04/1538.35	c cleaning 14001 clauses out of 28023 with flag 4057001/7366019
1544.04/1541.37	c cleaning 14001 clauses out of 28021 with flag 4071000/7380018
1547.16/1544.46	c cleaning 13993 clauses out of 28021 with flag 4085001/7394019
1550.35/1547.62	c cleaning 14003 clauses out of 28028 with flag 4099001/7408019
1553.34/1550.64	c cleaning 14007 clauses out of 28024 with flag 4113000/7422018
1556.15/1553.45	c cleaning 13998 clauses out of 28019 with flag 4127002/7436020
1558.95/1556.28	c cleaning 14001 clauses out of 28020 with flag 4141001/7450019
1561.96/1559.22	c cleaning 13996 clauses out of 28018 with flag 4155000/7464018
1564.96/1562.21	c cleaning 14003 clauses out of 28023 with flag 4169001/7478019
1567.86/1565.19	c cleaning 13995 clauses out of 28021 with flag 4183002/7492020
1570.86/1568.15	c cleaning 14004 clauses out of 28025 with flag 4197001/7506019
1573.87/1571.14	c cleaning 14001 clauses out of 28021 with flag 4211001/7520019
1576.78/1574.09	c cleaning 14001 clauses out of 28020 with flag 4225001/7534019
1579.77/1577.09	c cleaning 14001 clauses out of 28019 with flag 4239001/7548019
1582.77/1580.00	c cleaning 13998 clauses out of 28017 with flag 4253000/7562018
1585.59/1582.86	c cleaning 13997 clauses out of 28019 with flag 4267000/7576018
1588.48/1585.72	c cleaning 14000 clauses out of 28024 with flag 4281002/7590020
1591.28/1588.59	c cleaning 14003 clauses out of 28023 with flag 4295001/7604019
1594.19/1591.41	c cleaning 13996 clauses out of 28020 with flag 4309001/7618019
1597.09/1594.31	c cleaning 13999 clauses out of 28023 with flag 4323000/7632018
1599.90/1597.20	c cleaning 14000 clauses out of 28026 with flag 4337002/7646020
1602.99/1600.29	c cleaning 14000 clauses out of 28025 with flag 4351001/7660019
1605.89/1603.19	c cleaning 14004 clauses out of 28026 with flag 4365002/7674020
1608.90/1606.16	c cleaning 13999 clauses out of 28021 with flag 4379001/7688019
1611.90/1609.14	c cleaning 13999 clauses out of 28022 with flag 4393001/7702019
1614.80/1612.06	c cleaning 13998 clauses out of 28024 with flag 4407002/7716020
1617.80/1615.09	c cleaning 14003 clauses out of 28024 with flag 4421000/7730018
1620.81/1618.04	c cleaning 13999 clauses out of 28021 with flag 4435000/7744018
1623.81/1621.04	c cleaning 14002 clauses out of 28022 with flag 4449000/7758018
1627.11/1624.32	c cleaning 14004 clauses out of 28021 with flag 4463001/7772019
1630.32/1627.53	c cleaning 13997 clauses out of 28017 with flag 4477001/7786019
1633.42/1630.64	c cleaning 13998 clauses out of 28019 with flag 4491000/7800018
1636.42/1633.68	c cleaning 13998 clauses out of 28021 with flag 4505000/7814018
1639.82/1637.06	c cleaning 13997 clauses out of 28023 with flag 4519000/7828018
1643.13/1640.38	c cleaning 14000 clauses out of 28027 with flag 4533001/7842019
1646.25/1643.45	c cleaning 14000 clauses out of 28026 with flag 4547000/7856018
1649.55/1646.72	c cleaning 14006 clauses out of 28026 with flag 4561000/7870018
1652.85/1650.02	c cleaning 14000 clauses out of 28021 with flag 4575001/7884019
1655.94/1653.17	c cleaning 13995 clauses out of 28021 with flag 4589001/7898019
1659.24/1656.43	c cleaning 14004 clauses out of 28026 with flag 4603001/7912019
1662.55/1659.76	c cleaning 13997 clauses out of 28021 with flag 4617000/7926018
1665.85/1663.06	c cleaning 14002 clauses out of 28024 with flag 4631000/7940018
1668.96/1666.19	c cleaning 13999 clauses out of 28023 with flag 4645001/7954019
1672.06/1669.27	c cleaning 14003 clauses out of 28023 with flag 4659000/7968018
1675.26/1672.46	c cleaning 13996 clauses out of 28020 with flag 4673000/7982018
1678.56/1675.76	c cleaning 13998 clauses out of 28025 with flag 4687001/7996019
1681.77/1678.96	c cleaning 14004 clauses out of 28026 with flag 4701000/8010018
1684.87/1682.04	c cleaning 13998 clauses out of 28022 with flag 4715000/8024018
1687.87/1685.11	c cleaning 14000 clauses out of 28026 with flag 4729002/8038020
1691.07/1688.26	c cleaning 13999 clauses out of 28025 with flag 4743001/8052019
1694.28/1691.46	c cleaning 13998 clauses out of 28025 with flag 4757000/8066018
1697.48/1694.67	c cleaning 14005 clauses out of 28029 with flag 4771002/8080020
1700.68/1697.85	c cleaning 14004 clauses out of 28023 with flag 4785001/8094019
1703.88/1701.07	c cleaning 13998 clauses out of 28019 with flag 4799001/8108019
1707.18/1704.31	c cleaning 14002 clauses out of 28020 with flag 4813000/8122018
1710.10/1707.29	c cleaning 14003 clauses out of 28019 with flag 4827001/8136019
1713.30/1710.42	c cleaning 13999 clauses out of 28017 with flag 4841002/8150020
1716.49/1713.64	c cleaning 13996 clauses out of 28017 with flag 4855001/8164019
1719.59/1716.72	c cleaning 13998 clauses out of 28021 with flag 4869001/8178019
1722.69/1719.87	c cleaning 14000 clauses out of 28023 with flag 4883001/8192019
1725.79/1722.91	c cleaning 14002 clauses out of 28023 with flag 4897001/8206019
1728.89/1726.08	c cleaning 13999 clauses out of 28021 with flag 4911001/8220019
1732.11/1729.24	c cleaning 13994 clauses out of 28021 with flag 4925000/8234018
1735.20/1732.39	c cleaning 14000 clauses out of 28028 with flag 4939001/8248019
1738.20/1735.33	c cleaning 14010 clauses out of 28027 with flag 4953000/8262018
1741.11/1738.22	c cleaning 14000 clauses out of 28018 with flag 4967001/8276019
1744.01/1741.13	c cleaning 13992 clauses out of 28018 with flag 4981001/8290019
1747.02/1744.14	c cleaning 14000 clauses out of 28026 with flag 4995001/8304019
1749.92/1747.06	c cleaning 14007 clauses out of 28025 with flag 5009000/8318018
1752.93/1750.03	c cleaning 14002 clauses out of 28018 with flag 5023000/8332018
1755.92/1753.08	c cleaning 14000 clauses out of 28016 with flag 5037000/8346018
1758.93/1756.04	c cleaning 14003 clauses out of 28017 with flag 5051001/8360019
1761.86/1758.92	c cleaning 13991 clauses out of 28013 with flag 5065000/8374018
1764.54/1761.63	c cleaning 14001 clauses out of 28022 with flag 5079000/8388018
1767.54/1764.67	c cleaning 14001 clauses out of 28021 with flag 5093000/8402018
1770.44/1767.58	c cleaning 13999 clauses out of 28022 with flag 5107002/8416020
1773.34/1770.48	c cleaning 13997 clauses out of 28022 with flag 5121001/8430019
1776.25/1773.35	c cleaning 14002 clauses out of 28025 with flag 5135001/8444019
1779.05/1776.16	c cleaning 13999 clauses out of 28022 with flag 5149000/8458018
1782.05/1779.18	c cleaning 13998 clauses out of 28023 with flag 5163000/8472018
1784.97/1782.03	c cleaning 13999 clauses out of 28025 with flag 5177000/8486018
1787.85/1784.91	c cleaning 14006 clauses out of 28026 with flag 5191000/8500018
1790.75/1787.87	c cleaning 13997 clauses out of 28021 with flag 5205001/8514019
1793.77/1790.83	c cleaning 14004 clauses out of 28024 with flag 5219001/8528019
1796.76/1793.80	c cleaning 14004 clauses out of 28020 with flag 5233001/8542019
1799.66/1796.77	c cleaning 13994 clauses out of 28015 with flag 5247000/8556018
1800.07/1797.12	c starts		: 306
1800.07/1797.12	c conflicts		: 8557727
1800.07/1797.12	c decisions		: 13504116
1800.07/1797.12	c propagations		: 1149449958
1800.07/1797.12	c inspects		: 11870386322
1800.07/1797.12	c shortcuts		: 0
1800.07/1797.12	c learnt literals	: 0
1800.07/1797.12	c learnt binary clauses	: 0
1800.07/1797.12	c learnt ternary clauses	: 0
1800.07/1797.12	c learnt constraints	: 8557727
1800.07/1797.12	c ignored constraints	: 0
1800.07/1797.12	c root simplifications	: 0
1800.07/1797.12	c removed literals (reason simplification)	: 5492738
1800.07/1797.12	c reason swapping (by a shorter reason)	: 0
1800.07/1797.12	c Calls to reduceDB	: 617
1800.07/1797.12	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.12	c number of learned constraints concerned by reduction	: 0
1800.07/1797.12	c number of learning phase by resolution	: 0
1800.07/1797.12	c number of learning phase by cutting planes	: 0
1800.07/1797.12	c speed (assignments/second)	: 1024857.9740898919
1800.07/1797.12	c non guided choices	10775
1800.07/1797.13	c learnt constraints type 
1800.07/1797.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15775
1800.07/1797.13	c constraints type 
1800.07/1797.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6828
1800.07/1797.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1797.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1800.07/1797.13	s SATISFIABLE
1800.07/1797.14	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.07/1797.14	c objective function=76
1800.07/1797.14	c Total wall clock time (in seconds): 1797.021

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

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.11 2.03 2/533 16031
/proc/meminfo: memFree=22943528/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 906104982 37810176 1072 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 9231 1072 832 9 0 387 0
[pid=16031/tid=16032] ppid=16029 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 4860 0 1 0 0 0 0 0 25 0 2 0 906104982 13850947584 5677 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0671019 s]
/proc/loadavg: 2.13 2.11 2.03 2/533 16031
/proc/meminfo: memFree=22943528/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 14114 0 1 0 4 1 0 0 25 0 18 0 906104982 13880070144 13811 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3388689 13811 1721 9 0 3379437 0
[pid=16031/tid=16032] ppid=16029 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 12940 0 1 0 4 1 0 0 23 0 18 0 906104982 13880070144 13811 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 47777960796067 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554756

[startup+0.104127 s]
/proc/loadavg: 2.13 2.11 2.03 2/533 16031
/proc/meminfo: memFree=22943528/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13621788 CPUtime=0.11 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 15484 0 1 0 9 2 0 0 25 0 18 0 906104982 13948710912 15181 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3405447 15182 2092 9 0 3396181 0
[pid=16031/tid=16032] ppid=16029 vsize=13621788 CPUtime=0.08 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 13585 0 1 0 7 1 0 0 18 0 18 0 906104982 13948710912 15183 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256415052833 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621788

[startup+0.301049 s]
/proc/loadavg: 2.13 2.11 2.03 2/533 16031
/proc/meminfo: memFree=22943528/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13623296 CPUtime=0.45 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 17842 0 1 0 43 2 0 0 25 0 18 0 906104982 13950255104 17334 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3405824 17334 2207 9 0 3396558 0
[pid=16031/tid=16032] ppid=16029 vsize=13623296 CPUtime=0.27 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 15201 0 1 0 26 1 0 0 18 0 18 0 906104982 13950255104 17335 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13623296

[startup+0.700989 s]
/proc/loadavg: 2.13 2.11 2.03 2/533 16031
/proc/meminfo: memFree=22943528/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=1.61 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 28357 0 1 0 157 4 0 0 25 0 19 0 906104982 13957931008 25286 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 25286 2240 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=0.67 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 18208 0 1 0 65 2 0 0 19 0 19 0 906104982 13957931008 25286 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505897653 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 13630792

[startup+1.50083 s]
/proc/loadavg: 2.13 2.11 2.03 4/553 16051
/proc/meminfo: memFree=22825980/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=2.51 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 29504 0 1 0 247 4 0 0 25 0 19 0 906104982 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 26433 2243 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=1.47 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 19335 0 1 0 145 2 0 0 20 0 19 0 906104982 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505920064 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16031/tid=16034] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16034/stat : 16034 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16035] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16035/stat : 16035 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16036] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16036/stat : 16036 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16037] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16037/stat : 16037 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16038] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16038/stat : 16038 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906104984 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 906104986 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906104986 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906104986 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.53 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5575 0 0 0 52 1 0 0 16 0 19 0 906104988 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.49 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3434 0 0 0 49 0 0 0 15 0 19 0 906104988 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16048] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16048/stat : 16048 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906104988 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16049] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16049/stat : 16049 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906104988 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16050] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16050/stat : 16050 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906105031 13957931008 26433 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13630792

[startup+3.10154 s]
/proc/loadavg: 2.13 2.11 2.03 3/552 16051
/proc/meminfo: memFree=22827972/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=4.19 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 34336 0 1 0 414 5 0 0 25 0 19 0 906104982 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 31254 2268 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=3.01 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 19575 0 1 0 298 3 0 0 19 0 19 0 906104982 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505809768 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16031/tid=16034] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16034/stat : 16034 (java) S 16029 16031 10738 0 -1 4202560 672 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16035] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16035/stat : 16035 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16036] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16036/stat : 16036 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16037] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16037/stat : 16037 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16038] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16038/stat : 16038 (java) S 16029 16031 10738 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 445 0 0 0 0 0 0 0 18 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 546 0 0 0 0 0 0 0 18 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 820 0 0 0 0 0 0 0 18 0 19 0 906104984 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=0.05 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 2077 0 0 0 5 0 0 0 15 0 19 0 906104986 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.55 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5581 0 0 0 54 1 0 0 15 0 19 0 906104988 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.53 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3444 0 0 0 53 0 0 0 16 0 19 0 906104988 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16048] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16048/stat : 16048 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906104988 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16049] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16049/stat : 16049 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906104988 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16050] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16050/stat : 16050 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906105031 13957931008 31254 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 13630792

[startup+6.30092 s]
/proc/loadavg: 2.12 2.11 2.03 3/552 16051
/proc/meminfo: memFree=22821840/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=7.44 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 34960 0 1 0 739 5 0 0 25 0 19 0 906104982 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 31784 2268 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=6.14 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 19577 0 1 0 611 3 0 0 25 0 19 0 906104982 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505809260 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16031/tid=16034] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16034/stat : 16034 (java) S 16029 16031 10738 0 -1 4202560 760 0 0 0 0 0 0 0 16 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16035] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16035/stat : 16035 (java) S 16029 16031 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16036] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16036/stat : 16036 (java) S 16029 16031 10738 0 -1 4202560 80 0 0 0 0 0 0 0 16 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16037] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16037/stat : 16037 (java) S 16029 16031 10738 0 -1 4202560 85 0 0 0 0 0 0 0 16 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16038] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16038/stat : 16038 (java) S 16029 16031 10738 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 525 0 0 0 0 0 0 0 16 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 557 0 0 0 0 0 0 0 16 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 833 0 0 0 0 0 0 0 15 0 19 0 906104984 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=0.11 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 2334 0 0 0 11 0 0 0 16 0 19 0 906104986 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.57 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5583 0 0 0 56 1 0 0 15 0 19 0 906104988 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.56 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3450 0 0 0 56 0 0 0 15 0 19 0 906104988 13957931008 31784 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0

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

[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0.39 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 616 0 0 0 39 0 0 0 15 0 19 0 906104984 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 800 0 0 0 47 0 0 0 15 0 19 0 906104984 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0.45 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 1064 0 0 0 45 0 0 0 16 0 19 0 906104984 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=23.71 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 7599 0 0 0 2362 9 0 0 15 0 19 0 906104986 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.57 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5583 0 0 0 56 1 0 0 15 0 19 0 906104988 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.58 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3454 0 0 0 58 0 0 0 15 0 19 0 906104988 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16048] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16048/stat : 16048 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906104988 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16049] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16049/stat : 16049 (java) S 16029 16031 10738 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906104988 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16050] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16050/stat : 16050 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906105031 13957931008 38281 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.19
Current children cumulated vsize (KiB) 13630792

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/552 16156
/proc/meminfo: memFree=22881408/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=1785.25 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 42347 0 1 0 178501 24 0 0 25 0 19 0 906104982 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 38357 2269 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=1755.81 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 20185 0 1 0 175577 4 0 0 25 0 19 0 906104982 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505806164 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16031/tid=16034] ppid=16029 vsize=13630792 CPUtime=0.44 cores=1,3,5,7
/proc/16031/task/16034/stat : 16034 (java) S 16029 16031 10738 0 -1 4202560 1025 0 0 0 43 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16035] ppid=16029 vsize=13630792 CPUtime=0.46 cores=1,3,5,7
/proc/16031/task/16035/stat : 16035 (java) S 16029 16031 10738 0 -1 4202560 115 0 0 0 45 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16036] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16036/stat : 16036 (java) S 16029 16031 10738 0 -1 4202560 343 0 0 0 46 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16037] ppid=16029 vsize=13630792 CPUtime=0.43 cores=1,3,5,7
/proc/16031/task/16037/stat : 16037 (java) S 16029 16031 10738 0 -1 4202560 166 0 0 0 43 0 0 0 16 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16038] ppid=16029 vsize=13630792 CPUtime=0.41 cores=1,3,5,7
/proc/16031/task/16038/stat : 16038 (java) S 16029 16031 10738 0 -1 4202560 81 0 0 0 41 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0.4 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 616 0 0 0 40 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0.48 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 800 0 0 0 48 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 1068 0 0 0 47 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=24.62 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 7660 0 0 0 2452 10 0 0 15 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.57 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5583 0 0 0 56 1 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.58 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3454 0 0 0 58 0 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16048] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16048/stat : 16048 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16049] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16049/stat : 16049 (java) S 16029 16031 10738 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16050] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16050/stat : 16050 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906105031 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 13630792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.42 2.13 2.03 3/552 16156
/proc/meminfo: memFree=22881132/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=1800.07 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 42352 0 1 0 179983 24 0 0 25 0 19 0 906104982 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 38357 2269 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=1770.41 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 20190 0 1 0 177037 4 0 0 25 0 19 0 906104982 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505897476 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16031/tid=16034] ppid=16029 vsize=13630792 CPUtime=0.44 cores=1,3,5,7
/proc/16031/task/16034/stat : 16034 (java) S 16029 16031 10738 0 -1 4202560 1025 0 0 0 43 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16035] ppid=16029 vsize=13630792 CPUtime=0.46 cores=1,3,5,7
/proc/16031/task/16035/stat : 16035 (java) S 16029 16031 10738 0 -1 4202560 115 0 0 0 45 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16036] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16036/stat : 16036 (java) S 16029 16031 10738 0 -1 4202560 343 0 0 0 46 1 0 0 16 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16037] ppid=16029 vsize=13630792 CPUtime=0.43 cores=1,3,5,7
/proc/16031/task/16037/stat : 16037 (java) S 16029 16031 10738 0 -1 4202560 166 0 0 0 43 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16038] ppid=16029 vsize=13630792 CPUtime=0.41 cores=1,3,5,7
/proc/16031/task/16038/stat : 16038 (java) S 16029 16031 10738 0 -1 4202560 81 0 0 0 41 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0.4 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 616 0 0 0 40 0 0 0 16 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0.48 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 800 0 0 0 48 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 1068 0 0 0 47 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=24.83 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 7660 0 0 0 2473 10 0 0 15 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.57 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5583 0 0 0 56 1 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.58 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3454 0 0 0 58 0 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16048] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16048/stat : 16048 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16049] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16049/stat : 16049 (java) S 16029 16031 10738 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16050] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16050/stat : 16050 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906105031 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13630792

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

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

[startup+1797.1 s]
/proc/loadavg: 2.42 2.13 2.03 3/552 16156
/proc/meminfo: memFree=22881132/32950928 swapFree=58671692/67111528
[pid=16031] ppid=16029 vsize=13630792 CPUtime=1800.07 cores=1,3,5,7
/proc/16031/stat : 16031 (java) S 16029 16031 10738 0 -1 4202496 42352 0 1 0 179983 24 0 0 25 0 19 0 906104982 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16031/statm: 3407698 38357 2269 9 0 3398432 0
[pid=16031/tid=16032] ppid=16029 vsize=13630792 CPUtime=1770.41 cores=1,3,5,7
/proc/16031/task/16032/stat : 16032 (java) R 16029 16031 10738 0 -1 4202560 20190 0 1 0 177037 4 0 0 25 0 19 0 906104982 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 46912505897476 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16031/tid=16034] ppid=16029 vsize=13630792 CPUtime=0.44 cores=1,3,5,7
/proc/16031/task/16034/stat : 16034 (java) S 16029 16031 10738 0 -1 4202560 1025 0 0 0 43 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16035] ppid=16029 vsize=13630792 CPUtime=0.46 cores=1,3,5,7
/proc/16031/task/16035/stat : 16035 (java) S 16029 16031 10738 0 -1 4202560 115 0 0 0 45 1 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16036] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16036/stat : 16036 (java) S 16029 16031 10738 0 -1 4202560 343 0 0 0 46 1 0 0 16 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16037] ppid=16029 vsize=13630792 CPUtime=0.43 cores=1,3,5,7
/proc/16031/task/16037/stat : 16037 (java) S 16029 16031 10738 0 -1 4202560 166 0 0 0 43 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16038] ppid=16029 vsize=13630792 CPUtime=0.41 cores=1,3,5,7
/proc/16031/task/16038/stat : 16038 (java) S 16029 16031 10738 0 -1 4202560 81 0 0 0 41 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16039] ppid=16029 vsize=13630792 CPUtime=0.4 cores=1,3,5,7
/proc/16031/task/16039/stat : 16039 (java) S 16029 16031 10738 0 -1 4202560 616 0 0 0 40 0 0 0 16 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16040] ppid=16029 vsize=13630792 CPUtime=0.48 cores=1,3,5,7
/proc/16031/task/16040/stat : 16040 (java) S 16029 16031 10738 0 -1 4202560 800 0 0 0 48 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16041] ppid=16029 vsize=13630792 CPUtime=0.47 cores=1,3,5,7
/proc/16031/task/16041/stat : 16041 (java) S 16029 16031 10738 0 -1 4202560 1068 0 0 0 47 0 0 0 15 0 19 0 906104984 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16042] ppid=16029 vsize=13630792 CPUtime=24.83 cores=1,3,5,7
/proc/16031/task/16042/stat : 16042 (java) S 16029 16031 10738 0 -1 4202560 7660 0 0 0 2473 10 0 0 15 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 0 0 16800975 18446604466450162112 0 0 -1 1 0 0 0
[pid=16031/tid=16043] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16043/stat : 16043 (java) S 16029 16031 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16044] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16044/stat : 16044 (java) S 16029 16031 10738 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906104986 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16045] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16045/stat : 16045 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427215281 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16046] ppid=16029 vsize=13630792 CPUtime=0.57 cores=1,3,5,7
/proc/16031/task/16046/stat : 16046 (java) S 16029 16031 10738 0 -1 4202560 5583 0 0 0 56 1 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16047] ppid=16029 vsize=13630792 CPUtime=0.58 cores=1,3,5,7
/proc/16031/task/16047/stat : 16047 (java) S 16029 16031 10738 0 -1 4202560 3454 0 0 0 58 0 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 3 0 0 0
[pid=16031/tid=16048] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16048/stat : 16048 (java) S 16029 16031 10738 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427207577 0 4 0 16800975 18446604466450162112 0 0 -1 5 0 0 0
[pid=16031/tid=16049] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16049/stat : 16049 (java) S 16029 16031 10738 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906104988 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
[pid=16031/tid=16050] ppid=16029 vsize=13630792 CPUtime=0 cores=1,3,5,7
/proc/16031/task/16050/stat : 16050 (java) S 16029 16031 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906105031 13957931008 38357 33554432000 1073741824 1073778376 140733628139616 18446744073709551615 256427208192 0 4 0 16800975 18446604466450162112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13630792

Child status: 143
Real time (s): 1797.15
CPU time (s): 1800.13
CPU user time (s): 1799.88
CPU system time (s): 0.250961
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 13631160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42395
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= 52005
involuntary context switches= 52499

runsolver used 9.36957 second user time and 21.7507 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 05:39:03
IDJOB=3458311
IDBENCH=48131
IDSOLVER=1952
FILE ID=node115/3458311-1307158743
RUNJOBID= node115-1307156270-14441
PBS_JOBID= 13508801
Free space on /tmp= 73840 MiB

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

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=2104387645

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22943800 kB
Buffers:        178580 kB
Cached:         304652 kB
SwapCached:      65796 kB
Active:        1265936 kB
Inactive:      8500396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22943800 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             512 kB
Writeback:           0 kB
AnonPages:     9220904 kB
Mapped:          35840 kB
Slab:            96436 kB
PageTables:      75884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165270928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73840 MiB
End job on node115 at 2011-06-04 06:09:02