Trace number 4522191

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)-58 3600.23 3674.34

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
MD5SUM052b56f2871560e549ba2a2e5aff1011
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-70
Best CPU time to get the best result obtained on this benchmark3535.65
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints17013
Number of constraints which are clauses17013
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 constraint16
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
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.14	c solving HOME/instance-4522191-1751597762.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  objective function found
0.51/0.38	c ... done. Wall clock time 0.238s.
0.51/0.38	c declared #vars     200
0.51/0.38	c #constraints  17013
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 246
0.51/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16767
0.51/0.38	c 17013 constraints processed.
0.51/0.40	c objective function length is 200 literals
0.90/0.54	c SATISFIABLE
0.90/0.54	c OPTIMIZING...
0.90/0.54	c Got one! Elapsed wall clock time (in seconds):0.402
0.90/0.54	o -32
0.90/0.54	c Got one! Elapsed wall clock time (in seconds):0.409
0.90/0.54	o -33
0.90/0.55	c Got one! Elapsed wall clock time (in seconds):0.413
0.90/0.55	o -43
1.66/0.97	c Got one! Elapsed wall clock time (in seconds):0.835
1.66/0.97	o -45
2.65/1.45	c cleaning 2971 clauses out of 5943 with flag 11453/5943
4.43/2.31	c cleaning 4481 clauses out of 8970 with flag 33391/11941
5.77/3.13	c cleaning 5744 clauses out of 11489 with flag 66518/18941
6.94/4.08	c cleaning 6870 clauses out of 13746 with flag 109203/26942
8.14/5.13	c cleaning 7933 clauses out of 15875 with flag 151801/35941
9.00/5.82	c Got one! Elapsed wall clock time (in seconds):5.684
9.00/5.82	o -46
9.52/6.37	c cleaning 9693 clauses out of 19386 with flag 16053/47385
10.41/7.03	c cleaning 7845 clauses out of 15694 with flag 38735/53386
10.61/7.20	c Got one! Elapsed wall clock time (in seconds):7.067
10.61/7.20	o -47
11.02/7.61	c cleaning 6764 clauses out of 13551 with flag 13740/59088
11.53/8.15	c cleaning 6384 clauses out of 12788 with flag 33187/65089
12.22/8.81	c cleaning 6697 clauses out of 13405 with flag 59035/72090
13.23/9.56	c cleaning 7353 clauses out of 14708 with flag 80139/80090
14.13/10.46	c cleaning 8181 clauses out of 16361 with flag 114020/89096
15.13/11.47	c cleaning 9071 clauses out of 18173 with flag 148335/99089
16.33/12.68	c cleaning 10039 clauses out of 20101 with flag 193228/110088
17.62/13.98	c cleaning 11026 clauses out of 22062 with flag 242654/122088
18.46/14.77	c Got one! Elapsed wall clock time (in seconds):14.639
18.46/14.77	o -48
19.07/15.39	c cleaning 12028 clauses out of 24063 with flag 21595/135115
19.80/16.09	c cleaning 9012 clauses out of 18035 with flag 51661/141115
20.49/16.79	c cleaning 8007 clauses out of 16023 with flag 76616/148115
21.40/17.60	c cleaning 8000 clauses out of 16018 with flag 109957/156117
21.90/18.16	c Got one! Elapsed wall clock time (in seconds):18.021
21.90/18.16	o -49
22.56/18.79	c cleaning 9392 clauses out of 18792 with flag 28818/166891
23.25/19.42	c cleaning 7687 clauses out of 15398 with flag 55291/172889
23.86/20.09	c cleaning 7353 clauses out of 14711 with flag 78037/179889
24.65/20.89	c cleaning 7668 clauses out of 15359 with flag 103377/187890
25.55/21.77	c cleaning 8339 clauses out of 16690 with flag 129572/196889
26.64/22.81	c cleaning 9169 clauses out of 18351 with flag 161771/206889
26.74/22.92	c Got one! Elapsed wall clock time (in seconds):22.783
26.74/22.92	o -50
27.14/23.36	c cleaning 7095 clauses out of 14197 with flag 23896/211904
27.75/23.94	c cleaning 6551 clauses out of 13106 with flag 43588/217908
28.44/24.60	c cleaning 6764 clauses out of 13550 with flag 63879/224903
29.25/25.41	c cleaning 7380 clauses out of 14786 with flag 92855/232903
30.04/26.28	c cleaning 8198 clauses out of 16406 with flag 124171/241903
31.14/27.32	c cleaning 9099 clauses out of 18208 with flag 161865/251903
32.34/28.50	c cleaning 10047 clauses out of 20110 with flag 215815/262904
32.34/28.55	c Got one! Elapsed wall clock time (in seconds):28.416
32.34/28.55	o -51
32.95/29.11	c cleaning 7774 clauses out of 15584 with flag 29303/268425
33.54/29.75	c cleaning 6876 clauses out of 13806 with flag 64754/274421
34.24/30.47	c cleaning 6958 clauses out of 13933 with flag 104179/281424
35.14/31.33	c cleaning 7482 clauses out of 14972 with flag 148790/289421
36.13/32.30	c cleaning 8240 clauses out of 16490 with flag 197164/298421
37.03/33.25	c cleaning 9121 clauses out of 18250 with flag 231064/308421
38.04/34.38	c cleaning 10063 clauses out of 20132 with flag 258639/319424
39.24/35.59	c cleaning 11032 clauses out of 22068 with flag 290953/331423
40.64/36.93	c cleaning 12008 clauses out of 24034 with flag 325594/344421
42.14/38.49	c cleaning 12998 clauses out of 26029 with flag 369077/358424
43.84/40.16	c cleaning 14004 clauses out of 28030 with flag 416364/373423
45.84/42.16	c cleaning 14999 clauses out of 30024 with flag 486423/389421
47.93/44.21	c cleaning 15997 clauses out of 32026 with flag 549023/406422
50.12/46.46	c cleaning 17014 clauses out of 34028 with flag 610719/424421
52.32/48.64	c cleaning 17997 clauses out of 36014 with flag 667219/443421
55.21/51.52	c cleaning 18999 clauses out of 38018 with flag 758914/463422
57.81/54.14	c cleaning 19999 clauses out of 40023 with flag 829340/484426
60.80/57.12	c cleaning 21000 clauses out of 42022 with flag 916977/506424
63.99/60.31	c cleaning 22000 clauses out of 44020 with flag 998488/529422
67.48/63.80	c cleaning 23003 clauses out of 46021 with flag 1083036/553423
70.95/67.60	c cleaning 24002 clauses out of 48016 with flag 1181238/578421
74.46/71.18	c cleaning 24992 clauses out of 50014 with flag 1273713/604421
78.15/74.83	c cleaning 26008 clauses out of 52023 with flag 1373739/631422
82.13/78.89	c cleaning 26988 clauses out of 54014 with flag 1465666/659421
86.43/83.14	c cleaning 28007 clauses out of 56027 with flag 1576479/688422
90.73/87.43	c cleaning 29004 clauses out of 58020 with flag 1687583/718422
95.61/92.35	c cleaning 29995 clauses out of 60015 with flag 1802097/749421
100.81/97.67	c cleaning 30988 clauses out of 62022 with flag 1960669/781423
106.71/103.55	c cleaning 32001 clauses out of 64032 with flag 2139265/814421
112.10/108.96	c cleaning 33003 clauses out of 66032 with flag 2305340/848422
116.29/113.18	c Got one! Elapsed wall clock time (in seconds):113.04
116.29/113.18	o -52
117.30/114.17	c cleaning 31751 clauses out of 63528 with flag 26239/878921
118.20/115.04	c cleaning 18883 clauses out of 37778 with flag 61483/884922
118.90/115.74	c cleaning 12939 clauses out of 25895 with flag 82389/891922
119.69/116.58	c cleaning 10470 clauses out of 20955 with flag 111411/899921
120.69/117.51	c cleaning 9732 clauses out of 19486 with flag 142821/908922
121.58/118.48	c cleaning 9872 clauses out of 19753 with flag 172264/918921
122.69/119.57	c cleaning 10434 clauses out of 20882 with flag 205109/929922
123.79/120.69	c cleaning 11224 clauses out of 22449 with flag 237025/941923
124.98/121.88	c cleaning 12106 clauses out of 24223 with flag 273512/954921
126.29/123.15	c cleaning 13042 clauses out of 26117 with flag 313071/968921
127.78/124.67	c cleaning 14031 clauses out of 28075 with flag 355632/983921
129.76/128.51	c cleaning 15017 clauses out of 30046 with flag 418767/999923
132.15/130.91	c cleaning 16000 clauses out of 32027 with flag 519286/1016921
132.25/131.03	c Got one! Elapsed wall clock time (in seconds):130.898
132.25/131.03	o -53
132.76/131.53	c cleaning 10563 clauses out of 21153 with flag 23990/1022047
133.45/132.20	c cleaning 8277 clauses out of 16590 with flag 58396/1028047
134.15/132.97	c cleaning 7640 clauses out of 15312 with flag 99070/1035046
135.04/133.84	c cleaning 7818 clauses out of 15672 with flag 139672/1043046
136.05/134.85	c cleaning 8418 clauses out of 16855 with flag 184845/1052047
137.25/136.01	c cleaning 9210 clauses out of 18437 with flag 237775/1062047
138.53/137.38	c cleaning 10109 clauses out of 20227 with flag 305415/1073047
140.14/138.92	c cleaning 11054 clauses out of 22119 with flag 382457/1085048
140.34/139.18	c Got one! Elapsed wall clock time (in seconds):139.042
140.34/139.18	o -57
140.73/139.52	c cleaning 8218 clauses out of 16453 with flag 13142/1090436
141.25/140.05	c cleaning 7110 clauses out of 14235 with flag 31595/1096436
141.94/140.75	c cleaning 7057 clauses out of 14127 with flag 56673/1103438
142.74/141.55	c cleaning 7524 clauses out of 15068 with flag 84522/1111436
143.64/142.47	c cleaning 8265 clauses out of 16544 with flag 120378/1120436
144.63/143.48	c cleaning 9136 clauses out of 18282 with flag 161211/1130439
145.63/144.49	c cleaning 10063 clauses out of 20144 with flag 189623/1141437
146.82/145.65	c cleaning 11035 clauses out of 22082 with flag 223927/1153438
148.13/146.92	c cleaning 12016 clauses out of 24045 with flag 261712/1166436
149.53/148.32	c cleaning 13014 clauses out of 26030 with flag 299593/1180437
151.23/150.07	c cleaning 14001 clauses out of 28016 with flag 352397/1195437
153.12/151.97	c cleaning 15006 clauses out of 30014 with flag 422476/1211436
155.01/153.87	c cleaning 15996 clauses out of 32008 with flag 487119/1228436
157.41/156.22	c cleaning 16990 clauses out of 34012 with flag 587733/1246436
160.00/158.81	c cleaning 17995 clauses out of 36024 with flag 716367/1265438
162.66/165.23	c cleaning 19004 clauses out of 38029 with flag 836854/1285438
165.15/167.76	c cleaning 20008 clauses out of 40024 with flag 897278/1306437
167.84/170.41	c cleaning 20997 clauses out of 42015 with flag 975867/1328436
171.03/173.69	c cleaning 22003 clauses out of 44020 with flag 1080975/1351438
173.93/176.56	c cleaning 23003 clauses out of 46016 with flag 1152775/1375437
176.83/179.42	c cleaning 24001 clauses out of 48015 with flag 1230381/1400439
180.21/182.81	c cleaning 25000 clauses out of 50011 with flag 1345447/1426436
184.10/186.79	c cleaning 25994 clauses out of 52011 with flag 1478581/1453436
188.19/190.84	c cleaning 27003 clauses out of 54017 with flag 1636152/1481436
192.09/194.71	c cleaning 28006 clauses out of 56014 with flag 1747145/1510436
196.28/199.36	c cleaning 28998 clauses out of 58008 with flag 1852745/1540436
200.76/203.84	c cleaning 30000 clauses out of 60011 with flag 1952652/1571437
205.45/208.50	c cleaning 30991 clauses out of 62011 with flag 2071510/1603437
210.05/213.12	c cleaning 31998 clauses out of 64019 with flag 2197514/1636436
215.73/218.85	c cleaning 33000 clauses out of 66022 with flag 2375582/1670437
220.63/223.71	c cleaning 34012 clauses out of 68025 with flag 2493909/1705440
225.69/228.93	c cleaning 34999 clauses out of 70009 with flag 2596955/1741436
231.09/234.35	c cleaning 35999 clauses out of 72014 with flag 2717293/1778440
236.78/240.05	c cleaning 36998 clauses out of 74011 with flag 2851033/1816436
242.79/246.00	c cleaning 38000 clauses out of 76013 with flag 2985368/1855436
248.67/251.99	c cleaning 38996 clauses out of 78013 with flag 3110600/1895436
255.88/259.33	c cleaning 40003 clauses out of 80017 with flag 3282280/1936436
263.06/266.56	c cleaning 41000 clauses out of 82014 with flag 3494960/1978436
269.96/273.48	c cleaning 42005 clauses out of 84015 with flag 3654656/2021437
277.95/281.41	c cleaning 43003 clauses out of 86010 with flag 3857197/2065437
285.14/288.64	c cleaning 43997 clauses out of 88006 with flag 4002382/2110436
293.48/302.82	c cleaning 44999 clauses out of 90009 with flag 4187190/2156436
303.16/312.57	c cleaning 45995 clauses out of 92010 with flag 4448171/2203436
313.08/322.47	c cleaning 47003 clauses out of 94015 with flag 4713544/2251436
323.62/333.13	c cleaning 47999 clauses out of 96013 with flag 5014547/2300437
333.34/342.84	c cleaning 49004 clauses out of 98013 with flag 5283413/2350436
342.43/351.97	c cleaning 49995 clauses out of 100014 with flag 5468034/2401441
352.62/362.22	c cleaning 51002 clauses out of 102017 with flag 5683872/2453439
363.58/373.15	c cleaning 51996 clauses out of 104013 with flag 5894879/2506437
373.65/383.25	c cleaning 52999 clauses out of 106016 with flag 6116632/2560436
384.46/394.12	c cleaning 53997 clauses out of 108017 with flag 6358891/2615436
396.34/406.02	c cleaning 55006 clauses out of 110022 with flag 6652243/2671438
408.43/418.22	c cleaning 55991 clauses out of 112015 with flag 6934160/2728437
420.80/430.60	c cleaning 57005 clauses out of 114024 with flag 7238246/2786437
433.23/443.06	c cleaning 58004 clauses out of 116019 with flag 7468791/2845437
445.91/462.25	c cleaning 58995 clauses out of 118016 with flag 7704857/2905438
458.33/474.61	c cleaning 59998 clauses out of 120019 with flag 7914666/2966436
472.49/488.87	c cleaning 61007 clauses out of 122022 with flag 8154286/3028437
487.76/509.60	c cleaning 61995 clauses out of 124015 with flag 8433401/3091437
501.68/523.59	c cleaning 63002 clauses out of 126020 with flag 8652165/3155437
516.54/538.53	c cleaning 64000 clauses out of 128017 with flag 8924780/3220436
530.41/552.45	c cleaning 64997 clauses out of 130017 with flag 9201144/3286436
545.07/567.27	c cleaning 66005 clauses out of 132020 with flag 9429138/3353436
561.16/583.32	c cleaning 67004 clauses out of 134015 with flag 9700827/3421436
577.43/599.78	c cleaning 67986 clauses out of 136013 with flag 10042104/3490438
594.45/616.75	c cleaning 69004 clauses out of 138026 with flag 10307549/3560437
613.46/635.95	c cleaning 70009 clauses out of 140023 with flag 10666060/3631438
630.83/656.11	c cleaning 70997 clauses out of 142013 with flag 11021147/3703437
648.64/673.99	c cleaning 72005 clauses out of 144016 with flag 11345341/3776437
666.11/691.43	c cleaning 72996 clauses out of 146013 with flag 11623524/3850439
686.61/711.93	c cleaning 73992 clauses out of 148016 with flag 12018069/3925438
704.81/730.12	c cleaning 75003 clauses out of 150022 with flag 12280798/4001436
724.85/750.20	c cleaning 75995 clauses out of 152019 with flag 12679116/4078436
749.80/775.24	c cleaning 77006 clauses out of 154024 with flag 13251016/4156436
770.12/795.64	c cleaning 77999 clauses out of 156020 with flag 13606919/4235438
792.80/818.32	c cleaning 79004 clauses out of 158020 with flag 14029462/4315437
814.18/839.77	c cleaning 79992 clauses out of 160015 with flag 14373578/4396436
837.19/862.75	c cleaning 80995 clauses out of 162023 with flag 14799181/4478436
859.81/885.48	c cleaning 81997 clauses out of 164029 with flag 15167156/4561437
881.56/907.25	c cleaning 83009 clauses out of 166034 with flag 15530333/4645439
905.81/931.54	c cleaning 84001 clauses out of 168022 with flag 15973697/4730436
929.23/954.95	c cleaning 84996 clauses out of 170025 with flag 16380716/4816440
954.29/980.10	c cleaning 86008 clauses out of 172027 with flag 16842742/4903438
978.24/1004.07	c cleaning 87000 clauses out of 174018 with flag 17266205/4991437
1004.08/1029.94	c cleaning 87988 clauses out of 176017 with flag 17641228/5080436
1029.00/1059.81	c cleaning 88999 clauses out of 178030 with flag 18007359/5170437
1053.05/1083.97	c cleaning 90006 clauses out of 180031 with flag 18340021/5261437
1079.92/1110.81	c cleaning 91000 clauses out of 182025 with flag 18803386/5353437
1106.47/1137.40	c cleaning 92005 clauses out of 184026 with flag 19158003/5446438
1136.22/1167.24	c cleaning 93004 clauses out of 186019 with flag 19665659/5540436
1167.32/1199.16	c cleaning 94004 clauses out of 188020 with flag 20221747/5635441
1194.49/1230.37	c cleaning 94995 clauses out of 190011 with flag 20589357/5731436
1224.16/1260.01	c cleaning 96004 clauses out of 192016 with flag 21080938/5828436
1255.05/1291.04	c cleaning 96999 clauses out of 194015 with flag 21600544/5926439
1286.18/1322.22	c cleaning 98001 clauses out of 196016 with flag 22127690/6025439
1315.27/1351.44	c cleaning 99002 clauses out of 198012 with flag 22537651/6125436
1346.85/1387.98	c cleaning 99985 clauses out of 200010 with flag 23066409/6226436
1378.20/1419.32	c cleaning 100998 clauses out of 202025 with flag 23528410/6328436
1409.43/1450.62	c cleaning 102010 clauses out of 204027 with flag 24022229/6431436
1441.23/1482.57	c cleaning 102998 clauses out of 206019 with flag 24517694/6535438
1476.07/1517.48	c cleaning 103998 clauses out of 208021 with flag 25124874/6640438
1508.95/1555.09	c cleaning 105002 clauses out of 210023 with flag 25592258/6746438
1549.22/1595.49	c cleaning 106000 clauses out of 212022 with flag 26222923/6853439
1586.35/1632.62	c cleaning 107002 clauses out of 214020 with flag 26831255/6961437
1621.68/1668.00	c cleaning 107994 clauses out of 216018 with flag 27306485/7070437
1659.76/1706.98	c cleaning 109004 clauses out of 218025 with flag 27817990/7180438
1694.38/1741.66	c cleaning 110001 clauses out of 220021 with flag 28323550/7291438
1730.13/1777.45	c cleaning 111004 clauses out of 222018 with flag 28862376/7403436
1770.09/1817.54	c cleaning 111995 clauses out of 224015 with flag 29500630/7516437
1807.63/1855.09	c cleaning 112999 clauses out of 226020 with flag 30008460/7630437
1847.03/1894.52	c cleaning 114006 clauses out of 228020 with flag 30590849/7745436
1884.23/1931.89	c cleaning 114991 clauses out of 230014 with flag 31145386/7861436
1926.07/1973.89	c cleaning 115998 clauses out of 232023 with flag 31765544/7978436
1968.67/2017.84	c cleaning 117006 clauses out of 234025 with flag 32325058/8096436
2010.47/2063.00	c cleaning 118002 clauses out of 236019 with flag 32963987/8215436
2052.48/2105.09	c cleaning 119002 clauses out of 238019 with flag 33528898/8335438
2100.22/2152.82	c cleaning 119999 clauses out of 240015 with flag 34219673/8456436
2142.99/2195.75	c cleaning 120993 clauses out of 242018 with flag 34846594/8578438
2191.87/2244.72	c cleaning 121999 clauses out of 244025 with flag 35504156/8701438
2240.27/2293.28	c cleaning 123004 clauses out of 246024 with flag 36186507/8825436
2284.49/2337.50	c cleaning 124000 clauses out of 248021 with flag 36816481/8950437
2333.21/2386.39	c cleaning 124999 clauses out of 250022 with flag 37452259/9076438
2380.63/2433.87	c cleaning 125990 clauses out of 252023 with flag 38149379/9203438
2428.08/2485.96	c cleaning 127009 clauses out of 254034 with flag 38736604/9331439
2479.69/2537.64	c cleaning 128007 clauses out of 256023 with flag 39457035/9460437
2529.78/2587.85	c cleaning 129005 clauses out of 258017 with flag 40103603/9590438
2580.88/2643.06	c cleaning 129988 clauses out of 260010 with flag 40839286/9721436
2638.44/2700.75	c cleaning 131001 clauses out of 262023 with flag 41734089/9853437
2693.61/2756.03	c cleaning 132004 clauses out of 264021 with flag 42427002/9986436
2728.04/2790.50	c Got one! Elapsed wall clock time (in seconds):2790.366
2728.04/2790.50	o -58
2731.13/2793.64	c cleaning 116771 clauses out of 233550 with flag 26934/10087969
2733.03/2795.54	c cleaning 61375 clauses out of 122780 with flag 62971/10093970
2734.17/2796.66	c cleaning 34200 clauses out of 68406 with flag 86594/10100971
2735.27/2797.70	c cleaning 13903 clauses out of 42205 with flag 111057/10108970
2736.47/2798.92	c cleaning 8991 clauses out of 37301 with flag 141514/10117969
2737.57/2800.07	c cleaning 10007 clauses out of 38312 with flag 169076/10127971
2738.98/2801.44	c cleaning 10989 clauses out of 39304 with flag 201603/10138970
2740.51/2803.00	c cleaning 12008 clauses out of 40315 with flag 237942/10150970
2742.18/2807.75	c cleaning 12995 clauses out of 41307 with flag 271301/10163970
2744.07/2809.60	c cleaning 14004 clauses out of 42316 with flag 312472/10177974
2745.99/2811.54	c cleaning 14987 clauses out of 43309 with flag 351799/10192971
2747.99/2813.57	c cleaning 15994 clauses out of 44321 with flag 395413/10208970
2750.08/2815.64	c cleaning 17010 clauses out of 45326 with flag 437804/10225969
2752.68/2818.23	c cleaning 17986 clauses out of 46318 with flag 496091/10243971
2755.48/2821.09	c cleaning 18997 clauses out of 47331 with flag 563684/10262970
2758.20/2823.78	c cleaning 19998 clauses out of 48334 with flag 621530/10282970
2761.29/2826.83	c cleaning 20986 clauses out of 49338 with flag 686143/10303972
2764.08/2829.68	c cleaning 22018 clauses out of 50350 with flag 748199/10325970
2767.58/2833.16	c cleaning 22991 clauses out of 51331 with flag 823679/10348969
2770.95/2836.56	c cleaning 24000 clauses out of 52341 with flag 888893/10372970
2774.32/2839.90	c cleaning 24997 clauses out of 53344 with flag 960334/10397973
2778.32/2843.92	c cleaning 26001 clauses out of 54344 with flag 1045232/10423970
2782.30/2847.94	c cleaning 26992 clauses out of 55343 with flag 1139339/10450970
2787.04/2852.66	c cleaning 27993 clauses out of 56353 with flag 1258077/10478972
2792.22/2857.88	c cleaning 28668 clauses out of 57358 with flag 1384826/10507970
2797.10/2862.76	c cleaning 29335 clauses out of 58691 with flag 1509936/10537971
2801.54/2867.28	c cleaning 30169 clauses out of 60357 with flag 1606555/10568972
2807.06/2872.76	c cleaning 31089 clauses out of 62185 with flag 1704173/10600969
2812.36/2878.00	c cleaning 32028 clauses out of 64099 with flag 1819070/10633972
2817.35/2883.09	c cleaning 33024 clauses out of 66069 with flag 1911029/10667970
2822.97/2888.67	c cleaning 34013 clauses out of 68046 with flag 2015920/10702971
2829.25/2894.98	c cleaning 35002 clauses out of 70033 with flag 2160775/10738971
2835.59/2901.35	c cleaning 35998 clauses out of 72029 with flag 2296484/10775969
2841.72/2907.48	c cleaning 37011 clauses out of 74034 with flag 2413410/10813972
2848.10/2913.81	c cleaning 37999 clauses out of 76020 with flag 2542235/10852969
2854.72/2920.48	c cleaning 39000 clauses out of 78022 with flag 2661463/10892970
2861.54/2927.32	c cleaning 39999 clauses out of 80021 with flag 2791278/10933969
2868.75/2934.55	c cleaning 41001 clauses out of 82022 with flag 2937448/10975969
2876.74/2942.56	c cleaning 41993 clauses out of 84021 with flag 3084992/11018969
2884.95/2950.76	c cleaning 42996 clauses out of 86030 with flag 3273751/11062971
2892.83/2959.60	c cleaning 43999 clauses out of 88035 with flag 3441842/11107972
2901.24/2968.06	c cleaning 45010 clauses out of 90034 with flag 3595316/11153970
2909.52/2976.30	c cleaning 46009 clauses out of 92024 with flag 3747220/11200970
2918.62/2985.44	c cleaning 46996 clauses out of 94014 with flag 3906603/11248969
2927.83/2996.68	c cleaning 48000 clauses out of 96018 with flag 4054697/11297969
2937.45/3006.24	c cleaning 48989 clauses out of 98018 with flag 4245000/11347969
2946.83/3015.65	c cleaning 50003 clauses out of 100029 with flag 4437408/11398969
2957.14/3026.09	c cleaning 51004 clauses out of 102026 with flag 4653211/11450969
2967.50/3036.43	c cleaning 52000 clauses out of 104023 with flag 4851332/11503970
2978.09/3047.04	c cleaning 53002 clauses out of 106022 with flag 5064535/11557969
2990.11/3059.11	c cleaning 54003 clauses out of 108023 with flag 5273373/11612972
3000.90/3069.93	c cleaning 55007 clauses out of 110020 with flag 5463317/11668972
3012.66/3081.79	c cleaning 56000 clauses out of 112010 with flag 5673109/11725969
3024.91/3094.09	c cleaning 56989 clauses out of 114010 with flag 5888049/11783969
3037.30/3106.42	c cleaning 58002 clauses out of 116021 with flag 6080283/11842969
3049.73/3118.95	c cleaning 59005 clauses out of 118019 with flag 6297575/11902969
3063.92/3133.16	c cleaning 60002 clauses out of 120018 with flag 6529836/11963973
3078.75/3148.05	c cleaning 61000 clauses out of 122015 with flag 6797151/12025972
3092.22/3161.56	c cleaning 62001 clauses out of 124012 with flag 7007199/12088969
3106.90/3176.22	c cleaning 62997 clauses out of 126011 with flag 7225191/12152969
3121.78/3191.29	c cleaning 64000 clauses out of 128015 with flag 7495339/12217970
3136.86/3206.39	c cleaning 65002 clauses out of 130014 with flag 7746483/12283969
3151.81/3221.33	c cleaning 65990 clauses out of 132012 with flag 8008528/12350969
3168.28/3237.86	c cleaning 66999 clauses out of 134022 with flag 8269439/12418969
3186.39/3256.07	c cleaning 68002 clauses out of 136024 with flag 8613982/12487970
3203.01/3272.72	c cleaning 69000 clauses out of 138022 with flag 8938179/12557970
3220.91/3290.20	c cleaning 70002 clauses out of 140021 with flag 9179414/12628969
3239.03/3308.11	c cleaning 71001 clauses out of 142020 with flag 9450082/12700970
3255.82/3324.99	c cleaning 71998 clauses out of 144022 with flag 9716240/12773973
3272.77/3341.94	c cleaning 73006 clauses out of 146023 with flag 9951329/12847972
3291.97/3361.17	c cleaning 73999 clauses out of 148016 with flag 10249826/12922971
3309.85/3379.12	c cleaning 75003 clauses out of 150015 with flag 10544564/12998969
3331.36/3400.75	c cleaning 76005 clauses out of 152015 with flag 10936544/13075972
3350.26/3419.63	c cleaning 76997 clauses out of 154007 with flag 11202952/13153969
3369.48/3438.96	c cleaning 77997 clauses out of 156011 with flag 11497629/13232970
3390.93/3460.44	c cleaning 78999 clauses out of 158013 with flag 11786189/13312969
3413.98/3483.58	c cleaning 80001 clauses out of 160018 with flag 12121105/13393973
3435.80/3505.45	c cleaning 80999 clauses out of 162013 with flag 12422949/13475969
3457.43/3527.18	c cleaning 81993 clauses out of 164014 with flag 12718385/13558969
3480.76/3550.57	c cleaning 83002 clauses out of 166021 with flag 13062283/13642969
3504.93/3574.70	c cleaning 84006 clauses out of 168021 with flag 13443410/13727971
3527.88/3597.76	c cleaning 84994 clauses out of 170013 with flag 13818120/13813969
3552.49/3626.57	c cleaning 86001 clauses out of 172019 with flag 14149020/13900969
3577.40/3651.57	c cleaning 87007 clauses out of 174021 with flag 14490601/13988972
3600.03/3674.21	c starts		: 24307
3600.03/3674.21	c conflicts		: 14065759
3600.03/3674.21	c decisions		: 16925597
3600.03/3674.21	c propagations		: 404470029
3600.03/3674.21	c inspects		: 45266709887
3600.03/3674.22	c shortcuts		: 0
3600.03/3674.22	c learnt literals	: 0
3600.03/3674.22	c learnt binary clauses	: 1
3600.03/3674.22	c learnt ternary clauses	: 95
3600.03/3674.22	c learnt constraints	: 14065759
3600.03/3674.22	c ignored constraints	: 0
3600.03/3674.22	c root simplifications	: 0
3600.03/3674.22	c removed literals (reason simplification)	: 628093091
3600.03/3674.22	c reason swapping (by a shorter reason)	: 0
3600.03/3674.22	c Calls to reduceDB	: 296
3600.03/3674.22	c Number of update (reduction) of LBD	: 2834146
3600.03/3674.22	c Imported unit clauses	: 0
3600.03/3674.22	c No decision after first conflict	: false
3600.03/3674.22	c number of reductions to clauses (during analyze)	: 0
3600.03/3674.22	c number of learned constraints concerned by reduction	: 0
3600.03/3674.22	c number of learning phase by resolution	: 0
3600.03/3674.22	c number of learning phase by cutting planes	: 0
3600.03/3674.22	c number of rounding to 1 operations	: 0
3600.03/3674.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3674.22	c number of reductions of the coefficients by power 2 	: 0
3600.03/3674.22	c number of right shift for reduction by power 2 	: 0
3600.03/3674.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3674.22	c number of ending skipping 	: 0
3600.03/3674.22	c number of internal skipping 	: 0
3600.03/3674.22	c number of derivation steps 	: 0
3600.03/3674.22	c number of skipped derivation steps 	: 0
3600.03/3674.22	c number of remaining unassigned 	: 0
3600.03/3674.22	c number of remaining assigned 	: 0
3600.03/3674.22	c number of falsified literals weakened from reason	: 0
3600.03/3674.22	c number of falsified literals weakened from conflict	: 0
3600.03/3674.22	c time for arithmetic operations	: 0
3600.03/3674.22	c minimum degree of deleted constraints	: null
3600.03/3674.22	c maximum degree of deleted constraints	: null
3600.03/3674.22	c number of deleted constraints	: 0
3600.03/3674.23	c speed (assignments/second)	: 110095.49184756646
3600.03/3674.23	c non guided choices	: 0
3600.03/3674.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 163800
3600.03/3674.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.03/3674.29	s SATISFIABLE
3600.03/3674.29	c Found 14 solution(s)
3600.03/3674.29	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 
3600.03/3674.29	c objective function=-58
3600.03/3674.29	c Total wall clock time (in seconds): 3674.156

Verifier Data 

OK	-58

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522191-1751597762/watcher-4522191-1751597762 -o /tmp/evaluation-result-4522191-1751597762/solver-4522191-1751597762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751590761-83620 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522191-1751597762 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522191-1751597762.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=84610, runsolver pid=84607
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.37 4.35 4.35 5/344 84628
/proc/meminfo: memFree=69969720/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=18930384 memory=57796 CPUtime=0.12 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 6565 0 0 0 11 1 0 0 20 0 18 0 75454097 19384713216 14449 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4732596 14449 5361 1 0 547619 0
[pid=84610/tid=84612] ppid=84607 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 5062 0 0 0 7 1 0 0 20 0 18 0 75454098 19384713216 14449 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75454100 19384713216 14449 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=18930384 memory=58485492679666 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75454101 19384713216 14449 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57796 KiB

[startup+0.205962 s]*
/proc/loadavg: 4.37 4.35 4.35 7/344 84628
/proc/meminfo: memFree=69955668/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=18930384 memory=66028 CPUtime=0.32 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 7028 0 0 0 30 2 0 0 20 0 18 0 75454097 19384713216 16507 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4732596 16507 5425 1 0 547914 0
[pid=84610/tid=84612] ppid=84607 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 5278 0 0 0 15 1 0 0 20 0 18 0 75454098 19384713216 16507 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=18930384 memory=16099 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75454100 19384713216 16507 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75454101 19384713216 16507 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66028 KiB

[startup+0.305931 s]*
/proc/loadavg: 4.37 4.35 4.35 6/344 84628
/proc/meminfo: memFree=69914144/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=18930384 memory=99080 CPUtime=0.51 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 8560 0 0 0 48 3 0 0 20 0 18 0 75454097 19384713216 24770 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4732596 24770 5425 1 0 548955 0
[pid=84610/tid=84612] ppid=84607 vsize=18930384 memory=-6000919477085300839 CPUtime=0.24 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 5293 0 0 0 22 2 0 0 20 0 18 0 75454098 19384713216 24770 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75454100 19384713216 24770 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75454101 19384713216 24770 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 99080 KiB

[startup+0.70024 s]
/proc/loadavg: 4.37 4.35 4.35 6/345 84629
/proc/meminfo: memFree=69877912/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=18996948 memory=158536 CPUtime=1.27 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 17017 0 0 0 121 6 0 0 20 0 19 0 75454097 19452874752 39634 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4749237 39634 5457 1 0 554396 0
[pid=84610/tid=84612] ppid=84607 vsize=18996948 memory=14336 CPUtime=0.58 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 5445 0 0 0 55 3 0 0 20 0 19 0 75454098 19452874752 39634 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 75454100 19452874752 39634 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 75454101 19452874752 39634 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=18996948 memory=4624 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 75454139 19452874752 39634 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158536 KiB

[startup+1.50026 s]
/proc/loadavg: 4.37 4.35 4.35 6/346 84630
/proc/meminfo: memFree=69827820/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=182084 CPUtime=2.86 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 23918 0 0 0 278 8 0 0 20 0 20 0 75454097 19521036288 45521 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 45521 5521 1 0 554856 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=0 CPUtime=1.34 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 6318 0 0 0 130 4 0 0 20 0 20 0 75454098 19521036288 45521 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 45521 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 45521 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=4624 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 45521 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182084 KiB

[startup+3.10584 s]
/proc/loadavg: 4.37 4.35 4.35 5/346 84630
/proc/meminfo: memFree=69666424/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=182852 CPUtime=5.77 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 26754 0 0 0 568 9 0 0 20 0 20 0 75454097 19521036288 45713 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 45713 5521 1 0 554860 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=10624 CPUtime=2.92 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 6902 0 0 0 287 5 0 0 20 0 20 0 75454098 19521036288 45713 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=-6000919477085300839 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 45713 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 45713 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 45713 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182852 KiB

[startup+6.30025 s]
/proc/loadavg: 4.34 4.34 4.35 5/346 84630
/proc/meminfo: memFree=69629064/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=182968 CPUtime=9.52 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 32837 0 0 0 942 10 0 0 20 0 20 0 75454097 19521036288 45742 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 45742 5521 1 0 554878 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=0 CPUtime=6.06 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 7707 0 0 0 601 5 0 0 20 0 20 0 75454098 19521036288 45742 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 45742 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 45742 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=182340 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 45742 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.34 4.35 5/346 84630
/proc/meminfo: memFree=68945560/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=714736 CPUtime=16.43 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 40819 0 0 0 1620 23 0 0 20 0 20 0 75454097 19521036288 178684 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 178684 5521 1 0 554878 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=182340 CPUtime=12.43 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 9262 0 0 0 1226 17 0 0 20 0 20 0 75454098 19521036288 178684 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 178684 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=606192 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 178684 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 178684 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 16.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 714736 KiB

[startup+25.5002 s]
/proc/loadavg: 4.39 4.35 4.35 6/346 84630
/proc/meminfo: memFree=67245380/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=1308820 CPUtime=29.35 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 45904 0 0 0 2895 40 0 0 20 0 20 0 75454097 19521036288 327205 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 327205 5521 1 0 554878 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=-6000919477085300839 CPUtime=25.17 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 11099 0 0 0 2484 33 0 0 20 0 20 0 75454098 19521036288 327205 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 327205 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 327205 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 327205 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 29.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308820 KiB

[startup+51.1059 s]
/proc/loadavg: 4.59 4.40 4.37 5/346 84632
/proc/meminfo: memFree=66535864/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=1323164 CPUtime=54.82 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 46062 0 0 0 5432 50 0 0 20 0 20 0 75454097 19521036288 330791 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 330791 5521 1 0 554878 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=1323164 CPUtime=50.57 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 11168 0 0 0 5016 41 0 0 20 0 20 0 75454098 19521036288 330791 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=1323164 CPUtime=0 cores=4,6

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

/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543407 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1392 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543407 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=9216 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543407 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.31 4.28 6/345 84952
/proc/meminfo: memFree=50057820/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3273.17 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 114805 0 0 0 326468 849 0 0 20 0 20 0 75454097 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543256 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=14336 CPUtime=3255.94 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 43674 0 0 0 324856 738 0 0 20 0 20 0 75454098 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=2173024 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1392 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=2760 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.28 4.27 5/346 84955
/proc/meminfo: memFree=49464944/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3332.96 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 115035 0 0 0 332432 864 0 0 20 0 20 0 75454097 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543256 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3315.56 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 43853 0 0 0 330804 752 0 0 20 0 20 0 75454098 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1392 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3332.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.31 4.28 5/346 84958
/proc/meminfo: memFree=48839464/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3392.83 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 117007 0 0 0 338404 879 0 0 20 0 20 0 75454097 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543256 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3375.11 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 45123 0 0 0 336745 766 0 0 20 0 20 0 75454098 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=2173024 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1494 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=2173024 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.30 4.27 5/347 84961
/proc/meminfo: memFree=48073264/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3452.64 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 118310 0 0 0 344370 894 0 0 20 0 20 0 75454097 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543256 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3434.77 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 45804 0 0 0 342698 779 0 0 20 0 20 0 75454098 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=2173024 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1494 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=2173024 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543256 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173024 KiB

[startup+3582.3 s]
/proc/loadavg: 3.84 4.18 4.23 4/321 84998
/proc/meminfo: memFree=73877056/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173152 CPUtime=3512.48 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 118476 0 0 0 350338 910 0 0 20 0 20 0 75454097 19521036288 543288 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543288 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=2173024 CPUtime=3494.47 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 45844 0 0 0 348653 794 0 0 20 0 20 0 75454098 19521036288 543288 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=2173152 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543288 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1540 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543288 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543288 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173152 KiB

[startup+3642.3 s]
/proc/loadavg: 3.11 3.92 4.14 3/297 85034
/proc/meminfo: memFree=108496380/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173280 CPUtime=3568.16 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 118546 0 0 0 355892 924 0 0 20 0 20 0 75454097 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543320 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=2173152 CPUtime=3549.95 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 45859 0 0 0 354188 807 0 0 20 0 20 0 75454098 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=14156 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=14336 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1541 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=2173280 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3568.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3674.2 s]
/proc/loadavg: 2.75 3.76 4.08 3/297 85035
/proc/meminfo: memFree=108437844/131249996 swapFree=33000896/33010684
[pid=84610] ppid=84607 vsize=19063512 memory=2173280 CPUtime=3600.03 cores=4,6
/proc/84610/stat : 84610 (java) S 84607 84610 83609 0 -1 4194304 118586 0 0 0 359073 930 0 0 20 0 20 0 75454097 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
/proc/84610/statm: 4765878 543320 5553 1 0 557958 0
[pid=84610/tid=84612] ppid=84607 vsize=19063512 memory=8508281339140995232 CPUtime=3581.7 cores=4,6
/proc/84610/task/84612/stat : 84612 (java) R 84607 84610 83609 0 -1 4194368 45862 0 0 0 357358 812 0 0 20 0 20 0 75454098 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84621] ppid=84607 vsize=19063512 memory=7245577201579234449 CPUtime=0 cores=4,6
/proc/84610/task/84621/stat : 84621 (Finalizer) S 84607 84610 83609 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75454100 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84628] ppid=84607 vsize=19063512 memory=8514726395714820749 CPUtime=0 cores=4,6
/proc/84610/task/84628/stat : 84628 (Common-Cleaner) S 84607 84610 83609 0 -1 4194368 1541 0 0 0 0 0 0 0 20 0 20 0 75454101 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
[pid=84610/tid=84629] ppid=84607 vsize=19063512 memory=1404222122299264374 CPUtime=0 cores=4,6
/proc/84610/task/84629/stat : 84629 (Timer-0) S 84607 84610 83609 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75454139 19521036288 543320 18446744073709551615 94601585594368 94601585598064 140725863378560 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94601585605880 94601585606672 94601589276672 140725863385392 140725863385574 140725863385574 140725863391176 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2173280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.92 s, system=9.31531 s

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

[startup+3674.3 s]*
/proc/loadavg: 2.75 3.76 4.08 3/279 85038
/proc/meminfo: memFree=110500440/131249996 swapFree=33000896/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): 3674.34
CPU time (s): 3600.23
CPU user time (s): 3590.92
CPU system time (s): 9.31531
CPU usage (%): 97.9832
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2182900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.92
system time used= 9.31531
maximum resident set size= 2182900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8057912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115568
involuntary context switches= 9247


# summary of solver processes directly reported to runsolver:
#   pid: 84610
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3590.92
#   total CPU system time (s): 9.31531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66603 second user time and 17.5846 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 04:56:02
IDJOB=4522191
IDBENCH=178624
IDSOLVER=3364
FILE ID=nodeC023/4522191-1751597762
RUNJOBID= nodeC023-1751590761-83620
SLURM_JOB_ID= 9598847
Free space on /tmp= 431848 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522191-1751597762/watcher-4522191-1751597762 -o /tmp/evaluation-result-4522191-1751597762/solver-4522191-1751597762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751590761-83620 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4522191-1751597762 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4522191-1751597762.opb

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

MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011
RANDOM SEED=2017137984

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.894
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.918
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		: 3601.087
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		: 3555.794
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		: 3600.268
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.884
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.696
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		: 3593.032
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:        70008616 kB
MemAvailable:   104820208 kB
Buffers:              16 kB
Cached:         35534960 kB
SwapCached:         2900 kB
Active:         25034260 kB
Inactive:       35414268 kB
Active(anon):   24872824 kB
Inactive(anon):    53396 kB
Active(file):     161436 kB
Inactive(file): 35360872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             87968 kB
Writeback:             0 kB
AnonPages:      24913192 kB
Mapped:           118172 kB
Shmem:             12524 kB
KReclaimable:     257048 kB
Slab:             353052 kB
SReclaimable:     257048 kB
SUnreclaim:        96004 kB
KernelStack:        5296 kB
PageTables:        52572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   28126528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  24547328 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= 431796 MiB
End job on nodeC023 at 2025-07-04 05:57:17