Trace number 4510084

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.19 3599.93

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMf61f810767e626cf4ffbb78e9de33430
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables345
Total number of constraints920
Number of constraints which are clauses920
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4510084-1751197557.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.044s.
0.12/0.18	c declared #vars     345
0.12/0.18	c #constraints  920
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 920
0.12/0.18	c 920 constraints processed.
0.70/0.45	c cleaning 2495 clauses out of 5000 with flag 17772/5000
1.08/0.64	c cleaning 4247 clauses out of 8506 with flag 41037/11001
1.46/0.81	c cleaning 5622 clauses out of 11258 with flag 62322/18000
1.64/0.93	c cleaning 6807 clauses out of 13636 with flag 89900/26000
1.82/1.05	c cleaning 7909 clauses out of 15830 with flag 120456/35001
1.99/1.19	c cleaning 8953 clauses out of 17921 with flag 150095/45001
2.34/1.34	c cleaning 9977 clauses out of 19968 with flag 182679/56001
2.47/1.49	c cleaning 10989 clauses out of 21991 with flag 220853/68001
2.67/1.68	c cleaning 11995 clauses out of 24001 with flag 258252/81000
2.88/1.88	c cleaning 12995 clauses out of 26006 with flag 303935/95000
3.08/2.08	c cleaning 13999 clauses out of 28011 with flag 361673/110000
3.28/2.29	c cleaning 15000 clauses out of 30012 with flag 425142/126000
3.60/2.54	c cleaning 15997 clauses out of 32013 with flag 507033/143001
3.82/2.78	c cleaning 17001 clauses out of 34016 with flag 584406/161001
4.13/3.04	c cleaning 18002 clauses out of 36015 with flag 669149/180001
4.42/3.33	c cleaning 18997 clauses out of 38012 with flag 757571/200000
4.71/3.65	c cleaning 19999 clauses out of 40016 with flag 853434/221001
5.02/3.98	c cleaning 21000 clauses out of 42017 with flag 954727/243001
5.42/4.34	c cleaning 21999 clauses out of 44017 with flag 1064732/266001
5.82/4.72	c cleaning 23002 clauses out of 46017 with flag 1181754/290000
6.13/5.10	c cleaning 24002 clauses out of 48016 with flag 1301696/315001
6.62/5.53	c cleaning 24995 clauses out of 50014 with flag 1437017/341001
7.02/5.97	c cleaning 25997 clauses out of 52018 with flag 1567501/368000
7.52/6.48	c cleaning 27003 clauses out of 54023 with flag 1706175/396002
8.02/6.97	c cleaning 28001 clauses out of 56018 with flag 1857045/425000
8.62/7.51	c cleaning 28999 clauses out of 58018 with flag 2012167/455001
9.22/8.15	c cleaning 30003 clauses out of 60019 with flag 2171237/486001
9.91/8.81	c cleaning 30995 clauses out of 62015 with flag 2333533/518000
10.52/9.44	c cleaning 31999 clauses out of 64021 with flag 2496111/551001
11.22/10.11	c cleaning 33002 clauses out of 66021 with flag 2664401/585000
11.81/10.73	c cleaning 34003 clauses out of 68019 with flag 2833589/620000
12.51/11.41	c cleaning 35004 clauses out of 70017 with flag 3009564/656001
13.12/12.09	c cleaning 35998 clauses out of 72013 with flag 3183693/693001
13.94/12.89	c cleaning 37003 clauses out of 74015 with flag 3367453/731001
14.73/13.60	c cleaning 37994 clauses out of 76011 with flag 3556727/770000
15.43/14.38	c cleaning 39000 clauses out of 78017 with flag 3755599/810000
16.24/15.19	c cleaning 39999 clauses out of 80018 with flag 3959876/851001
17.13/16.06	c cleaning 41001 clauses out of 82019 with flag 4169864/893001
18.03/16.93	c cleaning 41998 clauses out of 84017 with flag 4388414/936000
19.05/17.93	c cleaning 43001 clauses out of 86020 with flag 4614164/980001
20.15/19.09	c cleaning 44002 clauses out of 88019 with flag 4840186/1025001
21.15/20.07	c cleaning 45002 clauses out of 90016 with flag 5064770/1071000
22.15/21.06	c cleaning 45997 clauses out of 92014 with flag 5298225/1118000
23.14/22.08	c cleaning 46998 clauses out of 94018 with flag 5547401/1166001
24.97/23.80	c cleaning 48000 clauses out of 96020 with flag 5849682/1215001
26.56/25.40	c cleaning 49002 clauses out of 98020 with flag 6169501/1265001
28.26/27.13	c cleaning 49997 clauses out of 100017 with flag 6476066/1316000
29.76/28.69	c cleaning 51001 clauses out of 102020 with flag 6778727/1368000
31.09/29.94	c cleaning 52003 clauses out of 104021 with flag 7044020/1421002
32.39/31.20	c cleaning 53001 clauses out of 106017 with flag 7316479/1475001
33.69/32.54	c cleaning 54001 clauses out of 108015 with flag 7594383/1530000
34.98/33.88	c cleaning 54999 clauses out of 110015 with flag 7872149/1586001
36.61/35.42	c cleaning 56002 clauses out of 112016 with flag 8178445/1643001
38.11/36.93	c cleaning 56996 clauses out of 114013 with flag 8481004/1701000
39.41/38.29	c cleaning 58001 clauses out of 116017 with flag 8775250/1760000
40.90/39.71	c cleaning 59003 clauses out of 118017 with flag 9075084/1820001
42.35/41.18	c cleaning 59996 clauses out of 120014 with flag 9382553/1881001
43.84/42.69	c cleaning 61002 clauses out of 122017 with flag 9686413/1943000
45.43/44.28	c cleaning 62001 clauses out of 124015 with flag 9993132/2006000
46.93/45.72	c cleaning 62999 clauses out of 126015 with flag 10307098/2070001
48.66/47.46	c cleaning 63999 clauses out of 128015 with flag 10635347/2135000
50.26/49.10	c cleaning 65001 clauses out of 130016 with flag 10977024/2201000
51.95/50.79	c cleaning 66003 clauses out of 132016 with flag 11314878/2268001
53.88/52.63	c cleaning 66999 clauses out of 134012 with flag 11651624/2336000
55.49/54.25	c cleaning 67996 clauses out of 136014 with flag 11981025/2405001
57.29/56.03	c cleaning 69002 clauses out of 138017 with flag 12351138/2475000
59.50/58.20	c cleaning 70005 clauses out of 140017 with flag 12753266/2546002
61.50/60.20	c cleaning 70997 clauses out of 142010 with flag 13145311/2618000
63.49/62.29	c cleaning 72002 clauses out of 144013 with flag 13528412/2691000
65.92/64.64	c cleaning 72998 clauses out of 146011 with flag 13890664/2765000
67.90/66.66	c cleaning 74002 clauses out of 148014 with flag 14263311/2840001
70.00/68.73	c cleaning 74999 clauses out of 150012 with flag 14648503/2916001
72.23/70.94	c cleaning 75995 clauses out of 152012 with flag 15026041/2993000
74.53/73.27	c cleaning 77002 clauses out of 154018 with flag 15413809/3071001
77.12/75.87	c cleaning 78001 clauses out of 156015 with flag 15808771/3150000
79.51/78.26	c cleaning 78998 clauses out of 158014 with flag 16212280/3230000
81.85/80.57	c cleaning 79998 clauses out of 160016 with flag 16622084/3311000
84.64/83.32	c cleaning 81002 clauses out of 162019 with flag 17057191/3393001
87.34/86.06	c cleaning 82002 clauses out of 164017 with flag 17459644/3476001
90.13/88.81	c cleaning 83004 clauses out of 166014 with flag 17880057/3560000
93.17/91.86	c cleaning 83997 clauses out of 168010 with flag 18298916/3645000
96.26/94.97	c cleaning 85002 clauses out of 170013 with flag 18749866/3731000
99.36/98.03	c cleaning 86000 clauses out of 172012 with flag 19180976/3818001
102.25/100.97	c cleaning 86998 clauses out of 174012 with flag 19601871/3906001
105.41/104.02	c cleaning 88005 clauses out of 176014 with flag 20023886/3995001
108.19/106.84	c cleaning 88994 clauses out of 178008 with flag 20435927/4085000
110.59/109.25	c cleaning 90003 clauses out of 180015 with flag 20892765/4176001
113.58/112.21	c cleaning 90996 clauses out of 182012 with flag 21350450/4268001
116.52/115.15	c cleaning 91996 clauses out of 184016 with flag 21800255/4361001
119.81/118.47	c cleaning 93001 clauses out of 186019 with flag 22302009/4455000
123.60/122.20	c cleaning 94007 clauses out of 188019 with flag 22771267/4550001
126.69/125.36	c cleaning 95000 clauses out of 190012 with flag 23262397/4646001
129.75/128.30	c cleaning 95998 clauses out of 192011 with flag 23748766/4743000
133.46/132.04	c cleaning 96994 clauses out of 194013 with flag 24165892/4841000
136.84/135.43	c cleaning 98001 clauses out of 196019 with flag 24668571/4940000
140.04/138.64	c cleaning 99000 clauses out of 198019 with flag 25146507/5040001
142.93/141.54	c cleaning 100001 clauses out of 200019 with flag 25655818/5141001
146.09/144.63	c cleaning 101003 clauses out of 202017 with flag 26170731/5243000
148.98/147.54	c cleaning 101996 clauses out of 204014 with flag 26707458/5346000
152.18/150.70	c cleaning 103003 clauses out of 206019 with flag 27225115/5450001
155.47/154.00	c cleaning 104001 clauses out of 208015 with flag 27745072/5555000
158.86/157.46	c cleaning 104997 clauses out of 210015 with flag 28282777/5661001
162.81/161.33	c cleaning 106002 clauses out of 212017 with flag 28822991/5768000
166.20/164.73	c cleaning 107001 clauses out of 214016 with flag 29344832/5876001
170.51/169.07	c cleaning 107998 clauses out of 216014 with flag 29908323/5985000
173.99/172.56	c cleaning 108998 clauses out of 218016 with flag 30442074/6095000
177.38/175.91	c cleaning 110003 clauses out of 220019 with flag 30970533/6206001
181.48/180.07	c cleaning 111005 clauses out of 222016 with flag 31503022/6318001
185.06/183.64	c cleaning 112003 clauses out of 224011 with flag 32042538/6431001
189.95/188.51	c cleaning 112999 clauses out of 226008 with flag 32598519/6545001
194.36/192.52	c cleaning 113999 clauses out of 228009 with flag 33196021/6660001
198.05/196.21	c cleaning 114994 clauses out of 230010 with flag 33737385/6776001
201.94/200.16	c cleaning 116003 clauses out of 232016 with flag 34334047/6893001
206.03/204.27	c cleaning 116996 clauses out of 234012 with flag 34915022/7011000
210.92/209.17	c cleaning 118005 clauses out of 236017 with flag 35558901/7130001
215.24/213.41	c cleaning 118998 clauses out of 238011 with flag 36143834/7250000
219.53/217.72	c cleaning 120001 clauses out of 240014 with flag 36738407/7371001
224.72/222.93	c cleaning 120997 clauses out of 242012 with flag 37364818/7493000
229.11/227.35	c cleaning 122005 clauses out of 244016 with flag 37969896/7616001
233.60/231.86	c cleaning 122997 clauses out of 246010 with flag 38568437/7740000
237.80/236.09	c cleaning 123998 clauses out of 248014 with flag 39202384/7865001
241.89/240.13	c cleaning 125000 clauses out of 250015 with flag 39841490/7991000
246.25/244.43	c cleaning 126001 clauses out of 252015 with flag 40460158/8118000
250.74/248.93	c cleaning 126997 clauses out of 254015 with flag 41107125/8246001
255.83/254.04	c cleaning 128001 clauses out of 256017 with flag 41740727/8375000
262.12/260.30	c cleaning 129001 clauses out of 258016 with flag 42391378/8505000
266.81/265.01	c cleaning 130004 clauses out of 260016 with flag 43024946/8636001
271.20/269.46	c cleaning 130995 clauses out of 262012 with flag 43661006/8768001
276.88/275.01	c cleaning 132005 clauses out of 264017 with flag 44328502/8901001
281.56/279.77	c cleaning 133001 clauses out of 266012 with flag 44970910/9035001
286.25/284.41	c cleaning 134000 clauses out of 268010 with flag 45665721/9170000
291.64/289.87	c cleaning 134998 clauses out of 270010 with flag 46373653/9306000
296.23/294.48	c cleaning 136003 clauses out of 272012 with flag 47055314/9443000
300.83/299.05	c cleaning 136999 clauses out of 274010 with flag 47776840/9581001
305.22/303.42	c cleaning 137997 clauses out of 276010 with flag 48495197/9720000
310.55/308.79	c cleaning 139000 clauses out of 278013 with flag 49189696/9860000
315.74/313.99	c cleaning 139998 clauses out of 280014 with flag 49865060/10001001
320.83/319.01	c cleaning 140996 clauses out of 282016 with flag 50546164/10143001
327.91/326.11	c cleaning 142001 clauses out of 284020 with flag 51300585/10286001
336.90/335.16	c cleaning 142997 clauses out of 286018 with flag 52071553/10430000
349.66/347.99	c cleaning 144002 clauses out of 288022 with flag 52832105/10575001
356.85/355.13	c cleaning 145006 clauses out of 290019 with flag 53558073/10721000
364.53/362.78	c cleaning 145995 clauses out of 292013 with flag 54273754/10868000
370.41/368.63	c cleaning 147005 clauses out of 294019 with flag 54973818/11016001
380.39/378.67	c cleaning 147995 clauses out of 296014 with flag 55792561/11165001
387.17/385.44	c cleaning 148999 clauses out of 298018 with flag 56509525/11315000
395.25/393.50	c cleaning 149996 clauses out of 300020 with flag 57189738/11466001
402.54/400.80	c cleaning 151000 clauses out of 302023 with flag 57894895/11618000
410.83/409.19	c cleaning 152002 clauses out of 304023 with flag 58562917/11771000
416.51/414.88	c cleaning 153005 clauses out of 306022 with flag 59238876/11925001
422.70/421.06	c cleaning 154000 clauses out of 308017 with flag 59938412/12080001
428.88/427.27	c cleaning 155001 clauses out of 310017 with flag 60695588/12236001
435.27/433.66	c cleaning 156004 clauses out of 312016 with flag 61434947/12393001
443.90/442.19	c cleaning 156996 clauses out of 314011 with flag 62182717/12551000
453.17/451.46	c cleaning 158000 clauses out of 316016 with flag 62940900/12710001
458.96/457.27	c cleaning 159002 clauses out of 318016 with flag 63721362/12870001
472.32/470.69	c cleaning 160000 clauses out of 320014 with flag 64510927/13031001
489.49/487.87	c cleaning 160997 clauses out of 322013 with flag 65315110/13193000
500.06/498.47	c cleaning 162001 clauses out of 324016 with flag 66118499/13356000
510.10/508.34	c cleaning 162997 clauses out of 326016 with flag 66917353/13520001
516.59/514.81	c cleaning 164001 clauses out of 328019 with flag 67747898/13685001
523.77/522.02	c cleaning 164998 clauses out of 330017 with flag 68591835/13851000
531.36/529.62	c cleaning 166004 clauses out of 332019 with flag 69443841/14018000
540.44/538.72	c cleaning 166997 clauses out of 334015 with flag 70311222/14186000
549.26/547.15	c cleaning 168002 clauses out of 336018 with flag 71195247/14355000
555.64/553.56	c cleaning 169000 clauses out of 338016 with flag 72053663/14525000
569.91/567.83	c cleaning 169999 clauses out of 340016 with flag 72949078/14696000
584.09/582.04	c cleaning 170998 clauses out of 342017 with flag 73858072/14868000
600.44/598.48	c cleaning 171998 clauses out of 344019 with flag 74773355/15041000
615.71/613.77	c cleaning 173002 clauses out of 346022 with flag 75697129/15215001
630.87/628.82	c cleaning 173997 clauses out of 348020 with flag 76612579/15390001
647.73/645.78	c cleaning 174998 clauses out of 350023 with flag 77544900/15566001
664.49/662.58	c cleaning 176003 clauses out of 352025 with flag 78486712/15743001
679.96/678.02	c cleaning 177000 clauses out of 354022 with flag 79445299/15921001
698.31/696.41	c cleaning 178000 clauses out of 356022 with flag 80396773/16100001
715.07/713.25	c cleaning 179001 clauses out of 358022 with flag 81349627/16280001
730.61/728.76	c cleaning 180000 clauses out of 360021 with flag 82305731/16461001
748.47/746.68	c cleaning 180995 clauses out of 362021 with flag 83272976/16643001
765.83/764.04	c cleaning 182005 clauses out of 364026 with flag 84216534/16826001
783.10/781.38	c cleaning 182999 clauses out of 366021 with flag 85185903/17010001
799.76/798.06	c cleaning 184002 clauses out of 368022 with flag 86153242/17195001
817.62/815.91	c cleaning 185003 clauses out of 370020 with flag 87134653/17381001
837.18/835.50	c cleaning 185997 clauses out of 372017 with flag 88120677/17568001
854.17/852.46	c cleaning 187001 clauses out of 374020 with flag 89111189/17756001
873.92/872.24	c cleaning 187999 clauses out of 376019 with flag 90120549/17945001
892.48/890.87	c cleaning 189000 clauses out of 378020 with flag 91130421/18135001
909.35/907.71	c cleaning 189997 clauses out of 380020 with flag 92152887/18326001
927.90/926.32	c cleaning 191001 clauses out of 382023 with flag 93171967/18518001
947.26/945.76	c cleaning 191997 clauses out of 384022 with flag 94202326/18711001
965.72/964.26	c cleaning 193004 clauses out of 386025 with flag 95224163/18905001
983.77/982.22	c cleaning 193999 clauses out of 388020 with flag 96244222/19100000
997.74/996.22	c cleaning 195004 clauses out of 390021 with flag 97323919/19296000
1012.61/1011.15	c cleaning 195999 clauses out of 392017 with flag 98384546/19493000
1026.88/1025.47	c cleaning 196998 clauses out of 394018 with flag 99432759/19691000
1041.05/1039.61	c cleaning 198001 clauses out of 396020 with flag 100525470/19890000
1054.43/1053.05	c cleaning 198999 clauses out of 398019 with flag 101657751/20090000
1068.50/1067.15	c cleaning 199996 clauses out of 400020 with flag 102794124/20291000
1081.89/1080.43	c cleaning 200996 clauses out of 402024 with flag 103923885/20493000
1095.07/1093.63	c cleaning 202001 clauses out of 404028 with flag 105062869/20696000
1108.34/1106.94	c cleaning 203008 clauses out of 406028 with flag 106205859/20900001
1122.51/1121.16	c cleaning 204001 clauses out of 408019 with flag 107251168/21105000
1137.36/1135.93	c cleaning 204998 clauses out of 410018 with flag 108337896/21311000
1150.13/1148.76	c cleaning 206003 clauses out of 412020 with flag 109428024/21518000
1167.00/1165.60	c cleaning 207000 clauses out of 414018 with flag 110476193/21726001
1176.08/1174.72	c cleaning 208001 clauses out of 416018 with flag 111531630/21935001
1193.14/1191.86	c cleaning 209000 clauses out of 418017 with flag 112692336/22145001
1205.13/1203.32	c cleaning 210003 clauses out of 420017 with flag 113752457/22356001
1216.40/1214.68	c cleaning 210999 clauses out of 422014 with flag 114754904/22568001
1227.18/1225.41	c cleaning 211996 clauses out of 424014 with flag 115783083/22781000
1238.66/1236.93	c cleaning 212997 clauses out of 426018 with flag 116830492/22995000
1254.44/1252.63	c cleaning 213999 clauses out of 428022 with flag 117884162/23210001
1268.31/1266.53	c cleaning 215000 clauses out of 430022 with flag 118909761/23426000
1280.98/1279.25	c cleaning 215997 clauses out of 432022 with flag 120028969/23643000
1297.35/1295.62	c cleaning 217002 clauses out of 434025 with flag 121163380/23861000
1314.71/1313.05	c cleaning 217999 clauses out of 436023 with flag 122301852/24080000
1330.17/1328.51	c cleaning 218998 clauses out of 438024 with flag 123435708/24300000
1346.33/1344.61	c cleaning 220002 clauses out of 440026 with flag 124568975/24521000
1362.89/1361.29	c cleaning 221002 clauses out of 442025 with flag 125707052/24743001
1377.36/1375.78	c cleaning 222003 clauses out of 444023 with flag 126850179/24966001
1399.72/1398.15	c cleaning 222998 clauses out of 446019 with flag 127998205/25190000
1422.16/1420.67	c cleaning 224001 clauses out of 448021 with flag 129151410/25415000
1443.53/1442.01	c cleaning 224996 clauses out of 450020 with flag 130309676/25641000
1465.89/1464.33	c cleaning 225997 clauses out of 452024 with flag 131473097/25868000
1484.75/1483.28	c cleaning 227004 clauses out of 454027 with flag 132641645/26096000
1508.70/1507.25	c cleaning 228000 clauses out of 456023 with flag 133805472/26325000
1531.75/1530.37	c cleaning 228999 clauses out of 458023 with flag 134970188/26555000
1558.89/1557.55	c cleaning 229999 clauses out of 460024 with flag 136139957/26786000
1583.53/1582.19	c cleaning 231000 clauses out of 462025 with flag 137314759/27018000
1607.07/1605.70	c cleaning 231999 clauses out of 464025 with flag 138494744/27251000
1632.02/1630.74	c cleaning 232996 clauses out of 466026 with flag 139679742/27485000
1657.67/1656.48	c cleaning 234000 clauses out of 468030 with flag 140869822/27720000
1685.11/1683.96	c cleaning 235001 clauses out of 470030 with flag 142065031/27956000
1706.17/1705.01	c cleaning 236005 clauses out of 472029 with flag 143267106/28193000
1728.38/1727.24	c cleaning 236997 clauses out of 474024 with flag 144475639/28431000
1750.83/1749.75	c cleaning 238005 clauses out of 476027 with flag 145689211/28670000
1775.48/1774.45	c cleaning 238998 clauses out of 478022 with flag 146907967/28910000
1796.23/1795.22	c cleaning 240001 clauses out of 480024 with flag 148131606/29151000
1824.08/1823.11	c cleaning 241000 clauses out of 482023 with flag 149360496/29393000
1852.88/1851.58	c cleaning 242000 clauses out of 484023 with flag 150594490/29636000
1880.82/1879.57	c cleaning 242997 clauses out of 486023 with flag 151833524/29880000
1910.24/1909.09	c cleaning 243998 clauses out of 488027 with flag 153077689/30125001
1932.98/1931.89	c cleaning 245004 clauses out of 490029 with flag 154326822/30371001
1956.91/1955.87	c cleaning 245999 clauses out of 492025 with flag 155581008/30618001
1980.62/1979.52	c cleaning 246997 clauses out of 494025 with flag 156840272/30866000
2005.18/2004.13	c cleaning 247998 clauses out of 496028 with flag 158104729/31115000
2028.92/2027.97	c cleaning 249001 clauses out of 498030 with flag 159374218/31365000
2051.86/2050.99	c cleaning 249999 clauses out of 500029 with flag 160648748/31616000
2075.92/2075.02	c cleaning 250999 clauses out of 502031 with flag 161928207/31868001
2100.76/2099.98	c cleaning 252003 clauses out of 504032 with flag 163212760/32121001
2123.31/2122.53	c cleaning 253007 clauses out of 506028 with flag 164477829/32375000
2152.14/2151.31	c cleaning 254008 clauses out of 508022 with flag 165604138/32630001
2167.00/2166.24	c cleaning 255002 clauses out of 510013 with flag 166801269/32886000
2179.67/2178.90	c cleaning 256003 clauses out of 512012 with flag 168051333/33143001
2193.24/2192.57	c cleaning 257001 clauses out of 514008 with flag 169327461/33401000
2208.51/2207.86	c cleaning 257996 clauses out of 516007 with flag 170533450/33660000
2223.07/2222.41	c cleaning 258999 clauses out of 518012 with flag 171747209/33920001
2240.94/2240.30	c cleaning 260001 clauses out of 520013 with flag 173021386/34181001
2254.71/2254.19	c cleaning 261000 clauses out of 522011 with flag 174230709/34443000
2268.97/2268.46	c cleaning 261998 clauses out of 524012 with flag 175553844/34706001
2283.93/2283.49	c cleaning 262998 clauses out of 526014 with flag 176840652/34970001
2300.00/2299.50	c cleaning 264000 clauses out of 528015 with flag 178089654/35235000
2314.54/2313.92	c cleaning 265001 clauses out of 530015 with flag 179424125/35501000
2328.31/2327.73	c cleaning 265995 clauses out of 532014 with flag 180668629/35768000
2341.18/2340.60	c cleaning 267001 clauses out of 534019 with flag 181972025/36036000
2354.85/2354.36	c cleaning 268002 clauses out of 536018 with flag 183195287/36305000
2371.02/2370.59	c cleaning 268998 clauses out of 538017 with flag 184487196/36575001
2394.57/2394.15	c cleaning 270001 clauses out of 540019 with flag 185743792/36846001
2415.22/2414.87	c cleaning 270999 clauses out of 542017 with flag 187022067/37118000
2434.28/2433.91	c cleaning 272003 clauses out of 544019 with flag 188345785/37391001
2449.04/2448.76	c cleaning 273002 clauses out of 546016 with flag 189697908/37665001
2465.49/2465.07	c cleaning 273999 clauses out of 548013 with flag 190984343/37940000
2481.15/2480.78	c cleaning 275001 clauses out of 550014 with flag 192359988/38216000
2503.11/2502.76	c cleaning 275997 clauses out of 552014 with flag 193716264/38493001
2537.63/2537.39	c cleaning 276993 clauses out of 554016 with flag 195082045/38771000
2555.49/2555.23	c cleaning 278004 clauses out of 556023 with flag 196418024/39050000
2573.26/2573.06	c cleaning 278998 clauses out of 558019 with flag 197675509/39330000
2588.01/2587.85	c cleaning 280004 clauses out of 560021 with flag 199035904/39611000
2604.21/2603.29	c cleaning 281004 clauses out of 562017 with flag 200338054/39893000
2618.58/2617.67	c cleaning 281996 clauses out of 564013 with flag 201673916/40176000
2633.74/2632.89	c cleaning 283001 clauses out of 566018 with flag 203059141/40460001
2649.92/2649.09	c cleaning 283998 clauses out of 568016 with flag 204393175/40745000
2664.78/2663.92	c cleaning 285003 clauses out of 570018 with flag 205693943/41031000
2681.87/2681.01	c cleaning 285997 clauses out of 572016 with flag 207059889/41318001
2695.94/2695.11	c cleaning 287001 clauses out of 574018 with flag 208492086/41606000
2729.86/2729.14	c cleaning 287997 clauses out of 576017 with flag 210016612/41895000
2759.99/2759.39	c cleaning 289001 clauses out of 578021 with flag 211575776/42185001
2788.53/2787.90	c cleaning 290000 clauses out of 580020 with flag 213157128/42476001
2808.29/2807.71	c cleaning 291005 clauses out of 582019 with flag 214594579/42768000
2828.55/2828.04	c cleaning 292000 clauses out of 584014 with flag 216037261/43061000
2849.87/2849.27	c cleaning 293002 clauses out of 586015 with flag 217554631/43355001
2872.63/2872.03	c cleaning 294003 clauses out of 588013 with flag 218996276/43650001
2894.48/2893.92	c cleaning 294996 clauses out of 590009 with flag 220452863/43946000
2918.43/2917.92	c cleaning 296001 clauses out of 592013 with flag 221916158/44243000
2941.58/2941.13	c cleaning 297000 clauses out of 594013 with flag 223365492/44541001
2965.61/2965.23	c cleaning 298002 clauses out of 596013 with flag 224834335/44840001
2990.08/2989.61	c cleaning 298996 clauses out of 598010 with flag 226300161/45140000
3011.43/3011.00	c cleaning 300000 clauses out of 600015 with flag 227800193/45441001
3027.81/3027.40	c cleaning 300999 clauses out of 602014 with flag 229251328/45743000
3043.97/3043.61	c cleaning 302002 clauses out of 604016 with flag 230659975/46046001
3061.13/3060.85	c cleaning 303000 clauses out of 606013 with flag 232120751/46350000
3080.79/3080.51	c cleaning 304001 clauses out of 608013 with flag 233569630/46655000
3099.31/3098.48	c cleaning 305000 clauses out of 610012 with flag 235032543/46961000
3116.88/3116.02	c cleaning 305996 clauses out of 612012 with flag 236477488/47268000
3135.04/3134.29	c cleaning 307000 clauses out of 614018 with flag 237847539/47576002
3157.69/3156.95	c cleaning 307994 clauses out of 616016 with flag 239391691/47885000
3202.70/3202.07	c cleaning 309000 clauses out of 618023 with flag 240737118/48195001
3230.32/3229.60	c cleaning 310006 clauses out of 620022 with flag 242187697/48506000
3246.68/3246.05	c cleaning 311001 clauses out of 622016 with flag 243672244/48818000
3262.35/3261.77	c cleaning 312001 clauses out of 624016 with flag 245177846/49131001
3278.91/3278.32	c cleaning 313003 clauses out of 626015 with flag 246694550/49445001
3295.97/3295.41	c cleaning 314000 clauses out of 628012 with flag 248223776/49760001
3314.72/3314.12	c cleaning 314996 clauses out of 630012 with flag 249835067/50076001
3332.17/3331.64	c cleaning 316002 clauses out of 632015 with flag 251477803/50393000
3349.72/3349.28	c cleaning 316997 clauses out of 634014 with flag 253019867/50711001
3384.33/3383.92	c cleaning 317995 clauses out of 636016 with flag 254396038/51030000
3402.68/3402.30	c cleaning 319000 clauses out of 638022 with flag 255980770/51350001
3428.51/3428.29	c cleaning 319999 clauses out of 640021 with flag 257695467/51671000
3448.92/3448.51	c cleaning 321000 clauses out of 642023 with flag 259266854/51993001
3474.56/3474.23	c cleaning 322008 clauses out of 644023 with flag 260833987/52316001
3505.20/3504.96	c cleaning 322997 clauses out of 646015 with flag 262386858/52640001
3528.86/3528.65	c cleaning 323999 clauses out of 648017 with flag 264067449/52965000
3550.69/3550.58	c cleaning 325002 clauses out of 650018 with flag 265650689/53291000
3569.04/3569.00	c cleaning 326001 clauses out of 652017 with flag 267227766/53618001
3588.74/3588.53	c cleaning 327008 clauses out of 654015 with flag 268838253/53946000
3600.02/3599.81	c starts		: 71688
3600.02/3599.82	c timeout
3600.02/3599.83	c conflicts		: 54151344
3600.02/3599.83	c decisions		: 66724500
3600.02/3599.83	c propagations		: 485308781
3600.02/3599.83	c inspects		: 33211838101
3600.02/3599.83	c shortcuts		: 0
3600.02/3599.83	c learnt literals	: 0
3600.02/3599.83	c learnt binary clauses	: 0
3600.02/3599.83	c learnt ternary clauses	: 12
3600.02/3599.83	c learnt constraints	: 54151344
3600.02/3599.83	c ignored constraints	: 0
3600.02/3599.83	c root simplifications	: 0
3600.02/3599.83	c removed literals (reason simplification)	: 16385795
3600.02/3599.83	c reason swapping (by a shorter reason)	: 0
3600.02/3599.83	c Calls to reduceDB	: 324
3600.02/3599.83	c Number of update (reduction) of LBD	: 4620940
3600.02/3599.83	c Imported unit clauses	: 0
3600.02/3599.83	c No decision after first conflict	: false
3600.02/3599.83	c number of reductions to clauses (during analyze)	: 0
3600.02/3599.83	c number of learned constraints concerned by reduction	: 0
3600.02/3599.83	c number of learning phase by resolution	: 0
3600.02/3599.83	c number of learning phase by cutting planes	: 0
3600.02/3599.83	c number of rounding to 1 operations	: 0
3600.02/3599.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3599.83	c number of reductions of the coefficients by power 2 	: 0
3600.02/3599.83	c number of right shift for reduction by power 2 	: 0
3600.02/3599.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3599.83	c number of ending skipping 	: 0
3600.02/3599.83	c number of internal skipping 	: 0
3600.02/3599.83	c number of derivation steps 	: 0
3600.02/3599.83	c number of skipped derivation steps 	: 0
3600.02/3599.83	c number of remaining unassigned 	: 0
3600.02/3599.83	c number of remaining assigned 	: 0
3600.02/3599.83	c number of falsified literals weakened from reason	: 0
3600.02/3599.83	c number of falsified literals weakened from conflict	: 0
3600.02/3599.83	c time for arithmetic operations	: 0
3600.02/3599.83	c minimum degree of deleted constraints	: null
3600.02/3599.83	c maximum degree of deleted constraints	: null
3600.02/3599.83	c number of deleted constraints	: 0
3600.02/3599.84	c speed (assignments/second)	: 134821.1397833511
3600.02/3599.84	c non guided choices	: 97228
3600.16/3599.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 532351
3600.16/3599.91	s UNKNOWN
3600.16/3599.91	c Total wall clock time (in seconds): 3599.772

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510084-1751197557/watcher-4510084-1751197557 -o /tmp/evaluation-result-4510084-1751197557/solver-4510084-1751197557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24635 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510084-1751197557.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
Starting watchdog thread
solver pid=25600, runsolver pid=25597
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.17 4.19 4.13 5/339 25618
/proc/meminfo: memFree=124748008/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=18930384 memory=57700 CPUtime=0.12 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 6564 0 0 0 10 2 0 0 20 0 18 0 35430219 19384713216 14425 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4732596 14425 5340 1 0 547603 0
[pid=25600/tid=25602] ppid=25597 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 5058 0 0 0 6 1 0 0 20 0 18 0 35430221 19384713216 14425 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35430223 19384713216 14425 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=18930384 memory=57385981078853 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35430223 19384713216 14425 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57700 KiB

[startup+0.20577 s]*
/proc/loadavg: 4.17 4.19 4.13 6/340 25619
/proc/meminfo: memFree=124744228/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=18996948 memory=62440 CPUtime=0.31 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 7249 0 0 0 29 2 0 0 20 0 19 0 35430219 19452874752 15610 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4749237 15610 5404 1 0 548344 0
[pid=25600/tid=25602] ppid=25597 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 5291 0 0 0 15 1 0 0 20 0 19 0 35430221 19452874752 15610 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=18996948 memory=13929 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 15610 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=18996948 memory=56286469424100 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 15610 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35430238 19452874752 15610 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62440 KiB

[startup+0.305711 s]*
/proc/loadavg: 4.17 4.19 4.13 6/340 25619
/proc/meminfo: memFree=124739188/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=18996948 memory=70332 CPUtime=0.5 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 9454 0 0 0 47 3 0 0 20 0 19 0 35430219 19452874752 17583 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4749237 17583 5404 1 0 549716 0
[pid=25600/tid=25602] ppid=25597 vsize=18996948 memory=-6000919476934371181 CPUtime=0.25 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 5311 0 0 0 24 1 0 0 20 0 19 0 35430221 19452874752 17583 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 17583 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 17583 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35430238 19452874752 17583 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70332 KiB

[startup+0.700193 s]
/proc/loadavg: 4.17 4.19 4.13 6/340 25619
/proc/meminfo: memFree=124733644/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=18996948 memory=83676 CPUtime=1.26 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 11891 0 0 0 123 3 0 0 20 0 19 0 35430219 19452874752 20919 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4749237 20919 5436 1 0 551387 0
[pid=25600/tid=25602] ppid=25597 vsize=18996948 memory=17152 CPUtime=0.63 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 5351 0 0 0 62 1 0 0 20 0 19 0 35430221 19452874752 20919 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 20919 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 20919 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35430238 19452874752 20919 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83676 KiB

[startup+1.50023 s]
/proc/loadavg: 4.17 4.19 4.13 6/340 25619
/proc/meminfo: memFree=124723988/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=18996948 memory=102364 CPUtime=2.57 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 15779 0 0 0 253 4 0 0 20 0 19 0 35430219 19452874752 25591 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4749237 25591 5436 1 0 551389 0
[pid=25600/tid=25602] ppid=25597 vsize=18996948 memory=0 CPUtime=1.42 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 5663 0 0 0 140 2 0 0 20 0 19 0 35430221 19452874752 25591 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 25591 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 25591 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=18996948 memory=4624 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35430238 19452874752 25591 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102364 KiB

[startup+3.10559 s]
/proc/loadavg: 4.17 4.19 4.13 5/340 25619
/proc/meminfo: memFree=124646428/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=18996948 memory=141476 CPUtime=4.22 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 16616 0 0 0 417 5 0 0 20 0 19 0 35430219 19452874752 35369 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4749237 35369 5436 1 0 551391 0
[pid=25600/tid=25602] ppid=25597 vsize=18996948 memory=10752 CPUtime=3.02 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 5960 0 0 0 299 3 0 0 20 0 19 0 35430221 19452874752 35369 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=18996948 memory=-6000919476934371181 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 35369 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35430223 19452874752 35369 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35430238 19452874752 35369 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141476 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.18 4.13 5/341 25620
/proc/meminfo: memFree=124613072/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=167716 CPUtime=7.42 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 18597 0 0 0 736 6 0 0 20 0 20 0 35430219 19521036288 41929 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 41929 5468 1 0 551680 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=0 CPUtime=6.19 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 6256 0 0 0 616 3 0 0 20 0 20 0 35430221 19521036288 41929 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 41929 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 41929 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=104412 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 41929 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167716 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.20 4.13 5/341 25620
/proc/meminfo: memFree=124572364/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=202816 CPUtime=13.84 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 21348 0 0 0 1377 7 0 0 20 0 20 0 35430219 19521036288 50704 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 50704 5500 1 0 551680 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=104412 CPUtime=12.53 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 7041 0 0 0 1250 3 0 0 20 0 20 0 35430221 19521036288 50704 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=174028 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 50704 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 50704 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 50704 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 13.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 202816 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.19 4.13 5/341 25620
/proc/meminfo: memFree=124319420/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=274656 CPUtime=26.66 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 22092 0 0 0 2657 9 0 0 20 0 20 0 35430219 19521036288 68664 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 68664 5500 1 0 551680 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=174028 CPUtime=25.23 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 7255 0 0 0 2520 3 0 0 20 0 20 0 35430221 19521036288 68664 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 68664 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=-6000919476934371181 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 68664 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 68664 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 26.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 274656 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.17 4.12 5/341 25621
/proc/meminfo: memFree=123997096/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=446808 CPUtime=52.36 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 22429 0 0 0 5223 13 0 0 20 0 20 0 35430219 19521036288 111702 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 111702 5500 1 0 551680 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=14720 CPUtime=50.62 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.39 4.20 4.12 5/340 26063
/proc/meminfo: memFree=114384068/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3282.9 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 115412 0 0 0 328180 110 0 0 20 0 20 0 35430219 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548350 5500 1 0 562149 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3269.55 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 61353 0 0 0 326935 20 0 0 20 0 20 0 35430221 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 1939 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=10112 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3282.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.21 4.12 5/340 26130
/proc/meminfo: memFree=113697576/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3342.84 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 116354 0 0 0 334173 111 0 0 20 0 20 0 35430219 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548350 5500 1 0 562149 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3329.25 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 61643 0 0 0 332905 20 0 0 20 0 20 0 35430221 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 1939 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3342.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.20 4.12 5/340 26132
/proc/meminfo: memFree=112788152/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3402.68 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 117168 0 0 0 340156 112 0 0 20 0 20 0 35430219 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548350 5500 1 0 562149 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3389.09 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 62336 0 0 0 338888 21 0 0 20 0 20 0 35430221 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 1939 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548350 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3402.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.22 4.13 5/339 26134
/proc/meminfo: memFree=110317692/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193656 CPUtime=3462.69 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 119359 0 0 0 346156 113 0 0 20 0 20 0 35430219 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548414 5500 1 0 562203 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3448.75 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 63374 0 0 0 344854 21 0 0 20 0 20 0 35430221 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 2024 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=2193656 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3462.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.23 4.14 5/339 26202
/proc/meminfo: memFree=114175084/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193656 CPUtime=3522.56 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 119776 0 0 0 352143 113 0 0 20 0 20 0 35430219 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548414 5500 1 0 562203 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=2193400 CPUtime=3508.61 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 63680 0 0 0 350840 21 0 0 20 0 20 0 35430221 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=17152 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 2116 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=-6000919507016181357 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3522.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.13 5/340 26272
/proc/meminfo: memFree=106283100/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193656 CPUtime=3582.56 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 120543 0 0 0 358142 114 0 0 20 0 20 0 35430219 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548414 5500 1 0 562203 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=17152 CPUtime=3568.27 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 63951 0 0 0 356806 21 0 0 20 0 20 0 35430221 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 2116 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=2193656 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3582.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3599.8 s]
/proc/loadavg: 4.19 4.21 4.14 5/341 26342
/proc/meminfo: memFree=101326488/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19063512 memory=2193656 CPUtime=3600.02 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 120621 0 0 0 359887 115 0 0 20 0 20 0 35430219 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4765878 548414 5500 1 0 562203 0
[pid=25600/tid=25602] ppid=25597 vsize=19063512 memory=8730212 CPUtime=3585.72 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) R 25597 25600 24622 0 -1 4194368 64022 0 0 0 358551 21 0 0 20 0 20 0 35430221 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19063512 memory=6768 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19063512 memory=-6000919476934371181 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 2116 0 0 0 0 0 0 0 20 0 20 0 35430223 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25619] ppid=25597 vsize=19063512 memory=26136 CPUtime=0 cores=5,7
/proc/25600/task/25619/stat : 25619 (Timer-0) S 25597 25600 24622 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35430238 19521036288 548414 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2193656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.02 s, system=1.16636 s

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

[startup+3599.9 s]
/proc/loadavg: 4.19 4.21 4.14 5/341 26342
/proc/meminfo: memFree=101326488/131249992 swapFree=33010672/33010684
[pid=25600] ppid=25597 vsize=19263204 memory=2194424 CPUtime=3600.16 cores=5,7
/proc/25600/stat : 25600 (java) S 25597 25600 24622 0 -1 4194304 122761 0 0 0 359901 115 0 0 20 0 21 0 35430219 19725520896 548606 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
/proc/25600/statm: 4815801 548606 5532 1 0 563144 0
[pid=25600/tid=25602] ppid=25597 vsize=19263204 memory=-6000919507016181357 CPUtime=3585.73 cores=5,7
/proc/25600/task/25602/stat : 25602 (java) S 25597 25600 24622 0 -1 4194368 64176 0 0 0 358552 21 0 0 20 0 21 0 35430221 19725520896 548606 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25611] ppid=25597 vsize=19263204 memory=2193400 CPUtime=0 cores=5,7
/proc/25600/task/25611/stat : 25611 (Finalizer) S 25597 25600 24622 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 35430223 19725520896 548606 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
[pid=25600/tid=25618] ppid=25597 vsize=19263204 memory=2193656 CPUtime=0 cores=5,7
/proc/25600/task/25618/stat : 25618 (Common-Cleaner) S 25597 25600 24622 0 -1 4194368 2116 0 0 0 0 0 0 0 20 0 21 0 35430223 19725520896 548606 18446744073709551615 94849187250176 94849187253872 140730455927616 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94849187261688 94849187262480 94849198891008 140730455935361 140730455935462 140730455935462 140730455941064 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2194424 KiB

Child status: 143

Real time (s): 3599.93
CPU time (s): 3600.19
CPU user time (s): 3599.02
CPU system time (s): 1.16636
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2194424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.16636
maximum resident set size= 2194680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105515
involuntary context switches= 20411


# summary of solver processes directly reported to runsolver:
#   pid: 25600
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3599.02
#   total CPU system time (s): 1.16636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4971 second user time and 16.2422 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-06-29 13:45:57
IDJOB=4510084
IDBENCH=159819
IDSOLVER=3363
FILE ID=nodeC035/4510084-1751197557
RUNJOBID= nodeC035-1751193887-24635
SLURM_JOB_ID= 9587593
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510084-1751197557/watcher-4510084-1751197557 -o /tmp/evaluation-result-4510084-1751197557/solver-4510084-1751197557 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751193887-24635 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510084-1751197557.opb

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

MD5SUM BENCH= f61f810767e626cf4ffbb78e9de33430
RANDOM SEED=1007659703

nodeC035 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.776
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.750
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.51
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.459
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.51
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		: 3594.576
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.51
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.747
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124769488 kB
MemAvailable:   127224512 kB
Buffers:            2352 kB
Cached:          3249480 kB
SwapCached:            8 kB
Active:          2897736 kB
Inactive:        2964784 kB
Active(anon):    2622712 kB
Inactive(anon):     6036 kB
Active(file):     275024 kB
Inactive(file):  2958748 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               756 kB
Writeback:            28 kB
AnonPages:       2613784 kB
Mapped:           122672 kB
Shmem:             18056 kB
KReclaimable:     120980 kB
Slab:             207964 kB
SReclaimable:     120980 kB
SUnreclaim:        86984 kB
KernelStack:        5200 kB
PageTables:         8768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7097912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2402304 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432664 MiB
End job on nodeC035 at 2025-06-29 14:45:57