Trace number 4487537

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 VeriPB 2025-06-06SAT (TO)26 3600.27 3615.71

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4487537-1751337572.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
0.31/0.21	c ... done. Wall clock time 0.076s.
0.31/0.21	c declared #vars     466
0.31/0.21	c #constraints  694
0.31/0.21	c constraints type 
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 663
0.31/0.21	c 694 constraints processed.
0.31/0.22	c objective function length is 466 literals
0.31/0.24	c SATISFIABLE
0.31/0.24	c OPTIMIZING...
0.31/0.24	c Got one! Elapsed wall clock time (in seconds):0.104
0.31/0.24	o 30
0.31/0.25	c Got one! Elapsed wall clock time (in seconds):0.116
0.31/0.25	o 29
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.218
0.50/0.35	o 28
1.65/0.93	c cleaning 2647 clauses out of 5297 with flag 18454/5297
2.45/1.35	c cleaning 4327 clauses out of 8653 with flag 37070/11300
3.05/1.69	c cleaning 5661 clauses out of 11323 with flag 59851/18297
3.84/2.07	c cleaning 6810 clauses out of 13662 with flag 84504/26297
4.75/2.51	c cleaning 7913 clauses out of 15852 with flag 116162/35297
5.23/2.95	c cleaning 8966 clauses out of 17939 with flag 150984/45297
5.84/3.52	c cleaning 9976 clauses out of 19973 with flag 186237/56297
6.38/4.04	c cleaning 10994 clauses out of 21997 with flag 227225/68297
6.96/4.65	c cleaning 11987 clauses out of 24003 with flag 271533/81297
7.08/4.71	c Got one! Elapsed wall clock time (in seconds):4.572
7.08/4.71	o 27
7.19/4.86	c cleaning 8658 clauses out of 17355 with flag 14225/86636
7.49/5.11	c cleaning 7335 clauses out of 14697 with flag 33094/92636
7.79/5.40	c cleaning 7145 clauses out of 14361 with flag 55032/99635
8.08/5.74	c cleaning 7610 clauses out of 15220 with flag 80371/107639
8.49/6.13	c cleaning 8289 clauses out of 16606 with flag 112712/116635
9.10/6.60	c cleaning 9156 clauses out of 18317 with flag 149246/126635
9.53/7.09	c cleaning 10063 clauses out of 20161 with flag 196115/137635
10.12/7.63	c cleaning 11027 clauses out of 22098 with flag 241544/149635
10.64/8.19	c cleaning 12035 clauses out of 24073 with flag 289759/162637
11.33/8.81	c cleaning 12993 clauses out of 26036 with flag 341744/176635
12.03/9.51	c cleaning 14006 clauses out of 28043 with flag 398659/191635
12.64/10.19	c cleaning 15020 clauses out of 30039 with flag 453606/207637
13.44/10.94	c cleaning 15992 clauses out of 32018 with flag 514458/224636
14.23/11.72	c cleaning 17001 clauses out of 34026 with flag 578320/242636
15.12/12.66	c cleaning 17987 clauses out of 36024 with flag 643550/261635
16.12/13.64	c cleaning 19014 clauses out of 38037 with flag 709536/281635
17.02/14.59	c cleaning 20006 clauses out of 40023 with flag 777916/302635
18.13/15.61	c cleaning 20993 clauses out of 42018 with flag 850811/324636
19.22/16.71	c cleaning 21983 clauses out of 44024 with flag 932095/347635
20.12/17.69	c cleaning 23003 clauses out of 46041 with flag 1017695/371635
21.23/18.73	c cleaning 24022 clauses out of 48043 with flag 1110995/396640
22.33/19.85	c cleaning 24998 clauses out of 50016 with flag 1209640/422635
23.72/21.26	c cleaning 25983 clauses out of 52018 with flag 1305733/449635
25.04/22.56	c cleaning 27015 clauses out of 54035 with flag 1400379/477635
26.43/23.94	c cleaning 28013 clauses out of 56026 with flag 1496234/506641
27.84/25.30	c cleaning 29008 clauses out of 58015 with flag 1615072/536643
29.34/26.84	c cleaning 29971 clauses out of 59999 with flag 1727932/567635
30.84/28.30	c cleaning 30985 clauses out of 62028 with flag 1848158/599635
32.24/29.75	c cleaning 32022 clauses out of 64043 with flag 1965020/632635
33.73/31.27	c cleaning 32978 clauses out of 66021 with flag 2083379/666635
35.48/33.13	c cleaning 34012 clauses out of 68044 with flag 2203385/701636
36.98/34.64	c cleaning 35015 clauses out of 70032 with flag 2336195/737636
38.77/36.42	c cleaning 35979 clauses out of 72019 with flag 2467131/774638
40.28/38.00	c cleaning 37007 clauses out of 74037 with flag 2615769/812635
42.06/39.74	c cleaning 38001 clauses out of 76030 with flag 2764746/851635
43.96/41.64	c cleaning 39016 clauses out of 78031 with flag 2892363/891637
45.77/43.40	c cleaning 40005 clauses out of 80013 with flag 3051863/932635
47.56/45.29	c cleaning 41001 clauses out of 82012 with flag 3207462/974639
49.67/47.30	c cleaning 41975 clauses out of 84007 with flag 3357652/1017635
51.67/49.30	c cleaning 42999 clauses out of 86032 with flag 3509563/1061635
53.66/51.38	c cleaning 44007 clauses out of 88036 with flag 3685473/1106638
55.76/53.44	c cleaning 44982 clauses out of 90026 with flag 3842832/1152635
57.96/55.62	c cleaning 45998 clauses out of 92044 with flag 4026150/1199635
60.27/57.98	c cleaning 47016 clauses out of 94046 with flag 4195394/1247635
62.66/60.33	c cleaning 47996 clauses out of 96030 with flag 4382014/1296635
64.98/62.62	c cleaning 49005 clauses out of 98036 with flag 4569676/1346637
67.31/65.17	c cleaning 49984 clauses out of 100029 with flag 4767096/1397635
69.92/67.75	c cleaning 51012 clauses out of 102045 with flag 5013589/1449635
72.61/70.44	c cleaning 52001 clauses out of 104033 with flag 5224304/1502635
75.33/73.16	c cleaning 53016 clauses out of 106033 with flag 5400558/1556636
77.91/75.71	c cleaning 54005 clauses out of 108018 with flag 5586477/1611637
80.53/78.37	c cleaning 54989 clauses out of 110011 with flag 5826354/1667635
83.22/81.06	c cleaning 56004 clauses out of 112022 with flag 6045043/1724635
86.24/84.01	c cleaning 56983 clauses out of 114018 with flag 6272354/1782635
89.06/86.80	c cleaning 58012 clauses out of 116039 with flag 6486530/1841639
92.15/89.96	c cleaning 58988 clauses out of 118023 with flag 6725302/1901635
95.46/93.21	c cleaning 60004 clauses out of 120037 with flag 6959676/1962637
98.70/96.65	c cleaning 61014 clauses out of 122033 with flag 7198596/2024637
101.70/99.64	c cleaning 62009 clauses out of 124017 with flag 7476852/2087635
105.03/102.90	c cleaning 62999 clauses out of 126009 with flag 7736090/2151636
108.33/106.22	c cleaning 63978 clauses out of 128011 with flag 7965956/2216637
111.64/109.57	c cleaning 65014 clauses out of 130032 with flag 8173360/2282636
115.38/113.21	c cleaning 66011 clauses out of 132026 with flag 8361289/2349644
118.57/116.41	c cleaning 66968 clauses out of 134006 with flag 8599066/2417635
122.21/120.02	c cleaning 67982 clauses out of 136038 with flag 8848894/2486635
125.84/123.61	c cleaning 69000 clauses out of 138056 with flag 9162460/2556635
129.27/127.23	c cleaning 70008 clauses out of 140056 with flag 9473662/2627635
132.87/130.86	c cleaning 71013 clauses out of 142050 with flag 9731694/2699637
136.67/134.67	c cleaning 72007 clauses out of 144038 with flag 10014695/2772638
140.53/138.46	c cleaning 73011 clauses out of 146028 with flag 10317418/2846635
144.41/142.33	c cleaning 73994 clauses out of 148017 with flag 10597723/2921635
148.65/146.55	c cleaning 74985 clauses out of 150023 with flag 10920348/2997635
152.60/150.45	c cleaning 76017 clauses out of 152042 with flag 11190699/3074639
156.63/154.46	c cleaning 76973 clauses out of 154023 with flag 11493088/3152637
160.42/158.35	c cleaning 77985 clauses out of 156049 with flag 11777705/3231636
164.40/162.30	c cleaning 79032 clauses out of 158064 with flag 12072697/3311636
168.41/166.36	c cleaning 80004 clauses out of 160036 with flag 12377134/3392640
172.73/170.67	c cleaning 81001 clauses out of 162027 with flag 12730681/3474635
177.25/175.12	c cleaning 81998 clauses out of 164026 with flag 13025521/3557635
181.59/179.49	c cleaning 82993 clauses out of 166028 with flag 13349987/3641635
186.15/183.96	c cleaning 84005 clauses out of 168035 with flag 13657546/3726635
190.72/188.68	c cleaning 85007 clauses out of 170031 with flag 13967463/3812636
195.00/192.98	c cleaning 85986 clauses out of 172023 with flag 14275158/3899635
199.61/197.55	c cleaning 86987 clauses out of 174037 with flag 14629008/3987635
204.02/201.92	c cleaning 88010 clauses out of 176052 with flag 14941653/4076637
209.05/206.91	c cleaning 88994 clauses out of 178040 with flag 15253418/4166635
214.27/212.10	c cleaning 89999 clauses out of 180046 with flag 15535494/4257635
220.24/218.24	c cleaning 91022 clauses out of 182047 with flag 15801347/4349635
225.38/223.35	c cleaning 92011 clauses out of 184026 with flag 16078875/4442636
230.12/228.07	c cleaning 92995 clauses out of 186018 with flag 16430747/4536639
235.27/233.17	c cleaning 93998 clauses out of 188020 with flag 16744629/4631636
240.31/238.13	c cleaning 94987 clauses out of 190021 with flag 17051966/4727635
245.44/243.22	c cleaning 96001 clauses out of 192037 with flag 17389945/4824638
250.34/248.28	c cleaning 96997 clauses out of 194033 with flag 17732074/4922635
255.95/253.80	c cleaning 98012 clauses out of 196038 with flag 18069651/5021637
261.17/259.02	c cleaning 99007 clauses out of 198028 with flag 18415062/5121639
266.80/264.62	c cleaning 99989 clauses out of 200017 with flag 18796861/5222635
272.05/269.88	c cleaning 100976 clauses out of 202028 with flag 19162688/5324635
277.66/275.43	c cleaning 101993 clauses out of 204052 with flag 19531828/5427635
283.18/282.62	c cleaning 103018 clauses out of 206064 with flag 19920780/5531640
289.20/288.65	c cleaning 104006 clauses out of 208042 with flag 20300695/5636636
294.92/294.34	c cleaning 105003 clauses out of 210039 with flag 20655310/5742639
300.24/299.66	c cleaning 106005 clauses out of 212032 with flag 21041354/5849635
306.18/305.59	c cleaning 107003 clauses out of 214027 with flag 21464420/5957635
312.01/311.37	c cleaning 107966 clauses out of 216024 with flag 21861232/6066635
318.65/321.34	c cleaning 109005 clauses out of 218058 with flag 22275918/6176635
324.78/327.42	c cleaning 110019 clauses out of 220053 with flag 22673138/6287635
331.96/334.51	c cleaning 110997 clauses out of 222034 with flag 23120488/6399635
338.10/340.68	c cleaning 112000 clauses out of 224038 with flag 23492323/6512636
344.63/347.10	c cleaning 113013 clauses out of 226041 with flag 23893106/6626639
351.17/353.60	c cleaning 114003 clauses out of 228028 with flag 24269738/6741639
357.90/360.38	c cleaning 114995 clauses out of 230022 with flag 24668244/6857636
364.49/366.83	c cleaning 115994 clauses out of 232026 with flag 25091529/6974635
370.73/373.04	c cleaning 116970 clauses out of 234032 with flag 25512388/7092635
377.64/379.90	c cleaning 117988 clauses out of 236062 with flag 25983776/7211635
384.35/386.86	c cleaning 119022 clauses out of 238074 with flag 26414957/7331635
391.17/393.67	c cleaning 119978 clauses out of 240052 with flag 26895107/7452635
397.49/399.91	c cleaning 121016 clauses out of 242074 with flag 27316392/7574635
404.65/407.10	c cleaning 121988 clauses out of 244058 with flag 27770839/7697635
411.46/413.80	c cleaning 122990 clauses out of 246070 with flag 28247797/7821635
418.50/420.88	c cleaning 124005 clauses out of 248080 with flag 28688373/7946635
425.36/427.69	c cleaning 125031 clauses out of 250075 with flag 29160447/8072635
432.98/435.22	c cleaning 126006 clauses out of 252044 with flag 29580060/8199635
440.14/442.63	c cleaning 126998 clauses out of 254039 with flag 30071845/8327636
447.24/449.74	c cleaning 127992 clauses out of 256040 with flag 30549846/8456635
454.54/456.85	c cleaning 129019 clauses out of 258049 with flag 31004516/8586636
461.95/464.23	c cleaning 130012 clauses out of 260030 with flag 31461729/8717636
469.41/471.69	c cleaning 130993 clauses out of 262017 with flag 31919975/8849635
476.37/478.95	c cleaning 131998 clauses out of 264024 with flag 32410135/8982635
483.48/486.06	c cleaning 132981 clauses out of 266026 with flag 32883630/9116635
490.93/493.47	c cleaning 134017 clauses out of 268045 with flag 33401289/9251635
498.17/500.65	c cleaning 135014 clauses out of 270029 with flag 33878285/9387636
505.80/508.59	c cleaning 135999 clauses out of 272014 with flag 34383915/9524635
513.96/516.68	c cleaning 137000 clauses out of 274016 with flag 34815293/9662636
522.19/524.87	c cleaning 137991 clauses out of 276015 with flag 35303048/9801635
530.52/533.18	c cleaning 139004 clauses out of 278025 with flag 35803676/9941636
538.48/541.24	c cleaning 139981 clauses out of 280020 with flag 36312063/10082635
546.72/549.45	c cleaning 141000 clauses out of 282039 with flag 36814535/10224635
554.62/557.35	c cleaning 142013 clauses out of 284039 with flag 37315998/10367635
562.46/565.12	c cleaning 142976 clauses out of 286026 with flag 37839004/10511635
570.55/573.25	c cleaning 144010 clauses out of 288058 with flag 38352982/10656643
579.70/582.36	c cleaning 145019 clauses out of 290041 with flag 38819618/10802636
588.44/591.04	c cleaning 146012 clauses out of 292026 with flag 39305946/10949640
597.19/599.79	c cleaning 146982 clauses out of 294009 with flag 39835419/11097635
605.53/608.02	c cleaning 147993 clauses out of 296027 with flag 40406332/11246635
613.84/616.33	c cleaning 149005 clauses out of 298035 with flag 40935568/11396636
622.97/625.45	c cleaning 150008 clauses out of 300029 with flag 41433576/11547635
632.90/635.34	c cleaning 150999 clauses out of 302022 with flag 41936247/11699636
641.44/643.85	c cleaning 152000 clauses out of 304022 with flag 42426194/11852635
650.01/652.45	c cleaning 152998 clauses out of 306022 with flag 42947635/12006635
658.96/661.31	c cleaning 153994 clauses out of 308024 with flag 43474916/12161635
667.93/670.25	c cleaning 155015 clauses out of 310036 with flag 44105626/12317641
677.03/679.33	c cleaning 156004 clauses out of 312015 with flag 44626205/12474635
686.12/688.49	c cleaning 156998 clauses out of 314011 with flag 45197670/12632635
695.74/698.00	c cleaning 157992 clauses out of 316014 with flag 45733550/12791636
705.00/707.29	c cleaning 158966 clauses out of 318024 with flag 46291270/12951638
714.63/716.85	c cleaning 160012 clauses out of 320057 with flag 46889410/13112637
724.27/726.43	c cleaning 161005 clauses out of 322043 with flag 47466172/13274635
734.77/736.88	c cleaning 162000 clauses out of 324038 with flag 48024521/13437635
743.70/745.71	c cleaning 163017 clauses out of 326039 with flag 48653100/13601636
753.94/755.95	c cleaning 164008 clauses out of 328021 with flag 49195587/13766635
764.63/766.50	c cleaning 164990 clauses out of 330014 with flag 49782772/13932636
775.06/776.90	c cleaning 165998 clauses out of 332023 with flag 50355169/14099635
785.23/787.05	c cleaning 167005 clauses out of 334026 with flag 50936967/14267636
794.87/796.61	c cleaning 167977 clauses out of 336020 with flag 51530231/14436635
804.54/806.20	c cleaning 169006 clauses out of 338046 with flag 52122649/14606638
814.81/816.45	c cleaning 170016 clauses out of 340041 with flag 52657823/14777639
825.66/827.21	c cleaning 170993 clauses out of 342024 with flag 53240740/14949638
836.63/838.13	c cleaning 172006 clauses out of 344028 with flag 53787731/15122635
848.44/850.10	c cleaning 172998 clauses out of 346024 with flag 54388026/15296637
859.21/860.57	c cleaning 173979 clauses out of 348024 with flag 55043870/15471635
869.34/870.63	c cleaning 174996 clauses out of 350047 with flag 55692851/15647637
879.92/881.35	c cleaning 175983 clauses out of 352049 with flag 56313070/15824635
890.98/892.37	c cleaning 177015 clauses out of 354066 with flag 56982739/16002635
901.66/903.19	c cleaning 178005 clauses out of 356051 with flag 57587653/16181635
913.16/914.68	c cleaning 178995 clauses out of 358048 with flag 58288714/16361637
924.47/925.93	c cleaning 180012 clauses out of 360051 with flag 58932412/16542635
935.81/937.36	c cleaning 181008 clauses out of 362039 with flag 59607125/16724635
948.64/950.11	c cleaning 181986 clauses out of 364032 with flag 60130696/16907636
959.50/960.92	c cleaning 182994 clauses out of 366045 with flag 60820113/17091635
970.07/971.58	c cleaning 184008 clauses out of 368051 with flag 61479661/17276635
981.44/982.80	c cleaning 185000 clauses out of 370044 with flag 62146691/17462636
993.00/994.34	c cleaning 185989 clauses out of 372043 with flag 62821674/17649635
1004.94/1006.30	c cleaning 187025 clauses out of 374055 with flag 63504329/17837636
1016.61/1017.97	c cleaning 188008 clauses out of 376029 with flag 64224966/18026635
1029.05/1030.41	c cleaning 188999 clauses out of 378021 with flag 64836173/18216635
1040.53/1041.81	c cleaning 189975 clauses out of 380023 with flag 65466468/18407636
1052.29/1053.51	c cleaning 191002 clauses out of 382047 with flag 66190736/18599635
1063.26/1064.67	c cleaning 191994 clauses out of 384045 with flag 66941908/18792635
1075.13/1076.58	c cleaning 193008 clauses out of 386051 with flag 67600118/18986635
1087.56/1089.05	c cleaning 194013 clauses out of 388043 with flag 68230887/19181635
1100.00/1101.40	c cleaning 195001 clauses out of 390030 with flag 68933264/19377635
1113.26/1114.61	c cleaning 195966 clauses out of 392029 with flag 69598484/19574635
1126.32/1127.75	c cleaning 197001 clauses out of 394064 with flag 70312655/19772636
1139.83/1141.18	c cleaning 198027 clauses out of 396062 with flag 71026835/19971635
1152.94/1154.30	c cleaning 199004 clauses out of 398035 with flag 71724011/20171635
1165.88/1167.25	c cleaning 199955 clauses out of 400031 with flag 72472594/20372635
1180.54/1181.94	c cleaning 201010 clauses out of 402077 with flag 73216295/20574636
1193.48/1194.87	c cleaning 202016 clauses out of 404066 with flag 73945102/20777635
1206.30/1207.67	c cleaning 203012 clauses out of 406050 with flag 74718249/20981635
1212.31/1213.72	c Got one! Elapsed wall clock time (in seconds):1213.586
1212.31/1213.72	o 26
1214.42/1215.82	c cleaning 164032 clauses out of 328100 with flag 14558/21106697
1215.41/1216.83	c cleaning 85023 clauses out of 170066 with flag 32777/21112695
1215.91/1217.35	c cleaning 46014 clauses out of 92044 with flag 55764/21119696
1216.31/1217.74	c cleaning 27001 clauses out of 54030 with flag 82484/21127696
1216.71/1218.16	c cleaning 17997 clauses out of 36028 with flag 115964/21136695
1217.11/1218.59	c cleaning 13981 clauses out of 28031 with flag 152589/21146695
1217.62/1219.04	c cleaning 12481 clauses out of 25050 with flag 193259/21157695
1218.21/1219.60	c cleaning 12249 clauses out of 24570 with flag 235826/21169696
1218.83/1220.21	c cleaning 12654 clauses out of 25320 with flag 286662/21182695
1219.43/1220.82	c cleaning 13333 clauses out of 26666 with flag 334364/21196695
1220.03/1221.45	c cleaning 14154 clauses out of 28334 with flag 383675/21211696
1220.73/1222.18	c cleaning 15076 clauses out of 30183 with flag 437703/21227699
1221.53/1222.97	c cleaning 16035 clauses out of 32103 with flag 495304/21244695
1222.32/1223.74	c cleaning 17028 clauses out of 34068 with flag 548051/21262695
1223.13/1224.55	c cleaning 18001 clauses out of 36040 with flag 615657/21281695
1224.13/1225.50	c cleaning 19026 clauses out of 38052 with flag 697585/21301708
1225.03/1226.42	c cleaning 19994 clauses out of 40014 with flag 785555/21322696
1226.02/1227.41	c cleaning 21001 clauses out of 42021 with flag 874553/21344697
1227.03/1228.43	c cleaning 22006 clauses out of 44020 with flag 969757/21367697
1228.13/1229.54	c cleaning 22997 clauses out of 46012 with flag 1071521/21391695
1229.33/1230.72	c cleaning 24000 clauses out of 48015 with flag 1169218/21416695
1230.52/1231.90	c cleaning 24996 clauses out of 50015 with flag 1267974/21442695
1231.73/1233.11	c cleaning 26011 clauses out of 52021 with flag 1373869/21469697
1233.03/1234.42	c cleaning 26987 clauses out of 54012 with flag 1469512/21497699
1234.32/1235.71	c cleaning 28012 clauses out of 56025 with flag 1581667/21526699
1235.63/1237.02	c cleaning 28994 clauses out of 58009 with flag 1686331/21556695
1237.02/1238.48	c cleaning 30004 clauses out of 60015 with flag 1797772/21587695
1238.52/1239.98	c cleaning 30994 clauses out of 62011 with flag 1912982/21619695
1240.08/1241.82	c cleaning 31988 clauses out of 64017 with flag 2028819/21652695
1241.57/1243.36	c cleaning 32985 clauses out of 66029 with flag 2179843/21686695
1243.17/1244.93	c cleaning 33987 clauses out of 68045 with flag 2332888/21721696
1244.88/1246.61	c cleaning 34989 clauses out of 70057 with flag 2480849/21757695
1246.47/1248.26	c cleaning 36011 clauses out of 72068 with flag 2614062/21794695
1248.39/1250.17	c cleaning 36999 clauses out of 74057 with flag 2742509/21832695
1250.29/1252.04	c cleaning 38014 clauses out of 76058 with flag 2874896/21871695
1252.20/1253.92	c cleaning 39022 clauses out of 78046 with flag 3002357/21911697
1254.10/1255.88	c cleaning 39993 clauses out of 80023 with flag 3148690/21952696
1256.09/1257.89	c cleaning 41010 clauses out of 82032 with flag 3292526/21994698
1258.31/1260.02	c cleaning 42010 clauses out of 84019 with flag 3430464/22037695
1260.50/1262.26	c cleaning 42990 clauses out of 86009 with flag 3560691/22081695
1263.21/1264.99	c cleaning 44007 clauses out of 88019 with flag 3687987/22126695
1265.81/1267.51	c cleaning 45003 clauses out of 90012 with flag 3821714/22172695
1268.32/1270.04	c cleaning 45989 clauses out of 92009 with flag 3982841/22219695
1271.07/1272.90	c cleaning 47008 clauses out of 94026 with flag 4157936/22267701
1273.60/1275.40	c cleaning 47991 clauses out of 96016 with flag 4336112/22316699
1276.20/1278.03	c cleaning 48989 clauses out of 98021 with flag 4509588/22366695
1278.91/1280.79	c cleaning 50018 clauses out of 100036 with flag 4695590/22417699
1281.55/1283.34	c cleaning 50982 clauses out of 102014 with flag 4876674/22469695
1284.34/1286.12	c cleaning 52007 clauses out of 104032 with flag 5083378/22522695
1287.15/1288.92	c cleaning 52995 clauses out of 106025 with flag 5265147/22576695
1289.96/1291.71	c cleaning 53998 clauses out of 108030 with flag 5441718/22631695
1292.85/1294.61	c cleaning 55018 clauses out of 110038 with flag 5630619/22687701
1295.66/1297.40	c cleaning 55969 clauses out of 112018 with flag 5828819/22744699
1298.88/1300.63	c cleaning 56996 clauses out of 114045 with flag 6052090/22802695
1301.73/1303.60	c cleaning 58024 clauses out of 116051 with flag 6256739/22861697
1304.75/1306.64	c cleaning 59003 clauses out of 118025 with flag 6478420/22921695
1307.97/1309.80	c cleaning 59994 clauses out of 120022 with flag 6698236/22982695
1311.32/1313.19	c cleaning 60989 clauses out of 122028 with flag 6915376/23044695
1314.71/1316.60	c cleaning 62015 clauses out of 124039 with flag 7146568/23107695
1317.92/1319.73	c cleaning 62995 clauses out of 126024 with flag 7383457/23171695
1321.14/1322.91	c cleaning 63980 clauses out of 128029 with flag 7602362/23236695
1324.46/1326.26	c cleaning 64993 clauses out of 130049 with flag 7833502/23302695
1327.90/1329.65	c cleaning 66008 clauses out of 132056 with flag 8063387/23369695
1331.47/1333.33	c cleaning 67020 clauses out of 134051 with flag 8320015/23437698
1334.75/1336.65	c cleaning 67996 clauses out of 136030 with flag 8567110/23506697
1338.38/1340.12	c cleaning 69000 clauses out of 138032 with flag 8822820/23576695
1342.39/1344.16	c cleaning 70006 clauses out of 140032 with flag 9063519/23647695
1346.29/1348.05	c cleaning 70951 clauses out of 142027 with flag 9320103/23719696
1349.88/1351.62	c cleaning 72038 clauses out of 144076 with flag 9619160/23792696
1353.99/1355.77	c cleaning 73007 clauses out of 146044 with flag 9888014/23866702
1358.41/1360.19	c cleaning 74013 clauses out of 148031 with flag 10155124/23941696
1363.35/1365.29	c cleaning 75007 clauses out of 150022 with flag 10391067/24017700
1367.53/1369.46	c cleaning 75999 clauses out of 152013 with flag 10660828/24094698
1371.65/1373.57	c cleaning 76980 clauses out of 154011 with flag 10948734/24172695
1376.04/1377.98	c cleaning 78002 clauses out of 156031 with flag 11230623/24251695
1380.14/1382.04	c cleaning 78982 clauses out of 158029 with flag 11520070/24331695
1384.24/1386.17	c cleaning 80021 clauses out of 160047 with flag 11806228/24412695
1389.55/1391.40	c cleaning 80994 clauses out of 162026 with flag 12086168/24494695
1394.50/1396.53	c cleaning 82014 clauses out of 164032 with flag 12356695/24577695
1399.51/1401.56	c cleaning 82996 clauses out of 166018 with flag 12699174/24661695
1404.20/1406.27	c cleaning 84001 clauses out of 168022 with flag 12981320/24746695
1409.01/1411.09	c cleaning 84997 clauses out of 170024 with flag 13276393/24832698
1413.49/1415.54	c cleaning 86009 clauses out of 172028 with flag 13598583/24919699
1418.28/1420.38	c cleaning 86974 clauses out of 174015 with flag 13925095/25007695
1423.02/1425.26	c cleaning 88013 clauses out of 176041 with flag 14223299/25096695
1427.84/1430.00	c cleaning 88997 clauses out of 178028 with flag 14514885/25186695
1432.64/1434.80	c cleaning 89985 clauses out of 180031 with flag 14838300/25277695
1437.94/1440.19	c cleaning 91014 clauses out of 182048 with flag 15190035/25369697
1442.95/1445.17	c cleaning 92008 clauses out of 184035 with flag 15540679/25462698
1448.27/1450.47	c cleaning 92978 clauses out of 186024 with flag 15865618/25556695
1453.64/1457.87	c cleaning 94023 clauses out of 188048 with flag 16204051/25651697
1459.05/1463.27	c cleaning 94983 clauses out of 190023 with flag 16555456/25747695
1464.53/1468.73	c cleaning 95995 clauses out of 192040 with flag 16860336/25844695
1469.74/1473.96	c cleaning 96998 clauses out of 194045 with flag 17196068/25942695
1475.46/1479.68	c cleaning 98009 clauses out of 196047 with flag 17555652/26041695
1481.06/1485.27	c cleaning 99010 clauses out of 198038 with flag 17933769/26141695
1487.18/1491.31	c cleaning 99989 clauses out of 200028 with flag 18302228/26242695
1492.64/1496.98	c cleaning 101008 clauses out of 202040 with flag 18696061/26344696
1498.57/1502.81	c cleaning 101989 clauses out of 204032 with flag 19070757/26447696
1504.30/1508.59	c cleaning 103014 clauses out of 206042 with flag 19448596/26551695
1509.93/1514.17	c cleaning 103966 clauses out of 208028 with flag 19837095/26656695
1516.54/1520.74	c cleaning 105031 clauses out of 210062 with flag 20197542/26762695
1522.45/1526.89	c cleaning 106002 clauses out of 212031 with flag 20531008/26869695
1528.89/1533.26	c cleaning 106982 clauses out of 214029 with flag 20937871/26977695
1534.92/1539.20	c cleaning 108002 clauses out of 216047 with flag 21355600/27086695
1541.56/1545.80	c cleaning 108990 clauses out of 218045 with flag 21756557/27196695
1548.06/1552.36	c cleaning 110023 clauses out of 220055 with flag 22158491/27307695
1554.35/1558.86	c cleaning 110984 clauses out of 222032 with flag 22560438/27419695
1560.58/1565.07	c cleaning 112007 clauses out of 224049 with flag 22988649/27532696
1567.60/1572.02	c cleaning 112998 clauses out of 226041 with flag 23423934/27646695
1573.81/1578.29	c cleaning 114004 clauses out of 228043 with flag 23879497/27761695
1581.63/1586.86	c cleaning 115005 clauses out of 230041 with flag 24327023/27877697
1588.07/1593.23	c cleaning 115994 clauses out of 232034 with flag 24745432/27994695
1595.01/1600.17	c cleaning 116995 clauses out of 234040 with flag 25185286/28112695
1601.93/1607.00	c cleaning 117989 clauses out of 236045 with flag 25605308/28231695
1609.35/1614.79	c cleaning 119019 clauses out of 238056 with flag 26011541/28351695
1616.67/1622.05	c cleaning 119972 clauses out of 240037 with flag 26450717/28472695
1623.61/1628.99	c cleaning 121018 clauses out of 242065 with flag 26911497/28594695
1631.83/1637.19	c cleaning 122019 clauses out of 244047 with flag 27314933/28717695
1639.06/1644.32	c cleaning 123013 clauses out of 246031 with flag 27696564/28841698
1646.56/1652.07	c cleaning 124008 clauses out of 248016 with flag 28171676/28966696
1654.07/1659.55	c cleaning 124979 clauses out of 250007 with flag 28668772/29092695
1662.25/1667.64	c cleaning 126004 clauses out of 252032 with flag 29120033/29219699
1669.78/1675.12	c cleaning 126975 clauses out of 254024 with flag 29610693/29347695
1677.25/1682.75	c cleaning 128018 clauses out of 256049 with flag 30072355/29476695
1684.86/1690.36	c cleaning 129006 clauses out of 258031 with flag 30552256/29606695
1692.49/1697.91	c cleaning 129992 clauses out of 260025 with flag 31020387/29737695
1699.92/1705.39	c cleaning 131011 clauses out of 262034 with flag 31480123/29869696
1708.88/1714.42	c cleaning 132008 clauses out of 264023 with flag 31909422/30002696
1716.15/1721.63	c cleaning 133006 clauses out of 266014 with flag 32418855/30136695
1724.85/1730.32	c cleaning 133992 clauses out of 268011 with flag 32864204/30271698
1732.15/1737.71	c cleaning 135006 clauses out of 270016 with flag 33350335/30407695
1741.24/1746.83	c cleaning 135981 clauses out of 272010 with flag 33822951/30544695
1749.38/1754.90	c cleaning 136995 clauses out of 274029 with flag 34323824/30682695
1758.20/1763.75	c cleaning 137995 clauses out of 276035 with flag 34864191/30821696
1766.78/1772.48	c cleaning 138982 clauses out of 278040 with flag 35332274/30961696
1775.14/1780.80	c cleaning 140011 clauses out of 280058 with flag 35913783/31102696
1783.24/1788.85	c cleaning 141004 clauses out of 282046 with flag 36440376/31244695
1792.00/1797.50	c cleaning 142013 clauses out of 284042 with flag 36958809/31387695
1801.04/1806.79	c cleaning 142993 clauses out of 286029 with flag 37483352/31531695
1809.86/1815.54	c cleaning 144000 clauses out of 288036 with flag 38020611/31676695
1818.71/1824.30	c cleaning 144990 clauses out of 290036 with flag 38581611/31822695
1827.20/1832.98	c cleaning 146023 clauses out of 292047 with flag 39142874/31969696
1836.76/1842.40	c cleaning 146980 clauses out of 294023 with flag 39711138/32117695
1846.08/1851.70	c cleaning 147987 clauses out of 296043 with flag 40305864/32266695
1854.97/1861.18	c cleaning 149021 clauses out of 298058 with flag 40857502/32416697
1864.46/1870.68	c cleaning 150007 clauses out of 300036 with flag 41392486/32567696
1873.90/1880.07	c cleaning 151005 clauses out of 302028 with flag 41938658/32719695
1882.78/1888.97	c cleaning 152007 clauses out of 304023 with flag 42485896/32872695
1893.05/1899.33	c cleaning 152973 clauses out of 306016 with flag 43092698/33026695
1902.58/1908.89	c cleaning 153992 clauses out of 308044 with flag 43668113/33181696
1911.64/1917.82	c cleaning 155015 clauses out of 310052 with flag 44259858/33337696
1920.35/1926.76	c cleaning 155997 clauses out of 312036 with flag 44818612/33494695
1930.47/1936.88	c cleaning 157007 clauses out of 314039 with flag 45424507/33652695
1940.95/1947.22	c cleaning 158017 clauses out of 316033 with flag 45977886/33811696
1950.81/1957.23	c cleaning 158976 clauses out of 318015 with flag 46590822/33971695
1961.57/1967.80	c cleaning 159997 clauses out of 320040 with flag 47180663/34132696
1970.88/1977.19	c cleaning 161010 clauses out of 322042 with flag 47722422/34294695
1980.55/1987.16	c cleaning 162010 clauses out of 324032 with flag 48344729/34457695
1990.78/1997.33	c cleaning 162992 clauses out of 326024 with flag 48995581/34621697
2001.89/2008.45	c cleaning 163983 clauses out of 328030 with flag 49565209/34786695
2012.41/2019.05	c cleaning 164996 clauses out of 330047 with flag 50195913/34952695
2022.62/2029.26	c cleaning 165997 clauses out of 332051 with flag 50765003/35119695
2032.75/2039.38	c cleaning 167002 clauses out of 334054 with flag 51391324/35287695
2043.38/2050.08	c cleaning 168010 clauses out of 336053 with flag 52032849/35456696
2054.28/2060.83	c cleaning 168968 clauses out of 338042 with flag 52647918/35626695
2065.32/2071.83	c cleaning 170011 clauses out of 340074 with flag 53300778/35797695
2076.43/2083.25	c cleaning 171006 clauses out of 342063 with flag 53884486/35969695
2086.82/2093.66	c cleaning 172009 clauses out of 344060 with flag 54492128/36142698
2098.86/2105.66	c cleaning 173014 clauses out of 346049 with flag 55179592/36316696
2109.50/2116.83	c cleaning 173992 clauses out of 348034 with flag 55843652/36491695
2120.52/2127.83	c cleaning 174994 clauses out of 350042 with flag 56535372/36667695
2131.99/2139.45	c cleaning 175997 clauses out of 352048 with flag 57148498/36844695
2143.63/2151.06	c cleaning 177012 clauses out of 354052 with flag 57783181/37022696
2155.17/2162.57	c cleaning 178016 clauses out of 356041 with flag 58371276/37201697
2167.37/2174.89	c cleaning 178999 clauses out of 358023 with flag 58947215/37381695
2178.61/2186.06	c cleaning 180005 clauses out of 360024 with flag 59587055/37562695
2192.55/2200.03	c cleaning 180993 clauses out of 362019 with flag 60155074/37744695
2203.67/2211.19	c cleaning 181981 clauses out of 364026 with flag 60886433/37927695
2215.80/2223.24	c cleaning 182992 clauses out of 366045 with flag 61560133/38111695
2228.25/2235.60	c cleaning 184020 clauses out of 368056 with flag 62190702/38296698
2240.91/2248.22	c cleaning 185006 clauses out of 370034 with flag 62822897/38482696
2254.20/2261.63	c cleaning 185984 clauses out of 372027 with flag 63471801/38669695
2266.54/2273.96	c cleaning 187011 clauses out of 374043 with flag 64125825/38857695
2278.88/2286.29	c cleaning 188006 clauses out of 376034 with flag 64849096/39046697
2292.09/2299.54	c cleaning 189007 clauses out of 378028 with flag 65550883/39236697
2304.45/2311.90	c cleaning 190001 clauses out of 380019 with flag 66267881/39427695
2316.96/2324.56	c cleaning 191000 clauses out of 382022 with flag 67024539/39619699
2329.17/2336.76	c cleaning 191997 clauses out of 384022 with flag 67745360/39812699
2341.89/2349.49	c cleaning 193006 clauses out of 386024 with flag 68410178/40006698
2354.33/2362.02	c cleaning 193993 clauses out of 388021 with flag 69091058/40201701
2366.49/2374.11	c cleaning 195001 clauses out of 390022 with flag 69753501/40397695
2379.52/2387.51	c cleaning 195997 clauses out of 392023 with flag 70405597/40594697
2395.28/2403.25	c cleaning 197010 clauses out of 394026 with flag 71157078/40792697
2409.14/2417.27	c cleaning 197998 clauses out of 396016 with flag 71887246/40991697
2421.69/2429.76	c cleaning 198996 clauses out of 398017 with flag 72589620/41191696
2436.20/2444.66	c cleaning 199997 clauses out of 400022 with flag 73348896/41392697
2449.03/2457.41	c cleaning 200992 clauses out of 402023 with flag 74053199/41594695
2462.98/2471.37	c cleaning 201991 clauses out of 404031 with flag 74824985/41797695
2476.79/2485.36	c cleaning 202990 clauses out of 406040 with flag 75605607/42001695
2489.58/2498.18	c cleaning 203987 clauses out of 408050 with flag 76380121/42206695
2503.01/2511.92	c cleaning 205014 clauses out of 410064 with flag 77134239/42412696
2520.51/2529.47	c cleaning 206015 clauses out of 412049 with flag 77782915/42619695
2533.98/2543.05	c cleaning 207003 clauses out of 414034 with flag 78516555/42827695
2547.80/2556.80	c cleaning 207990 clauses out of 416031 with flag 79326458/43036695
2562.53/2571.73	c cleaning 209001 clauses out of 418041 with flag 80052768/43246695
2576.66/2585.85	c cleaning 210014 clauses out of 420043 with flag 80820281/43457698
2590.80/2600.46	c cleaning 210993 clauses out of 422028 with flag 81550688/43669697
2604.90/2614.46	c cleaning 211982 clauses out of 424034 with flag 82329228/43882696
2619.39/2629.25	c cleaning 213018 clauses out of 426051 with flag 83108401/44096695
2633.55/2643.33	c cleaning 214015 clauses out of 428033 with flag 83872066/44311695
2647.30/2657.03	c cleaning 214992 clauses out of 430020 with flag 84662794/44527697
2665.45/2675.37	c cleaning 215988 clauses out of 432026 with flag 85378394/44744695
2678.53/2688.39	c cleaning 217000 clauses out of 434038 with flag 86169069/44962695
2694.37/2704.10	c cleaning 217994 clauses out of 436038 with flag 86948998/45181695
2708.62/2718.28	c cleaning 218997 clauses out of 438044 with flag 87723973/45401695
2723.72/2733.53	c cleaning 220008 clauses out of 440047 with flag 88466320/45622695
2738.16/2747.92	c cleaning 220993 clauses out of 442041 with flag 89286382/45844697
2752.53/2762.54	c cleaning 222002 clauses out of 444048 with flag 90150481/46067697
2770.61/2780.65	c cleaning 222984 clauses out of 446044 with flag 90956084/46291695
2786.05/2796.41	c cleaning 223970 clauses out of 448062 with flag 91790819/46516697
2801.30/2811.62	c cleaning 225038 clauses out of 450090 with flag 92582558/46742695
2818.01/2828.52	c cleaning 226022 clauses out of 452052 with flag 93437720/46969695
2834.96/2845.62	c cleaning 227008 clauses out of 454030 with flag 94233602/47197695
2849.60/2860.29	c cleaning 227992 clauses out of 456022 with flag 94962720/47426695
2864.24/2875.08	c cleaning 228986 clauses out of 458030 with flag 95830635/47656695
2881.15/2891.80	c cleaning 230008 clauses out of 460044 with flag 96661449/47887695
2897.52/2908.43	c cleaning 231015 clauses out of 462036 with flag 97593777/48119695
2913.75/2924.63	c cleaning 232009 clauses out of 464023 with flag 98497924/48352697
2930.71/2941.88	c cleaning 232981 clauses out of 466012 with flag 99372088/48586695
2948.51/2959.51	c cleaning 234001 clauses out of 468034 with flag 100210989/48821698
2971.93/2983.14	c cleaning 235007 clauses out of 470032 with flag 100941702/49057697
2988.71/3000.01	c cleaning 236009 clauses out of 472024 with flag 101829252/49294696
3006.45/3017.75	c cleaning 236999 clauses out of 474014 with flag 102694748/49532695
3025.51/3037.00	c cleaning 237978 clauses out of 476016 with flag 103609421/49771696
3044.65/3056.17	c cleaning 239019 clauses out of 478040 with flag 104500241/50011698
3061.68/3073.33	c cleaning 240008 clauses out of 480021 with flag 105337648/50252698
3078.96/3090.79	c cleaning 240980 clauses out of 482011 with flag 106199981/50494696
3096.10/3107.85	c cleaning 242000 clauses out of 484030 with flag 107146651/50737695
3114.23/3126.10	c cleaning 243011 clauses out of 486030 with flag 108043926/50981695
3131.10/3143.00	c cleaning 244007 clauses out of 488019 with flag 108925542/51226695
3149.77/3161.72	c cleaning 245001 clauses out of 490012 with flag 109766730/51472695
3167.81/3179.78	c cleaning 245978 clauses out of 492011 with flag 110636738/51719695
3186.34/3199.51	c cleaning 247005 clauses out of 494033 with flag 111459481/51967695
3204.78/3218.04	c cleaning 248006 clauses out of 496031 with flag 112335785/52216698
3222.65/3235.89	c cleaning 248961 clauses out of 498022 with flag 113322875/52466695
3240.21/3253.67	c cleaning 250019 clauses out of 500061 with flag 114252371/52717695
3259.18/3272.57	c cleaning 250989 clauses out of 502042 with flag 115190788/52969695
3278.44/3291.95	c cleaning 251986 clauses out of 504053 with flag 116078487/53222695
3299.76/3313.57	c cleaning 253028 clauses out of 506067 with flag 116979913/53476695
3318.73/3332.49	c cleaning 254017 clauses out of 508039 with flag 117863852/53731695
3338.35/3352.24	c cleaning 255007 clauses out of 510022 with flag 118807588/53987695
3356.78/3370.95	c cleaning 255990 clauses out of 512015 with flag 119782384/54244695
3376.82/3390.92	c cleaning 256996 clauses out of 514025 with flag 120676312/54502695
3394.49/3408.79	c cleaning 257967 clauses out of 516029 with flag 121561075/54761695
3415.96/3430.17	c cleaning 259030 clauses out of 518067 with flag 122564627/55021700
3438.59/3452.91	c cleaning 260010 clauses out of 520036 with flag 123469403/55282699
3458.35/3472.79	c cleaning 261006 clauses out of 522022 with flag 124540843/55544695
3476.80/3491.12	c cleaning 262001 clauses out of 524016 with flag 125486150/55807695
3495.18/3510.06	c cleaning 262989 clauses out of 526015 with flag 126456303/56071695
3515.07/3530.29	c cleaning 263983 clauses out of 528027 with flag 127402034/56336696
3536.90/3552.04	c cleaning 265003 clauses out of 530045 with flag 128406029/56602697
3556.62/3571.93	c cleaning 266020 clauses out of 532040 with flag 129388942/56869695
3575.74/3591.23	c cleaning 266998 clauses out of 534023 with flag 130275343/57137698
3595.42/3610.81	c cleaning 267996 clauses out of 536022 with flag 131271151/57406695
3600.03/3615.41	c starts		: 77022
3600.03/3615.42	c conflicts		: 57499482
3600.03/3615.42	c decisions		: 322598025
3600.03/3615.42	c propagations		: 4475003263
3600.03/3615.42	c inspects		: 15905551617
3600.03/3615.42	c shortcuts		: 0
3600.03/3615.42	c learnt literals	: 0
3600.03/3615.42	c learnt binary clauses	: 0
3600.03/3615.42	c learnt ternary clauses	: 0
3600.03/3615.42	c learnt constraints	: 57499482
3600.03/3615.42	c ignored constraints	: 0
3600.03/3615.42	c root simplifications	: 0
3600.03/3615.42	c removed literals (reason simplification)	: 262045951
3600.03/3615.42	c reason swapping (by a shorter reason)	: 0
3600.03/3615.42	c Calls to reduceDB	: 474
3600.03/3615.42	c Number of update (reduction) of LBD	: 30618899
3600.03/3615.42	c Imported unit clauses	: 0
3600.03/3615.42	c No decision after first conflict	: false
3600.03/3615.42	c number of reductions to clauses (during analyze)	: 0
3600.03/3615.42	c number of learned constraints concerned by reduction	: 0
3600.03/3615.42	c number of learning phase by resolution	: 0
3600.03/3615.42	c number of learning phase by cutting planes	: 0
3600.03/3615.42	c number of rounding to 1 operations	: 0
3600.03/3615.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3615.42	c number of reductions of the coefficients by power 2 	: 0
3600.03/3615.42	c number of right shift for reduction by power 2 	: 0
3600.03/3615.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3615.42	c number of ending skipping 	: 0
3600.03/3615.43	c number of internal skipping 	: 0
3600.03/3615.43	c number of derivation steps 	: 0
3600.03/3615.43	c number of skipped derivation steps 	: 0
3600.03/3615.43	c number of remaining unassigned 	: 0
3600.03/3615.43	c number of remaining assigned 	: 0
3600.03/3615.43	c number of falsified literals weakened from reason	: 0
3600.03/3615.43	c number of falsified literals weakened from conflict	: 0
3600.03/3615.43	c time for arithmetic operations	: 0
3600.03/3615.43	c minimum degree of deleted constraints	: null
3600.03/3615.43	c maximum degree of deleted constraints	: null
3600.03/3615.43	c number of deleted constraints	: 0
3600.03/3615.43	c speed (assignments/second)	: 1237830.7531150437
3600.03/3615.43	c non guided choices	: 0
3600.23/3615.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 360813
3600.23/3615.50	s SATISFIABLE
3600.23/3615.50	c Found 5 solution(s)
3600.23/3615.50	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.23/3615.50	c objective function=26
3600.23/3615.50	c Total wall clock time (in seconds): 3615.371

Verifier Data 

OK	26

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 (61329 MiB free)
  memory of node 1: 64465 MiB (60556 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487537-1751337572/watcher-4487537-1751337572 -o /tmp/evaluation-result-4487537-1751337572/solver-4487537-1751337572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48346 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487537-1751337572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487537-1751337572.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49136, runsolver pid=49133

[startup+0.10006 s]*
/proc/loadavg: 4.21 3.53 3.77 6/344 49154
/proc/meminfo: memFree=124786912/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=18930384 memory=57724 CPUtime=0.12 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 6572 0 0 0 10 2 0 0 20 0 18 0 49434693 19384713216 14431 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4732596 14431 5340 1 0 547619 0
[pid=49136/tid=49138] ppid=49133 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 5073 0 0 0 6 1 0 0 20 0 18 0 49434694 19384713216 14431 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49434696 19384713216 14431 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=18930384 memory=58485492697507 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49434697 19384713216 14431 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57724 KiB

[startup+0.205797 s]*
/proc/loadavg: 4.21 3.53 3.77 7/344 49154
/proc/meminfo: memFree=124778468/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=18930384 memory=68336 CPUtime=0.31 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 7071 0 0 0 29 2 0 0 20 0 18 0 49434693 19384713216 17084 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4732596 17084 5436 1 0 547972 0
[pid=49136/tid=49138] ppid=49133 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) S 49133 49136 48335 0 -1 4194368 5288 0 0 0 16 1 0 0 20 0 18 0 49434694 19384713216 17084 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=18930384 memory=2630 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49434696 19384713216 17084 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 49434697 19384713216 17084 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68336 KiB

[startup+0.30569 s]*
/proc/loadavg: 4.21 3.53 3.77 6/345 49155
/proc/meminfo: memFree=124766812/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=18996948 memory=77296 CPUtime=0.5 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 8790 0 0 0 47 3 0 0 20 0 19 0 49434693 19452874752 19324 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4749237 19324 5468 1 0 549332 0
[pid=49136/tid=49138] ppid=49133 vsize=18996948 memory=-6000919494215164779 CPUtime=0.24 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 5452 0 0 0 23 1 0 0 20 0 19 0 49434694 19452874752 19324 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49434696 19452874752 19324 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49434697 19452874752 19324 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49434716 19452874752 19324 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77296 KiB

[startup+0.700206 s]
/proc/loadavg: 4.21 3.53 3.77 6/345 49155
/proc/meminfo: memFree=124725792/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=18996948 memory=142144 CPUtime=1.26 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 11956 0 0 0 122 4 0 0 20 0 19 0 49434693 19452874752 35536 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4749237 35536 5468 1 0 551470 0
[pid=49136/tid=49138] ppid=49133 vsize=18996948 memory=17664 CPUtime=0.58 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 5500 0 0 0 55 3 0 0 20 0 19 0 49434694 19452874752 35536 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49434696 19452874752 35536 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 49434697 19452874752 35536 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49434716 19452874752 35536 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142144 KiB

[startup+1.50024 s]
/proc/loadavg: 4.21 3.53 3.77 6/346 49156
/proc/meminfo: memFree=124661456/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=168744 CPUtime=2.85 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 19972 0 0 0 278 7 0 0 20 0 20 0 49434693 19521036288 42186 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 42186 5500 1 0 552706 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=10752 CPUtime=1.36 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 6072 0 0 0 132 4 0 0 20 0 20 0 49434694 19521036288 42186 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 42186 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 42186 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 42186 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168744 KiB

[startup+3.10555 s]
/proc/loadavg: 4.35 3.57 3.78 5/346 49156
/proc/meminfo: memFree=124522208/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=296000 CPUtime=5.44 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 22341 0 0 0 533 11 0 0 20 0 20 0 49434693 19521036288 74000 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 74000 5500 1 0 552708 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=10752 CPUtime=2.93 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 6495 0 0 0 286 7 0 0 20 0 20 0 49434694 19521036288 74000 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=-6000919494215164779 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 74000 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 74000 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 74000 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 296000 KiB

[startup+6.30023 s]
/proc/loadavg: 4.35 3.57 3.78 5/346 49157
/proc/meminfo: memFree=123992072/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=821200 CPUtime=8.71 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 25190 0 0 0 847 24 0 0 20 0 20 0 49434693 19521036288 205300 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 205300 5500 1 0 552742 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=0 CPUtime=6.12 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 7594 0 0 0 592 20 0 0 20 0 20 0 49434694 19521036288 205300 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 205300 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 205300 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=168872 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 205300 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 821200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.40 3.60 3.79 5/346 49157
/proc/meminfo: memFree=123347128/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=1306668 CPUtime=15.22 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 30131 0 0 0 1485 37 0 0 20 0 20 0 49434693 19521036288 326667 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 326667 5500 1 0 552742 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=168872 CPUtime=12.49 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 8536 0 0 0 1217 32 0 0 20 0 20 0 49434694 19521036288 326667 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 326667 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=1306668 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 326667 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 326667 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 15.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1306668 KiB

[startup+25.5002 s]
/proc/loadavg: 4.39 3.63 3.80 5/346 49157
/proc/meminfo: memFree=123126644/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=1319116 CPUtime=28.04 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 33452 0 0 0 2759 45 0 0 20 0 20 0 49434693 19521036288 329779 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 329779 5532 1 0 552742 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=10752 CPUtime=25.22 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 9394 0 0 0 2483 39 0 0 20 0 20 0 49434694 19521036288 329779 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=1306668 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 329779 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 329779 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 329779 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 28.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1319116 KiB

[startup+51.1057 s]
/proc/loadavg: 4.25 3.66 3.80 5/346 49157
/proc/meminfo: memFree=122747292/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=1329388 CPUtime=53.47 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 36431 0 0 0 5286 61 0 0 20 0 20 0 49434693 19521036288 332347 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 332347 5532 1 0 552742 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=14848 CPUtime=50.5 cores=4,6

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

Current children cumulated memory: 2164940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.16 5/344 49475
/proc/meminfo: memFree=67211812/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2164940 CPUtime=3268.82 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 113902 0 0 0 325353 1529 0 0 20 0 20 0 49434693 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541235 5564 1 0 554083 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=2164940 CPUtime=3219.82 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 43142 0 0 0 320568 1414 0 0 20 0 20 0 49434694 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1432 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3268.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/344 49478
/proc/meminfo: memFree=66402176/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2164940 CPUtime=3328.42 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 113969 0 0 0 331292 1550 0 0 20 0 20 0 49434693 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541235 5564 1 0 554083 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=2164940 CPUtime=3278.65 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 43154 0 0 0 326431 1434 0 0 20 0 20 0 49434694 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1432 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3328.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/345 49481
/proc/meminfo: memFree=65618200/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2164940 CPUtime=3388.1 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 115606 0 0 0 337238 1572 0 0 20 0 20 0 49434693 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541235 5564 1 0 554083 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=5632 CPUtime=3337.61 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 44165 0 0 0 332307 1454 0 0 20 0 20 0 49434694 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1433 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=-6000919494215164779 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541235 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3388.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.15 6/345 49553
/proc/meminfo: memFree=74828080/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2166988 CPUtime=3448.16 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 118161 0 0 0 343218 1598 0 0 20 0 20 0 49434693 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541747 5564 1 0 554103 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=5632 CPUtime=3396.91 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 44909 0 0 0 338212 1479 0 0 20 0 20 0 49434694 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1519 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=2164940 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3448.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/346 49556
/proc/meminfo: memFree=67320716/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2166988 CPUtime=3507.51 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 119467 0 0 0 349127 1624 0 0 20 0 20 0 49434693 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541747 5564 1 0 554103 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=2166988 CPUtime=3455.55 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 45463 0 0 0 344053 1502 0 0 20 0 20 0 49434694 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=2166988 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=2166988 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1607 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=2166988 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3507.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/346 49562
/proc/meminfo: memFree=61633364/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2166988 CPUtime=3567.06 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 119560 0 0 0 355062 1644 0 0 20 0 20 0 49434693 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541747 5564 1 0 554103 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=5632 CPUtime=3514.33 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 45476 0 0 0 349911 1522 0 0 20 0 20 0 49434694 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1607 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3567.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.4 s]
/proc/loadavg: 4.12 4.13 4.15 5/346 49562
/proc/meminfo: memFree=59273428/131249996 swapFree=33010416/33010684
[pid=49136] ppid=49133 vsize=19063512 memory=2166988 CPUtime=3600.03 cores=4,6
/proc/49136/stat : 49136 (java) S 49133 49136 48335 0 -1 4194304 119965 0 0 0 358346 1657 0 0 20 0 20 0 49434693 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
/proc/49136/statm: 4765878 541747 5564 1 0 554103 0
[pid=49136/tid=49138] ppid=49133 vsize=19063512 memory=5632 CPUtime=3546.99 cores=4,6
/proc/49136/task/49138/stat : 49138 (java) R 49133 49136 48335 0 -1 4194368 45805 0 0 0 353165 1534 0 0 20 0 20 0 49434694 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49147] ppid=49133 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/49136/task/49147/stat : 49147 (Finalizer) S 49133 49136 48335 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49434696 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49154] ppid=49133 vsize=19063512 memory=-6000919494215164779 CPUtime=0 cores=4,6
/proc/49136/task/49154/stat : 49154 (Common-Cleaner) S 49133 49136 48335 0 -1 4194368 1607 0 0 0 0 0 0 0 20 0 20 0 49434697 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
[pid=49136/tid=49155] ppid=49133 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/49136/task/49155/stat : 49155 (Timer-0) S 49133 49136 48335 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49434716 19521036288 541747 18446744073709551615 94217779961856 94217779965552 140733428173312 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217779973368 94217779974160 94217793728512 140733428181296 140733428181478 140733428181478 140733428187080 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.68 s, system=16.5983 s

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

[startup+3615.6 s]*
/proc/loadavg: 4.12 4.13 4.15 4/328 49565
/proc/meminfo: memFree=61395788/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3615.71 s]
/proc/loadavg: 4.12 4.13 4.15 4/328 49565
/proc/meminfo: memFree=61395788/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3615.71
CPU time (s): 3600.27
CPU user time (s): 3583.68
CPU system time (s): 16.5983
CPU usage (%): 99.5731
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2167756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.68
system time used= 16.5983
maximum resident set size= 2168012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33927104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140109
involuntary context switches= 15808


# summary of solver processes directly reported to runsolver:
#   pid: 49136
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3583.68
#   total CPU system time (s): 16.5983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45858 second user time and 17.2991 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 04:39:32
IDJOB=4487537
IDBENCH=147195
IDSOLVER=3364
FILE ID=nodeC015/4487537-1751337572
RUNJOBID= nodeC015-1751337414-48346
SLURM_JOB_ID= 9594390
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487537-1751337572/watcher-4487537-1751337572 -o /tmp/evaluation-result-4487537-1751337572/solver-4487537-1751337572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751337414-48346 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487537-1751337572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487537-1751337572.opb

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

MD5SUM BENCH= 7051ff5e8584c37bae1654b406532f5e
RANDOM SEED=1968662256

nodeC015 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		: 3600.069
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	: 7000.14
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		: 3600.072
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	: 7000.14
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		: 3600.091
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	: 7000.14
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		: 3599.955
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	: 7000.14
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		: 3598.795
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	: 7000.14
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		: 3600.070
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	: 7000.14
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		: 3600.055
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	: 7000.14
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		: 3700.000
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	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124811676 kB
MemAvailable:   125791264 kB
Buffers:            2128 kB
Cached:          1768368 kB
SwapCached:           24 kB
Active:          4343292 kB
Inactive:        1463824 kB
Active(anon):    4034696 kB
Inactive(anon):    20084 kB
Active(file):     308596 kB
Inactive(file):  1443740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            121736 kB
Writeback:             0 kB
AnonPages:       4039824 kB
Mapped:           123388 kB
Shmem:             18052 kB
KReclaimable:     132984 kB
Slab:             226372 kB
SReclaimable:     132984 kB
SUnreclaim:        93388 kB
KernelStack:        5280 kB
PageTables:        11572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7070880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3840000 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC015 at 2025-07-01 05:39:48