Trace number 4486524

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)24311 3600.27 3603.62

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23916
Best CPU time to get the best result obtained on this benchmark3585.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		2104792832
0.09/0.10	c Max memory 		16282288128
0.09/0.10	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.14	c Pseudo Boolean Optimization by upper bound
0.09/0.14	c --- Begin Solver configuration ---
0.09/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.14	c Learn all clauses as in MiniSAT
0.09/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.14	c Expensive reason simplification
0.09/0.14	c Glucose 2.1 dynamic restart strategy
0.09/0.14	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.09/0.14	c timeout=2147483s
0.09/0.14	c DB Simplification allowed=false
0.09/0.14	c Listener: none
0.09/0.14	c --- End Solver configuration ---
0.09/0.14	c solving HOME/instance-4486524-1751315455.opb
0.09/0.14	c reading problem ... 
0.09/0.15	c  objective function found
0.29/0.26	c ... done. Wall clock time 0.109s.
0.29/0.26	c declared #vars     540
0.29/0.26	c #constraints  4626
0.29/0.26	c constraints type 
0.29/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.29/0.26	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.29/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.29/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.29/0.26	c 4626 constraints processed.
0.29/0.28	c objective function length is 180 literals
0.48/0.33	c SATISFIABLE
0.48/0.33	c OPTIMIZING...
0.48/0.33	c Got one! Elapsed wall clock time (in seconds):0.19
0.48/0.33	o 28809
0.68/0.43	c Got one! Elapsed wall clock time (in seconds):0.29
0.68/0.43	o 28765
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.296
0.68/0.44	o 28688
0.87/0.55	c Got one! Elapsed wall clock time (in seconds):0.404
0.87/0.55	o 28446
0.87/0.57	c Got one! Elapsed wall clock time (in seconds):0.43
0.87/0.57	o 26767
1.25/0.72	c Got one! Elapsed wall clock time (in seconds):0.579
1.25/0.72	o 26743
1.75/1.05	c cleaning 3436 clauses out of 6879 with flag 21704/6879
2.56/1.71	c cleaning 4714 clauses out of 9441 with flag 80979/12877
2.97/2.17	c cleaning 5854 clauses out of 11727 with flag 122200/19877
3.17/2.33	c cleaning 6933 clauses out of 13873 with flag 139947/27877
3.40/2.52	c cleaning 7963 clauses out of 15939 with flag 159479/36876
3.67/2.74	c cleaning 8985 clauses out of 17976 with flag 181733/46876
3.97/3.01	c cleaning 9995 clauses out of 19992 with flag 205792/57877
4.27/3.31	c cleaning 10998 clauses out of 21996 with flag 234246/69876
4.59/3.60	c cleaning 11995 clauses out of 23998 with flag 263630/82876
4.91/3.98	c cleaning 12997 clauses out of 26005 with flag 301713/96878
6.38/5.37	c Got one! Elapsed wall clock time (in seconds):5.23
6.38/5.37	o 26579
6.88/5.84	c Got one! Elapsed wall clock time (in seconds):5.697
6.88/5.84	o 26188
6.88/5.88	c Got one! Elapsed wall clock time (in seconds):5.737
6.88/5.88	o 24311
7.49/6.44	c cleaning 13419 clauses out of 26849 with flag 33598/110719
8.29/7.29	c cleaning 9697 clauses out of 19431 with flag 97970/116720
9.23/8.17	c cleaning 8357 clauses out of 16734 with flag 171437/123720
10.46/9.20	c cleaning 8186 clauses out of 16376 with flag 254612/131719
11.55/10.39	c cleaning 8585 clauses out of 17190 with flag 360023/140719
12.95/11.76	c cleaning 9291 clauses out of 18606 with flag 480056/150720
14.55/13.32	c cleaning 10147 clauses out of 20314 with flag 624132/161719
16.25/15.03	c cleaning 11082 clauses out of 22167 with flag 774721/173719
18.24/17.07	c cleaning 12036 clauses out of 24085 with flag 950942/186719
20.74/19.51	c cleaning 13019 clauses out of 26050 with flag 1161445/200720
23.34/22.12	c cleaning 13997 clauses out of 28030 with flag 1377081/215719
26.12/24.94	c cleaning 15002 clauses out of 30033 with flag 1611214/231719
29.42/28.21	c cleaning 16002 clauses out of 32031 with flag 1882538/248719
33.11/31.92	c cleaning 17012 clauses out of 34031 with flag 2183016/266721
37.20/36.09	c cleaning 18007 clauses out of 36017 with flag 2495053/285719
41.69/40.57	c cleaning 18994 clauses out of 38010 with flag 2830324/305719
46.68/45.54	c cleaning 20008 clauses out of 40017 with flag 3186624/326720
47.39/46.23	c cleaning 21000 clauses out of 42008 with flag 3237562/348719
47.99/46.90	c cleaning 22005 clauses out of 44009 with flag 3284987/371720
48.69/47.57	c cleaning 22996 clauses out of 46003 with flag 3334875/395719
49.40/48.21	c cleaning 24002 clauses out of 48009 with flag 3388313/420721
50.10/48.99	c cleaning 24996 clauses out of 50006 with flag 3443817/446720
50.89/49.74	c cleaning 26001 clauses out of 52009 with flag 3501439/473719
51.89/50.74	c cleaning 27002 clauses out of 54008 with flag 3561676/501719
52.79/51.61	c cleaning 27998 clauses out of 56007 with flag 3623133/530720
53.69/52.52	c cleaning 28997 clauses out of 58008 with flag 3686719/560719
54.80/53.65	c cleaning 30003 clauses out of 60013 with flag 3754562/591721
55.89/54.79	c cleaning 30999 clauses out of 62008 with flag 3821888/623719
57.08/55.90	c cleaning 32004 clauses out of 64009 with flag 3892179/656719
58.47/57.35	c cleaning 33002 clauses out of 66006 with flag 3965407/690720
59.87/58.73	c cleaning 33995 clauses out of 68003 with flag 4040543/725719
61.17/60.06	c cleaning 34999 clauses out of 70008 with flag 4117329/761719
62.69/61.52	c cleaning 36001 clauses out of 72009 with flag 4197325/798719
64.08/62.99	c cleaning 36997 clauses out of 74008 with flag 4280838/836719
65.77/64.61	c cleaning 38006 clauses out of 76011 with flag 4364921/875719
67.47/66.35	c cleaning 39002 clauses out of 78006 with flag 4451527/915720
69.27/68.14	c cleaning 39998 clauses out of 80004 with flag 4541452/956720
71.06/69.97	c cleaning 40999 clauses out of 82006 with flag 4634352/998720
73.06/71.91	c cleaning 41997 clauses out of 84007 with flag 4728505/1041720
74.84/73.70	c cleaning 42997 clauses out of 86009 with flag 4823185/1085719
76.74/75.64	c cleaning 44005 clauses out of 88012 with flag 4921508/1130719
78.33/77.29	c cleaning 45000 clauses out of 90007 with flag 5020041/1176719
80.13/79.04	c cleaning 46001 clauses out of 92007 with flag 5120484/1223719
81.94/80.82	c cleaning 46998 clauses out of 94007 with flag 5223255/1271720
83.73/82.69	c cleaning 48000 clauses out of 96009 with flag 5341192/1320720
86.14/85.07	c cleaning 48996 clauses out of 98008 with flag 5452657/1370719
88.24/87.13	c cleaning 50004 clauses out of 100012 with flag 5564150/1421719
90.65/89.58	c cleaning 51000 clauses out of 102010 with flag 5678390/1473721
93.65/92.54	c cleaning 52002 clauses out of 104009 with flag 5794690/1526720
96.45/95.33	c cleaning 53001 clauses out of 106007 with flag 5915245/1580720
99.24/98.16	c cleaning 53999 clauses out of 108005 with flag 6043188/1635719
102.33/101.26	c cleaning 54997 clauses out of 110007 with flag 6173385/1691720
105.04/103.95	c cleaning 55998 clauses out of 112010 with flag 6297805/1748720
107.94/106.81	c cleaning 57004 clauses out of 114013 with flag 6425871/1806721
110.83/109.77	c cleaning 57996 clauses out of 116009 with flag 6556093/1865721
113.36/112.29	c cleaning 59006 clauses out of 118012 with flag 6689485/1925720
116.65/115.52	c cleaning 60000 clauses out of 120006 with flag 6825626/1986720
120.45/119.32	c cleaning 61000 clauses out of 122006 with flag 6967265/2048720
124.34/123.23	c cleaning 62001 clauses out of 124006 with flag 7107948/2111720
128.04/126.91	c cleaning 63003 clauses out of 126005 with flag 7256657/2175720
132.13/131.02	c cleaning 64001 clauses out of 128002 with flag 7411728/2240720
136.71/135.66	c cleaning 65000 clauses out of 130002 with flag 7555634/2306721
141.02/139.99	c cleaning 65998 clauses out of 132001 with flag 7707311/2373720
146.32/145.23	c cleaning 67000 clauses out of 134003 with flag 7855984/2441720
149.01/147.93	c cleaning 67998 clauses out of 136002 with flag 8016269/2510719
152.21/151.18	c cleaning 68999 clauses out of 138006 with flag 8179555/2580721
154.90/153.84	c cleaning 70001 clauses out of 140005 with flag 8333870/2651719
157.33/156.29	c cleaning 70996 clauses out of 142004 with flag 8489340/2723719
160.02/158.96	c cleaning 72001 clauses out of 144010 with flag 8651925/2796721
162.71/161.68	c cleaning 73004 clauses out of 146007 with flag 8817534/2870719
166.60/165.57	c cleaning 73996 clauses out of 148004 with flag 8987410/2945720
169.79/168.74	c cleaning 74998 clauses out of 150008 with flag 9152192/3021720
173.63/172.55	c cleaning 76001 clauses out of 152011 with flag 9326435/3098721
177.42/176.31	c cleaning 77004 clauses out of 154009 with flag 9499673/3176720
181.61/180.58	c cleaning 77997 clauses out of 156004 with flag 9672812/3255719
186.40/185.35	c cleaning 79001 clauses out of 158007 with flag 9850291/3335719
190.90/189.88	c cleaning 80001 clauses out of 160008 with flag 10036108/3416721
196.32/195.24	c cleaning 80996 clauses out of 162005 with flag 10218078/3498719
201.51/200.45	c cleaning 81999 clauses out of 164009 with flag 10404210/3581719
204.90/203.83	c cleaning 82996 clauses out of 166011 with flag 10625252/3665720
208.99/207.92	c cleaning 84003 clauses out of 168014 with flag 10867140/3750719
217.88/216.85	c cleaning 84999 clauses out of 170012 with flag 11350915/3836720
262.22/261.25	c cleaning 86004 clauses out of 172012 with flag 12912141/3923719
327.95/326.77	c cleaning 86999 clauses out of 174012 with flag 14594741/4011723
346.42/345.03	c cleaning 87997 clauses out of 176010 with flag 15200644/4100720
350.18/348.52	c cleaning 89002 clauses out of 178014 with flag 15403494/4190721
355.59/353.98	c cleaning 89999 clauses out of 180011 with flag 15633631/4281720
359.89/358.17	c cleaning 90998 clauses out of 182012 with flag 15855438/4373720
362.99/361.21	c cleaning 91999 clauses out of 184014 with flag 16073501/4466720
366.68/364.97	c cleaning 93005 clauses out of 186014 with flag 16301600/4560719
370.67/368.92	c cleaning 94002 clauses out of 188009 with flag 16544130/4655719
374.77/373.01	c cleaning 95001 clauses out of 190007 with flag 16779396/4751719
379.11/377.37	c cleaning 96000 clauses out of 192007 with flag 17025490/4848720
382.49/380.77	c cleaning 96992 clauses out of 194007 with flag 17269045/4946720
386.48/384.77	c cleaning 98005 clauses out of 196015 with flag 17516213/5045720
390.47/388.79	c cleaning 98998 clauses out of 198009 with flag 17760693/5145719
394.66/392.92	c cleaning 100000 clauses out of 200011 with flag 18024844/5246719
398.95/397.24	c cleaning 101003 clauses out of 202012 with flag 18262450/5348720
403.41/401.67	c cleaning 101997 clauses out of 204009 with flag 18495741/5451720
407.91/406.16	c cleaning 102997 clauses out of 206011 with flag 18767920/5555719
413.09/411.31	c cleaning 104005 clauses out of 208015 with flag 19046554/5660720
418.18/416.48	c cleaning 104999 clauses out of 210010 with flag 19367215/5766720
422.67/420.95	c cleaning 105997 clauses out of 212010 with flag 19637529/5873719
518.95/517.36	c cleaning 107004 clauses out of 214014 with flag 21470463/5981720
595.15/593.74	c cleaning 107994 clauses out of 216010 with flag 23121303/6090720
600.04/598.60	c cleaning 109001 clauses out of 218015 with flag 23370335/6200719
606.33/604.93	c cleaning 110005 clauses out of 220015 with flag 23618938/6311720
612.52/611.17	c cleaning 110997 clauses out of 222010 with flag 23879056/6423720
618.71/617.30	c cleaning 112002 clauses out of 224013 with flag 24140596/6536720
624.97/623.54	c cleaning 113002 clauses out of 226011 with flag 24407507/6650720
629.86/628.44	c cleaning 113994 clauses out of 228008 with flag 24698218/6765719
635.05/633.61	c cleaning 115002 clauses out of 230014 with flag 24989029/6881719
640.94/639.52	c cleaning 115998 clauses out of 232012 with flag 25272358/6998719
647.25/645.71	c cleaning 117003 clauses out of 234016 with flag 25559612/7116721
713.80/712.41	c cleaning 118000 clauses out of 236011 with flag 26705394/7235719
718.89/717.12	c cleaning 119001 clauses out of 238011 with flag 26986296/7355719
725.27/723.54	c cleaning 119998 clauses out of 240010 with flag 27281617/7476719
749.02/747.37	c cleaning 120999 clauses out of 242012 with flag 27831792/7598719
754.11/752.42	c cleaning 121999 clauses out of 244014 with flag 28128881/7721720
761.20/759.55	c cleaning 123004 clauses out of 246015 with flag 28437201/7845720
767.09/765.41	c cleaning 124000 clauses out of 248010 with flag 28755298/7970719
772.35/770.62	c cleaning 125003 clauses out of 250010 with flag 29058891/8096719
778.73/777.04	c cleaning 125999 clauses out of 252007 with flag 29382773/8223719
785.91/784.25	c cleaning 127000 clauses out of 254008 with flag 29689765/8351719
792.49/790.86	c cleaning 128003 clauses out of 256010 with flag 30010329/8480721
801.97/800.34	c cleaning 128998 clauses out of 258005 with flag 30348334/8610719
832.10/830.52	c cleaning 130000 clauses out of 260008 with flag 30974814/8741720
855.66/854.19	c cleaning 130998 clauses out of 262009 with flag 31566159/8873721
860.94/859.43	c cleaning 132000 clauses out of 264010 with flag 31851069/9006720
866.63/865.19	c cleaning 132995 clauses out of 266009 with flag 32156114/9140719
871.91/870.48	c cleaning 134000 clauses out of 268016 with flag 32475707/9275721
880.29/878.89	c cleaning 135006 clauses out of 270016 with flag 32796767/9411721
888.68/887.29	c cleaning 136000 clauses out of 272008 with flag 33122763/9548719
897.57/896.19	c cleaning 137003 clauses out of 274009 with flag 33451268/9686720
906.14/904.74	c cleaning 137997 clauses out of 276005 with flag 33769623/9825719
912.32/910.92	c cleaning 139001 clauses out of 278010 with flag 34095840/9965721
922.26/920.72	c cleaning 139997 clauses out of 280007 with flag 34440122/10106719
931.45/930.00	c cleaning 141000 clauses out of 282010 with flag 34774837/10248719
940.63/939.11	c cleaning 141999 clauses out of 284010 with flag 35111629/10391719
948.71/947.24	c cleaning 142999 clauses out of 286011 with flag 35421714/10535719
955.50/954.00	c cleaning 143999 clauses out of 288012 with flag 35757604/10680719
963.07/961.69	c cleaning 144997 clauses out of 290014 with flag 36104377/10826720
972.04/970.67	c cleaning 146003 clauses out of 292016 with flag 36453852/10973719
981.53/980.18	c cleaning 146994 clauses out of 294013 with flag 36804113/11121719
991.12/989.61	c cleaning 148007 clauses out of 296021 with flag 37161903/11270721
999.41/997.96	c cleaning 149004 clauses out of 298013 with flag 37530210/11420720
1008.60/1007.11	c cleaning 150002 clauses out of 300011 with flag 37930140/11571722
1016.97/1015.57	c cleaning 150998 clauses out of 302006 with flag 38333146/11723719
1026.06/1024.63	c cleaning 152002 clauses out of 304008 with flag 38693479/11876719
1134.23/1132.95	c cleaning 152996 clauses out of 306006 with flag 40136204/12030719
1202.16/1201.09	c cleaning 153996 clauses out of 308010 with flag 41254711/12185719
1210.93/1209.89	c cleaning 154999 clauses out of 310015 with flag 41616893/12341720
1218.12/1217.08	c cleaning 156002 clauses out of 312015 with flag 41986594/12498719
1225.89/1224.80	c cleaning 156998 clauses out of 314013 with flag 42348230/12656719
1234.35/1233.29	c cleaning 158001 clauses out of 316017 with flag 42715503/12815721
1245.52/1244.42	c cleaning 158999 clauses out of 318014 with flag 43052865/12975719
1252.91/1251.83	c cleaning 160001 clauses out of 320015 with flag 43417363/13136719
1260.49/1259.46	c cleaning 161002 clauses out of 322015 with flag 43772208/13298720
1270.08/1269.01	c cleaning 161998 clauses out of 324013 with flag 44136730/13461720
1277.56/1276.57	c cleaning 163000 clauses out of 326014 with flag 44521290/13625719
1286.14/1285.16	c cleaning 164003 clauses out of 328014 with flag 44893253/13790719
1297.32/1296.25	c cleaning 165003 clauses out of 330011 with flag 45293967/13956719
1308.19/1307.15	c cleaning 165998 clauses out of 332009 with flag 45745883/14123720
1321.86/1320.82	c cleaning 167004 clauses out of 334011 with flag 46205355/14291720
1613.35/1613.05	c cleaning 167996 clauses out of 336007 with flag 48851774/14460720
2030.11/2030.72	c cleaning 168998 clauses out of 338011 with flag 52167801/14630720
2475.85/2477.30	c cleaning 169997 clauses out of 340012 with flag 55505752/14801719
2632.49/2634.32	c cleaning 170998 clauses out of 342015 with flag 57171152/14973719
2641.41/2642.72	c cleaning 171996 clauses out of 344017 with flag 57560984/15146719
2649.59/2650.90	c cleaning 173003 clauses out of 346021 with flag 57968771/15320719
2659.36/2660.71	c cleaning 174005 clauses out of 348018 with flag 58383191/15495719
2668.54/2669.96	c cleaning 175004 clauses out of 350013 with flag 58832750/15671719
2677.59/2678.93	c cleaning 175999 clauses out of 352009 with flag 59289938/15848719
2686.78/2688.15	c cleaning 177001 clauses out of 354011 with flag 59766744/16026720
2697.25/2698.64	c cleaning 178001 clauses out of 356010 with flag 60176728/16205720
2710.62/2712.01	c cleaning 179000 clauses out of 358008 with flag 60579487/16385719
2724.49/2726.00	c cleaning 179999 clauses out of 360008 with flag 60997103/16566719
2735.36/2736.84	c cleaning 181002 clauses out of 362010 with flag 61451549/16748720
2745.23/2746.72	c cleaning 181995 clauses out of 364008 with flag 61909703/16931720
2758.87/2760.36	c cleaning 183002 clauses out of 366013 with flag 62338071/17115720
2772.04/2773.53	c cleaning 184000 clauses out of 368011 with flag 62814745/17300720
2786.40/2788.00	c cleaning 185000 clauses out of 370010 with flag 63285856/17486719
3067.41/3069.68	c cleaning 186002 clauses out of 372011 with flag 65548884/17673720
3600.03/3603.51	c starts		: 10546
3600.03/3603.51	c conflicts		: 17850551
3600.03/3603.51	c decisions		: 22325750
3600.03/3603.51	c propagations		: 289818895
3600.03/3603.51	c inspects		: 30630925200
3600.03/3603.51	c shortcuts		: 0
3600.03/3603.51	c learnt literals	: 0
3600.03/3603.51	c learnt binary clauses	: 5
3600.03/3603.51	c learnt ternary clauses	: 131
3600.03/3603.51	c learnt constraints	: 17850551
3600.03/3603.51	c ignored constraints	: 0
3600.03/3603.52	c root simplifications	: 0
3600.03/3603.52	c removed literals (reason simplification)	: 206294321
3600.03/3603.52	c reason swapping (by a shorter reason)	: 0
3600.03/3603.52	c Calls to reduceDB	: 193
3600.03/3603.52	c Number of update (reduction) of LBD	: 1326369
3600.03/3603.52	c Imported unit clauses	: 0
3600.03/3603.52	c No decision after first conflict	: false
3600.03/3603.52	c number of reductions to clauses (during analyze)	: 0
3600.03/3603.52	c number of learned constraints concerned by reduction	: 0
3600.03/3603.52	c number of learning phase by resolution	: 0
3600.03/3603.53	c number of learning phase by cutting planes	: 0
3600.03/3603.53	c number of rounding to 1 operations	: 0
3600.03/3603.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3603.53	c number of reductions of the coefficients by power 2 	: 0
3600.03/3603.53	c number of right shift for reduction by power 2 	: 0
3600.03/3603.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3603.53	c number of ending skipping 	: 0
3600.03/3603.53	c number of internal skipping 	: 0
3600.03/3603.53	c number of derivation steps 	: 0
3600.03/3603.53	c number of skipped derivation steps 	: 0
3600.03/3603.53	c number of remaining unassigned 	: 0
3600.03/3603.53	c number of remaining assigned 	: 0
3600.03/3603.53	c number of falsified literals weakened from reason	: 0
3600.03/3603.53	c number of falsified literals weakened from conflict	: 0
3600.03/3603.53	c time for arithmetic operations	: 0
3600.03/3603.53	c minimum degree of deleted constraints	: null
3600.03/3603.53	c maximum degree of deleted constraints	: null
3600.03/3603.53	c number of deleted constraints	: 0
3600.03/3603.54	c speed (assignments/second)	: 80432.61349264871
3600.03/3603.54	c non guided choices	: 1090
3600.24/3603.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 362835
3600.24/3603.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 5
3600.24/3603.60	s SATISFIABLE
3600.24/3603.60	c Found 9 solution(s)
3600.24/3603.60	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 x537 x538 x539 -x540 
3600.24/3603.61	c objective function=24311
3600.24/3603.61	c Total wall clock time (in seconds): 3603.465

Verifier Data 

OK	24311

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 0.92 1.53 2.19 8/332 42300
/proc/meminfo: memFree=129377428/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18930384 memory=55804 CPUtime=0.09 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 6008 0 170 0 8 1 0 0 20 0 18 0 47223034 19384713216 13951 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4732596 13951 5309 1 0 547302 0
[pid=42218/tid=42229] ppid=42213 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 4830 0 170 0 5 1 0 0 20 0 18 0 47223037 19384713216 13983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47223039 19384713216 13983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47223040 19384713216 13983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55804 KiB

[startup+0.20665 s]*
/proc/loadavg: 0.92 1.53 2.19 13/332 42300
/proc/meminfo: memFree=129346300/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18930384 memory=67252 CPUtime=0.29 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 6703 0 170 0 27 2 0 0 20 0 18 0 47223034 19384713216 16813 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4732596 16813 5405 1 0 547912 0
[pid=42218/tid=42229] ppid=42213 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 5138 0 170 0 14 1 0 0 20 0 18 0 47223037 19384713216 16813 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18930384 memory=17146 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47223039 19384713216 16813 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18930384 memory=54087446168546 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47223040 19384713216 16813 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67252 KiB

[startup+0.306035 s]*
/proc/loadavg: 0.92 1.53 2.19 13/335 42303
/proc/meminfo: memFree=129268228/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18996948 memory=86376 CPUtime=0.48 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 8325 0 170 0 46 2 0 0 20 0 19 0 47223034 19452874752 21594 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4749237 21594 5469 1 0 549369 0
[pid=42218/tid=42229] ppid=42213 vsize=18996948 memory=-6000919472757041771 CPUtime=0.23 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 5259 0 170 0 21 2 0 0 20 0 19 0 47223037 19452874752 21594 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 21594 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 21594 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223063 19452874752 21594 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 86376 KiB

[startup+0.700244 s]
/proc/loadavg: 0.92 1.53 2.19 8/316 42306
/proc/meminfo: memFree=129209788/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18996948 memory=95932 CPUtime=1.25 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 10338 0 170 0 122 3 0 0 20 0 19 0 47223034 19452874752 23983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4749237 23983 5469 1 0 550571 0
[pid=42218/tid=42229] ppid=42213 vsize=18996948 memory=18176 CPUtime=0.59 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 5277 0 170 0 57 2 0 0 20 0 19 0 47223037 19452874752 23983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 23983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 23983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223063 19452874752 23983 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95932 KiB

[startup+1.50018 s]
/proc/loadavg: 0.92 1.53 2.19 5/315 42315
/proc/meminfo: memFree=129169888/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18996948 memory=105620 CPUtime=2.36 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 12659 0 170 0 233 3 0 0 20 0 19 0 47223034 19452874752 26405 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4749237 26405 5469 1 0 550908 0
[pid=42218/tid=42229] ppid=42213 vsize=18996948 memory=10752 CPUtime=1.37 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 5435 0 170 0 135 2 0 0 20 0 19 0 47223037 19452874752 26405 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 26405 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 26405 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223063 19452874752 26405 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105620 KiB

[startup+3.10561 s]
/proc/loadavg: 0.92 1.53 2.19 6/337 42370
/proc/meminfo: memFree=129086188/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18996948 memory=128192 CPUtime=4.07 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 14864 0 170 0 404 3 0 0 20 0 19 0 47223034 19452874752 32048 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4749237 32048 5469 1 0 550911 0
[pid=42218/tid=42229] ppid=42213 vsize=18996948 memory=-6000919494248655467 CPUtime=2.97 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 5919 0 170 0 295 2 0 0 20 0 19 0 47223037 19452874752 32048 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 32048 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 32048 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223063 19452874752 32048 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 128192 KiB

[startup+6.30022 s]
/proc/loadavg: 1.17 1.57 2.20 5/337 42370
/proc/meminfo: memFree=129012708/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=18996948 memory=149176 CPUtime=7.39 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 18914 0 170 0 735 4 0 0 20 0 19 0 47223034 19452874752 37294 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4749237 37294 5469 1 0 550916 0
[pid=42218/tid=42229] ppid=42213 vsize=18996948 memory=10752 CPUtime=6.16 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 6816 0 170 0 613 3 0 0 20 0 19 0 47223037 19452874752 37294 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47223039 19452874752 37294 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47223040 19452874752 37294 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=18996948 memory=105620 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47223063 19452874752 37294 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149176 KiB

[startup+12.7002 s]
/proc/loadavg: 1.39 1.61 2.21 5/339 42372
/proc/meminfo: memFree=128907568/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=173488 CPUtime=13.95 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 23948 0 170 0 1390 5 0 0 20 0 20 0 47223034 19521036288 43372 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 43372 5501 1 0 551515 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=105620 CPUtime=12.53 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 7471 0 170 0 1250 3 0 0 20 0 20 0 47223037 19521036288 43372 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 43372 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 43372 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=-6000919494248655467 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 43372 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 13.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173488 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 1.74 2.24 5/340 42374
/proc/meminfo: memFree=128821664/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=179676 CPUtime=26.72 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 25706 0 170 0 2666 6 0 0 20 0 20 0 47223034 19521036288 44919 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 44919 5501 1 0 551515 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=10752 CPUtime=25.27 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 8180 0 170 0 2524 3 0 0 20 0 20 0 47223037 19521036288 44919 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 44919 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=105620 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 44919 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=149176 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 44919 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 26.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179676 KiB

[startup+51.1058 s]
/proc/loadavg: 2.71 1.93 2.29 5/340 42374
/proc/meminfo: memFree=128604736/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=198464 CPUtime=52.3 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 25976 0 170 0 5223 7 0 0 20 0 20 0 47223034 19521036288 49616 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 49616 5533 1 0 551515 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=179676 CPUtime=50.79 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 8213 0 170 0 5076 3 0 0 20 0 20 0 47223037 19521036288 49616 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=198464 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/341 42548
/proc/meminfo: memFree=121691060/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3279.59 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 82145 0 170 0 327809 150 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=18176 CPUtime=3270.88 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 31454 0 170 0 327049 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1568 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3279.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/340 42550
/proc/meminfo: memFree=121691648/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3339.45 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 82538 0 170 0 333793 152 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=5632 CPUtime=3330.7 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 31701 0 170 0 333031 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1683 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3339.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/340 42554
/proc/meminfo: memFree=121691280/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3399.31 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 82559 0 170 0 339777 154 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3390.53 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 31714 0 170 0 339014 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1683 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3399.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/339 42556
/proc/meminfo: memFree=121691624/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3459.17 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 82729 0 170 0 345761 156 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3450.36 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 31879 0 170 0 344997 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1683 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3459.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/339 42563
/proc/meminfo: memFree=121691308/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3519.03 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 83151 0 170 0 351745 158 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3510.19 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 32276 0 170 0 350980 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=-6000919494248655467 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1683 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3519.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/339 42564
/proc/meminfo: memFree=121691300/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3578.88 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 83649 0 170 0 357729 159 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3570.01 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 32652 0 170 0 356962 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1779 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3578.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.5 s]
/proc/loadavg: 4.29 4.13 4.04 4/315 42765
/proc/meminfo: memFree=125810828/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3600.03 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 83691 0 170 0 359844 159 0 0 20 0 20 0 47223034 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4765878 543223 5533 1 0 560191 0
[pid=42218/tid=42229] ppid=42213 vsize=19063512 memory=2172892 CPUtime=3591.15 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 32691 0 170 0 359076 39 0 0 20 0 20 0 47223037 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47223039 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1779 0 0 0 0 0 0 0 20 0 20 0 47223040 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42302] ppid=42213 vsize=19063512 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42302/stat : 42302 (Timer-0) S 42213 42218 42162 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47223063 19521036288 543223 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172892 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.66 s, system=1.6095 s

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

[startup+3603.6 s]
/proc/loadavg: 4.29 4.13 4.04 4/315 42765
/proc/meminfo: memFree=125810828/131249988 swapFree=33010684/33010684
[pid=42218] ppid=42213 vsize=19263204 memory=2173532 CPUtime=3600.24 cores=4,6
/proc/42218/stat : 42218 (java) S 42213 42218 42162 0 -1 4194304 86076 0 170 0 359864 160 0 0 20 0 21 0 47223034 19725520896 543383 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
/proc/42218/statm: 4815801 543383 5533 1 0 561129 0
[pid=42218/tid=42229] ppid=42213 vsize=19263204 memory=3072 CPUtime=3591.25 cores=4,6
/proc/42218/task/42229/stat : 42229 (java) R 42213 42218 42162 0 -1 4194368 32811 0 170 0 359086 39 0 0 20 0 21 0 47223037 19725520896 543383 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42260] ppid=42213 vsize=19263204 memory=2172892 CPUtime=0 cores=4,6
/proc/42218/task/42260/stat : 42260 (Finalizer) S 42213 42218 42162 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47223039 19725520896 543383 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
[pid=42218/tid=42281] ppid=42213 vsize=19263204 memory=1792 CPUtime=0 cores=4,6
/proc/42218/task/42281/stat : 42281 (Common-Cleaner) S 42213 42218 42162 0 -1 4194368 1779 0 0 0 0 0 0 0 20 0 21 0 47223040 19725520896 543383 18446744073709551615 94665547792384 94665547796080 140726201790448 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94665547803896 94665547804688 94665566285824 140726201796993 140726201797094 140726201797094 140726201802696 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173532 KiB

Child status: 143

Real time (s): 3603.62
CPU time (s): 3600.27
CPU user time (s): 3598.66
CPU system time (s): 1.6095
CPU usage (%): 99.9068
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2179364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.6095
maximum resident set size= 2179364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86347
page faults= 170
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106591
involuntary context switches= 20407


# summary of solver processes directly reported to runsolver:
#   pid: 42218
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.6095

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.0237 second user time and 18.0324 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 22:30:55
IDJOB=4486524
IDBENCH=147022
IDSOLVER=3363
FILE ID=nodeC020/4486524-1751315455
RUNJOBID= nodeC020-1751315455-42173
SLURM_JOB_ID= 9594332
Free space on /tmp= 432952 MiB

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

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=209941932

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129454404 kB
MemAvailable:   129730336 kB
Buffers:            3280 kB
Cached:          1080948 kB
SwapCached:            0 kB
Active:           386652 kB
Inactive:         773028 kB
Active(anon):      93508 kB
Inactive(anon):        0 kB
Active(file):     293144 kB
Inactive(file):   773028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5196 kB
Writeback:             0 kB
AnonPages:         78556 kB
Mapped:           103072 kB
Shmem:             18056 kB
KReclaimable:      98000 kB
Slab:             185340 kB
SReclaimable:      98000 kB
SUnreclaim:        87340 kB
KernelStack:        4024 kB
PageTables:         2408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     340556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-06-30 23:30:59