Trace number 4491079

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)25 3600.55 3605.61

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.06/0.23	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.23	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.23	c See www.sat4j.org for details.
0.21/0.24	c version PB25.v20250606
0.21/0.27	c java.runtime.name	OpenJDK Runtime Environment
0.21/0.27	c java.vm.name		OpenJDK 64-Bit Server VM
0.21/0.27	c java.vm.version	22.0.1+8-16
0.21/0.27	c java.vm.vendor	Oracle Corporation
0.21/0.27	c sun.arch.data.model	64
0.21/0.27	c java.version		22.0.1
0.21/0.27	c os.name		Linux
0.21/0.27	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.21/0.27	c os.arch		amd64
0.21/0.28	c Free memory 		2104792832
0.21/0.28	c Max memory 		16282288128
0.21/0.28	c Total memory 		2113929216
0.21/0.29	c Number of processors 	2
0.37/0.38	c Pseudo Boolean Optimization by upper bound
0.37/0.38	c --- Begin Solver configuration ---
0.37/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.37/0.38	c Learn all clauses as in MiniSAT
0.37/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.37/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.37/0.38	c Expensive reason simplification
0.37/0.38	c Glucose 2.1 dynamic restart strategy
0.37/0.38	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.37/0.38	c timeout=2147483s
0.37/0.38	c DB Simplification allowed=false
0.37/0.38	c Listener: none
0.37/0.38	c --- End Solver configuration ---
0.37/0.39	c solving HOME/instance-4491079-1751384465.opb
0.37/0.39	c reading problem ... 
0.37/0.39	c using VERIPB proof format
0.37/0.39	c  objective function found
0.54/0.47	c ... done. Wall clock time 0.084s.
0.54/0.47	c declared #vars     299
0.54/0.47	c #constraints  100
0.54/0.48	c constraints type 
0.54/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.54/0.48	c 100 constraints processed.
0.54/0.51	c objective function length is 299 literals
0.71/0.55	c SATISFIABLE
0.71/0.55	c OPTIMIZING...
0.71/0.55	c Got one! Elapsed wall clock time (in seconds):0.167
0.71/0.55	o 32
0.71/0.57	c Got one! Elapsed wall clock time (in seconds):0.187
0.71/0.57	o 31
0.87/0.66	c Got one! Elapsed wall clock time (in seconds):0.278
0.87/0.67	o 30
0.87/0.67	c Got one! Elapsed wall clock time (in seconds):0.284
0.87/0.67	o 29
1.04/0.78	c Got one! Elapsed wall clock time (in seconds):0.39
1.04/0.78	o 28
2.61/1.54	c cleaning 2674 clauses out of 5356 with flag 12802/5356
3.60/2.00	c cleaning 4333 clauses out of 8681 with flag 28220/11355
4.20/2.31	c cleaning 5673 clauses out of 11348 with flag 47570/18355
4.78/2.61	c cleaning 6836 clauses out of 13676 with flag 69555/26356
5.38/2.93	c cleaning 7901 clauses out of 15840 with flag 94465/35356
5.84/3.23	c cleaning 8954 clauses out of 17941 with flag 121392/45358
6.17/3.60	c cleaning 9981 clauses out of 19985 with flag 150229/56356
6.69/4.03	c cleaning 10998 clauses out of 22007 with flag 182342/68359
7.07/4.44	c cleaning 11997 clauses out of 24005 with flag 218068/81355
7.49/4.88	c cleaning 12984 clauses out of 26008 with flag 256370/95355
7.99/5.39	c cleaning 13996 clauses out of 28025 with flag 297317/110356
8.59/5.95	c cleaning 15000 clauses out of 30028 with flag 341919/126355
9.27/6.54	c cleaning 15996 clauses out of 32030 with flag 388157/143357
10.04/7.22	c cleaning 17002 clauses out of 34032 with flag 437156/161355
10.75/7.91	c cleaning 17993 clauses out of 36031 with flag 488846/180356
11.16/8.34	c Got one! Elapsed wall clock time (in seconds):7.956
11.16/8.34	o 27
11.70/8.60	c cleaning 18208 clauses out of 36423 with flag 13763/198741
12.09/8.82	c cleaning 12109 clauses out of 24217 with flag 30973/204743
12.51/9.04	c cleaning 9540 clauses out of 19104 with flag 49813/211739
12.86/9.27	c cleaning 8782 clauses out of 17564 with flag 71901/219739
13.36/9.54	c cleaning 8881 clauses out of 17782 with flag 96173/228739
13.66/9.82	c cleaning 9444 clauses out of 18901 with flag 122736/238739
13.97/10.18	c cleaning 10221 clauses out of 20457 with flag 151479/249739
14.37/10.56	c cleaning 11111 clauses out of 22236 with flag 185134/261739
14.76/10.94	c cleaning 12058 clauses out of 24129 with flag 220747/274743
15.16/11.38	c cleaning 13027 clauses out of 26067 with flag 260187/288739
15.66/11.85	c cleaning 14018 clauses out of 28041 with flag 301228/303740
16.16/12.36	c cleaning 15010 clauses out of 30023 with flag 344921/319740
16.76/12.92	c cleaning 16005 clauses out of 32012 with flag 390736/336739
17.36/13.52	c cleaning 16998 clauses out of 34008 with flag 439754/354740
18.05/14.20	c cleaning 17986 clauses out of 36009 with flag 491416/373739
18.65/14.86	c cleaning 19002 clauses out of 38023 with flag 544664/393739
19.35/15.55	c cleaning 20001 clauses out of 40022 with flag 599694/414740
20.15/16.37	c cleaning 21007 clauses out of 42020 with flag 660824/436739
20.96/17.16	c cleaning 21983 clauses out of 44013 with flag 722779/459739
21.75/18.00	c cleaning 22997 clauses out of 46032 with flag 786717/483741
22.65/18.89	c cleaning 23997 clauses out of 48034 with flag 852301/508740
23.64/19.85	c cleaning 25015 clauses out of 50037 with flag 924127/534740
24.64/20.84	c cleaning 26004 clauses out of 52024 with flag 997044/561742
25.85/22.03	c cleaning 27003 clauses out of 54018 with flag 1072527/589740
26.96/23.14	c cleaning 27996 clauses out of 56014 with flag 1150370/618739
28.04/24.28	c cleaning 29002 clauses out of 58019 with flag 1230386/648740
29.34/25.51	c cleaning 29982 clauses out of 60016 with flag 1313397/679739
30.63/26.85	c cleaning 31006 clauses out of 62037 with flag 1398903/711742
32.24/28.40	c cleaning 32014 clauses out of 64028 with flag 1489807/744739
33.63/29.81	c cleaning 32993 clauses out of 66016 with flag 1584610/778741
35.13/31.38	c cleaning 34006 clauses out of 68022 with flag 1682743/813740
36.53/32.79	c cleaning 34999 clauses out of 70016 with flag 1782384/849740
38.22/34.43	c cleaning 36001 clauses out of 72016 with flag 1886873/886739
39.78/36.17	c cleaning 36996 clauses out of 74015 with flag 1993323/924739
41.36/37.74	c cleaning 37997 clauses out of 76019 with flag 2103830/963739
43.05/39.47	c cleaning 39006 clauses out of 78022 with flag 2214841/1003739
44.55/40.95	c Got one! Elapsed wall clock time (in seconds):40.569
44.55/40.96	o 26
44.97/41.34	c cleaning 41281 clauses out of 82582 with flag 13901/1047305
45.26/41.61	c cleaning 23635 clauses out of 47298 with flag 30605/1053302
45.46/41.86	c cleaning 15331 clauses out of 30663 with flag 50402/1060302
45.77/42.12	c cleaning 11658 clauses out of 23335 with flag 72348/1068305
45.96/42.38	c cleaning 10328 clauses out of 20674 with flag 97322/1077302
46.26/42.67	c cleaning 10161 clauses out of 20346 with flag 124975/1087302
46.56/42.98	c cleaning 10577 clauses out of 21185 with flag 154249/1098302
46.96/43.33	c cleaning 11298 clauses out of 22609 with flag 187197/1110303
47.36/43.72	c cleaning 12156 clauses out of 24311 with flag 223085/1123303
47.77/44.19	c cleaning 13076 clauses out of 26156 with flag 262460/1137304
48.25/44.69	c cleaning 14028 clauses out of 28078 with flag 304412/1152302
48.76/45.18	c cleaning 15011 clauses out of 30051 with flag 349366/1168303
49.35/45.73	c cleaning 16015 clauses out of 32039 with flag 395099/1185302
49.85/46.29	c cleaning 17003 clauses out of 34024 with flag 444125/1203302
50.45/46.89	c cleaning 18010 clauses out of 36022 with flag 494650/1222303
51.14/47.54	c cleaning 18995 clauses out of 38016 with flag 548999/1242307
51.94/48.34	c cleaning 20005 clauses out of 40019 with flag 608658/1263305
52.66/49.10	c cleaning 20994 clauses out of 42011 with flag 667889/1285302
53.54/49.90	c cleaning 22003 clauses out of 44017 with flag 731479/1308302
54.34/50.78	c cleaning 23003 clauses out of 46016 with flag 796720/1332304
55.24/51.65	c cleaning 23983 clauses out of 48011 with flag 865108/1357302
56.24/52.61	c cleaning 25012 clauses out of 50033 with flag 935466/1383307
57.24/53.68	c cleaning 25994 clauses out of 52016 with flag 1007532/1410302
58.23/54.61	c cleaning 27005 clauses out of 54023 with flag 1083718/1438303
59.33/55.72	c cleaning 27999 clauses out of 56017 with flag 1165173/1467302
60.52/56.98	c cleaning 29004 clauses out of 58018 with flag 1250438/1497302
61.74/58.18	c cleaning 29994 clauses out of 60015 with flag 1337876/1528303
63.12/59.56	c cleaning 31003 clauses out of 62020 with flag 1431078/1560302
64.52/60.96	c cleaning 32003 clauses out of 64017 with flag 1523933/1593302
66.02/62.44	c cleaning 32998 clauses out of 66015 with flag 1626333/1627303
67.51/63.90	c cleaning 33998 clauses out of 68019 with flag 1727737/1662305
69.22/65.84	c cleaning 35005 clauses out of 70018 with flag 1834074/1698302
70.81/67.41	c cleaning 36007 clauses out of 72013 with flag 1937612/1735302
72.61/69.21	c cleaning 36986 clauses out of 74006 with flag 2045536/1773302
74.31/71.00	c cleaning 37999 clauses out of 76020 with flag 2154494/1812302
76.10/72.72	c cleaning 38993 clauses out of 78021 with flag 2265493/1852302
77.79/74.47	c cleaning 40005 clauses out of 80028 with flag 2380097/1893302
79.72/76.30	c cleaning 41013 clauses out of 82028 with flag 2496370/1935307
81.43/78.03	c cleaning 42001 clauses out of 84012 with flag 2614372/1978304
83.21/79.85	c cleaning 42997 clauses out of 86009 with flag 2734426/2022302
85.12/81.72	c cleaning 43981 clauses out of 88012 with flag 2855730/2067302
87.21/83.83	c cleaning 45006 clauses out of 90033 with flag 2980899/2113304
89.24/85.82	c cleaning 46007 clauses out of 92029 with flag 3109938/2160306
91.34/87.93	c cleaning 47010 clauses out of 94019 with flag 3239526/2208303
93.45/90.04	c cleaning 47993 clauses out of 96011 with flag 3373921/2257305
95.86/92.41	c cleaning 49002 clauses out of 98015 with flag 3508657/2307302
97.95/94.58	c cleaning 49996 clauses out of 100015 with flag 3646047/2358304
101.64/98.44	c cleaning 51006 clauses out of 102021 with flag 3792976/2410306
104.03/100.83	c cleaning 51998 clauses out of 104012 with flag 3937606/2463303
106.67/103.49	c cleaning 53007 clauses out of 106015 with flag 4085759/2517304
109.07/105.90	c cleaning 53999 clauses out of 108011 with flag 4237757/2572307
111.86/108.69	c cleaning 54990 clauses out of 110007 with flag 4392042/2628302
114.46/111.29	c cleaning 56004 clauses out of 112018 with flag 4547876/2685303
118.47/115.24	c cleaning 56998 clauses out of 114013 with flag 4703879/2743302
121.17/117.91	c cleaning 58007 clauses out of 116017 with flag 4867584/2802304
124.43/121.12	c cleaning 58995 clauses out of 118012 with flag 5040733/2862306
128.77/125.42	c cleaning 59999 clauses out of 120014 with flag 5212566/2923303
132.58/129.47	c cleaning 60998 clauses out of 122014 with flag 5391814/2985302
136.22/133.07	c cleaning 61998 clauses out of 124016 with flag 5573673/3048302
139.59/136.48	c cleaning 63001 clauses out of 126021 with flag 5758602/3112305
143.52/140.39	c cleaning 64004 clauses out of 128017 with flag 5948431/3177302
146.92/143.79	c cleaning 65004 clauses out of 130014 with flag 6130939/3243303
151.56/148.36	c cleaning 66005 clauses out of 132014 with flag 6314467/3310307
155.15/151.99	c cleaning 66994 clauses out of 134004 with flag 6506215/3378302
159.79/156.53	c cleaning 68001 clauses out of 136010 with flag 6692902/3447302
165.14/162.61	c cleaning 69009 clauses out of 138019 with flag 6887524/3517312
170.13/167.62	c cleaning 69995 clauses out of 140001 with flag 7080918/3588303
174.01/171.46	c cleaning 70997 clauses out of 142005 with flag 7273335/3660302
177.40/174.83	c cleaning 71996 clauses out of 144009 with flag 7469919/3733303
181.37/178.75	c cleaning 72992 clauses out of 146017 with flag 7672902/3807307
184.97/182.34	c cleaning 74000 clauses out of 148020 with flag 7878247/3882302
189.64/186.96	c cleaning 75005 clauses out of 150022 with flag 8089070/3958304
193.50/191.09	c cleaning 75990 clauses out of 152015 with flag 8303201/4035302
197.67/195.17	c cleaning 76999 clauses out of 154025 with flag 8521338/4113302
202.01/199.48	c cleaning 78003 clauses out of 156026 with flag 8737964/4192302
206.40/203.81	c cleaning 79011 clauses out of 158026 with flag 8963592/4272305
211.79/209.18	c cleaning 79996 clauses out of 160018 with flag 9200283/4353308
215.96/213.33	c cleaning 81003 clauses out of 162017 with flag 9428789/4435303
220.85/218.11	c cleaning 82007 clauses out of 164013 with flag 9657921/4518302
226.43/223.81	c cleaning 82991 clauses out of 166006 with flag 9889102/4602302
231.32/228.75	c cleaning 83999 clauses out of 168021 with flag 10122222/4687308
236.57/233.94	c cleaning 84996 clauses out of 170018 with flag 10366687/4773304
243.23/240.58	c cleaning 85995 clauses out of 172021 with flag 10606952/4860303
247.53/244.87	c cleaning 87004 clauses out of 174025 with flag 10845179/4948302
253.77/251.27	c cleaning 87998 clauses out of 176022 with flag 11089687/5037303
258.54/255.91	c cleaning 89010 clauses out of 178023 with flag 11338732/5127302
262.54/259.98	c cleaning 89997 clauses out of 180014 with flag 11589094/5218303
267.31/264.63	c cleaning 90983 clauses out of 182018 with flag 11837316/5310304
273.78/271.02	c cleaning 92013 clauses out of 184035 with flag 12094152/5403304
279.16/276.40	c cleaning 93001 clauses out of 186022 with flag 12345959/5497304
284.32/281.68	c cleaning 94010 clauses out of 188026 with flag 12601452/5592309
291.36/288.66	c cleaning 94989 clauses out of 190009 with flag 12860754/5688302
297.45/294.65	c cleaning 95996 clauses out of 192020 with flag 13126798/5785302
302.94/300.11	c cleaning 97003 clauses out of 194024 with flag 13397182/5883302
309.69/306.85	c cleaning 98002 clauses out of 196024 with flag 13665218/5982305
316.07/313.21	c cleaning 98994 clauses out of 198019 with flag 13934643/6082302
321.99/319.09	c cleaning 100008 clauses out of 200029 with flag 14211943/6183306
328.16/325.21	c cleaning 101000 clauses out of 202017 with flag 14490357/6285302
336.03/333.05	c cleaning 101985 clauses out of 204017 with flag 14769172/6388302
343.19/340.18	c cleaning 103005 clauses out of 206032 with flag 15052364/6492302
349.36/346.38	c cleaning 104014 clauses out of 208027 with flag 15334008/6597302
356.14/353.01	c cleaning 105001 clauses out of 210014 with flag 15617111/6703303
362.71/359.66	c cleaning 106003 clauses out of 212012 with flag 15901162/6810302
370.36/367.22	c cleaning 107001 clauses out of 214010 with flag 16191643/6918303
379.42/376.38	c cleaning 107995 clauses out of 216008 with flag 16497701/7027302
386.40/383.20	c cleaning 108999 clauses out of 218014 with flag 16801149/7137303
395.48/392.29	c cleaning 109980 clauses out of 220014 with flag 17125484/7248302
403.56/400.26	c cleaning 110992 clauses out of 222035 with flag 17433708/7360303
409.58/406.38	c cleaning 112016 clauses out of 224042 with flag 17742391/7473302
418.45/415.19	c cleaning 113003 clauses out of 226029 with flag 18051009/7587305
425.21/421.87	c cleaning 113995 clauses out of 228024 with flag 18358345/7702303
433.10/429.65	c cleaning 115009 clauses out of 230029 with flag 18663536/7818303
441.57/438.20	c cleaning 115992 clauses out of 232019 with flag 18972038/7935302
448.33/444.80	c cleaning 117003 clauses out of 234027 with flag 19284595/8053302
455.02/451.44	c cleaning 118003 clauses out of 236024 with flag 19597942/8172302
461.61/458.00	c cleaning 119007 clauses out of 238022 with flag 19908515/8292303
468.62/465.01	c cleaning 120006 clauses out of 240016 with flag 20224951/8413304
478.33/474.70	c cleaning 121003 clauses out of 242012 with flag 20558821/8535306
486.08/482.40	c cleaning 121997 clauses out of 244005 with flag 20892177/8658302
494.85/491.12	c cleaning 122990 clauses out of 246008 with flag 21235303/8782302
502.73/499.12	c cleaning 124004 clauses out of 248019 with flag 21580149/8907303
511.97/508.38	c cleaning 124999 clauses out of 250014 with flag 21931862/9033302
512.38/508.70	c Got one! Elapsed wall clock time (in seconds):508.316
512.38/508.70	o 25
513.08/509.45	c cleaning 68939 clauses out of 137903 with flag 14226/9046190
513.58/509.90	c cleaning 37467 clauses out of 74964 with flag 31317/9052190
513.79/510.18	c cleaning 22245 clauses out of 44499 with flag 51000/9059192
514.55/510.81	c cleaning 15108 clauses out of 30251 with flag 72744/9067189
515.16/511.40	c cleaning 12064 clauses out of 24143 with flag 97378/9076189
515.65/512.01	c cleaning 11023 clauses out of 22079 with flag 127349/9086189
516.26/512.54	c cleaning 11017 clauses out of 22056 with flag 158344/9097189
516.65/512.98	c cleaning 11517 clauses out of 23041 with flag 191451/9109191
517.15/513.43	c cleaning 12261 clauses out of 24523 with flag 227557/9122190
517.55/513.89	c cleaning 13131 clauses out of 26265 with flag 266643/9136193
518.15/514.42	c cleaning 14061 clauses out of 28131 with flag 310522/9151190
518.65/514.98	c cleaning 15024 clauses out of 30070 with flag 355688/9167190
519.25/515.55	c cleaning 16006 clauses out of 32045 with flag 404792/9184189
520.38/516.64	c cleaning 17015 clauses out of 34039 with flag 453338/9202189
521.67/517.97	c cleaning 17997 clauses out of 36024 with flag 503465/9221189
522.57/518.87	c cleaning 19003 clauses out of 38027 with flag 556227/9241189
523.37/519.60	c cleaning 20002 clauses out of 40024 with flag 611895/9262189
524.08/520.39	c cleaning 21001 clauses out of 42022 with flag 672046/9284189
524.98/521.23	c cleaning 22004 clauses out of 44026 with flag 734151/9307194
525.95/522.16	c cleaning 23005 clauses out of 46020 with flag 797349/9331192
526.85/523.05	c cleaning 24008 clauses out of 48015 with flag 863386/9356192
527.85/524.02	c cleaning 24998 clauses out of 50005 with flag 933786/9382190
528.84/525.10	c cleaning 26002 clauses out of 52008 with flag 1011088/9409191
530.03/526.35	c cleaning 26994 clauses out of 54004 with flag 1089584/9437189
531.35/527.65	c cleaning 28002 clauses out of 56010 with flag 1166932/9466189
532.46/528.79	c cleaning 29001 clauses out of 58009 with flag 1249599/9496190
533.65/530.01	c cleaning 29997 clauses out of 60007 with flag 1338765/9527189
534.95/531.27	c cleaning 30978 clauses out of 62010 with flag 1433281/9559189
536.67/532.99	c cleaning 32016 clauses out of 64032 with flag 1526231/9592189
538.77/535.06	c cleaning 33005 clauses out of 66016 with flag 1617156/9626189
540.15/536.42	c cleaning 33993 clauses out of 68011 with flag 1713646/9661189
541.66/537.92	c cleaning 35002 clauses out of 70019 with flag 1809927/9697190
543.37/539.61	c cleaning 36008 clauses out of 72016 with flag 1906587/9734189
544.97/541.29	c cleaning 36998 clauses out of 74008 with flag 2011700/9772189
546.96/543.22	c cleaning 38005 clauses out of 76010 with flag 2119531/9811189
548.66/544.94	c cleaning 38997 clauses out of 78005 with flag 2226319/9851189
550.68/546.99	c cleaning 40000 clauses out of 80008 with flag 2337844/9892189
552.57/548.81	c cleaning 41000 clauses out of 82008 with flag 2452846/9934189
554.27/550.57	c cleaning 41980 clauses out of 84008 with flag 2568833/9977189
556.37/552.62	c cleaning 42999 clauses out of 86029 with flag 2690885/10021190
558.52/554.77	c cleaning 44011 clauses out of 88031 with flag 2815928/10066191
560.68/557.00	c cleaning 45006 clauses out of 90019 with flag 2943624/10112190
562.81/559.13	c cleaning 46002 clauses out of 92012 with flag 3074400/10159189
565.27/561.55	c cleaning 47003 clauses out of 94010 with flag 3206751/10207189
567.67/563.95	c cleaning 47997 clauses out of 96013 with flag 3342136/10256195
570.16/566.41	c cleaning 48984 clauses out of 98010 with flag 3483614/10306189
572.75/568.90	c cleaning 50009 clauses out of 100026 with flag 3625111/10357189
575.45/571.67	c cleaning 50995 clauses out of 102017 with flag 3764708/10409189
578.14/574.38	c cleaning 52002 clauses out of 104022 with flag 3910328/10462189
580.55/576.70	c cleaning 53000 clauses out of 106020 with flag 4056151/10516189
583.11/579.27	c cleaning 53997 clauses out of 108022 with flag 4209489/10571191
586.02/582.13	c cleaning 54992 clauses out of 110023 with flag 4370698/10627189
588.51/584.65	c cleaning 56011 clauses out of 112031 with flag 4531067/10684189
591.47/587.50	c cleaning 57008 clauses out of 114020 with flag 4695046/10742189
593.97/590.17	c cleaning 57987 clauses out of 116012 with flag 4857219/10801189
596.85/592.93	c cleaning 59013 clauses out of 118026 with flag 5026589/10861190
599.44/595.59	c cleaning 59991 clauses out of 120012 with flag 5199444/10922189
602.14/598.21	c cleaning 61011 clauses out of 122022 with flag 5372854/10984190
605.14/601.18	c cleaning 62004 clauses out of 124010 with flag 5549862/11047189
607.82/603.85	c cleaning 62997 clauses out of 126006 with flag 5722270/11111189
610.71/606.73	c cleaning 64001 clauses out of 128009 with flag 5897028/11176189
614.11/610.09	c cleaning 64999 clauses out of 130008 with flag 6077857/11242189
617.48/613.42	c cleaning 65991 clauses out of 132010 with flag 6263134/11309190
621.28/617.19	c cleaning 66987 clauses out of 134018 with flag 6448732/11377189
624.74/620.76	c cleaning 67998 clauses out of 136031 with flag 6636551/11446189
629.74/625.61	c cleaning 69010 clauses out of 138034 with flag 6828303/11516190
633.14/629.03	c cleaning 70003 clauses out of 140023 with flag 7021230/11587189
637.19/633.07	c cleaning 70995 clauses out of 142020 with flag 7226086/11659189
641.18/637.07	c cleaning 72009 clauses out of 144027 with flag 7431635/11732191
644.77/640.69	c cleaning 72992 clauses out of 146018 with flag 7636815/11806191
648.12/644.01	c cleaning 74001 clauses out of 148024 with flag 7840299/11881189
651.51/647.33	c cleaning 75006 clauses out of 150024 with flag 8046572/11957190
655.37/651.24	c cleaning 75990 clauses out of 152017 with flag 8251208/12034189
658.97/654.82	c cleaning 77006 clauses out of 154027 with flag 8467812/12112189
663.04/658.89	c cleaning 78006 clauses out of 156021 with flag 8691757/12191189
668.03/663.89	c cleaning 79006 clauses out of 158019 with flag 8910845/12271193
673.90/669.68	c cleaning 79995 clauses out of 160009 with flag 9132645/12352189
677.89/673.70	c cleaning 81000 clauses out of 162014 with flag 9354637/12434189
682.17/677.88	c cleaning 81993 clauses out of 164014 with flag 9585049/12517189
686.83/682.67	c cleaning 82996 clauses out of 166021 with flag 9819053/12601189
692.23/688.07	c cleaning 83980 clauses out of 168026 with flag 10057914/12686190
698.12/693.83	c cleaning 85013 clauses out of 170045 with flag 10290668/12772189
702.33/698.08	c cleaning 86012 clauses out of 172032 with flag 10540501/12859189
707.00/702.63	c cleaning 87000 clauses out of 174020 with flag 10785091/12947189
713.68/709.29	c cleaning 87994 clauses out of 176020 with flag 11024837/13036189
717.78/713.47	c cleaning 89006 clauses out of 178027 with flag 11271039/13126190
722.37/717.95	c cleaning 89999 clauses out of 180021 with flag 11520535/13217190
728.15/723.66	c cleaning 90998 clauses out of 182021 with flag 11768556/13309189
733.44/728.94	c cleaning 92003 clauses out of 184023 with flag 12019950/13402189
739.49/735.00	c cleaning 93007 clauses out of 186021 with flag 12278333/13496190
746.28/741.76	c cleaning 93996 clauses out of 188018 with flag 12544057/13591194
751.26/746.72	c cleaning 95011 clauses out of 190021 with flag 12819051/13687193
757.74/753.15	c cleaning 95990 clauses out of 192006 with flag 13100609/13784189
763.09/758.45	c cleaning 97006 clauses out of 194016 with flag 13397650/13882189
768.27/763.64	c cleaning 97994 clauses out of 196011 with flag 13703248/13981190
773.48/768.80	c cleaning 99005 clauses out of 198016 with flag 14005424/14081189
779.81/775.29	c cleaning 99993 clauses out of 200011 with flag 14297083/14182189
786.48/781.88	c cleaning 101000 clauses out of 202018 with flag 14571698/14284189
792.46/787.80	c cleaning 102005 clauses out of 204023 with flag 14860368/14387194
798.61/793.93	c cleaning 102990 clauses out of 206013 with flag 15141533/14491189
805.17/800.44	c cleaning 103990 clauses out of 208023 with flag 15432041/14596189
812.35/812.18	c cleaning 105001 clauses out of 210035 with flag 15726908/14702191
822.21/821.95	c cleaning 105996 clauses out of 212032 with flag 16025530/14809189
828.69/828.47	c cleaning 106999 clauses out of 214038 with flag 16322309/14917191
835.87/835.76	c cleaning 108010 clauses out of 216039 with flag 16623330/15026191
842.74/842.52	c cleaning 109002 clauses out of 218027 with flag 16940089/15136189
850.69/850.40	c cleaning 110004 clauses out of 220025 with flag 17262172/15247189
857.46/856.57	c cleaning 110996 clauses out of 222021 with flag 17569568/15359189
865.02/864.25	c cleaning 111999 clauses out of 224025 with flag 17878922/15472189
871.77/871.05	c cleaning 113016 clauses out of 226032 with flag 18185121/15586195
878.35/877.64	c cleaning 114000 clauses out of 228010 with flag 18498659/15701189
884.99/884.24	c cleaning 114998 clauses out of 230011 with flag 18817603/15817190
894.02/893.13	c cleaning 115994 clauses out of 232012 with flag 19142819/15934189
901.94/901.20	c cleaning 117000 clauses out of 234018 with flag 19470590/16052189
909.87/909.14	c cleaning 118005 clauses out of 236022 with flag 19803672/16171193
918.39/917.60	c cleaning 118983 clauses out of 238013 with flag 20135390/16291189
925.78/925.04	c cleaning 119999 clauses out of 240030 with flag 20468684/16412189
932.76/932.16	c cleaning 121001 clauses out of 242031 with flag 20808696/16534189
941.71/941.10	c cleaning 121999 clauses out of 244031 with flag 21153039/16657190
950.39/949.65	c cleaning 122997 clauses out of 246031 with flag 21504368/16781189
960.07/959.58	c cleaning 124007 clauses out of 248034 with flag 21861415/16906189
967.26/966.66	c cleaning 124997 clauses out of 250027 with flag 22210263/17032189
976.22/975.56	c cleaning 126005 clauses out of 252031 with flag 22554288/17159190
985.98/985.28	c cleaning 127001 clauses out of 254025 with flag 22913565/17287189
997.29/996.72	c cleaning 128002 clauses out of 256024 with flag 23285985/17416189
1008.86/1008.26	c cleaning 129006 clauses out of 258025 with flag 23666974/17546192
1016.45/1015.71	c cleaning 130002 clauses out of 260016 with flag 24034231/17677189
1026.43/1026.15	c cleaning 131003 clauses out of 262014 with flag 24398608/17809189
1034.32/1033.98	c cleaning 131993 clauses out of 264012 with flag 24775157/17942190
1043.61/1043.14	c cleaning 132999 clauses out of 266020 with flag 25151751/18076191
1053.71/1053.42	c cleaning 134004 clauses out of 268020 with flag 25524647/18211190
1062.88/1062.51	c cleaning 134999 clauses out of 270015 with flag 25900612/18347189
1071.05/1070.60	c cleaning 135990 clauses out of 272016 with flag 26270162/18484189
1081.56/1081.27	c cleaning 137002 clauses out of 274026 with flag 26648818/18622189
1092.93/1092.58	c cleaning 137997 clauses out of 276024 with flag 27039939/18761189
1102.65/1102.17	c cleaning 138989 clauses out of 278027 with flag 27420147/18901189
1113.67/1113.24	c cleaning 140015 clauses out of 280040 with flag 27803298/19042191
1123.05/1122.69	c cleaning 141003 clauses out of 282023 with flag 28208505/19184189
1133.39/1132.92	c cleaning 142000 clauses out of 284020 with flag 28609294/19327189
1141.80/1141.40	c cleaning 142996 clauses out of 286024 with flag 29017113/19471193
1150.48/1150.05	c cleaning 144000 clauses out of 288025 with flag 29420221/19616190
1160.57/1160.05	c cleaning 144996 clauses out of 290024 with flag 29827531/19762189
1170.43/1169.87	c cleaning 145993 clauses out of 292031 with flag 30244992/19909192
1180.76/1180.27	c cleaning 147004 clauses out of 294037 with flag 30656353/20057191
1190.56/1190.01	c cleaning 147990 clauses out of 296031 with flag 31060628/20206189
1200.35/1199.68	c cleaning 149012 clauses out of 298041 with flag 31468256/20356189
1211.27/1215.54	c cleaning 150004 clauses out of 300032 with flag 31882555/20507192
1219.91/1224.17	c cleaning 151010 clauses out of 302025 with flag 32309853/20659189
1230.04/1234.26	c cleaning 151998 clauses out of 304015 with flag 32727091/20812189
1240.48/1244.83	c cleaning 152999 clauses out of 306019 with flag 33155264/20966191
1253.04/1257.34	c cleaning 153997 clauses out of 308022 with flag 33583337/21121193
1264.81/1269.24	c cleaning 154997 clauses out of 310021 with flag 34024494/21277189
1275.81/1280.13	c cleaning 156002 clauses out of 312024 with flag 34460601/21434189
1290.47/1294.74	c cleaning 156985 clauses out of 314023 with flag 34895587/21592190
1300.80/1305.29	c cleaning 158012 clauses out of 316037 with flag 35335179/21751189
1313.07/1317.46	c cleaning 159002 clauses out of 318026 with flag 35776976/21911190
1324.55/1328.88	c cleaning 160009 clauses out of 320025 with flag 36224420/22072191
1338.67/1343.18	c cleaning 160972 clauses out of 322014 with flag 36684512/22234189
1348.92/1353.38	c cleaning 162015 clauses out of 324044 with flag 37119033/22397191
1359.68/1364.39	c cleaning 163008 clauses out of 326027 with flag 37561014/22561189
1370.32/1374.99	c cleaning 163987 clauses out of 328020 with flag 38004772/22726190
1384.21/1388.62	c cleaning 165005 clauses out of 330033 with flag 38466522/22892190
1393.75/1398.20	c cleaning 166006 clauses out of 332028 with flag 38929056/23059190
1405.90/1410.34	c cleaning 166999 clauses out of 334022 with flag 39391633/23227190
1418.85/1423.44	c cleaning 167990 clauses out of 336022 with flag 39865730/23396189
1432.22/1436.76	c cleaning 169010 clauses out of 338035 with flag 40327224/23566192
1443.89/1448.23	c cleaning 169998 clauses out of 340022 with flag 40791264/23737189
1456.32/1460.87	c cleaning 170993 clauses out of 342024 with flag 41263009/23909189
1469.86/1474.33	c cleaning 172009 clauses out of 344032 with flag 41736709/24082190
1484.45/1490.08	c cleaning 172997 clauses out of 346022 with flag 42227945/24256189
1497.99/1503.57	c cleaning 174005 clauses out of 348025 with flag 42727231/24431189
1511.86/1517.10	c cleaning 175008 clauses out of 350020 with flag 43222479/24607189
1525.11/1530.35	c cleaning 175993 clauses out of 352013 with flag 43721665/24784190
1538.38/1543.61	c cleaning 177002 clauses out of 354019 with flag 44222877/24962189
1549.28/1554.67	c cleaning 177988 clauses out of 356018 with flag 44717546/25141190
1561.00/1566.24	c cleaning 178993 clauses out of 358029 with flag 45210091/25321189
1574.77/1580.19	c cleaning 180010 clauses out of 360036 with flag 45706567/25502189
1591.16/1596.57	c cleaning 181002 clauses out of 362026 with flag 46212506/25684189
1604.78/1610.24	c cleaning 182009 clauses out of 364025 with flag 46702934/25867190
1617.41/1622.87	c cleaning 182976 clauses out of 366016 with flag 47196322/26051190
1634.04/1639.59	c cleaning 184001 clauses out of 368041 with flag 47709762/26236191
1646.46/1651.81	c cleaning 185002 clauses out of 370038 with flag 48210803/26422189
1661.93/1667.25	c cleaning 185997 clauses out of 372037 with flag 48714662/26609190
1674.82/1680.11	c cleaning 186991 clauses out of 374040 with flag 49221786/26797190
1686.34/1691.63	c cleaning 188012 clauses out of 376048 with flag 49726755/26986189
1699.08/1704.42	c cleaning 189018 clauses out of 378039 with flag 50242556/27176192
1714.22/1719.57	c cleaning 189995 clauses out of 380018 with flag 50756584/27367189
1730.57/1735.72	c cleaning 191004 clauses out of 382023 with flag 51280795/27559189
1744.78/1749.86	c cleaning 192004 clauses out of 384020 with flag 51811587/27752190
1758.37/1763.40	c cleaning 192990 clauses out of 386016 with flag 52347882/27946190
1773.32/1778.36	c cleaning 193989 clauses out of 388029 with flag 52896179/28141193
1787.86/1792.92	c cleaning 195011 clauses out of 390038 with flag 53459473/28337191
1802.51/1807.40	c cleaning 196004 clauses out of 392026 with flag 53995370/28534190
1818.30/1823.23	c cleaning 196992 clauses out of 394021 with flag 54536381/28732189
1833.49/1838.33	c cleaning 198004 clauses out of 396031 with flag 55084398/28931191
1849.87/1854.70	c cleaning 199002 clauses out of 398026 with flag 55666476/29131190
1864.99/1869.88	c cleaning 200004 clauses out of 400023 with flag 56257060/29332189
1882.25/1887.17	c cleaning 200992 clauses out of 402022 with flag 56825737/29534192
1899.42/1904.23	c cleaning 202003 clauses out of 404027 with flag 57401996/29737189
1914.61/1919.50	c cleaning 203009 clauses out of 406024 with flag 57961648/29941189
1929.66/1934.49	c cleaning 204003 clauses out of 408017 with flag 58526277/30146191
1946.15/1951.11	c cleaning 204991 clauses out of 410012 with flag 59103293/30352189
1962.53/1967.39	c cleaning 206003 clauses out of 412022 with flag 59670195/30559190
1978.29/1983.13	c cleaning 207001 clauses out of 414018 with flag 60258173/30767189
1993.53/1998.29	c cleaning 208000 clauses out of 416017 with flag 60834334/30976189
2012.52/2017.27	c cleaning 209008 clauses out of 418017 with flag 61417999/31186189
2027.72/2032.34	c cleaning 210005 clauses out of 420014 with flag 62013163/31397194
2042.72/2047.33	c cleaning 210982 clauses out of 422006 with flag 62613725/31609191
2060.79/2065.22	c cleaning 212004 clauses out of 424024 with flag 63201812/31822191
2075.19/2079.78	c cleaning 213005 clauses out of 426018 with flag 63774023/32036189
2090.73/2095.29	c cleaning 214000 clauses out of 428017 with flag 64347276/32251193
2104.72/2109.21	c cleaning 214977 clauses out of 430015 with flag 64924767/32467191
2118.28/2122.75	c cleaning 215991 clauses out of 432038 with flag 65504140/32684191
2139.22/2143.67	c cleaning 217010 clauses out of 434045 with flag 66126392/32902189
2157.42/2161.88	c cleaning 217996 clauses out of 436035 with flag 66730790/33121189
2174.53/2178.91	c cleaning 219001 clauses out of 438040 with flag 67342892/33341190
2193.04/2197.41	c cleaning 220012 clauses out of 440038 with flag 67959123/33562189
2207.40/2211.75	c cleaning 221003 clauses out of 442026 with flag 68577587/33784189
2225.78/2230.10	c cleaning 221995 clauses out of 444023 with flag 69203338/34007189
2243.36/2247.57	c cleaning 222996 clauses out of 446029 with flag 69812208/34231190
2263.99/2268.19	c cleaning 223997 clauses out of 448032 with flag 70432677/34456189
2281.60/2285.77	c cleaning 224999 clauses out of 450035 with flag 71046247/34682189
2299.93/2304.09	c cleaning 226009 clauses out of 452037 with flag 71661468/34909190
2318.17/2322.28	c cleaning 227005 clauses out of 454032 with flag 72276751/35137194
2336.88/2340.03	c cleaning 227996 clauses out of 456022 with flag 72904110/35366189
2353.15/2357.47	c cleaning 229003 clauses out of 458028 with flag 73541780/35596191
2367.34/2371.50	c cleaning 229996 clauses out of 460023 with flag 74179757/35827189
2383.91/2389.15	c cleaning 230989 clauses out of 462027 with flag 74816623/36059189
2403.79/2409.00	c cleaning 232012 clauses out of 464039 with flag 75458542/36292190
2420.90/2426.12	c cleaning 232987 clauses out of 466026 with flag 76105275/36526189
2436.46/2441.57	c cleaning 234003 clauses out of 468040 with flag 76747357/36761190
2453.72/2458.86	c cleaning 235017 clauses out of 470037 with flag 77402745/36997190
2471.04/2476.12	c cleaning 235988 clauses out of 472019 with flag 78059326/37234189
2487.72/2492.85	c cleaning 237006 clauses out of 474031 with flag 78721386/37472189
2503.56/2508.67	c cleaning 238007 clauses out of 476026 with flag 79388718/37711190
2520.87/2525.95	c cleaning 238989 clauses out of 478018 with flag 80057150/37951189
2536.00/2541.07	c cleaning 240003 clauses out of 480029 with flag 80729405/38192189
2550.40/2555.59	c cleaning 241008 clauses out of 482026 with flag 81394835/38434189
2570.47/2575.63	c cleaning 241998 clauses out of 484019 with flag 82076728/38677190
2588.03/2593.13	c cleaning 242998 clauses out of 486021 with flag 82755158/38921190
2603.38/2608.48	c cleaning 243988 clauses out of 488022 with flag 83427114/39166189
2617.66/2622.63	c cleaning 245007 clauses out of 490038 with flag 84091276/39412193
2635.58/2640.59	c cleaning 246013 clauses out of 492029 with flag 84772359/39659191
2655.56/2660.40	c cleaning 246993 clauses out of 494014 with flag 85465298/39907189
2677.11/2681.90	c cleaning 247993 clauses out of 496021 with flag 86157212/40156189
2701.56/2706.48	c cleaning 248997 clauses out of 498029 with flag 86854841/40406190
2717.57/2722.46	c cleaning 249996 clauses out of 500032 with flag 87557703/40657190
2736.62/2741.51	c cleaning 251015 clauses out of 502038 with flag 88256681/40909192
2756.78/2761.72	c cleaning 251998 clauses out of 504020 with flag 88961880/41162189
2772.68/2777.66	c cleaning 253005 clauses out of 506022 with flag 89644600/41416189
2794.58/2799.55	c cleaning 254002 clauses out of 508017 with flag 90355912/41671189
2811.24/2816.14	c cleaning 254999 clauses out of 510019 with flag 91047914/41927193
2826.57/2831.46	c cleaning 256003 clauses out of 512016 with flag 91758575/42184189
2843.37/2848.13	c cleaning 257000 clauses out of 514016 with flag 92466914/42442192
2862.39/2867.28	c cleaning 257994 clauses out of 516013 with flag 93187040/42701189
2879.95/2885.22	c cleaning 259000 clauses out of 518019 with flag 93902337/42961189
2899.55/2904.63	c cleaning 259997 clauses out of 520020 with flag 94617646/43222190
2916.85/2921.97	c cleaning 260990 clauses out of 522024 with flag 95319284/43484191
2936.45/2941.42	c cleaning 262011 clauses out of 524032 with flag 96032784/43747189
2960.62/2965.60	c cleaning 262996 clauses out of 526021 with flag 96743438/44011189
2981.62/2986.52	c cleaning 263995 clauses out of 528025 with flag 97476289/44276189
3001.08/3005.92	c cleaning 265009 clauses out of 530031 with flag 98226532/44542190
3020.23/3025.11	c cleaning 266008 clauses out of 532023 with flag 98989784/44809191
3042.56/3046.68	c cleaning 266996 clauses out of 534016 with flag 99732646/45077192
3064.87/3068.87	c cleaning 268006 clauses out of 536020 with flag 100451144/45346192
3084.49/3088.34	c cleaning 268988 clauses out of 538011 with flag 101191631/45616189
3104.69/3108.63	c cleaning 270011 clauses out of 540025 with flag 101929414/45887191
3124.06/3127.91	c cleaning 270999 clauses out of 542013 with flag 102662710/46159190
3149.58/3153.52	c cleaning 271997 clauses out of 544013 with flag 103392609/46432189
3169.44/3174.48	c cleaning 272997 clauses out of 546016 with flag 104134056/46706189
3190.25/3195.28	c cleaning 274006 clauses out of 548021 with flag 104892080/46981191
3207.28/3212.16	c cleaning 274984 clauses out of 550013 with flag 105622687/47257189
3232.54/3237.58	c cleaning 275997 clauses out of 552029 with flag 106358352/47534189
3254.99/3259.81	c cleaning 277004 clauses out of 554032 with flag 107099897/47812189
3278.31/3283.18	c cleaning 278008 clauses out of 556032 with flag 107858309/48091193
3302.32/3307.11	c cleaning 278988 clauses out of 558020 with flag 108610933/48371189
3326.69/3331.54	c cleaning 280010 clauses out of 560032 with flag 109363283/48652189
3347.01/3351.83	c cleaning 280984 clauses out of 562022 with flag 110127884/48934189
3374.85/3381.63	c cleaning 282004 clauses out of 564038 with flag 110890220/49217189
3395.90/3402.51	c cleaning 282997 clauses out of 566036 with flag 111664607/49501191
3415.93/3422.56	c cleaning 284006 clauses out of 568038 with flag 112451438/49786190
3437.97/3444.52	c cleaning 285005 clauses out of 570033 with flag 113219209/50072191
3457.31/3463.89	c cleaning 285994 clauses out of 572026 with flag 113979534/50359189
3481.21/3487.70	c cleaning 287012 clauses out of 574033 with flag 114742553/50647190
3501.72/3508.11	c cleaning 288009 clauses out of 576021 with flag 115531282/50936190
3524.07/3530.30	c cleaning 288996 clauses out of 578011 with flag 116335236/51226189
3549.06/3555.29	c cleaning 289995 clauses out of 580018 with flag 117126398/51517192
3574.31/3579.54	c cleaning 290990 clauses out of 582020 with flag 117927410/51809189
3598.71/3604.06	c cleaning 292000 clauses out of 584030 with flag 118721645/52102189
3600.02/3605.31	c starts		: 1522
3600.02/3605.34	c conflicts		: 52117925
3600.02/3605.34	c decisions		: 142304775
3600.02/3605.35	c propagations		: 3988015704
3600.02/3605.35	c inspects		: 20193129273
3600.02/3605.35	c shortcuts		: 0
3600.02/3605.35	c learnt literals	: 0
3600.02/3605.35	c learnt binary clauses	: 0
3600.02/3605.36	c learnt ternary clauses	: 0
3600.02/3605.36	c learnt constraints	: 52117925
3600.02/3605.36	c ignored constraints	: 0
3600.02/3605.36	c root simplifications	: 0
3600.02/3605.36	c removed literals (reason simplification)	: 110904979
3600.02/3605.36	c reason swapping (by a shorter reason)	: 0
3600.02/3605.36	c Calls to reduceDB	: 462
3600.02/3605.36	c Number of update (reduction) of LBD	: 14797451
3600.02/3605.36	c Imported unit clauses	: 0
3600.02/3605.36	c No decision after first conflict	: false
3600.02/3605.36	c number of reductions to clauses (during analyze)	: 0
3600.02/3605.36	c number of learned constraints concerned by reduction	: 0
3600.02/3605.36	c number of learning phase by resolution	: 0
3600.02/3605.36	c number of learning phase by cutting planes	: 0
3600.02/3605.36	c number of rounding to 1 operations	: 0
3600.02/3605.36	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3605.36	c number of reductions of the coefficients by power 2 	: 0
3600.02/3605.36	c number of right shift for reduction by power 2 	: 0
3600.02/3605.36	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3605.37	c number of ending skipping 	: 0
3600.02/3605.37	c number of internal skipping 	: 0
3600.02/3605.37	c number of derivation steps 	: 0
3600.02/3605.37	c number of skipped derivation steps 	: 0
3600.02/3605.37	c number of remaining unassigned 	: 0
3600.02/3605.37	c number of remaining assigned 	: 0
3600.02/3605.37	c number of falsified literals weakened from reason	: 0
3600.02/3605.37	c number of falsified literals weakened from conflict	: 0
3600.02/3605.37	c time for arithmetic operations	: 0
3600.02/3605.37	c minimum degree of deleted constraints	: null
3600.02/3605.37	c maximum degree of deleted constraints	: null
3600.02/3605.37	c number of deleted constraints	: 0
3600.02/3605.37	c speed (assignments/second)	: 1106297.8570418023
3600.02/3605.38	c non guided choices	: 0
3600.40/3605.55	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 307766
3600.40/3605.55	s SATISFIABLE
3600.40/3605.55	c Found 8 solution(s)
3600.40/3605.55	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.40/3605.55	c objective function=25
3600.40/3605.55	c Total wall clock time (in seconds): 3605.168

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491079-1751384465/watcher-4491079-1751384465 -o /tmp/evaluation-result-4491079-1751384465/solver-4491079-1751384465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4491079-1751384465 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4491079-1751384465.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50178, runsolver pid=50175

[startup+0.100069 s]*
/proc/loadavg: 4.15 4.12 4.14 7/327 50194
/proc/meminfo: memFree=116916092/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=18929456 memory=43972 CPUtime=0.06 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 5340 0 0 0 3 3 0 0 20 0 18 0 54125187 19383762944 10993 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4732364 10993 4600 1 0 546627 0
[pid=50178/tid=50180] ppid=50175 vsize=18929456 memory=4026531960 CPUtime=0.04 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) D 50175 50178 49314 0 -1 4194368 4542 0 0 0 2 2 0 0 20 0 18 0 54125192 19383762944 10993 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=18929456 memory=228522721619 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54125196 19383762944 10993 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=18929456 memory=59593594259917 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54125197 19383762944 10993 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18929456 KiB
Current children cumulated memory: 43972 KiB

[startup+0.214098 s]*
/proc/loadavg: 4.15 4.12 4.14 7/329 50196
/proc/meminfo: memFree=116914860/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=18930384 memory=49476 CPUtime=0.21 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 6044 0 0 0 17 4 0 0 20 0 18 0 54125187 19384713216 12369 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4732596 12369 5336 1 0 547194 0
[pid=50178/tid=50180] ppid=50175 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 4897 0 0 0 11 3 0 0 20 0 18 0 54125192 19384713216 12369 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=18930384 memory=16878 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54125196 19384713216 12369 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54125197 19384713216 12369 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49476 KiB

[startup+0.318847 s]*
/proc/loadavg: 4.15 4.12 4.14 6/329 50196
/proc/meminfo: memFree=116912092/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=18930384 memory=57844 CPUtime=0.37 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 6616 0 0 0 32 5 0 0 20 0 18 0 54125187 19384713216 14461 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4732596 14461 5336 1 0 547675 0
[pid=50178/tid=50180] ppid=50175 vsize=18930384 memory=-6000919485558123626 CPUtime=0.23 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 5124 0 0 0 19 4 0 0 20 0 18 0 54125192 19384713216 14461 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54125196 19384713216 14461 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54125197 19384713216 14461 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57844 KiB

[startup+0.700305 s]
/proc/loadavg: 4.15 4.12 4.14 7/329 50196
/proc/meminfo: memFree=116905980/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=18996948 memory=70228 CPUtime=1.04 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 7875 0 0 0 97 7 0 0 20 0 19 0 54125187 19452874752 17557 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4749237 17557 5496 1 0 548583 0
[pid=50178/tid=50180] ppid=50175 vsize=18996948 memory=18304 CPUtime=0.53 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 5430 0 0 0 49 4 0 0 20 0 19 0 54125192 19452874752 17557 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54125196 19452874752 17557 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54125197 19452874752 17557 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70228 KiB

[startup+1.50043 s]
/proc/loadavg: 4.15 4.12 4.14 6/330 50197
/proc/meminfo: memFree=116874100/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=18996948 memory=154308 CPUtime=2.61 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 16107 0 0 0 250 11 0 0 20 0 19 0 54125187 19452874752 38577 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4749237 38577 5496 1 0 551456 0
[pid=50178/tid=50180] ppid=50175 vsize=18996948 memory=3200 CPUtime=1.2 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 6111 0 0 0 114 6 0 0 20 0 19 0 54125192 19452874752 38577 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54125196 19452874752 38577 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54125197 19452874752 38577 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=18996948 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54125241 19452874752 38577 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 154308 KiB

[startup+3.10573 s]
/proc/loadavg: 4.22 4.13 4.14 6/331 50198
/proc/meminfo: memFree=116707820/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=239008 CPUtime=5.72 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 20786 0 0 0 557 15 0 0 20 0 20 0 54125187 19521036288 59752 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 59752 5528 1 0 552578 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=16544 CPUtime=2.73 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 7053 0 0 0 264 9 0 0 20 0 20 0 54125192 19521036288 59752 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 59752 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 59752 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 59752 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239008 KiB

[startup+6.30041 s]
/proc/loadavg: 4.22 4.13 4.14 6/331 50198
/proc/meminfo: memFree=116098596/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=929336 CPUtime=9.06 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 21674 0 0 0 872 34 0 0 20 0 20 0 54125187 19521036288 232334 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 232334 5528 1 0 552579 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=0 CPUtime=5.9 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 7859 0 0 0 563 27 0 0 20 0 20 0 54125192 19521036288 232334 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 232334 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 232334 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=162932 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 232334 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 929336 KiB

[startup+12.7004 s]
/proc/loadavg: 4.27 4.14 4.15 5/331 50198
/proc/meminfo: memFree=115530220/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=1310148 CPUtime=16.56 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 30583 0 0 0 1606 50 0 0 20 0 20 0 54125187 19521036288 327537 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 327537 5528 1 0 553702 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=162932 CPUtime=12.22 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 9515 0 0 0 1181 41 0 0 20 0 20 0 54125192 19521036288 327537 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=1310148 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 327537 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 327537 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 327537 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 16.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310148 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.14 4.15 5/331 50198
/proc/meminfo: memFree=115376816/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=1320528 CPUtime=29.34 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 33638 0 0 0 2872 62 0 0 20 0 20 0 54125187 19521036288 330132 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 330132 5560 1 0 553702 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=0 CPUtime=24.85 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 11037 0 0 0 2433 52 0 0 20 0 20 0 54125192 19521036288 330132 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 330132 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=1320528 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 330132 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=1310148 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 330132 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 29.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1320528 KiB

[startup+51.1137 s]
/proc/loadavg: 4.15 4.13 4.14 5/332 50199
/proc/meminfo: memFree=115105288/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=1330792 CPUtime=54.75 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 36711 0 0 0 5390 85 0 0 20 0 20 0 54125187 19521036288 332698 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 332698 5560 1 0 553702 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=1320528 CPUtime=49.9 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 12509 0 0 0 4917 73 0 0 20 0 20 0 54125192 19521036288 332698 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=12544 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 332698 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 332698 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0

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

Current children cumulated memory: 2974084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.21 5/331 50912
/proc/meminfo: memFree=106334468/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=2974084 CPUtime=3337.55 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 129656 0 0 0 331899 1856 0 0 20 0 20 0 54125187 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 743521 5560 1 0 756527 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=16544 CPUtime=3271.25 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 63899 0 0 0 325491 1634 0 0 20 0 20 0 54125192 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=2974084 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1755 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3337.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2974084 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.20 5/330 50914
/proc/meminfo: memFree=105934252/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=2974084 CPUtime=3395.7 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 131116 0 0 0 337689 1881 0 0 20 0 20 0 54125187 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 743521 5560 1 0 756527 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=2974084 CPUtime=3328.6 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 64876 0 0 0 331205 1655 0 0 20 0 20 0 54125192 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=2974084 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1755 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=2974084 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3395.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2974084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.20 5/331 50918
/proc/meminfo: memFree=105533324/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=2974084 CPUtime=3455.81 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 131934 0 0 0 343668 1913 0 0 20 0 20 0 54125187 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 743521 5560 1 0 756527 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=5148 CPUtime=3387.84 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 65452 0 0 0 337101 1683 0 0 20 0 20 0 54125192 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=2974084 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1815 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3455.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2974084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.19 5/333 50924
/proc/meminfo: memFree=105085884/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=2974084 CPUtime=3516.1 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 134051 0 0 0 349669 1941 0 0 20 0 20 0 54125187 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 743521 5560 1 0 756527 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=4764 CPUtime=3446.89 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 66697 0 0 0 342982 1707 0 0 20 0 20 0 54125192 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1940 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 743521 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3516.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2974084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.19 5/334 50931
/proc/meminfo: memFree=104684156/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=2976132 CPUtime=3577.1 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 140607 0 0 0 355742 1968 0 0 20 0 20 0 54125187 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 744033 5560 1 0 757062 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=16544 CPUtime=3506.13 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 71269 0 0 0 348883 1730 0 0 20 0 20 0 54125192 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=6444207304008493160 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=2084 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1940 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=16544 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3577.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2976132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/334 50932
/proc/meminfo: memFree=104555432/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19063512 memory=2976132 CPUtime=3600.02 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 140664 0 0 0 358025 1977 0 0 20 0 20 0 54125187 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4765878 744033 5560 1 0 757062 0
[pid=50178/tid=50180] ppid=50175 vsize=19063512 memory=16544 CPUtime=3528.82 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 71271 0 0 0 351144 1738 0 0 20 0 20 0 54125192 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19063512 memory=2974084 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54125196 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19063512 memory=2976132 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 20 0 54125197 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50197] ppid=50175 vsize=19063512 memory=2976132 CPUtime=0 cores=0,2
/proc/50178/task/50197/stat : 50197 (Timer-0) S 50175 50178 49314 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54125241 19521036288 744033 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2976132 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.75 s, system=19.802 s

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

[startup+3605.41 s]
/proc/loadavg: 4.17 4.17 4.18 5/334 50932
/proc/meminfo: memFree=104555432/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19263204 memory=2977028 CPUtime=3600.21 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 142051 0 0 0 358044 1977 0 0 20 0 21 0 54125187 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4815801 744257 5560 1 0 758018 0
[pid=50178/tid=50180] ppid=50175 vsize=19263204 memory=4207488197506367791 CPUtime=3528.91 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 71358 0 0 0 351153 1738 0 0 20 0 21 0 54125192 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19263204 memory=648573559018619635 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54125196 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19263204 memory=221855 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 21 0 54125197 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2977028 KiB

[startup+3605.5 s]
/proc/loadavg: 4.17 4.17 4.18 5/334 50932
/proc/meminfo: memFree=104555432/131382120 swapFree=33010684/33010684
[pid=50178] ppid=50175 vsize=19263204 memory=2977028 CPUtime=3600.4 cores=0,2
/proc/50178/stat : 50178 (java) S 50175 50178 49314 0 -1 4194304 142051 0 0 0 358063 1977 0 0 20 0 21 0 54125187 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
/proc/50178/statm: 4815801 744257 5560 1 0 758018 0
[pid=50178/tid=50180] ppid=50175 vsize=19263204 memory=16544 CPUtime=3529.01 cores=0,2
/proc/50178/task/50180/stat : 50180 (java) R 50175 50178 49314 0 -1 4194368 71358 0 0 0 351163 1738 0 0 20 0 21 0 54125192 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50189] ppid=50175 vsize=19263204 memory=2974084 CPUtime=0 cores=0,2
/proc/50178/task/50189/stat : 50189 (Finalizer) S 50175 50178 49314 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54125196 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
[pid=50178/tid=50196] ppid=50175 vsize=19263204 memory=2976132 CPUtime=0 cores=0,2
/proc/50178/task/50196/stat : 50196 (Common-Cleaner) S 50175 50178 49314 0 -1 4194368 1978 0 0 0 0 0 0 0 20 0 21 0 54125197 19725520896 744257 18446744073709551615 94885846089728 94885846093424 140735895783392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94885846101240 94885846102032 94885877477376 140735895791920 140735895792102 140735895792102 140735895797704 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2977028 KiB

Child status: 143

Real time (s): 3605.61
CPU time (s): 3600.55
CPU user time (s): 3580.75
CPU system time (s): 19.802
CPU usage (%): 99.8597
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3112028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.75
system time used= 19.802
maximum resident set size= 3112028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27407160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125020
involuntary context switches= 13312


# summary of solver processes directly reported to runsolver:
#   pid: 50178
#   total CPU time (s): 3600.55
#   total CPU user time (s): 3580.75
#   total CPU system time (s): 19.802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8173 second user time and 38.7415 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-01 17:41:05
IDJOB=4491079
IDBENCH=147676
IDSOLVER=3364
FILE ID=nodeC003/4491079-1751384465
RUNJOBID= nodeC003-1751379491-49324
SLURM_JOB_ID= 9598218
Free space on /tmp= 432748 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491079-1751384465/watcher-4491079-1751384465 -o /tmp/evaluation-result-4491079-1751384465/solver-4491079-1751384465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751379491-49324 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4491079-1751384465 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4491079-1751384465.opb

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

MD5SUM BENCH= 534ed9c29a1c7647bd6acd36efe0613e
RANDOM SEED=687359181

nodeC003 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		: 1198.237
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.44
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		: 3491.717
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.44
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.210
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.44
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.401
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.44
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		: 3591.485
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.44
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		: 3491.950
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.44
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.451
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.44
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.162
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        116934632 kB
MemAvailable:   123376700 kB
Buffers:            3280 kB
Cached:          7241516 kB
SwapCached:            0 kB
Active:          6875376 kB
Inactive:        6991344 kB
Active(anon):    6639960 kB
Inactive(anon):        0 kB
Active(file):     235416 kB
Inactive(file):  6991344 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17060 kB
Writeback:            12 kB
AnonPages:       6625080 kB
Mapped:           123548 kB
Shmem:             17960 kB
KReclaimable:     109868 kB
Slab:             196088 kB
SReclaimable:     109868 kB
SUnreclaim:        86220 kB
KernelStack:        5036 kB
PageTables:        16664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9255880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6395904 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432748 MiB
End job on nodeC003 at 2025-07-01 18:41:11