Trace number 4447412

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.58 3638.42

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMfefb64a1b2a7fa00e7ba601f2504d0e0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables222
Total number of constraints592
Number of constraints which are clauses592
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 constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.16	c See www.sat4j.org for details.
0.14/0.17	c version CUSTOM.v20240707
0.14/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.19	c java.vm.version	22.0.1+8-16
0.14/0.19	c java.vm.vendor	Oracle Corporation
0.14/0.19	c sun.arch.data.model	64
0.14/0.19	c java.version		22.0.1
0.14/0.19	c os.name		Linux
0.14/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.19	c os.arch		amd64
0.14/0.20	c Free memory 		2113181440
0.14/0.20	c Max memory 		16282288128
0.14/0.20	c Total memory 		2122317824
0.14/0.22	c Number of processors 	2
0.32/0.30	--- Begin Solver configuration ---
0.32/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.32/0.30	Learn all clauses as in MiniSAT
0.32/0.30	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.30	Expensive reason simplification
0.32/0.30	Glucose 2.1 dynamic restart strategy
0.32/0.30	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.32/0.30	timeout=2147483s
0.32/0.30	DB Simplification allowed=false
0.32/0.30	Listener: none
0.32/0.30	--- End Solver configuration ---
0.32/0.31	c Pseudo Boolean Optimization by upper bound
0.32/0.31	c --- Begin Solver configuration ---
0.32/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.32/0.31	c Learn all clauses as in MiniSAT
0.32/0.31	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.31	c Expensive reason simplification
0.32/0.31	c Glucose 2.1 dynamic restart strategy
0.32/0.31	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.32/0.31	c timeout=2147483s
0.32/0.31	c DB Simplification allowed=false
0.32/0.31	c Listener: none
0.32/0.31	c --- End Solver configuration ---
0.32/0.31	c solving HOME/instance-4447412-1721827541.opb
0.32/0.31	c reading problem ... 
0.32/0.32	c using VERIPB proof format
0.32/0.32	c  no objective function found
0.49/0.42	c ... done. Wall clock time 0.101s.
0.49/0.42	c declared #vars     222
0.49/0.42	c #constraints  592
0.49/0.42	c constraints type 
0.49/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 592
0.49/0.42	c 592 constraints processed.
1.94/1.18	c cleaning 2496 clauses out of 5001 with flag 17684/5001
2.91/1.62	c cleaning 4248 clauses out of 8505 with flag 43252/11001
3.31/1.88	c cleaning 5626 clauses out of 11257 with flag 73509/18001
3.71/2.07	c cleaning 6809 clauses out of 13631 with flag 108377/26001
4.10/2.25	c cleaning 7907 clauses out of 15822 with flag 146836/35001
4.70/2.52	c cleaning 8953 clauses out of 17915 with flag 191189/45001
5.27/2.83	c cleaning 9974 clauses out of 19961 with flag 250742/56000
5.77/3.11	c cleaning 10989 clauses out of 21987 with flag 305981/68000
6.14/3.40	c cleaning 11991 clauses out of 23998 with flag 364076/81000
6.34/3.69	c cleaning 12996 clauses out of 26007 with flag 425193/95000
6.76/4.11	c cleaning 14001 clauses out of 28011 with flag 497222/110000
7.24/4.53	c cleaning 14998 clauses out of 30010 with flag 576409/126000
7.85/5.01	c cleaning 16000 clauses out of 32013 with flag 657280/143001
8.53/5.47	c cleaning 16999 clauses out of 34013 with flag 742381/161001
9.05/5.97	c cleaning 18000 clauses out of 36013 with flag 828316/180000
9.54/6.47	c cleaning 18999 clauses out of 38014 with flag 925566/200001
10.04/6.97	c cleaning 20002 clauses out of 40014 with flag 1036776/221000
10.65/7.56	c cleaning 20999 clauses out of 42012 with flag 1151339/243000
11.43/8.25	c cleaning 21999 clauses out of 44013 with flag 1275968/266000
12.14/8.91	c cleaning 23000 clauses out of 46014 with flag 1398893/290000
12.64/9.48	c cleaning 24001 clauses out of 48015 with flag 1513410/315001
13.43/10.28	c cleaning 25000 clauses out of 50013 with flag 1646944/341000
14.64/11.42	c cleaning 26003 clauses out of 52014 with flag 1801670/368001
15.34/12.16	c cleaning 26999 clauses out of 54011 with flag 1924908/396001
16.24/13.05	c cleaning 27996 clauses out of 56011 with flag 2067420/425000
17.24/14.08	c cleaning 29002 clauses out of 58016 with flag 2217451/455001
18.12/14.91	c cleaning 30001 clauses out of 60014 with flag 2350513/486001
18.83/15.69	c cleaning 30998 clauses out of 62013 with flag 2492069/518001
19.72/16.55	c cleaning 32002 clauses out of 64014 with flag 2645158/551000
20.83/17.65	c cleaning 32999 clauses out of 66014 with flag 2806381/585002
21.93/18.76	c cleaning 33998 clauses out of 68013 with flag 2970557/620000
23.43/20.29	c cleaning 35003 clauses out of 70015 with flag 3140866/656000
24.42/21.29	c cleaning 35999 clauses out of 72012 with flag 3312827/693000
25.42/22.29	c cleaning 36995 clauses out of 74013 with flag 3503855/731000
27.41/24.21	c cleaning 38000 clauses out of 76019 with flag 3712142/770001
28.61/25.41	c cleaning 39004 clauses out of 78018 with flag 3909664/810000
29.82/26.66	c cleaning 40006 clauses out of 80014 with flag 4106256/851000
31.60/28.48	c cleaning 40998 clauses out of 82009 with flag 4303335/893001
32.99/29.82	c cleaning 41994 clauses out of 84010 with flag 4505029/936000
34.21/31.07	c cleaning 43003 clauses out of 86017 with flag 4707023/980001
36.69/33.53	c cleaning 44003 clauses out of 88014 with flag 4921343/1025001
39.10/36.59	c cleaning 45001 clauses out of 90010 with flag 5137108/1071000
40.99/38.47	c cleaning 45999 clauses out of 92009 with flag 5355980/1118000
42.80/40.22	c cleaning 47001 clauses out of 94010 with flag 5577091/1166000
44.70/42.12	c cleaning 47998 clauses out of 96009 with flag 5814631/1215000
46.29/43.73	c cleaning 49001 clauses out of 98012 with flag 6061796/1265001
47.88/45.32	c cleaning 49999 clauses out of 100010 with flag 6308001/1316000
49.59/47.06	c cleaning 51002 clauses out of 102011 with flag 6545370/1368000
51.17/48.62	c cleaning 51995 clauses out of 104010 with flag 6798677/1421001
52.78/50.27	c cleaning 53003 clauses out of 106015 with flag 7068778/1475001
54.49/51.97	c cleaning 53997 clauses out of 108012 with flag 7336539/1530001
56.28/53.78	c cleaning 54999 clauses out of 110015 with flag 7601386/1586001
58.20/55.69	c cleaning 56001 clauses out of 112016 with flag 7877667/1643001
60.30/57.79	c cleaning 56999 clauses out of 114014 with flag 8151169/1701000
62.39/59.84	c cleaning 58002 clauses out of 116016 with flag 8441829/1760001
64.41/61.85	c cleaning 59003 clauses out of 118014 with flag 8729836/1820001
66.40/63.82	c cleaning 59996 clauses out of 120010 with flag 9006816/1881000
69.06/67.08	c cleaning 61001 clauses out of 122014 with flag 9276801/1943000
71.34/69.33	c cleaning 62002 clauses out of 124013 with flag 9566754/2006000
73.63/71.53	c cleaning 63000 clauses out of 126011 with flag 9871356/2070000
75.94/73.83	c cleaning 64001 clauses out of 128013 with flag 10176183/2135002
78.14/76.08	c cleaning 64998 clauses out of 130011 with flag 10506876/2201001
81.16/79.07	c cleaning 65998 clauses out of 132012 with flag 10849175/2268000
83.54/81.41	c cleaning 67000 clauses out of 134014 with flag 11181013/2336000
86.06/83.98	c cleaning 68000 clauses out of 136016 with flag 11525130/2405002
88.56/86.49	c cleaning 69002 clauses out of 138015 with flag 11852016/2475001
91.45/89.33	c cleaning 70001 clauses out of 140012 with flag 12189705/2546000
94.15/92.08	c cleaning 70997 clauses out of 142011 with flag 12544742/2618000
97.15/95.05	c cleaning 72000 clauses out of 144014 with flag 12889716/2691000
100.58/99.29	c cleaning 72996 clauses out of 146014 with flag 13232344/2765000
103.40/102.07	c cleaning 74006 clauses out of 148018 with flag 13592420/2840000
106.50/105.11	c cleaning 75003 clauses out of 150013 with flag 13939690/2916001
110.28/108.98	c cleaning 75998 clauses out of 152010 with flag 14290203/2993001
113.57/112.25	c cleaning 76996 clauses out of 154012 with flag 14641425/3071001
116.96/115.63	c cleaning 77999 clauses out of 156016 with flag 14987790/3150001
119.86/118.57	c cleaning 79000 clauses out of 158017 with flag 15339710/3230001
123.16/121.89	c cleaning 80004 clauses out of 160016 with flag 15695399/3311000
126.15/124.84	c cleaning 80999 clauses out of 162012 with flag 16089524/3393000
129.53/128.68	c cleaning 82001 clauses out of 164013 with flag 16460656/3476000
133.14/132.27	c cleaning 82999 clauses out of 166012 with flag 16840744/3560000
136.33/135.40	c cleaning 83995 clauses out of 168013 with flag 17220821/3645000
140.05/139.12	c cleaning 84999 clauses out of 170018 with flag 17596669/3731000
143.83/142.92	c cleaning 86004 clauses out of 172019 with flag 17983659/3818000
147.44/146.53	c cleaning 87003 clauses out of 174015 with flag 18378759/3906000
152.15/151.20	c cleaning 87998 clauses out of 176012 with flag 18802637/3995000
156.82/155.89	c cleaning 88997 clauses out of 178015 with flag 19238015/4085001
161.71/160.87	c cleaning 89999 clauses out of 180018 with flag 19680859/4176001
167.43/166.53	c cleaning 90999 clauses out of 182019 with flag 20150091/4268001
173.00/172.02	c cleaning 92001 clauses out of 184019 with flag 20632707/4361000
177.25/176.25	c cleaning 93004 clauses out of 186018 with flag 21097777/4455000
182.35/181.34	c cleaning 93997 clauses out of 188014 with flag 21584768/4550000
188.21/187.11	c cleaning 94996 clauses out of 190018 with flag 22012934/4646001
192.41/191.40	c cleaning 96001 clauses out of 192022 with flag 22493063/4743001
196.89/195.89	c cleaning 97005 clauses out of 194021 with flag 22956089/4841001
201.10/200.08	c cleaning 98002 clauses out of 196016 with flag 23407263/4940001
205.76/204.61	c cleaning 98999 clauses out of 198014 with flag 23859247/5040001
210.04/208.80	c cleaning 99998 clauses out of 200015 with flag 24322260/5141001
214.87/213.57	c cleaning 101005 clauses out of 202017 with flag 24748273/5243001
220.57/219.28	c cleaning 101995 clauses out of 204011 with flag 25130428/5346000
225.41/224.28	c cleaning 103002 clauses out of 206016 with flag 25545405/5450000
233.79/232.69	c cleaning 103996 clauses out of 208014 with flag 26091140/5555000
238.27/237.08	c cleaning 105002 clauses out of 210019 with flag 26602352/5661001
244.35/243.09	c cleaning 105997 clauses out of 212016 with flag 27103715/5768000
249.53/248.20	c cleaning 107001 clauses out of 214020 with flag 27608357/5876001
255.44/254.75	c cleaning 108006 clauses out of 216019 with flag 28098689/5985001
260.86/260.12	c cleaning 109000 clauses out of 218013 with flag 28604050/6095001
267.59/266.87	c cleaning 110003 clauses out of 220013 with flag 29155934/6206001
272.46/271.62	c cleaning 110996 clauses out of 222009 with flag 29640594/6318000
277.35/276.54	c cleaning 111999 clauses out of 224014 with flag 30108427/6431001
283.37/283.04	c cleaning 113000 clauses out of 226015 with flag 30535230/6545001
288.85/288.41	c cleaning 114001 clauses out of 228014 with flag 31026222/6660000
294.45/294.10	c cleaning 114994 clauses out of 230014 with flag 31547253/6776001
300.01/299.50	c cleaning 116004 clauses out of 232019 with flag 32072187/6893000
309.06/308.51	c cleaning 116999 clauses out of 234015 with flag 32621028/7011000
314.81/314.54	c cleaning 117999 clauses out of 236017 with flag 33166471/7130001
320.50/320.26	c cleaning 119005 clauses out of 238018 with flag 33697213/7250001
326.68/326.36	c cleaning 119999 clauses out of 240013 with flag 34259859/7371001
334.32/333.92	c cleaning 121001 clauses out of 242015 with flag 34837687/7493002
339.87/339.52	c cleaning 121997 clauses out of 244012 with flag 35387425/7616000
345.55/345.79	c cleaning 123003 clauses out of 246016 with flag 35946407/7740001
351.87/352.03	c cleaning 123998 clauses out of 248012 with flag 36517391/7865000
358.30/358.40	c cleaning 124997 clauses out of 250014 with flag 37110186/7991000
364.34/364.53	c cleaning 125999 clauses out of 252017 with flag 37698643/8118000
371.45/371.67	c cleaning 127000 clauses out of 254018 with flag 38257164/8246000
377.07/377.46	c cleaning 128003 clauses out of 256019 with flag 38807711/8375001
382.56/382.91	c cleaning 129000 clauses out of 258015 with flag 39331592/8505000
388.50/388.82	c cleaning 130006 clauses out of 260015 with flag 39859210/8636000
395.36/395.63	c cleaning 130997 clauses out of 262010 with flag 40397901/8768001
402.19/402.48	c cleaning 131999 clauses out of 264013 with flag 40936296/8901001
411.95/412.34	c cleaning 132992 clauses out of 266013 with flag 41560572/9035000
418.91/419.27	c cleaning 134004 clauses out of 268022 with flag 42114927/9170001
426.68/426.99	c cleaning 134998 clauses out of 270017 with flag 42658063/9306000
435.13/435.31	c cleaning 135999 clauses out of 272020 with flag 43166970/9443001
443.53/443.88	c cleaning 137001 clauses out of 274020 with flag 43676105/9581000
451.61/451.83	c cleaning 137998 clauses out of 276020 with flag 44319661/9720001
458.19/458.35	c cleaning 139005 clauses out of 278022 with flag 44947354/9860001
468.18/468.33	c cleaning 140001 clauses out of 280017 with flag 45615082/10001001
477.67/477.88	c cleaning 140996 clauses out of 282016 with flag 46304191/10143001
487.83/488.00	c cleaning 142001 clauses out of 284020 with flag 47071658/10286001
495.02/495.10	c cleaning 143003 clauses out of 286019 with flag 47693452/10430001
502.41/502.72	c cleaning 144002 clauses out of 288015 with flag 48320834/10575000
510.01/510.28	c cleaning 144996 clauses out of 290014 with flag 48925623/10721001
518.99/519.29	c cleaning 146002 clauses out of 292017 with flag 49584672/10868000
527.05/527.29	c cleaning 147000 clauses out of 294015 with flag 50204269/11016000
536.52/536.77	c cleaning 147998 clauses out of 296016 with flag 50831235/11165001
543.65/543.80	c cleaning 149002 clauses out of 298018 with flag 51440104/11315001
551.52/551.62	c cleaning 150003 clauses out of 300015 with flag 52093977/11466000
558.50/558.66	c cleaning 151000 clauses out of 302013 with flag 52730126/11618001
567.86/575.09	c cleaning 151998 clauses out of 304013 with flag 53358948/11771001
575.91/583.04	c cleaning 152997 clauses out of 306014 with flag 54014542/11925000
584.45/591.59	c cleaning 154004 clauses out of 308019 with flag 54713392/12080002
592.70/599.96	c cleaning 154999 clauses out of 310014 with flag 55360085/12236001
601.05/608.26	c cleaning 155997 clauses out of 312014 with flag 55996706/12393000
609.03/616.14	c cleaning 157003 clauses out of 314018 with flag 56651157/12551001
618.70/625.86	c cleaning 157996 clauses out of 316015 with flag 57291798/12710001
627.68/634.93	c cleaning 159000 clauses out of 318018 with flag 57971303/12870000
636.22/643.46	c cleaning 160002 clauses out of 320018 with flag 58648025/13031000
644.77/651.91	c cleaning 160996 clauses out of 322016 with flag 59346231/13193000
653.06/660.16	c cleaning 162010 clauses out of 324021 with flag 60037109/13356001
662.29/669.50	c cleaning 162997 clauses out of 326011 with flag 60775242/13520001
672.77/679.91	c cleaning 163997 clauses out of 328013 with flag 61523969/13685000
681.83/688.99	c cleaning 165002 clauses out of 330017 with flag 62222528/13851001
691.99/699.40	c cleaning 166001 clauses out of 332014 with flag 62924408/14018000
700.72/708.17	c cleaning 166999 clauses out of 334013 with flag 63585889/14186000
709.44/716.85	c cleaning 167997 clauses out of 336014 with flag 64276756/14355000
719.86/727.67	c cleaning 169001 clauses out of 338018 with flag 65033213/14525001
735.88/743.62	c cleaning 170004 clauses out of 340016 with flag 65624890/14696000
746.81/754.68	c cleaning 171000 clauses out of 342012 with flag 66403307/14868000
756.37/764.12	c cleaning 171997 clauses out of 344012 with flag 67140114/15041000
766.40/774.13	c cleaning 173002 clauses out of 346015 with flag 67841354/15215000
776.39/784.41	c cleaning 174002 clauses out of 348013 with flag 68608251/15390000
793.22/801.20	c cleaning 174992 clauses out of 350011 with flag 69430121/15566000
807.88/815.98	c cleaning 175997 clauses out of 352020 with flag 70340855/15743001
821.92/829.95	c cleaning 177000 clauses out of 354023 with flag 71266877/15921001
836.36/844.31	c cleaning 177999 clauses out of 356022 with flag 72200001/16100000
850.82/859.16	c cleaning 179001 clauses out of 358024 with flag 73145230/16280001
862.74/870.58	c cleaning 180003 clauses out of 360022 with flag 74055613/16461000
873.42/881.69	c cleaning 181004 clauses out of 362019 with flag 74877055/16643000
886.43/894.66	c cleaning 182006 clauses out of 364015 with flag 75712887/16826000
897.26/905.49	c cleaning 182998 clauses out of 366009 with flag 76541398/17010000
909.46/920.20	c cleaning 184002 clauses out of 368011 with flag 77344747/17195000
920.87/931.63	c cleaning 185000 clauses out of 370010 with flag 78209302/17381001
932.03/943.20	c cleaning 185999 clauses out of 372009 with flag 79036208/17568000
943.81/954.92	c cleaning 186999 clauses out of 374010 with flag 79873292/17756000
954.33/965.49	c cleaning 187999 clauses out of 376012 with flag 80583344/17945001
964.24/975.66	c cleaning 188991 clauses out of 378013 with flag 81293907/18135001
976.47/987.82	c cleaning 190006 clauses out of 380022 with flag 82099628/18326001
987.38/998.70	c cleaning 190997 clauses out of 382015 with flag 82909600/18518000
999.19/1010.83	c cleaning 192002 clauses out of 384019 with flag 83796859/18711001
1013.41/1024.85	c cleaning 193000 clauses out of 386016 with flag 84614855/18905000
1026.17/1037.76	c cleaning 194003 clauses out of 388017 with flag 85462030/19100001
1037.40/1049.00	c cleaning 194999 clauses out of 390013 with flag 86324516/19296000
1049.01/1060.53	c cleaning 195999 clauses out of 392014 with flag 87139375/19493000
1069.09/1080.70	c cleaning 197002 clauses out of 394015 with flag 88062484/19691000
1081.84/1093.49	c cleaning 197998 clauses out of 396013 with flag 88994176/19890000
1097.98/1109.63	c cleaning 198997 clauses out of 398016 with flag 90024159/20090001
1114.71/1126.33	c cleaning 200000 clauses out of 400018 with flag 91071368/20291000
1128.48/1140.06	c cleaning 201002 clauses out of 402018 with flag 92007277/20493000
1142.94/1154.44	c cleaning 202002 clauses out of 404017 with flag 92850696/20696001
1157.55/1169.42	c cleaning 203000 clauses out of 406014 with flag 93839771/20900000
1171.51/1183.39	c cleaning 204000 clauses out of 408015 with flag 94699532/21105001
1186.30/1198.34	c cleaning 205002 clauses out of 410015 with flag 95571853/21311001
1199.64/1211.61	c cleaning 206000 clauses out of 412013 with flag 96487982/21518001
1215.02/1227.49	c cleaning 207001 clauses out of 414012 with flag 97398620/21726000
1228.15/1240.53	c cleaning 208001 clauses out of 416012 with flag 98313976/21935001
1245.02/1258.02	c cleaning 208999 clauses out of 418010 with flag 99300793/22145000
1259.45/1272.46	c cleaning 209997 clauses out of 420011 with flag 100307626/22356000
1272.02/1285.52	c cleaning 211002 clauses out of 422014 with flag 101308067/22568000
1285.14/1298.66	c cleaning 212001 clauses out of 424012 with flag 102311234/22781000
1299.33/1313.45	c cleaning 212997 clauses out of 426012 with flag 103289887/22995001
1313.17/1327.22	c cleaning 213997 clauses out of 428015 with flag 104330950/23210001
1327.16/1341.27	c cleaning 215005 clauses out of 430017 with flag 105286657/23426000
1344.52/1358.94	c cleaning 216003 clauses out of 432013 with flag 106199235/23643001
1358.22/1372.59	c cleaning 216999 clauses out of 434009 with flag 107244560/23861000
1372.50/1387.22	c cleaning 218001 clauses out of 436010 with flag 108280949/24080000
1386.82/1401.55	c cleaning 219001 clauses out of 438010 with flag 109306450/24300001
1404.63/1420.15	c cleaning 219997 clauses out of 440009 with flag 110391054/24521001
1418.66/1434.13	c cleaning 221000 clauses out of 442012 with flag 111464569/24743001
1433.26/1449.16	c cleaning 221995 clauses out of 444012 with flag 112626171/24966001
1452.35/1468.43	c cleaning 222995 clauses out of 446016 with flag 113770531/25190000
1471.49/1487.49	c cleaning 224003 clauses out of 448022 with flag 114931710/25415001
1487.27/1503.55	c cleaning 225007 clauses out of 450020 with flag 115950658/25641002
1505.72/1522.00	c cleaning 226000 clauses out of 452013 with flag 117095624/25868002
1522.37/1538.65	c cleaning 227000 clauses out of 454011 with flag 118015795/26096000
1539.13/1555.34	c cleaning 227997 clauses out of 456012 with flag 119013794/26325001
1555.62/1571.86	c cleaning 229003 clauses out of 458014 with flag 120004495/26555000
1571.72/1587.80	c cleaning 229998 clauses out of 460012 with flag 121018675/26786001
1586.20/1602.49	c cleaning 230999 clauses out of 462014 with flag 122019483/27018001
1602.03/1618.29	c cleaning 231998 clauses out of 464014 with flag 123072682/27251000
1619.08/1635.69	c cleaning 233004 clauses out of 466016 with flag 124008601/27485000
1636.99/1653.71	c cleaning 234001 clauses out of 468013 with flag 125055331/27720001
1652.51/1669.13	c cleaning 234997 clauses out of 470013 with flag 126098435/27956002
1668.61/1685.09	c cleaning 235999 clauses out of 472015 with flag 127151667/28193001
1685.28/1701.74	c cleaning 237002 clauses out of 474016 with flag 128173277/28431001
1700.83/1717.59	c cleaning 238001 clauses out of 476013 with flag 129266108/28670000
1716.78/1733.47	c cleaning 239001 clauses out of 478012 with flag 130327126/28910000
1732.95/1749.81	c cleaning 240000 clauses out of 480011 with flag 131326053/29151000
1748.87/1765.75	c cleaning 240998 clauses out of 482011 with flag 132356583/29393000
1767.26/1784.42	c cleaning 242001 clauses out of 484014 with flag 133458310/29636001
1789.38/1806.74	c cleaning 242999 clauses out of 486013 with flag 134605416/29880001
1812.97/1830.23	c cleaning 243997 clauses out of 488014 with flag 135735222/30125001
1834.92/1852.37	c cleaning 245002 clauses out of 490016 with flag 136890751/30371000
1851.37/1868.76	c cleaning 246000 clauses out of 492015 with flag 137938328/30618001
1867.59/1884.98	c cleaning 247004 clauses out of 494016 with flag 139009324/30866002
1886.47/1903.91	c cleaning 247996 clauses out of 496010 with flag 140097002/31115000
1902.80/1920.27	c cleaning 248997 clauses out of 498015 with flag 141248821/31365001
1918.90/1936.45	c cleaning 250000 clauses out of 500017 with flag 142374260/31616000
1935.19/1952.79	c cleaning 251001 clauses out of 502017 with flag 143537627/31868000
1954.11/1971.75	c cleaning 252003 clauses out of 504016 with flag 144624905/32121000
1972.86/1990.50	c cleaning 252998 clauses out of 506013 with flag 145791322/32375000
1988.31/2005.98	c cleaning 253997 clauses out of 508015 with flag 147006637/32630000
2009.21/2027.11	c cleaning 255005 clauses out of 510019 with flag 148151396/32886001
2029.45/2047.26	c cleaning 255999 clauses out of 512014 with flag 149272956/33143001
2046.04/2063.85	c cleaning 256998 clauses out of 514014 with flag 150458700/33401000
2062.83/2081.02	c cleaning 257999 clauses out of 516017 with flag 151700252/33660001
2081.01/2099.19	c cleaning 259000 clauses out of 518017 with flag 153058658/33920000
2102.43/2120.71	c cleaning 260001 clauses out of 520018 with flag 154372314/34181001
2119.42/2137.67	c cleaning 261000 clauses out of 522017 with flag 155429391/34443001
2136.48/2154.78	c cleaning 262001 clauses out of 524016 with flag 156575403/34706000
2156.02/2174.42	c cleaning 263001 clauses out of 526016 with flag 157690248/34970001
2176.35/2194.70	c cleaning 264000 clauses out of 528015 with flag 158841379/35235001
2199.85/2218.34	c cleaning 265000 clauses out of 530015 with flag 160193305/35501001
2219.36/2237.93	c cleaning 266005 clauses out of 532015 with flag 161390756/35768001
2238.46/2257.07	c cleaning 266998 clauses out of 534010 with flag 162514924/36036001
2255.38/2274.07	c cleaning 267998 clauses out of 536011 with flag 163606017/36305000
2274.95/2293.56	c cleaning 268994 clauses out of 538014 with flag 164725736/36575001
2293.60/2312.23	c cleaning 270004 clauses out of 540020 with flag 165821797/36846001
2309.64/2328.43	c cleaning 270999 clauses out of 542016 with flag 166931929/37118001
2331.90/2350.69	c cleaning 272002 clauses out of 544017 with flag 168081511/37391001
2350.79/2369.74	c cleaning 273000 clauses out of 546015 with flag 169250316/37665001
2372.34/2391.69	c cleaning 273998 clauses out of 548014 with flag 170284879/37940000
2391.51/2410.66	c cleaning 275001 clauses out of 550017 with flag 171399112/38216001
2412.93/2432.37	c cleaning 275998 clauses out of 552016 with flag 172596644/38493001
2433.70/2453.20	c cleaning 277001 clauses out of 554017 with flag 173842469/38771000
2454.52/2474.01	c cleaning 277997 clauses out of 556016 with flag 175016526/39050000
2472.56/2492.50	c cleaning 279000 clauses out of 558019 with flag 176196826/39330000
2493.82/2514.04	c cleaning 280001 clauses out of 560019 with flag 177429017/39611000
2513.53/2533.73	c cleaning 280999 clauses out of 562019 with flag 178612042/39893001
2537.09/2557.95	c cleaning 282003 clauses out of 564020 with flag 179908152/40176001
2555.63/2576.85	c cleaning 283003 clauses out of 566017 with flag 181077564/40460001
2575.98/2597.13	c cleaning 284000 clauses out of 568014 with flag 182258497/40745001
2601.00/2622.66	c cleaning 284996 clauses out of 570013 with flag 183310772/41031000
2624.91/2647.91	c cleaning 285998 clauses out of 572018 with flag 184459825/41318001
2645.08/2668.02	c cleaning 287002 clauses out of 574019 with flag 185648921/41606000
2662.99/2686.71	c cleaning 287999 clauses out of 576018 with flag 186862566/41895001
2683.75/2708.22	c cleaning 289000 clauses out of 578018 with flag 187997211/42185000
2703.95/2728.47	c cleaning 290007 clauses out of 580019 with flag 189139234/42476001
2724.59/2749.27	c cleaning 290997 clauses out of 582011 with flag 190291100/42768000
2752.08/2777.02	c cleaning 292000 clauses out of 584015 with flag 191466783/43061001
2781.74/2807.14	c cleaning 293002 clauses out of 586015 with flag 192713344/43355001
2804.37/2829.93	c cleaning 293999 clauses out of 588013 with flag 193903781/43650001
2826.42/2851.99	c cleaning 294997 clauses out of 590013 with flag 194967724/43946000
2848.27/2874.22	c cleaning 296003 clauses out of 592016 with flag 196180736/44243000
2869.47/2895.62	c cleaning 297002 clauses out of 594013 with flag 197415259/44541000
2892.34/2918.64	c cleaning 297997 clauses out of 596011 with flag 198688069/44840000
2929.11/2955.69	c cleaning 298995 clauses out of 598014 with flag 200118637/45140000
2957.04/2983.42	c cleaning 300001 clauses out of 600019 with flag 201539579/45441000
2980.75/3007.43	c cleaning 301001 clauses out of 602019 with flag 202825819/45743001
3006.30/3032.99	c cleaning 302001 clauses out of 604017 with flag 204038669/46046000
3031.24/3058.12	c cleaning 303004 clauses out of 606017 with flag 205290778/46350001
3060.69/3088.13	c cleaning 304001 clauses out of 608013 with flag 206573161/46655001
3082.30/3110.17	c cleaning 304999 clauses out of 610013 with flag 207744766/46961002
3120.05/3151.06	c cleaning 305999 clauses out of 612012 with flag 208981721/47268000
3141.99/3173.31	c cleaning 307002 clauses out of 614013 with flag 210232268/47576000
3166.11/3197.75	c cleaning 307997 clauses out of 616012 with flag 211503121/47885001
3190.27/3221.85	c cleaning 309004 clauses out of 618015 with flag 212886979/48195001
3224.25/3256.06	c cleaning 309996 clauses out of 620010 with flag 214182811/48506000
3245.51/3277.48	c cleaning 311000 clauses out of 622015 with flag 215473895/48818001
3277.32/3310.06	c cleaning 311995 clauses out of 624014 with flag 216775960/49131000
3303.31/3336.53	c cleaning 313002 clauses out of 626020 with flag 218040600/49445001
3328.55/3362.44	c cleaning 313996 clauses out of 628018 with flag 219518375/49760001
3356.15/3390.55	c cleaning 315006 clauses out of 630022 with flag 220771684/50076001
3382.63/3417.24	c cleaning 315996 clauses out of 632015 with flag 222079745/50393000
3410.09/3445.11	c cleaning 317006 clauses out of 634020 with flag 223415322/50711001
3437.06/3472.44	c cleaning 318003 clauses out of 636013 with flag 224575101/51030000
3468.79/3506.44	c cleaning 318997 clauses out of 638011 with flag 225813852/51350001
3495.10/3532.59	c cleaning 320000 clauses out of 640013 with flag 227121569/51671000
3519.79/3557.27	c cleaning 321000 clauses out of 642014 with flag 228461880/51993001
3545.43/3583.26	c cleaning 322003 clauses out of 644013 with flag 229813684/52316000
3575.14/3613.19	c cleaning 322995 clauses out of 646010 with flag 231046359/52640000
3600.02/3638.13	c starts		: 21946
3600.02/3638.15	c conflicts		: 52965001
3600.02/3638.15	c decisions		: 66460498
3600.02/3638.16	c propagations		: 345288783
3600.02/3638.16	c inspects		: 29784861368
3600.02/3638.16	c shortcuts		: 0
3600.02/3638.16	c learnt literals	: 0
3600.02/3638.16	c learnt binary clauses	: 0
3600.02/3638.16	c learnt ternary clauses	: 8
3600.02/3638.17	c learnt constraints	: 52965001
3600.02/3638.17	c ignored constraints	: 0
3600.02/3638.17	c root simplifications	: 0
3600.02/3638.17	c removed literals (reason simplification)	: 55842383
3600.02/3638.17	c reason swapping (by a shorter reason)	: 0
3600.02/3638.17	c Calls to reduceDB	: 321
3600.02/3638.17	c Number of update (reduction) of LBD	: 4549747
3600.02/3638.18	c Imported unit clauses	: 0
3600.02/3638.18	c No decision after first conflict	: false
3600.02/3638.18	c number of reductions to clauses (during analyze)	: 0
3600.02/3638.18	c number of learned constraints concerned by reduction	: 0
3600.02/3638.18	c number of learning phase by resolution	: 0
3600.02/3638.18	c number of learning phase by cutting planes	: 0
3600.02/3638.18	c number of rounding to 1 operations	: 0
3600.02/3638.18	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3638.18	c number of reductions of the coefficients by power 2 	: 0
3600.02/3638.18	c number of right shift for reduction by power 2 	: 0
3600.02/3638.18	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3638.20	c number of ending skipping 	: 0
3600.02/3638.20	c number of internal skipping 	: 0
3600.02/3638.20	c number of derivation steps 	: 0
3600.02/3638.20	c number of skipped derivation steps 	: 0
3600.02/3638.20	c number of remaining unassigned 	: 0
3600.02/3638.20	c number of remaining assigned 	: 0
3600.02/3638.20	c number of falsified literals weakened from reason	: 0
3600.02/3638.20	c number of falsified literals weakened from conflict	: 0
3600.02/3638.20	c time for arithmetic operations	: 0
3600.02/3638.20	c minimum degree of deleted constraints	: null
3600.02/3638.20	c maximum degree of deleted constraints	: null
3600.02/3638.20	c number of deleted constraints	: 0
3600.02/3638.20	c speed (assignments/second)	: 94918.14947304009
3600.02/3638.20	c non guided choices	: 39257
3600.39/3638.37	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 648016
3600.39/3638.38	s UNKNOWN
3600.39/3638.38	c Total wall clock time (in seconds): 3638.07

Verifier Data 

ERROR: no interpretation found !

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: 64059 MiB (13116 MiB free)
  memory of node 1: 64510 MiB (57254 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447412-1721827541/watcher-4447412-1721827541 -o /tmp/evaluation-result-4447412-1721827541/solver-4447412-1721827541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230697 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4447412-1721827541 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447412-1721827541.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=235742, runsolver pid=235739

[startup+0.103856 s]*
/proc/loadavg: 4.50 4.25 4.23 7/333 235760
/proc/meminfo: memFree=72022308/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=18993908 memory=56456 CPUtime=0.14 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 6507 0 0 0 10 4 0 0 20 0 18 0 18743538 19449761792 14114 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4748477 14114 5792 1 0 550822 0
[pid=235742/tid=235744] ppid=235739 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 5453 0 0 0 7 3 0 0 20 0 18 0 18743539 19449761792 14114 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743545 19449761792 14114 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=18993908 memory=3618136736603271827 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743545 19449761792 14114 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56456 KiB

[startup+0.214889 s]*
/proc/loadavg: 4.50 4.25 4.23 8/333 235760
/proc/meminfo: memFree=72014884/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=18993908 memory=63600 CPUtime=0.32 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 7231 0 0 0 28 4 0 0 20 0 18 0 18743538 19449761792 15900 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4748477 15900 5800 1 0 551413 0
[pid=235742/tid=235744] ppid=235739 vsize=18993908 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 5786 0 0 0 17 3 0 0 20 0 18 0 18743539 19449761792 15900 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=18993908 memory=952865 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743545 19449761792 15900 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743545 19449761792 15900 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 63600 KiB

[startup+0.327701 s]*
/proc/loadavg: 4.50 4.25 4.23 6/333 235760
/proc/meminfo: memFree=72006036/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=18993908 memory=69428 CPUtime=0.49 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 7510 0 0 0 44 5 0 0 20 0 18 0 18743538 19449761792 17357 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4748477 17357 5949 1 0 551609 0
[pid=235742/tid=235744] ppid=235739 vsize=18993908 memory=-8528238140213404348 CPUtime=0.29 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 5973 0 0 0 25 4 0 0 20 0 18 0 18743539 19449761792 17357 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18743545 19449761792 17357 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18743545 19449761792 17357 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69428 KiB

[startup+0.700412 s]
/proc/loadavg: 4.50 4.25 4.23 9/334 235761
/proc/meminfo: memFree=71999484/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19060472 memory=84300 CPUtime=1.14 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 9949 0 0 0 108 6 0 0 20 0 19 0 18743538 19517923328 21075 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4765118 21075 6067 1 0 553462 0
[pid=235742/tid=235744] ppid=235739 vsize=19060472 memory=5640 CPUtime=0.59 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 6085 0 0 0 55 4 0 0 20 0 19 0 18743539 19517923328 21075 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18743545 19517923328 21075 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19060472 memory=4869 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18743545 19517923328 21075 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19060472 memory=2244 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18743582 19517923328 21075 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 84300 KiB

[startup+1.5007 s]
/proc/loadavg: 4.50 4.25 4.23 7/334 235763
/proc/meminfo: memFree=71882548/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=182860 CPUtime=2.71 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 20519 0 0 0 261 10 0 0 20 0 20 0 18743538 19586084864 45715 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 45715 6115 1 0 556941 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=12240 CPUtime=1.3 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 6939 0 0 0 123 7 0 0 20 0 20 0 18743539 19586084864 45715 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 45715 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=952902 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 45715 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 45715 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 182860 KiB

[startup+3.10652 s]
/proc/loadavg: 4.54 4.26 4.24 6/335 235764
/proc/meminfo: memFree=70901692/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=263196 CPUtime=5.77 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 23544 0 0 0 562 15 0 0 20 0 20 0 18743538 19586084864 65799 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 65799 6115 1 0 557980 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=0 CPUtime=2.84 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 7358 0 0 0 274 10 0 0 20 0 20 0 18743539 19586084864 65799 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 65799 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 65799 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 65799 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 263196 KiB

[startup+6.30048 s]
/proc/loadavg: 4.54 4.26 4.24 5/335 235764
/proc/meminfo: memFree=69911204/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=994376 CPUtime=9.45 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 24062 0 0 0 912 33 0 0 20 0 20 0 18743538 19586084864 248594 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 248594 6115 1 0 557982 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=12240 CPUtime=6.01 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 7817 0 0 0 573 28 0 0 20 0 20 0 18743539 19586084864 248594 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=384072 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 248594 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 248594 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=-8528238140213404348 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 248594 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 9.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 994376 KiB

[startup+12.7005 s]
/proc/loadavg: 4.49 4.25 4.24 5/298 235809
/proc/meminfo: memFree=77304008/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=1149952 CPUtime=15.93 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 27205 0 0 0 1547 46 0 0 20 0 20 0 18743538 19586084864 287488 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 287488 6115 1 0 557982 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=-8528238140213404348 CPUtime=12.37 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 8797 0 0 0 1197 40 0 0 20 0 20 0 18743539 19586084864 287488 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 287488 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=1096704 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 287488 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=1096704 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 287488 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1149952 KiB

[startup+25.5005 s]
/proc/loadavg: 4.67 4.31 4.26 6/320 235971
/proc/meminfo: memFree=75345808/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=1334308 CPUtime=28.71 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 30552 0 0 0 2804 67 0 0 20 0 20 0 18743538 19586084864 333577 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 333577 6115 1 0 557982 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=0 CPUtime=24.99 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 10078 0 0 0 2439 60 0 0 20 0 20 0 18743539 19586084864 333577 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=1334308 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 333577 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 333577 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=1334304 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 333577 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 28.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1334308 KiB

[startup+51.1141 s]
/proc/loadavg: 4.56 4.31 4.26 5/327 235983
/proc/meminfo: memFree=73237544/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=1348716 CPUtime=53.7 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 35498 0 0 0 5271 99 0 0 20 0 20 0 18743538 19586084864 337179 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 337179 6131 1 0 557982 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=0 CPUtime=49.63 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 12125 0 0 0 4873 90 0 0 20 0 20 0 18743539 19586084864 337179 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 58 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=1348716 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 337179 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0

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

/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 656825 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=2627300 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2740 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 656825 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 656825 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3190.77 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2627300 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.19 4.20 5/319 237510
/proc/meminfo: memFree=80474824/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2627304 CPUtime=3250.45 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 185389 0 0 0 322724 2321 0 0 20 0 20 0 18743538 19586084864 656826 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 656826 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=2627300 CPUtime=3194.91 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 77329 0 0 0 317359 2132 0 0 20 0 20 0 18743539 19586084864 656826 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4705 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=-8528238140213404348 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 656826 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=-8528238140213404348 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2740 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 656826 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 656826 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3250.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2627304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.19 4.20 5/319 237521
/proc/meminfo: memFree=80629864/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2630800 CPUtime=3309.1 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 187201 0 0 0 328558 2352 0 0 20 0 20 0 18743538 19586084864 657700 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 657700 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=12264 CPUtime=3252.97 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 77879 0 0 0 323136 2161 0 0 20 0 20 0 18743539 19586084864 657700 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4856 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=6219569360028526695 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 657700 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=5644 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2788 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 657700 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=20964 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 657700 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3309.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2630800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.20 5/319 237533
/proc/meminfo: memFree=79821920/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2630888 CPUtime=3368.11 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 187859 0 0 0 334422 2389 0 0 20 0 20 0 18743538 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 657722 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=2630800 CPUtime=3311.08 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 78480 0 0 0 328914 2194 0 0 20 0 20 0 18743539 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4983 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=2630860 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=70176 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2804 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=2630888 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3368.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2630888 KiB

[startup+3462.3 s]
/proc/loadavg: 4.35 4.22 4.20 5/318 237543
/proc/meminfo: memFree=79806652/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2630888 CPUtime=3427.34 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 189187 0 0 0 340311 2423 0 0 20 0 20 0 18743538 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 657722 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=2630800 CPUtime=3369.89 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 79061 0 0 0 334764 2225 0 0 20 0 20 0 18743539 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5067 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=2630888 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2881 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=70176 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3427.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2630888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.21 4.20 5/319 237555
/proc/meminfo: memFree=79349248/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2630888 CPUtime=3484.91 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 189894 0 0 0 346039 2452 0 0 20 0 20 0 18743538 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 657722 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=12240 CPUtime=3426.44 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 79619 0 0 0 340392 2252 0 0 20 0 20 0 18743539 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5345 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=2630888 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=2630860 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2897 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=-8528238140213404348 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 657722 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3484.91 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2630888 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.19 6/297 237979
/proc/meminfo: memFree=80908472/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2630892 CPUtime=3544.53 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 191249 0 0 0 351972 2481 0 0 20 0 20 0 18743538 19586084864 657723 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 657723 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=2630860 CPUtime=3485.43 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 80139 0 0 0 346265 2278 0 0 20 0 20 0 18743539 19586084864 657723 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5398 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=2630892 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 657723 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=12240 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2945 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 657723 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=2630892 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 657723 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3544.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2630892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3638.11 s]
/proc/loadavg: 3.58 4.04 4.13 4/295 237991
/proc/meminfo: memFree=84416004/131655788 swapFree=131061124/131071996
[pid=235742] ppid=235739 vsize=19127036 memory=2630936 CPUtime=3600.02 cores=5,7
/proc/235742/stat : 235742 (java) S 235739 235742 230684 0 -1 1077936128 192178 0 0 0 357490 2512 0 0 20 0 20 0 18743538 19586084864 657734 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
/proc/235742/statm: 4781759 657734 6131 1 0 669066 0
[pid=235742/tid=235744] ppid=235739 vsize=19127036 memory=2630936 CPUtime=3540.25 cores=5,7
/proc/235742/task/235744/stat : 235744 (java) R 235739 235742 230684 0 -1 4194368 80881 0 0 0 351719 2306 0 0 20 0 20 0 18743539 19586084864 657734 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5438 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235753] ppid=235739 vsize=19127036 memory=2630936 CPUtime=0 cores=5,7
/proc/235742/task/235753/stat : 235753 (Finalizer) S 235739 235742 230684 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18743545 19586084864 657734 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235760] ppid=235739 vsize=19127036 memory=2630888 CPUtime=0.01 cores=5,7
/proc/235742/task/235760/stat : 235760 (Common-Cleaner) S 235739 235742 230684 0 -1 1077936192 2961 0 0 0 0 1 0 0 20 0 20 0 18743545 19586084864 657734 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
[pid=235742/tid=235761] ppid=235739 vsize=19127036 memory=2630936 CPUtime=0 cores=5,7
/proc/235742/task/235761/stat : 235761 (Timer-0) S 235739 235742 230684 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18743582 19586084864 657734 134679101440 94425106448384 94425106452080 140737233251376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94425106459896 94425106460688 94425137999872 140737233253295 140737233253477 140737233253477 140737233260488 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2630936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.43 s, system=25.1444 s

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

[startup+3638.4 s]*
/proc/loadavg: 3.58 4.04 4.13 3/277 237994
/proc/meminfo: memFree=87024812/131655788 swapFree=131061124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3638.42
CPU time (s): 3600.58
CPU user time (s): 3575.43
CPU system time (s): 25.1444
CPU usage (%): 98.9598
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2631520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.43
system time used= 25.1444
maximum resident set size= 2632648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22449200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124935
involuntary context switches= 8199


# summary of solver processes directly reported to runsolver:
#   pid: 235742
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3575.43
#   total CPU system time (s): 25.1444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1428 second user time and 38.0543 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-24 15:25:41
IDJOB=4447412
IDBENCH=158687
IDSOLVER=3079
FILE ID=nodeC005/4447412-1721827541
RUNJOBID= nodeC005-1721820325-230697
SLURM_JOB_ID= 7891450
Free space on /tmp= 723676 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447412-1721827541/watcher-4447412-1721827541 -o /tmp/evaluation-result-4447412-1721827541/solver-4447412-1721827541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721820325-230697 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4447412-1721827541 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447412-1721827541.opb

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

MD5SUM BENCH= fefb64a1b2a7fa00e7ba601f2504d0e0
RANDOM SEED=1713891783

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3648.185
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3653.894
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.263
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.159
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3509.762
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.127
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.274
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.124
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        72060776 kB
MemAvailable:   105788144 kB
Buffers:          252864 kB
Cached:         34230908 kB
SwapCached:          612 kB
Active:          2598748 kB
Inactive:       56245936 kB
Active(anon):       1624 kB
Inactive(anon): 24412316 kB
Active(file):    2597124 kB
Inactive(file): 31833620 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:            173284 kB
Writeback:             4 kB
AnonPages:      24359872 kB
Mapped:           138240 kB
Shmem:             53264 kB
KReclaimable:     273308 kB
Slab:             390248 kB
SReclaimable:     273308 kB
SUnreclaim:       116940 kB
KernelStack:        5096 kB
PageTables:        58092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   31941292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23922688 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC005 at 2024-07-24 16:26:20