Trace number 4486525

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)24311 3600.27 3610.06

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
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 benchmark23916
Best CPU time to get the best result obtained on this benchmark3585.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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.01/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.01/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.15	c See www.sat4j.org for details.
0.01/0.15	c version PB25.v20250606
0.01/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.01/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.01/0.16	c java.vm.version	22.0.1+8-16
0.01/0.16	c java.vm.vendor	Oracle Corporation
0.01/0.16	c sun.arch.data.model	64
0.01/0.16	c java.version		22.0.1
0.01/0.16	c os.name		Linux
0.01/0.16	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.01/0.16	c os.arch		amd64
0.01/0.16	c Free memory 		2104792832
0.01/0.16	c Max memory 		16282288128
0.01/0.16	c Total memory 		2113929216
0.01/0.17	c Number of processors 	2
0.01/0.20	c Pseudo Boolean Optimization by upper bound
0.01/0.20	c --- Begin Solver configuration ---
0.01/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.01/0.20	c Learn all clauses as in MiniSAT
0.01/0.20	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.01/0.20	c Expensive reason simplification
0.01/0.20	c Glucose 2.1 dynamic restart strategy
0.01/0.20	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.01/0.20	c timeout=2147483s
0.01/0.20	c DB Simplification allowed=false
0.01/0.20	c Listener: none
0.01/0.20	c --- End Solver configuration ---
0.01/0.20	c solving HOME/instance-4486525-1751335254.opb
0.01/0.20	c reading problem ... 
0.18/0.22	c using VERIPB proof format
0.18/0.22	c  objective function found
0.34/0.34	c ... done. Wall clock time 0.137s.
0.34/0.34	c declared #vars     540
0.34/0.35	c #constraints  4626
0.34/0.35	c constraints type 
0.34/0.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 630
0.34/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 264
0.34/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1680
0.34/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2052
0.34/0.35	c 4626 constraints processed.
0.34/0.40	c objective function length is 180 literals
0.48/0.48	c SATISFIABLE
0.48/0.48	c OPTIMIZING...
0.48/0.48	c Got one! Elapsed wall clock time (in seconds):0.282
0.48/0.48	o 28809
0.84/0.65	c Got one! Elapsed wall clock time (in seconds):0.446
0.84/0.65	o 28765
0.84/0.66	c Got one! Elapsed wall clock time (in seconds):0.453
0.84/0.66	o 28688
1.23/0.83	c Got one! Elapsed wall clock time (in seconds):0.624
1.23/0.83	o 28446
1.23/0.86	c Got one! Elapsed wall clock time (in seconds):0.661
1.23/0.86	o 26767
1.64/1.07	c Got one! Elapsed wall clock time (in seconds):0.863
1.64/1.07	o 26743
2.62/1.50	c cleaning 3436 clauses out of 6879 with flag 21704/6879
3.96/2.29	c cleaning 4714 clauses out of 9441 with flag 80979/12877
4.99/2.83	c cleaning 5854 clauses out of 11727 with flag 122200/19877
5.29/3.03	c cleaning 6933 clauses out of 13873 with flag 139947/27877
5.50/3.28	c cleaning 7963 clauses out of 15939 with flag 159479/36876
5.92/3.55	c cleaning 8985 clauses out of 17976 with flag 181733/46876
6.21/3.89	c cleaning 9995 clauses out of 19992 with flag 205792/57877
6.61/4.28	c cleaning 10998 clauses out of 21996 with flag 234246/69876
7.02/4.63	c cleaning 11995 clauses out of 23998 with flag 263630/82876
7.44/5.08	c cleaning 12997 clauses out of 26005 with flag 301713/96878
9.03/6.50	c Got one! Elapsed wall clock time (in seconds):6.299
9.03/6.50	o 26579
9.44/6.98	c Got one! Elapsed wall clock time (in seconds):6.779
9.44/6.98	o 26188
9.55/7.02	c Got one! Elapsed wall clock time (in seconds):6.82
9.55/7.02	o 24311
10.15/7.60	c cleaning 13419 clauses out of 26849 with flag 33598/110719
11.07/8.53	c cleaning 9697 clauses out of 19431 with flag 97970/116720
12.10/9.50	c cleaning 8357 clauses out of 16734 with flag 171437/123720
13.33/10.62	c cleaning 8186 clauses out of 16376 with flag 254612/131719
14.64/11.94	c cleaning 8585 clauses out of 17190 with flag 360023/140719
16.13/13.43	c cleaning 9291 clauses out of 18606 with flag 480056/150720
17.83/15.12	c cleaning 10147 clauses out of 20314 with flag 624132/161719
19.65/17.03	c cleaning 11082 clauses out of 22167 with flag 774721/173719
21.85/19.20	c cleaning 12036 clauses out of 24085 with flag 950942/186719
24.35/21.78	c cleaning 13019 clauses out of 26050 with flag 1161445/200720
27.14/24.57	c cleaning 13997 clauses out of 28030 with flag 1377081/215719
30.14/27.57	c cleaning 15002 clauses out of 30033 with flag 1611214/231719
33.44/30.88	c cleaning 16002 clauses out of 32031 with flag 1882538/248719
37.23/34.62	c cleaning 17012 clauses out of 34031 with flag 2183016/266721
41.41/38.83	c cleaning 18007 clauses out of 36017 with flag 2495053/285719
45.91/43.37	c cleaning 18994 clauses out of 38010 with flag 2830324/305719
50.93/48.41	c cleaning 20008 clauses out of 40017 with flag 3186624/326720
51.74/49.20	c cleaning 21000 clauses out of 42008 with flag 3237562/348719
52.44/49.97	c cleaning 22005 clauses out of 44009 with flag 3284987/371720
53.24/50.74	c cleaning 22996 clauses out of 46003 with flag 3334875/395719
54.04/51.51	c cleaning 24002 clauses out of 48009 with flag 3388313/420721
54.93/52.41	c cleaning 24996 clauses out of 50006 with flag 3443817/446720
55.74/53.28	c cleaning 26001 clauses out of 52009 with flag 3501439/473719
56.83/54.37	c cleaning 27002 clauses out of 54008 with flag 3561676/501719
57.83/55.37	c cleaning 27998 clauses out of 56007 with flag 3623133/530720
58.94/56.42	c cleaning 28997 clauses out of 58008 with flag 3686719/560719
60.14/57.64	c cleaning 30003 clauses out of 60013 with flag 3754562/591721
61.43/58.92	c cleaning 30999 clauses out of 62008 with flag 3821888/623719
62.64/60.18	c cleaning 32004 clauses out of 64009 with flag 3892179/656719
64.24/61.75	c cleaning 33002 clauses out of 66006 with flag 3965407/690720
65.74/63.25	c cleaning 33995 clauses out of 68003 with flag 4040543/725719
67.24/64.71	c cleaning 34999 clauses out of 70008 with flag 4117329/761719
68.73/66.26	c cleaning 36001 clauses out of 72009 with flag 4197325/798719
70.35/67.87	c cleaning 36997 clauses out of 74008 with flag 4280838/836719
72.14/69.63	c cleaning 38006 clauses out of 76011 with flag 4364921/875719
74.04/71.52	c cleaning 39002 clauses out of 78006 with flag 4451527/915720
75.93/73.46	c cleaning 39998 clauses out of 80004 with flag 4541452/956720
77.94/75.43	c cleaning 40999 clauses out of 82006 with flag 4634352/998720
79.94/77.46	c cleaning 41997 clauses out of 84007 with flag 4728505/1041720
81.90/79.63	c cleaning 42997 clauses out of 86009 with flag 4823185/1085719
84.02/81.75	c cleaning 44005 clauses out of 88012 with flag 4921508/1130719
85.80/83.57	c cleaning 45000 clauses out of 90007 with flag 5020041/1176719
87.70/85.48	c cleaning 46001 clauses out of 92007 with flag 5120484/1223719
89.72/87.42	c cleaning 46998 clauses out of 94007 with flag 5223255/1271720
91.71/89.46	c cleaning 48000 clauses out of 96009 with flag 5341192/1320720
94.21/91.98	c cleaning 48996 clauses out of 98008 with flag 5452657/1370719
96.52/94.24	c cleaning 50004 clauses out of 100012 with flag 5564150/1421719
99.12/96.83	c cleaning 51000 clauses out of 102010 with flag 5678390/1473721
102.21/99.95	c cleaning 52002 clauses out of 104009 with flag 5794690/1526720
105.12/102.88	c cleaning 53001 clauses out of 106007 with flag 5915245/1580720
108.11/105.84	c cleaning 53999 clauses out of 108005 with flag 6043188/1635719
111.29/109.29	c cleaning 54997 clauses out of 110007 with flag 6173385/1691720
114.09/112.09	c cleaning 55998 clauses out of 112010 with flag 6297805/1748720
117.18/115.12	c cleaning 57004 clauses out of 114013 with flag 6425871/1806721
120.28/118.22	c cleaning 57996 clauses out of 116009 with flag 6556093/1865721
122.97/120.91	c cleaning 59006 clauses out of 118012 with flag 6689485/1925720
126.28/124.28	c cleaning 60000 clauses out of 120006 with flag 6825626/1986720
130.18/128.14	c cleaning 61000 clauses out of 122006 with flag 6967265/2048720
134.19/132.15	c cleaning 62001 clauses out of 124006 with flag 7107948/2111720
137.88/135.89	c cleaning 63003 clauses out of 126005 with flag 7256657/2175720
142.07/140.16	c cleaning 64001 clauses out of 128002 with flag 7411728/2240720
146.87/144.95	c cleaning 65000 clauses out of 130002 with flag 7555634/2306721
151.36/149.43	c cleaning 65998 clauses out of 132001 with flag 7707311/2373720
156.77/154.85	c cleaning 67000 clauses out of 134003 with flag 7855984/2441720
159.76/157.88	c cleaning 67998 clauses out of 136002 with flag 8016269/2510719
163.37/161.46	c cleaning 68999 clauses out of 138006 with flag 8179555/2580721
166.36/164.44	c cleaning 70001 clauses out of 140005 with flag 8333870/2651719
169.18/167.24	c cleaning 70996 clauses out of 142004 with flag 8489340/2723719
172.29/170.42	c cleaning 72001 clauses out of 144010 with flag 8651925/2796721
175.38/173.51	c cleaning 73004 clauses out of 146007 with flag 8817534/2870719
179.60/177.76	c cleaning 73996 clauses out of 148004 with flag 8987410/2945720
183.19/181.33	c cleaning 74998 clauses out of 150008 with flag 9152192/3021720
187.41/185.52	c cleaning 76001 clauses out of 152011 with flag 9326435/3098721
191.54/189.67	c cleaning 77004 clauses out of 154009 with flag 9499673/3176720
196.13/194.22	c cleaning 77997 clauses out of 156004 with flag 9672812/3255719
201.15/199.23	c cleaning 79001 clauses out of 158007 with flag 9850291/3335719
205.98/204.21	c cleaning 80001 clauses out of 160008 with flag 10036108/3416721
211.60/209.80	c cleaning 80996 clauses out of 162005 with flag 10218078/3498719
217.23/215.40	c cleaning 81999 clauses out of 164009 with flag 10404210/3581719
220.93/219.17	c cleaning 82996 clauses out of 166011 with flag 10625252/3665720
225.55/223.72	c cleaning 84003 clauses out of 168014 with flag 10867140/3750719
234.71/233.11	c cleaning 84999 clauses out of 170012 with flag 11350915/3836720
276.70/275.24	c cleaning 86004 clauses out of 172012 with flag 12912141/3923719
337.09/334.92	c cleaning 86999 clauses out of 174012 with flag 14594741/4011723
353.93/351.75	c cleaning 87997 clauses out of 176010 with flag 15200644/4100720
357.91/355.72	c cleaning 89002 clauses out of 178014 with flag 15403494/4190721
363.61/361.48	c cleaning 89999 clauses out of 180011 with flag 15633631/4281720
368.25/366.08	c cleaning 90998 clauses out of 182012 with flag 15855438/4373720
371.88/369.68	c cleaning 91999 clauses out of 184014 with flag 16073501/4466720
376.07/373.88	c cleaning 93005 clauses out of 186014 with flag 16301600/4560719
380.49/378.27	c cleaning 94002 clauses out of 188009 with flag 16544130/4655719
385.13/382.89	c cleaning 95001 clauses out of 190007 with flag 16779396/4751719
389.92/387.78	c cleaning 96000 clauses out of 192007 with flag 17025490/4848720
393.97/391.74	c cleaning 96992 clauses out of 194007 with flag 17269045/4946720
398.46/396.24	c cleaning 98005 clauses out of 196015 with flag 17516213/5045720
403.07/400.82	c cleaning 98998 clauses out of 198009 with flag 17760693/5145719
407.82/405.51	c cleaning 100000 clauses out of 200011 with flag 18024844/5246719
412.77/410.41	c cleaning 101003 clauses out of 202012 with flag 18262450/5348720
417.72/415.36	c cleaning 101997 clauses out of 204009 with flag 18495741/5451720
422.67/420.48	c cleaning 102997 clauses out of 206011 with flag 18767920/5555719
428.51/426.26	c cleaning 104005 clauses out of 208015 with flag 19046554/5660720
434.22/431.98	c cleaning 104999 clauses out of 210010 with flag 19367215/5766720
439.38/437.06	c cleaning 105997 clauses out of 212010 with flag 19637529/5873719
527.43/525.43	c cleaning 107004 clauses out of 214014 with flag 21470463/5981720
596.74/594.88	c cleaning 107994 clauses out of 216010 with flag 23121303/6090720
602.25/600.35	c cleaning 109001 clauses out of 218015 with flag 23370335/6200719
609.00/607.09	c cleaning 110005 clauses out of 220015 with flag 23618938/6311720
615.82/613.80	c cleaning 110997 clauses out of 222010 with flag 23879056/6423720
622.26/620.28	c cleaning 112002 clauses out of 224013 with flag 24140596/6536720
629.12/627.01	c cleaning 113002 clauses out of 226011 with flag 24407507/6650720
634.67/632.75	c cleaning 113994 clauses out of 228008 with flag 24698218/6765719
640.42/638.42	c cleaning 115002 clauses out of 230014 with flag 24989029/6881719
646.76/644.78	c cleaning 115998 clauses out of 232012 with flag 25272358/6998719
653.91/651.53	c cleaning 117003 clauses out of 234016 with flag 25559612/7116721
714.78/712.52	c cleaning 118000 clauses out of 236011 with flag 26705394/7235719
720.02/717.72	c cleaning 119001 clauses out of 238011 with flag 26986296/7355719
726.95/725.25	c cleaning 119998 clauses out of 240010 with flag 27281617/7476719
749.07/747.31	c cleaning 120999 clauses out of 242012 with flag 27831792/7598719
754.71/752.99	c cleaning 121999 clauses out of 244014 with flag 28128881/7721720
762.50/761.01	c cleaning 123004 clauses out of 246015 with flag 28437201/7845720
769.13/767.60	c cleaning 124000 clauses out of 248010 with flag 28755298/7970719
774.99/773.49	c cleaning 125003 clauses out of 250010 with flag 29058891/8096719
782.12/780.52	c cleaning 125999 clauses out of 252007 with flag 29382773/8223719
789.77/788.37	c cleaning 127000 clauses out of 254008 with flag 29689765/8351719
797.01/795.59	c cleaning 128003 clauses out of 256010 with flag 30010329/8480721
806.93/805.41	c cleaning 128998 clauses out of 258005 with flag 30348334/8610719
835.09/833.64	c cleaning 130000 clauses out of 260008 with flag 30974814/8741720
857.41/855.93	c cleaning 130998 clauses out of 262009 with flag 31566159/8873721
863.33/861.83	c cleaning 132000 clauses out of 264010 with flag 31851069/9006720
869.76/868.28	c cleaning 132995 clauses out of 266009 with flag 32156114/9140719
875.78/874.28	c cleaning 134000 clauses out of 268016 with flag 32475707/9275721
884.93/883.49	c cleaning 135006 clauses out of 270016 with flag 32796767/9411721
893.97/892.48	c cleaning 136000 clauses out of 272008 with flag 33122763/9548719
903.39/901.86	c cleaning 137003 clauses out of 274009 with flag 33451268/9686720
912.44/914.98	c cleaning 137997 clauses out of 276005 with flag 33769623/9825719
919.39/921.86	c cleaning 139001 clauses out of 278010 with flag 34095840/9965721
929.52/931.96	c cleaning 139997 clauses out of 280007 with flag 34440122/10106719
939.63/941.88	c cleaning 141000 clauses out of 282010 with flag 34774837/10248719
949.36/951.58	c cleaning 141999 clauses out of 284010 with flag 35111629/10391719
958.28/960.42	c cleaning 142999 clauses out of 286011 with flag 35421714/10535719
965.92/968.01	c cleaning 143999 clauses out of 288012 with flag 35757604/10680719
974.32/976.41	c cleaning 144997 clauses out of 290014 with flag 36104377/10826720
983.83/985.90	c cleaning 146003 clauses out of 292016 with flag 36453852/10973719
994.06/996.18	c cleaning 146994 clauses out of 294013 with flag 36804113/11121719
1004.02/1006.06	c cleaning 148007 clauses out of 296021 with flag 37161903/11270721
1013.16/1015.16	c cleaning 149004 clauses out of 298013 with flag 37530210/11420720
1023.08/1025.05	c cleaning 150002 clauses out of 300011 with flag 37930140/11571722
1032.29/1034.23	c cleaning 150998 clauses out of 302006 with flag 38333146/11723719
1042.18/1044.05	c cleaning 152002 clauses out of 304008 with flag 38693479/11876719
1141.53/1143.79	c cleaning 152996 clauses out of 306006 with flag 40136204/12030719
1204.53/1207.26	c cleaning 153996 clauses out of 308010 with flag 41254711/12185719
1214.33/1216.98	c cleaning 154999 clauses out of 310015 with flag 41616893/12341720
1222.50/1225.32	c cleaning 156002 clauses out of 312015 with flag 41986594/12498719
1231.02/1233.82	c cleaning 156998 clauses out of 314013 with flag 42348230/12656719
1240.31/1243.01	c cleaning 158001 clauses out of 316017 with flag 42715503/12815721
1252.13/1254.81	c cleaning 158999 clauses out of 318014 with flag 43052865/12975719
1260.36/1263.04	c cleaning 160001 clauses out of 320015 with flag 43417363/13136719
1269.05/1271.69	c cleaning 161002 clauses out of 322015 with flag 43772208/13298720
1279.38/1281.97	c cleaning 161998 clauses out of 324013 with flag 44136730/13461720
1287.79/1290.35	c cleaning 163000 clauses out of 326014 with flag 44521290/13625719
1297.34/1299.89	c cleaning 164003 clauses out of 328014 with flag 44893253/13790719
1309.28/1311.72	c cleaning 165003 clauses out of 330011 with flag 45293967/13956719
1321.09/1323.54	c cleaning 165998 clauses out of 332009 with flag 45745883/14123720
1335.55/1337.90	c cleaning 167004 clauses out of 334011 with flag 46205355/14291720
1604.95/1608.09	c cleaning 167996 clauses out of 336007 with flag 48851774/14460720
1984.14/1987.84	c cleaning 168998 clauses out of 338011 with flag 52167801/14630720
2392.57/2397.08	c cleaning 169997 clauses out of 340012 with flag 55505752/14801719
2536.88/2541.35	c cleaning 170998 clauses out of 342015 with flag 57171152/14973719
2546.22/2550.69	c cleaning 171996 clauses out of 344017 with flag 57560984/15146719
2555.55/2559.95	c cleaning 173003 clauses out of 346021 with flag 57968771/15320719
2566.62/2571.06	c cleaning 174005 clauses out of 348018 with flag 58383191/15495719
2577.20/2581.52	c cleaning 175004 clauses out of 350013 with flag 58832750/15671719
2587.24/2591.55	c cleaning 175999 clauses out of 352009 with flag 59289938/15848719
2597.63/2602.07	c cleaning 177001 clauses out of 354011 with flag 59766744/16026720
2609.05/2613.43	c cleaning 178001 clauses out of 356010 with flag 60176728/16205720
2622.90/2627.27	c cleaning 179000 clauses out of 358008 with flag 60579487/16385719
2637.61/2644.23	c cleaning 179999 clauses out of 360008 with flag 60997103/16566719
2649.50/2656.10	c cleaning 181002 clauses out of 362010 with flag 61451549/16748720
2660.31/2666.85	c cleaning 181995 clauses out of 364008 with flag 61909703/16931720
2674.65/2681.72	c cleaning 183002 clauses out of 366013 with flag 62338071/17115720
2688.36/2695.46	c cleaning 184000 clauses out of 368011 with flag 62814745/17300720
2703.38/2710.52	c cleaning 185000 clauses out of 370010 with flag 63285856/17486719
2958.39/2966.14	c cleaning 186002 clauses out of 372011 with flag 65548884/17673720
3464.06/3473.92	c cleaning 186998 clauses out of 374008 with flag 69176863/17861719
3479.65/3489.41	c cleaning 187999 clauses out of 376010 with flag 69627281/18050719
3494.12/3503.91	c cleaning 189000 clauses out of 378012 with flag 70091412/18240720
3505.72/3515.51	c cleaning 189998 clauses out of 380011 with flag 70531908/18431719
3517.57/3527.37	c cleaning 191003 clauses out of 382014 with flag 70981911/18623720
3530.18/3540.06	c cleaning 191995 clauses out of 384010 with flag 71427440/18816719
3547.22/3557.05	c cleaning 193006 clauses out of 386015 with flag 71868233/19010719
3563.50/3573.46	c cleaning 194001 clauses out of 388010 with flag 72309283/19205720
3578.09/3587.95	c cleaning 194997 clauses out of 390009 with flag 72741889/19401720
3593.15/3603.09	c cleaning 196003 clauses out of 392012 with flag 73188135/19598720
3600.06/3609.91	c starts		: 10602
3600.06/3609.91	c conflicts		: 19709965
3600.06/3609.91	c decisions		: 24556662
3600.06/3609.91	c propagations		: 311328742
3600.06/3609.91	c inspects		: 31894809896
3600.06/3609.91	c shortcuts		: 0
3600.06/3609.91	c learnt literals	: 0
3600.06/3609.91	c learnt binary clauses	: 7
3600.06/3609.91	c learnt ternary clauses	: 134
3600.06/3609.91	c learnt constraints	: 19709965
3600.06/3609.91	c ignored constraints	: 0
3600.06/3609.91	c root simplifications	: 0
3600.06/3609.91	c removed literals (reason simplification)	: 224026620
3600.06/3609.91	c reason swapping (by a shorter reason)	: 0
3600.06/3609.91	c Calls to reduceDB	: 203
3600.06/3609.91	c Number of update (reduction) of LBD	: 1446574
3600.06/3609.91	c Imported unit clauses	: 0
3600.06/3609.91	c No decision after first conflict	: false
3600.06/3609.91	c number of reductions to clauses (during analyze)	: 0
3600.06/3609.91	c number of learned constraints concerned by reduction	: 0
3600.06/3609.91	c number of learning phase by resolution	: 0
3600.06/3609.91	c number of learning phase by cutting planes	: 0
3600.06/3609.91	c number of rounding to 1 operations	: 0
3600.06/3609.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3609.91	c number of reductions of the coefficients by power 2 	: 0
3600.06/3609.91	c number of right shift for reduction by power 2 	: 0
3600.06/3609.91	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3609.91	c number of ending skipping 	: 0
3600.06/3609.91	c number of internal skipping 	: 0
3600.06/3609.91	c number of derivation steps 	: 0
3600.06/3609.91	c number of skipped derivation steps 	: 0
3600.06/3609.91	c number of remaining unassigned 	: 0
3600.06/3609.91	c number of remaining assigned 	: 0
3600.06/3609.91	c number of falsified literals weakened from reason	: 0
3600.06/3609.91	c number of falsified literals weakened from conflict	: 0
3600.06/3609.91	c time for arithmetic operations	: 0
3600.06/3609.91	c minimum degree of deleted constraints	: null
3600.06/3609.91	c maximum degree of deleted constraints	: null
3600.06/3609.91	c number of deleted constraints	: 0
3600.06/3609.92	c speed (assignments/second)	: 86252.45172054015
3600.06/3609.92	c non guided choices	: 1090
3600.06/3609.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 307247
3600.06/3609.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 7
3600.06/3609.99	s SATISFIABLE
3600.06/3609.99	c Found 9 solution(s)
3600.06/3609.99	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 x537 x538 x539 -x540 
3600.06/3609.99	c objective function=24311
3600.06/3609.99	c Total wall clock time (in seconds): 3609.786

Verifier Data 

OK	24311

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62874 MiB free)
  memory of node 1: 64507 MiB (62411 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=43947, runsolver pid=43939

[startup+0.100061 s]*
/proc/loadavg: 1.01 2.90 3.68 6/313 44004
/proc/meminfo: memFree=128209044/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=18330292 memory=38868 CPUtime=0.01 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 4996 0 0 0 0 1 0 0 20 0 9 0 49205033 18770219008 9717 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16784588 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4582573 9717 4141 1 0 544009 0
[pid=43947/tid=43981] ppid=43939 vsize=18330292 memory=4026532124 CPUtime=0.01 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 4400 0 0 0 0 1 0 0 20 0 9 0 49205041 18770219008 9717 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18330292 KiB
Current children cumulated memory: 38868 KiB

[startup+0.205976 s]*
/proc/loadavg: 1.01 2.90 3.68 9/334 44025
/proc/meminfo: memFree=128171404/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=18930384 memory=59000 CPUtime=0.18 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 6818 0 0 0 16 2 0 0 20 0 18 0 49205033 19384713216 14750 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4732596 14750 5421 1 0 547794 0
[pid=43947/tid=43981] ppid=43939 vsize=18930384 memory=3472285463394844956 CPUtime=0.1 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) D 43939 43947 43887 0 -1 4456512 5219 0 0 0 9 1 0 0 20 0 18 0 49205041 19384713216 14750 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=18930384 memory=16912 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205044 19384713216 14750 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49205044 19384713216 14750 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59000 KiB

[startup+0.306068 s]*
/proc/loadavg: 1.01 2.90 3.68 7/334 44025
/proc/meminfo: memFree=128128908/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=18930384 memory=69656 CPUtime=0.34 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 7454 0 0 0 31 3 0 0 20 0 18 0 49205033 19384713216 17414 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4732596 17414 5421 1 0 548248 0
[pid=43947/tid=43981] ppid=43939 vsize=18930384 memory=-6000919507082766699 CPUtime=0.17 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 5314 0 0 0 15 2 0 0 20 0 18 0 49205041 19384713216 17414 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49205044 19384713216 17414 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49205044 19384713216 17414 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69656 KiB

[startup+0.70024 s]
/proc/loadavg: 1.01 2.90 3.68 11/338 44029
/proc/meminfo: memFree=128019328/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=18996948 memory=110412 CPUtime=1.03 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 11328 0 1 0 98 5 0 0 20 0 19 0 49205033 19452874752 27603 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4749237 27603 5453 1 0 550703 0
[pid=43947/tid=43981] ppid=43939 vsize=18996948 memory=17792 CPUtime=0.45 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 5463 0 1 0 42 3 0 0 20 0 19 0 49205041 19452874752 27603 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=18996948 memory=11008 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49205044 19452874752 27603 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=18996948 memory=5760 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49205044 19452874752 27603 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=18996948 memory=2372 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49205074 19452874752 27603 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110412 KiB

[startup+1.50025 s]
/proc/loadavg: 1.01 2.90 3.68 7/320 44040
/proc/meminfo: memFree=127902868/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=169864 CPUtime=2.62 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 19512 0 1 0 254 8 0 0 20 0 20 0 49205033 19521036288 42466 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 42466 5517 1 0 552263 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=0 CPUtime=1.2 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 6348 0 1 0 116 4 0 0 20 0 20 0 49205041 19521036288 42466 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 42466 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 42466 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=2372 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 42466 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169864 KiB

[startup+3.10578 s]
/proc/loadavg: 1.01 2.90 3.68 5/319 44044
/proc/meminfo: memFree=127658400/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=205924 CPUtime=5.41 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 22806 0 1 0 531 10 0 0 20 0 20 0 49205033 19521036288 51481 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 51481 5517 1 0 552898 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=0 CPUtime=2.78 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 6869 0 1 0 272 6 0 0 20 0 20 0 49205041 19521036288 51481 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 51481 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=-6000919468444838251 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 51481 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 51481 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205924 KiB

[startup+6.30022 s]
/proc/loadavg: 1.17 2.90 3.68 6/342 44099
/proc/meminfo: memFree=126383252/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=439856 CPUtime=8.83 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 23328 0 1 0 866 17 0 0 20 0 20 0 49205033 19521036288 109964 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 109964 5517 1 0 552902 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=0 CPUtime=5.95 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 7260 0 1 0 584 11 0 0 20 0 20 0 49205041 19521036288 109964 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=7451020184365723237 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 109964 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=398580 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 109964 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 109964 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 439856 KiB

[startup+12.7002 s]
/proc/loadavg: 1.56 2.96 3.69 5/342 44110
/proc/meminfo: memFree=123898892/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=1109680 CPUtime=15.43 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 29222 0 1 0 1512 31 0 0 20 0 20 0 49205033 19521036288 277420 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 277420 5517 1 0 552902 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=554544 CPUtime=12.33 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 9620 0 1 0 1208 25 0 0 20 0 20 0 49205041 19521036288 277420 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 277420 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=783920 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 277420 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 277420 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 15.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1109680 KiB

[startup+25.5002 s]
/proc/loadavg: 2.10 3.01 3.70 5/343 44111
/proc/meminfo: memFree=122024304/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=1308392 CPUtime=28.14 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 32712 0 1 0 2776 38 0 0 20 0 20 0 49205033 19521036288 327098 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 327098 5517 1 0 552902 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=0 CPUtime=25.01 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 10472 0 1 0 2470 31 0 0 20 0 20 0 49205041 19521036288 327098 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=1308392 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 327098 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=1308392 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 327098 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=-6000919468444838251 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 327098 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 28.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1308392 KiB

[startup+51.1163 s]
/proc/loadavg: 2.75 3.09 3.71 5/343 44113
/proc/meminfo: memFree=121316200/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=1310576 CPUtime=53.66 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 35692 0 1 0 5321 45 0 0 20 0 20 0 49205033 19521036288 327644 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 327644 5549 1 0 552902 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=1310448 CPUtime=50.45 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) S 43939 43947 43887 0 -1 4194368 11717 0 1 0 5008 37 0 0 20 0 20 0 49205041 19521036288 327644 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 327644 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=1203888 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 327644 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=1310448 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 327644 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0

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

/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1735 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/345 44282
/proc/meminfo: memFree=69636496/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3273.96 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 108258 0 1 0 326803 593 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556786 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=-6000919468444838251 CPUtime=3252.95 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 41882 0 1 0 324803 492 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=17792 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.17 4.10 5/345 44284
/proc/meminfo: memFree=69643636/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3332.69 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 108395 0 1 0 332674 595 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556786 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=14464 CPUtime=3311.65 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 41980 0 1 0 330672 493 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=11008 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/345 44287
/proc/meminfo: memFree=69495684/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3392.63 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 108845 0 1 0 338665 598 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556786 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3371.42 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 42359 0 1 0 336647 495 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=6772 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.10 6/344 44290
/proc/meminfo: memFree=69013828/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3452.48 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 109700 0 1 0 344648 600 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556793 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3431.25 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 43107 0 1 0 342629 496 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=20096 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1862 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/346 44296
/proc/meminfo: memFree=67759972/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3512.58 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 110420 0 1 0 350641 617 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556797 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3490.7 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 43493 0 1 0 348559 511 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1907 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.22 4.13 5/346 44298
/proc/meminfo: memFree=66850812/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3572.51 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 110513 0 1 0 356616 635 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556797 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3549.98 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 43516 0 1 0 354471 527 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1907 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.33 4.23 4.13 6/322 44472
/proc/meminfo: memFree=101647572/131249996 swapFree=33010416/33010684
[pid=43947] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3600.06 cores=5,7
/proc/43947/stat : 43947 (java) S 43939 43947 43887 0 -1 4194304 110633 0 1 0 359365 641 0 0 20 0 20 0 49205033 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
/proc/43947/statm: 4765878 544099 5549 1 0 556797 0
[pid=43947/tid=43981] ppid=43939 vsize=19063512 memory=2176396 CPUtime=3577.35 cores=5,7
/proc/43947/task/43981/stat : 43981 (java) R 43939 43947 43887 0 -1 4194368 43610 0 1 0 357201 534 0 0 20 0 20 0 49205041 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44016] ppid=43939 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/43947/task/44016/stat : 44016 (Finalizer) S 43939 43947 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44025] ppid=43939 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/43947/task/44025/stat : 44025 (Common-Cleaner) S 43939 43947 43887 0 -1 4194368 1907 0 0 0 0 0 0 0 20 0 20 0 49205044 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
[pid=43947/tid=44028] ppid=43939 vsize=19063512 memory=2176396 CPUtime=0 cores=5,7
/proc/43947/task/44028/stat : 44028 (Timer-0) S 43939 43947 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49205074 19521036288 544099 18446744073709551615 93915171569664 93915171573360 140737170162736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93915171581176 93915171581968 93915176325120 140737170164016 140737170164198 140737170164198 140737170169800 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2176396 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.83 s, system=6.4408 s

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

[startup+3610.01 s]*
/proc/loadavg: 4.33 4.23 4.13 7/304 44475
/proc/meminfo: memFree=103594624/131249996 swapFree=33010416/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): 3610.06
CPU time (s): 3600.27
CPU user time (s): 3593.83
CPU system time (s): 6.4408
CPU usage (%): 99.7288
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2176396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.83
system time used= 6.4408
maximum resident set size= 2177420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112948
page faults= 1
swaps= 0
block input operations= 256
block output operations= 10603560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121018
involuntary context switches= 8166


# summary of solver processes directly reported to runsolver:
#   pid: 43947
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3593.83
#   total CPU system time (s): 6.4408

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.04403 second user time and 17.7389 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 04:00:54
IDJOB=4486525
IDBENCH=147022
IDSOLVER=3364
FILE ID=nodeC030/4486525-1751335254
RUNJOBID= nodeC030-1751335254-43900
SLURM_JOB_ID= 9594379
Free space on /tmp= 433036 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486525-1751335254/watcher-4486525-1751335254 -o /tmp/evaluation-result-4486525-1751335254/solver-4486525-1751335254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43900 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4486525-1751335254 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4486525-1751335254.opb

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=1410440870

nodeC030 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		: 1198.910
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	: 7000.62
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		: 3600.264
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	: 7000.62
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		: 1200.640
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	: 7000.62
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		: 1198.453
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	: 7000.62
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		: 1200.126
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	: 7000.62
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		: 3610.468
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	: 7000.62
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		: 1200.255
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	: 7000.62
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		: 3600.324
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128297400 kB
MemAvailable:   129774068 kB
Buffers:            2564 kB
Cached:          2270868 kB
SwapCached:           16 kB
Active:           413420 kB
Inactive:        1920160 kB
Active(anon):      73548 kB
Inactive(anon):     4660 kB
Active(file):     339872 kB
Inactive(file):  1915500 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5484 kB
Writeback:             0 kB
AnonPages:         63412 kB
Mapped:           103176 kB
Shmem:             18048 kB
KReclaimable:     120672 kB
Slab:             207828 kB
SReclaimable:     120672 kB
SUnreclaim:        87156 kB
KernelStack:        4112 kB
PageTables:         2832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC030 at 2025-07-01 05:01:05