Trace number 4491078

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)25 3600.44 3591.73

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
MD5SUM534ed9c29a1c7647bd6acd36efe0613e
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 benchmark17
Best CPU time to get the best result obtained on this benchmark1.54755
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables299
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint20
Number of terms in the objective function 299
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 299
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 299
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.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.21	c java.vm.version	22.0.1+8-16
0.11/0.21	c java.vm.vendor	Oracle Corporation
0.11/0.21	c sun.arch.data.model	64
0.11/0.21	c java.version		22.0.1
0.11/0.21	c os.name		Linux
0.11/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.23	c os.arch		amd64
0.27/0.24	c Free memory 		2104792832
0.27/0.24	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.25	c Number of processors 	2
0.42/0.35	c Pseudo Boolean Optimization by upper bound
0.42/0.35	c --- Begin Solver configuration ---
0.42/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.35	c Learn all clauses as in MiniSAT
0.42/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.35	c Expensive reason simplification
0.42/0.35	c Glucose 2.1 dynamic restart strategy
0.42/0.35	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.42/0.35	c timeout=2147483s
0.42/0.35	c DB Simplification allowed=false
0.42/0.35	c Listener: none
0.42/0.35	c --- End Solver configuration ---
0.42/0.35	c solving HOME/instance-4491078-1751367672.opb
0.42/0.35	c reading problem ... 
0.42/0.35	c  objective function found
0.60/0.43	c ... done. Wall clock time 0.078s.
0.60/0.43	c declared #vars     299
0.60/0.44	c #constraints  100
0.60/0.44	c constraints type 
0.60/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.60/0.44	c 100 constraints processed.
0.60/0.46	c objective function length is 299 literals
0.60/0.48	c SATISFIABLE
0.60/0.48	c OPTIMIZING...
0.60/0.48	c Got one! Elapsed wall clock time (in seconds):0.124
0.60/0.48	o 32
0.60/0.49	c Got one! Elapsed wall clock time (in seconds):0.139
0.60/0.49	o 31
0.77/0.55	c Got one! Elapsed wall clock time (in seconds):0.198
0.77/0.55	o 30
0.77/0.55	c Got one! Elapsed wall clock time (in seconds):0.203
0.77/0.55	o 29
0.77/0.60	c Got one! Elapsed wall clock time (in seconds):0.253
0.77/0.60	o 28
2.11/1.23	c cleaning 2674 clauses out of 5356 with flag 12802/5356
2.70/1.54	c cleaning 4333 clauses out of 8681 with flag 28220/11355
3.09/1.76	c cleaning 5673 clauses out of 11348 with flag 47570/18355
3.35/1.96	c cleaning 6836 clauses out of 13676 with flag 69555/26356
3.62/2.19	c cleaning 7901 clauses out of 15840 with flag 94465/35356
3.91/2.42	c cleaning 8954 clauses out of 17941 with flag 121392/45358
4.13/2.66	c cleaning 9981 clauses out of 19985 with flag 150229/56356
4.42/2.96	c cleaning 10998 clauses out of 22007 with flag 182342/68359
4.71/3.27	c cleaning 11997 clauses out of 24005 with flag 218068/81355
5.02/3.58	c cleaning 12984 clauses out of 26008 with flag 256370/95355
5.42/3.91	c cleaning 13996 clauses out of 28025 with flag 297317/110356
6.21/4.79	c cleaning 15000 clauses out of 30028 with flag 341919/126355
6.97/5.46	c cleaning 15996 clauses out of 32030 with flag 388157/143357
7.58/6.04	c cleaning 17002 clauses out of 34032 with flag 437156/161355
8.07/6.51	c cleaning 17993 clauses out of 36031 with flag 488846/180356
8.37/6.81	c Got one! Elapsed wall clock time (in seconds):6.463
8.37/6.81	o 27
8.50/7.00	c cleaning 18208 clauses out of 36423 with flag 13763/198741
8.71/7.18	c cleaning 12109 clauses out of 24217 with flag 30973/204743
9.01/7.34	c cleaning 9540 clauses out of 19104 with flag 49813/211739
9.37/7.51	c cleaning 8782 clauses out of 17564 with flag 71901/219739
9.78/7.70	c cleaning 8881 clauses out of 17782 with flag 96173/228739
10.03/7.90	c cleaning 9444 clauses out of 18901 with flag 122736/238739
10.24/8.14	c cleaning 10221 clauses out of 20457 with flag 151479/249739
10.53/8.41	c cleaning 11111 clauses out of 22236 with flag 185134/261739
10.73/8.67	c cleaning 12058 clauses out of 24129 with flag 220747/274743
11.03/8.99	c cleaning 13027 clauses out of 26067 with flag 260187/288739
11.43/9.33	c cleaning 14018 clauses out of 28041 with flag 301228/303740
11.73/9.68	c cleaning 15010 clauses out of 30023 with flag 344921/319740
12.14/10.07	c cleaning 16005 clauses out of 32012 with flag 390736/336739
12.63/10.50	c cleaning 16998 clauses out of 34008 with flag 439754/354740
13.03/10.97	c cleaning 17986 clauses out of 36009 with flag 491416/373739
13.53/11.44	c cleaning 19002 clauses out of 38023 with flag 544664/393739
14.02/11.93	c cleaning 20001 clauses out of 40022 with flag 599694/414740
14.73/12.60	c cleaning 21007 clauses out of 42020 with flag 660824/436739
15.24/13.18	c cleaning 21983 clauses out of 44013 with flag 722779/459739
15.83/13.75	c cleaning 22997 clauses out of 46032 with flag 786717/483741
16.52/14.40	c cleaning 23997 clauses out of 48034 with flag 852301/508740
17.23/15.12	c cleaning 25015 clauses out of 50037 with flag 924127/534740
17.92/15.86	c cleaning 26004 clauses out of 52024 with flag 997044/561742
18.82/16.73	c cleaning 27003 clauses out of 54018 with flag 1072527/589740
19.63/17.56	c cleaning 27996 clauses out of 56014 with flag 1150370/618739
20.53/18.42	c cleaning 29002 clauses out of 58019 with flag 1230386/648740
21.81/19.73	c cleaning 29982 clauses out of 60016 with flag 1313397/679739
22.81/20.70	c cleaning 31006 clauses out of 62037 with flag 1398903/711742
24.02/21.92	c cleaning 32014 clauses out of 64028 with flag 1489807/744739
25.01/22.99	c cleaning 32993 clauses out of 66016 with flag 1584610/778741
26.23/24.12	c cleaning 34006 clauses out of 68022 with flag 1682743/813740
27.23/25.19	c cleaning 34999 clauses out of 70016 with flag 1782384/849740
28.63/26.56	c cleaning 36001 clauses out of 72016 with flag 1886873/886739
29.83/27.74	c cleaning 36996 clauses out of 74015 with flag 1993323/924739
31.03/28.98	c cleaning 37997 clauses out of 76019 with flag 2103830/963739
32.43/30.33	c cleaning 39006 clauses out of 78022 with flag 2214841/1003739
33.53/31.43	c Got one! Elapsed wall clock time (in seconds):31.075
33.53/31.43	o 26
33.83/31.76	c cleaning 41281 clauses out of 82582 with flag 13901/1047305
34.03/31.99	c cleaning 23635 clauses out of 47298 with flag 30605/1053302
34.25/32.19	c cleaning 15331 clauses out of 30663 with flag 50402/1060302
34.43/32.39	c cleaning 11658 clauses out of 23335 with flag 72348/1068305
34.63/32.59	c cleaning 10328 clauses out of 20674 with flag 97322/1077302
35.04/32.95	c cleaning 10161 clauses out of 20346 with flag 124975/1087302
35.25/33.19	c cleaning 10577 clauses out of 21185 with flag 154249/1098302
35.53/33.45	c cleaning 11298 clauses out of 22609 with flag 187197/1110303
35.83/33.74	c cleaning 12156 clauses out of 24311 with flag 223085/1123303
36.15/34.08	c cleaning 13076 clauses out of 26156 with flag 262460/1137304
36.53/34.47	c cleaning 14028 clauses out of 28078 with flag 304412/1152302
36.93/34.84	c cleaning 15011 clauses out of 30051 with flag 349366/1168303
37.33/35.26	c cleaning 16015 clauses out of 32039 with flag 395099/1185302
37.73/35.69	c cleaning 17003 clauses out of 34024 with flag 444125/1203302
38.24/36.15	c cleaning 18010 clauses out of 36022 with flag 494650/1222303
38.73/36.66	c cleaning 18995 clauses out of 38016 with flag 548999/1242307
39.33/37.23	c cleaning 20005 clauses out of 40019 with flag 608658/1263305
39.93/37.81	c cleaning 20994 clauses out of 42011 with flag 667889/1285302
40.56/38.46	c cleaning 22003 clauses out of 44017 with flag 731479/1308302
41.27/39.13	c cleaning 23003 clauses out of 46016 with flag 796720/1332304
41.96/39.80	c cleaning 23983 clauses out of 48011 with flag 865108/1357302
42.55/40.50	c cleaning 25012 clauses out of 50033 with flag 935466/1383307
43.45/41.34	c cleaning 25994 clauses out of 52016 with flag 1007532/1410302
44.16/42.03	c cleaning 27005 clauses out of 54023 with flag 1083718/1438303
44.95/42.88	c cleaning 27999 clauses out of 56017 with flag 1165173/1467302
45.95/43.81	c cleaning 29004 clauses out of 58018 with flag 1250438/1497302
46.94/44.88	c cleaning 29994 clauses out of 60015 with flag 1337876/1528303
48.04/45.95	c cleaning 31003 clauses out of 62020 with flag 1431078/1560302
49.04/46.96	c cleaning 32003 clauses out of 64017 with flag 1523933/1593302
50.25/48.11	c cleaning 32998 clauses out of 66015 with flag 1626333/1627303
51.34/49.24	c cleaning 33998 clauses out of 68019 with flag 1727737/1662305
52.74/50.61	c cleaning 35005 clauses out of 70018 with flag 1834074/1698302
53.93/51.82	c cleaning 36007 clauses out of 72013 with flag 1937612/1735302
55.44/53.36	c cleaning 36986 clauses out of 74006 with flag 2045536/1773302
56.84/54.76	c cleaning 37999 clauses out of 76020 with flag 2154494/1812302
58.15/56.02	c cleaning 38993 clauses out of 78021 with flag 2265493/1852302
59.43/57.37	c cleaning 40005 clauses out of 80028 with flag 2380097/1893302
60.83/58.73	c cleaning 41013 clauses out of 82028 with flag 2496370/1935307
62.33/60.22	c cleaning 42001 clauses out of 84012 with flag 2614372/1978304
63.72/61.60	c cleaning 42997 clauses out of 86009 with flag 2734426/2022302
65.02/62.97	c cleaning 43981 clauses out of 88012 with flag 2855730/2067302
66.72/64.61	c cleaning 45006 clauses out of 90033 with flag 2980899/2113304
68.23/66.11	c cleaning 46007 clauses out of 92029 with flag 3109938/2160306
69.92/67.87	c cleaning 47010 clauses out of 94019 with flag 3239526/2208303
71.52/69.48	c cleaning 47993 clauses out of 96011 with flag 3373921/2257305
73.31/71.26	c cleaning 49002 clauses out of 98015 with flag 3508657/2307302
74.91/72.89	c cleaning 49996 clauses out of 100015 with flag 3646047/2358304
76.83/74.77	c cleaning 51006 clauses out of 102021 with flag 3792976/2410306
78.63/76.59	c cleaning 51998 clauses out of 104012 with flag 3937606/2463303
80.52/78.46	c cleaning 53007 clauses out of 106015 with flag 4085759/2517304
82.42/80.30	c cleaning 53999 clauses out of 108011 with flag 4237757/2572307
84.55/82.41	c cleaning 54990 clauses out of 110007 with flag 4392042/2628302
86.55/84.40	c cleaning 56004 clauses out of 112018 with flag 4547876/2685303
88.44/86.30	c cleaning 56998 clauses out of 114013 with flag 4703879/2743302
90.35/88.29	c cleaning 58007 clauses out of 116017 with flag 4867584/2802304
92.93/90.86	c cleaning 58995 clauses out of 118012 with flag 5040733/2862306
95.53/93.50	c cleaning 59999 clauses out of 120014 with flag 5212566/2923303
98.14/96.02	c cleaning 60998 clauses out of 122014 with flag 5391814/2985302
100.62/98.59	c cleaning 61998 clauses out of 124016 with flag 5573673/3048302
103.36/101.26	c cleaning 63001 clauses out of 126021 with flag 5758602/3112305
106.17/104.04	c cleaning 64004 clauses out of 128017 with flag 5948431/3177302
108.86/106.73	c cleaning 65004 clauses out of 130014 with flag 6130939/3243303
111.30/109.17	c cleaning 66005 clauses out of 132014 with flag 6314467/3310307
113.98/111.88	c cleaning 66994 clauses out of 134004 with flag 6506215/3378302
116.47/114.37	c cleaning 68001 clauses out of 136010 with flag 6692902/3447302
119.28/117.13	c cleaning 69009 clauses out of 138019 with flag 6887524/3517312
122.87/120.76	c cleaning 69995 clauses out of 140001 with flag 7080918/3588303
127.49/125.30	c cleaning 70997 clauses out of 142005 with flag 7273335/3660302
129.98/127.86	c cleaning 71996 clauses out of 144009 with flag 7469919/3733303
132.87/130.73	c cleaning 72992 clauses out of 146017 with flag 7672902/3807307
135.67/133.51	c cleaning 74000 clauses out of 148020 with flag 7878247/3882302
139.31/137.14	c cleaning 75005 clauses out of 150022 with flag 8089070/3958304
142.21/140.09	c cleaning 75990 clauses out of 152015 with flag 8303201/4035302
145.10/142.97	c cleaning 76999 clauses out of 154025 with flag 8521338/4113302
148.30/146.15	c cleaning 78003 clauses out of 156026 with flag 8737964/4192302
151.64/149.48	c cleaning 79011 clauses out of 158026 with flag 8963592/4272305
155.73/153.58	c cleaning 79996 clauses out of 160018 with flag 9200283/4353308
158.92/156.76	c cleaning 81003 clauses out of 162017 with flag 9428789/4435303
162.51/160.35	c cleaning 82007 clauses out of 164013 with flag 9657921/4518302
166.15/163.90	c cleaning 82991 clauses out of 166006 with flag 9889102/4602302
169.94/167.70	c cleaning 83999 clauses out of 168021 with flag 10122222/4687308
173.63/171.49	c cleaning 84996 clauses out of 170018 with flag 10366687/4773304
178.02/175.80	c cleaning 85995 clauses out of 172021 with flag 10606952/4860303
181.44/179.22	c cleaning 87004 clauses out of 174025 with flag 10845179/4948302
185.03/182.87	c cleaning 87998 clauses out of 176022 with flag 11089687/5037303
188.42/186.26	c cleaning 89010 clauses out of 178023 with flag 11338732/5127302
191.52/189.30	c cleaning 89997 clauses out of 180014 with flag 11589094/5218303
195.24/193.09	c cleaning 90983 clauses out of 182018 with flag 11837316/5310304
199.23/197.04	c cleaning 92013 clauses out of 184035 with flag 12094152/5403304
203.32/201.14	c cleaning 93001 clauses out of 186022 with flag 12345959/5497304
208.72/206.58	c cleaning 94010 clauses out of 188026 with flag 12601452/5592309
213.23/211.04	c cleaning 94989 clauses out of 190009 with flag 12860754/5688302
217.71/215.54	c cleaning 95996 clauses out of 192020 with flag 13126798/5785302
221.90/219.79	c cleaning 97003 clauses out of 194024 with flag 13397182/5883302
226.61/224.44	c cleaning 98002 clauses out of 196024 with flag 13665218/5982305
231.50/229.31	c cleaning 98994 clauses out of 198019 with flag 13934643/6082302
235.79/233.67	c cleaning 100008 clauses out of 200029 with flag 14211943/6183306
240.83/238.66	c cleaning 101000 clauses out of 202017 with flag 14490357/6285302
245.72/243.57	c cleaning 101985 clauses out of 204017 with flag 14769172/6388302
251.11/248.96	c cleaning 103005 clauses out of 206032 with flag 15052364/6492302
256.67/254.03	c cleaning 104014 clauses out of 208027 with flag 15334008/6597302
260.95/258.33	c cleaning 105001 clauses out of 210014 with flag 15617111/6703303
265.94/263.39	c cleaning 106003 clauses out of 212012 with flag 15901162/6810302
270.93/268.38	c cleaning 107001 clauses out of 214010 with flag 16191643/6918303
277.43/274.86	c cleaning 107995 clauses out of 216008 with flag 16497701/7027302
282.64/280.02	c cleaning 108999 clauses out of 218014 with flag 16801149/7137303
288.81/286.21	c cleaning 109980 clauses out of 220014 with flag 17125484/7248302
295.56/293.00	c cleaning 110992 clauses out of 222035 with flag 17433708/7360303
300.05/297.48	c cleaning 112016 clauses out of 224042 with flag 17742391/7473302
306.04/303.45	c cleaning 113003 clauses out of 226029 with flag 18051009/7587305
311.30/308.69	c cleaning 113995 clauses out of 228024 with flag 18358345/7702303
316.50/313.81	c cleaning 115009 clauses out of 230029 with flag 18663536/7818303
321.89/319.27	c cleaning 115992 clauses out of 232019 with flag 18972038/7935302
327.12/324.40	c cleaning 117003 clauses out of 234027 with flag 19284595/8053302
332.12/329.48	c cleaning 118003 clauses out of 236024 with flag 19597942/8172302
337.21/334.54	c cleaning 119007 clauses out of 238022 with flag 19908515/8292303
342.50/339.84	c cleaning 120006 clauses out of 240016 with flag 20224951/8413304
349.28/346.65	c cleaning 121003 clauses out of 242012 with flag 20558821/8535306
355.36/352.62	c cleaning 121997 clauses out of 244005 with flag 20892177/8658302
361.16/358.45	c cleaning 122990 clauses out of 246008 with flag 21235303/8782302
367.14/364.41	c cleaning 124004 clauses out of 248019 with flag 21580149/8907303
374.02/371.35	c cleaning 124999 clauses out of 250014 with flag 21931862/9033302
374.22/371.58	c Got one! Elapsed wall clock time (in seconds):371.226
374.22/371.58	o 25
374.92/372.26	c cleaning 68939 clauses out of 137903 with flag 14226/9046190
375.32/372.64	c cleaning 37467 clauses out of 74964 with flag 31317/9052190
375.52/372.86	c cleaning 22245 clauses out of 44499 with flag 51000/9059192
375.73/373.04	c cleaning 15108 clauses out of 30251 with flag 72744/9067189
375.92/373.23	c cleaning 12064 clauses out of 24143 with flag 97378/9076189
376.12/373.44	c cleaning 11023 clauses out of 22079 with flag 127349/9086189
376.43/373.71	c cleaning 11017 clauses out of 22056 with flag 158344/9097189
376.63/373.98	c cleaning 11517 clauses out of 23041 with flag 191451/9109191
376.93/374.29	c cleaning 12261 clauses out of 24523 with flag 227557/9122190
377.33/374.62	c cleaning 13131 clauses out of 26265 with flag 266643/9136193
377.74/375.02	c cleaning 14061 clauses out of 28131 with flag 310522/9151190
378.13/375.43	c cleaning 15024 clauses out of 30070 with flag 355688/9167190
378.52/375.85	c cleaning 16006 clauses out of 32045 with flag 404792/9184189
378.92/376.28	c cleaning 17015 clauses out of 34039 with flag 453338/9202189
379.42/376.72	c cleaning 17997 clauses out of 36024 with flag 503465/9221189
379.92/377.20	c cleaning 19003 clauses out of 38027 with flag 556227/9241189
380.32/377.69	c cleaning 20002 clauses out of 40024 with flag 611895/9262189
380.92/378.26	c cleaning 21001 clauses out of 42022 with flag 672046/9284189
381.51/378.89	c cleaning 22004 clauses out of 44026 with flag 734151/9307194
382.21/379.52	c cleaning 23005 clauses out of 46020 with flag 797349/9331192
382.83/380.18	c cleaning 24008 clauses out of 48015 with flag 863386/9356192
383.61/380.91	c cleaning 24998 clauses out of 50005 with flag 933786/9382190
384.41/381.73	c cleaning 26002 clauses out of 52008 with flag 1011088/9409191
385.30/382.62	c cleaning 26994 clauses out of 54004 with flag 1089584/9437189
386.34/383.62	c cleaning 28002 clauses out of 56010 with flag 1166932/9466189
387.14/384.46	c cleaning 29001 clauses out of 58009 with flag 1249599/9496190
388.04/385.35	c cleaning 29997 clauses out of 60007 with flag 1338765/9527189
389.04/386.30	c cleaning 30978 clauses out of 62010 with flag 1433281/9559189
389.94/387.26	c cleaning 32016 clauses out of 64032 with flag 1526231/9592189
390.93/388.23	c cleaning 33005 clauses out of 66016 with flag 1617156/9626189
391.93/389.23	c cleaning 33993 clauses out of 68011 with flag 1713646/9661189
393.03/390.36	c cleaning 35002 clauses out of 70019 with flag 1809927/9697190
394.13/391.48	c cleaning 36008 clauses out of 72016 with flag 1906587/9734189
395.33/392.68	c cleaning 36998 clauses out of 74008 with flag 2011700/9772189
396.74/394.10	c cleaning 38005 clauses out of 76010 with flag 2119531/9811189
398.13/395.40	c cleaning 38997 clauses out of 78005 with flag 2226319/9851189
399.43/396.79	c cleaning 40000 clauses out of 80008 with flag 2337844/9892189
400.97/398.20	c cleaning 41000 clauses out of 82008 with flag 2452846/9934189
402.27/399.51	c cleaning 41980 clauses out of 84008 with flag 2568833/9977189
403.78/401.02	c cleaning 42999 clauses out of 86029 with flag 2690885/10021190
405.26/402.59	c cleaning 44011 clauses out of 88031 with flag 2815928/10066191
406.87/404.17	c cleaning 45006 clauses out of 90019 with flag 2943624/10112190
408.45/405.77	c cleaning 46002 clauses out of 92012 with flag 3074400/10159189
410.25/407.57	c cleaning 47003 clauses out of 94010 with flag 3206751/10207189
412.04/409.37	c cleaning 47997 clauses out of 96013 with flag 3342136/10256195
413.85/411.13	c cleaning 48984 clauses out of 98010 with flag 3483614/10306189
415.63/412.92	c cleaning 50009 clauses out of 100026 with flag 3625111/10357189
417.84/415.13	c cleaning 50995 clauses out of 102017 with flag 3764708/10409189
419.83/417.17	c cleaning 52002 clauses out of 104022 with flag 3910328/10462189
421.52/418.90	c cleaning 53000 clauses out of 106020 with flag 4056151/10516189
423.32/420.67	c cleaning 53997 clauses out of 108022 with flag 4209489/10571191
425.61/422.90	c cleaning 54992 clauses out of 110023 with flag 4370698/10627189
429.12/426.43	c cleaning 56011 clauses out of 112031 with flag 4531067/10684189
431.11/428.44	c cleaning 57008 clauses out of 114020 with flag 4695046/10742189
433.01/430.34	c cleaning 57987 clauses out of 116012 with flag 4857219/10801189
435.00/432.32	c cleaning 59013 clauses out of 118026 with flag 5026589/10861190
437.00/434.32	c cleaning 59991 clauses out of 120012 with flag 5199444/10922189
438.90/436.29	c cleaning 61011 clauses out of 122022 with flag 5372854/10984190
441.10/438.40	c cleaning 62004 clauses out of 124010 with flag 5549862/11047189
442.99/440.36	c cleaning 62997 clauses out of 126006 with flag 5722270/11111189
445.09/442.44	c cleaning 64001 clauses out of 128009 with flag 5897028/11176189
447.58/444.94	c cleaning 64999 clauses out of 130008 with flag 6077857/11242189
450.45/447.72	c cleaning 65991 clauses out of 132010 with flag 6263134/11309190
453.25/450.51	c cleaning 66987 clauses out of 134018 with flag 6448732/11377189
455.75/453.05	c cleaning 67998 clauses out of 136031 with flag 6636551/11446189
458.53/455.86	c cleaning 69010 clauses out of 138034 with flag 6828303/11516190
461.03/458.35	c cleaning 70003 clauses out of 140023 with flag 7021230/11587189
463.62/460.94	c cleaning 70995 clauses out of 142020 with flag 7226086/11659189
466.02/463.36	c cleaning 72009 clauses out of 144027 with flag 7431635/11732191
468.92/466.23	c cleaning 72992 clauses out of 146018 with flag 7636815/11806191
471.31/468.64	c cleaning 74001 clauses out of 148024 with flag 7840299/11881189
473.72/471.10	c cleaning 75006 clauses out of 150024 with flag 8046572/11957190
476.49/473.89	c cleaning 75990 clauses out of 152017 with flag 8251208/12034189
479.28/476.60	c cleaning 77006 clauses out of 154027 with flag 8467812/12112189
482.18/479.54	c cleaning 78006 clauses out of 156021 with flag 8691757/12191189
486.42/483.79	c cleaning 79006 clauses out of 158019 with flag 8910845/12271193
490.01/487.36	c cleaning 79995 clauses out of 160009 with flag 9132645/12352189
493.00/490.37	c cleaning 81000 clauses out of 162014 with flag 9354637/12434189
496.09/493.43	c cleaning 81993 clauses out of 164014 with flag 9585049/12517189
499.48/496.89	c cleaning 82996 clauses out of 166021 with flag 9819053/12601189
503.78/501.16	c cleaning 83980 clauses out of 168026 with flag 10057914/12686190
508.57/505.91	c cleaning 85013 clauses out of 170045 with flag 10290668/12772189
511.86/509.24	c cleaning 86012 clauses out of 172032 with flag 10540501/12859189
516.15/513.46	c cleaning 87000 clauses out of 174020 with flag 10785091/12947189
521.24/518.51	c cleaning 87994 clauses out of 176020 with flag 11024837/13036189
524.23/521.55	c cleaning 89006 clauses out of 178027 with flag 11271039/13126190
527.53/524.88	c cleaning 89999 clauses out of 180021 with flag 11520535/13217190
531.92/529.23	c cleaning 90998 clauses out of 182021 with flag 11768556/13309189
535.41/532.76	c cleaning 92003 clauses out of 184023 with flag 12019950/13402189
539.20/536.51	c cleaning 93007 clauses out of 186021 with flag 12278333/13496190
543.50/540.83	c cleaning 93996 clauses out of 188018 with flag 12544057/13591194
547.29/544.65	c cleaning 95011 clauses out of 190021 with flag 12819051/13687193
553.16/550.43	c cleaning 95990 clauses out of 192006 with flag 13100609/13784189
557.15/554.46	c cleaning 97006 clauses out of 194016 with flag 13397650/13882189
561.14/558.45	c cleaning 97994 clauses out of 196011 with flag 13703248/13981190
565.23/562.58	c cleaning 99005 clauses out of 198016 with flag 14005424/14081189
569.92/567.21	c cleaning 99993 clauses out of 200011 with flag 14297083/14182189
574.11/571.45	c cleaning 101000 clauses out of 202018 with flag 14571698/14284189
578.82/576.11	c cleaning 102005 clauses out of 204023 with flag 14860368/14387194
583.19/580.52	c cleaning 102990 clauses out of 206013 with flag 15141533/14491189
589.20/585.89	c cleaning 103990 clauses out of 208023 with flag 15432041/14596189
593.99/590.67	c cleaning 105001 clauses out of 210035 with flag 15726908/14702191
600.98/597.68	c cleaning 105996 clauses out of 212032 with flag 16025530/14809189
606.17/602.85	c cleaning 106999 clauses out of 214038 with flag 16322309/14917191
610.66/607.30	c cleaning 108010 clauses out of 216039 with flag 16623330/15026191
615.65/612.38	c cleaning 109002 clauses out of 218027 with flag 16940089/15136189
620.84/617.52	c cleaning 110004 clauses out of 220025 with flag 17262172/15247189
625.79/622.44	c cleaning 110996 clauses out of 222021 with flag 17569568/15359189
631.77/628.45	c cleaning 111999 clauses out of 224025 with flag 17878922/15472189
637.07/633.74	c cleaning 113016 clauses out of 226032 with flag 18185121/15586195
642.16/638.82	c cleaning 114000 clauses out of 228010 with flag 18498659/15701189
647.36/644.09	c cleaning 114998 clauses out of 230011 with flag 18817603/15817190
653.34/650.07	c cleaning 115994 clauses out of 232012 with flag 19142819/15934189
659.72/656.44	c cleaning 117000 clauses out of 234018 with flag 19470590/16052189
667.60/664.20	c cleaning 118005 clauses out of 236022 with flag 19803672/16171193
673.09/669.76	c cleaning 118983 clauses out of 238013 with flag 20135390/16291189
678.78/675.42	c cleaning 119999 clauses out of 240030 with flag 20468684/16412189
683.87/680.59	c cleaning 121001 clauses out of 242031 with flag 20808696/16534189
690.86/687.57	c cleaning 121999 clauses out of 244031 with flag 21153039/16657190
697.54/694.26	c cleaning 122997 clauses out of 246031 with flag 21504368/16781189
705.93/702.51	c cleaning 124007 clauses out of 248034 with flag 21861415/16906189
711.21/707.86	c cleaning 124997 clauses out of 250027 with flag 22210263/17032189
717.31/713.91	c cleaning 126005 clauses out of 252031 with flag 22554288/17159190
724.59/721.29	c cleaning 127001 clauses out of 254025 with flag 22913565/17287189
733.87/730.54	c cleaning 128002 clauses out of 256024 with flag 23285985/17416189
743.26/739.91	c cleaning 129006 clauses out of 258025 with flag 23666974/17546192
749.06/745.67	c cleaning 130002 clauses out of 260016 with flag 24034231/17677189
756.05/752.62	c cleaning 131003 clauses out of 262014 with flag 24398608/17809189
761.65/758.25	c cleaning 131993 clauses out of 264012 with flag 24775157/17942190
767.73/764.34	c cleaning 132999 clauses out of 266020 with flag 25151751/18076191
776.02/772.64	c cleaning 134004 clauses out of 268020 with flag 25524647/18211190
782.11/778.79	c cleaning 134999 clauses out of 270015 with flag 25900612/18347189
788.29/784.82	c cleaning 135990 clauses out of 272016 with flag 26270162/18484189
796.67/793.23	c cleaning 137002 clauses out of 274026 with flag 26648818/18622189
804.47/801.11	c cleaning 137997 clauses out of 276024 with flag 27039939/18761189
811.15/807.71	c cleaning 138989 clauses out of 278027 with flag 27420147/18901189
818.55/815.12	c cleaning 140015 clauses out of 280040 with flag 27803298/19042191
826.12/822.73	c cleaning 141003 clauses out of 282023 with flag 28208505/19184189
833.30/829.83	c cleaning 142000 clauses out of 284020 with flag 28609294/19327189
839.61/836.12	c cleaning 142996 clauses out of 286024 with flag 29017113/19471193
845.88/842.44	c cleaning 144000 clauses out of 288025 with flag 29420221/19616190
853.96/850.54	c cleaning 144996 clauses out of 290024 with flag 29827531/19762189
862.03/858.58	c cleaning 145993 clauses out of 292031 with flag 30244992/19909192
869.42/865.98	c cleaning 147004 clauses out of 294037 with flag 30656353/20057191
877.30/873.85	c cleaning 147990 clauses out of 296031 with flag 31060628/20206189
884.51/881.08	c cleaning 149012 clauses out of 298041 with flag 31468256/20356189
892.68/889.28	c cleaning 150004 clauses out of 300032 with flag 31882555/20507192
899.16/895.74	c cleaning 151010 clauses out of 302025 with flag 32309853/20659189
906.35/902.89	c cleaning 151998 clauses out of 304015 with flag 32727091/20812189
913.23/909.76	c cleaning 152999 clauses out of 306019 with flag 33155264/20966191
922.63/919.14	c cleaning 153997 clauses out of 308022 with flag 33583337/21121193
931.90/928.40	c cleaning 154997 clauses out of 310021 with flag 34024494/21277189
939.49/936.10	c cleaning 156002 clauses out of 312024 with flag 34460601/21434189
950.48/947.11	c cleaning 156985 clauses out of 314023 with flag 34895587/21592190
959.32/954.89	c cleaning 158012 clauses out of 316037 with flag 35335179/21751189
969.11/964.69	c cleaning 159002 clauses out of 318026 with flag 35776976/21911190
977.79/973.32	c cleaning 160009 clauses out of 320025 with flag 36224420/22072191
988.48/984.04	c cleaning 160972 clauses out of 322014 with flag 36684512/22234189
996.58/992.14	c cleaning 162015 clauses out of 324044 with flag 37119033/22397191
1003.94/999.53	c cleaning 163008 clauses out of 326027 with flag 37561014/22561189
1012.99/1008.57	c cleaning 163987 clauses out of 328020 with flag 38004772/22726190
1022.37/1017.94	c cleaning 165005 clauses out of 330033 with flag 38466522/22892190
1029.66/1025.24	c cleaning 166006 clauses out of 332028 with flag 38929056/23059190
1039.45/1035.01	c cleaning 166999 clauses out of 334022 with flag 39391633/23227190
1049.62/1045.27	c cleaning 167990 clauses out of 336022 with flag 39865730/23396189
1059.52/1055.14	c cleaning 169010 clauses out of 338035 with flag 40327224/23566192
1067.90/1063.32	c cleaning 169998 clauses out of 340022 with flag 40791264/23737189
1077.88/1073.30	c cleaning 170993 clauses out of 342024 with flag 41263009/23909189
1087.46/1082.95	c cleaning 172009 clauses out of 344032 with flag 41736709/24082190
1096.64/1092.11	c cleaning 172997 clauses out of 346022 with flag 42227945/24256189
1107.21/1102.77	c cleaning 174005 clauses out of 348025 with flag 42727231/24431189
1118.12/1113.53	c cleaning 175008 clauses out of 350020 with flag 43222479/24607189
1128.60/1124.10	c cleaning 175993 clauses out of 352013 with flag 43721665/24784190
1139.48/1134.92	c cleaning 177002 clauses out of 354019 with flag 44222877/24962189
1147.96/1143.40	c cleaning 177988 clauses out of 356018 with flag 44717546/25141190
1156.04/1151.50	c cleaning 178993 clauses out of 358029 with flag 45210091/25321189
1165.73/1161.24	c cleaning 180010 clauses out of 360036 with flag 45706567/25502189
1178.60/1174.11	c cleaning 181002 clauses out of 362026 with flag 46212506/25684189
1188.76/1184.24	c cleaning 182009 clauses out of 364025 with flag 46702934/25867190
1197.75/1193.25	c cleaning 182976 clauses out of 366016 with flag 47196322/26051190
1211.12/1206.68	c cleaning 184001 clauses out of 368041 with flag 47709762/26236191
1220.80/1216.34	c cleaning 185002 clauses out of 370038 with flag 48210803/26422189
1233.26/1228.78	c cleaning 185997 clauses out of 372037 with flag 48714662/26609190
1242.44/1237.99	c cleaning 186991 clauses out of 374040 with flag 49221786/26797190
1251.43/1246.95	c cleaning 188012 clauses out of 376048 with flag 49726755/26986189
1261.70/1257.21	c cleaning 189018 clauses out of 378039 with flag 50242556/27176192
1272.88/1268.33	c cleaning 189995 clauses out of 380018 with flag 50756584/27367189
1284.85/1280.36	c cleaning 191004 clauses out of 382023 with flag 51280795/27559189
1295.14/1290.62	c cleaning 192004 clauses out of 384020 with flag 51811587/27752190
1305.32/1300.86	c cleaning 192990 clauses out of 386016 with flag 52347882/27946190
1317.50/1313.08	c cleaning 193989 clauses out of 388029 with flag 52896179/28141193
1329.24/1324.79	c cleaning 195011 clauses out of 390038 with flag 53459473/28337191
1339.54/1335.04	c cleaning 196004 clauses out of 392026 with flag 53995370/28534190
1351.41/1346.90	c cleaning 196992 clauses out of 394021 with flag 54536381/28732189
1362.38/1357.91	c cleaning 198004 clauses out of 396031 with flag 55084398/28931191
1375.26/1370.87	c cleaning 199002 clauses out of 398026 with flag 55666476/29131190
1387.93/1383.42	c cleaning 200004 clauses out of 400023 with flag 56257060/29332189
1402.00/1397.55	c cleaning 200992 clauses out of 402022 with flag 56825737/29534192
1414.97/1410.57	c cleaning 202003 clauses out of 404027 with flag 57401996/29737189
1426.25/1421.80	c cleaning 203009 clauses out of 406024 with flag 57961648/29941189
1437.06/1432.59	c cleaning 204003 clauses out of 408017 with flag 58526277/30146191
1450.04/1445.52	c cleaning 204991 clauses out of 410012 with flag 59103293/30352189
1463.01/1458.53	c cleaning 206003 clauses out of 412022 with flag 59670195/30559190
1474.29/1469.86	c cleaning 207001 clauses out of 414018 with flag 60258173/30767189
1486.48/1482.05	c cleaning 208000 clauses out of 416017 with flag 60834334/30976189
1501.69/1497.18	c cleaning 209008 clauses out of 418017 with flag 61417999/31186189
1514.05/1509.52	c cleaning 210005 clauses out of 420014 with flag 62013163/31397194
1525.93/1521.45	c cleaning 210982 clauses out of 422006 with flag 62613725/31609191
1539.40/1534.94	c cleaning 212004 clauses out of 424024 with flag 63201812/31822191
1553.20/1548.13	c cleaning 213005 clauses out of 426018 with flag 63774023/32036189
1564.57/1559.53	c cleaning 214000 clauses out of 428017 with flag 64347276/32251193
1574.46/1569.44	c cleaning 214977 clauses out of 430015 with flag 64924767/32467191
1585.11/1580.04	c cleaning 215991 clauses out of 432038 with flag 65504140/32684191
1600.27/1595.28	c cleaning 217010 clauses out of 434045 with flag 66126392/32902189
1614.06/1609.05	c cleaning 217996 clauses out of 436035 with flag 66730790/33121189
1627.29/1622.21	c cleaning 219001 clauses out of 438040 with flag 67342892/33341190
1641.37/1636.37	c cleaning 220012 clauses out of 440038 with flag 67959123/33562189
1652.25/1647.23	c cleaning 221003 clauses out of 442026 with flag 68577587/33784189
1667.55/1662.44	c cleaning 221995 clauses out of 444023 with flag 69203338/34007189
1681.92/1676.81	c cleaning 222996 clauses out of 446029 with flag 69812208/34231190
1696.29/1691.25	c cleaning 223997 clauses out of 448032 with flag 70432677/34456189
1709.60/1704.44	c cleaning 224999 clauses out of 450035 with flag 71046247/34682189
1722.98/1717.86	c cleaning 226009 clauses out of 452037 with flag 71661468/34909190
1738.75/1733.67	c cleaning 227005 clauses out of 454032 with flag 72276751/35137194
1753.15/1747.97	c cleaning 227996 clauses out of 456022 with flag 72904110/35366189
1766.13/1760.96	c cleaning 229003 clauses out of 458028 with flag 73541780/35596191
1778.31/1773.11	c cleaning 229996 clauses out of 460023 with flag 74179757/35827189
1793.06/1787.85	c cleaning 230989 clauses out of 462027 with flag 74816623/36059189
1809.63/1804.41	c cleaning 232012 clauses out of 464039 with flag 75458542/36292190
1823.51/1818.32	c cleaning 232987 clauses out of 466026 with flag 76105275/36526189
1835.21/1829.95	c cleaning 234003 clauses out of 468040 with flag 76747357/36761190
1850.28/1845.07	c cleaning 235017 clauses out of 470037 with flag 77402745/36997190
1863.93/1858.74	c cleaning 235988 clauses out of 472019 with flag 78059326/37234189
1878.10/1872.96	c cleaning 237006 clauses out of 474031 with flag 78721386/37472189
1892.05/1886.89	c cleaning 238007 clauses out of 476026 with flag 79388718/37711190
1905.53/1900.31	c cleaning 238989 clauses out of 478018 with flag 80057150/37951189
1918.31/1913.11	c cleaning 240003 clauses out of 480029 with flag 80729405/38192189
1928.57/1923.44	c cleaning 241008 clauses out of 482026 with flag 81394835/38434189
1945.74/1940.58	c cleaning 241998 clauses out of 484019 with flag 82076728/38677190
1960.91/1955.76	c cleaning 242998 clauses out of 486021 with flag 82755158/38921190
1973.39/1968.28	c cleaning 243988 clauses out of 488022 with flag 83427114/39166189
1985.36/1980.27	c cleaning 245007 clauses out of 490038 with flag 84091276/39412193
2000.34/1995.28	c cleaning 246013 clauses out of 492029 with flag 84772359/39659191
2016.92/2011.72	c cleaning 246993 clauses out of 494014 with flag 85465298/39907189
2034.79/2029.60	c cleaning 247993 clauses out of 496021 with flag 86157212/40156189
2056.85/2051.78	c cleaning 248997 clauses out of 498029 with flag 86854841/40406190
2070.24/2065.12	c cleaning 249996 clauses out of 500032 with flag 87557703/40657190
2087.01/2081.82	c cleaning 251015 clauses out of 502038 with flag 88256681/40909192
2104.68/2099.60	c cleaning 251998 clauses out of 504020 with flag 88961880/41162189
2118.05/2112.92	c cleaning 253005 clauses out of 506022 with flag 89644600/41416189
2136.52/2131.45	c cleaning 254002 clauses out of 508017 with flag 90355912/41671189
2152.37/2146.15	c cleaning 254999 clauses out of 510019 with flag 91047914/41927193
2164.73/2158.58	c cleaning 256003 clauses out of 512016 with flag 91758575/42184189
2178.91/2172.75	c cleaning 257000 clauses out of 514016 with flag 92466914/42442192
2195.53/2189.37	c cleaning 257994 clauses out of 516013 with flag 93187040/42701189
2210.00/2203.86	c cleaning 259000 clauses out of 518019 with flag 93902337/42961189
2225.67/2219.58	c cleaning 259997 clauses out of 520020 with flag 94617646/43222190
2239.04/2232.95	c cleaning 260990 clauses out of 522024 with flag 95319284/43484191
2255.31/2249.22	c cleaning 262011 clauses out of 524032 with flag 96032784/43747189
2276.45/2270.48	c cleaning 262996 clauses out of 526021 with flag 96743438/44011189
2295.01/2288.89	c cleaning 263995 clauses out of 528025 with flag 97476289/44276189
2310.47/2304.39	c cleaning 265009 clauses out of 530031 with flag 98226532/44542190
2326.15/2320.06	c cleaning 266008 clauses out of 532023 with flag 98989784/44809191
2344.49/2338.41	c cleaning 266996 clauses out of 534016 with flag 99732646/45077192
2362.08/2356.08	c cleaning 268006 clauses out of 536020 with flag 100451144/45346192
2378.17/2372.05	c cleaning 268988 clauses out of 538011 with flag 101191631/45616189
2394.52/2388.46	c cleaning 270011 clauses out of 540025 with flag 101929414/45887191
2411.58/2405.56	c cleaning 270999 clauses out of 542013 with flag 102662710/46159190
2434.42/2428.45	c cleaning 271997 clauses out of 544013 with flag 103392609/46432189
2452.03/2445.99	c cleaning 272997 clauses out of 546016 with flag 104134056/46706189
2469.20/2463.14	c cleaning 274006 clauses out of 548021 with flag 104892080/46981191
2483.25/2477.26	c cleaning 274984 clauses out of 550013 with flag 105622687/47257189
2505.60/2499.60	c cleaning 275997 clauses out of 552029 with flag 106358352/47534189
2523.29/2517.24	c cleaning 277004 clauses out of 554032 with flag 107099897/47812189
2544.07/2538.08	c cleaning 278008 clauses out of 556032 with flag 107858309/48091193
2563.72/2557.73	c cleaning 278988 clauses out of 558020 with flag 108610933/48371189
2585.09/2579.12	c cleaning 280010 clauses out of 560032 with flag 109363283/48652189
2601.83/2595.78	c cleaning 280984 clauses out of 562022 with flag 110127884/48934189
2625.88/2619.80	c cleaning 282004 clauses out of 564038 with flag 110890220/49217189
2642.36/2636.31	c cleaning 282997 clauses out of 566036 with flag 111664607/49501191
2659.01/2652.82	c cleaning 284006 clauses out of 568038 with flag 112451438/49786190
2676.38/2670.22	c cleaning 285005 clauses out of 570033 with flag 113219209/50072191
2694.33/2687.01	c cleaning 285994 clauses out of 572026 with flag 113979534/50359189
2714.30/2707.09	c cleaning 287012 clauses out of 574033 with flag 114742553/50647190
2730.85/2723.68	c cleaning 288009 clauses out of 576021 with flag 115531282/50936190
2749.71/2742.42	c cleaning 288996 clauses out of 578011 with flag 116335236/51226189
2770.56/2763.30	c cleaning 289995 clauses out of 580018 with flag 117126398/51517192
2791.10/2783.91	c cleaning 290990 clauses out of 582020 with flag 117927410/51809189
2812.46/2805.33	c cleaning 292000 clauses out of 584030 with flag 118721645/52102189
2830.44/2823.19	c cleaning 293009 clauses out of 586034 with flag 119507216/52396193
2848.59/2841.38	c cleaning 293998 clauses out of 588021 with flag 120302380/52691189
2870.95/2863.73	c cleaning 295009 clauses out of 590026 with flag 121103991/52987192
2888.83/2881.48	c cleaning 295997 clauses out of 592014 with flag 121895879/53284189
2909.80/2902.41	c cleaning 296999 clauses out of 594018 with flag 122715400/53582190
2928.75/2921.47	c cleaning 297976 clauses out of 596018 with flag 123554713/53881189
2946.76/2939.32	c cleaning 299005 clauses out of 598042 with flag 124382090/54181189
2969.11/2961.73	c cleaning 300000 clauses out of 600037 with flag 125195286/54482189
2987.88/2980.40	c cleaning 300999 clauses out of 602037 with flag 126022574/54784189
3005.65/2998.22	c cleaning 302007 clauses out of 604038 with flag 126873243/55087189
3023.53/3016.04	c cleaning 302996 clauses out of 606031 with flag 127729642/55391189
3046.88/3039.45	c cleaning 304006 clauses out of 608036 with flag 128569470/55696190
3066.46/3058.92	c cleaning 305004 clauses out of 610029 with flag 129398996/56002189
3090.12/3082.66	c cleaning 305999 clauses out of 612027 with flag 130234542/56309191
3110.38/3102.99	c cleaning 307001 clauses out of 614026 with flag 131086928/56617189
3128.75/3121.31	c cleaning 308013 clauses out of 616025 with flag 131949524/56926189
3149.92/3142.49	c cleaning 309000 clauses out of 618016 with flag 132816254/57236193
3170.18/3162.73	c cleaning 309997 clauses out of 620012 with flag 133698838/57547189
3191.14/3182.87	c cleaning 310991 clauses out of 622015 with flag 134560196/57859189
3211.10/3202.84	c cleaning 311991 clauses out of 624024 with flag 135391589/58172189
3237.75/3229.50	c cleaning 312999 clauses out of 626033 with flag 136259406/58486189
3266.07/3257.88	c cleaning 314014 clauses out of 628036 with flag 137115798/58801191
3288.41/3280.26	c cleaning 315002 clauses out of 630020 with flag 137993590/59117189
3311.65/3303.50	c cleaning 315995 clauses out of 632021 with flag 138848788/59434192
3334.11/3326.09	c cleaning 316989 clauses out of 634023 with flag 139704674/59752189
3358.92/3350.69	c cleaning 318005 clauses out of 636034 with flag 140563071/60071189
3388.26/3380.01	c cleaning 319008 clauses out of 638029 with flag 141442357/60391189
3409.70/3401.59	c cleaning 319995 clauses out of 640021 with flag 142313332/60712189
3429.65/3421.53	c cleaning 321014 clauses out of 642027 with flag 143184310/61034190
3452.35/3444.17	c cleaning 321997 clauses out of 644017 with flag 144080284/61357194
3474.31/3466.14	c cleaning 323007 clauses out of 646015 with flag 144945010/61681189
3495.75/3487.60	c cleaning 324002 clauses out of 648010 with flag 145854788/62006191
3519.54/3511.36	c cleaning 324987 clauses out of 650006 with flag 146761897/62332189
3544.01/3535.89	c cleaning 326006 clauses out of 652020 with flag 147638485/62659190
3564.84/3556.46	c cleaning 326999 clauses out of 654014 with flag 148531565/62987190
3587.74/3579.26	c cleaning 328006 clauses out of 656015 with flag 149455044/63316190
3600.01/3591.53	c starts		: 1977
3600.01/3591.53	c conflicts		: 63602335
3600.01/3591.53	c decisions		: 173076983
3600.01/3591.53	c propagations		: 4834752064
3600.01/3591.53	c inspects		: 25779566228
3600.01/3591.53	c shortcuts		: 0
3600.01/3591.54	c learnt literals	: 0
3600.01/3591.54	c learnt binary clauses	: 0
3600.01/3591.54	c learnt ternary clauses	: 0
3600.01/3591.54	c learnt constraints	: 63602335
3600.01/3591.54	c ignored constraints	: 0
3600.01/3591.54	c root simplifications	: 0
3600.01/3591.54	c removed literals (reason simplification)	: 134590367
3600.01/3591.54	c reason swapping (by a shorter reason)	: 0
3600.01/3591.54	c Calls to reduceDB	: 498
3600.01/3591.55	c Number of update (reduction) of LBD	: 17985439
3600.01/3591.55	c Imported unit clauses	: 0
3600.01/3591.55	c No decision after first conflict	: false
3600.01/3591.55	c number of reductions to clauses (during analyze)	: 0
3600.01/3591.55	c number of learned constraints concerned by reduction	: 0
3600.01/3591.55	c number of learning phase by resolution	: 0
3600.01/3591.55	c number of learning phase by cutting planes	: 0
3600.01/3591.55	c number of rounding to 1 operations	: 0
3600.01/3591.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3591.55	c number of reductions of the coefficients by power 2 	: 0
3600.01/3591.55	c number of right shift for reduction by power 2 	: 0
3600.01/3591.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3591.55	c number of ending skipping 	: 0
3600.01/3591.55	c number of internal skipping 	: 0
3600.01/3591.55	c number of derivation steps 	: 0
3600.01/3591.55	c number of skipped derivation steps 	: 0
3600.01/3591.55	c number of remaining unassigned 	: 0
3600.01/3591.55	c number of remaining assigned 	: 0
3600.01/3591.56	c number of falsified literals weakened from reason	: 0
3600.01/3591.56	c number of falsified literals weakened from conflict	: 0
3600.01/3591.56	c time for arithmetic operations	: 0
3600.01/3591.56	c minimum degree of deleted constraints	: null
3600.01/3591.56	c maximum degree of deleted constraints	: null
3600.01/3591.56	c number of deleted constraints	: 0
3600.01/3591.56	c speed (assignments/second)	: 1346317.6988176024
3600.01/3591.56	c non guided choices	: 4
3600.39/3591.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 614154
3600.39/3591.70	s SATISFIABLE
3600.39/3591.70	c Found 8 solution(s)
3600.39/3591.70	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 
3600.39/3591.70	c objective function=25
3600.39/3591.70	c Total wall clock time (in seconds): 3591.353

Verifier Data 

OK	25

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (60525 MiB free)
  memory of node 1: 64507 MiB (58126 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491078-1751367672/watcher-4491078-1751367672 -o /tmp/evaluation-result-4491078-1751367672/solver-4491078-1751367672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51820 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4491078-1751367672.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=52965, runsolver pid=52962

[startup+0.100071 s]*
/proc/loadavg: 4.18 4.11 4.10 7/324 52983
/proc/meminfo: memFree=121476800/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18930384 memory=47700 CPUtime=0.11 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 5699 0 0 0 8 3 0 0 20 0 18 0 52446968 19384713216 11925 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4732596 11925 5239 1 0 546901 0
[pid=52965/tid=52967] ppid=52962 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 4626 0 0 0 5 2 0 0 20 0 18 0 52446970 19384713216 12021 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446975 19384713216 12021 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18930384 memory=59593594258114 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52446976 19384713216 12021 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47700 KiB

[startup+0.218929 s]*
/proc/loadavg: 4.18 4.11 4.10 6/324 52983
/proc/meminfo: memFree=121472704/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18930384 memory=53088 CPUtime=0.27 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 6445 0 0 0 23 4 0 0 20 0 18 0 52446968 19384713216 13272 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4732596 13272 5335 1 0 547532 0
[pid=52965/tid=52967] ppid=52962 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 4986 0 0 0 14 2 0 0 20 0 18 0 52446970 19384713216 13272 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446975 19384713216 13272 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52446976 19384713216 13272 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53088 KiB

[startup+0.315712 s]*
/proc/loadavg: 4.17 4.11 4.09 7/324 52983
/proc/meminfo: memFree=121464576/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18930384 memory=58280 CPUtime=0.42 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 6719 0 0 0 37 5 0 0 20 0 18 0 52446968 19384713216 14570 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4732596 14570 5335 1 0 547732 0
[pid=52965/tid=52967] ppid=52962 vsize=18930384 memory=-6000919498459277930 CPUtime=0.24 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 5167 0 0 0 22 2 0 0 20 0 18 0 52446970 19384713216 14570 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 52446975 19384713216 14570 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 52446976 19384713216 14570 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58280 KiB

[startup+0.700415 s]
/proc/loadavg: 4.17 4.11 4.09 7/325 52984
/proc/meminfo: memFree=121464576/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18996948 memory=65736 CPUtime=1.12 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 8876 0 0 0 106 6 0 0 20 0 19 0 52446968 19452874752 16434 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4749237 16434 5463 1 0 549116 0
[pid=52965/tid=52967] ppid=52962 vsize=18996948 memory=17920 CPUtime=0.58 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 5401 0 0 0 55 3 0 0 20 0 19 0 52446970 19452874752 16434 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446975 19452874752 16434 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52446976 19452874752 16434 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52447016 19452874752 16434 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65736 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.11 4.09 6/325 52984
/proc/meminfo: memFree=121382296/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18996948 memory=84164 CPUtime=2.7 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 16636 0 0 0 262 8 0 0 20 0 19 0 52446968 19452874752 21041 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4749237 21041 5463 1 0 551440 0
[pid=52965/tid=52967] ppid=52962 vsize=18996948 memory=0 CPUtime=1.32 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 6472 0 0 0 129 3 0 0 20 0 19 0 52446970 19452874752 21041 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446975 19452874752 21041 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52446976 19452874752 21041 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52447016 19452874752 21041 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84164 KiB

[startup+3.10545 s]
/proc/loadavg: 4.17 4.11 4.09 6/325 52984
/proc/meminfo: memFree=121062496/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18996948 memory=111172 CPUtime=4.62 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 17156 0 0 0 453 9 0 0 20 0 19 0 52446968 19452874752 27793 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4749237 27793 5463 1 0 551459 0
[pid=52965/tid=52967] ppid=52962 vsize=18996948 memory=10624 CPUtime=2.91 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 6734 0 0 0 287 4 0 0 20 0 19 0 52446970 19452874752 27793 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18996948 memory=-6000919498459277930 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446975 19452874752 27793 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52446976 19452874752 27793 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52447016 19452874752 27793 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 111172 KiB

[startup+6.3004 s]
/proc/loadavg: 4.24 4.13 4.10 6/325 52984
/proc/meminfo: memFree=120558832/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=18996948 memory=144472 CPUtime=7.87 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 20074 0 0 0 777 10 0 0 20 0 19 0 52446968 19452874752 36118 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4749237 36118 5463 1 0 551461 0
[pid=52965/tid=52967] ppid=52962 vsize=18996948 memory=0 CPUtime=6.09 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 7361 0 0 0 604 5 0 0 20 0 19 0 52446970 19452874752 36118 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 52446975 19452874752 36118 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 52446976 19452874752 36118 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=18996948 memory=84292 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 52447016 19452874752 36118 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 7.87 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 144472 KiB

[startup+12.7004 s]
/proc/loadavg: 4.30 4.14 4.10 5/326 52985
/proc/meminfo: memFree=120071244/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=179052 CPUtime=14.83 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 28264 0 0 0 1470 13 0 0 20 0 20 0 52446968 19521036288 44763 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 44763 5495 1 0 553095 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=84292 CPUtime=12.4 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 8378 0 0 0 1235 5 0 0 20 0 20 0 52446970 19521036288 44763 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 44763 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=172976 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 44763 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 44763 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179052 KiB

[startup+25.5004 s]
/proc/loadavg: 4.25 4.14 4.10 5/326 52986
/proc/meminfo: memFree=118816356/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=199848 CPUtime=27.62 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 29452 0 0 0 2748 14 0 0 20 0 20 0 52446968 19521036288 49962 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 49962 5527 1 0 553095 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=-6000919498459277930 CPUtime=25.08 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 8872 0 0 0 2503 5 0 0 20 0 20 0 52446970 19521036288 49962 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=17920 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 49962 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 49962 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 49962 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 199848 KiB

[startup+51.1133 s]
/proc/loadavg: 4.15 4.12 4.10 5/326 52986
/proc/meminfo: memFree=116728092/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=333424 CPUtime=53.25 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 30203 0 0 0 5307 18 0 0 20 0 20 0 52446968 19521036288 83356 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 83356 5527 1 0 553095 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=333424 CPUtime=50.24 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 9318 0 0 0 5019 5 0 0 20 0 20 0 52446970 19521036288 83356 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=304676 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 83356 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0

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

Current children cumulated memory: 2181648 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/326 53339
/proc/meminfo: memFree=91437016/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3350.63 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 123888 0 0 0 334838 225 0 0 20 0 20 0 52446968 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 545412 5527 1 0 559569 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3321.65 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 58913 0 0 0 332149 16 0 0 20 0 20 0 52446970 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=46464 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=22004 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1699 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3350.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181648 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/326 53341
/proc/meminfo: memFree=91437016/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3410.5 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 124474 0 0 0 340822 228 0 0 20 0 20 0 52446968 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 545412 5527 1 0 559569 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3381.47 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 59436 0 0 0 338131 16 0 0 20 0 20 0 52446970 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=46464 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1757 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3410.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181648 KiB

[startup+3462.3 s]
/proc/loadavg: 4.57 4.29 4.21 5/325 53343
/proc/meminfo: memFree=91362080/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3470.51 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 125871 0 0 0 346820 231 0 0 20 0 20 0 52446968 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 545412 5527 1 0 559578 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3441.19 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 59922 0 0 0 344103 16 0 0 20 0 20 0 52446970 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=46464 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3470.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181648 KiB

[startup+3522.3 s]
/proc/loadavg: 3.92 4.17 4.17 4/300 53378
/proc/meminfo: memFree=105965272/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3530.52 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 126258 0 0 0 352819 233 0 0 20 0 20 0 52446968 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 545412 5527 1 0 559586 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3500.81 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 59990 0 0 0 350065 16 0 0 20 0 20 0 52446970 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 545412 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3530.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2181648 KiB

[startup+3582.3 s]
/proc/loadavg: 2.92 3.85 4.06 3/275 53414
/proc/meminfo: memFree=119881924/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=2183808 CPUtime=3590.84 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 128458 0 0 0 358847 237 0 0 20 0 20 0 52446968 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 545952 5527 1 0 559595 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=2181648 CPUtime=3560.53 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 60162 0 0 0 356037 16 0 0 20 0 20 0 52446970 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=2181776 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3590.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.5 s]
/proc/loadavg: 2.78 3.79 4.04 3/275 53425
/proc/meminfo: memFree=119881068/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19063512 memory=2183808 CPUtime=3600.01 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 128557 0 0 0 359764 237 0 0 20 0 20 0 52446968 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4765878 545952 5527 1 0 559595 0
[pid=52965/tid=52967] ppid=52962 vsize=19063512 memory=14560 CPUtime=3569.71 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 60260 0 0 0 356955 16 0 0 20 0 20 0 52446970 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19063512 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 52446975 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 20 0 52446976 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52984] ppid=52962 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/52965/task/52984/stat : 52984 (Timer-0) S 52962 52965 51810 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 52447016 19521036288 545952 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2183808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.04 s, system=2.39962 s

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

[startup+3591.61 s]
/proc/loadavg: 2.78 3.79 4.04 3/275 53425
/proc/meminfo: memFree=119881068/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19263204 memory=2184448 CPUtime=3600.21 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 130354 0 0 0 359784 237 0 0 20 0 21 0 52446968 19725520896 546112 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4815801 546112 5527 1 0 560509 0
[pid=52965/tid=52967] ppid=52962 vsize=19263204 memory=-6000919498459277930 CPUtime=3569.78 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 60459 0 0 0 356962 16 0 0 20 0 21 0 52446970 19725520896 546112 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19263204 memory=22004 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52446975 19725520896 546112 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19263204 memory=4352 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 21 0 52446976 19725520896 546112 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2184448 KiB

[startup+3591.7 s]
/proc/loadavg: 2.78 3.79 4.04 3/275 53425
/proc/meminfo: memFree=119881068/131382112 swapFree=33010684/33010684
[pid=52965] ppid=52962 vsize=19263204 memory=2184576 CPUtime=3600.39 cores=0,2
/proc/52965/stat : 52965 (java) S 52962 52965 51810 0 -1 4194304 130362 0 0 0 359802 237 0 0 20 0 21 0 52446968 19725520896 546144 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
/proc/52965/statm: 4815801 546144 5527 1 0 560509 0
[pid=52965/tid=52967] ppid=52962 vsize=19263204 memory=14560 CPUtime=3569.87 cores=0,2
/proc/52965/task/52967/stat : 52967 (java) R 52962 52965 51810 0 -1 4194368 60459 0 0 0 356971 16 0 0 20 0 21 0 52446970 19725520896 546144 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52976] ppid=52962 vsize=19263204 memory=2181648 CPUtime=0 cores=0,2
/proc/52965/task/52976/stat : 52976 (Finalizer) S 52962 52965 51810 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 52446975 19725520896 546144 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
[pid=52965/tid=52983] ppid=52962 vsize=19263204 memory=10624 CPUtime=0 cores=0,2
/proc/52965/task/52983/stat : 52983 (Common-Cleaner) S 52962 52965 51810 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 21 0 52446976 19725520896 546144 18446744073709551615 94727155511296 94727155514992 140729175825024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94727155522808 94727155523600 94727169335296 140729175832961 140729175833062 140729175833062 140729175838664 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2184576 KiB

Child status: 143

Real time (s): 3591.73
CPU time (s): 3600.44
CPU user time (s): 3598.04
CPU system time (s): 2.39962
CPU usage (%): 100.243
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2186396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.04
system time used= 2.39962
maximum resident set size= 2186396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108147
involuntary context switches= 10111


# summary of solver processes directly reported to runsolver:
#   pid: 52965
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3598.04
#   total CPU system time (s): 2.39962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4364 second user time and 37.3758 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 13:01:12
IDJOB=4491078
IDBENCH=147676
IDSOLVER=3363
FILE ID=nodeC009/4491078-1751367672
RUNJOBID= nodeC009-1751360462-51820
SLURM_JOB_ID= 9598165
Free space on /tmp= 432652 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491078-1751367672/watcher-4491078-1751367672 -o /tmp/evaluation-result-4491078-1751367672/solver-4491078-1751367672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751360462-51820 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4491078-1751367672.opb

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

MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=783953335

nodeC009 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	: 0xb00001f
cpu MHz		: 1197.305
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1995.389
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.241
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.803
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3662.576
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3661.838
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.426
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.227
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121540820 kB
MemAvailable:   128233612 kB
Buffers:            3280 kB
Cached:          7464372 kB
SwapCached:            0 kB
Active:          2064224 kB
Inactive:        7164756 kB
Active(anon):    1778320 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7163788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2876 kB
Writeback:             4 kB
AnonPages:       1764512 kB
Mapped:           123456 kB
Shmem:             17960 kB
KReclaimable:     165068 kB
Slab:             249448 kB
SReclaimable:     165068 kB
SUnreclaim:        84380 kB
KernelStack:        4944 kB
PageTables:         7132 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7046896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150280 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1576960 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC009 at 2025-07-01 14:01:04