Trace number 4487536

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 2025-06-06SAT (TO)25 3600.31 3599.33

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM7051ff5e8584c37bae1654b406532f5e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.085085
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78
Number of terms in the objective function 466
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 466
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 466
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4487536-1751319118.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.20	c ... done. Wall clock time 0.065s.
0.13/0.20	c declared #vars     466
0.13/0.20	c #constraints  694
0.13/0.20	c constraints type 
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 663
0.13/0.20	c 694 constraints processed.
0.32/0.22	c objective function length is 466 literals
0.32/0.24	c SATISFIABLE
0.32/0.24	c OPTIMIZING...
0.32/0.24	c Got one! Elapsed wall clock time (in seconds):0.111
0.32/0.24	o 30
0.32/0.25	c Got one! Elapsed wall clock time (in seconds):0.125
0.32/0.25	o 29
0.32/0.29	c Got one! Elapsed wall clock time (in seconds):0.165
0.32/0.29	o 28
1.08/0.61	c cleaning 2647 clauses out of 5297 with flag 18454/5297
1.67/0.91	c cleaning 4327 clauses out of 8653 with flag 37070/11300
1.99/1.15	c cleaning 5661 clauses out of 11323 with flag 59851/18297
2.50/1.43	c cleaning 6810 clauses out of 13662 with flag 84504/26297
2.89/1.75	c cleaning 7913 clauses out of 15852 with flag 116162/35297
3.19/2.10	c cleaning 8966 clauses out of 17939 with flag 150984/45297
3.68/2.54	c cleaning 9976 clauses out of 19973 with flag 186237/56297
4.08/2.95	c cleaning 10994 clauses out of 21997 with flag 227225/68297
4.58/3.46	c cleaning 11987 clauses out of 24003 with flag 271533/81297
4.68/3.50	c Got one! Elapsed wall clock time (in seconds):3.37
4.68/3.50	o 27
4.79/3.62	c cleaning 8658 clauses out of 17355 with flag 14225/86636
4.99/3.81	c cleaning 7335 clauses out of 14697 with flag 33094/92636
5.19/4.03	c cleaning 7145 clauses out of 14361 with flag 55032/99635
5.38/4.28	c cleaning 7610 clauses out of 15220 with flag 80371/107639
5.68/4.58	c cleaning 8289 clauses out of 16606 with flag 112712/116635
6.18/4.94	c cleaning 9156 clauses out of 18317 with flag 149246/126635
6.60/5.30	c cleaning 10063 clauses out of 20161 with flag 196115/137635
7.00/5.70	c cleaning 11027 clauses out of 22098 with flag 241544/149635
7.39/6.13	c cleaning 12035 clauses out of 24073 with flag 289759/162637
7.90/6.64	c cleaning 12993 clauses out of 26036 with flag 341744/176635
8.50/7.20	c cleaning 14006 clauses out of 28043 with flag 398659/191635
8.99/7.75	c cleaning 15020 clauses out of 30039 with flag 453606/207637
9.59/8.34	c cleaning 15992 clauses out of 32018 with flag 514458/224636
10.19/8.96	c cleaning 17001 clauses out of 34026 with flag 578320/242636
10.99/9.72	c cleaning 17987 clauses out of 36024 with flag 643550/261635
11.79/10.50	c cleaning 19014 clauses out of 38037 with flag 709536/281635
12.49/11.29	c cleaning 20006 clauses out of 40023 with flag 777916/302635
13.39/12.12	c cleaning 20993 clauses out of 42018 with flag 850811/324636
14.29/13.01	c cleaning 21983 clauses out of 44024 with flag 932095/347635
14.98/13.77	c cleaning 23003 clauses out of 46041 with flag 1017695/371635
15.89/14.60	c cleaning 24022 clauses out of 48043 with flag 1110995/396640
16.69/15.49	c cleaning 24998 clauses out of 50016 with flag 1209640/422635
17.89/16.66	c cleaning 25983 clauses out of 52018 with flag 1305733/449635
18.89/17.69	c cleaning 27015 clauses out of 54035 with flag 1400379/477635
20.09/18.80	c cleaning 28013 clauses out of 56026 with flag 1496234/506641
21.10/19.89	c cleaning 29008 clauses out of 58015 with flag 1615072/536643
22.40/21.15	c cleaning 29971 clauses out of 59999 with flag 1727932/567635
23.62/22.33	c cleaning 30985 clauses out of 62028 with flag 1848158/599635
24.71/23.49	c cleaning 32022 clauses out of 64043 with flag 1965020/632635
26.01/24.72	c cleaning 32978 clauses out of 66021 with flag 2083379/666635
27.41/26.11	c cleaning 34012 clauses out of 68044 with flag 2203385/701636
28.61/27.31	c cleaning 35015 clauses out of 70032 with flag 2336195/737636
30.00/28.75	c cleaning 35979 clauses out of 72019 with flag 2467131/774638
31.34/30.05	c cleaning 37007 clauses out of 74037 with flag 2615769/812635
32.73/31.49	c cleaning 38001 clauses out of 76030 with flag 2764746/851635
34.33/33.08	c cleaning 39016 clauses out of 78031 with flag 2892363/891637
35.82/34.50	c cleaning 40005 clauses out of 80013 with flag 3051863/932635
37.33/36.05	c cleaning 41001 clauses out of 82012 with flag 3207462/974639
39.04/37.77	c cleaning 41975 clauses out of 84007 with flag 3357652/1017635
40.74/39.42	c cleaning 42999 clauses out of 86032 with flag 3509563/1061635
42.34/41.08	c cleaning 44007 clauses out of 88036 with flag 3685473/1106638
44.03/42.71	c cleaning 44982 clauses out of 90026 with flag 3842832/1152635
45.73/44.46	c cleaning 45998 clauses out of 92044 with flag 4026150/1199635
47.64/46.32	c cleaning 47016 clauses out of 94046 with flag 4195394/1247635
49.44/48.17	c cleaning 47996 clauses out of 96030 with flag 4382014/1296635
51.24/49.95	c cleaning 49005 clauses out of 98036 with flag 4569676/1346637
53.13/51.80	c cleaning 49984 clauses out of 100029 with flag 4767096/1397635
55.17/53.82	c cleaning 51012 clauses out of 102045 with flag 5013589/1449635
57.27/55.98	c cleaning 52001 clauses out of 104033 with flag 5224304/1502635
59.47/58.14	c cleaning 53016 clauses out of 106033 with flag 5400558/1556636
61.46/60.12	c cleaning 54005 clauses out of 108018 with flag 5586477/1611637
63.58/62.24	c cleaning 54989 clauses out of 110011 with flag 5826354/1667635
65.68/64.34	c cleaning 56004 clauses out of 112022 with flag 6045043/1724635
68.07/66.72	c cleaning 56983 clauses out of 114018 with flag 6272354/1782635
70.40/69.00	c cleaning 58012 clauses out of 116039 with flag 6486530/1841639
72.89/71.56	c cleaning 58988 clauses out of 118023 with flag 6725302/1901635
75.58/74.20	c cleaning 60004 clauses out of 120037 with flag 6959676/1962637
78.28/76.93	c cleaning 61014 clauses out of 122033 with flag 7198596/2024637
80.71/79.35	c cleaning 62009 clauses out of 124017 with flag 7476852/2087635
83.41/82.01	c cleaning 62999 clauses out of 126009 with flag 7736090/2151636
86.10/84.73	c cleaning 63978 clauses out of 128011 with flag 7965956/2216637
88.82/87.48	c cleaning 65014 clauses out of 130032 with flag 8173360/2282636
91.82/90.46	c cleaning 66011 clauses out of 132026 with flag 8361289/2349644
94.42/93.08	c cleaning 66968 clauses out of 134006 with flag 8599066/2417635
97.43/96.03	c cleaning 67982 clauses out of 136038 with flag 8848894/2486635
100.22/98.89	c cleaning 69000 clauses out of 138056 with flag 9162460/2556635
103.02/101.66	c cleaning 70008 clauses out of 140056 with flag 9473662/2627635
105.95/104.57	c cleaning 71013 clauses out of 142050 with flag 9731694/2699637
108.94/107.58	c cleaning 72007 clauses out of 144038 with flag 10014695/2772638
111.93/110.58	c cleaning 73011 clauses out of 146028 with flag 10317418/2846635
115.02/113.68	c cleaning 73994 clauses out of 148017 with flag 10597723/2921635
118.57/117.18	c cleaning 74985 clauses out of 150023 with flag 10920348/2997635
121.66/120.28	c cleaning 76017 clauses out of 152042 with flag 11190699/3074639
124.85/123.48	c cleaning 76973 clauses out of 154023 with flag 11493088/3152637
127.84/126.42	c cleaning 77985 clauses out of 156049 with flag 11777705/3231636
131.09/129.66	c cleaning 79032 clauses out of 158064 with flag 12072697/3311636
134.28/132.86	c cleaning 80004 clauses out of 160036 with flag 12377134/3392640
137.77/136.33	c cleaning 81001 clauses out of 162027 with flag 12730681/3474635
141.36/139.92	c cleaning 81998 clauses out of 164026 with flag 13025521/3557635
144.90/143.44	c cleaning 82993 clauses out of 166028 with flag 13349987/3641635
148.50/147.02	c cleaning 84005 clauses out of 168035 with flag 13657546/3726635
152.09/150.65	c cleaning 85007 clauses out of 170031 with flag 13967463/3812636
155.58/154.10	c cleaning 85986 clauses out of 172023 with flag 14275158/3899635
159.22/157.78	c cleaning 86987 clauses out of 174037 with flag 14629008/3987635
162.71/161.28	c cleaning 88010 clauses out of 176052 with flag 14941653/4076637
166.80/165.33	c cleaning 88994 clauses out of 178040 with flag 15253418/4166635
170.99/169.57	c cleaning 89999 clauses out of 180046 with flag 15535494/4257635
175.97/174.56	c cleaning 91022 clauses out of 182047 with flag 15801347/4349635
180.33/178.87	c cleaning 92011 clauses out of 184026 with flag 16078875/4442636
184.12/182.60	c cleaning 92995 clauses out of 186018 with flag 16430747/4536639
188.21/186.75	c cleaning 93998 clauses out of 188020 with flag 16744629/4631636
192.20/190.78	c cleaning 94987 clauses out of 190021 with flag 17051966/4727635
196.39/194.90	c cleaning 96001 clauses out of 192037 with flag 17389945/4824638
200.28/198.86	c cleaning 96997 clauses out of 194033 with flag 17732074/4922635
204.86/203.42	c cleaning 98012 clauses out of 196038 with flag 18069651/5021637
208.96/207.58	c cleaning 99007 clauses out of 198028 with flag 18415062/5121639
213.74/212.20	c cleaning 99989 clauses out of 200017 with flag 18796861/5222635
217.93/216.40	c cleaning 100976 clauses out of 202028 with flag 19162688/5324635
222.32/220.87	c cleaning 101993 clauses out of 204052 with flag 19531828/5427635
226.71/225.25	c cleaning 103018 clauses out of 206064 with flag 19920780/5531640
231.70/230.20	c cleaning 104006 clauses out of 208042 with flag 20300695/5636636
236.29/234.85	c cleaning 105003 clauses out of 210039 with flag 20655310/5742639
240.73/239.21	c cleaning 106005 clauses out of 212032 with flag 21041354/5849635
245.53/244.05	c cleaning 107003 clauses out of 214027 with flag 21464420/5957635
250.11/248.67	c cleaning 107966 clauses out of 216024 with flag 21861232/6066635
255.50/254.06	c cleaning 109005 clauses out of 218058 with flag 22275918/6176635
260.38/258.99	c cleaning 110019 clauses out of 220053 with flag 22673138/6287635
266.27/264.82	c cleaning 110997 clauses out of 222034 with flag 23120488/6399635
271.25/269.85	c cleaning 112000 clauses out of 224038 with flag 23492323/6512636
276.99/275.28	c cleaning 113013 clauses out of 226041 with flag 23893106/6626639
282.38/280.63	c cleaning 114003 clauses out of 228028 with flag 24269738/6741639
287.87/286.19	c cleaning 114995 clauses out of 230022 with flag 24668244/6857636
293.06/291.38	c cleaning 115994 clauses out of 232026 with flag 25091529/6974635
298.05/296.36	c cleaning 116970 clauses out of 234032 with flag 25512388/7092635
303.64/301.97	c cleaning 117988 clauses out of 236062 with flag 25983776/7211635
309.29/307.53	c cleaning 119022 clauses out of 238074 with flag 26414957/7331635
314.89/313.10	c cleaning 119978 clauses out of 240052 with flag 26895107/7452635
319.88/318.18	c cleaning 121016 clauses out of 242074 with flag 27316392/7574635
325.77/324.01	c cleaning 121988 clauses out of 244058 with flag 27770839/7697635
331.06/329.38	c cleaning 122990 clauses out of 246070 with flag 28247797/7821635
336.85/335.13	c cleaning 124005 clauses out of 248080 with flag 28688373/7946635
342.33/340.64	c cleaning 125031 clauses out of 250075 with flag 29160447/8072635
348.70/346.95	c cleaning 126006 clauses out of 252044 with flag 29580060/8199635
354.38/352.65	c cleaning 126998 clauses out of 254039 with flag 30071845/8327636
360.17/358.43	c cleaning 127992 clauses out of 256040 with flag 30549846/8456635
365.95/364.23	c cleaning 129019 clauses out of 258049 with flag 31004516/8586636
372.04/370.33	c cleaning 130012 clauses out of 260030 with flag 31461729/8717636
378.13/376.44	c cleaning 130993 clauses out of 262017 with flag 31919975/8849635
383.62/381.99	c cleaning 131998 clauses out of 264024 with flag 32410135/8982635
389.58/387.85	c cleaning 132981 clauses out of 266026 with flag 32883630/9116635
395.56/393.84	c cleaning 134017 clauses out of 268045 with flag 33401289/9251635
401.45/399.74	c cleaning 135014 clauses out of 270029 with flag 33878285/9387636
407.74/406.06	c cleaning 135999 clauses out of 272014 with flag 34383915/9524635
414.42/412.79	c cleaning 137000 clauses out of 274016 with flag 34815293/9662636
421.31/419.63	c cleaning 137991 clauses out of 276015 with flag 35303048/9801635
428.30/426.60	c cleaning 139004 clauses out of 278025 with flag 35803676/9941636
434.78/433.07	c cleaning 139981 clauses out of 280020 with flag 36312063/10082635
441.57/439.82	c cleaning 141000 clauses out of 282039 with flag 36814535/10224635
448.16/446.40	c cleaning 142013 clauses out of 284039 with flag 37315998/10367635
454.44/452.72	c cleaning 142976 clauses out of 286026 with flag 37839004/10511635
461.03/459.37	c cleaning 144010 clauses out of 288058 with flag 38352982/10656643
468.62/466.96	c cleaning 145019 clauses out of 290041 with flag 38819618/10802636
475.81/474.14	c cleaning 146012 clauses out of 292026 with flag 39305946/10949640
482.99/481.38	c cleaning 146982 clauses out of 294009 with flag 39835419/11097635
489.85/488.18	c cleaning 147993 clauses out of 296027 with flag 40406332/11246635
496.63/494.92	c cleaning 149005 clauses out of 298035 with flag 40935568/11396636
504.21/502.55	c cleaning 150008 clauses out of 300029 with flag 41433576/11547635
512.49/510.89	c cleaning 150999 clauses out of 302022 with flag 41936247/11699636
519.68/518.01	c cleaning 152000 clauses out of 304022 with flag 42426194/11852635
526.75/525.16	c cleaning 152998 clauses out of 306022 with flag 42947635/12006635
534.03/532.48	c cleaning 153994 clauses out of 308024 with flag 43474916/12161635
541.31/539.77	c cleaning 155015 clauses out of 310036 with flag 44105626/12317641
548.90/547.32	c cleaning 156004 clauses out of 312015 with flag 44626205/12474635
556.38/554.84	c cleaning 156998 clauses out of 314011 with flag 45197670/12632635
564.35/562.81	c cleaning 157992 clauses out of 316014 with flag 45733550/12791636
572.25/570.60	c cleaning 158966 clauses out of 318024 with flag 46291270/12951638
580.13/578.54	c cleaning 160012 clauses out of 320057 with flag 46889410/13112637
588.01/586.45	c cleaning 161005 clauses out of 322043 with flag 47466172/13274635
596.70/595.19	c cleaning 162000 clauses out of 324038 with flag 48024521/13437635
603.88/602.37	c cleaning 163017 clauses out of 326039 with flag 48653100/13601636
612.46/610.96	c cleaning 164008 clauses out of 328021 with flag 49195587/13766635
621.25/619.72	c cleaning 164990 clauses out of 330014 with flag 49782772/13932636
630.17/628.55	c cleaning 165998 clauses out of 332023 with flag 50355169/14099635
638.55/636.98	c cleaning 167005 clauses out of 334026 with flag 50936967/14267636
646.33/644.74	c cleaning 167977 clauses out of 336020 with flag 51530231/14436635
654.12/652.52	c cleaning 169006 clauses out of 338046 with flag 52122649/14606638
662.49/660.95	c cleaning 170016 clauses out of 340041 with flag 52657823/14777639
671.38/669.89	c cleaning 170993 clauses out of 342024 with flag 53240740/14949638
680.57/679.04	c cleaning 172006 clauses out of 344028 with flag 53787731/15122635
691.38/689.22	c cleaning 172998 clauses out of 346024 with flag 54388026/15296637
699.86/697.77	c cleaning 173979 clauses out of 348024 with flag 55043870/15471635
708.15/706.03	c cleaning 174996 clauses out of 350047 with flag 55692851/15647637
716.73/714.67	c cleaning 175983 clauses out of 352049 with flag 56313070/15824635
725.92/723.87	c cleaning 177015 clauses out of 354066 with flag 56982739/16002635
734.89/732.84	c cleaning 178005 clauses out of 356051 with flag 57587653/16181635
744.52/742.44	c cleaning 178995 clauses out of 358048 with flag 58288714/16361637
753.80/751.71	c cleaning 180012 clauses out of 360051 with flag 58932412/16542635
763.08/761.02	c cleaning 181008 clauses out of 362039 with flag 59607125/16724635
773.95/771.99	c cleaning 181986 clauses out of 364032 with flag 60130696/16907636
782.84/780.88	c cleaning 182994 clauses out of 366045 with flag 60820113/17091635
791.52/789.51	c cleaning 184008 clauses out of 368051 with flag 61479661/17276635
800.80/798.87	c cleaning 185000 clauses out of 370044 with flag 62146691/17462636
810.48/808.53	c cleaning 185989 clauses out of 372043 with flag 62821674/17649635
820.26/818.36	c cleaning 187025 clauses out of 374055 with flag 63504329/17837636
830.17/828.11	c cleaning 188008 clauses out of 376029 with flag 64224966/18026635
840.34/838.36	c cleaning 188999 clauses out of 378021 with flag 64836173/18216635
849.72/847.75	c cleaning 189975 clauses out of 380023 with flag 65466468/18407636
859.41/857.43	c cleaning 191002 clauses out of 382047 with flag 66190736/18599635
868.49/866.50	c cleaning 191994 clauses out of 384045 with flag 66941908/18792635
878.38/876.45	c cleaning 193008 clauses out of 386051 with flag 67600118/18986635
888.85/886.95	c cleaning 194013 clauses out of 388043 with flag 68230887/19181635
899.44/897.40	c cleaning 195001 clauses out of 390030 with flag 68933264/19377635
910.62/908.63	c cleaning 195966 clauses out of 392029 with flag 69598484/19574635
921.59/919.64	c cleaning 197001 clauses out of 394064 with flag 70312655/19772636
932.87/930.90	c cleaning 198027 clauses out of 396062 with flag 71026835/19971635
943.65/941.78	c cleaning 199004 clauses out of 398035 with flag 71724011/20171635
954.53/952.61	c cleaning 199955 clauses out of 400031 with flag 72472594/20372635
966.81/964.98	c cleaning 201010 clauses out of 402077 with flag 73216295/20574636
977.91/975.91	c cleaning 202016 clauses out of 404066 with flag 73945102/20777635
988.59/986.62	c cleaning 203012 clauses out of 406050 with flag 74718249/20981635
993.28/991.30	c Got one! Elapsed wall clock time (in seconds):991.171
993.28/991.30	o 26
995.27/993.30	c cleaning 164032 clauses out of 328100 with flag 14558/21106697
996.17/994.24	c cleaning 85023 clauses out of 170066 with flag 32777/21112695
996.57/994.68	c cleaning 46014 clauses out of 92044 with flag 55764/21119696
996.97/995.00	c cleaning 27001 clauses out of 54030 with flag 82484/21127696
997.27/995.33	c cleaning 17997 clauses out of 36028 with flag 115964/21136695
997.57/995.66	c cleaning 13981 clauses out of 28031 with flag 152589/21146695
997.97/996.02	c cleaning 12481 clauses out of 25050 with flag 193259/21157695
998.37/996.46	c cleaning 12249 clauses out of 24570 with flag 235826/21169696
998.87/996.92	c cleaning 12654 clauses out of 25320 with flag 286662/21182695
999.37/997.40	c cleaning 13333 clauses out of 26666 with flag 334364/21196695
999.86/997.90	c cleaning 14154 clauses out of 28334 with flag 383675/21211696
1000.36/998.49	c cleaning 15076 clauses out of 30183 with flag 437703/21227699
1001.07/999.12	c cleaning 16035 clauses out of 32103 with flag 495304/21244695
1001.66/999.73	c cleaning 17028 clauses out of 34068 with flag 548051/21262695
1002.26/1000.37	c cleaning 18001 clauses out of 36040 with flag 615657/21281695
1003.06/1001.11	c cleaning 19026 clauses out of 38052 with flag 697585/21301708
1003.76/1001.83	c cleaning 19994 clauses out of 40014 with flag 785555/21322696
1004.55/1002.60	c cleaning 21001 clauses out of 42021 with flag 874553/21344697
1005.35/1003.40	c cleaning 22006 clauses out of 44020 with flag 969757/21367697
1006.15/1004.28	c cleaning 22997 clauses out of 46012 with flag 1071521/21391695
1007.15/1005.22	c cleaning 24000 clauses out of 48015 with flag 1169218/21416695
1008.05/1006.16	c cleaning 24996 clauses out of 50015 with flag 1267974/21442695
1009.05/1007.11	c cleaning 26011 clauses out of 52021 with flag 1373869/21469697
1010.05/1008.15	c cleaning 26987 clauses out of 54012 with flag 1469512/21497699
1011.05/1009.16	c cleaning 28012 clauses out of 56025 with flag 1581667/21526699
1012.04/1010.18	c cleaning 28994 clauses out of 58009 with flag 1686331/21556695
1013.23/1011.33	c cleaning 30004 clauses out of 60015 with flag 1797772/21587695
1014.43/1012.54	c cleaning 30994 clauses out of 62011 with flag 1912982/21619695
1015.63/1013.71	c cleaning 31988 clauses out of 64017 with flag 2028819/21652695
1016.83/1014.93	c cleaning 32985 clauses out of 66029 with flag 2179843/21686695
1018.03/1016.19	c cleaning 33987 clauses out of 68045 with flag 2332888/21721696
1019.42/1017.52	c cleaning 34989 clauses out of 70057 with flag 2480849/21757695
1020.72/1018.82	c cleaning 36011 clauses out of 72068 with flag 2614062/21794695
1022.22/1020.33	c cleaning 36999 clauses out of 74057 with flag 2742509/21832695
1023.72/1021.82	c cleaning 38014 clauses out of 76058 with flag 2874896/21871695
1025.22/1023.32	c cleaning 39022 clauses out of 78046 with flag 3002357/21911697
1026.71/1024.89	c cleaning 39993 clauses out of 80023 with flag 3148690/21952696
1028.41/1026.51	c cleaning 41010 clauses out of 82032 with flag 3292526/21994698
1030.16/1028.25	c cleaning 42010 clauses out of 84019 with flag 3430464/22037695
1031.96/1030.08	c cleaning 42990 clauses out of 86009 with flag 3560691/22081695
1034.25/1032.38	c cleaning 44007 clauses out of 88019 with flag 3687987/22126695
1036.44/1034.52	c cleaning 45003 clauses out of 90012 with flag 3821714/22172695
1038.44/1036.57	c cleaning 45989 clauses out of 92009 with flag 3982841/22219695
1040.63/1038.73	c cleaning 47008 clauses out of 94026 with flag 4157936/22267701
1042.63/1040.70	c cleaning 47991 clauses out of 96016 with flag 4336112/22316699
1044.72/1042.83	c cleaning 48989 clauses out of 98021 with flag 4509588/22366695
1046.93/1045.05	c cleaning 50018 clauses out of 100036 with flag 4695590/22417699
1048.92/1047.06	c cleaning 50982 clauses out of 102014 with flag 4876674/22469695
1051.11/1049.26	c cleaning 52007 clauses out of 104032 with flag 5083378/22522695
1053.30/1051.47	c cleaning 52995 clauses out of 106025 with flag 5265147/22576695
1055.50/1053.69	c cleaning 53998 clauses out of 108030 with flag 5441718/22631695
1057.90/1056.06	c cleaning 55018 clauses out of 110038 with flag 5630619/22687701
1060.09/1058.21	c cleaning 55969 clauses out of 112018 with flag 5828819/22744699
1062.58/1060.73	c cleaning 56996 clauses out of 114045 with flag 6052090/22802695
1064.77/1062.99	c cleaning 58024 clauses out of 116051 with flag 6256739/22861697
1067.27/1065.40	c cleaning 59003 clauses out of 118025 with flag 6478420/22921695
1069.76/1067.96	c cleaning 59994 clauses out of 120022 with flag 6698236/22982695
1072.45/1070.63	c cleaning 60989 clauses out of 122028 with flag 6915376/23044695
1075.15/1073.39	c cleaning 62015 clauses out of 124039 with flag 7146568/23107695
1077.64/1075.89	c cleaning 62995 clauses out of 126024 with flag 7383457/23171695
1080.23/1078.43	c cleaning 63980 clauses out of 128029 with flag 7602362/23236695
1082.83/1081.06	c cleaning 64993 clauses out of 130049 with flag 7833502/23302695
1085.52/1083.75	c cleaning 66008 clauses out of 132056 with flag 8063387/23369695
1088.32/1086.55	c cleaning 67020 clauses out of 134051 with flag 8320015/23437698
1091.01/1089.23	c cleaning 67996 clauses out of 136030 with flag 8567110/23506697
1093.70/1091.94	c cleaning 69000 clauses out of 138032 with flag 8822820/23576695
1097.17/1095.31	c cleaning 70006 clauses out of 140032 with flag 9063519/23647695
1100.26/1098.49	c cleaning 70951 clauses out of 142027 with flag 9320103/23719696
1103.16/1101.38	c cleaning 72038 clauses out of 144076 with flag 9619160/23792696
1106.55/1104.76	c cleaning 73007 clauses out of 146044 with flag 9888014/23866702
1110.14/1108.36	c cleaning 74013 clauses out of 148031 with flag 10155124/23941696
1114.33/1112.57	c cleaning 75007 clauses out of 150022 with flag 10391067/24017700
1117.72/1115.99	c cleaning 75999 clauses out of 152013 with flag 10660828/24094698
1121.02/1119.26	c cleaning 76980 clauses out of 154011 with flag 10948734/24172695
1124.51/1122.78	c cleaning 78002 clauses out of 156031 with flag 11230623/24251695
1127.81/1126.05	c cleaning 78982 clauses out of 158029 with flag 11520070/24331695
1131.10/1129.34	c cleaning 80021 clauses out of 160047 with flag 11806228/24412695
1135.49/1133.79	c cleaning 80994 clauses out of 162026 with flag 12086168/24494695
1139.68/1137.91	c cleaning 82014 clauses out of 164032 with flag 12356695/24577695
1143.77/1142.01	c cleaning 82996 clauses out of 166018 with flag 12699174/24661695
1147.56/1145.88	c cleaning 84001 clauses out of 168022 with flag 12981320/24746695
1151.55/1149.81	c cleaning 84997 clauses out of 170024 with flag 13276393/24832698
1155.04/1153.36	c cleaning 86009 clauses out of 172028 with flag 13598583/24919699
1159.04/1157.31	c cleaning 86974 clauses out of 174015 with flag 13925095/25007695
1162.94/1161.23	c cleaning 88013 clauses out of 176041 with flag 14223299/25096695
1167.11/1165.15	c cleaning 88997 clauses out of 178028 with flag 14514885/25186695
1171.00/1169.06	c cleaning 89985 clauses out of 180031 with flag 14838300/25277695
1175.48/1173.57	c cleaning 91014 clauses out of 182048 with flag 15190035/25369697
1179.48/1177.56	c cleaning 92008 clauses out of 184035 with flag 15540679/25462698
1183.77/1181.89	c cleaning 92978 clauses out of 186024 with flag 15865618/25556695
1188.16/1186.26	c cleaning 94023 clauses out of 188048 with flag 16204051/25651697
1192.55/1190.62	c cleaning 94983 clauses out of 190023 with flag 16555456/25747695
1197.04/1195.13	c cleaning 95995 clauses out of 192040 with flag 16860336/25844695
1201.33/1199.42	c cleaning 96998 clauses out of 194045 with flag 17196068/25942695
1206.03/1204.12	c cleaning 98009 clauses out of 196047 with flag 17555652/26041695
1210.42/1208.58	c cleaning 99010 clauses out of 198038 with flag 17933769/26141695
1215.41/1213.59	c cleaning 99989 clauses out of 200028 with flag 18302228/26242695
1219.90/1218.07	c cleaning 101008 clauses out of 202040 with flag 18696061/26344696
1224.79/1222.90	c cleaning 101989 clauses out of 204032 with flag 19070757/26447696
1229.38/1227.57	c cleaning 103014 clauses out of 206042 with flag 19448596/26551695
1233.87/1232.09	c cleaning 103966 clauses out of 208028 with flag 19837095/26656695
1239.53/1237.68	c cleaning 105031 clauses out of 210062 with flag 20197542/26762695
1244.32/1242.49	c cleaning 106002 clauses out of 212031 with flag 20531008/26869695
1249.51/1247.62	c cleaning 106982 clauses out of 214029 with flag 20937871/26977695
1254.30/1252.43	c cleaning 108002 clauses out of 216047 with flag 21355600/27086695
1259.59/1257.79	c cleaning 108990 clauses out of 218045 with flag 21756557/27196695
1264.98/1263.19	c cleaning 110023 clauses out of 220055 with flag 22158491/27307695
1270.16/1268.30	c cleaning 110984 clauses out of 222032 with flag 22560438/27419695
1275.15/1273.38	c cleaning 112007 clauses out of 224049 with flag 22988649/27532696
1280.74/1278.97	c cleaning 112998 clauses out of 226041 with flag 23423934/27646695
1285.83/1284.08	c cleaning 114004 clauses out of 228043 with flag 23879497/27761695
1292.32/1290.54	c cleaning 115005 clauses out of 230041 with flag 24327023/27877697
1297.31/1295.59	c cleaning 115994 clauses out of 232034 with flag 24745432/27994695
1303.10/1301.36	c cleaning 116995 clauses out of 234040 with flag 25185286/28112695
1308.69/1306.99	c cleaning 117989 clauses out of 236045 with flag 25605308/28231695
1314.88/1313.16	c cleaning 119019 clauses out of 238056 with flag 26011541/28351695
1320.86/1319.18	c cleaning 119972 clauses out of 240037 with flag 26450717/28472695
1326.65/1324.90	c cleaning 121018 clauses out of 242065 with flag 26911497/28594695
1333.44/1331.73	c cleaning 122019 clauses out of 244047 with flag 27314933/28717695
1339.42/1337.74	c cleaning 123013 clauses out of 246031 with flag 27696564/28841698
1345.91/1344.14	c cleaning 124008 clauses out of 248016 with flag 28171676/28966696
1351.90/1350.11	c cleaning 124979 clauses out of 250007 with flag 28668772/29092695
1358.58/1356.80	c cleaning 126004 clauses out of 252032 with flag 29120033/29219699
1364.67/1362.97	c cleaning 126975 clauses out of 254024 with flag 29610693/29347695
1370.76/1369.05	c cleaning 128018 clauses out of 256049 with flag 30072355/29476695
1377.04/1375.32	c cleaning 129006 clauses out of 258031 with flag 30552256/29606695
1383.23/1381.52	c cleaning 129992 clauses out of 260025 with flag 31020387/29737695
1389.22/1387.59	c cleaning 131011 clauses out of 262034 with flag 31480123/29869696
1396.70/1395.06	c cleaning 132008 clauses out of 264023 with flag 31909422/30002696
1402.59/1400.92	c cleaning 133006 clauses out of 266014 with flag 32418855/30136695
1409.87/1408.20	c cleaning 133992 clauses out of 268011 with flag 32864204/30271698
1415.66/1414.09	c cleaning 135006 clauses out of 270016 with flag 33350335/30407695
1423.45/1421.88	c cleaning 135981 clauses out of 272010 with flag 33822951/30544695
1430.13/1428.50	c cleaning 136995 clauses out of 274029 with flag 34323824/30682695
1437.32/1435.76	c cleaning 137995 clauses out of 276035 with flag 34864191/30821696
1444.71/1443.10	c cleaning 138982 clauses out of 278040 with flag 35332274/30961696
1451.59/1450.10	c cleaning 140011 clauses out of 280058 with flag 35913783/31102696
1458.48/1456.81	c cleaning 141004 clauses out of 282046 with flag 36440376/31244695
1465.46/1463.82	c cleaning 142013 clauses out of 284042 with flag 36958809/31387695
1473.05/1471.47	c cleaning 142993 clauses out of 286029 with flag 37483352/31531695
1480.23/1478.68	c cleaning 144000 clauses out of 288036 with flag 38020611/31676695
1487.41/1485.83	c cleaning 144990 clauses out of 290036 with flag 38581611/31822695
1494.50/1492.94	c cleaning 146023 clauses out of 292047 with flag 39142874/31969696
1502.18/1500.61	c cleaning 146980 clauses out of 294023 with flag 39711138/32117695
1509.96/1508.40	c cleaning 147987 clauses out of 296043 with flag 40305864/32266695
1517.25/1515.73	c cleaning 149021 clauses out of 298058 with flag 40857502/32416697
1525.03/1523.55	c cleaning 150007 clauses out of 300036 with flag 41392486/32567696
1532.92/1531.42	c cleaning 151005 clauses out of 302028 with flag 41938658/32719695
1540.20/1538.70	c cleaning 152007 clauses out of 304023 with flag 42485896/32872695
1548.68/1547.29	c cleaning 152973 clauses out of 306016 with flag 43092698/33026695
1556.56/1555.14	c cleaning 153992 clauses out of 308044 with flag 43668113/33181696
1563.84/1562.42	c cleaning 155015 clauses out of 310052 with flag 44259858/33337696
1571.27/1569.78	c cleaning 155997 clauses out of 312036 with flag 44818612/33494695
1579.66/1578.13	c cleaning 157007 clauses out of 314039 with flag 45424507/33652695
1588.34/1586.81	c cleaning 158017 clauses out of 316033 with flag 45977886/33811696
1596.43/1594.90	c cleaning 158976 clauses out of 318015 with flag 46590822/33971695
1605.11/1603.63	c cleaning 159997 clauses out of 320040 with flag 47180663/34132696
1612.89/1611.41	c cleaning 161010 clauses out of 322042 with flag 47722422/34294695
1620.67/1619.22	c cleaning 162010 clauses out of 324032 with flag 48344729/34457695
1629.14/1627.80	c cleaning 162992 clauses out of 326024 with flag 48995581/34621697
1638.42/1637.08	c cleaning 163983 clauses out of 328030 with flag 49565209/34786695
1647.29/1645.98	c cleaning 164996 clauses out of 330047 with flag 50195913/34952695
1655.58/1654.29	c cleaning 165997 clauses out of 332051 with flag 50765003/35119695
1664.06/1662.71	c cleaning 167002 clauses out of 334054 with flag 51391324/35287695
1673.43/1671.65	c cleaning 168010 clauses out of 336053 with flag 52032849/35456696
1682.41/1680.62	c cleaning 168968 clauses out of 338042 with flag 52647918/35626695
1691.49/1689.77	c cleaning 170011 clauses out of 340074 with flag 53300778/35797695
1700.77/1699.02	c cleaning 171006 clauses out of 342063 with flag 53884486/35969695
1709.55/1707.85	c cleaning 172009 clauses out of 344060 with flag 54492128/36142698
1719.63/1717.96	c cleaning 173014 clauses out of 346049 with flag 55179592/36316696
1728.32/1726.65	c cleaning 173992 clauses out of 348034 with flag 55843652/36491695
1737.50/1735.84	c cleaning 174994 clauses out of 350042 with flag 56535372/36667695
1747.07/1745.46	c cleaning 175997 clauses out of 352048 with flag 57148498/36844695
1756.85/1755.26	c cleaning 177012 clauses out of 354052 with flag 57783181/37022696
1766.34/1764.76	c cleaning 178016 clauses out of 356041 with flag 58371276/37201697
1776.98/1775.36	c cleaning 178999 clauses out of 358023 with flag 58947215/37381695
1786.16/1784.53	c cleaning 180005 clauses out of 360024 with flag 59587055/37562695
1798.24/1796.61	c cleaning 180993 clauses out of 362019 with flag 60155074/37744695
1807.43/1805.87	c cleaning 181981 clauses out of 364026 with flag 60886433/37927695
1817.61/1816.07	c cleaning 182992 clauses out of 366045 with flag 61560133/38111695
1828.18/1826.61	c cleaning 184020 clauses out of 368056 with flag 62190702/38296698
1838.66/1837.15	c cleaning 185006 clauses out of 370034 with flag 62822897/38482696
1850.14/1848.61	c cleaning 185984 clauses out of 372027 with flag 63471801/38669695
1860.41/1858.92	c cleaning 187011 clauses out of 374043 with flag 64125825/38857695
1870.89/1869.40	c cleaning 188006 clauses out of 376034 with flag 64849096/39046697
1881.77/1880.30	c cleaning 189007 clauses out of 378028 with flag 65550883/39236697
1892.58/1891.02	c cleaning 190001 clauses out of 380019 with flag 66267881/39427695
1902.86/1901.31	c cleaning 191000 clauses out of 382022 with flag 67024539/39619699
1913.13/1911.67	c cleaning 191997 clauses out of 384022 with flag 67745360/39812699
1923.91/1922.48	c cleaning 193006 clauses out of 386024 with flag 68410178/40006698
1934.29/1932.80	c cleaning 193993 clauses out of 388021 with flag 69091058/40201701
1944.47/1943.07	c cleaning 195001 clauses out of 390022 with flag 69753501/40397695
1955.15/1953.77	c cleaning 195997 clauses out of 392023 with flag 70405597/40594697
1968.92/1967.50	c cleaning 197010 clauses out of 394026 with flag 71157078/40792697
1980.40/1979.05	c cleaning 197998 clauses out of 396016 with flag 71887246/40991697
1990.87/1989.55	c cleaning 198996 clauses out of 398017 with flag 72589620/41191696
2003.24/2001.98	c cleaning 199997 clauses out of 400022 with flag 73348896/41392697
2014.24/2012.80	c cleaning 200992 clauses out of 402023 with flag 74053199/41594695
2026.21/2024.85	c cleaning 201991 clauses out of 404031 with flag 74824985/41797695
2037.69/2036.36	c cleaning 202990 clauses out of 406040 with flag 75605607/42001695
2048.66/2047.30	c cleaning 203987 clauses out of 408050 with flag 76380121/42206695
2059.94/2058.67	c cleaning 205014 clauses out of 410064 with flag 77134239/42412696
2075.42/2074.14	c cleaning 206015 clauses out of 412049 with flag 77782915/42619695
2086.79/2085.57	c cleaning 207003 clauses out of 414034 with flag 78516555/42827695
2098.16/2096.94	c cleaning 207990 clauses out of 416031 with flag 79326458/43036695
2110.94/2109.77	c cleaning 209001 clauses out of 418041 with flag 80052768/43246695
2123.21/2122.01	c cleaning 210014 clauses out of 420043 with flag 80820281/43457698
2134.99/2133.80	c cleaning 210993 clauses out of 422028 with flag 81550688/43669697
2146.97/2145.74	c cleaning 211982 clauses out of 424034 with flag 82329228/43882696
2158.84/2157.65	c cleaning 213018 clauses out of 426051 with flag 83108401/44096695
2170.82/2169.67	c cleaning 214015 clauses out of 428033 with flag 83872066/44311695
2182.30/2181.18	c cleaning 214992 clauses out of 430020 with flag 84662794/44527697
2198.06/2196.96	c cleaning 215988 clauses out of 432026 with flag 85378394/44744695
2209.04/2207.92	c cleaning 217000 clauses out of 434038 with flag 86169069/44962695
2221.91/2220.89	c cleaning 217994 clauses out of 436038 with flag 86948998/45181695
2234.00/2232.97	c cleaning 218997 clauses out of 438044 with flag 87723973/45401695
2246.57/2245.56	c cleaning 220008 clauses out of 440047 with flag 88466320/45622695
2258.75/2257.70	c cleaning 220993 clauses out of 442041 with flag 89286382/45844697
2271.15/2270.03	c cleaning 222002 clauses out of 444048 with flag 90150481/46067697
2286.72/2285.68	c cleaning 222984 clauses out of 446044 with flag 90956084/46291695
2299.69/2298.65	c cleaning 223970 clauses out of 448062 with flag 91790819/46516697
2312.46/2311.44	c cleaning 225038 clauses out of 450090 with flag 92582558/46742695
2326.83/2325.89	c cleaning 226022 clauses out of 452052 with flag 93437720/46969695
2341.61/2340.64	c cleaning 227008 clauses out of 454030 with flag 94233602/47197695
2354.09/2353.18	c cleaning 227992 clauses out of 456022 with flag 94962720/47426695
2366.36/2365.47	c cleaning 228986 clauses out of 458030 with flag 95830635/47656695
2381.37/2379.85	c cleaning 230008 clauses out of 460044 with flag 96661449/47887695
2395.14/2393.64	c cleaning 231015 clauses out of 462036 with flag 97593777/48119695
2408.71/2407.26	c cleaning 232009 clauses out of 464023 with flag 98497924/48352697
2423.49/2422.00	c cleaning 232981 clauses out of 466012 with flag 99372088/48586695
2438.35/2436.97	c cleaning 234001 clauses out of 468034 with flag 100210989/48821698
2459.52/2458.14	c cleaning 235007 clauses out of 470032 with flag 100941702/49057697
2473.78/2472.45	c cleaning 236009 clauses out of 472024 with flag 101829252/49294696
2489.15/2487.75	c cleaning 236999 clauses out of 474014 with flag 102694748/49532695
2505.62/2504.28	c cleaning 237978 clauses out of 476016 with flag 103609421/49771696
2521.89/2520.55	c cleaning 239019 clauses out of 478040 with flag 104500241/50011698
2536.47/2535.14	c cleaning 240008 clauses out of 480021 with flag 105337648/50252698
2551.02/2549.77	c cleaning 240980 clauses out of 482011 with flag 106199981/50494696
2565.68/2564.43	c cleaning 242000 clauses out of 484030 with flag 107146651/50737695
2580.74/2579.52	c cleaning 243011 clauses out of 486030 with flag 108043926/50981695
2595.46/2594.13	c cleaning 244007 clauses out of 488019 with flag 108925542/51226695
2611.33/2610.09	c cleaning 245001 clauses out of 490012 with flag 109766730/51472695
2626.89/2625.63	c cleaning 245978 clauses out of 492011 with flag 110636738/51719695
2642.56/2641.36	c cleaning 247005 clauses out of 494033 with flag 111459481/51967695
2658.24/2657.03	c cleaning 248006 clauses out of 496031 with flag 112335785/52216698
2673.40/2672.24	c cleaning 248961 clauses out of 498022 with flag 113322875/52466695
2688.36/2687.23	c cleaning 250019 clauses out of 500061 with flag 114252371/52717695
2704.84/2703.66	c cleaning 250989 clauses out of 502042 with flag 115190788/52969695
2721.21/2720.01	c cleaning 251986 clauses out of 504053 with flag 116078487/53222695
2739.47/2738.33	c cleaning 253028 clauses out of 506067 with flag 116979913/53476695
2755.74/2754.68	c cleaning 254017 clauses out of 508039 with flag 117863852/53731695
2772.41/2771.39	c cleaning 255007 clauses out of 510022 with flag 118807588/53987695
2788.27/2787.24	c cleaning 255990 clauses out of 512015 with flag 119782384/54244695
2805.54/2804.50	c cleaning 256996 clauses out of 514025 with flag 120676312/54502695
2820.73/2819.69	c cleaning 257967 clauses out of 516029 with flag 121561075/54761695
2839.50/2838.47	c cleaning 259030 clauses out of 518067 with flag 122564627/55021700
2859.17/2858.19	c cleaning 260010 clauses out of 520036 with flag 123469403/55282699
2876.13/2875.14	c cleaning 261006 clauses out of 522022 with flag 124540843/55544695
2891.59/2890.60	c cleaning 262001 clauses out of 524016 with flag 125486150/55807695
2907.26/2906.39	c cleaning 262989 clauses out of 526015 with flag 126456303/56071695
2925.02/2923.51	c cleaning 263983 clauses out of 528027 with flag 127402034/56336696
2944.08/2942.60	c cleaning 265003 clauses out of 530045 with flag 128406029/56602697
2960.86/2959.41	c cleaning 266020 clauses out of 532040 with flag 129388942/56869695
2977.12/2975.75	c cleaning 266998 clauses out of 534023 with flag 130275343/57137698
2994.18/2992.81	c cleaning 267996 clauses out of 536022 with flag 131271151/57406695
3011.93/3010.54	c cleaning 268996 clauses out of 538026 with flag 132278179/57676695
3029.20/3027.88	c cleaning 269975 clauses out of 540031 with flag 133325587/57947696
3044.97/3043.61	c cleaning 270999 clauses out of 542057 with flag 134354886/58219697
3062.23/3060.97	c cleaning 272025 clauses out of 544058 with flag 135416891/58492697
3083.49/3082.27	c cleaning 272982 clauses out of 546031 with flag 136251962/58766695
3103.44/3102.24	c cleaning 274013 clauses out of 548049 with flag 137222327/59041695
3121.11/3119.92	c cleaning 274997 clauses out of 550036 with flag 138327140/59317695
3138.48/3137.23	c cleaning 276010 clauses out of 552041 with flag 139315264/59594697
3156.14/3154.94	c cleaning 277005 clauses out of 554030 with flag 140278586/59872696
3174.30/3173.10	c cleaning 277991 clauses out of 556024 with flag 141331372/60151695
3193.75/3192.63	c cleaning 278986 clauses out of 558033 with flag 142323519/60431695
3211.40/3210.33	c cleaning 279966 clauses out of 560047 with flag 143331059/60712695
3228.55/3227.51	c cleaning 281007 clauses out of 562081 with flag 144371570/60994695
3246.34/3245.21	c cleaning 282030 clauses out of 564074 with flag 145358846/61277695
3264.81/3263.78	c cleaning 283019 clauses out of 566044 with flag 146323444/61561695
3282.17/3281.17	c cleaning 283999 clauses out of 568025 with flag 147371742/61846695
3293.95/3292.94	c Got one! Elapsed wall clock time (in seconds):3292.816
3293.95/3292.94	o 25
3299.44/3298.45	c cleaning 283653 clauses out of 567320 with flag 15284/62129989
3301.83/3300.83	c cleaning 144800 clauses out of 289663 with flag 33065/62135985
3302.53/3301.57	c cleaning 75914 clauses out of 151869 with flag 53431/62142991
3302.93/3302.00	c cleaning 41970 clauses out of 83951 with flag 79629/62150987
3303.33/3302.34	c cleaning 25471 clauses out of 50980 with flag 112147/62159986
3303.63/3302.68	c cleaning 17735 clauses out of 35508 with flag 147815/62169985
3304.03/3303.06	c cleaning 14372 clauses out of 28773 with flag 186214/62180985
3304.42/3303.49	c cleaning 13170 clauses out of 26401 with flag 231087/62192985
3304.92/3303.93	c cleaning 13094 clauses out of 26233 with flag 272474/62205987
3305.42/3304.43	c cleaning 13554 clauses out of 27138 with flag 321715/62219986
3306.03/3305.02	c cleaning 14279 clauses out of 28583 with flag 374806/62234985
3306.62/3305.60	c cleaning 15136 clauses out of 30307 with flag 432988/62250988
3307.22/3306.21	c cleaning 16066 clauses out of 32169 with flag 499340/62267986
3307.82/3306.87	c cleaning 17035 clauses out of 34103 with flag 564751/62285986
3308.52/3307.59	c cleaning 18027 clauses out of 36068 with flag 643581/62304986
3309.31/3308.31	c cleaning 19019 clauses out of 38044 with flag 713992/62324989
3310.02/3309.08	c cleaning 20008 clauses out of 40021 with flag 785633/62345985
3310.91/3309.90	c cleaning 20997 clauses out of 42014 with flag 857608/62367986
3311.72/3310.73	c cleaning 22008 clauses out of 44020 with flag 932356/62390989
3312.62/3311.63	c cleaning 23004 clauses out of 46011 with flag 1014564/62414988
3313.51/3312.57	c cleaning 23987 clauses out of 48004 with flag 1100154/62439985
3314.51/3313.58	c cleaning 25001 clauses out of 50017 with flag 1197070/62465985
3315.71/3314.73	c cleaning 25988 clauses out of 52016 with flag 1307498/62492985
3316.81/3315.88	c cleaning 26996 clauses out of 54028 with flag 1438831/62520985
3317.91/3316.93	c cleaning 28007 clauses out of 56032 with flag 1569924/62549985
3319.01/3318.00	c cleaning 28997 clauses out of 58025 with flag 1700133/62579985
3320.11/3319.19	c cleaning 30009 clauses out of 60029 with flag 1816122/62610986
3321.40/3320.48	c cleaning 30990 clauses out of 62019 with flag 1929910/62642985
3322.79/3321.80	c cleaning 31987 clauses out of 64029 with flag 2045860/62675985
3324.00/3323.02	c cleaning 33015 clauses out of 66043 with flag 2153395/62709986
3325.29/3324.30	c cleaning 33977 clauses out of 68027 with flag 2277465/62744985
3326.69/3325.73	c cleaning 35023 clauses out of 70050 with flag 2426401/62780985
3327.99/3327.05	c cleaning 35988 clauses out of 72029 with flag 2560930/62817987
3329.48/3328.55	c cleaning 37017 clauses out of 74041 with flag 2704164/62855987
3330.87/3330.00	c cleaning 37997 clauses out of 76022 with flag 2849752/62894985
3332.47/3331.55	c cleaning 39010 clauses out of 78026 with flag 2997886/62934986
3334.17/3333.20	c cleaning 39992 clauses out of 80015 with flag 3150738/62975985
3335.95/3334.92	c cleaning 41003 clauses out of 82023 with flag 3310695/63017985
3337.65/3336.62	c cleaning 42000 clauses out of 84020 with flag 3482653/63060985
3339.54/3338.51	c cleaning 42990 clauses out of 86020 with flag 3649155/63104985
3341.34/3340.32	c cleaning 44005 clauses out of 88030 with flag 3833662/63149985
3343.14/3342.12	c cleaning 44998 clauses out of 90025 with flag 4017347/63195985
3344.93/3343.98	c cleaning 46010 clauses out of 92027 with flag 4199593/63242985
3346.93/3345.90	c cleaning 46990 clauses out of 94017 with flag 4386495/63290985
3348.82/3347.85	c cleaning 48009 clauses out of 96032 with flag 4580465/63339990
3351.02/3350.10	c cleaning 49006 clauses out of 98018 with flag 4768731/63389985
3353.02/3352.06	c cleaning 49964 clauses out of 100012 with flag 4946783/63440985
3355.21/3354.25	c cleaning 50960 clauses out of 102048 with flag 5157915/63492985
3357.31/3356.35	c cleaning 52039 clauses out of 104089 with flag 5374530/63545986
3359.50/3358.55	c cleaning 53003 clauses out of 106051 with flag 5570147/63599987
3362.10/3361.11	c cleaning 54025 clauses out of 108049 with flag 5744007/63654988
3364.79/3363.80	c cleaning 55003 clauses out of 110021 with flag 5911682/63710985
3367.28/3366.31	c cleaning 55998 clauses out of 112019 with flag 6111112/63767986
3369.58/3368.64	c cleaning 56995 clauses out of 114020 with flag 6340073/63825985
3371.98/3371.07	c cleaning 57992 clauses out of 116025 with flag 6583457/63884985
3374.37/3373.43	c cleaning 59015 clauses out of 118033 with flag 6848019/63944985
3376.97/3376.05	c cleaning 59992 clauses out of 120018 with flag 7051196/64005985
3379.56/3378.64	c cleaning 61009 clauses out of 122026 with flag 7246625/64067985
3382.45/3381.59	c cleaning 61999 clauses out of 124017 with flag 7469858/64130985
3384.95/3384.04	c cleaning 63000 clauses out of 126020 with flag 7693632/64194987
3387.54/3386.69	c cleaning 64009 clauses out of 128018 with flag 7916506/64259985
3390.35/3389.48	c cleaning 64964 clauses out of 130009 with flag 8134817/64325985
3393.04/3392.13	c cleaning 65976 clauses out of 132047 with flag 8384361/64392987
3395.63/3394.73	c cleaning 67012 clauses out of 134070 with flag 8644930/64460986
3398.43/3397.50	c cleaning 67986 clauses out of 136057 with flag 8901347/64529985
3401.22/3400.34	c cleaning 69036 clauses out of 138071 with flag 9160892/64599985
3404.12/3403.25	c cleaning 69993 clauses out of 140040 with flag 9433827/64670990
3407.11/3406.26	c cleaning 70993 clauses out of 142042 with flag 9699626/64742985
3410.48/3409.58	c cleaning 72024 clauses out of 144049 with flag 9982018/64815985
3413.57/3412.65	c cleaning 73002 clauses out of 146029 with flag 10250426/64889989
3416.56/3415.63	c cleaning 74012 clauses out of 148023 with flag 10526691/64964985
3419.66/3418.72	c cleaning 74977 clauses out of 150011 with flag 10817108/65040985
3423.25/3422.39	c cleaning 75984 clauses out of 152034 with flag 11106496/65117985
3426.74/3425.81	c cleaning 77021 clauses out of 154052 with flag 11370059/65195987
3430.53/3429.60	c cleaning 77993 clauses out of 156029 with flag 11672793/65274985
3433.93/3433.06	c cleaning 79000 clauses out of 158037 with flag 11950045/65354986
3437.31/3436.40	c cleaning 79991 clauses out of 160036 with flag 12251372/65435985
3440.81/3439.98	c cleaning 81002 clauses out of 162045 with flag 12559845/65517985
3444.51/3443.66	c cleaning 82018 clauses out of 164043 with flag 12852281/65600985
3448.10/3447.24	c cleaning 82998 clauses out of 166026 with flag 13155607/65684986
3451.69/3450.82	c cleaning 83997 clauses out of 168027 with flag 13460139/65769985
3455.28/3454.40	c cleaning 85004 clauses out of 170030 with flag 13774443/65855985
3459.37/3458.53	c cleaning 85996 clauses out of 172033 with flag 14073040/65942992
3465.16/3464.36	c cleaning 87003 clauses out of 174030 with flag 14366094/66030985
3469.15/3468.30	c cleaning 88007 clauses out of 176027 with flag 14683494/66119985
3473.04/3472.24	c cleaning 88997 clauses out of 178021 with flag 15024651/66209986
3476.94/3476.16	c cleaning 89996 clauses out of 180023 with flag 15339883/66300985
3480.73/3479.99	c cleaning 90996 clauses out of 182027 with flag 15667837/66392985
3484.82/3484.01	c cleaning 91984 clauses out of 184031 with flag 15976779/66485985
3489.31/3488.58	c cleaning 93011 clauses out of 186047 with flag 16308988/66579985
3494.05/3493.07	c cleaning 94015 clauses out of 188036 with flag 16626170/66674985
3498.34/3497.38	c cleaning 95009 clauses out of 190021 with flag 16963745/66770985
3502.43/3501.41	c cleaning 95985 clauses out of 192012 with flag 17308217/66867985
3507.12/3506.13	c cleaning 97004 clauses out of 194027 with flag 17632816/66965985
3511.91/3510.96	c cleaning 98009 clauses out of 196026 with flag 17962105/67064988
3516.90/3515.92	c cleaning 99005 clauses out of 198015 with flag 18280796/67164986
3521.89/3520.96	c cleaning 99972 clauses out of 200009 with flag 18606186/67265985
3526.78/3525.80	c cleaning 101000 clauses out of 202037 with flag 18962491/67367985
3531.67/3530.77	c cleaning 101986 clauses out of 204038 with flag 19325892/67470986
3536.56/3535.63	c cleaning 103013 clauses out of 206051 with flag 19671720/67574985
3543.84/3542.95	c cleaning 104008 clauses out of 208038 with flag 19962759/67679985
3548.43/3547.58	c cleaning 105000 clauses out of 210030 with flag 20317958/67785985
3553.03/3552.11	c cleaning 105996 clauses out of 212033 with flag 20727817/67892988
3558.02/3557.14	c cleaning 107012 clauses out of 214035 with flag 21159009/68000986
3563.20/3562.37	c cleaning 108008 clauses out of 216022 with flag 21519947/68109985
3568.49/3567.64	c cleaning 108992 clauses out of 218014 with flag 21943976/68219985
3573.48/3572.69	c cleaning 109998 clauses out of 220022 with flag 22366837/68330985
3578.47/3577.62	c cleaning 111006 clauses out of 222024 with flag 22770802/68442985
3583.59/3582.72	c cleaning 111966 clauses out of 224018 with flag 23196748/68555985
3589.19/3588.32	c cleaning 113007 clauses out of 226052 with flag 23649526/68669985
3594.77/3593.96	c cleaning 114016 clauses out of 228046 with flag 24038590/68784986
3600.06/3599.21	c starts		: 90884
3600.06/3599.22	c conflicts		: 68900986
3600.06/3599.22	c decisions		: 385570551
3600.06/3599.22	c propagations		: 5292696352
3600.06/3599.22	c inspects		: 19092780967
3600.06/3599.23	c shortcuts		: 0
3600.06/3599.23	c learnt literals	: 0
3600.06/3599.23	c learnt binary clauses	: 0
3600.06/3599.23	c learnt ternary clauses	: 0
3600.06/3599.23	c learnt constraints	: 68900986
3600.06/3599.23	c ignored constraints	: 0
3600.06/3599.23	c root simplifications	: 0
3600.06/3599.23	c removed literals (reason simplification)	: 314945462
3600.06/3599.23	c reason swapping (by a shorter reason)	: 0
3600.06/3599.23	c Calls to reduceDB	: 602
3600.06/3599.23	c Number of update (reduction) of LBD	: 36738539
3600.06/3599.23	c Imported unit clauses	: 0
3600.06/3599.23	c No decision after first conflict	: false
3600.06/3599.23	c number of reductions to clauses (during analyze)	: 0
3600.06/3599.23	c number of learned constraints concerned by reduction	: 0
3600.06/3599.23	c number of learning phase by resolution	: 0
3600.06/3599.23	c number of learning phase by cutting planes	: 0
3600.06/3599.23	c number of rounding to 1 operations	: 0
3600.06/3599.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3599.23	c number of reductions of the coefficients by power 2 	: 0
3600.06/3599.23	c number of right shift for reduction by power 2 	: 0
3600.06/3599.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3599.23	c number of ending skipping 	: 0
3600.06/3599.23	c number of internal skipping 	: 0
3600.06/3599.23	c number of derivation steps 	: 0
3600.06/3599.23	c number of skipped derivation steps 	: 0
3600.06/3599.23	c number of remaining unassigned 	: 0
3600.06/3599.23	c number of remaining assigned 	: 0
3600.06/3599.23	c number of falsified literals weakened from reason	: 0
3600.06/3599.23	c number of falsified literals weakened from conflict	: 0
3600.06/3599.23	c time for arithmetic operations	: 0
3600.06/3599.24	c minimum degree of deleted constraints	: null
3600.06/3599.24	c maximum degree of deleted constraints	: null
3600.06/3599.24	c number of deleted constraints	: 0
3600.06/3599.24	c speed (assignments/second)	: 1470597.8455186286
3600.06/3599.24	c non guided choices	: 0
3600.27/3599.31	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 230030
3600.27/3599.31	s SATISFIABLE
3600.27/3599.31	c Found 6 solution(s)
3600.27/3599.31	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 
3600.27/3599.31	c objective function=25
3600.27/3599.31	c Total wall clock time (in seconds): 3599.185

Verifier Data 

OK	25

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62499 MiB free)
  memory of node 1: 64465 MiB (63406 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487536-1751319118/watcher-4487536-1751319118 -o /tmp/evaluation-result-4487536-1751319118/solver-4487536-1751319118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42175 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4487536-1751319118.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=43271, runsolver pid=43268

[startup+0.100063 s]*
/proc/loadavg: 4.20 4.14 4.05 6/338 43289
/proc/meminfo: memFree=128896724/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18930384 memory=57660 CPUtime=0.13 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 6585 0 0 0 11 2 0 0 20 0 18 0 47589326 19384713216 14415 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4732596 14415 5338 1 0 547622 0
[pid=43271/tid=43273] ppid=43268 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) S 43268 43271 42162 0 -1 4194368 5081 0 0 0 6 1 0 0 20 0 18 0 47589328 19384713216 14415 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47589330 19384713216 14415 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18930384 memory=55186957824150 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47589330 19384713216 14415 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57660 KiB

[startup+0.205668 s]*
/proc/loadavg: 4.20 4.14 4.05 7/338 43289
/proc/meminfo: memFree=128888532/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18930384 memory=69688 CPUtime=0.32 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 7609 0 0 0 30 2 0 0 20 0 18 0 47589326 19384713216 17422 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4732596 17422 5434 1 0 548348 0
[pid=43271/tid=43273] ppid=43268 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 5329 0 0 0 16 1 0 0 20 0 18 0 47589328 19384713216 17422 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47589330 19384713216 17422 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 47589330 19384713216 17422 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69688 KiB

[startup+0.305662 s]*
/proc/loadavg: 4.20 4.14 4.05 6/339 43290
/proc/meminfo: memFree=128886768/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18996948 memory=75732 CPUtime=0.51 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 8868 0 0 0 48 3 0 0 20 0 19 0 47589326 19452874752 18933 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4749237 18933 5466 1 0 549466 0
[pid=43271/tid=43273] ppid=43268 vsize=18996948 memory=-6000919472689932651 CPUtime=0.24 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 5430 0 0 0 22 2 0 0 20 0 19 0 47589328 19452874752 18933 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 18933 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 18933 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47589349 19452874752 18933 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75732 KiB

[startup+0.700209 s]
/proc/loadavg: 4.20 4.14 4.05 6/339 43290
/proc/meminfo: memFree=128878956/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18996948 memory=89008 CPUtime=1.27 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 10979 0 0 0 124 3 0 0 20 0 19 0 47589326 19452874752 22252 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4749237 22252 5498 1 0 551030 0
[pid=43271/tid=43273] ppid=43268 vsize=18996948 memory=18176 CPUtime=0.62 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 5475 0 0 0 60 2 0 0 20 0 19 0 47589328 19452874752 22252 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 22252 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 22252 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47589349 19452874752 22252 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89008 KiB

[startup+1.50023 s]
/proc/loadavg: 4.20 4.14 4.05 6/339 43290
/proc/meminfo: memFree=128876184/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18996948 memory=100456 CPUtime=2.69 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 16784 0 0 0 265 4 0 0 20 0 19 0 47589326 19452874752 25114 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4749237 25114 5498 1 0 551791 0
[pid=43271/tid=43273] ppid=43268 vsize=18996948 memory=10752 CPUtime=1.41 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 5804 0 0 0 139 2 0 0 20 0 19 0 47589328 19452874752 25114 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 25114 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 25114 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47589349 19452874752 25114 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100456 KiB

[startup+3.10581 s]
/proc/loadavg: 4.18 4.13 4.05 5/339 43290
/proc/meminfo: memFree=128847828/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18996948 memory=120936 CPUtime=4.28 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 17182 0 0 0 423 5 0 0 20 0 19 0 47589326 19452874752 30234 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4749237 30234 5498 1 0 551791 0
[pid=43271/tid=43273] ppid=43268 vsize=18996948 memory=10752 CPUtime=2.99 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 6087 0 0 0 297 2 0 0 20 0 19 0 47589328 19452874752 30234 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18996948 memory=-6000919472689932651 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 30234 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 30234 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47589349 19452874752 30234 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120936 KiB

[startup+6.30019 s]
/proc/loadavg: 4.18 4.13 4.05 5/339 43290
/proc/meminfo: memFree=128805884/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=18996948 memory=160056 CPUtime=7.59 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 18621 0 0 0 754 5 0 0 20 0 19 0 47589326 19452874752 40014 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4749237 40014 5498 1 0 551793 0
[pid=43271/tid=43273] ppid=43268 vsize=18996948 memory=0 CPUtime=6.16 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 6776 0 0 0 613 3 0 0 20 0 19 0 47589328 19452874752 40014 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 40014 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 47589330 19452874752 40014 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=18996948 memory=102504 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47589349 19452874752 40014 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 160056 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.05 5/340 43291
/proc/meminfo: memFree=128760940/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=176796 CPUtime=13.98 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 21030 0 0 0 1392 6 0 0 20 0 20 0 47589326 19521036288 44199 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 44199 5498 1 0 552082 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=102504 CPUtime=12.53 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 7573 0 0 0 1250 3 0 0 20 0 20 0 47589328 19521036288 44199 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 44199 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=176796 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 44199 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 44199 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176796 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.14 4.05 5/340 43358
/proc/meminfo: memFree=128700712/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=212120 CPUtime=26.81 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 24273 0 0 0 2673 8 0 0 20 0 20 0 47589326 19521036288 53030 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 53030 5530 1 0 552082 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=10752 CPUtime=25.26 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 8168 0 0 0 2523 3 0 0 20 0 20 0 47589328 19521036288 53030 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=176796 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 53030 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 53030 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 53030 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 26.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212120 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.13 4.05 5/341 43360
/proc/meminfo: memFree=128427796/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=329140 CPUtime=52.44 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 25854 0 0 0 5234 10 0 0 20 0 20 0 47589326 19521036288 82285 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 82285 5530 1 0 552082 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=183132 CPUtime=50.69 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 8743 0 0 0 5066 3 0 0 20 0 20 0 47589328 19521036288 82285 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=183132 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/339 43667
/proc/meminfo: memFree=120967544/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=2053452 CPUtime=3283.37 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 98633 0 0 0 328240 97 0 0 20 0 20 0 47589326 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 513363 5530 1 0 525504 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=2053452 CPUtime=3269.61 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 47874 0 0 0 326947 14 0 0 20 0 20 0 47589328 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3283.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053452 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/340 43672
/proc/meminfo: memFree=120967156/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=2053452 CPUtime=3343.34 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 99346 0 0 0 334236 98 0 0 20 0 20 0 47589326 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 513363 5530 1 0 525504 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=4760 CPUtime=3329.38 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 48440 0 0 0 332924 14 0 0 20 0 20 0 47589328 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3343.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053452 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/340 43674
/proc/meminfo: memFree=120930436/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=2053452 CPUtime=3403.22 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 99977 0 0 0 340223 99 0 0 20 0 20 0 47589326 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 513363 5530 1 0 525504 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=-6000919472689932651 CPUtime=3389.25 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 49025 0 0 0 338911 14 0 0 20 0 20 0 47589328 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1734 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3403.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/338 43680
/proc/meminfo: memFree=120931016/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=2053452 CPUtime=3463.17 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 101135 0 0 0 346217 100 0 0 20 0 20 0 47589326 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 513363 5530 1 0 525504 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=2053452 CPUtime=3449.02 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 49508 0 0 0 344887 15 0 0 20 0 20 0 47589328 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=18176 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1814 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 513363 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3463.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2053452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/339 43683
/proc/meminfo: memFree=121053276/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=1911876 CPUtime=3523.28 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 104113 0 0 0 352227 101 0 0 20 0 20 0 47589326 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 477969 5530 1 0 490008 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=5276 CPUtime=3508.83 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 50683 0 0 0 350868 15 0 0 20 0 20 0 47589328 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=2053452 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=1911876 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3523.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1911876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/339 43686
/proc/meminfo: memFree=121061356/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=1911876 CPUtime=3583.19 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 104268 0 0 0 358218 101 0 0 20 0 20 0 47589326 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 477969 5530 1 0 490008 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=1911876 CPUtime=3568.64 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 50771 0 0 0 356849 15 0 0 20 0 20 0 47589328 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=1911876 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3583.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1911876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/339 43686
/proc/meminfo: memFree=121061372/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19063512 memory=1911876 CPUtime=3600.06 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 104283 0 0 0 359904 102 0 0 20 0 20 0 47589326 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4765878 477969 5530 1 0 490008 0
[pid=43271/tid=43273] ppid=43268 vsize=19063512 memory=14848 CPUtime=3585.5 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 50780 0 0 0 358535 15 0 0 20 0 20 0 47589328 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19063512 memory=18176 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 20 0 47589330 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43290] ppid=43268 vsize=19063512 memory=-6000919472689932651 CPUtime=0 cores=5,7
/proc/43271/task/43290/stat : 43290 (Timer-0) S 43268 43271 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47589349 19521036288 477969 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1911876 KiB

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

[startup+3599.33 s]
# the end of solver process 43271 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3599.27 s, system=1.03792 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3599.31 s]
/proc/loadavg: 4.12 4.11 4.09 5/339 43686
/proc/meminfo: memFree=121061372/131249988 swapFree=33010684/33010684
[pid=43271] ppid=43268 vsize=19263204 memory=1912644 CPUtime=3600.27 cores=5,7
/proc/43271/stat : 43271 (java) S 43268 43271 42162 0 -1 4194304 105495 0 0 0 359925 102 0 0 20 0 21 0 47589326 19725520896 478161 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
/proc/43271/statm: 4815801 478161 5562 1 0 490927 0
[pid=43271/tid=43273] ppid=43268 vsize=19263204 memory=1911876 CPUtime=3585.61 cores=5,7
/proc/43271/task/43273/stat : 43273 (java) R 43268 43271 42162 0 -1 4194368 50780 0 0 0 358546 15 0 0 20 0 21 0 47589328 19725520896 478161 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43282] ppid=43268 vsize=19263204 memory=1911876 CPUtime=0 cores=5,7
/proc/43271/task/43282/stat : 43282 (Finalizer) S 43268 43271 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47589330 19725520896 478161 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
[pid=43271/tid=43289] ppid=43268 vsize=19263204 memory=1911876 CPUtime=0 cores=5,7
/proc/43271/task/43289/stat : 43289 (Common-Cleaner) S 43268 43271 42162 0 -1 4194368 1895 0 0 0 0 0 0 0 20 0 21 0 47589330 19725520896 478161 18446744073709551615 93829074083840 93829074087536 140730423299184 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93829074095352 93829074096144 93829100351488 140730423302529 140730423302630 140730423302630 140730423308232 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1912644 KiB

Child status: 143

Real time (s): 3599.33
CPU time (s): 3600.31
CPU user time (s): 3599.27
CPU system time (s): 1.03792
CPU usage (%): 100.027
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2072384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.27
system time used= 1.03792
maximum resident set size= 2072384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105773
involuntary context switches= 2980


# summary of solver processes directly reported to runsolver:
#   pid: 43271
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3599.27
#   total CPU system time (s): 1.03792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97075 second user time and 16.5253 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 23:31:58
IDJOB=4487536
IDBENCH=147195
IDSOLVER=3363
FILE ID=nodeC020/4487536-1751319118
RUNJOBID= nodeC020-1751315455-42175
SLURM_JOB_ID= 9594332
Free space on /tmp= 432948 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487536-1751319118/watcher-4487536-1751319118 -o /tmp/evaluation-result-4487536-1751319118/solver-4487536-1751319118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751315455-42175 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4487536-1751319118.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 7051ff5e8584c37bae1654b406532f5e
RANDOM SEED=1798127789

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.701
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.911
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.088
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.247
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.888
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.159
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3619.617
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.895
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128927816 kB
MemAvailable:   129204452 kB
Buffers:            3280 kB
Cached:          1081588 kB
SwapCached:            0 kB
Active:           942236 kB
Inactive:         773648 kB
Active(anon):     649072 kB
Inactive(anon):        0 kB
Active(file):     293164 kB
Inactive(file):   773648 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               740 kB
Writeback:             0 kB
AnonPages:        632472 kB
Mapped:           123564 kB
Shmem:             18056 kB
KReclaimable:      98124 kB
Slab:             185864 kB
SReclaimable:      98124 kB
SUnreclaim:        87740 kB
KernelStack:        5184 kB
PageTables:         4872 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7072076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    421888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-07-01 00:31:57