Trace number 4543134

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 2025-06-06? (TO) 3600.22 3594.71

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.10	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4543134-1753224118.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  no objective function found
0.10/0.17	c ... done. Wall clock time 0.029s.
0.10/0.17	c declared #vars     252
0.10/0.17	c #constraints  253
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.10/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 252
0.10/0.17	c 253 constraints processed.
0.69/0.44	c cleaning 2492 clauses out of 5001 with flag 10629/5001
1.07/0.68	c cleaning 4247 clauses out of 8508 with flag 23458/11000
1.45/0.82	c cleaning 5623 clauses out of 11262 with flag 38580/18001
1.65/0.96	c cleaning 6812 clauses out of 13639 with flag 55979/26001
1.79/1.10	c cleaning 7905 clauses out of 15828 with flag 75441/35002
2.01/1.27	c cleaning 8956 clauses out of 17923 with flag 97040/45002
2.26/1.47	c cleaning 9973 clauses out of 19965 with flag 120807/56000
2.46/1.68	c cleaning 10984 clauses out of 21992 with flag 146617/68000
2.76/1.90	c cleaning 11997 clauses out of 24008 with flag 174470/81000
2.97/2.16	c cleaning 12998 clauses out of 26011 with flag 204297/95000
3.27/2.43	c cleaning 13996 clauses out of 28013 with flag 236804/110000
3.57/2.70	c cleaning 14999 clauses out of 30018 with flag 271203/126001
3.91/3.01	c cleaning 15999 clauses out of 32018 with flag 307965/143000
4.22/3.36	c cleaning 17003 clauses out of 34021 with flag 346589/161002
4.62/3.74	c cleaning 17995 clauses out of 36016 with flag 387553/180000
5.03/4.14	c cleaning 18998 clauses out of 38021 with flag 430471/200000
5.42/4.56	c cleaning 20005 clauses out of 40024 with flag 475857/221001
5.93/5.03	c cleaning 20998 clauses out of 42019 with flag 523001/243001
6.42/5.56	c cleaning 22001 clauses out of 44021 with flag 571907/266001
7.04/6.14	c cleaning 23001 clauses out of 46021 with flag 623116/290002
7.53/6.69	c cleaning 23999 clauses out of 48019 with flag 676702/315001
8.23/7.31	c cleaning 24999 clauses out of 50019 with flag 732497/341000
8.83/7.94	c cleaning 26001 clauses out of 52021 with flag 790815/368001
9.63/8.75	c cleaning 27001 clauses out of 54020 with flag 850598/396001
10.47/9.51	c cleaning 27999 clauses out of 56019 with flag 912875/425001
11.27/10.33	c cleaning 28999 clauses out of 58020 with flag 977349/455001
12.16/11.21	c cleaning 30002 clauses out of 60020 with flag 1043597/486000
12.97/12.10	c cleaning 30993 clauses out of 62018 with flag 1111836/518000
13.89/12.96	c cleaning 31999 clauses out of 64025 with flag 1182255/551000
14.79/13.86	c cleaning 33002 clauses out of 66026 with flag 1254567/585000
15.89/14.93	c cleaning 34005 clauses out of 68025 with flag 1330639/620001
16.88/15.91	c cleaning 35003 clauses out of 70019 with flag 1407377/656000
18.12/17.13	c cleaning 36000 clauses out of 72016 with flag 1486887/693000
19.11/18.17	c cleaning 36997 clauses out of 74017 with flag 1568734/731001
20.31/19.34	c cleaning 38001 clauses out of 76019 with flag 1653102/770000
21.74/20.71	c cleaning 39001 clauses out of 78018 with flag 1739920/810000
23.04/22.01	c cleaning 39998 clauses out of 80018 with flag 1829343/851001
24.24/23.23	c cleaning 40997 clauses out of 82019 with flag 1920410/893000
25.44/24.43	c cleaning 42001 clauses out of 84023 with flag 2013508/936001
26.74/25.72	c cleaning 42997 clauses out of 86021 with flag 2109309/980000
28.24/27.22	c cleaning 44001 clauses out of 88024 with flag 2206274/1025000
29.64/28.65	c cleaning 45005 clauses out of 90024 with flag 2305424/1071001
31.17/30.17	c cleaning 46002 clauses out of 92018 with flag 2407014/1118000
32.76/31.77	c cleaning 47002 clauses out of 94017 with flag 2511056/1166001
34.37/33.31	c cleaning 47997 clauses out of 96015 with flag 2616883/1215001
35.97/34.94	c cleaning 48997 clauses out of 98017 with flag 2725200/1265000
37.56/36.58	c cleaning 50000 clauses out of 100021 with flag 2835714/1316001
39.50/38.47	c cleaning 51001 clauses out of 102020 with flag 2948600/1368000
41.20/40.11	c cleaning 52000 clauses out of 104019 with flag 3063178/1421000
42.89/41.87	c cleaning 53003 clauses out of 106020 with flag 3179690/1475001
45.32/44.28	c cleaning 53996 clauses out of 108016 with flag 3297875/1530000
47.51/46.40	c cleaning 54999 clauses out of 110020 with flag 3418562/1586000
49.54/48.46	c cleaning 56001 clauses out of 112022 with flag 3541235/1643001
52.14/51.05	c cleaning 56997 clauses out of 114020 with flag 3665484/1701000
54.83/53.74	c cleaning 58000 clauses out of 116023 with flag 3792367/1760000
57.25/56.14	c cleaning 58997 clauses out of 118024 with flag 3920614/1820001
59.94/58.89	c cleaning 60001 clauses out of 120026 with flag 4050948/1881000
62.24/61.12	c cleaning 61007 clauses out of 122026 with flag 4185530/1943001
64.14/63.05	c cleaning 61996 clauses out of 124018 with flag 4323260/2006000
66.52/65.47	c cleaning 63002 clauses out of 126022 with flag 4462708/2070000
69.12/68.06	c cleaning 63997 clauses out of 128020 with flag 4604353/2135000
71.12/70.02	c cleaning 65003 clauses out of 130023 with flag 4749153/2201000
73.51/72.42	c cleaning 66000 clauses out of 132021 with flag 4897113/2268001
76.11/75.03	c cleaning 67000 clauses out of 134020 with flag 5046173/2336000
78.70/77.64	c cleaning 68001 clauses out of 136020 with flag 5198002/2405000
81.11/80.01	c cleaning 68995 clauses out of 138020 with flag 5352378/2475001
83.49/82.45	c cleaning 70006 clauses out of 140024 with flag 5507966/2546000
86.20/85.12	c cleaning 70997 clauses out of 142018 with flag 5665577/2618000
88.98/87.94	c cleaning 71998 clauses out of 144021 with flag 5826181/2691000
91.38/90.34	c cleaning 72999 clauses out of 146023 with flag 5989372/2765000
94.20/93.05	c cleaning 73999 clauses out of 148025 with flag 6154031/2840001
97.09/95.92	c cleaning 75000 clauses out of 150025 with flag 6321257/2916000
100.08/98.93	c cleaning 76000 clauses out of 152026 with flag 6490648/2993001
103.18/102.07	c cleaning 76998 clauses out of 154025 with flag 6661845/3071000
106.36/105.26	c cleaning 78003 clauses out of 156027 with flag 6835432/3150000
110.01/108.87	c cleaning 79005 clauses out of 158024 with flag 7011615/3230000
113.31/112.10	c cleaning 79995 clauses out of 160020 with flag 7190863/3311001
116.20/115.10	c cleaning 81005 clauses out of 162025 with flag 7371564/3393001
119.29/118.14	c cleaning 81997 clauses out of 164019 with flag 7554204/3476000
122.66/121.42	c cleaning 83001 clauses out of 166023 with flag 7738296/3560001
126.65/125.47	c cleaning 84002 clauses out of 168022 with flag 7925615/3645001
130.05/128.80	c cleaning 85000 clauses out of 170020 with flag 8113926/3731001
134.04/132.82	c cleaning 86001 clauses out of 172020 with flag 8305112/3818001
137.64/136.43	c cleaning 87002 clauses out of 174019 with flag 8497428/3906001
141.77/140.52	c cleaning 87992 clauses out of 176016 with flag 8693238/3995000
145.96/144.76	c cleaning 89002 clauses out of 178025 with flag 8890565/4085001
149.95/148.70	c cleaning 89996 clauses out of 180022 with flag 9091047/4176000
153.76/152.50	c cleaning 91000 clauses out of 182026 with flag 9293108/4268000
157.15/155.88	c cleaning 92006 clauses out of 184027 with flag 9497102/4361001
161.24/159.95	c cleaning 93002 clauses out of 186021 with flag 9702250/4455001
165.34/164.02	c cleaning 93998 clauses out of 188018 with flag 9909466/4550000
169.22/167.93	c cleaning 95002 clauses out of 190023 with flag 10119147/4646003
173.80/172.12	c cleaning 96000 clauses out of 192018 with flag 10331037/4743000
178.28/176.62	c cleaning 97000 clauses out of 194019 with flag 10544891/4841001
182.87/181.22	c cleaning 97999 clauses out of 196019 with flag 10760756/4940001
187.36/185.72	c cleaning 98999 clauses out of 198019 with flag 10978281/5040000
193.22/191.56	c cleaning 100002 clauses out of 200022 with flag 11197850/5141002
197.81/196.12	c cleaning 100998 clauses out of 202019 with flag 11419441/5243001
203.59/201.90	c cleaning 101997 clauses out of 204020 with flag 11644129/5346000
208.88/207.26	c cleaning 103000 clauses out of 206025 with flag 11868579/5450002
214.53/212.88	c cleaning 104001 clauses out of 208024 with flag 12096693/5555001
220.61/218.97	c cleaning 104999 clauses out of 210022 with flag 12327339/5661000
226.40/224.78	c cleaning 105997 clauses out of 212023 with flag 12560728/5768000
233.58/231.99	c cleaning 107000 clauses out of 214026 with flag 12795848/5876000
238.27/236.63	c cleaning 108004 clauses out of 216026 with flag 13031531/5985000
243.30/241.62	c cleaning 109004 clauses out of 218024 with flag 13271718/6095002
248.19/246.57	c cleaning 110000 clauses out of 220018 with flag 13515185/6206000
252.78/251.12	c cleaning 110998 clauses out of 222018 with flag 13759888/6318000
257.77/256.16	c cleaning 112001 clauses out of 224020 with flag 14006100/6431000
263.45/261.85	c cleaning 112996 clauses out of 226020 with flag 14254378/6545001
268.78/267.14	c cleaning 114005 clauses out of 228025 with flag 14503541/6660002
274.26/272.67	c cleaning 115002 clauses out of 230021 with flag 14755826/6776003
279.75/278.19	c cleaning 115997 clauses out of 232016 with flag 15011060/6893000
286.23/284.66	c cleaning 116999 clauses out of 234019 with flag 15266744/7011000
291.72/290.13	c cleaning 117997 clauses out of 236020 with flag 15524140/7130000
297.10/295.50	c cleaning 119002 clauses out of 238024 with flag 15785177/7250001
302.69/301.13	c cleaning 120002 clauses out of 240021 with flag 16049225/7371000
308.68/307.14	c cleaning 120993 clauses out of 242020 with flag 16314346/7493001
315.62/314.03	c cleaning 122001 clauses out of 244026 with flag 16581148/7616000
323.30/321.73	c cleaning 123003 clauses out of 246026 with flag 16851100/7740001
329.60/328.09	c cleaning 123994 clauses out of 248022 with flag 17122514/7865000
336.48/334.99	c cleaning 125004 clauses out of 250029 with flag 17397119/7991001
343.17/341.63	c cleaning 126004 clauses out of 252026 with flag 17673155/8118002
349.95/348.40	c cleaning 126996 clauses out of 254021 with flag 17952268/8246001
357.64/356.13	c cleaning 128002 clauses out of 256025 with flag 18233082/8375001
364.63/363.19	c cleaning 128998 clauses out of 258022 with flag 18515630/8505000
371.59/370.01	c cleaning 129999 clauses out of 260024 with flag 18798401/8636000
378.97/377.44	c cleaning 130997 clauses out of 262025 with flag 19086795/8768000
385.86/384.34	c cleaning 132005 clauses out of 264029 with flag 19375936/8901001
393.55/392.01	c cleaning 132996 clauses out of 266023 with flag 19667714/9035000
401.03/399.50	c cleaning 134005 clauses out of 268028 with flag 19960539/9170001
409.91/408.40	c cleaning 134997 clauses out of 270022 with flag 20255532/9306000
419.39/417.91	c cleaning 136005 clauses out of 272026 with flag 20553383/9443001
428.77/427.35	c cleaning 136998 clauses out of 274020 with flag 20853613/9581000
437.85/436.47	c cleaning 138000 clauses out of 276022 with flag 21156465/9720000
448.44/447.07	c cleaning 139000 clauses out of 278022 with flag 21459715/9860000
457.91/456.44	c cleaning 140000 clauses out of 280022 with flag 21766762/10001000
467.60/466.18	c cleaning 141000 clauses out of 282023 with flag 22075793/10143001
477.18/475.73	c cleaning 141999 clauses out of 284023 with flag 22387580/10286001
486.85/485.45	c cleaning 142997 clauses out of 286023 with flag 22702757/10430000
496.37/494.80	c cleaning 144000 clauses out of 288026 with flag 23019014/10575000
504.95/503.43	c cleaning 145001 clauses out of 290027 with flag 23336591/10721001
515.13/513.67	c cleaning 146000 clauses out of 292026 with flag 23656532/10868001
524.41/522.90	c cleaning 146995 clauses out of 294026 with flag 23978192/11016001
534.29/532.84	c cleaning 148002 clauses out of 296030 with flag 24300916/11165000
544.53/543.06	c cleaning 149003 clauses out of 298029 with flag 24629786/11315001
554.10/552.68	c cleaning 150003 clauses out of 300027 with flag 24960742/11466002
564.88/563.48	c cleaning 150999 clauses out of 302022 with flag 25292588/11618000
574.07/572.64	c cleaning 152000 clauses out of 304023 with flag 25626463/11771000
583.95/582.54	c cleaning 153002 clauses out of 306023 with flag 25964364/11925000
594.28/592.23	c cleaning 154001 clauses out of 308022 with flag 26303211/12080001
602.96/600.96	c cleaning 155001 clauses out of 310023 with flag 26643955/12236003
612.85/610.83	c cleaning 156001 clauses out of 312019 with flag 26987467/12393000
622.13/620.17	c cleaning 156995 clauses out of 314018 with flag 27333953/12551000
632.41/630.44	c cleaning 158004 clauses out of 316026 with flag 27681682/12710003
647.43/645.48	c cleaning 158999 clauses out of 318020 with flag 28032191/12870001
657.91/656.00	c cleaning 160001 clauses out of 320021 with flag 28383486/13031001
667.88/665.94	c cleaning 160997 clauses out of 322020 with flag 28737177/13193001
678.86/676.90	c cleaning 162001 clauses out of 324022 with flag 29094056/13356000
690.73/688.89	c cleaning 163004 clauses out of 326021 with flag 29451371/13520000
701.70/699.81	c cleaning 163998 clauses out of 328018 with flag 29811072/13685001
712.58/710.62	c cleaning 165001 clauses out of 330021 with flag 30172378/13851002
722.76/720.82	c cleaning 165998 clauses out of 332018 with flag 30536022/14018000
733.94/732.01	c cleaning 166995 clauses out of 334020 with flag 30900133/14186000
743.62/741.77	c cleaning 167999 clauses out of 336026 with flag 31267086/14355001
754.69/752.82	c cleaning 169002 clauses out of 338027 with flag 31636685/14525001
768.97/767.15	c cleaning 169995 clauses out of 340024 with flag 32010678/14696000
779.53/777.73	c cleaning 171007 clauses out of 342029 with flag 32382017/14868000
791.39/789.50	c cleaning 171998 clauses out of 344022 with flag 32758530/15041000
804.75/802.90	c cleaning 172999 clauses out of 346024 with flag 33137295/15215000
816.52/814.78	c cleaning 174000 clauses out of 348027 with flag 33520083/15390002
826.59/824.82	c cleaning 175009 clauses out of 350026 with flag 33903075/15566001
836.07/834.37	c cleaning 175997 clauses out of 352016 with flag 34289927/15743000
845.35/843.60	c cleaning 176995 clauses out of 354019 with flag 34677523/15921000
856.73/854.91	c cleaning 177998 clauses out of 356025 with flag 35067921/16100001
870.41/868.63	c cleaning 179001 clauses out of 358027 with flag 35462659/16280001
882.98/881.21	c cleaning 180001 clauses out of 360025 with flag 35856631/16461000
894.06/892.33	c cleaning 181003 clauses out of 362027 with flag 36252785/16643003
904.24/902.53	c cleaning 182001 clauses out of 364021 with flag 36652480/16826000
915.83/914.04	c cleaning 182994 clauses out of 366021 with flag 37054781/17010001
927.20/925.48	c cleaning 183998 clauses out of 368026 with flag 37457760/17195000
938.18/936.40	c cleaning 185004 clauses out of 370029 with flag 37864822/17381001
952.35/950.66	c cleaning 186004 clauses out of 372024 with flag 38275314/17568000
963.92/962.30	c cleaning 186998 clauses out of 374021 with flag 38686901/17756001
975.30/973.68	c cleaning 187995 clauses out of 376022 with flag 39099786/17945000
988.18/986.42	c cleaning 189000 clauses out of 378028 with flag 39514067/18135001
1001.54/999.84	c cleaning 190005 clauses out of 380027 with flag 39929662/18326000
1016.50/1014.83	c cleaning 191001 clauses out of 382023 with flag 40349206/18518001
1029.98/1028.30	c cleaning 192002 clauses out of 384021 with flag 40771331/18711000
1042.94/1041.35	c cleaning 193003 clauses out of 386019 with flag 41194634/18905000
1054.17/1052.08	c cleaning 193992 clauses out of 388017 with flag 41619215/19100001
1066.33/1064.27	c cleaning 194999 clauses out of 390024 with flag 42045277/19296000
1082.80/1080.72	c cleaning 196004 clauses out of 392026 with flag 42476101/19493001
1095.98/1094.00	c cleaning 196994 clauses out of 394022 with flag 42909262/19691001
1108.39/1106.24	c cleaning 197999 clauses out of 396027 with flag 43343010/19890000
1122.56/1120.40	c cleaning 199000 clauses out of 398028 with flag 43780519/20090000
1137.62/1135.53	c cleaning 199996 clauses out of 400028 with flag 44220868/20291000
1150.21/1148.12	c cleaning 201004 clauses out of 402032 with flag 44664443/20493000
1163.67/1161.60	c cleaning 202000 clauses out of 404029 with flag 45109171/20696001
1177.64/1175.57	c cleaning 203000 clauses out of 406029 with flag 45555845/20900001
1191.71/1189.63	c cleaning 204002 clauses out of 408030 with flag 46002659/21105002
1207.68/1205.68	c cleaning 204999 clauses out of 410027 with flag 46452966/21311001
1224.55/1222.53	c cleaning 206002 clauses out of 412028 with flag 46905776/21518001
1243.54/1241.42	c cleaning 207001 clauses out of 414025 with flag 47361086/21726000
1262.30/1260.25	c cleaning 208001 clauses out of 416024 with flag 47816845/21935000
1274.44/1272.26	c cleaning 208998 clauses out of 418023 with flag 48302557/22145000
1285.51/1283.38	c cleaning 210006 clauses out of 420026 with flag 48803166/22356001
1298.59/1296.43	c cleaning 211007 clauses out of 422019 with flag 49300423/22568000
1309.32/1307.03	c cleaning 212001 clauses out of 424013 with flag 49786491/22781001
1321.59/1319.37	c cleaning 213002 clauses out of 426012 with flag 50276995/22995001
1332.57/1330.35	c cleaning 213996 clauses out of 428009 with flag 50780706/23210000
1343.55/1341.35	c cleaning 214996 clauses out of 430014 with flag 51297103/23426001
1356.04/1353.11	c cleaning 216006 clauses out of 432017 with flag 51795786/23643000
1369.10/1366.27	c cleaning 216999 clauses out of 434011 with flag 52299267/23861000
1379.89/1377.08	c cleaning 218000 clauses out of 436012 with flag 52810107/24080000
1393.15/1390.26	c cleaning 218999 clauses out of 438014 with flag 53314795/24300002
1410.12/1407.20	c cleaning 219998 clauses out of 440014 with flag 53841822/24521001
1421.69/1418.86	c cleaning 220999 clauses out of 442016 with flag 54395233/24743001
1435.10/1432.16	c cleaning 222003 clauses out of 444017 with flag 54944455/24966001
1448.98/1446.04	c cleaning 222998 clauses out of 446013 with flag 55478968/25190000
1462.44/1459.50	c cleaning 224004 clauses out of 448016 with flag 56003610/25415001
1479.62/1476.75	c cleaning 225002 clauses out of 450011 with flag 56556608/25641000
1496.97/1494.09	c cleaning 225996 clauses out of 452009 with flag 57094403/25868000
1511.62/1508.78	c cleaning 227003 clauses out of 454015 with flag 57622595/26096002
1527.89/1525.06	c cleaning 228001 clauses out of 456010 with flag 58155538/26325000
1546.66/1543.60	c cleaning 229001 clauses out of 458011 with flag 58723242/26555002
1566.23/1563.29	c cleaning 229998 clauses out of 460008 with flag 59265823/26786000
1586.79/1583.81	c cleaning 230996 clauses out of 462010 with flag 59805408/27018000
1608.85/1605.14	c cleaning 231995 clauses out of 464014 with flag 60350913/27251000
1624.31/1620.62	c cleaning 233006 clauses out of 466019 with flag 60883211/27485000
1640.95/1637.24	c cleaning 234005 clauses out of 468016 with flag 61418881/27720003
1660.61/1656.90	c cleaning 235002 clauses out of 470008 with flag 61956239/27956000
1680.17/1676.58	c cleaning 236000 clauses out of 472008 with flag 62496244/28193002
1699.28/1695.52	c cleaning 236999 clauses out of 474007 with flag 63049172/28431001
1717.04/1713.39	c cleaning 237996 clauses out of 476008 with flag 63615785/28670001
1735.01/1731.34	c cleaning 239004 clauses out of 478011 with flag 64161290/28910000
1750.66/1746.92	c cleaning 239997 clauses out of 480008 with flag 64712286/29151001
1766.83/1763.11	c cleaning 241002 clauses out of 482010 with flag 65266173/29393000
1784.49/1780.89	c cleaning 242001 clauses out of 484009 with flag 65825467/29636001
1802.36/1798.79	c cleaning 242997 clauses out of 486008 with flag 66400152/29880001
1825.49/1821.80	c cleaning 244000 clauses out of 488010 with flag 66994508/30125000
1845.95/1842.31	c cleaning 245002 clauses out of 490010 with flag 67589321/30371000
1873.10/1869.56	c cleaning 246000 clauses out of 492008 with flag 68182460/30618000
1896.91/1893.20	c cleaning 247002 clauses out of 494008 with flag 68781663/30866000
1918.47/1914.80	c cleaning 247995 clauses out of 496007 with flag 69374457/31115001
1938.82/1935.22	c cleaning 249000 clauses out of 498011 with flag 69932289/31365000
1959.71/1955.41	c cleaning 249999 clauses out of 500011 with flag 70488191/31616000
1980.07/1975.86	c cleaning 251000 clauses out of 502012 with flag 71047495/31868000
2004.70/2000.47	c cleaning 252003 clauses out of 504012 with flag 71609317/32121000
2023.76/2019.56	c cleaning 252995 clauses out of 506010 with flag 72174935/32375001
2043.72/2039.54	c cleaning 254002 clauses out of 508015 with flag 72741404/32630001
2067.97/2063.74	c cleaning 254999 clauses out of 510013 with flag 73312669/32886001
2090.62/2086.41	c cleaning 256000 clauses out of 512013 with flag 73892871/33143000
2107.48/2103.31	c cleaning 257004 clauses out of 514013 with flag 74467761/33401000
2122.95/2118.79	c cleaning 257999 clauses out of 516009 with flag 75048534/33660000
2140.71/2136.55	c cleaning 258998 clauses out of 518011 with flag 75632822/33920001
2158.67/2154.58	c cleaning 260000 clauses out of 520013 with flag 76217839/34181001
2181.42/2177.28	c cleaning 261002 clauses out of 522012 with flag 76805315/34443000
2201.38/2197.27	c cleaning 262000 clauses out of 524011 with flag 77391669/34706001
2221.93/2217.86	c cleaning 263001 clauses out of 526010 with flag 77985328/34970000
2244.34/2240.13	c cleaning 263994 clauses out of 528009 with flag 78579064/35235000
2268.10/2263.93	c cleaning 265002 clauses out of 530016 with flag 79173193/35501001
2287.46/2283.38	c cleaning 266001 clauses out of 532013 with flag 79777561/35768000
2306.80/2302.66	c cleaning 267000 clauses out of 534013 with flag 80377082/36036001
2328.55/2324.40	c cleaning 267999 clauses out of 536012 with flag 80981354/36305000
2347.23/2343.19	c cleaning 268998 clauses out of 538013 with flag 81584920/36575000
2369.07/2364.50	c cleaning 270004 clauses out of 540016 with flag 82188198/36846001
2388.34/2383.72	c cleaning 270998 clauses out of 542012 with flag 82801736/37118001
2412.45/2407.83	c cleaning 272002 clauses out of 544014 with flag 83413614/37391001
2436.09/2431.55	c cleaning 273007 clauses out of 546013 with flag 84024575/37665002
2456.14/2451.62	c cleaning 273998 clauses out of 548004 with flag 84641837/37940000
2478.30/2473.73	c cleaning 274998 clauses out of 550006 with flag 85253768/38216000
2505.74/2501.21	c cleaning 275997 clauses out of 552008 with flag 85921804/38493000
2532.00/2527.54	c cleaning 276997 clauses out of 554011 with flag 86580041/38771000
2556.55/2552.00	c cleaning 278003 clauses out of 556014 with flag 87230961/39050000
2581.00/2576.56	c cleaning 278998 clauses out of 558012 with flag 87885553/39330001
2601.56/2597.14	c cleaning 280005 clauses out of 560013 with flag 88547900/39611000
2628.71/2624.32	c cleaning 280997 clauses out of 562008 with flag 89206151/39893000
2659.51/2655.16	c cleaning 282002 clauses out of 564011 with flag 89895798/40176000
2686.45/2682.14	c cleaning 282999 clauses out of 566009 with flag 90602834/40460000
2710.60/2706.34	c cleaning 283998 clauses out of 568011 with flag 91294069/40745001
2734.45/2730.29	c cleaning 285002 clauses out of 570012 with flag 92002215/41031000
2762.16/2757.85	c cleaning 286003 clauses out of 572010 with flag 92765192/41318000
2789.60/2785.35	c cleaning 287004 clauses out of 574007 with flag 93467236/41606000
2815.76/2811.56	c cleaning 287994 clauses out of 576003 with flag 94138682/41895000
2845.23/2840.90	c cleaning 288997 clauses out of 578009 with flag 94806627/42185000
2878.17/2873.97	c cleaning 290001 clauses out of 580012 with flag 95482355/42476000
2915.10/2910.90	c cleaning 291004 clauses out of 582012 with flag 96156931/42768001
2950.11/2945.24	c cleaning 291999 clauses out of 584007 with flag 96845002/43061000
2994.40/2989.62	c cleaning 292996 clauses out of 586008 with flag 97523577/43355000
3032.77/3027.94	c cleaning 294000 clauses out of 588013 with flag 98200879/43650001
3065.70/3060.91	c cleaning 295005 clauses out of 590013 with flag 98864027/43946001
3099.81/3095.06	c cleaning 295993 clauses out of 592007 with flag 99547470/44243000
3128.64/3123.99	c cleaning 297002 clauses out of 594014 with flag 100212766/44541000
3157.48/3152.79	c cleaning 297996 clauses out of 596012 with flag 100890978/44840000
3183.84/3179.15	c cleaning 299000 clauses out of 598016 with flag 101567993/45140000
3214.02/3209.27	c cleaning 300003 clauses out of 600016 with flag 102247755/45441000
3241.96/3237.29	c cleaning 301003 clauses out of 602014 with flag 102939088/45743001
3270.28/3265.52	c cleaning 301997 clauses out of 604011 with flag 103624980/46046001
3309.41/3304.71	c cleaning 303004 clauses out of 606016 with flag 104323887/46350003
3340.88/3336.11	c cleaning 304002 clauses out of 608010 with flag 105055114/46655001
3366.88/3361.43	c cleaning 304995 clauses out of 610007 with flag 105770516/46961000
3398.58/3393.12	c cleaning 306000 clauses out of 612012 with flag 106477138/47268000
3426.11/3420.78	c cleaning 307003 clauses out of 614014 with flag 107178909/47576002
3458.57/3453.18	c cleaning 307997 clauses out of 616009 with flag 107869641/47885000
3486.80/3481.45	c cleaning 308996 clauses out of 618013 with flag 108575236/48195001
3526.82/3521.56	c cleaning 310004 clauses out of 620016 with flag 109322594/48506000
3553.25/3547.84	c cleaning 311002 clauses out of 622012 with flag 110019035/48818000
3583.99/3578.61	c cleaning 311995 clauses out of 624010 with flag 110713736/49131000
3600.06/3594.61	c starts		: 2
3600.06/3594.61	c conflicts		: 49395668
3600.06/3594.61	c decisions		: 73886547
3600.06/3594.61	c propagations		: 819237163
3600.06/3594.61	c inspects		: 26049846550
3600.06/3594.61	c shortcuts		: 0
3600.06/3594.61	c learnt literals	: 0
3600.06/3594.61	c learnt binary clauses	: 0
3600.06/3594.61	c learnt ternary clauses	: 0
3600.06/3594.61	c learnt constraints	: 49395668
3600.06/3594.61	c ignored constraints	: 0
3600.06/3594.61	c root simplifications	: 0
3600.06/3594.61	c removed literals (reason simplification)	: 37042291
3600.06/3594.61	c reason swapping (by a shorter reason)	: 0
3600.06/3594.61	c Calls to reduceDB	: 309
3600.06/3594.61	c Number of update (reduction) of LBD	: 3528426
3600.06/3594.61	c Imported unit clauses	: 0
3600.06/3594.62	c No decision after first conflict	: false
3600.06/3594.62	c number of reductions to clauses (during analyze)	: 0
3600.06/3594.62	c number of learned constraints concerned by reduction	: 0
3600.06/3594.62	c number of learning phase by resolution	: 0
3600.06/3594.62	c number of learning phase by cutting planes	: 0
3600.06/3594.62	c number of rounding to 1 operations	: 0
3600.06/3594.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3594.62	c number of reductions of the coefficients by power 2 	: 0
3600.06/3594.62	c number of right shift for reduction by power 2 	: 0
3600.06/3594.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3594.62	c number of ending skipping 	: 0
3600.06/3594.62	c number of internal skipping 	: 0
3600.06/3594.62	c number of derivation steps 	: 0
3600.06/3594.62	c number of skipped derivation steps 	: 0
3600.06/3594.62	c number of remaining unassigned 	: 0
3600.06/3594.62	c number of remaining assigned 	: 0
3600.06/3594.62	c number of falsified literals weakened from reason	: 0
3600.06/3594.62	c number of falsified literals weakened from conflict	: 0
3600.06/3594.62	c time for arithmetic operations	: 0
3600.06/3594.62	c minimum degree of deleted constraints	: null
3600.06/3594.62	c maximum degree of deleted constraints	: null
3600.06/3594.63	c number of deleted constraints	: 0
3600.06/3594.63	c speed (assignments/second)	: 227917.18763171343
3600.06/3594.63	c non guided choices	: 121
3600.06/3594.63	c timeout
3600.06/3594.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 576683
3600.06/3594.69	s UNKNOWN
3600.06/3594.69	c Total wall clock time (in seconds): 3594.554

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: 63708 MiB (62879 MiB free)
  memory of node 1: 64465 MiB (63554 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543134-1753224118/watcher-4543134-1753224118 -o /tmp/evaluation-result-4543134-1753224118/solver-4543134-1753224118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216818 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543134-1753224118.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=216866, runsolver pid=216857

[startup+0.100059 s]*
/proc/loadavg: 1.12 1.36 1.94 6/334 216943
/proc/meminfo: memFree=129381652/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=18930384 memory=53252 CPUtime=0.1 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 6457 0 0 0 9 1 0 0 20 0 18 0 238090600 19384713216 13313 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4732596 13313 5351 1 0 547535 0
[pid=216866/tid=216878] ppid=216857 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 4989 0 0 0 6 0 0 0 20 0 18 0 238090603 19384713216 13313 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=18930384 memory=17913 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238090605 19384713216 13313 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=18930384 memory=56286469424100 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238090605 19384713216 13313 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53252 KiB

[startup+0.205782 s]*
/proc/loadavg: 1.75 1.49 1.98 11/336 216945
/proc/meminfo: memFree=129361072/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=18996948 memory=61788 CPUtime=0.3 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 7079 0 0 0 28 2 0 0 20 0 19 0 238090600 19452874752 15447 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4749237 15447 5415 1 0 548248 0
[pid=216866/tid=216878] ppid=216857 vsize=18996948 memory=4027056412 CPUtime=0.17 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 5297 0 0 0 16 1 0 0 20 0 19 0 238090603 19452874752 15447 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=18996948 memory=17913 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 15447 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=18996948 memory=56286469424100 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 15447 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238090618 19452874752 15447 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 61788 KiB

[startup+0.305701 s]*
/proc/loadavg: 1.75 1.49 1.98 9/336 216945
/proc/meminfo: memFree=129278084/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=18996948 memory=68412 CPUtime=0.49 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 9694 0 0 0 47 2 0 0 20 0 19 0 238090600 19452874752 17103 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4749237 17103 5447 1 0 549248 0
[pid=216866/tid=216878] ppid=216857 vsize=18996948 memory=-8959738175737799356 CPUtime=0.26 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 5333 0 0 0 25 1 0 0 20 0 19 0 238090603 19452874752 17103 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 17103 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 17103 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238090618 19452874752 17103 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 68412 KiB

[startup+0.700236 s]
/proc/loadavg: 1.75 1.49 1.98 11/339 216948
/proc/meminfo: memFree=129091676/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=18996948 memory=84004 CPUtime=1.25 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 12971 0 0 0 122 3 0 0 20 0 19 0 238090600 19452874752 21001 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4749237 21001 5447 1 0 551476 0
[pid=216866/tid=216878] ppid=216857 vsize=18996948 memory=22144 CPUtime=0.62 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 5427 0 0 0 61 1 0 0 20 0 19 0 238090603 19452874752 21001 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 21001 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 21001 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238090618 19452874752 21001 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84004 KiB

[startup+1.50019 s]
/proc/loadavg: 1.75 1.49 1.98 7/340 216949
/proc/meminfo: memFree=128843968/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=18996948 memory=114988 CPUtime=2.36 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 16188 0 0 0 232 4 0 0 20 0 19 0 238090600 19452874752 28747 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4749237 28747 5447 1 0 551478 0
[pid=216866/tid=216878] ppid=216857 vsize=18996948 memory=10752 CPUtime=1.43 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 5806 0 0 0 141 2 0 0 20 0 19 0 238090603 19452874752 28747 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 28747 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238090605 19452874752 28747 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=18996948 memory=4764 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238090618 19452874752 28747 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114988 KiB

[startup+3.1056 s]
/proc/loadavg: 1.75 1.49 1.98 5/342 216951
/proc/meminfo: memFree=128660640/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=181208 CPUtime=4.03 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 18236 0 0 0 397 6 0 0 20 0 20 0 238090600 19521036288 45302 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 45302 5479 1 0 551769 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=10752 CPUtime=3.01 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 6151 0 0 0 299 2 0 0 20 0 20 0 238090603 19521036288 45302 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=-8671789274562798268 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 45302 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 45302 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 45302 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 4.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181208 KiB

[startup+6.3002 s]
/proc/loadavg: 1.93 1.53 1.99 5/342 216951
/proc/meminfo: memFree=128582836/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=205972 CPUtime=7.23 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 18351 0 0 0 717 6 0 0 20 0 20 0 238090600 19521036288 51493 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 51493 5479 1 0 551769 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=0 CPUtime=6.17 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 6154 0 0 0 615 2 0 0 20 0 20 0 238090603 19521036288 51493 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 51493 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 51493 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=119084 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 51493 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205972 KiB

[startup+12.7002 s]
/proc/loadavg: 2.10 1.57 2.00 5/342 216951
/proc/meminfo: memFree=128420364/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=279856 CPUtime=13.69 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 19925 0 0 0 1360 9 0 0 20 0 20 0 238090600 19521036288 69964 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 69964 5479 1 0 551785 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=119084 CPUtime=12.5 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 6645 0 0 0 1248 2 0 0 20 0 20 0 238090603 19521036288 69964 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=247076 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 69964 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 69964 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 69964 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 13.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 279856 KiB

[startup+25.5002 s]
/proc/loadavg: 2.39 1.65 2.02 5/342 216951
/proc/meminfo: memFree=127936216/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=398808 CPUtime=26.55 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 22499 0 0 0 2644 11 0 0 20 0 20 0 238090600 19521036288 99702 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 99702 5511 1 0 551785 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=247076 CPUtime=25.17 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 7538 0 0 0 2515 2 0 0 20 0 20 0 238090603 19521036288 99702 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 99702 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=376280 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 99702 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=376280 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 99702 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 26.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 398808 KiB

[startup+51.1057 s]
/proc/loadavg: 3.03 1.88 2.09 5/342 216952
/proc/meminfo: memFree=127217916/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=593440 CPUtime=52.24 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 22717 0 0 0 5209 15 0 0 20 0 20 0 238090600 19521036288 148360 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 148360 5511 1 0 551785 0

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

/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1388 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=2168036 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3227.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168036 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/341 217121
/proc/meminfo: memFree=113025228/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2168036 CPUtime=3287.05 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 100169 0 0 0 328589 116 0 0 20 0 20 0 238090600 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 542009 5511 1 0 553773 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=14692 CPUtime=3268.03 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 41843 0 0 0 326783 20 0 0 20 0 20 0 238090603 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=22144 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1471 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=2168036 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3287.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/341 217123
/proc/meminfo: memFree=112434484/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2168036 CPUtime=3347.06 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 100578 0 0 0 334589 117 0 0 20 0 20 0 238090600 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 542009 5511 1 0 553773 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=2168036 CPUtime=3327.76 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 42155 0 0 0 332756 20 0 0 20 0 20 0 238090603 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=2168036 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1471 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=2168036 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 542009 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3347.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/341 217125
/proc/meminfo: memFree=112207492/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2396764 CPUtime=3407.75 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 103529 0 0 0 340651 124 0 0 20 0 20 0 238090600 19521036288 599191 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 599191 5511 1 0 647872 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=14692 CPUtime=3387.44 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 42920 0 0 0 338720 24 0 0 20 0 20 0 238090603 19521036288 599191 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=2286156 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 599191 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=2339416 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1472 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 599191 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=2355804 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 599191 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3407.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2396764 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/341 217127
/proc/meminfo: memFree=111719496/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2544220 CPUtime=3467.74 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 104775 0 0 0 346645 129 0 0 20 0 20 0 238090600 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 636055 5511 1 0 647872 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=14692 CPUtime=3447.18 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 43763 0 0 0 344691 27 0 0 20 0 20 0 238090603 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=2286156 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=2544220 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1553 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=22144 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3467.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2544220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/341 217130
/proc/meminfo: memFree=111378316/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2544220 CPUtime=3527.62 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 105433 0 0 0 352632 130 0 0 20 0 20 0 238090600 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 636055 5511 1 0 647872 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=14692 CPUtime=3507.04 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 44314 0 0 0 350677 27 0 0 20 0 20 0 238090603 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=2544220 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=2544220 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=2544220 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3527.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2544220 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/341 217134
/proc/meminfo: memFree=111148824/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2544220 CPUtime=3587.68 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 105850 0 0 0 358637 131 0 0 20 0 20 0 238090600 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 636055 5511 1 0 647874 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=14692 CPUtime=3566.72 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 44426 0 0 0 356645 27 0 0 20 0 20 0 238090603 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=14692 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=2544220 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=-8671789274562798268 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 636055 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2544220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.6 s]
/proc/loadavg: 4.13 4.10 4.05 5/339 217400
/proc/meminfo: memFree=126555000/131249992 swapFree=33003724/33010684
[pid=216866] ppid=216857 vsize=19063512 memory=2544348 CPUtime=3600.06 cores=5,7
/proc/216866/stat : 216866 (java) S 216857 216866 216805 0 -1 4194304 105898 0 0 0 359875 131 0 0 20 0 20 0 238090600 19521036288 636087 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
/proc/216866/statm: 4765878 636087 5511 1 0 647874 0
[pid=216866/tid=216878] ppid=216857 vsize=19063512 memory=7433876 CPUtime=3578.89 cores=5,7
/proc/216866/task/216878/stat : 216878 (java) R 216857 216866 216805 0 -1 4194368 44426 0 0 0 357862 27 0 0 20 0 20 0 238090603 19521036288 636087 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216914] ppid=216857 vsize=19063512 memory=-8671789274562798268 CPUtime=0 cores=5,7
/proc/216866/task/216914/stat : 216914 (Finalizer) S 216857 216866 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636087 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216923] ppid=216857 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/216866/task/216923/stat : 216923 (Common-Cleaner) S 216857 216866 216805 0 -1 4194368 1634 0 0 0 0 0 0 0 20 0 20 0 238090605 19521036288 636087 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
[pid=216866/tid=216944] ppid=216857 vsize=19063512 memory=21484 CPUtime=0 cores=5,7
/proc/216866/task/216944/stat : 216944 (Timer-0) S 216857 216866 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238090618 19521036288 636087 18446744073709551615 94370424254464 94370424258160 140731128579648 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94370424265976 94370424266768 94370450317312 140731128588671 140731128588772 140731128588772 140731128594376 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2544348 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.89 s, system=1.33019 s

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

[startup+3594.71 s]*
/proc/loadavg: 4.13 4.10 4.05 5/322 217404
/proc/meminfo: memFree=128626568/131249992 swapFree=33003724/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3594.71
CPU time (s): 3600.22
CPU user time (s): 3598.89
CPU system time (s): 1.33019
CPU usage (%): 100.153
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2544348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.33019
maximum resident set size= 2545244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107831
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107160
involuntary context switches= 3283


# summary of solver processes directly reported to runsolver:
#   pid: 216866
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.33019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64446 second user time and 16.6881 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 00:41:58
IDJOB=4543134
IDBENCH=172050
IDSOLVER=3363
FILE ID=nodeC025/4543134-1753224118
RUNJOBID= nodeC025-1753224118-216818
SLURM_JOB_ID= 9687832
Free space on /tmp= 431860 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543134-1753224118/watcher-4543134-1753224118 -o /tmp/evaluation-result-4543134-1753224118/solver-4543134-1753224118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216818 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543134-1753224118.opb

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

MD5SUM BENCH= e7c556b1908613934f20d4f7eb665474
RANDOM SEED=410042983

nodeC025 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.874
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.67
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		: 3597.331
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.67
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.807
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.914
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.67
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		: 3600.115
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.67
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.526
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.67
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		: 3599.766
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.67
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		: 3599.842
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129456368 kB
MemAvailable:   129663652 kB
Buffers:            2128 kB
Cached:           951068 kB
SwapCached:         2132 kB
Active:           725328 kB
Inactive:         296428 kB
Active(anon):      62544 kB
Inactive(anon):    27616 kB
Active(file):     662784 kB
Inactive(file):   268812 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5200 kB
Writeback:             0 kB
AnonPages:         69648 kB
Mapped:           103156 kB
Shmem:             21600 kB
KReclaimable:     229852 kB
Slab:             327348 kB
SReclaimable:     229852 kB
SUnreclaim:        97496 kB
KernelStack:        4112 kB
PageTables:         3052 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431856 MiB
End job on nodeC025 at 2025-07-23 01:41:53