Trace number 3458298

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)75 1800.07 1796.84

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
MD5SUM7603a459a5769ea7e43f52c522eb87aa
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 68
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)6326
Sum of products size (including duplicates)12652
Number of different products6326
Sum of products size12652

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458298-1307158637.opb
0.10/0.11	c reading problem ... 
0.74/0.47	c ... done. Wall clock time 0.355s.
0.74/0.47	c #vars     6826
0.74/0.47	c #constraints  13152
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6826
0.74/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326
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.472
1.03/0.58	o 83
1.33/0.62	c Got one! Elapsed wall clock time (in seconds):0.503
1.33/0.62	o 81
1.33/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
1.33/0.68	o 80
1.60/0.71	c Got one! Elapsed wall clock time (in seconds):0.596
1.60/0.71	o 79
2.09/1.12	c Got one! Elapsed wall clock time (in seconds):1.006
2.09/1.12	o 78
2.29/1.35	c Got one! Elapsed wall clock time (in seconds):1.242
2.29/1.35	o 77
2.69/1.73	c cleaning 2779 clauses out of 5561 with flag 2000/5561
3.76/2.75	c cleaning 4386 clauses out of 8783 with flag 8001/11562
5.08/4.02	c cleaning 5692 clauses out of 11396 with flag 15000/18561
6.38/5.37	c cleaning 6847 clauses out of 13704 with flag 23000/26561
6.91/5.82	c Got one! Elapsed wall clock time (in seconds):5.702
6.91/5.82	o 76
7.31/6.24	c cleaning 6172 clauses out of 12358 with flag 3001/32062
8.31/7.29	c cleaning 6086 clauses out of 12186 with flag 9001/38062
9.72/8.60	c cleaning 6542 clauses out of 13100 with flag 16001/45062
11.12/10.07	c cleaning 7273 clauses out of 14557 with flag 24000/53061
12.62/11.59	c cleaning 8136 clauses out of 16284 with flag 33000/62061
14.63/13.57	c cleaning 9064 clauses out of 18149 with flag 43001/72062
16.73/15.64	c cleaning 10036 clauses out of 20084 with flag 54000/83061
19.03/17.90	c cleaning 11019 clauses out of 22049 with flag 66001/95062
21.73/20.66	c cleaning 12005 clauses out of 24029 with flag 79000/108061
24.54/23.46	c cleaning 13006 clauses out of 26024 with flag 93000/122061
27.14/26.05	c cleaning 13503 clauses out of 27019 with flag 107001/136062
29.54/28.49	c cleaning 13751 clauses out of 27516 with flag 121001/150062
32.45/31.32	c cleaning 13874 clauses out of 27765 with flag 135001/164062
35.27/34.13	c cleaning 13937 clauses out of 27891 with flag 149001/178062
37.66/36.58	c cleaning 13973 clauses out of 27953 with flag 163000/192061
40.67/39.56	c cleaning 13987 clauses out of 27981 with flag 177001/206062
43.66/42.51	c cleaning 13994 clauses out of 27994 with flag 191001/220062
46.66/45.54	c cleaning 13992 clauses out of 27999 with flag 205000/234061
49.67/48.56	c cleaning 13997 clauses out of 28007 with flag 219000/248061
52.67/51.59	c cleaning 14000 clauses out of 28011 with flag 233001/262062
55.17/54.04	c cleaning 13999 clauses out of 28011 with flag 247001/276062
57.77/56.69	c cleaning 14000 clauses out of 28011 with flag 261000/290061
60.49/59.34	c cleaning 13998 clauses out of 28011 with flag 275000/304061
63.28/62.11	c cleaning 13998 clauses out of 28013 with flag 289000/318061
65.99/64.88	c cleaning 14001 clauses out of 28015 with flag 303000/332061
68.69/67.59	c cleaning 13997 clauses out of 28015 with flag 317001/346062
71.69/70.50	c cleaning 13995 clauses out of 28018 with flag 331001/360062
74.70/73.60	c cleaning 14003 clauses out of 28022 with flag 345000/374061
78.00/76.84	c cleaning 14001 clauses out of 28021 with flag 359002/388063
80.60/79.47	c cleaning 13996 clauses out of 28019 with flag 373001/402062
83.20/82.03	c cleaning 14001 clauses out of 28022 with flag 387000/416061
85.82/84.63	c cleaning 14006 clauses out of 28023 with flag 401002/430063
88.71/87.57	c cleaning 14000 clauses out of 28015 with flag 415000/444061
91.61/90.40	c cleaning 14004 clauses out of 28015 with flag 429000/458061
94.41/93.20	c cleaning 14001 clauses out of 28011 with flag 443000/472061
97.12/95.92	c cleaning 13995 clauses out of 28011 with flag 457001/486062
100.02/98.86	c cleaning 13998 clauses out of 28015 with flag 471000/500061
102.82/101.60	c cleaning 13999 clauses out of 28017 with flag 485000/514061
105.64/104.48	c cleaning 14000 clauses out of 28019 with flag 499001/528062
108.73/107.58	c cleaning 14001 clauses out of 28019 with flag 513001/542062
111.93/110.72	c cleaning 14006 clauses out of 28017 with flag 527000/556061
114.93/113.75	c cleaning 13997 clauses out of 28012 with flag 541001/570062
118.03/116.88	c cleaning 13996 clauses out of 28015 with flag 555001/584062
120.63/119.49	c cleaning 13998 clauses out of 28018 with flag 569000/598061
123.25/122.07	c cleaning 14005 clauses out of 28021 with flag 583001/612062
126.04/124.86	c cleaning 14003 clauses out of 28015 with flag 597000/626061
128.86/127.63	c cleaning 13996 clauses out of 28012 with flag 611000/640061
131.55/130.31	c cleaning 14001 clauses out of 28017 with flag 625001/654062
134.37/133.15	c cleaning 13998 clauses out of 28015 with flag 639000/668061
137.15/135.93	c cleaning 14006 clauses out of 28018 with flag 653001/682062
140.06/138.85	c cleaning 13992 clauses out of 28011 with flag 667000/696061
142.97/141.74	c cleaning 14000 clauses out of 28021 with flag 681002/710063
145.77/144.53	c cleaning 14005 clauses out of 28019 with flag 695000/724061
148.88/147.60	c cleaning 14000 clauses out of 28016 with flag 709002/738063
151.89/150.66	c cleaning 14002 clauses out of 28014 with flag 723000/752061
154.98/153.79	c cleaning 13997 clauses out of 28012 with flag 737000/766061
158.08/156.83	c cleaning 14000 clauses out of 28015 with flag 751000/780061
160.88/159.62	c cleaning 14000 clauses out of 28015 with flag 765000/794061
163.81/162.53	c cleaning 13999 clauses out of 28016 with flag 779001/808062
166.81/165.53	c cleaning 13997 clauses out of 28016 with flag 793000/822061
169.63/168.33	c cleaning 13998 clauses out of 28020 with flag 807001/836062
172.52/171.26	c cleaning 14004 clauses out of 28021 with flag 821000/850061
175.52/174.23	c cleaning 13996 clauses out of 28018 with flag 835001/864062
178.34/177.09	c cleaning 14001 clauses out of 28022 with flag 849001/878062
180.93/179.64	c cleaning 14002 clauses out of 28020 with flag 863000/892061
183.53/182.25	c cleaning 14006 clauses out of 28019 with flag 877001/906062
186.33/185.09	c cleaning 13999 clauses out of 28013 with flag 891001/920062
188.94/187.69	c cleaning 13996 clauses out of 28014 with flag 905001/934062
191.44/190.21	c cleaning 13998 clauses out of 28017 with flag 919000/948061
194.15/192.85	c cleaning 14003 clauses out of 28019 with flag 933000/962061
196.95/195.63	c cleaning 14001 clauses out of 28017 with flag 947001/976062
200.05/198.78	c cleaning 13998 clauses out of 28016 with flag 961001/990062
203.35/202.01	c cleaning 13999 clauses out of 28018 with flag 975001/1004062
206.45/205.17	c cleaning 14001 clauses out of 28018 with flag 989000/1018061
209.46/208.16	c cleaning 13998 clauses out of 28018 with flag 1003001/1032062
212.47/211.16	c cleaning 13999 clauses out of 28019 with flag 1017000/1046061
215.46/214.19	c cleaning 14002 clauses out of 28020 with flag 1031000/1060061
218.46/217.15	c cleaning 13998 clauses out of 28018 with flag 1045000/1074061
221.38/220.02	c cleaning 14004 clauses out of 28020 with flag 1059000/1088061
224.37/223.00	c cleaning 13999 clauses out of 28016 with flag 1073000/1102061
227.27/225.91	c cleaning 13995 clauses out of 28017 with flag 1087000/1116061
230.28/228.93	c cleaning 14001 clauses out of 28023 with flag 1101001/1130062
233.29/231.94	c cleaning 14000 clauses out of 28022 with flag 1115001/1144062
236.19/234.83	c cleaning 13999 clauses out of 28021 with flag 1129000/1158061
239.19/237.82	c cleaning 14003 clauses out of 28022 with flag 1143000/1172061
241.89/240.57	c cleaning 13996 clauses out of 28019 with flag 1157000/1186061
244.90/243.59	c cleaning 14004 clauses out of 28024 with flag 1171001/1200062
248.00/246.66	c cleaning 13999 clauses out of 28019 with flag 1185000/1214061
251.12/249.76	c cleaning 14004 clauses out of 28021 with flag 1199001/1228062
254.21/252.83	c cleaning 13999 clauses out of 28016 with flag 1213000/1242061
257.21/255.81	c cleaning 13998 clauses out of 28017 with flag 1227000/1256061
260.31/258.91	c cleaning 14004 clauses out of 28019 with flag 1241000/1270061
263.42/262.05	c cleaning 13997 clauses out of 28016 with flag 1255001/1284062
266.62/265.20	c cleaning 14004 clauses out of 28019 with flag 1269001/1298062
269.84/268.46	c cleaning 13997 clauses out of 28015 with flag 1283001/1312062
273.04/271.67	c cleaning 13997 clauses out of 28017 with flag 1297000/1326061
275.53/274.16	c cleaning 14005 clauses out of 28020 with flag 1311000/1340061
278.33/276.97	c cleaning 14003 clauses out of 28015 with flag 1325000/1354061
281.34/279.91	c cleaning 13995 clauses out of 28012 with flag 1339000/1368061
284.34/282.96	c cleaning 13996 clauses out of 28018 with flag 1353001/1382062
287.05/285.64	c cleaning 13999 clauses out of 28022 with flag 1367001/1396062
289.85/288.47	c cleaning 14002 clauses out of 28023 with flag 1381001/1410062
292.56/291.14	c cleaning 14003 clauses out of 28020 with flag 1395000/1424061
295.26/293.88	c cleaning 13997 clauses out of 28018 with flag 1409001/1438062
298.17/296.79	c cleaning 14005 clauses out of 28021 with flag 1423001/1452062
300.87/299.45	c cleaning 13999 clauses out of 28015 with flag 1437000/1466061
303.57/302.15	c cleaning 13999 clauses out of 28016 with flag 1451000/1480061
306.20/304.77	c cleaning 14003 clauses out of 28020 with flag 1465003/1494064
307.68/306.26	c Got one! Elapsed wall clock time (in seconds):306.143
307.68/306.26	o 75
308.48/307.02	c cleaning 13517 clauses out of 27046 with flag 5001/1507093
309.40/307.97	c cleaning 9757 clauses out of 19528 with flag 11000/1513092
310.61/309.13	c cleaning 8380 clauses out of 16771 with flag 18000/1520092
311.89/310.47	c cleaning 8189 clauses out of 16392 with flag 26001/1528093
313.49/312.02	c cleaning 8596 clauses out of 17203 with flag 35001/1537093
315.09/313.64	c cleaning 9297 clauses out of 18607 with flag 45001/1547093
316.99/315.54	c cleaning 10143 clauses out of 20309 with flag 56000/1558092
319.10/317.64	c cleaning 11079 clauses out of 22167 with flag 68001/1570093
321.80/320.36	c cleaning 12036 clauses out of 24087 with flag 81000/1583092
324.82/323.40	c cleaning 13014 clauses out of 26052 with flag 95001/1597093
327.81/326.37	c cleaning 13511 clauses out of 27037 with flag 109000/1611092
330.91/329.46	c cleaning 13752 clauses out of 27527 with flag 123001/1625093
334.02/332.54	c cleaning 13876 clauses out of 27775 with flag 137001/1639093
337.22/335.77	c cleaning 13942 clauses out of 27899 with flag 151001/1653093
340.42/338.92	c cleaning 13970 clauses out of 27957 with flag 165001/1667093
343.23/341.72	c cleaning 13989 clauses out of 27986 with flag 179000/1681092
346.13/344.62	c cleaning 13994 clauses out of 27997 with flag 193000/1695092
349.15/347.62	c cleaning 13988 clauses out of 28004 with flag 207001/1709093
352.15/350.69	c cleaning 13998 clauses out of 28015 with flag 221000/1723092
355.15/353.68	c cleaning 14000 clauses out of 28018 with flag 235001/1737093
358.25/356.77	c cleaning 13991 clauses out of 28018 with flag 249001/1751093
361.27/359.73	c cleaning 14002 clauses out of 28026 with flag 263000/1765092
364.25/362.79	c cleaning 14004 clauses out of 28025 with flag 277001/1779093
367.35/365.81	c cleaning 14001 clauses out of 28020 with flag 291000/1793092
370.36/368.86	c cleaning 14004 clauses out of 28020 with flag 305001/1807093
373.06/371.54	c cleaning 14001 clauses out of 28016 with flag 319001/1821093
375.76/374.22	c cleaning 13997 clauses out of 28014 with flag 333000/1835092
378.27/376.79	c cleaning 13999 clauses out of 28018 with flag 347001/1849093
381.09/379.57	c cleaning 14001 clauses out of 28018 with flag 361000/1863092
383.77/382.27	c cleaning 13999 clauses out of 28017 with flag 375000/1877092
386.37/384.91	c cleaning 13997 clauses out of 28018 with flag 389000/1891092
389.27/387.73	c cleaning 14004 clauses out of 28021 with flag 403000/1905092
392.10/390.60	c cleaning 14002 clauses out of 28017 with flag 417000/1919092
394.89/393.39	c cleaning 13995 clauses out of 28015 with flag 431000/1933092
397.69/396.10	c cleaning 14000 clauses out of 28021 with flag 445001/1947093
400.49/398.90	c cleaning 14000 clauses out of 28020 with flag 459000/1961092
403.39/401.81	c cleaning 13999 clauses out of 28023 with flag 473003/1975095
406.09/404.55	c cleaning 14002 clauses out of 28022 with flag 487001/1989093
408.89/407.38	c cleaning 13999 clauses out of 28021 with flag 501002/2003094
411.81/410.23	c cleaning 13999 clauses out of 28020 with flag 515000/2017092
414.70/413.12	c cleaning 14004 clauses out of 28022 with flag 529001/2031093
417.20/415.69	c cleaning 14003 clauses out of 28017 with flag 543000/2045092
420.10/418.55	c cleaning 14003 clauses out of 28014 with flag 557000/2059092
422.92/421.38	c cleaning 13996 clauses out of 28012 with flag 571001/2073093
425.61/424.10	c cleaning 14002 clauses out of 28017 with flag 585002/2087094
428.33/426.73	c cleaning 14002 clauses out of 28013 with flag 599000/2101092
431.63/430.04	c cleaning 13995 clauses out of 28012 with flag 613001/2115093
434.52/432.97	c cleaning 13996 clauses out of 28016 with flag 627000/2129092
437.32/435.70	c cleaning 14000 clauses out of 28021 with flag 641001/2143093
440.03/438.45	c cleaning 13998 clauses out of 28020 with flag 655000/2157092
442.84/441.25	c cleaning 14001 clauses out of 28022 with flag 669000/2171092
446.14/444.56	c cleaning 14004 clauses out of 28021 with flag 683000/2185092
449.36/447.74	c cleaning 13999 clauses out of 28017 with flag 697000/2199092
452.45/450.91	c cleaning 14001 clauses out of 28019 with flag 711001/2213093
455.76/454.19	c cleaning 14001 clauses out of 28017 with flag 725000/2227092
458.86/457.28	c cleaning 14004 clauses out of 28018 with flag 739002/2241094
462.07/460.44	c cleaning 13995 clauses out of 28012 with flag 753000/2255092
465.37/463.77	c cleaning 14000 clauses out of 28017 with flag 767000/2269092
468.68/467.02	c cleaning 13999 clauses out of 28017 with flag 781000/2283092
471.98/470.36	c cleaning 13998 clauses out of 28018 with flag 795000/2297092
475.28/473.63	c cleaning 14000 clauses out of 28021 with flag 809001/2311093
478.69/477.03	c cleaning 14004 clauses out of 28021 with flag 823001/2325093
481.70/480.05	c cleaning 13998 clauses out of 28016 with flag 837000/2339092
484.90/483.28	c cleaning 14002 clauses out of 28018 with flag 851000/2353092
488.11/486.45	c cleaning 13996 clauses out of 28018 with flag 865002/2367094
491.23/489.55	c cleaning 13998 clauses out of 28021 with flag 879001/2381093
494.31/492.69	c cleaning 14004 clauses out of 28023 with flag 893001/2395093
497.31/495.67	c cleaning 13998 clauses out of 28018 with flag 907000/2409092
500.61/498.94	c cleaning 14000 clauses out of 28020 with flag 921000/2423092
503.82/502.14	c cleaning 13999 clauses out of 28021 with flag 935001/2437093
506.82/505.18	c cleaning 14004 clauses out of 28022 with flag 949001/2451093
510.02/508.38	c cleaning 14001 clauses out of 28017 with flag 963000/2465092
513.25/511.52	c cleaning 14005 clauses out of 28018 with flag 977002/2479094
516.23/514.51	c cleaning 13997 clauses out of 28012 with flag 991001/2493093
519.14/517.44	c cleaning 14001 clauses out of 28016 with flag 1005002/2507094
522.24/520.50	c cleaning 13996 clauses out of 28014 with flag 1019001/2521093
525.15/523.45	c cleaning 13995 clauses out of 28017 with flag 1033000/2535092
528.25/526.50	c cleaning 14001 clauses out of 28022 with flag 1047000/2549092
531.16/529.48	c cleaning 14000 clauses out of 28021 with flag 1061000/2563092
534.18/532.46	c cleaning 14000 clauses out of 28022 with flag 1075001/2577093
537.27/535.50	c cleaning 14001 clauses out of 28021 with flag 1089000/2591092
540.37/538.69	c cleaning 14003 clauses out of 28021 with flag 1103001/2605093
543.47/541.77	c cleaning 14000 clauses out of 28017 with flag 1117000/2619092
546.58/544.86	c cleaning 13998 clauses out of 28018 with flag 1131001/2633093
549.68/547.91	c cleaning 14003 clauses out of 28020 with flag 1145001/2647093
552.68/550.92	c cleaning 13998 clauses out of 28016 with flag 1159000/2661092
555.79/554.09	c cleaning 14001 clauses out of 28018 with flag 1173000/2675092
558.79/557.03	c cleaning 14000 clauses out of 28018 with flag 1187001/2689093
561.79/560.00	c cleaning 14002 clauses out of 28017 with flag 1201000/2703092
564.70/562.95	c cleaning 13995 clauses out of 28015 with flag 1215000/2717092
567.70/565.92	c cleaning 14003 clauses out of 28020 with flag 1229000/2731092
570.70/568.91	c cleaning 14003 clauses out of 28018 with flag 1243001/2745093
573.51/571.79	c cleaning 13996 clauses out of 28015 with flag 1257001/2759093
576.50/574.73	c cleaning 13997 clauses out of 28019 with flag 1271001/2773093
579.33/577.57	c cleaning 14001 clauses out of 28021 with flag 1285000/2787092
582.22/580.43	c cleaning 14000 clauses out of 28020 with flag 1299000/2801092
585.12/583.36	c cleaning 14001 clauses out of 28021 with flag 1313001/2815093
588.04/586.31	c cleaning 14001 clauses out of 28020 with flag 1327001/2829093
591.12/589.32	c cleaning 13999 clauses out of 28018 with flag 1341000/2843092
594.23/592.43	c cleaning 13993 clauses out of 28019 with flag 1355000/2857092
597.13/595.38	c cleaning 14002 clauses out of 28026 with flag 1369000/2871092
600.14/598.33	c cleaning 14002 clauses out of 28024 with flag 1383000/2885092
603.13/601.34	c cleaning 13999 clauses out of 28022 with flag 1397000/2899092
606.03/604.26	c cleaning 14003 clauses out of 28024 with flag 1411001/2913093
608.95/607.15	c cleaning 14003 clauses out of 28020 with flag 1425000/2927092
611.94/610.15	c cleaning 13998 clauses out of 28017 with flag 1439000/2941092
614.74/612.98	c cleaning 14003 clauses out of 28020 with flag 1453001/2955093
617.64/615.80	c cleaning 13998 clauses out of 28017 with flag 1467001/2969093
620.54/618.75	c cleaning 13996 clauses out of 28019 with flag 1481001/2983093
623.55/621.72	c cleaning 13995 clauses out of 28022 with flag 1495000/2997092
626.56/624.76	c cleaning 14005 clauses out of 28028 with flag 1509001/3011093
629.65/627.83	c cleaning 14001 clauses out of 28023 with flag 1523001/3025093
632.45/630.66	c cleaning 14006 clauses out of 28021 with flag 1537000/3039092
635.16/633.36	c cleaning 14006 clauses out of 28016 with flag 1551001/3053093
637.76/635.92	c cleaning 14001 clauses out of 28009 with flag 1565000/3067092
640.57/638.73	c cleaning 13997 clauses out of 28008 with flag 1579000/3081092
643.37/641.54	c cleaning 14003 clauses out of 28012 with flag 1593001/3095093
646.28/644.49	c cleaning 13997 clauses out of 28009 with flag 1607001/3109093
649.28/647.45	c cleaning 14002 clauses out of 28011 with flag 1621000/3123092
652.29/650.40	c cleaning 13995 clauses out of 28009 with flag 1635000/3137092
655.31/653.48	c cleaning 14002 clauses out of 28015 with flag 1649001/3151093
658.51/656.66	c cleaning 14002 clauses out of 28013 with flag 1663001/3165093
661.50/659.62	c cleaning 13995 clauses out of 28011 with flag 1677001/3179093
664.40/662.56	c cleaning 13995 clauses out of 28016 with flag 1691001/3193093
667.43/665.53	c cleaning 14004 clauses out of 28021 with flag 1705001/3207093
670.41/668.55	c cleaning 13998 clauses out of 28018 with flag 1719002/3221094
673.22/671.31	c cleaning 14002 clauses out of 28018 with flag 1733000/3235092
676.03/674.19	c cleaning 13998 clauses out of 28016 with flag 1747000/3249092
678.94/677.05	c cleaning 13997 clauses out of 28018 with flag 1761000/3263092
681.66/679.78	c cleaning 14000 clauses out of 28022 with flag 1775001/3277093
684.55/682.68	c cleaning 14001 clauses out of 28021 with flag 1789000/3291092
687.45/685.52	c cleaning 14002 clauses out of 28020 with flag 1803000/3305092
690.35/688.50	c cleaning 13999 clauses out of 28018 with flag 1817000/3319092
693.25/691.30	c cleaning 14001 clauses out of 28019 with flag 1831000/3333092
696.07/694.12	c cleaning 14001 clauses out of 28018 with flag 1845000/3347092
698.86/696.99	c cleaning 13999 clauses out of 28018 with flag 1859001/3361093
701.76/699.84	c cleaning 13993 clauses out of 28018 with flag 1873000/3375092
704.67/702.80	c cleaning 14006 clauses out of 28027 with flag 1887002/3389094
707.68/705.70	c cleaning 13998 clauses out of 28019 with flag 1901000/3403092
710.49/708.55	c cleaning 13996 clauses out of 28021 with flag 1915000/3417092
713.49/711.61	c cleaning 14006 clauses out of 28025 with flag 1929000/3431092
716.39/714.47	c cleaning 13997 clauses out of 28019 with flag 1943000/3445092
719.11/717.20	c cleaning 14002 clauses out of 28022 with flag 1957000/3459092
722.00/720.00	c cleaning 13998 clauses out of 28020 with flag 1971000/3473092
724.90/722.99	c cleaning 14000 clauses out of 28022 with flag 1985000/3487092
728.11/726.12	c cleaning 14002 clauses out of 28023 with flag 1999001/3501093
731.33/729.32	c cleaning 13998 clauses out of 28020 with flag 2013000/3515092
734.41/732.41	c cleaning 14003 clauses out of 28023 with flag 2027001/3529093
737.41/735.45	c cleaning 14005 clauses out of 28019 with flag 2041000/3543092
740.52/738.54	c cleaning 13999 clauses out of 28015 with flag 2055001/3557093
743.72/741.72	c cleaning 13997 clauses out of 28015 with flag 2069000/3571092
746.74/744.77	c cleaning 13998 clauses out of 28019 with flag 2083001/3585093
749.95/747.99	c cleaning 14000 clauses out of 28021 with flag 2097001/3599093
753.13/751.21	c cleaning 14002 clauses out of 28021 with flag 2111001/3613093
756.34/754.34	c cleaning 13996 clauses out of 28018 with flag 2125000/3627092
759.35/757.36	c cleaning 14004 clauses out of 28023 with flag 2139001/3641093
762.35/760.36	c cleaning 13999 clauses out of 28019 with flag 2153001/3655093
765.55/763.50	c cleaning 14000 clauses out of 28019 with flag 2167000/3669092
768.55/766.61	c cleaning 14002 clauses out of 28020 with flag 2181001/3683093
771.75/769.73	c cleaning 13998 clauses out of 28019 with flag 2195002/3697094
774.76/772.72	c cleaning 14000 clauses out of 28019 with flag 2209000/3711092
777.86/775.82	c cleaning 14005 clauses out of 28019 with flag 2223000/3725092
780.78/778.81	c cleaning 13992 clauses out of 28015 with flag 2237001/3739093
783.97/781.94	c cleaning 14002 clauses out of 28023 with flag 2251001/3753093
786.97/784.99	c cleaning 14000 clauses out of 28020 with flag 2265000/3767092
790.17/788.12	c cleaning 14003 clauses out of 28021 with flag 2279001/3781093
793.28/791.24	c cleaning 14000 clauses out of 28018 with flag 2293001/3795093
796.48/794.43	c cleaning 13997 clauses out of 28019 with flag 2307002/3809094
799.60/797.56	c cleaning 14000 clauses out of 28020 with flag 2321000/3823092
802.69/800.67	c cleaning 14005 clauses out of 28021 with flag 2335001/3837093
805.79/803.75	c cleaning 13993 clauses out of 28016 with flag 2349001/3851093
808.99/806.95	c cleaning 13997 clauses out of 28022 with flag 2363000/3865092
812.10/810.02	c cleaning 14005 clauses out of 28025 with flag 2377000/3879092
815.10/813.02	c cleaning 14003 clauses out of 28020 with flag 2391000/3893092
818.10/816.03	c cleaning 14000 clauses out of 28019 with flag 2405002/3907094
821.21/819.19	c cleaning 13999 clauses out of 28018 with flag 2419001/3921093
824.41/822.30	c cleaning 13995 clauses out of 28019 with flag 2433001/3935093
827.41/825.38	c cleaning 14003 clauses out of 28024 with flag 2447001/3949093
830.72/828.61	c cleaning 13996 clauses out of 28021 with flag 2461001/3963093
833.92/831.87	c cleaning 14008 clauses out of 28027 with flag 2475003/3977095
837.12/835.05	c cleaning 13998 clauses out of 28016 with flag 2489000/3991092
840.34/838.28	c cleaning 14000 clauses out of 28023 with flag 2503005/4005097
843.64/841.56	c cleaning 14000 clauses out of 28019 with flag 2517001/4019093
846.53/844.48	c cleaning 14001 clauses out of 28019 with flag 2531001/4033093
849.33/847.22	c cleaning 13993 clauses out of 28018 with flag 2545001/4047093
852.14/850.00	c cleaning 14008 clauses out of 28024 with flag 2559000/4061092
854.84/852.71	c cleaning 14002 clauses out of 28017 with flag 2573001/4075093
857.44/855.33	c cleaning 13994 clauses out of 28014 with flag 2587000/4089092
860.17/858.03	c cleaning 14000 clauses out of 28020 with flag 2601000/4103092
862.85/860.71	c cleaning 14002 clauses out of 28021 with flag 2615001/4117093
865.46/863.34	c cleaning 14003 clauses out of 28018 with flag 2629000/4131092
868.06/865.94	c cleaning 13993 clauses out of 28015 with flag 2643000/4145092
870.76/868.68	c cleaning 13997 clauses out of 28022 with flag 2657000/4159092
873.57/871.41	c cleaning 14003 clauses out of 28025 with flag 2671000/4173092
876.27/874.16	c cleaning 13997 clauses out of 28023 with flag 2685001/4187093
878.97/876.85	c cleaning 14000 clauses out of 28027 with flag 2699002/4201094
881.78/879.66	c cleaning 14000 clauses out of 28025 with flag 2713000/4215092
884.58/882.46	c cleaning 14000 clauses out of 28025 with flag 2727000/4229092
887.38/885.28	c cleaning 14003 clauses out of 28025 with flag 2741000/4243092
889.98/887.81	c cleaning 14005 clauses out of 28023 with flag 2755001/4257093
892.49/890.39	c cleaning 13997 clauses out of 28018 with flag 2769001/4271093
895.30/893.13	c cleaning 13991 clauses out of 28020 with flag 2783000/4285092
898.00/895.83	c cleaning 14003 clauses out of 28029 with flag 2797000/4299092
900.70/898.54	c cleaning 14005 clauses out of 28026 with flag 2811000/4313092
903.70/901.51	c cleaning 14000 clauses out of 28022 with flag 2825001/4327093
906.42/904.25	c cleaning 14001 clauses out of 28021 with flag 2839000/4341092
909.31/907.14	c cleaning 14004 clauses out of 28020 with flag 2853000/4355092
912.11/909.96	c cleaning 13995 clauses out of 28016 with flag 2867000/4369092
914.91/912.78	c cleaning 14000 clauses out of 28022 with flag 2881001/4383093
917.72/915.56	c cleaning 14002 clauses out of 28021 with flag 2895000/4397092
920.52/918.34	c cleaning 13998 clauses out of 28019 with flag 2909000/4411092
923.12/920.99	c cleaning 14000 clauses out of 28022 with flag 2923001/4425093
925.92/923.76	c cleaning 14001 clauses out of 28023 with flag 2937002/4439094
928.73/926.55	c cleaning 13996 clauses out of 28020 with flag 2951000/4453092
931.43/929.24	c cleaning 14002 clauses out of 28024 with flag 2965000/4467092
934.33/932.11	c cleaning 14003 clauses out of 28024 with flag 2979002/4481094
937.03/934.83	c cleaning 13994 clauses out of 28019 with flag 2993000/4495092
939.74/937.56	c cleaning 14004 clauses out of 28025 with flag 3007000/4509092
942.34/940.16	c cleaning 13995 clauses out of 28021 with flag 3021000/4523092
944.86/942.71	c cleaning 14010 clauses out of 28026 with flag 3035000/4537092
947.75/945.52	c cleaning 14000 clauses out of 28018 with flag 3049002/4551094
950.55/948.32	c cleaning 14000 clauses out of 28018 with flag 3063002/4565094
953.26/951.02	c cleaning 14002 clauses out of 28017 with flag 3077001/4579093
955.99/953.72	c cleaning 13994 clauses out of 28014 with flag 3091000/4593092
958.77/956.50	c cleaning 13998 clauses out of 28020 with flag 3105000/4607092
961.39/959.18	c cleaning 14003 clauses out of 28022 with flag 3119000/4621092
964.29/962.01	c cleaning 14005 clauses out of 28019 with flag 3133000/4635092
967.09/964.84	c cleaning 13994 clauses out of 28014 with flag 3147000/4649092
969.89/967.63	c cleaning 14004 clauses out of 28021 with flag 3161001/4663093
972.80/970.59	c cleaning 14003 clauses out of 28016 with flag 3175000/4677092
976.00/973.71	c cleaning 13998 clauses out of 28014 with flag 3189001/4691093
979.13/976.84	c cleaning 13997 clauses out of 28015 with flag 3203000/4705092
982.22/979.92	c cleaning 14003 clauses out of 28019 with flag 3217001/4719093
985.12/982.86	c cleaning 13998 clauses out of 28016 with flag 3231001/4733093
988.13/985.85	c cleaning 14003 clauses out of 28017 with flag 3245000/4747092
991.34/989.05	c cleaning 13998 clauses out of 28015 with flag 3259001/4761093
994.45/992.19	c cleaning 14000 clauses out of 28018 with flag 3273002/4775094
997.64/995.37	c cleaning 14001 clauses out of 28018 with flag 3287002/4789094
1000.85/998.52	c cleaning 14001 clauses out of 28015 with flag 3301000/4803092
1003.85/1001.60	c cleaning 13995 clauses out of 28014 with flag 3315000/4817092
1006.75/1004.41	c cleaning 14002 clauses out of 28020 with flag 3329001/4831093
1009.46/1007.15	c cleaning 13999 clauses out of 28018 with flag 3343001/4845093
1012.26/1009.99	c cleaning 13999 clauses out of 28019 with flag 3357001/4859093
1015.16/1012.85	c cleaning 13998 clauses out of 28019 with flag 3371000/4873092
1018.07/1015.72	c cleaning 13997 clauses out of 28021 with flag 3385000/4887092
1020.99/1018.63	c cleaning 14001 clauses out of 28026 with flag 3399002/4901094
1023.97/1021.63	c cleaning 14002 clauses out of 28024 with flag 3413001/4915093
1026.98/1024.61	c cleaning 13995 clauses out of 28022 with flag 3427001/4929093
1029.88/1027.59	c cleaning 13996 clauses out of 28026 with flag 3441000/4943092
1032.89/1030.53	c cleaning 14002 clauses out of 28031 with flag 3455001/4957093
1035.89/1033.58	c cleaning 14003 clauses out of 28029 with flag 3469001/4971093
1038.79/1036.49	c cleaning 14006 clauses out of 28025 with flag 3483000/4985092
1041.81/1039.50	c cleaning 14001 clauses out of 28019 with flag 3497000/4999092
1044.80/1042.41	c cleaning 13998 clauses out of 28018 with flag 3511000/5013092
1047.80/1045.44	c cleaning 14000 clauses out of 28020 with flag 3525000/5027092
1050.81/1048.43	c cleaning 13998 clauses out of 28021 with flag 3539001/5041093
1053.92/1051.53	c cleaning 14001 clauses out of 28023 with flag 3553001/5055093
1056.91/1054.57	c cleaning 14002 clauses out of 28021 with flag 3567000/5069092
1060.01/1057.64	c cleaning 14000 clauses out of 28020 with flag 3581001/5083093
1063.11/1060.73	c cleaning 14004 clauses out of 28019 with flag 3595000/5097092
1066.22/1063.84	c cleaning 14001 clauses out of 28015 with flag 3609000/5111092
1069.23/1066.84	c cleaning 13997 clauses out of 28014 with flag 3623000/5125092
1072.33/1069.90	c cleaning 13996 clauses out of 28018 with flag 3637001/5139093
1075.33/1072.93	c cleaning 13999 clauses out of 28021 with flag 3651000/5153092
1078.34/1075.99	c cleaning 14001 clauses out of 28022 with flag 3665000/5167092
1081.45/1079.11	c cleaning 14002 clauses out of 28021 with flag 3679000/5181092
1084.54/1082.11	c cleaning 14004 clauses out of 28019 with flag 3693000/5195092
1087.75/1085.32	c cleaning 13997 clauses out of 28016 with flag 3707001/5209093
1091.05/1088.60	c cleaning 14000 clauses out of 28018 with flag 3721000/5223092
1094.35/1091.91	c cleaning 13997 clauses out of 28019 with flag 3735001/5237093
1097.56/1095.20	c cleaning 14001 clauses out of 28021 with flag 3749000/5251092
1100.76/1098.36	c cleaning 14000 clauses out of 28021 with flag 3763001/5265093
1104.06/1101.62	c cleaning 14003 clauses out of 28020 with flag 3777000/5279092
1107.36/1104.97	c cleaning 13997 clauses out of 28017 with flag 3791000/5293092
1110.66/1108.23	c cleaning 13999 clauses out of 28020 with flag 3805000/5307092
1113.86/1111.43	c cleaning 14003 clauses out of 28021 with flag 3819000/5321092
1117.07/1114.69	c cleaning 14001 clauses out of 28018 with flag 3833000/5335092
1120.47/1118.09	c cleaning 13999 clauses out of 28017 with flag 3847000/5349092
1123.77/1121.38	c cleaning 13995 clauses out of 28018 with flag 3861000/5363092
1127.07/1124.65	c cleaning 14001 clauses out of 28024 with flag 3875001/5377093
1130.38/1127.91	c cleaning 14003 clauses out of 28023 with flag 3889001/5391093
1133.59/1131.13	c cleaning 13998 clauses out of 28019 with flag 3903000/5405092
1136.89/1134.49	c cleaning 13997 clauses out of 28021 with flag 3917000/5419092
1140.29/1137.81	c cleaning 14003 clauses out of 28025 with flag 3931001/5433093
1143.59/1141.12	c cleaning 13999 clauses out of 28021 with flag 3945000/5447092
1146.80/1144.39	c cleaning 13999 clauses out of 28024 with flag 3959002/5461094
1150.20/1147.72	c cleaning 13999 clauses out of 28023 with flag 3973000/5475092
1153.40/1150.94	c cleaning 14003 clauses out of 28025 with flag 3987001/5489093
1156.70/1154.23	c cleaning 14004 clauses out of 28022 with flag 4001001/5503093
1159.90/1157.45	c cleaning 14002 clauses out of 28017 with flag 4015000/5517092
1162.92/1160.50	c cleaning 13998 clauses out of 28016 with flag 4029001/5531093
1165.91/1163.40	c cleaning 14002 clauses out of 28017 with flag 4043000/5545092
1168.92/1166.44	c cleaning 14000 clauses out of 28015 with flag 4057000/5559092
1171.92/1169.48	c cleaning 13999 clauses out of 28015 with flag 4071000/5573092
1174.83/1172.31	c cleaning 14001 clauses out of 28017 with flag 4085001/5587093
1177.73/1175.29	c cleaning 13997 clauses out of 28017 with flag 4099002/5601094
1180.74/1178.27	c cleaning 13998 clauses out of 28018 with flag 4113000/5615092
1183.74/1181.24	c cleaning 14000 clauses out of 28021 with flag 4127001/5629093
1186.74/1184.27	c cleaning 14000 clauses out of 28022 with flag 4141002/5643094
1189.84/1187.34	c cleaning 13999 clauses out of 28020 with flag 4155000/5657092
1192.84/1190.32	c cleaning 13998 clauses out of 28022 with flag 4169001/5671093
1195.84/1193.33	c cleaning 13998 clauses out of 28024 with flag 4183001/5685093
1198.95/1196.43	c cleaning 13998 clauses out of 28025 with flag 4197000/5699092
1201.95/1199.43	c cleaning 14008 clauses out of 28028 with flag 4211001/5713093
1204.87/1202.36	c cleaning 13998 clauses out of 28020 with flag 4225001/5727093
1207.95/1205.49	c cleaning 14005 clauses out of 28022 with flag 4239001/5741093
1211.05/1208.54	c cleaning 13999 clauses out of 28016 with flag 4253000/5755092
1213.96/1211.45	c cleaning 13998 clauses out of 28017 with flag 4267000/5769092
1216.87/1214.36	c cleaning 13997 clauses out of 28020 with flag 4281001/5783093
1219.86/1217.34	c cleaning 14003 clauses out of 28024 with flag 4295002/5797094
1222.86/1220.35	c cleaning 13996 clauses out of 28019 with flag 4309000/5811092
1225.87/1223.38	c cleaning 13998 clauses out of 28024 with flag 4323001/5825093
1229.09/1226.55	c cleaning 14003 clauses out of 28025 with flag 4337000/5839092
1232.29/1229.76	c cleaning 14003 clauses out of 28023 with flag 4351001/5853093
1235.38/1232.88	c cleaning 13999 clauses out of 28019 with flag 4365000/5867092
1238.48/1235.95	c cleaning 13998 clauses out of 28020 with flag 4379000/5881092
1241.68/1239.13	c cleaning 14000 clauses out of 28022 with flag 4393000/5895092
1244.79/1242.25	c cleaning 14002 clauses out of 28022 with flag 4407000/5909092
1248.09/1245.56	c cleaning 14001 clauses out of 28020 with flag 4421000/5923092
1251.19/1248.63	c cleaning 14002 clauses out of 28020 with flag 4435001/5937093
1254.31/1251.81	c cleaning 13995 clauses out of 28017 with flag 4449000/5951092
1257.50/1254.96	c cleaning 13999 clauses out of 28022 with flag 4463000/5965092
1260.70/1258.12	c cleaning 14000 clauses out of 28025 with flag 4477002/5979094
1263.80/1261.23	c cleaning 14001 clauses out of 28023 with flag 4491000/5993092
1267.10/1264.52	c cleaning 14000 clauses out of 28023 with flag 4505001/6007093
1270.20/1267.65	c cleaning 13996 clauses out of 28024 with flag 4519002/6021094
1273.02/1270.42	c cleaning 14004 clauses out of 28026 with flag 4533000/6035092
1275.71/1273.14	c cleaning 14002 clauses out of 28022 with flag 4547000/6049092
1278.53/1275.92	c cleaning 13995 clauses out of 28020 with flag 4561000/6063092
1281.22/1278.68	c cleaning 14003 clauses out of 28025 with flag 4575000/6077092
1283.92/1281.39	c cleaning 14000 clauses out of 28022 with flag 4589000/6091092
1286.72/1284.16	c cleaning 13993 clauses out of 28022 with flag 4603000/6105092
1289.42/1286.90	c cleaning 13998 clauses out of 28030 with flag 4617001/6119093
1292.23/1289.69	c cleaning 14010 clauses out of 28032 with flag 4631001/6133093
1295.05/1292.43	c cleaning 13997 clauses out of 28022 with flag 4645001/6147093
1297.94/1295.36	c cleaning 14006 clauses out of 28024 with flag 4659000/6161092
1300.74/1298.18	c cleaning 14001 clauses out of 28019 with flag 4673001/6175093
1303.55/1300.98	c cleaning 13998 clauses out of 28019 with flag 4687002/6189094
1306.35/1303.73	c cleaning 14000 clauses out of 28020 with flag 4701001/6203093
1309.06/1306.41	c cleaning 13995 clauses out of 28019 with flag 4715000/6217092
1311.86/1309.29	c cleaning 14002 clauses out of 28024 with flag 4729000/6231092
1314.76/1312.15	c cleaning 14002 clauses out of 28024 with flag 4743002/6245094
1317.67/1315.06	c cleaning 13997 clauses out of 28020 with flag 4757000/6259092
1320.48/1317.87	c cleaning 13998 clauses out of 28024 with flag 4771001/6273093
1323.37/1320.72	c cleaning 13998 clauses out of 28025 with flag 4785000/6287092
1326.17/1323.52	c cleaning 14001 clauses out of 28027 with flag 4799000/6301092
1329.07/1326.42	c cleaning 13997 clauses out of 28027 with flag 4813001/6315093
1331.98/1329.38	c cleaning 13998 clauses out of 28029 with flag 4827000/6329092
1334.88/1332.28	c cleaning 14003 clauses out of 28033 with flag 4841002/6343094
1337.88/1335.21	c cleaning 14007 clauses out of 28028 with flag 4855000/6357092
1340.79/1338.10	c cleaning 14000 clauses out of 28022 with flag 4869001/6371093
1343.61/1340.92	c cleaning 14000 clauses out of 28021 with flag 4883000/6385092
1346.40/1343.77	c cleaning 13996 clauses out of 28022 with flag 4897001/6399093
1349.40/1346.73	c cleaning 13997 clauses out of 28025 with flag 4911000/6413092
1352.20/1349.56	c cleaning 14003 clauses out of 28028 with flag 4925000/6427092
1355.00/1352.37	c cleaning 14005 clauses out of 28026 with flag 4939001/6441093
1357.92/1355.27	c cleaning 14001 clauses out of 28022 with flag 4953002/6455094
1360.91/1358.21	c cleaning 14001 clauses out of 28019 with flag 4967000/6469092
1363.81/1361.17	c cleaning 13996 clauses out of 28018 with flag 4981000/6483092
1366.81/1364.18	c cleaning 13998 clauses out of 28023 with flag 4995001/6497093
1369.71/1367.09	c cleaning 13997 clauses out of 28025 with flag 5009001/6511093
1372.71/1370.01	c cleaning 14002 clauses out of 28027 with flag 5023000/6525092
1375.53/1372.86	c cleaning 14000 clauses out of 28025 with flag 5037000/6539092
1378.52/1375.82	c cleaning 14002 clauses out of 28025 with flag 5051000/6553092
1381.42/1378.73	c cleaning 14000 clauses out of 28023 with flag 5065000/6567092
1384.23/1381.52	c cleaning 14003 clauses out of 28023 with flag 5079000/6581092
1387.12/1384.45	c cleaning 13999 clauses out of 28020 with flag 5093000/6595092
1390.03/1387.37	c cleaning 13998 clauses out of 28021 with flag 5107000/6609092
1392.83/1390.11	c cleaning 14000 clauses out of 28023 with flag 5121000/6623092
1395.53/1392.89	c cleaning 13998 clauses out of 28024 with flag 5135001/6637093
1398.43/1395.75	c cleaning 14003 clauses out of 28026 with flag 5149001/6651093
1401.43/1398.70	c cleaning 13995 clauses out of 28025 with flag 5163003/6665095
1404.34/1401.63	c cleaning 14006 clauses out of 28028 with flag 5177001/6679093
1407.24/1404.57	c cleaning 13999 clauses out of 28021 with flag 5191000/6693092
1410.14/1407.43	c cleaning 14003 clauses out of 28022 with flag 5205000/6707092
1413.04/1410.38	c cleaning 14001 clauses out of 28019 with flag 5219000/6721092
1415.94/1413.26	c cleaning 14001 clauses out of 28018 with flag 5233000/6735092
1418.84/1416.17	c cleaning 13999 clauses out of 28017 with flag 5247000/6749092
1421.56/1418.91	c cleaning 13996 clauses out of 28018 with flag 5261000/6763092
1424.36/1421.69	c cleaning 14005 clauses out of 28022 with flag 5275000/6777092
1426.77/1424.03	c cleaning 14002 clauses out of 28017 with flag 5289000/6791092
1429.49/1426.78	c cleaning 14000 clauses out of 28016 with flag 5303001/6805093
1432.18/1429.48	c cleaning 14000 clauses out of 28015 with flag 5317000/6819092
1434.79/1432.03	c cleaning 14005 clauses out of 28017 with flag 5331002/6833094
1437.79/1435.03	c cleaning 13995 clauses out of 28010 with flag 5345000/6847092
1440.89/1438.12	c cleaning 14008 clauses out of 28015 with flag 5359000/6861092
1443.90/1441.16	c cleaning 13992 clauses out of 28008 with flag 5373001/6875093
1447.02/1444.29	c cleaning 14002 clauses out of 28015 with flag 5387000/6889092
1450.32/1447.52	c cleaning 13994 clauses out of 28014 with flag 5401001/6903093
1453.21/1450.43	c cleaning 14000 clauses out of 28019 with flag 5415000/6917092
1456.32/1453.52	c cleaning 13999 clauses out of 28019 with flag 5429000/6931092
1459.42/1456.60	c cleaning 13999 clauses out of 28020 with flag 5443000/6945092
1462.54/1459.72	c cleaning 14004 clauses out of 28021 with flag 5457000/6959092
1465.42/1462.63	c cleaning 14002 clauses out of 28018 with flag 5471001/6973093
1467.83/1465.08	c cleaning 13999 clauses out of 28016 with flag 5485001/6987093
1470.53/1467.79	c cleaning 14001 clauses out of 28017 with flag 5499001/7001093
1473.33/1470.58	c cleaning 14005 clauses out of 28015 with flag 5513000/7015092
1475.93/1473.20	c cleaning 14001 clauses out of 28011 with flag 5527001/7029093
1478.64/1475.83	c cleaning 13997 clauses out of 28010 with flag 5541001/7043093
1481.26/1478.49	c cleaning 13994 clauses out of 28012 with flag 5555000/7057092
1484.14/1481.39	c cleaning 14004 clauses out of 28019 with flag 5569001/7071093
1487.64/1484.82	c cleaning 13999 clauses out of 28014 with flag 5583000/7085092
1490.94/1488.15	c cleaning 13998 clauses out of 28016 with flag 5597001/7099093
1494.47/1491.69	c cleaning 14002 clauses out of 28019 with flag 5611002/7113094
1497.96/1495.14	c cleaning 13999 clauses out of 28015 with flag 5625000/7127092
1501.46/1498.65	c cleaning 13994 clauses out of 28016 with flag 5639000/7141092
1505.06/1502.22	c cleaning 14001 clauses out of 28023 with flag 5653001/7155093
1508.58/1505.77	c cleaning 13997 clauses out of 28021 with flag 5667000/7169092
1512.00/1509.12	c cleaning 14005 clauses out of 28025 with flag 5681001/7183093
1515.19/1512.41	c cleaning 14005 clauses out of 28020 with flag 5695001/7197093
1518.71/1515.82	c cleaning 13988 clauses out of 28016 with flag 5709002/7211094
1521.59/1518.73	c cleaning 14003 clauses out of 28026 with flag 5723000/7225092
1524.30/1521.49	c cleaning 14004 clauses out of 28023 with flag 5737000/7239092
1527.11/1524.26	c cleaning 14003 clauses out of 28019 with flag 5751000/7253092
1529.81/1526.99	c cleaning 13999 clauses out of 28016 with flag 5765000/7267092
1532.71/1529.86	c cleaning 13999 clauses out of 28018 with flag 5779001/7281093
1535.52/1532.60	c cleaning 14000 clauses out of 28019 with flag 5793001/7295093
1538.54/1535.63	c cleaning 13998 clauses out of 28019 with flag 5807001/7309093
1541.42/1538.54	c cleaning 13999 clauses out of 28021 with flag 5821001/7323093
1544.22/1541.34	c cleaning 13998 clauses out of 28022 with flag 5835001/7337093
1547.12/1544.21	c cleaning 14003 clauses out of 28023 with flag 5849000/7351092
1550.02/1547.10	c cleaning 14003 clauses out of 28022 with flag 5863002/7365094
1553.02/1550.11	c cleaning 14001 clauses out of 28017 with flag 5877000/7379092
1556.04/1553.12	c cleaning 13996 clauses out of 28018 with flag 5891002/7393094
1559.03/1556.17	c cleaning 14003 clauses out of 28020 with flag 5905000/7407092
1561.93/1559.04	c cleaning 13999 clauses out of 28018 with flag 5919001/7421093
1564.85/1561.98	c cleaning 14000 clauses out of 28018 with flag 5933000/7435092
1567.64/1564.77	c cleaning 13996 clauses out of 28018 with flag 5947000/7449092
1570.54/1567.68	c cleaning 14005 clauses out of 28022 with flag 5961000/7463092
1573.24/1570.37	c cleaning 14002 clauses out of 28017 with flag 5975000/7477092
1575.97/1573.07	c cleaning 13998 clauses out of 28016 with flag 5989001/7491093
1578.65/1575.76	c cleaning 13999 clauses out of 28017 with flag 6003000/7505092
1581.47/1578.54	c cleaning 14002 clauses out of 28019 with flag 6017001/7519093
1584.26/1581.35	c cleaning 14001 clauses out of 28017 with flag 6031001/7533093
1587.07/1584.13	c cleaning 13996 clauses out of 28016 with flag 6045001/7547093
1589.97/1587.04	c cleaning 14002 clauses out of 28020 with flag 6059001/7561093
1592.88/1589.92	c cleaning 13997 clauses out of 28018 with flag 6073001/7575093
1595.80/1592.89	c cleaning 13999 clauses out of 28020 with flag 6087000/7589092
1598.78/1595.81	c cleaning 14002 clauses out of 28022 with flag 6101001/7603093
1601.68/1598.72	c cleaning 14003 clauses out of 28020 with flag 6115001/7617093
1604.50/1601.61	c cleaning 13997 clauses out of 28016 with flag 6129000/7631092
1607.59/1604.63	c cleaning 13998 clauses out of 28019 with flag 6143000/7645092
1610.49/1607.55	c cleaning 14000 clauses out of 28021 with flag 6157000/7659092
1613.41/1610.49	c cleaning 13996 clauses out of 28021 with flag 6171000/7673092
1616.50/1613.51	c cleaning 14001 clauses out of 28025 with flag 6185000/7687092
1619.50/1616.54	c cleaning 14004 clauses out of 28025 with flag 6199001/7701093
1622.40/1619.47	c cleaning 14000 clauses out of 28020 with flag 6213000/7715092
1625.42/1622.47	c cleaning 14004 clauses out of 28020 with flag 6227000/7729092
1628.41/1625.40	c cleaning 13997 clauses out of 28017 with flag 6241001/7743093
1631.31/1628.34	c cleaning 14000 clauses out of 28020 with flag 6255001/7757093
1634.34/1631.37	c cleaning 14010 clauses out of 28019 with flag 6269000/7771092
1637.12/1634.14	c cleaning 13998 clauses out of 28009 with flag 6283000/7785092
1639.93/1636.96	c cleaning 14002 clauses out of 28012 with flag 6297001/7799093
1642.73/1639.79	c cleaning 13998 clauses out of 28010 with flag 6311001/7813093
1645.63/1642.60	c cleaning 13998 clauses out of 28011 with flag 6325000/7827092
1648.43/1645.49	c cleaning 13998 clauses out of 28013 with flag 6339000/7841092
1651.34/1648.37	c cleaning 13998 clauses out of 28015 with flag 6353000/7855092
1654.24/1651.23	c cleaning 13998 clauses out of 28017 with flag 6367000/7869092
1657.04/1654.05	c cleaning 14002 clauses out of 28020 with flag 6381001/7883093
1659.95/1656.93	c cleaning 14002 clauses out of 28018 with flag 6395001/7897093
1662.86/1659.83	c cleaning 13993 clauses out of 28016 with flag 6409001/7911093
1665.75/1662.71	c cleaning 14001 clauses out of 28022 with flag 6423000/7925092
1668.75/1665.72	c cleaning 13998 clauses out of 28022 with flag 6437001/7939093
1671.67/1668.71	c cleaning 13999 clauses out of 28023 with flag 6451000/7953092
1674.66/1671.61	c cleaning 13998 clauses out of 28024 with flag 6465000/7967092
1677.66/1674.63	c cleaning 14003 clauses out of 28026 with flag 6479000/7981092
1680.47/1677.50	c cleaning 13998 clauses out of 28023 with flag 6493000/7995092
1683.56/1680.54	c cleaning 13996 clauses out of 28025 with flag 6507000/8009092
1686.56/1683.50	c cleaning 14002 clauses out of 28030 with flag 6521001/8023093
1689.47/1686.43	c cleaning 14007 clauses out of 28027 with flag 6535000/8037092
1692.38/1689.36	c cleaning 14000 clauses out of 28021 with flag 6549001/8051093
1695.28/1692.22	c cleaning 14002 clauses out of 28021 with flag 6563001/8065093
1698.20/1695.13	c cleaning 14000 clauses out of 28018 with flag 6577000/8079092
1701.09/1698.00	c cleaning 13997 clauses out of 28018 with flag 6591000/8093092
1703.99/1701.00	c cleaning 13998 clauses out of 28021 with flag 6605000/8107092
1707.01/1703.92	c cleaning 14003 clauses out of 28023 with flag 6619000/8121092
1710.00/1706.97	c cleaning 14002 clauses out of 28021 with flag 6633001/8135093
1713.00/1709.91	c cleaning 13998 clauses out of 28018 with flag 6647000/8149092
1715.90/1712.86	c cleaning 14001 clauses out of 28020 with flag 6661000/8163092
1718.90/1715.83	c cleaning 13997 clauses out of 28019 with flag 6675000/8177092
1721.90/1718.80	c cleaning 13999 clauses out of 28023 with flag 6689001/8191093
1724.81/1721.72	c cleaning 13999 clauses out of 28023 with flag 6703000/8205092
1727.71/1724.65	c cleaning 13997 clauses out of 28025 with flag 6717001/8219093
1730.71/1727.66	c cleaning 14005 clauses out of 28028 with flag 6731001/8233093
1733.61/1730.56	c cleaning 14001 clauses out of 28023 with flag 6745001/8247093
1736.52/1733.48	c cleaning 13996 clauses out of 28022 with flag 6759001/8261093
1739.42/1736.39	c cleaning 14004 clauses out of 28025 with flag 6773000/8275092
1742.33/1739.28	c cleaning 14004 clauses out of 28021 with flag 6787000/8289092
1745.33/1742.21	c cleaning 14001 clauses out of 28019 with flag 6801002/8303094
1748.24/1745.19	c cleaning 13999 clauses out of 28016 with flag 6815000/8317092
1751.24/1748.19	c cleaning 14003 clauses out of 28018 with flag 6829001/8331093
1754.26/1751.13	c cleaning 13997 clauses out of 28015 with flag 6843001/8345093
1757.15/1754.05	c cleaning 14001 clauses out of 28018 with flag 6857001/8359093
1760.15/1757.05	c cleaning 13997 clauses out of 28017 with flag 6871001/8373093
1763.35/1760.24	c cleaning 13998 clauses out of 28019 with flag 6885000/8387092
1766.48/1763.39	c cleaning 14003 clauses out of 28022 with flag 6899001/8401093
1769.56/1766.46	c cleaning 14001 clauses out of 28018 with flag 6913000/8415092
1772.57/1769.46	c cleaning 13998 clauses out of 28018 with flag 6927001/8429093
1775.57/1772.47	c cleaning 13997 clauses out of 28020 with flag 6941001/8443093
1778.59/1775.42	c cleaning 13997 clauses out of 28022 with flag 6955000/8457092
1781.58/1778.47	c cleaning 14004 clauses out of 28025 with flag 6969000/8471092
1784.68/1781.50	c cleaning 13998 clauses out of 28022 with flag 6983001/8485093
1787.68/1784.56	c cleaning 13994 clauses out of 28023 with flag 6997000/8499092
1790.71/1787.52	c cleaning 14010 clauses out of 28029 with flag 7011000/8513092
1793.69/1790.57	c cleaning 13995 clauses out of 28020 with flag 7025001/8527093
1796.80/1793.60	c cleaning 14001 clauses out of 28024 with flag 7039000/8541092
1799.90/1796.75	c cleaning 14002 clauses out of 28024 with flag 7053001/8555093
1800.02/1796.82	c starts		: 307
1800.02/1796.82	c conflicts		: 8555196
1800.02/1796.82	c decisions		: 13471557
1800.02/1796.82	c propagations		: 1123168267
1800.02/1796.82	c inspects		: 11845420398
1800.02/1796.82	c shortcuts		: 0
1800.02/1796.82	c learnt literals	: 0
1800.02/1796.82	c learnt binary clauses	: 0
1800.02/1796.82	c learnt ternary clauses	: 0
1800.02/1796.82	c learnt constraints	: 8555196
1800.02/1796.82	c ignored constraints	: 0
1800.02/1796.82	c root simplifications	: 0
1800.02/1796.82	c removed literals (reason simplification)	: 6773954
1800.02/1796.82	c reason swapping (by a shorter reason)	: 0
1800.02/1796.82	c Calls to reduceDB	: 619
1800.02/1796.82	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.82	c number of learned constraints concerned by reduction	: 0
1800.02/1796.82	c number of learning phase by resolution	: 0
1800.02/1796.82	c number of learning phase by cutting planes	: 0
1800.02/1796.82	c speed (assignments/second)	: 753519.0739881011
1800.02/1796.82	c non guided choices	9472
1800.02/1796.83	c learnt constraints type 
1800.02/1796.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14157
1800.02/1796.83	c constraints type 
1800.02/1796.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6826
1800.02/1796.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1796.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326
1800.02/1796.83	s SATISFIABLE
1800.02/1796.83	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 x109 -x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 x177 x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 -x191 x192 x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 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.02/1796.83	c objective function=75
1800.02/1796.83	c Total wall clock time (in seconds): 1796.718

Verifier Data 

OK	75

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.03 2.00 3/507 27678
/proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 3637 0 1 0 0 0 0 0 25 0 2 0 827462186 13833195520 3338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3381579 3344 917 9 0 3372735 0
[pid=27678/tid=27679] ppid=27676 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 4882 0 1 0 0 0 0 0 25 0 2 0 827462187 13850947584 5698 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.093449 s]
/proc/loadavg: 2.06 2.03 2.00 3/507 27678
/proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13622056 CPUtime=0.08 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 15229 0 1 0 7 1 0 0 25 0 18 0 827462186 13948985344 14895 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3405514 14896 2018 9 0 3396248 0
[pid=27678/tid=27679] ppid=27676 vsize=13622056 CPUtime=0.07 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 13452 0 1 0 6 1 0 0 18 0 18 0 827462187 13948985344 14897 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210204643173 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13622056

[startup+0.100269 s]
/proc/loadavg: 2.06 2.03 2.00 3/507 27678
/proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13622344 CPUtime=0.1 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 15486 0 1 0 9 1 0 0 25 0 18 0 827462186 13949280256 15152 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3405586 15152 2092 9 0 3396320 0
[pid=27678/tid=27679] ppid=27676 vsize=13622344 CPUtime=0.08 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 13547 0 1 0 7 1 0 0 18 0 18 0 827462187 13949280256 15153 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 47425218902867 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622344

[startup+0.300238 s]
/proc/loadavg: 2.06 2.03 2.00 3/507 27678
/proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13624024 CPUtime=0.44 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 17917 0 1 0 43 1 0 0 25 0 18 0 827462186 13951000576 17338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3406006 17338 2207 9 0 3396740 0
[pid=27678/tid=27679] ppid=27676 vsize=13624024 CPUtime=0.28 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 15206 0 1 0 27 1 0 0 18 0 18 0 827462187 13951000576 17338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505585115 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13624024

[startup+0.701202 s]
/proc/loadavg: 2.06 2.03 2.00 3/507 27678
/proc/meminfo: memFree=27081704/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=1.6 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 28796 0 1 0 157 3 0 0 25 0 19 0 827462186 14032642048 25351 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 25351 2239 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=0.67 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 18316 0 1 0 66 1 0 0 19 0 19 0 827462187 14032642048 25351 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505923183 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 13703752

[startup+1.50106 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27697
/proc/meminfo: memFree=26986396/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=2.49 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 30025 0 1 0 245 4 0 0 25 0 19 0 827462186 14032642048 26403 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 26403 2243 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1.48 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 19322 0 1 0 146 2 0 0 20 0 19 0 827462187 14032642048 26403 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505874014 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462189 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827462190 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827462190 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827462190 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.51 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3846 0 0 0 51 0 0 0 22 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5695 0 0 0 47 0 0 0 15 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 26404 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 13703752

[startup+3.10083 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27697
/proc/meminfo: memFree=26968040/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=4.17 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 34769 0 1 0 412 5 0 0 25 0 19 0 827462186 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 31140 2268 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=3.01 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 19496 0 1 0 299 2 0 0 24 0 19 0 827462187 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505869010 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 259 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 491 0 0 0 0 0 0 0 18 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 529 0 0 0 0 0 0 0 18 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 19 0 827462189 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=0.06 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 2049 0 0 0 6 0 0 0 15 0 19 0 827462190 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3852 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.5 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5704 0 0 0 50 0 0 0 16 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 31140 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 13703752

[startup+6.30129 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27697
/proc/meminfo: memFree=26960476/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=7.41 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 35538 0 1 0 736 5 0 0 25 0 19 0 827462186 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 31889 2268 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=6.09 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 19497 0 1 0 607 2 0 0 25 0 19 0 827462187 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505930343 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 422 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 570 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 529 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 19 0 827462189 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=0.16 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 2484 0 0 0 16 0 0 0 15 0 19 0 827462190 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.53 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5722 0 0 0 53 0 0 0 15 0 19 0 827462193 14032642048 31889 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0

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

[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 635 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 802 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=23.23 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7413 0 0 0 2310 13 0 0 15 0 19 0 827462190 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38212 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1665.35
Current children cumulated vsize (KiB) 13703752

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/526 27801
/proc/meminfo: memFree=26633316/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=1725.41 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 42697 0 1 0 172516 25 0 0 25 0 19 0 827462186 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 38262 2269 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1696.56 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 20085 0 1 0 169651 5 0 0 25 0 19 0 827462187 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505858990 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 509 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 536 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0.45 cores=0,2,4,6
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 573 0 0 0 45 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 272 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 251 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.45 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 635 0 0 0 45 0 0 0 16 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.42 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 42 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.43 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 802 0 0 0 43 0 0 0 15 0 19 0 827462189 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=24.13 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7451 0 0 0 2400 13 0 0 16 0 19 0 827462190 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38262 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.41
Current children cumulated vsize (KiB) 13703752

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/526 27802
/proc/meminfo: memFree=26631552/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=1785.48 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 42796 0 1 0 178523 25 0 0 25 0 19 0 827462186 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 38333 2269 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1755.65 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 20105 0 1 0 175560 5 0 0 25 0 19 0 827462187 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505806468 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 509 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 538 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 574 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 275 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 251 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 636 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 804 0 0 0 44 0 0 0 16 0 19 0 827462189 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=25 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7517 0 0 0 2486 14 0 0 16 0 19 0 827462190 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38333 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 13703752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/526 27803
/proc/meminfo: memFree=26630056/32951124 swapFree=63649284/67111528
[pid=27678] ppid=27676 vsize=13703752 CPUtime=1800.02 cores=0,2,4,6
/proc/27678/stat : 27678 (java) S 27676 27678 23523 0 -1 4202496 42806 0 1 0 179976 26 0 0 25 0 19 0 827462186 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27678/statm: 3425938 38338 2269 9 0 3416672 0
[pid=27678/tid=27679] ppid=27676 vsize=13703752 CPUtime=1769.95 cores=0,2,4,6
/proc/27678/task/27679/stat : 27679 (java) R 27676 27678 23523 0 -1 4202560 20110 0 1 0 176990 5 0 0 25 0 19 0 827462187 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 46912505802909 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27678/tid=27681] ppid=27676 vsize=13703752 CPUtime=0.48 cores=0,2,4,6
/proc/27678/task/27681/stat : 27681 (java) S 27676 27678 23523 0 -1 4202560 509 0 0 0 48 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27682] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27682/stat : 27682 (java) S 27676 27678 23523 0 -1 4202560 538 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27683] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6
/proc/27678/task/27683/stat : 27683 (java) S 27676 27678 23523 0 -1 4202560 574 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27684] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27684/stat : 27684 (java) S 27676 27678 23523 0 -1 4202560 275 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27685] ppid=27676 vsize=13703752 CPUtime=0.46 cores=0,2,4,6
/proc/27678/task/27685/stat : 27685 (java) S 27676 27678 23523 0 -1 4202560 251 0 0 0 46 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27686] ppid=27676 vsize=13703752 CPUtime=0.47 cores=0,2,4,6
/proc/27678/task/27686/stat : 27686 (java) S 27676 27678 23523 0 -1 4202560 636 0 0 0 47 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27687] ppid=27676 vsize=13703752 CPUtime=0.44 cores=0,2,4,6
/proc/27678/task/27687/stat : 27687 (java) S 27676 27678 23523 0 -1 4202560 755 0 0 0 44 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27688] ppid=27676 vsize=13703752 CPUtime=0.45 cores=0,2,4,6
/proc/27678/task/27688/stat : 27688 (java) S 27676 27678 23523 0 -1 4202560 804 0 0 0 45 0 0 0 15 0 19 0 827462189 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27689] ppid=27676 vsize=13703752 CPUtime=25.2 cores=0,2,4,6
/proc/27678/task/27689/stat : 27689 (java) S 27676 27678 23523 0 -1 4202560 7522 0 0 0 2506 14 0 0 16 0 19 0 827462190 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 0 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27690] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27690/stat : 27690 (java) S 27676 27678 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27691] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27691/stat : 27691 (java) S 27676 27678 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827462190 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27692] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27692/stat : 27692 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216470961 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27693] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27693/stat : 27693 (java) S 27676 27678 23523 0 -1 4202560 3854 0 0 0 54 1 0 0 15 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 4 0 0 0
[pid=27678/tid=27694] ppid=27676 vsize=13703752 CPUtime=0.55 cores=0,2,4,6
/proc/27678/task/27694/stat : 27694 (java) S 27676 27678 23523 0 -1 4202560 5725 0 0 0 55 0 0 0 15 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 6 0 0 0
[pid=27678/tid=27695] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27695/stat : 27695 (java) S 27676 27678 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463257 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
[pid=27678/tid=27696] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27696/stat : 27696 (java) S 27676 27678 23523 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827462193 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 0 0 0 0
[pid=27678/tid=27697] ppid=27676 vsize=13703752 CPUtime=0 cores=0,2,4,6
/proc/27678/task/27697/stat : 27697 (java) S 27676 27678 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827462235 14032642048 38338 33554432000 1073741824 1073778376 140733856160240 18446744073709551615 210216463872 0 4 0 16800975 18446604449712625792 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13703752

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

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

Child status: 143
Real time (s): 1796.84
CPU time (s): 1800.07
CPU user time (s): 1799.8
CPU system time (s): 0.268959
CPU usage (%): 100.179
Max. virtual memory (cumulated for all children) (KiB): 13703752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.268959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42849
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= 54760
involuntary context switches= 13056

runsolver used 9.71352 second user time and 19.742 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 05:37:17
IDJOB=3458298
IDBENCH=48118
IDSOLVER=1952
FILE ID=node130/3458298-1307158637
RUNJOBID= node130-1307156588-27164
PBS_JOBID= 13508786
Free space on /tmp= 73856 MiB

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

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

MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa
RANDOM SEED=258762070

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27081860 kB
Buffers:        274928 kB
Cached:         419204 kB
SwapCached:       9700 kB
Active:        5215800 kB
Inactive:       371660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27081860 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:             488 kB
Writeback:           0 kB
AnonPages:     4891644 kB
Mapped:          38924 kB
Slab:           158124 kB
PageTables:      54488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 158533612 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= 73852 MiB
End job on node130 at 2011-06-04 06:07:16