Trace number 4543135

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 VeriPB 2025-06-06? (TO) 3600.17 3567.11

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb
MD5SUMe7c556b1908613934f20d4f7eb665474
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.207353
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables252
Total number of constraints253
Number of constraints which are clauses252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint252
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 51
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 303
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4543135-1753224820.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.03s.
0.13/0.16	c declared #vars     252
0.13/0.16	c #constraints  253
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 252
0.13/0.16	c 253 constraints processed.
1.09/0.69	c cleaning 2492 clauses out of 5001 with flag 10629/5001
1.89/1.08	c cleaning 4247 clauses out of 8508 with flag 23458/11000
2.67/1.43	c cleaning 5623 clauses out of 11262 with flag 38580/18001
3.25/1.74	c cleaning 6812 clauses out of 13639 with flag 55979/26001
3.87/2.05	c cleaning 7905 clauses out of 15828 with flag 75441/35002
4.34/2.34	c cleaning 8956 clauses out of 17923 with flag 97040/45002
4.74/2.70	c cleaning 9973 clauses out of 19965 with flag 120807/56000
5.15/3.10	c cleaning 10984 clauses out of 21992 with flag 146617/68000
5.45/3.49	c cleaning 11997 clauses out of 24008 with flag 174470/81000
5.96/3.93	c cleaning 12998 clauses out of 26011 with flag 204297/95000
6.36/4.38	c cleaning 13996 clauses out of 28013 with flag 236804/110000
6.86/4.88	c cleaning 14999 clauses out of 30018 with flag 271203/126001
7.50/5.43	c cleaning 15999 clauses out of 32018 with flag 307965/143000
8.01/5.99	c cleaning 17003 clauses out of 34021 with flag 346589/161002
8.72/6.60	c cleaning 17995 clauses out of 36016 with flag 387553/180000
9.32/7.27	c cleaning 18998 clauses out of 38021 with flag 430471/200000
10.01/7.99	c cleaning 20005 clauses out of 40024 with flag 475857/221001
10.82/8.73	c cleaning 20998 clauses out of 42019 with flag 523001/243001
11.61/9.57	c cleaning 22001 clauses out of 44021 with flag 571907/266001
12.52/10.42	c cleaning 23001 clauses out of 46021 with flag 623116/290002
13.32/11.26	c cleaning 23999 clauses out of 48019 with flag 676702/315001
14.23/12.18	c cleaning 24999 clauses out of 50019 with flag 732497/341000
15.24/13.13	c cleaning 26001 clauses out of 52021 with flag 790815/368001
16.33/14.25	c cleaning 27001 clauses out of 54020 with flag 850598/396001
17.44/15.33	c cleaning 27999 clauses out of 56019 with flag 912875/425001
18.54/16.48	c cleaning 28999 clauses out of 58020 with flag 977349/455001
19.86/17.73	c cleaning 30002 clauses out of 60020 with flag 1043597/486000
21.06/18.98	c cleaning 30993 clauses out of 62018 with flag 1111836/518000
22.37/20.23	c cleaning 31999 clauses out of 64025 with flag 1182255/551000
23.67/21.51	c cleaning 33002 clauses out of 66026 with flag 1254567/585000
25.09/22.99	c cleaning 34005 clauses out of 68025 with flag 1330639/620001
26.49/24.38	c cleaning 35003 clauses out of 70019 with flag 1407377/656000
28.22/26.02	c cleaning 36000 clauses out of 72016 with flag 1486887/693000
29.60/27.48	c cleaning 36997 clauses out of 74017 with flag 1568734/731001
31.33/29.12	c cleaning 38001 clauses out of 76019 with flag 1653102/770000
33.02/30.89	c cleaning 39001 clauses out of 78018 with flag 1739920/810000
34.83/32.68	c cleaning 39998 clauses out of 80018 with flag 1829343/851001
36.65/34.40	c cleaning 40997 clauses out of 82019 with flag 1920410/893000
38.25/36.07	c cleaning 42001 clauses out of 84023 with flag 2013508/936001
40.06/37.83	c cleaning 42997 clauses out of 86021 with flag 2109309/980000
42.08/39.87	c cleaning 44001 clauses out of 88024 with flag 2206274/1025000
44.08/41.83	c cleaning 45005 clauses out of 90024 with flag 2305424/1071001
46.19/43.90	c cleaning 46002 clauses out of 92018 with flag 2407014/1118000
48.42/46.10	c cleaning 47002 clauses out of 94017 with flag 2511056/1166001
50.51/48.20	c cleaning 47997 clauses out of 96015 with flag 2616883/1215001
52.73/50.46	c cleaning 48997 clauses out of 98017 with flag 2725200/1265000
55.04/52.74	c cleaning 50000 clauses out of 100021 with flag 2835714/1316001
57.57/55.23	c cleaning 51001 clauses out of 102020 with flag 2948600/1368000
59.77/57.48	c cleaning 52000 clauses out of 104019 with flag 3063178/1421000
62.29/59.92	c cleaning 53003 clauses out of 106020 with flag 3179690/1475001
65.43/63.01	c cleaning 53996 clauses out of 108016 with flag 3297875/1530000
68.26/65.87	c cleaning 54999 clauses out of 110020 with flag 3418562/1586000
71.09/68.65	c cleaning 56001 clauses out of 112022 with flag 3541235/1643001
74.53/72.08	c cleaning 56997 clauses out of 114020 with flag 3665484/1701000
78.16/75.60	c cleaning 58000 clauses out of 116023 with flag 3792367/1760000
81.25/78.79	c cleaning 58997 clauses out of 118024 with flag 3920614/1820001
84.88/82.38	c cleaning 60001 clauses out of 120026 with flag 4050948/1881000
87.99/85.44	c cleaning 61007 clauses out of 122026 with flag 4185530/1943001
90.83/88.20	c cleaning 61996 clauses out of 124018 with flag 4323260/2006000
94.18/91.56	c cleaning 63002 clauses out of 126022 with flag 4462708/2070000
97.73/95.08	c cleaning 63997 clauses out of 128020 with flag 4604353/2135000
100.67/97.93	c cleaning 65003 clauses out of 130023 with flag 4749153/2201000
104.02/101.28	c cleaning 66000 clauses out of 132021 with flag 4897113/2268001
107.66/104.85	c cleaning 67000 clauses out of 134020 with flag 5046173/2336000
111.30/108.41	c cleaning 68001 clauses out of 136020 with flag 5198002/2405000
114.68/111.77	c cleaning 68995 clauses out of 138020 with flag 5352378/2475001
118.24/115.21	c cleaning 70006 clauses out of 140024 with flag 5507966/2546000
121.86/118.88	c cleaning 70997 clauses out of 142018 with flag 5665577/2618000
125.69/122.69	c cleaning 71998 clauses out of 144021 with flag 5826181/2691000
129.14/126.07	c cleaning 72999 clauses out of 146023 with flag 5989372/2765000
132.79/129.64	c cleaning 73999 clauses out of 148025 with flag 6154031/2840001
136.61/133.48	c cleaning 75000 clauses out of 150025 with flag 6321257/2916000
140.61/137.48	c cleaning 76000 clauses out of 152026 with flag 6490648/2993001
144.99/141.70	c cleaning 76998 clauses out of 154025 with flag 6661845/3071000
149.22/145.94	c cleaning 78003 clauses out of 156027 with flag 6835432/3150000
153.84/150.54	c cleaning 79005 clauses out of 158024 with flag 7011615/3230000
158.17/154.87	c cleaning 79995 clauses out of 160020 with flag 7190863/3311001
162.46/159.05	c cleaning 81005 clauses out of 162025 with flag 7371564/3393001
166.71/163.26	c cleaning 81997 clauses out of 164019 with flag 7554204/3476000
171.14/167.61	c cleaning 83001 clauses out of 166023 with flag 7738296/3560001
176.36/172.80	c cleaning 84002 clauses out of 168022 with flag 7925615/3645001
180.95/177.36	c cleaning 85000 clauses out of 170020 with flag 8113926/3731001
186.19/182.58	c cleaning 86001 clauses out of 172020 with flag 8305112/3818001
191.12/187.40	c cleaning 87002 clauses out of 174019 with flag 8497428/3906001
196.49/192.72	c cleaning 87992 clauses out of 176016 with flag 8693238/3995000
202.03/198.20	c cleaning 89002 clauses out of 178025 with flag 8890565/4085001
207.34/203.43	c cleaning 89996 clauses out of 180022 with flag 9091047/4176000
212.47/208.50	c cleaning 91000 clauses out of 182026 with flag 9293108/4268000
217.01/213.01	c cleaning 92006 clauses out of 184027 with flag 9497102/4361001
222.36/218.36	c cleaning 93002 clauses out of 186021 with flag 9702250/4455001
227.81/223.71	c cleaning 93998 clauses out of 188018 with flag 9909466/4550000
233.07/228.95	c cleaning 95002 clauses out of 190023 with flag 10119147/4646003
238.51/234.35	c cleaning 96000 clauses out of 192018 with flag 10331037/4743000
244.44/240.28	c cleaning 97000 clauses out of 194019 with flag 10544891/4841001
250.45/246.24	c cleaning 97999 clauses out of 196019 with flag 10760756/4940001
256.41/252.14	c cleaning 98999 clauses out of 198019 with flag 10978281/5040000
263.54/259.29	c cleaning 100002 clauses out of 200022 with flag 11197850/5141002
269.62/265.26	c cleaning 100998 clauses out of 202019 with flag 11419441/5243001
276.97/272.50	c cleaning 101997 clauses out of 204020 with flag 11644129/5346000
283.82/279.31	c cleaning 103000 clauses out of 206025 with flag 11868579/5450002
290.87/286.38	c cleaning 104001 clauses out of 208024 with flag 12096693/5555001
298.39/293.89	c cleaning 104999 clauses out of 210022 with flag 12327339/5661000
305.64/301.07	c cleaning 105997 clauses out of 212023 with flag 12560728/5768000
314.35/309.70	c cleaning 107000 clauses out of 214026 with flag 12795848/5876000
320.41/315.78	c cleaning 108004 clauses out of 216026 with flag 13031531/5985000
326.95/322.22	c cleaning 109004 clauses out of 218024 with flag 13271718/6095002
333.37/328.64	c cleaning 110000 clauses out of 220018 with flag 13515185/6206000
339.49/334.72	c cleaning 110998 clauses out of 222018 with flag 13759888/6318000
346.06/341.29	c cleaning 112001 clauses out of 224020 with flag 14006100/6431000
353.63/348.53	c cleaning 112996 clauses out of 226020 with flag 14254378/6545001
360.46/355.31	c cleaning 114005 clauses out of 228025 with flag 14503541/6660002
367.48/362.35	c cleaning 115002 clauses out of 230021 with flag 14755826/6776003
374.62/369.44	c cleaning 115997 clauses out of 232016 with flag 15011060/6893000
382.87/377.65	c cleaning 116999 clauses out of 234019 with flag 15266744/7011000
390.12/384.84	c cleaning 117997 clauses out of 236020 with flag 15524140/7130000
397.13/391.86	c cleaning 119002 clauses out of 238024 with flag 15785177/7250001
404.47/399.17	c cleaning 120002 clauses out of 240021 with flag 16049225/7371000
412.21/406.86	c cleaning 120993 clauses out of 242020 with flag 16314346/7493001
420.86/415.49	c cleaning 122001 clauses out of 244026 with flag 16581148/7616000
430.41/424.92	c cleaning 123003 clauses out of 246026 with flag 16851100/7740001
438.64/433.13	c cleaning 123994 clauses out of 248022 with flag 17122514/7865000
447.35/441.80	c cleaning 125004 clauses out of 250029 with flag 17397119/7991001
455.76/450.28	c cleaning 126004 clauses out of 252026 with flag 17673155/8118002
464.50/458.93	c cleaning 126996 clauses out of 254021 with flag 17952268/8246001
474.13/468.52	c cleaning 128002 clauses out of 256025 with flag 18233082/8375001
483.07/477.47	c cleaning 128998 clauses out of 258022 with flag 18515630/8505000
491.81/486.14	c cleaning 129999 clauses out of 260024 with flag 18798401/8636000
501.16/495.41	c cleaning 130997 clauses out of 262025 with flag 19086795/8768000
509.80/504.01	c cleaning 132005 clauses out of 264029 with flag 19375936/8901001
519.34/513.59	c cleaning 132996 clauses out of 266023 with flag 19667714/9035000
528.78/522.96	c cleaning 134005 clauses out of 268028 with flag 19960539/9170001
539.65/533.79	c cleaning 134997 clauses out of 270022 with flag 20255532/9306000
551.18/545.23	c cleaning 136005 clauses out of 272026 with flag 20553383/9443001
562.52/556.57	c cleaning 136998 clauses out of 274020 with flag 20853613/9581000
573.75/567.75	c cleaning 138000 clauses out of 276022 with flag 21156465/9720000
586.41/580.39	c cleaning 139000 clauses out of 278022 with flag 21459715/9860000
597.97/591.78	c cleaning 140000 clauses out of 280022 with flag 21766762/10001000
609.82/603.58	c cleaning 141000 clauses out of 282023 with flag 22075793/10143001
621.48/615.13	c cleaning 141999 clauses out of 284023 with flag 22387580/10286001
633.34/626.96	c cleaning 142997 clauses out of 286023 with flag 22702757/10430000
644.83/638.33	c cleaning 144000 clauses out of 288026 with flag 23019014/10575000
655.57/649.06	c cleaning 145001 clauses out of 290027 with flag 23336591/10721001
668.14/661.56	c cleaning 146000 clauses out of 292026 with flag 23656532/10868001
679.73/673.01	c cleaning 146995 clauses out of 294026 with flag 23978192/11016001
691.88/685.13	c cleaning 148002 clauses out of 296030 with flag 24300916/11165000
704.22/697.46	c cleaning 149003 clauses out of 298029 with flag 24629786/11315001
716.25/709.34	c cleaning 150003 clauses out of 300027 with flag 24960742/11466002
729.20/722.28	c cleaning 150999 clauses out of 302022 with flag 25292588/11618000
740.71/733.61	c cleaning 152000 clauses out of 304023 with flag 25626463/11771000
752.67/745.55	c cleaning 153002 clauses out of 306023 with flag 25964364/11925000
764.46/757.29	c cleaning 154001 clauses out of 308022 with flag 26303211/12080001
775.52/768.20	c cleaning 155001 clauses out of 310023 with flag 26643955/12236003
787.57/780.23	c cleaning 156001 clauses out of 312019 with flag 26987467/12393000
799.13/791.77	c cleaning 156995 clauses out of 314018 with flag 27333953/12551000
811.69/804.24	c cleaning 158004 clauses out of 316026 with flag 27681682/12710003
829.34/821.58	c cleaning 158999 clauses out of 318020 with flag 28032191/12870001
842.28/834.46	c cleaning 160001 clauses out of 320021 with flag 28383486/13031001
854.57/846.68	c cleaning 160997 clauses out of 322020 with flag 28737177/13193001
867.93/859.97	c cleaning 162001 clauses out of 324022 with flag 29094056/13356000
882.35/874.22	c cleaning 163004 clauses out of 326021 with flag 29451371/13520000
895.48/887.38	c cleaning 163998 clauses out of 328018 with flag 29811072/13685001
908.74/900.59	c cleaning 165001 clauses out of 330021 with flag 30172378/13851002
921.38/913.19	c cleaning 165998 clauses out of 332018 with flag 30536022/14018000
935.14/926.84	c cleaning 166995 clauses out of 334020 with flag 30900133/14186000
947.27/938.98	c cleaning 167999 clauses out of 336026 with flag 31267086/14355001
960.83/952.43	c cleaning 169002 clauses out of 338027 with flag 31636685/14525001
977.65/969.28	c cleaning 169995 clauses out of 340024 with flag 32010678/14696000
990.89/982.34	c cleaning 171007 clauses out of 342029 with flag 32382017/14868000
1005.16/996.51	c cleaning 171998 clauses out of 344022 with flag 32758530/15041000
1021.01/1012.33	c cleaning 172999 clauses out of 346024 with flag 33137295/15215000
1035.19/1026.49	c cleaning 174000 clauses out of 348027 with flag 33520083/15390002
1047.76/1038.95	c cleaning 175009 clauses out of 350026 with flag 33903075/15566001
1059.91/1051.00	c cleaning 175997 clauses out of 352016 with flag 34289927/15743000
1071.62/1062.67	c cleaning 176995 clauses out of 354019 with flag 34677523/15921000
1085.70/1076.68	c cleaning 177998 clauses out of 356025 with flag 35067921/16100001
1102.06/1092.90	c cleaning 179001 clauses out of 358027 with flag 35462659/16280001
1117.22/1108.07	c cleaning 180001 clauses out of 360025 with flag 35856631/16461000
1131.01/1121.76	c cleaning 181003 clauses out of 362027 with flag 36252785/16643003
1143.92/1134.54	c cleaning 182001 clauses out of 364021 with flag 36652480/16826000
1157.95/1148.50	c cleaning 182994 clauses out of 366021 with flag 37054781/17010001
1172.14/1162.67	c cleaning 183998 clauses out of 368026 with flag 37457760/17195000
1185.83/1176.21	c cleaning 185004 clauses out of 370029 with flag 37864822/17381001
1202.60/1192.99	c cleaning 186004 clauses out of 372024 with flag 38275314/17568000
1216.99/1207.20	c cleaning 186998 clauses out of 374021 with flag 38686901/17756001
1231.30/1221.47	c cleaning 187995 clauses out of 376022 with flag 39099786/17945000
1246.77/1236.81	c cleaning 189000 clauses out of 378028 with flag 39514067/18135001
1262.93/1252.98	c cleaning 190005 clauses out of 380027 with flag 39929662/18326000
1280.77/1270.65	c cleaning 191001 clauses out of 382023 with flag 40349206/18518001
1297.30/1287.05	c cleaning 192002 clauses out of 384021 with flag 40771331/18711000
1313.47/1302.80	c cleaning 193003 clauses out of 386019 with flag 41194634/18905000
1326.56/1315.88	c cleaning 193992 clauses out of 388017 with flag 41619215/19100001
1341.54/1330.71	c cleaning 194999 clauses out of 390024 with flag 42045277/19296000
1360.61/1349.76	c cleaning 196004 clauses out of 392026 with flag 42476101/19493001
1376.69/1365.74	c cleaning 196994 clauses out of 394022 with flag 42909262/19691001
1391.75/1380.68	c cleaning 197999 clauses out of 396027 with flag 43343010/19890000
1408.96/1397.74	c cleaning 199000 clauses out of 398028 with flag 43780519/20090000
1427.05/1415.72	c cleaning 199996 clauses out of 400028 with flag 44220868/20291000
1442.53/1431.14	c cleaning 201004 clauses out of 402032 with flag 44664443/20493000
1459.10/1447.60	c cleaning 202000 clauses out of 404029 with flag 45109171/20696001
1475.80/1464.25	c cleaning 203000 clauses out of 406029 with flag 45555845/20900001
1493.59/1481.51	c cleaning 204002 clauses out of 408030 with flag 46002659/21105002
1512.51/1500.38	c cleaning 204999 clauses out of 410027 with flag 46452966/21311001
1532.29/1520.09	c cleaning 206002 clauses out of 412028 with flag 46905776/21518001
1554.56/1542.27	c cleaning 207001 clauses out of 414025 with flag 47361086/21726000
1576.69/1564.21	c cleaning 208001 clauses out of 416024 with flag 47816845/21935000
1591.94/1579.14	c cleaning 208998 clauses out of 418023 with flag 48302557/22145000
1606.07/1593.11	c cleaning 210006 clauses out of 420026 with flag 48803166/22356001
1622.28/1609.26	c cleaning 211007 clauses out of 422019 with flag 49300423/22568000
1636.36/1622.85	c cleaning 212001 clauses out of 424013 with flag 49786491/22781001
1651.98/1638.35	c cleaning 213002 clauses out of 426012 with flag 50276995/22995001
1666.07/1652.35	c cleaning 213996 clauses out of 428009 with flag 50780706/23210000
1680.32/1666.42	c cleaning 214996 clauses out of 430014 with flag 51297103/23426001
1694.84/1680.88	c cleaning 216006 clauses out of 432017 with flag 51795786/23643000
1711.08/1696.99	c cleaning 216999 clauses out of 434011 with flag 52299267/23861000
1725.11/1710.80	c cleaning 218000 clauses out of 436012 with flag 52810107/24080000
1741.44/1726.75	c cleaning 218999 clauses out of 438014 with flag 53314795/24300002
1761.76/1746.91	c cleaning 219998 clauses out of 440014 with flag 53841822/24521001
1776.69/1761.72	c cleaning 220999 clauses out of 442016 with flag 54395233/24743001
1793.01/1777.95	c cleaning 222003 clauses out of 444017 with flag 54944455/24966001
1810.09/1794.92	c cleaning 222998 clauses out of 446013 with flag 55478968/25190000
1826.95/1811.62	c cleaning 224004 clauses out of 448016 with flag 56003610/25415001
1847.55/1832.16	c cleaning 225002 clauses out of 450011 with flag 56556608/25641000
1868.75/1852.81	c cleaning 225996 clauses out of 452009 with flag 57094403/25868000
1886.79/1870.71	c cleaning 227003 clauses out of 454015 with flag 57622595/26096002
1906.25/1890.07	c cleaning 228001 clauses out of 456010 with flag 58155538/26325000
1927.55/1911.28	c cleaning 229001 clauses out of 458011 with flag 58723242/26555002
1951.01/1934.05	c cleaning 229998 clauses out of 460008 with flag 59265823/26786000
1974.78/1957.67	c cleaning 230996 clauses out of 462010 with flag 59805408/27018000
1999.48/1982.27	c cleaning 231995 clauses out of 464014 with flag 60350913/27251000
2018.54/2001.12	c cleaning 233006 clauses out of 466019 with flag 60883211/27485000
2038.55/2021.10	c cleaning 234005 clauses out of 468016 with flag 61418881/27720003
2062.69/2044.77	c cleaning 235002 clauses out of 470008 with flag 61956239/27956000
2086.55/2068.43	c cleaning 236000 clauses out of 472008 with flag 62496244/28193002
2108.97/2090.74	c cleaning 236999 clauses out of 474007 with flag 63049172/28431001
2130.40/2112.02	c cleaning 237996 clauses out of 476008 with flag 63615785/28670001
2151.73/2133.23	c cleaning 239004 clauses out of 478011 with flag 64161290/28910000
2171.20/2152.14	c cleaning 239997 clauses out of 480008 with flag 64712286/29151001
2191.01/2171.81	c cleaning 241002 clauses out of 482010 with flag 65266173/29393000
2212.42/2193.18	c cleaning 242001 clauses out of 484009 with flag 65825467/29636001
2234.15/2214.70	c cleaning 242997 clauses out of 486008 with flag 66400152/29880001
2260.88/2241.37	c cleaning 244000 clauses out of 488010 with flag 66994508/30125000
2285.74/2265.64	c cleaning 245002 clauses out of 490010 with flag 67589321/30371000
2316.52/2296.39	c cleaning 246000 clauses out of 492008 with flag 68182460/30618000
2343.87/2323.55	c cleaning 247002 clauses out of 494008 with flag 68781663/30866000
2369.05/2348.54	c cleaning 247995 clauses out of 496007 with flag 69374457/31115001
2393.52/2372.43	c cleaning 249000 clauses out of 498011 with flag 69932289/31365000
2417.10/2395.85	c cleaning 249999 clauses out of 500011 with flag 70488191/31616000
2441.77/2420.31	c cleaning 251000 clauses out of 502012 with flag 71047495/31868000
2470.16/2448.69	c cleaning 252003 clauses out of 504012 with flag 71609317/32121000
2493.61/2471.58	c cleaning 252995 clauses out of 506010 with flag 72174935/32375001
2517.44/2495.27	c cleaning 254002 clauses out of 508015 with flag 72741404/32630001
2545.41/2523.16	c cleaning 254999 clauses out of 510013 with flag 73312669/32886001
2572.24/2549.90	c cleaning 256000 clauses out of 512013 with flag 73892871/33143000
2593.72/2570.50	c cleaning 257004 clauses out of 514013 with flag 74467761/33401000
2612.88/2589.59	c cleaning 257999 clauses out of 516009 with flag 75048534/33660000
2634.54/2611.05	c cleaning 258998 clauses out of 518011 with flag 75632822/33920001
2656.39/2632.70	c cleaning 260000 clauses out of 520013 with flag 76217839/34181001
2683.11/2658.97	c cleaning 261002 clauses out of 522012 with flag 76805315/34443000
2707.34/2683.01	c cleaning 262000 clauses out of 524011 with flag 77391669/34706001
2731.94/2707.56	c cleaning 263001 clauses out of 526010 with flag 77985328/34970000
2758.20/2733.67	c cleaning 263994 clauses out of 528009 with flag 78579064/35235000
2786.85/2761.64	c cleaning 265002 clauses out of 530016 with flag 79173193/35501001
2810.41/2785.02	c cleaning 266001 clauses out of 532013 with flag 79777561/35768000
2833.87/2808.35	c cleaning 267000 clauses out of 534013 with flag 80377082/36036001
2859.50/2833.88	c cleaning 267999 clauses out of 536012 with flag 80981354/36305000
2882.88/2856.61	c cleaning 268998 clauses out of 538013 with flag 81584920/36575000
2907.97/2881.50	c cleaning 270004 clauses out of 540016 with flag 82188198/36846001
2931.13/2904.52	c cleaning 270998 clauses out of 542012 with flag 82801736/37118001
2959.08/2932.33	c cleaning 272002 clauses out of 544014 with flag 83413614/37391001
2987.40/2960.15	c cleaning 273007 clauses out of 546013 with flag 84024575/37665002
3011.78/2984.34	c cleaning 273998 clauses out of 548004 with flag 84641837/37940000
3037.91/3010.38	c cleaning 274998 clauses out of 550006 with flag 85253768/38216000
3070.35/3042.25	c cleaning 275997 clauses out of 552008 with flag 85921804/38493000
3100.85/3072.65	c cleaning 276997 clauses out of 554011 with flag 86580041/38771000
3129.42/3101.02	c cleaning 278003 clauses out of 556014 with flag 87230961/39050000
3158.06/3129.50	c cleaning 278998 clauses out of 558012 with flag 87885553/39330001
3183.08/3154.03	c cleaning 280005 clauses out of 560013 with flag 88547900/39611000
3214.54/3185.31	c cleaning 280997 clauses out of 562008 with flag 89206151/39893000
3249.33/3219.96	c cleaning 282002 clauses out of 564011 with flag 89895798/40176000
3281.38/3251.38	c cleaning 282999 clauses out of 566009 with flag 90602834/40460000
3310.06/3279.88	c cleaning 283998 clauses out of 568011 with flag 91294069/40745001
3338.40/3308.02	c cleaning 285002 clauses out of 570012 with flag 92002215/41031000
3370.75/3339.88	c cleaning 286003 clauses out of 572010 with flag 92765192/41318000
3402.61/3371.55	c cleaning 287004 clauses out of 574007 with flag 93467236/41606000
3433.35/3402.13	c cleaning 287994 clauses out of 576003 with flag 94138682/41895000
3467.75/3435.70	c cleaning 288997 clauses out of 578009 with flag 94806627/42185000
3504.91/3472.70	c cleaning 290001 clauses out of 580012 with flag 95482355/42476000
3546.07/3513.79	c cleaning 291004 clauses out of 582012 with flag 96156931/42768001
3584.60/3552.13	c cleaning 291999 clauses out of 584007 with flag 96845002/43061000
3600.02/3567.01	c starts		: 2
3600.02/3567.02	c conflicts		: 43227578
3600.02/3567.02	c decisions		: 64503067
3600.02/3567.02	c propagations		: 700067770
3600.02/3567.02	c inspects		: 21540630212
3600.02/3567.02	c shortcuts		: 0
3600.02/3567.02	c learnt literals	: 0
3600.02/3567.02	c learnt binary clauses	: 0
3600.02/3567.02	c learnt ternary clauses	: 0
3600.02/3567.02	c learnt constraints	: 43227578
3600.02/3567.02	c ignored constraints	: 0
3600.02/3567.02	c root simplifications	: 0
3600.02/3567.02	c removed literals (reason simplification)	: 27914280
3600.02/3567.02	c reason swapping (by a shorter reason)	: 0
3600.02/3567.02	c Calls to reduceDB	: 289
3600.02/3567.02	c Number of update (reduction) of LBD	: 3066012
3600.02/3567.02	c Imported unit clauses	: 0
3600.02/3567.02	c No decision after first conflict	: false
3600.02/3567.02	c number of reductions to clauses (during analyze)	: 0
3600.02/3567.02	c number of learned constraints concerned by reduction	: 0
3600.02/3567.02	c number of learning phase by resolution	: 0
3600.02/3567.02	c number of learning phase by cutting planes	: 0
3600.02/3567.02	c number of rounding to 1 operations	: 0
3600.02/3567.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3567.02	c number of reductions of the coefficients by power 2 	: 0
3600.02/3567.02	c number of right shift for reduction by power 2 	: 0
3600.02/3567.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3567.02	c number of ending skipping 	: 0
3600.02/3567.02	c number of internal skipping 	: 0
3600.02/3567.02	c number of derivation steps 	: 0
3600.02/3567.02	c number of skipped derivation steps 	: 0
3600.02/3567.02	c number of remaining unassigned 	: 0
3600.02/3567.02	c number of remaining assigned 	: 0
3600.02/3567.02	c number of falsified literals weakened from reason	: 0
3600.02/3567.02	c number of falsified literals weakened from conflict	: 0
3600.02/3567.02	c time for arithmetic operations	: 0
3600.02/3567.02	c minimum degree of deleted constraints	: null
3600.02/3567.02	c maximum degree of deleted constraints	: null
3600.02/3567.02	c number of deleted constraints	: 0
3600.02/3567.02	c speed (assignments/second)	: 196270.09926660964
3600.02/3567.02	c non guided choices	: 121
3600.02/3567.03	c timeout
3600.02/3567.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 458586
3600.02/3567.09	s UNKNOWN
3600.02/3567.09	c Total wall clock time (in seconds): 3566.965

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: 63665 MiB (49392 MiB free)
  memory of node 1: 64507 MiB (63342 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543135-1753224820/watcher-4543135-1753224820 -o /tmp/evaluation-result-4543135-1753224820/solver-4543135-1753224820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753221228-170145 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543135-1753224820 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543135-1753224820.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10006 s]*
/proc/loadavg: 4.07 4.18 4.17 5/338 170751
/proc/meminfo: memFree=115405504/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=18930384 memory=57804 CPUtime=0.13 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 6601 0 0 0 10 3 0 0 20 0 18 0 238159862 19384713216 14451 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4732596 14451 5339 1 0 547639 0
[pid=170733/tid=170735] ppid=170730 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 5091 0 0 0 6 1 0 0 20 0 18 0 238159864 19384713216 14451 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238159866 19384713216 14451 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=18930384 memory=59585004324181 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 238159866 19384713216 14451 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57804 KiB

[startup+0.205895 s]*
/proc/loadavg: 4.07 4.18 4.17 8/339 170752
/proc/meminfo: memFree=115396764/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=18996948 memory=64372 CPUtime=0.32 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 7131 0 0 0 29 3 0 0 20 0 19 0 238159862 19452874752 16093 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4749237 16093 5435 1 0 548297 0
[pid=170733/tid=170735] ppid=170730 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 5336 0 0 0 16 1 0 0 20 0 19 0 238159864 19452874752 16093 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=18996948 memory=18954 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238159866 19452874752 16093 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=18996948 memory=58485492679654 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 238159866 19452874752 16093 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238159879 19452874752 16093 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64372 KiB

[startup+0.305911 s]*
/proc/loadavg: 4.07 4.18 4.17 10/339 170752
/proc/meminfo: memFree=115343076/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=18996948 memory=78460 CPUtime=0.52 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 9007 0 0 0 48 4 0 0 20 0 19 0 238159862 19452874752 19615 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4749237 19615 5467 1 0 549077 0
[pid=170733/tid=170735] ppid=170730 vsize=18996948 memory=-9176756507962548924 CPUtime=0.24 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 5353 0 0 0 22 2 0 0 20 0 19 0 238159864 19452874752 19615 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238159866 19452874752 19615 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 238159866 19452874752 19647 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238159879 19452874752 19647 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78460 KiB

[startup+0.700243 s]
/proc/loadavg: 4.07 4.18 4.17 6/339 170752
/proc/meminfo: memFree=115290208/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=166456 CPUtime=1.28 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 12512 0 0 0 121 7 0 0 20 0 20 0 238159862 19521036288 41614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 41614 5467 1 0 551682 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=27264 CPUtime=0.57 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 5451 0 0 0 53 4 0 0 20 0 20 0 238159864 19521036288 41614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 41614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 41614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 41614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166456 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.18 4.17 6/340 170753
/proc/meminfo: memFree=115239736/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=172580 CPUtime=2.87 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 18723 0 0 0 278 9 0 0 20 0 20 0 238159862 19521036288 43145 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 43145 5467 1 0 552592 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=0 CPUtime=1.34 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 5880 0 0 0 129 5 0 0 20 0 20 0 238159864 19521036288 43145 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 43145 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 43145 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=4756 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 43145 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172580 KiB

[startup+3.1059 s]
/proc/loadavg: 4.15 4.19 4.18 5/340 170753
/proc/meminfo: memFree=114685012/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=670876 CPUtime=5.15 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 21034 0 0 0 492 23 0 0 20 0 20 0 238159862 19521036288 167719 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 167719 5467 1 0 552594 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=10752 CPUtime=2.92 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 6736 0 0 0 274 18 0 0 20 0 20 0 238159864 19521036288 167719 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=-9176756507962548924 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 167719 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 167719 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 167719 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 670876 KiB

[startup+6.30019 s]
/proc/loadavg: 4.15 4.19 4.18 5/340 170753
/proc/meminfo: memFree=114136352/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=1028964 CPUtime=8.42 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 21565 0 0 0 805 37 0 0 20 0 20 0 238159862 19521036288 257241 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 257241 5467 1 0 552595 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=0 CPUtime=6.08 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 7103 0 0 0 577 31 0 0 20 0 20 0 238159864 19521036288 257241 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 257241 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 257241 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=172708 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 257241 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1028964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.19 4.18 6/340 170753
/proc/meminfo: memFree=113683696/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=1317760 CPUtime=14.83 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 24478 0 0 0 1430 53 0 0 20 0 20 0 238159862 19521036288 329440 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 329440 5467 1 0 552595 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=172708 CPUtime=12.42 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 8210 0 0 0 1195 47 0 0 20 0 20 0 238159864 19521036288 329440 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=1315708 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 329440 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 329440 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 329440 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1317760 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.19 4.18 5/340 170755
/proc/meminfo: memFree=113248656/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=1340296 CPUtime=27.7 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 27313 0 0 0 2699 71 0 0 20 0 20 0 238159862 19521036288 335074 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 335074 5467 1 0 552595 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=1315708 CPUtime=25.08 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 9158 0 0 0 2444 64 0 0 20 0 20 0 238159864 19521036288 335074 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 335074 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=-9176756507962548924 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 335074 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 335074 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 27.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1340296 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.19 4.18 5/340 170755
/proc/meminfo: memFree=112331704/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=1356832 CPUtime=53.43 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 29714 0 0 0 5232 111 0 0 20 0 20 0 238159862 19521036288 339208 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0

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

/proc/meminfo: memFree=63496436/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2065944 CPUtime=3191.44 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 117279 0 0 0 316419 2725 0 0 20 0 20 0 238159862 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516486 5499 1 0 529290 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2065944 CPUtime=3126.2 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 47193 0 0 0 310020 2600 0 0 20 0 20 0 238159864 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2159764 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=2065944 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1265 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=2065944 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3191.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2065944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.28 4.32 4.34 5/343 171000
/proc/meminfo: memFree=62684236/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2065944 CPUtime=3251.74 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 117389 0 0 0 322417 2757 0 0 20 0 20 0 238159862 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516486 5499 1 0 529296 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2159764 CPUtime=3185.62 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 47226 0 0 0 315930 2632 0 0 20 0 20 0 238159864 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2065944 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1300 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516486 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3251.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2065944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.32 4.34 5/343 171002
/proc/meminfo: memFree=61850056/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2066072 CPUtime=3312.57 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 118773 0 0 0 328464 2793 0 0 20 0 20 0 238159862 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516518 5499 1 0 529323 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2066072 CPUtime=3244.97 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 48023 0 0 0 321831 2666 0 0 20 0 20 0 238159864 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2159764 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1300 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3312.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2066072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.58 4.39 4.36 5/342 171004
/proc/meminfo: memFree=61021720/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2066072 CPUtime=3373.25 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 119536 0 0 0 334495 2830 0 0 20 0 20 0 238159862 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516518 5499 1 0 529323 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2159764 CPUtime=3304.33 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 48647 0 0 0 327732 2701 0 0 20 0 20 0 238159864 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1300 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3373.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2066072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.36 4.36 6/339 171013
/proc/meminfo: memFree=60205000/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2066072 CPUtime=3433.54 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 121038 0 0 0 340487 2867 0 0 20 0 20 0 238159862 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516518 5499 1 0 529323 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2159764 CPUtime=3363.76 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 49595 0 0 0 333639 2737 0 0 20 0 20 0 238159864 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1359 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516518 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3433.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2066072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.39 4.37 4.36 5/339 171014
/proc/meminfo: memFree=59108444/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2066456 CPUtime=3494.53 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 123911 0 0 0 346546 2907 0 0 20 0 20 0 238159862 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516614 5499 1 0 529387 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2159764 CPUtime=3423.11 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 51412 0 0 0 339537 2774 0 0 20 0 20 0 238159864 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2066072 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1418 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3494.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2066456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.36 4.36 5/339 171148
/proc/meminfo: memFree=66205728/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2066456 CPUtime=3554.68 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 123927 0 0 0 352534 2934 0 0 20 0 20 0 238159862 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516614 5499 1 0 529387 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=2066456 CPUtime=3482.71 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 51412 0 0 0 345471 2800 0 0 20 0 20 0 238159864 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=2159764 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=14676 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=2066456 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3554.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2066456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3567 s]*
/proc/loadavg: 4.50 4.39 4.37 5/342 171219
/proc/meminfo: memFree=68156360/131249996 swapFree=33010672/33010684
[pid=170733] ppid=170730 vsize=19063512 memory=2066456 CPUtime=3600.02 cores=5,7
/proc/170733/stat : 170733 (java) S 170730 170733 170132 0 -1 4194304 124072 0 0 0 357047 2955 0 0 20 0 20 0 238159862 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
/proc/170733/statm: 4765878 516614 5499 1 0 529387 0
[pid=170733/tid=170735] ppid=170730 vsize=19063512 memory=-8742728686649516732 CPUtime=3526.98 cores=5,7
/proc/170733/task/170735/stat : 170735 (java) R 170730 170733 170132 0 -1 4194368 51542 0 0 0 349878 2820 0 0 20 0 20 0 238159864 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170744] ppid=170730 vsize=19063512 memory=9216 CPUtime=0 cores=5,7
/proc/170733/task/170744/stat : 170744 (Finalizer) S 170730 170733 170132 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170751] ppid=170730 vsize=19063512 memory=9344 CPUtime=0 cores=5,7
/proc/170733/task/170751/stat : 170751 (Common-Cleaner) S 170730 170733 170132 0 -1 4194368 1419 0 0 0 0 0 0 0 20 0 20 0 238159866 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
[pid=170733/tid=170752] ppid=170730 vsize=19063512 memory=26648 CPUtime=0 cores=5,7
/proc/170733/task/170752/stat : 170752 (Timer-0) S 170730 170733 170132 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238159879 19521036288 516614 18446744073709551615 94792407678976 94792407682672 140722053284384 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94792407690488 94792407691280 94792420941824 140722053286228 140722053286372 140722053286372 140722053291976 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2066456 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.59 s, system=29.5702 s

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

Child status: 143

Real time (s): 3567.11
CPU time (s): 3600.17
CPU user time (s): 3570.59
CPU system time (s): 29.5702
CPU usage (%): 100.927
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2163436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.59
system time used= 29.5702
maximum resident set size= 2163436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40189472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141696
involuntary context switches= 12485


# summary of solver processes directly reported to runsolver:
#   pid: 170733
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3570.59
#   total CPU system time (s): 29.5702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73837 second user time and 17.5278 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-23 00:53:40
IDJOB=4543135
IDBENCH=172050
IDSOLVER=3364
FILE ID=nodeC024/4543135-1753224820
RUNJOBID= nodeC024-1753221228-170145
SLURM_JOB_ID= 9687809
Free space on /tmp= 424784 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543135-1753224820/watcher-4543135-1753224820 -o /tmp/evaluation-result-4543135-1753224820/solver-4543135-1753224820 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753221228-170145 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543135-1753224820 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543135-1753224820.opb

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

MD5SUM BENCH= e7c556b1908613934f20d4f7eb665474
RANDOM SEED=2132359891

nodeC024 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.657
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.36
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		: 3599.701
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.204
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.36
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		: 3498.558
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.36
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.668
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.36
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.736
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.36
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		: 3601.348
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.36
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		: 3481.483
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115444980 kB
MemAvailable:   122185584 kB
Buffers:            2128 kB
Cached:          7495928 kB
SwapCached:            8 kB
Active:          8728780 kB
Inactive:        6368616 kB
Active(anon):    7624084 kB
Inactive(anon):     1588 kB
Active(file):    1104696 kB
Inactive(file):  6367028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            132720 kB
Writeback:            32 kB
AnonPages:       7599452 kB
Mapped:           128676 kB
Shmem:             26248 kB
KReclaimable:     215836 kB
Slab:             312320 kB
SReclaimable:     215836 kB
SUnreclaim:        96484 kB
KernelStack:        5184 kB
PageTables:        18468 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   14289592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151416 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7385088 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 383648 MiB
End job on nodeC024 at 2025-07-23 01:53:07