Trace number 4490987

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)196 3600.43 3438.47

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
MD5SUM0fa37067d8fd8d743bdd08ab1a39bb11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark165
Best CPU time to get the best result obtained on this benchmark0.053286
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1073
Total number of constraints832
Number of constraints which are clauses832
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 constraint2
Maximum length of a constraint19
Number of terms in the objective function 1073
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1073
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1073
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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-4490987-1751383736.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  objective function found
0.12/0.20	c ... done. Wall clock time 0.064s.
0.12/0.20	c declared #vars     1073
0.12/0.20	c #constraints  832
0.12/0.20	c constraints type 
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 73
0.12/0.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 759
0.12/0.20	c 832 constraints processed.
0.30/0.22	c objective function length is 1073 literals
0.30/0.24	c SATISFIABLE
0.30/0.24	c OPTIMIZING...
0.30/0.24	c Got one! Elapsed wall clock time (in seconds):0.108
0.30/0.24	o 199
0.30/0.25	c Got one! Elapsed wall clock time (in seconds):0.12
0.30/0.25	o 198
0.30/0.26	c Got one! Elapsed wall clock time (in seconds):0.129
0.30/0.26	o 197
0.49/0.32	c Got one! Elapsed wall clock time (in seconds):0.188
0.49/0.32	o 196
2.63/1.44	c cleaning 2544 clauses out of 5101 with flag 10548/5101
4.04/2.14	c cleaning 4270 clauses out of 8556 with flag 22888/11100
4.97/2.80	c cleaning 5637 clauses out of 11287 with flag 37206/18101
5.76/3.51	c cleaning 6819 clauses out of 13649 with flag 53763/26100
6.59/4.31	c cleaning 7907 clauses out of 15830 with flag 73326/35100
7.86/5.30	c cleaning 8954 clauses out of 17923 with flag 95065/45100
8.89/6.25	c cleaning 9975 clauses out of 19970 with flag 118940/56101
10.02/7.37	c cleaning 10982 clauses out of 21994 with flag 145140/68100
11.31/8.50	c cleaning 11999 clauses out of 24013 with flag 173629/81101
12.55/9.73	c cleaning 12999 clauses out of 26014 with flag 204054/95101
13.74/11.00	c cleaning 13995 clauses out of 28015 with flag 236804/110101
15.40/12.53	c cleaning 15001 clauses out of 30019 with flag 270591/126100
17.12/14.19	c cleaning 16003 clauses out of 32018 with flag 306190/143100
18.91/15.84	c cleaning 16997 clauses out of 34015 with flag 345860/161100
20.62/17.51	c cleaning 17998 clauses out of 36018 with flag 387824/180100
22.47/19.33	c cleaning 18999 clauses out of 38020 with flag 431566/200100
24.45/21.26	c cleaning 20002 clauses out of 40021 with flag 477814/221100
26.45/23.20	c cleaning 21002 clauses out of 42019 with flag 526449/243100
28.73/25.47	c cleaning 21999 clauses out of 44017 with flag 577645/266100
31.26/27.84	c cleaning 22996 clauses out of 46019 with flag 630557/290101
33.90/30.32	c cleaning 24002 clauses out of 48022 with flag 686108/315100
36.29/32.76	c cleaning 24997 clauses out of 50021 with flag 743410/341101
39.16/35.48	c cleaning 25999 clauses out of 52024 with flag 802734/368101
42.20/38.30	c cleaning 27004 clauses out of 54026 with flag 864410/396102
45.07/41.14	c cleaning 28000 clauses out of 56020 with flag 928348/425100
47.97/44.01	c cleaning 29000 clauses out of 58020 with flag 994654/455100
51.03/47.03	c cleaning 30001 clauses out of 60020 with flag 1062433/486100
54.24/50.10	c cleaning 31000 clauses out of 62020 with flag 1131250/518101
57.32/53.21	c cleaning 32002 clauses out of 64020 with flag 1203762/551101
60.84/56.69	c cleaning 32999 clauses out of 66019 with flag 1278417/585102
64.56/60.27	c cleaning 33997 clauses out of 68018 with flag 1357281/620100
68.57/64.08	c cleaning 35004 clauses out of 70022 with flag 1438811/656101
72.49/67.82	c cleaning 35998 clauses out of 72017 with flag 1523354/693100
76.16/71.40	c cleaning 36999 clauses out of 74019 with flag 1612486/731100
79.86/75.02	c cleaning 38001 clauses out of 76021 with flag 1702090/770101
83.79/78.88	c cleaning 38999 clauses out of 78020 with flag 1794493/810101
88.03/82.92	c cleaning 39996 clauses out of 80020 with flag 1888843/851100
92.17/86.95	c cleaning 41006 clauses out of 82025 with flag 1982356/893101
96.23/90.96	c cleaning 41999 clauses out of 84019 with flag 2078902/936101
100.60/95.26	c cleaning 42998 clauses out of 86019 with flag 2180248/980100
105.02/99.55	c cleaning 43996 clauses out of 88021 with flag 2285807/1025100
109.56/103.97	c cleaning 44992 clauses out of 90026 with flag 2393093/1071101
114.27/108.50	c cleaning 46004 clauses out of 92034 with flag 2501574/1118101
119.09/113.28	c cleaning 47007 clauses out of 94029 with flag 2614292/1166100
124.12/118.11	c cleaning 47996 clauses out of 96023 with flag 2727134/1215101
129.14/123.09	c cleaning 48995 clauses out of 98026 with flag 2841991/1265100
134.60/128.25	c cleaning 49997 clauses out of 100032 with flag 2959240/1316101
140.21/133.63	c cleaning 51009 clauses out of 102035 with flag 3080951/1368101
145.93/139.21	c cleaning 51994 clauses out of 104025 with flag 3203208/1421100
151.68/144.93	c cleaning 53008 clauses out of 106031 with flag 3328165/1475100
157.84/150.85	c cleaning 54005 clauses out of 108023 with flag 3455300/1530100
163.86/156.76	c cleaning 54995 clauses out of 110018 with flag 3586404/1586100
170.32/162.91	c cleaning 55997 clauses out of 112024 with flag 3719505/1643101
176.25/168.77	c cleaning 57005 clauses out of 114026 with flag 3854749/1701100
182.27/174.60	c cleaning 57999 clauses out of 116021 with flag 3990636/1760100
188.72/180.99	c cleaning 58998 clauses out of 118023 with flag 4130581/1820101
195.14/187.28	c cleaning 60001 clauses out of 120024 with flag 4272903/1881100
202.19/193.77	c cleaning 61004 clauses out of 122023 with flag 4416678/1943100
208.83/200.20	c cleaning 62004 clauses out of 124019 with flag 4561798/2006100
215.24/206.53	c cleaning 63002 clauses out of 126016 with flag 4706488/2070101
222.22/213.20	c cleaning 64000 clauses out of 128013 with flag 4854068/2135100
229.06/219.98	c cleaning 64993 clauses out of 130013 with flag 5008664/2201100
236.41/227.11	c cleaning 66003 clauses out of 132020 with flag 5163049/2268100
243.19/233.89	c cleaning 67001 clauses out of 134018 with flag 5319753/2336101
250.43/240.96	c cleaning 67995 clauses out of 136017 with flag 5478359/2405101
257.60/248.09	c cleaning 69001 clauses out of 138021 with flag 5640635/2475100
265.61/255.91	c cleaning 70001 clauses out of 140021 with flag 5805474/2546101
273.20/263.44	c cleaning 70993 clauses out of 142020 with flag 5973001/2618101
281.07/271.16	c cleaning 71995 clauses out of 144027 with flag 6142032/2691101
289.40/279.24	c cleaning 73003 clauses out of 146031 with flag 6313412/2765100
297.60/287.22	c cleaning 73999 clauses out of 148029 with flag 6488505/2840101
305.68/295.20	c cleaning 74999 clauses out of 150029 with flag 6662596/2916100
314.33/303.73	c cleaning 76005 clauses out of 152030 with flag 6840728/2993100
323.15/312.27	c cleaning 77003 clauses out of 154027 with flag 7019976/3071102
332.24/321.11	c cleaning 78001 clauses out of 156023 with flag 7206000/3150101
341.11/329.94	c cleaning 78996 clauses out of 158021 with flag 7392257/3230100
351.14/339.52	c cleaning 80002 clauses out of 160028 with flag 7581575/3311103
360.46/348.74	c cleaning 81004 clauses out of 162024 with flag 7767362/3393101
369.48/357.69	c cleaning 82000 clauses out of 164020 with flag 7950557/3476101
380.07/367.76	c cleaning 82999 clauses out of 166019 with flag 8132822/3560100
389.95/377.38	c cleaning 84005 clauses out of 168021 with flag 8316136/3645101
400.02/387.29	c cleaning 84994 clauses out of 170016 with flag 8505775/3731101
409.94/397.09	c cleaning 86000 clauses out of 172023 with flag 8697820/3818102
420.34/407.39	c cleaning 86999 clauses out of 174022 with flag 8894097/3906101
431.19/417.98	c cleaning 87995 clauses out of 176023 with flag 9087859/3995101
442.14/428.73	c cleaning 89000 clauses out of 178027 with flag 9284114/4085100
453.56/439.74	c cleaning 89995 clauses out of 180028 with flag 9483343/4176101
465.70/450.98	c cleaning 91007 clauses out of 182033 with flag 9693131/4268101
476.54/461.42	c cleaning 92002 clauses out of 184025 with flag 9907785/4361100
487.73/472.44	c cleaning 92995 clauses out of 186024 with flag 10124616/4455101
499.34/483.96	c cleaning 94002 clauses out of 188028 with flag 10343513/4550100
512.01/496.19	c cleaning 94998 clauses out of 190026 with flag 10563221/4646100
522.90/506.91	c cleaning 96001 clauses out of 192029 with flag 10786105/4743101
535.63/519.29	c cleaning 97001 clauses out of 194028 with flag 11011063/4841101
548.00/531.28	c cleaning 98002 clauses out of 196026 with flag 11239489/4940100
560.48/543.56	c cleaning 98999 clauses out of 198024 with flag 11466929/5040100
572.64/555.10	c cleaning 100003 clauses out of 200026 with flag 11698339/5141101
584.78/567.14	c cleaning 101002 clauses out of 202022 with flag 11931853/5243100
598.28/580.24	c cleaning 102001 clauses out of 204021 with flag 12167617/5346101
610.18/591.92	c cleaning 102995 clauses out of 206020 with flag 12406505/5450101
622.17/603.70	c cleaning 103997 clauses out of 208024 with flag 12645850/5555100
634.98/616.37	c cleaning 105002 clauses out of 210027 with flag 12888355/5661100
647.10/628.27	c cleaning 106000 clauses out of 212026 with flag 13134416/5768101
660.31/640.62	c cleaning 107000 clauses out of 214026 with flag 13383265/5876101
673.29/653.28	c cleaning 108002 clauses out of 216025 with flag 13634269/5985100
687.02/666.79	c cleaning 109001 clauses out of 218024 with flag 13886139/6095101
700.35/679.79	c cleaning 110001 clauses out of 220022 with flag 14140279/6206100
713.58/692.75	c cleaning 110999 clauses out of 222022 with flag 14396897/6318101
728.01/706.96	c cleaning 112002 clauses out of 224022 with flag 14656347/6431100
742.32/720.92	c cleaning 112999 clauses out of 226020 with flag 14917952/6545100
755.93/734.34	c cleaning 113996 clauses out of 228022 with flag 15181583/6660101
771.80/749.97	c cleaning 115005 clauses out of 230025 with flag 15448750/6776100
786.27/764.19	c cleaning 115998 clauses out of 232020 with flag 15717491/6893100
801.75/779.17	c cleaning 117002 clauses out of 234022 with flag 15989286/7011100
818.98/795.27	c cleaning 117999 clauses out of 236020 with flag 16261568/7130100
833.29/809.16	c cleaning 119003 clauses out of 238022 with flag 16536503/7250101
848.76/824.28	c cleaning 119995 clauses out of 240019 with flag 16814373/7371101
864.94/840.02	c cleaning 121002 clauses out of 242023 with flag 17093558/7493100
881.84/856.58	c cleaning 121997 clauses out of 244022 with flag 17375405/7616101
897.16/871.52	c cleaning 123000 clauses out of 246024 with flag 17659748/7740100
912.93/886.81	c cleaning 124001 clauses out of 248025 with flag 17946901/7865101
929.75/902.46	c cleaning 124993 clauses out of 250024 with flag 18235540/7991101
946.94/919.29	c cleaning 126004 clauses out of 252031 with flag 18527209/8118101
963.21/935.18	c cleaning 126997 clauses out of 254027 with flag 18822298/8246101
982.64/953.42	c cleaning 128000 clauses out of 256030 with flag 19119573/8375101
999.07/969.48	c cleaning 128998 clauses out of 258029 with flag 19418826/8505100
1015.83/985.72	c cleaning 130004 clauses out of 260033 with flag 19719171/8636102
1033.27/1002.06	c cleaning 130997 clauses out of 262027 with flag 20021991/8768100
1052.36/1020.60	c cleaning 132004 clauses out of 264030 with flag 20326922/8901100
1069.32/1036.44	c cleaning 132999 clauses out of 266027 with flag 20636305/9035101
1087.90/1054.58	c cleaning 134004 clauses out of 268028 with flag 20948083/9170101
1108.29/1073.61	c cleaning 135001 clauses out of 270023 with flag 21259929/9306100
1127.24/1091.03	c cleaning 135997 clauses out of 272022 with flag 21572995/9443100
1148.85/1111.06	c cleaning 136999 clauses out of 274026 with flag 21891480/9581101
1169.47/1131.36	c cleaning 138006 clauses out of 276027 with flag 22211657/9720101
1190.30/1149.71	c cleaning 138994 clauses out of 278021 with flag 22532181/9860101
1210.26/1168.21	c cleaning 139996 clauses out of 280027 with flag 22856666/10001101
1229.43/1187.00	c cleaning 141001 clauses out of 282031 with flag 23181997/10143101
1249.26/1205.56	c cleaning 141998 clauses out of 284030 with flag 23508185/10286101
1269.34/1225.19	c cleaning 143008 clauses out of 286032 with flag 23840151/10430101
1288.34/1243.51	c cleaning 144002 clauses out of 288023 with flag 24173030/10575100
1308.14/1262.15	c cleaning 144996 clauses out of 290022 with flag 24509330/10721101
1328.25/1281.83	c cleaning 146002 clauses out of 292025 with flag 24848873/10868100
1348.31/1301.33	c cleaning 146996 clauses out of 294023 with flag 25191130/11016100
1369.14/1320.89	c cleaning 147999 clauses out of 296028 with flag 25534802/11165101
1391.71/1342.99	c cleaning 148999 clauses out of 298028 with flag 25882857/11315100
1412.52/1363.17	c cleaning 149994 clauses out of 300029 with flag 26234810/11466100
1435.87/1385.14	c cleaning 151003 clauses out of 302036 with flag 26587805/11618101
1457.57/1406.34	c cleaning 152004 clauses out of 304032 with flag 26942023/11771100
1479.68/1427.98	c cleaning 152997 clauses out of 306028 with flag 27296721/11925100
1501.72/1448.55	c cleaning 154004 clauses out of 308032 with flag 27654244/12080101
1524.89/1471.27	c cleaning 155000 clauses out of 310027 with flag 28013835/12236100
1545.81/1491.50	c cleaning 156005 clauses out of 312027 with flag 28379639/12393100
1568.31/1512.54	c cleaning 156995 clauses out of 314022 with flag 28745511/12551100
1590.59/1534.28	c cleaning 158000 clauses out of 316027 with flag 29115109/12710100
1612.76/1555.85	c cleaning 159003 clauses out of 318028 with flag 29485231/12870101
1634.93/1577.61	c cleaning 159995 clauses out of 320024 with flag 29861460/13031100
1659.16/1600.47	c cleaning 161003 clauses out of 322030 with flag 30235378/13193101
1683.63/1624.32	c cleaning 162000 clauses out of 324026 with flag 30610554/13356100
1707.47/1646.73	c cleaning 162997 clauses out of 326027 with flag 30991242/13520101
1729.71/1668.40	c cleaning 164001 clauses out of 328030 with flag 31369647/13685101
1754.77/1691.92	c cleaning 165001 clauses out of 330029 with flag 31752315/13851101
1779.74/1716.34	c cleaning 165998 clauses out of 332027 with flag 32137590/14018100
1803.89/1740.00	c cleaning 167002 clauses out of 334030 with flag 32524878/14186101
1829.40/1763.91	c cleaning 168002 clauses out of 336027 with flag 32915003/14355100
1852.82/1786.82	c cleaning 168996 clauses out of 338026 with flag 33306429/14525101
1881.14/1813.66	c cleaning 170001 clauses out of 340029 with flag 33701560/14696100
1907.64/1838.02	c cleaning 170994 clauses out of 342028 with flag 34101030/14868100
1932.99/1862.83	c cleaning 172003 clauses out of 344035 with flag 34498261/15041101
1962.32/1890.66	c cleaning 173002 clauses out of 346032 with flag 34898878/15215101
1988.10/1915.88	c cleaning 173997 clauses out of 348030 with flag 35303352/15390101
2015.02/1941.15	c cleaning 174999 clauses out of 350032 with flag 35708888/15566100
2043.47/1967.95	c cleaning 176000 clauses out of 352033 with flag 36118767/15743100
2072.54/1995.15	c cleaning 177002 clauses out of 354033 with flag 36528345/15921100
2100.84/2022.88	c cleaning 177995 clauses out of 356032 with flag 36942414/16100101
2128.52/2048.95	c cleaning 179002 clauses out of 358037 with flag 37357392/16280101
2155.99/2075.75	c cleaning 180001 clauses out of 360034 with flag 37775581/16461100
2185.30/2103.52	c cleaning 181006 clauses out of 362033 with flag 38195479/16643100
2216.11/2133.88	c cleaning 181996 clauses out of 364027 with flag 38617145/16826100
2244.29/2161.42	c cleaning 183000 clauses out of 366032 with flag 39042580/17010101
2273.15/2188.73	c cleaning 184001 clauses out of 368031 with flag 39467531/17195100
2302.70/2217.72	c cleaning 185003 clauses out of 370031 with flag 39895382/17381101
2333.56/2246.96	c cleaning 185996 clauses out of 372028 with flag 40328878/17568101
2366.13/2278.86	c cleaning 187001 clauses out of 374032 with flag 40762550/17756101
2399.02/2309.80	c cleaning 187996 clauses out of 376031 with flag 41198294/17945101
2428.29/2338.43	c cleaning 189005 clauses out of 378035 with flag 41637379/18135101
2459.88/2368.23	c cleaning 189994 clauses out of 380030 with flag 42077500/18326101
2491.71/2399.41	c cleaning 191007 clauses out of 382036 with flag 42524147/18518101
2526.37/2432.35	c cleaning 192002 clauses out of 384028 with flag 42973025/18711100
2557.33/2461.56	c cleaning 192993 clauses out of 386026 with flag 43422898/18905100
2588.72/2492.45	c cleaning 194006 clauses out of 388033 with flag 43875585/19100100
2623.64/2525.78	c cleaning 195001 clauses out of 390028 with flag 44330863/19296101
2656.53/2556.07	c cleaning 196001 clauses out of 392027 with flag 44789225/19493101
2688.73/2587.55	c cleaning 196992 clauses out of 394026 with flag 45249681/19691101
2723.84/2620.66	c cleaning 198004 clauses out of 396033 with flag 45712251/19890100
2757.48/2651.85	c cleaning 199003 clauses out of 398029 with flag 46176226/20090100
2788.66/2682.39	c cleaning 200001 clauses out of 400027 with flag 46643702/20291101
2823.66/2715.61	c cleaning 201000 clauses out of 402025 with flag 47112707/20493100
2858.23/2747.83	c cleaning 202000 clauses out of 404026 with flag 47584075/20696101
2891.65/2779.17	c cleaning 202999 clauses out of 406025 with flag 48057405/20900100
2925.40/2810.44	c cleaning 204002 clauses out of 408026 with flag 48534772/21105100
2957.25/2840.32	c cleaning 205001 clauses out of 410025 with flag 49012356/21311101
2990.39/2871.56	c cleaning 205994 clauses out of 412023 with flag 49494230/21518100
3025.53/2904.63	c cleaning 207002 clauses out of 414029 with flag 49978538/21726100
3064.29/2940.92	c cleaning 208001 clauses out of 416028 with flag 50464541/21935101
3098.34/2972.54	c cleaning 208997 clauses out of 418026 with flag 50953146/22145100
3134.05/3006.32	c cleaning 210001 clauses out of 420029 with flag 51446166/22356100
3173.97/3043.71	c cleaning 210997 clauses out of 422029 with flag 51939011/22568101
3209.54/3077.09	c cleaning 212001 clauses out of 424032 with flag 52434660/22781101
3243.90/3109.38	c cleaning 213000 clauses out of 426031 with flag 52934541/22995101
3280.11/3143.61	c cleaning 214002 clauses out of 428030 with flag 53434205/23210100
3319.55/3181.05	c cleaning 214998 clauses out of 430028 with flag 53936185/23426100
3355.09/3214.59	c cleaning 216004 clauses out of 432030 with flag 54442042/23643100
3392.77/3249.75	c cleaning 217000 clauses out of 434028 with flag 54949274/23861102
3431.17/3284.37	c cleaning 218002 clauses out of 436027 with flag 55458921/24080101
3473.84/3323.18	c cleaning 218998 clauses out of 438024 with flag 55971050/24300100
3512.44/3357.83	c cleaning 220001 clauses out of 440027 with flag 56486111/24521101
3551.52/3393.09	c cleaning 220997 clauses out of 442026 with flag 57001558/24743101
3591.01/3428.57	c cleaning 221996 clauses out of 444028 with flag 57521590/24966100
3600.09/3437.52	c starts		: 5
3600.09/3437.53	c conflicts		: 25049718
3600.09/3437.53	c decisions		: 34218990
3600.09/3437.53	c propagations		: 798246512
3600.09/3437.53	c inspects		: 9123098422
3600.09/3437.53	c shortcuts		: 0
3600.09/3437.53	c learnt literals	: 0
3600.09/3437.53	c learnt binary clauses	: 0
3600.09/3437.53	c learnt ternary clauses	: 0
3600.09/3437.53	c learnt constraints	: 25049718
3600.09/3437.53	c ignored constraints	: 0
3600.09/3437.53	c root simplifications	: 0
3600.09/3437.53	c removed literals (reason simplification)	: 1188603
3600.09/3437.53	c reason swapping (by a shorter reason)	: 0
3600.09/3437.53	c Calls to reduceDB	: 219
3600.09/3437.53	c Number of update (reduction) of LBD	: 2119957
3600.09/3437.53	c Imported unit clauses	: 0
3600.09/3437.53	c No decision after first conflict	: false
3600.09/3437.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3437.53	c number of learned constraints concerned by reduction	: 0
3600.09/3437.53	c number of learning phase by resolution	: 0
3600.09/3437.53	c number of learning phase by cutting planes	: 0
3600.09/3437.53	c number of rounding to 1 operations	: 0
3600.09/3437.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3437.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3437.53	c number of right shift for reduction by power 2 	: 0
3600.09/3437.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3437.54	c number of ending skipping 	: 0
3600.09/3437.54	c number of internal skipping 	: 0
3600.09/3437.54	c number of derivation steps 	: 0
3600.09/3437.54	c number of skipped derivation steps 	: 0
3600.09/3437.54	c number of remaining unassigned 	: 0
3600.09/3437.54	c number of remaining assigned 	: 0
3600.09/3437.54	c number of falsified literals weakened from reason	: 0
3600.09/3437.54	c number of falsified literals weakened from conflict	: 0
3600.09/3437.54	c time for arithmetic operations	: 0
3600.09/3437.54	c minimum degree of deleted constraints	: null
3600.09/3437.54	c maximum degree of deleted constraints	: null
3600.09/3437.54	c number of deleted constraints	: 0
3600.09/3437.54	c speed (assignments/second)	: 232230.13823608475
3600.09/3437.54	c non guided choices	: 0
3600.30/3437.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 305650
3600.30/3437.61	s SATISFIABLE
3600.30/3437.61	c Found 4 solution(s)
3600.30/3437.61	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 -x109 x110 -x111 x112 -x113 -x114 x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 x447 -x448 x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 x517 -x518 x519 x520 x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 x691 -x692 -x693 x694 x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 x879 x880 -x881 -x882 x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 
3600.30/3437.61	c objective function=196
3600.30/3437.62	c Total wall clock time (in seconds): 3437.485

Verifier Data 

OK	196

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490987-1751383736/watcher-4490987-1751383736 -o /tmp/evaluation-result-4490987-1751383736/solver-4490987-1751383736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751376307-54239 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490987-1751383736 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490987-1751383736.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.20 4.20 4.14 5/343 55381
/proc/meminfo: memFree=118276436/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=18930384 memory=57616 CPUtime=0.12 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 6553 0 0 0 10 2 0 0 20 0 18 0 54051479 19384713216 14404 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4732596 14404 5326 1 0 547603 0
[pid=55363/tid=55365] ppid=55360 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 5048 0 0 0 6 1 0 0 20 0 18 0 54051480 19384713216 14404 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54051482 19384713216 14404 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54051483 19384713216 14404 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57616 KiB

[startup+0.206038 s]*
/proc/loadavg: 4.20 4.20 4.14 7/343 55381
/proc/meminfo: memFree=118263016/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=18930384 memory=63892 CPUtime=0.3 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 7044 0 0 0 28 2 0 0 20 0 18 0 54051479 19384713216 15973 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4732596 15973 5422 1 0 547940 0
[pid=55363/tid=55365] ppid=55360 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 5297 0 0 0 14 1 0 0 20 0 18 0 54051480 19384713216 15973 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54051482 19384713216 15973 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54051483 19384713216 15973 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63892 KiB

[startup+0.306002 s]*
/proc/loadavg: 4.20 4.20 4.14 7/344 55382
/proc/meminfo: memFree=118249216/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=18996948 memory=77308 CPUtime=0.49 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 8789 0 0 0 46 3 0 0 20 0 19 0 54051479 19452874752 19327 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4749237 19327 5486 1 0 548761 0
[pid=55363/tid=55365] ppid=55360 vsize=18996948 memory=-6000919507049604970 CPUtime=0.25 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 5426 0 0 0 23 2 0 0 20 0 19 0 54051480 19452874752 19327 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54051482 19452874752 19327 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54051483 19452874752 19327 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54051502 19452874752 19327 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77308 KiB

[startup+0.700202 s]
/proc/loadavg: 4.20 4.20 4.14 6/344 55382
/proc/meminfo: memFree=118188536/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=166916 CPUtime=1.25 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 12087 0 0 0 119 6 0 0 20 0 20 0 54051479 19521036288 41729 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 41729 5518 1 0 551245 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=13568 CPUtime=0.62 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 5468 0 0 0 58 4 0 0 20 0 20 0 54051480 19521036288 41729 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 41729 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 41761 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 41761 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166916 KiB

[startup+1.50125 s]
/proc/loadavg: 4.20 4.20 4.14 6/345 55383
/proc/meminfo: memFree=118115888/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=185228 CPUtime=2.84 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 21129 0 0 0 275 9 0 0 20 0 20 0 54051479 19521036288 46307 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 46307 5518 1 0 553037 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=10880 CPUtime=1.36 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) S 55360 55363 54228 0 -1 4194368 6370 0 0 0 131 5 0 0 20 0 20 0 54051480 19521036288 46307 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 46307 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 46307 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=4752 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 46307 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185228 KiB

[startup+3.10592 s]
/proc/loadavg: 4.20 4.20 4.14 5/345 55383
/proc/meminfo: memFree=117631760/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=627928 CPUtime=5.33 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 23665 0 0 0 511 22 0 0 20 0 20 0 54051479 19521036288 156982 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 156982 5518 1 0 734779 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=10880 CPUtime=2.88 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) S 55360 55363 54228 0 -1 4194368 6979 0 0 0 272 16 0 0 20 0 20 0 54051480 19521036288 156982 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=-6000919507049604970 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 156982 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 156982 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 156982 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 627928 KiB

[startup+6.30021 s]
/proc/loadavg: 4.27 4.21 4.14 5/345 55383
/proc/meminfo: memFree=116649928/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=1496144 CPUtime=8.98 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 25187 0 0 0 855 43 0 0 20 0 20 0 54051479 19521036288 374036 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 374036 5518 1 0 1050216 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=0 CPUtime=5.87 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 7391 0 0 0 554 33 0 0 20 0 20 0 54051480 19521036288 374036 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 374036 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 374036 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=185228 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 374036 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1496144 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.21 4.14 5/345 55383
/proc/meminfo: memFree=115492192/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=2806848 CPUtime=15.63 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 26602 0 0 0 1488 75 0 0 20 0 20 0 54051479 19521036288 701712 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 701712 5518 1 0 1246585 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=185228 CPUtime=12.03 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 8138 0 0 0 1141 62 0 0 20 0 20 0 54051480 19521036288 701712 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 701712 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=2243852 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 701712 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 701712 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 15.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2806848 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.21 4.15 5/345 55383
/proc/meminfo: memFree=114253948/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=3161404 CPUtime=28.83 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 30943 0 0 0 2786 97 0 0 20 0 20 0 54051479 19521036288 790351 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 790351 5550 1 0 1246597 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=10880 CPUtime=24.37 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 9766 0 0 0 2356 81 0 0 20 0 20 0 54051480 19521036288 790351 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=2243852 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 790351 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 790351 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 790351 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 28.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3161404 KiB

[startup+51.106 s]
/proc/loadavg: 4.30 4.23 4.15 5/345 55383
/proc/meminfo: memFree=112672604/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=3722752 CPUtime=55.23 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 38307 0 0 0 5384 139 0 0 20 0 20 0 54051479 19521036288 930688 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 930688 5550 1 0 1246601 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=3722752 CPUtime=49.07 cores=4,6

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

Current children cumulated CPU time: 3236.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB

[startup+3162.3 s]
/proc/loadavg: 3.83 4.23 4.28 4/324 55593
/proc/meminfo: memFree=79070228/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3300.71 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 245364 0 0 0 326888 3183 0 0 20 0 20 0 54051479 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 1140930 5550 1 0 1154096 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3068.79 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 102546 0 0 0 303890 2989 0 0 20 0 20 0 54051480 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1555 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=10880 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3300.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB

[startup+3222.3 s]
/proc/loadavg: 3.86 4.15 4.24 4/324 55595
/proc/meminfo: memFree=78395340/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3362.98 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 245765 0 0 0 333068 3230 0 0 20 0 20 0 54051479 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 1140930 5550 1 0 1154096 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3127.4 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 102865 0 0 0 309705 3035 0 0 20 0 20 0 54051480 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1582 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3362.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB

[startup+3282.3 s]
/proc/loadavg: 3.84 4.08 4.21 4/324 55597
/proc/meminfo: memFree=77723424/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3429.17 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 248471 0 0 0 339633 3284 0 0 20 0 20 0 54051479 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 1140930 5550 1 0 1154120 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3185.76 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 105198 0 0 0 315492 3084 0 0 20 0 20 0 54051480 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1582 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3429.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB

[startup+3342.3 s]
/proc/loadavg: 3.43 3.91 4.14 4/321 55604
/proc/meminfo: memFree=77038080/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3494.96 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 254390 0 0 0 346158 3338 0 0 20 0 20 0 54051479 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 1140930 5550 1 0 1154120 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3244.01 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 108584 0 0 0 321268 3133 0 0 20 0 20 0 54051480 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1637 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3494.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB

[startup+3402.3 s]
/proc/loadavg: 3.30 3.79 4.08 4/321 55606
/proc/meminfo: memFree=76366492/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3560.89 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 258625 0 0 0 352693 3396 0 0 20 0 20 0 54051479 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 1140930 5550 1 0 1154120 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3302.58 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 110699 0 0 0 327075 3183 0 0 20 0 20 0 54051480 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1690 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3560.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3437.5 s]
/proc/loadavg: 3.29 3.73 4.05 4/321 55609
/proc/meminfo: memFree=75937328/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3600.09 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 258828 0 0 0 356579 3430 0 0 20 0 20 0 54051479 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4765878 1140930 5550 1 0 1154120 0
[pid=55363/tid=55365] ppid=55360 vsize=19063512 memory=4563720 CPUtime=3336.78 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 110871 0 0 0 330463 3215 0 0 20 0 20 0 54051480 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19063512 memory=4563720 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54051482 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1690 0 0 0 0 0 0 0 20 0 20 0 54051483 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55382] ppid=55360 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/55363/task/55382/stat : 55382 (Timer-0) S 55360 55363 54228 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54051502 19521036288 1140930 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4563720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.03 s, system=34.3995 s

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

[startup+3437.61 s]
/proc/loadavg: 3.29 3.73 4.05 4/321 55609
/proc/meminfo: memFree=75937328/131249996 swapFree=33005272/33010684
[pid=55363] ppid=55360 vsize=19263204 memory=4564616 CPUtime=3600.3 cores=4,6
/proc/55363/stat : 55363 (java) S 55360 55363 54228 0 -1 4194304 260345 0 0 0 356600 3430 0 0 20 0 21 0 54051479 19725520896 1141154 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
/proc/55363/statm: 4815801 1141154 5582 1 0 1155079 0
[pid=55363/tid=55365] ppid=55360 vsize=19263204 memory=10880 CPUtime=3336.89 cores=4,6
/proc/55363/task/55365/stat : 55365 (java) R 55360 55363 54228 0 -1 4194368 111019 0 0 0 330474 3215 0 0 20 0 21 0 54051480 19725520896 1141154 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55374] ppid=55360 vsize=19263204 memory=5632 CPUtime=0 cores=4,6
/proc/55363/task/55374/stat : 55374 (Finalizer) S 55360 55363 54228 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54051482 19725520896 1141154 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
[pid=55363/tid=55381] ppid=55360 vsize=19263204 memory=3200 CPUtime=0 cores=4,6
/proc/55363/task/55381/stat : 55381 (Common-Cleaner) S 55360 55363 54228 0 -1 4194368 1690 0 0 0 0 0 0 0 20 0 21 0 54051483 19725520896 1141154 18446744073709551615 93926185881600 93926185885296 140722067530752 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93926185893112 93926185893904 93926212411392 140722067532080 140722067532262 140722067532262 140722067537864 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4564616 KiB

[startup+3438 s]*
/proc/loadavg: 3.29 3.73 4.05 6/303 55612
/proc/meminfo: memFree=80504804/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3438.4 s]
/proc/loadavg: 3.29 3.73 4.05 6/303 55612
/proc/meminfo: memFree=80504804/131249996 swapFree=33005272/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3438.47
CPU time (s): 3600.43
CPU user time (s): 3566.03
CPU system time (s): 34.3995
CPU usage (%): 104.71
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5413936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.03
system time used= 34.3995
maximum resident set size= 5413936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 79561232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 156078
involuntary context switches= 22831


# summary of solver processes directly reported to runsolver:
#   pid: 55363
#   total CPU time (s): 3600.43
#   total CPU user time (s): 3566.03
#   total CPU system time (s): 34.3995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35083 second user time and 17.1954 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 17:28:56
IDJOB=4490987
IDBENCH=147641
IDSOLVER=3364
FILE ID=nodeC023/4490987-1751383736
RUNJOBID= nodeC023-1751376307-54239
SLURM_JOB_ID= 9598216
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-addm4.r.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490987-1751383736/watcher-4490987-1751383736 -o /tmp/evaluation-result-4490987-1751383736/solver-4490987-1751383736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751376307-54239 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4490987-1751383736 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4490987-1751383736.opb

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

MD5SUM BENCH= 0fa37067d8fd8d743bdd08ab1a39bb11
RANDOM SEED=1277032794

nodeC023 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.891
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.78
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.922
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        118288408 kB
MemAvailable:   121001704 kB
Buffers:            1328 kB
Cached:          3511748 kB
SwapCached:          428 kB
Active:          8961104 kB
Inactive:        3355168 kB
Active(anon):    8762120 kB
Inactive(anon):    54636 kB
Active(file):     198984 kB
Inactive(file):  3300532 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1022108 kB
Writeback:             0 kB
AnonPages:       8806048 kB
Mapped:           118756 kB
Shmem:             13380 kB
KReclaimable:     106036 kB
Slab:             226844 kB
SReclaimable:     106036 kB
SUnreclaim:       120808 kB
KernelStack:        5280 kB
PageTables:        20848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11170400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8585216 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC023 at 2025-07-01 18:26:15