Trace number 4484685

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)12 3600.41 3597.84

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
MD5SUM1e9c9c7dcf807eef4e114aea42645bf8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.027909
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables372
Total number of constraints421
Number of constraints which are clauses345
Number of constraints which are cardinality constraints (but not clauses)76
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 372
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 983
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 983
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.10	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4484685-1751295329.opb
0.12/0.14	c reading problem ... 
0.12/0.15	c using VERIPB proof format
0.12/0.15	c  objective function found
0.12/0.19	c ... done. Wall clock time 0.048s.
0.12/0.19	c declared #vars     372
0.12/0.19	c #constraints  422
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 338
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 75
0.12/0.19	c org.sat4j.specs.Constr$1 => 1
0.12/0.19	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7
0.12/0.19	c 422 constraints processed.
0.12/0.20	c objective function length is 372 literals
0.30/0.21	c SATISFIABLE
0.30/0.21	c OPTIMIZING...
0.30/0.21	c Got one! Elapsed wall clock time (in seconds):0.078
0.30/0.21	o 12
1.85/1.09	c cleaning 2493 clauses out of 5001 with flag 10316/5001
3.42/1.87	c cleaning 4245 clauses out of 8507 with flag 22528/11000
5.01/2.67	c cleaning 5626 clauses out of 11263 with flag 36973/18001
6.38/3.30	c cleaning 6814 clauses out of 13638 with flag 53568/26002
7.10/3.94	c cleaning 7904 clauses out of 15823 with flag 71949/35001
7.93/4.64	c cleaning 8952 clauses out of 17919 with flag 92392/45001
8.81/5.44	c cleaning 9973 clauses out of 19966 with flag 114878/56000
9.72/6.33	c cleaning 10992 clauses out of 21994 with flag 139458/68001
10.77/7.30	c cleaning 11993 clauses out of 24001 with flag 166034/81000
11.77/8.34	c cleaning 12995 clauses out of 26010 with flag 194549/95002
12.99/9.54	c cleaning 14001 clauses out of 28014 with flag 225257/110001
14.25/10.71	c cleaning 15001 clauses out of 30013 with flag 258228/126001
15.68/12.18	c cleaning 15998 clauses out of 32012 with flag 292783/143001
17.29/13.71	c cleaning 17003 clauses out of 34014 with flag 330560/161001
19.08/15.51	c cleaning 17996 clauses out of 36010 with flag 369967/180000
20.93/17.31	c cleaning 19000 clauses out of 38016 with flag 411350/200002
22.73/19.17	c cleaning 19997 clauses out of 40014 with flag 454513/221000
24.67/21.03	c cleaning 21001 clauses out of 42018 with flag 500157/243001
26.46/22.89	c cleaning 21994 clauses out of 44016 with flag 548160/266000
28.59/24.93	c cleaning 23000 clauses out of 46023 with flag 598877/290001
30.72/27.09	c cleaning 24004 clauses out of 48023 with flag 651167/315001
33.00/29.33	c cleaning 25002 clauses out of 50019 with flag 705523/341001
36.22/32.51	c cleaning 25999 clauses out of 52016 with flag 762291/368000
39.55/35.80	c cleaning 27001 clauses out of 54018 with flag 821294/396001
42.97/39.29	c cleaning 27998 clauses out of 56016 with flag 882467/425000
46.96/43.29	c cleaning 29001 clauses out of 58018 with flag 945431/455000
50.79/47.00	c cleaning 30002 clauses out of 60017 with flag 1010307/486000
54.21/50.41	c cleaning 30999 clauses out of 62015 with flag 1076937/518000
58.31/54.52	c cleaning 31999 clauses out of 64017 with flag 1146208/551001
62.22/58.49	c cleaning 33002 clauses out of 66017 with flag 1218369/585000
66.04/62.47	c cleaning 33995 clauses out of 68015 with flag 1291705/620000
70.06/66.49	c cleaning 35004 clauses out of 70021 with flag 1367094/656001
74.48/70.86	c cleaning 35997 clauses out of 72017 with flag 1444458/693001
78.64/74.97	c cleaning 37001 clauses out of 74019 with flag 1524197/731000
83.15/79.44	c cleaning 38003 clauses out of 76019 with flag 1606332/770001
87.68/83.95	c cleaning 38995 clauses out of 78015 with flag 1690623/810000
91.70/87.90	c cleaning 40004 clauses out of 80022 with flag 1776479/851002
95.82/92.21	c cleaning 40999 clauses out of 82018 with flag 1864577/893002
100.93/97.38	c cleaning 41997 clauses out of 84017 with flag 1954759/936000
105.35/101.70	c cleaning 43001 clauses out of 86020 with flag 2046796/980000
109.78/106.19	c cleaning 43995 clauses out of 88019 with flag 2140847/1025000
114.50/110.81	c cleaning 44999 clauses out of 90025 with flag 2236831/1071001
119.14/115.49	c cleaning 46004 clauses out of 92027 with flag 2334928/1118002
123.96/120.21	c cleaning 46999 clauses out of 94021 with flag 2435008/1166000
129.09/125.55	c cleaning 47995 clauses out of 96022 with flag 2537261/1215000
135.52/131.91	c cleaning 49002 clauses out of 98027 with flag 2642761/1265000
140.93/137.37	c cleaning 50001 clauses out of 100026 with flag 2749654/1316001
146.92/143.24	c cleaning 50999 clauses out of 102025 with flag 2858279/1368001
152.55/148.83	c cleaning 52002 clauses out of 104025 with flag 2968999/1421000
158.56/155.04	c cleaning 53002 clauses out of 106024 with flag 3083514/1475001
164.57/161.02	c cleaning 54000 clauses out of 108021 with flag 3198788/1530000
170.88/167.39	c cleaning 55006 clauses out of 110022 with flag 3316080/1586001
178.31/174.72	c cleaning 55999 clauses out of 112016 with flag 3436291/1643001
185.47/181.86	c cleaning 56998 clauses out of 114017 with flag 3557595/1701001
193.21/189.75	c cleaning 57997 clauses out of 116018 with flag 3681048/1760000
201.58/198.04	c cleaning 58998 clauses out of 118021 with flag 3806371/1820000
210.40/206.80	c cleaning 60003 clauses out of 120025 with flag 3933935/1881002
219.83/216.59	c cleaning 60999 clauses out of 122021 with flag 4063915/1943001
229.55/226.26	c cleaning 62003 clauses out of 124021 with flag 4195743/2006000
239.09/235.73	c cleaning 62996 clauses out of 126018 with flag 4329930/2070000
248.32/244.94	c cleaning 64000 clauses out of 128022 with flag 4466897/2135000
256.52/253.29	c cleaning 64998 clauses out of 130023 with flag 4605804/2201001
265.79/262.44	c cleaning 65997 clauses out of 132024 with flag 4747304/2268000
274.31/270.93	c cleaning 67003 clauses out of 134027 with flag 4891428/2336000
283.65/280.49	c cleaning 68002 clauses out of 136024 with flag 5036359/2405000
292.89/289.63	c cleaning 69001 clauses out of 138022 with flag 5183174/2475000
302.29/299.03	c cleaning 70000 clauses out of 140022 with flag 5331586/2546001
311.43/308.31	c cleaning 70999 clauses out of 142021 with flag 5482048/2618000
320.56/317.40	c cleaning 71996 clauses out of 144022 with flag 5634760/2691000
329.68/326.57	c cleaning 72999 clauses out of 146026 with flag 5788802/2765000
339.10/335.90	c cleaning 74002 clauses out of 148027 with flag 5945145/2840000
348.37/345.36	c cleaning 75004 clauses out of 150027 with flag 6103555/2916002
357.90/354.82	c cleaning 76001 clauses out of 152021 with flag 6263892/2993000
367.14/364.08	c cleaning 77001 clauses out of 154020 with flag 6426163/3071000
377.16/374.36	c cleaning 77996 clauses out of 156019 with flag 6591650/3150000
387.69/384.83	c cleaning 78997 clauses out of 158024 with flag 6758564/3230001
398.10/395.29	c cleaning 80000 clauses out of 160026 with flag 6927915/3311000
409.25/406.51	c cleaning 80999 clauses out of 162026 with flag 7099598/3393000
420.38/417.63	c cleaning 81999 clauses out of 164027 with flag 7273634/3476000
431.59/428.80	c cleaning 83001 clauses out of 166029 with flag 7449449/3560001
442.28/439.77	c cleaning 84002 clauses out of 168028 with flag 7627379/3645001
453.72/451.10	c cleaning 85001 clauses out of 170026 with flag 7807347/3731001
465.76/463.34	c cleaning 85999 clauses out of 172024 with flag 7989969/3818000
477.68/475.23	c cleaning 86999 clauses out of 174025 with flag 8174865/3906000
490.51/488.05	c cleaning 88001 clauses out of 176026 with flag 8361969/3995000
503.17/500.82	c cleaning 88997 clauses out of 178025 with flag 8550605/4085000
514.83/512.43	c cleaning 90009 clauses out of 180030 with flag 8742120/4176002
527.57/525.36	c cleaning 90996 clauses out of 182020 with flag 8934774/4268001
540.53/538.24	c cleaning 92000 clauses out of 184023 with flag 9129471/4361000
556.99/554.87	c cleaning 93006 clauses out of 186023 with flag 9327465/4455000
573.14/570.91	c cleaning 93992 clauses out of 188018 with flag 9527223/4550001
589.74/587.68	c cleaning 95002 clauses out of 190025 with flag 9728968/4646000
605.85/603.76	c cleaning 96002 clauses out of 192023 with flag 9932205/4743000
622.76/620.71	c cleaning 96995 clauses out of 194022 with flag 10137771/4841001
638.90/636.86	c cleaning 97998 clauses out of 196026 with flag 10344851/4940000
653.31/651.37	c cleaning 99004 clauses out of 198028 with flag 10553883/5040000
670.08/667.75	c cleaning 100001 clauses out of 200025 with flag 10764683/5141001
687.70/685.45	c cleaning 100998 clauses out of 202023 with flag 10979365/5243000
701.93/699.65	c cleaning 102001 clauses out of 204025 with flag 11194616/5346000
717.00/714.78	c cleaning 102998 clauses out of 206024 with flag 11411385/5450000
733.03/730.71	c cleaning 104001 clauses out of 208026 with flag 11630470/5555000
748.41/746.34	c cleaning 104997 clauses out of 210027 with flag 11852012/5661002
764.02/761.95	c cleaning 106008 clauses out of 212029 with flag 12075430/5768001
780.91/778.96	c cleaning 106998 clauses out of 214020 with flag 12300939/5876000
796.26/794.28	c cleaning 107998 clauses out of 216022 with flag 12528061/5985000
813.15/811.24	c cleaning 108993 clauses out of 218024 with flag 12757808/6095000
829.70/827.78	c cleaning 110005 clauses out of 220031 with flag 12989669/6206000
846.84/844.97	c cleaning 110995 clauses out of 222026 with flag 13223692/6318000
865.04/863.43	c cleaning 112002 clauses out of 224031 with flag 13459543/6431000
883.07/881.46	c cleaning 113005 clauses out of 226030 with flag 13697441/6545001
902.14/900.74	c cleaning 114003 clauses out of 228025 with flag 13936922/6660001
921.19/919.73	c cleaning 114997 clauses out of 230021 with flag 14178923/6776000
940.81/939.49	c cleaning 116000 clauses out of 232026 with flag 14423268/6893002
959.18/957.85	c cleaning 116998 clauses out of 234025 with flag 14669621/7011001
979.42/978.01	c cleaning 118002 clauses out of 236026 with flag 14918078/7130000
998.97/997.71	c cleaning 118999 clauses out of 238024 with flag 15168419/7250000
1018.37/1017.23	c cleaning 120001 clauses out of 240025 with flag 15420423/7371000
1037.25/1036.00	c cleaning 120996 clauses out of 242024 with flag 15674889/7493000
1057.45/1056.34	c cleaning 122002 clauses out of 244028 with flag 15931735/7616000
1077.78/1076.73	c cleaning 123005 clauses out of 246029 with flag 16190660/7740003
1102.08/1100.63	c cleaning 124003 clauses out of 248022 with flag 16451468/7865001
1125.23/1123.87	c cleaning 124999 clauses out of 250019 with flag 16714772/7991001
1149.87/1148.56	c cleaning 125996 clauses out of 252019 with flag 16981970/8118000
1174.52/1173.26	c cleaning 127003 clauses out of 254025 with flag 17249748/8246002
1198.11/1196.79	c cleaning 127997 clauses out of 256021 with flag 17519225/8375001
1221.53/1220.29	c cleaning 128998 clauses out of 258024 with flag 17790382/8505001
1245.96/1244.78	c cleaning 130003 clauses out of 260026 with flag 18065361/8636001
1270.61/1269.42	c cleaning 131001 clauses out of 262024 with flag 18343373/8768002
1293.93/1293.19	c cleaning 131998 clauses out of 264021 with flag 18624228/8901000
1317.66/1317.53	c cleaning 133000 clauses out of 266024 with flag 18906152/9035001
1340.35/1340.38	c cleaning 133999 clauses out of 268025 with flag 19189648/9170002
1362.89/1362.91	c cleaning 134996 clauses out of 270024 with flag 19473458/9306000
1385.10/1385.48	c cleaning 136002 clauses out of 272028 with flag 19759669/9443000
1408.34/1408.57	c cleaning 137001 clauses out of 274028 with flag 20047741/9581002
1434.47/1434.76	c cleaning 137999 clauses out of 276026 with flag 20338187/9720001
1461.58/1462.04	c cleaning 138999 clauses out of 278026 with flag 20630914/9860000
1487.22/1487.41	c cleaning 139999 clauses out of 280027 with flag 20928263/10001000
1516.21/1516.47	c cleaning 141002 clauses out of 282028 with flag 21227510/10143000
1546.86/1547.12	c cleaning 142004 clauses out of 284026 with flag 21528839/10286000
1573.87/1574.23	c cleaning 143000 clauses out of 286023 with flag 21831324/10430001
1599.43/1599.88	c cleaning 143998 clauses out of 288022 with flag 22133829/10575000
1627.87/1628.38	c cleaning 144996 clauses out of 290024 with flag 22438909/10721000
1656.51/1656.98	c cleaning 146000 clauses out of 292028 with flag 22746183/10868000
1685.18/1685.36	c cleaning 147001 clauses out of 294030 with flag 23055198/11016002
1713.97/1714.19	c cleaning 148003 clauses out of 296028 with flag 23366745/11165001
1744.53/1744.74	c cleaning 148997 clauses out of 298026 with flag 23681543/11315002
1775.46/1775.76	c cleaning 150002 clauses out of 300027 with flag 24000391/11466000
1808.39/1808.71	c cleaning 151000 clauses out of 302025 with flag 24320819/11618000
1834.61/1835.03	c cleaning 152003 clauses out of 304026 with flag 24643509/11771001
1861.74/1861.95	c cleaning 153000 clauses out of 306022 with flag 24965106/11925000
1893.39/1893.87	c cleaning 153999 clauses out of 308022 with flag 25288917/12080000
1925.02/1925.66	c cleaning 154997 clauses out of 310023 with flag 25614587/12236000
1958.89/1959.74	c cleaning 156002 clauses out of 312026 with flag 25945360/12393000
1989.41/1990.27	c cleaning 157002 clauses out of 314025 with flag 26275836/12551001
2020.12/2020.94	c cleaning 157999 clauses out of 316022 with flag 26609943/12710000
2051.65/2052.54	c cleaning 159002 clauses out of 318023 with flag 26946074/12870000
2083.47/2084.37	c cleaning 160000 clauses out of 320021 with flag 27285300/13031000
2111.41/2112.38	c cleaning 160995 clauses out of 322023 with flag 27623849/13193002
2139.62/2140.63	c cleaning 161997 clauses out of 324026 with flag 27964426/13356000
2169.48/2170.55	c cleaning 163007 clauses out of 326030 with flag 28307938/13520001
2202.47/2203.59	c cleaning 164000 clauses out of 328023 with flag 28654581/13685001
2237.66/2238.29	c cleaning 165000 clauses out of 330023 with flag 29003048/13851001
2270.55/2271.12	c cleaning 165995 clauses out of 332022 with flag 29352916/14018000
2304.77/2305.50	c cleaning 167001 clauses out of 334029 with flag 29704741/14186002
2330.57/2331.29	c cleaning 168004 clauses out of 336026 with flag 30065142/14355000
2359.00/2359.73	c cleaning 169004 clauses out of 338023 with flag 30427135/14525001
2389.81/2390.25	c cleaning 169999 clauses out of 340019 with flag 30791619/14696001
2421.90/2422.30	c cleaning 170999 clauses out of 342021 with flag 31157943/14868002
2453.53/2454.03	c cleaning 171998 clauses out of 344021 with flag 31522913/15041001
2484.75/2485.23	c cleaning 172997 clauses out of 346022 with flag 31887914/15215000
2514.32/2514.36	c cleaning 173996 clauses out of 348025 with flag 32255826/15390000
2541.68/2541.73	c cleaning 175004 clauses out of 350030 with flag 32623891/15566001
2568.92/2569.00	c cleaning 175999 clauses out of 352025 with flag 32993330/15743000
2599.39/2599.54	c cleaning 177000 clauses out of 354026 with flag 33365289/15921000
2627.70/2627.30	c cleaning 178004 clauses out of 356028 with flag 33739293/16100002
2656.82/2656.57	c cleaning 178999 clauses out of 358022 with flag 34115652/16280000
2689.56/2689.39	c cleaning 179995 clauses out of 360023 with flag 34493663/16461000
2722.83/2722.73	c cleaning 181003 clauses out of 362028 with flag 34873854/16643000
2759.23/2758.86	c cleaning 181999 clauses out of 364025 with flag 35259259/16826000
2798.04/2797.74	c cleaning 183004 clauses out of 366028 with flag 35646133/17010002
2830.08/2829.84	c cleaning 183999 clauses out of 368022 with flag 36035699/17195000
2861.89/2861.70	c cleaning 184999 clauses out of 370023 with flag 36424491/17381000
2893.58/2893.18	c cleaning 186000 clauses out of 372025 with flag 36815416/17568001
2927.01/2926.64	c cleaning 187000 clauses out of 374024 with flag 37208538/17756000
2958.71/2958.45	c cleaning 188001 clauses out of 376024 with flag 37604156/17945000
2991.92/2991.33	c cleaning 189001 clauses out of 378024 with flag 38004014/18135001
3028.51/3028.09	c cleaning 189999 clauses out of 380022 with flag 38405435/18326000
3065.04/3064.68	c cleaning 190996 clauses out of 382023 with flag 38806693/18518000
3101.65/3101.11	c cleaning 191997 clauses out of 384027 with flag 39209458/18711000
3135.05/3134.67	c cleaning 193000 clauses out of 386030 with flag 39615341/18905000
3167.19/3166.97	c cleaning 193996 clauses out of 388031 with flag 40022251/19100001
3202.67/3201.82	c cleaning 195002 clauses out of 390034 with flag 40434707/19296000
3236.24/3235.48	c cleaning 195996 clauses out of 392032 with flag 40848871/19493000
3271.50/3270.78	c cleaning 197001 clauses out of 394036 with flag 41263862/19691000
3308.50/3307.25	c cleaning 198005 clauses out of 396036 with flag 41679397/19890001
3350.73/3349.43	c cleaning 199000 clauses out of 398031 with flag 42100990/20090001
3392.66/3390.68	c cleaning 199999 clauses out of 400030 with flag 42525313/20291000
3442.44/3440.60	c cleaning 201002 clauses out of 402031 with flag 42949397/20493000
3489.57/3487.06	c cleaning 202004 clauses out of 404029 with flag 43374366/20696000
3533.38/3531.00	c cleaning 202998 clauses out of 406025 with flag 43802665/20900000
3575.43/3573.39	c cleaning 204000 clauses out of 408028 with flag 44231528/21105001
3600.09/3597.51	c starts		: 2
3600.09/3597.51	c conflicts		: 21276482
3600.09/3597.51	c decisions		: 27570506
3600.09/3597.51	c propagations		: 163301953
3600.09/3597.51	c inspects		: 14252708050
3600.09/3597.51	c shortcuts		: 0
3600.09/3597.51	c learnt literals	: 0
3600.09/3597.51	c learnt binary clauses	: 0
3600.09/3597.52	c learnt ternary clauses	: 0
3600.09/3597.52	c learnt constraints	: 21276482
3600.09/3597.52	c ignored constraints	: 0
3600.09/3597.52	c root simplifications	: 0
3600.09/3597.52	c removed literals (reason simplification)	: 1274289086
3600.09/3597.52	c reason swapping (by a shorter reason)	: 0
3600.09/3597.52	c Calls to reduceDB	: 201
3600.09/3597.52	c Number of update (reduction) of LBD	: 549791
3600.09/3597.52	c Imported unit clauses	: 0
3600.09/3597.52	c No decision after first conflict	: false
3600.09/3597.52	c number of reductions to clauses (during analyze)	: 0
3600.09/3597.52	c number of learned constraints concerned by reduction	: 0
3600.09/3597.52	c number of learning phase by resolution	: 0
3600.09/3597.52	c number of learning phase by cutting planes	: 0
3600.09/3597.52	c number of rounding to 1 operations	: 0
3600.09/3597.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3597.52	c number of reductions of the coefficients by power 2 	: 0
3600.09/3597.52	c number of right shift for reduction by power 2 	: 0
3600.09/3597.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3597.52	c number of ending skipping 	: 0
3600.09/3597.52	c number of internal skipping 	: 0
3600.09/3597.52	c number of derivation steps 	: 0
3600.09/3597.52	c number of skipped derivation steps 	: 0
3600.09/3597.52	c number of remaining unassigned 	: 0
3600.09/3597.52	c number of remaining assigned 	: 0
3600.09/3597.52	c number of falsified literals weakened from reason	: 0
3600.09/3597.52	c number of falsified literals weakened from conflict	: 0
3600.09/3597.52	c time for arithmetic operations	: 0
3600.09/3597.52	c minimum degree of deleted constraints	: null
3600.09/3597.52	c maximum degree of deleted constraints	: null
3600.09/3597.52	c number of deleted constraints	: 0
3600.09/3597.52	c speed (assignments/second)	: 45395.54895433035
3600.09/3597.52	c non guided choices	: 0
3600.29/3597.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 375509
3600.29/3597.62	s SATISFIABLE
3600.29/3597.62	c Found 1 solution(s)
3600.29/3597.62	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 
3600.29/3597.64	c objective function=12
3600.29/3597.64	c Total wall clock time (in seconds): 3597.502

Verifier Data 

OK	12

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=38201, runsolver pid=38198
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.55 4.45 4.33 6/345 38219
/proc/meminfo: memFree=72523448/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=18930384 memory=55684 CPUtime=0.12 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 6538 0 0 0 10 2 0 0 20 0 18 0 45210446 19384713216 13921 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4732596 13921 5372 1 0 547603 0
[pid=38201/tid=38203] ppid=38198 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 5053 0 0 0 6 1 0 0 20 0 18 0 45210447 19384713216 13921 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45210450 19384713216 13921 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=18930384 memory=60684515934839 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45210450 19384713216 13921 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55684 KiB

[startup+0.205898 s]*
/proc/loadavg: 4.55 4.45 4.33 7/345 38219
/proc/meminfo: memFree=72517420/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=18931412 memory=62512 CPUtime=0.3 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 7129 0 0 0 27 3 0 0 20 0 19 0 45210446 19385765888 15628 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4732853 15628 5468 1 0 548262 0
[pid=38201/tid=38203] ppid=38198 vsize=18931412 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) S 38198 38201 37803 0 -1 4194368 5398 0 0 0 15 2 0 0 20 0 19 0 45210447 19385765888 15628 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=18931412 memory=15987 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45210450 19385765888 15628 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=18931412 memory=59585004307431 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45210450 19385765888 15628 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=18931412 memory=3617851993105891360 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (java) R 38198 38201 37803 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 19 0 45210467 19385765888 15628 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 2147221247 0 16800975 0 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18931412 KiB
Current children cumulated memory: 62512 KiB

[startup+0.307426 s]*
/proc/loadavg: 4.55 4.45 4.33 6/346 38220
/proc/meminfo: memFree=72502360/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=18996948 memory=79888 CPUtime=0.49 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 8016 0 0 0 46 3 0 0 20 0 19 0 45210446 19452874752 19972 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4749237 19972 5500 1 0 548853 0
[pid=38201/tid=38203] ppid=38198 vsize=18996948 memory=-6000919472639665260 CPUtime=0.26 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 5441 0 0 0 24 2 0 0 20 0 19 0 45210447 19452874752 19972 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45210450 19452874752 19972 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45210450 19452874752 19972 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 45210467 19452874752 19972 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79888 KiB

[startup+0.700222 s]
/proc/loadavg: 4.55 4.45 4.33 6/346 38220
/proc/meminfo: memFree=72433344/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=169168 CPUtime=1.25 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 14371 0 0 0 119 6 0 0 20 0 20 0 45210446 19521036288 42292 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 42292 5532 1 0 552382 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=17920 CPUtime=0.64 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 5488 0 0 0 60 4 0 0 20 0 20 0 45210447 19521036288 42292 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 42292 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 42292 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 42292 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169168 KiB

[startup+1.50026 s]
/proc/loadavg: 4.55 4.45 4.33 6/347 38221
/proc/meminfo: memFree=72384008/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=178192 CPUtime=2.83 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 24017 0 0 0 274 9 0 0 20 0 20 0 45210446 19521036288 44548 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 44548 5532 1 0 553694 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=0 CPUtime=1.4 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 6476 0 0 0 135 5 0 0 20 0 20 0 45210447 19521036288 44548 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 44548 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 44548 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 44548 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178192 KiB

[startup+3.10609 s]
/proc/loadavg: 4.58 4.46 4.34 6/347 38221
/proc/meminfo: memFree=72178148/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=332408 CPUtime=6 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 27686 0 0 0 585 15 0 0 20 0 20 0 45210446 19521036288 83102 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 83102 5532 1 0 553882 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=10752 CPUtime=2.96 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 7147 0 0 0 287 9 0 0 20 0 20 0 45210447 19521036288 83102 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=-6000919472639665260 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 83102 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 83102 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 83102 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 332408 KiB

[startup+6.30021 s]
/proc/loadavg: 4.58 4.46 4.34 5/347 38221
/proc/meminfo: memFree=71854652/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=539332 CPUtime=9.72 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 28076 0 0 0 949 23 0 0 20 0 20 0 45210446 19521036288 134833 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 134833 5532 1 0 553884 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=0 CPUtime=6.09 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 7310 0 0 0 594 15 0 0 20 0 20 0 45210447 19521036288 134833 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 134833 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 134833 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=178832 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 134833 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 539332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.49 4.44 4.33 5/347 38221
/proc/meminfo: memFree=71116624/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=1346476 CPUtime=16.29 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 32504 0 0 0 1583 46 0 0 20 0 20 0 45210446 19521036288 336619 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 336619 5532 1 0 553884 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=178832 CPUtime=12.41 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 8494 0 0 0 1206 35 0 0 20 0 20 0 45210447 19521036288 336619 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=1037152 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 336619 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 336619 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 336619 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 16.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1346476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.57 4.46 4.34 5/347 38221
/proc/meminfo: memFree=70624556/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=1350740 CPUtime=29.18 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 35107 0 0 0 2860 58 0 0 20 0 20 0 45210446 19521036288 337685 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 337685 5532 1 0 553884 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=1037152 CPUtime=25.11 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 9880 0 0 0 2463 48 0 0 20 0 20 0 45210447 19521036288 337685 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 337685 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=-6000919472639665260 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 337685 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 337685 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 29.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1350740 KiB

[startup+51.1058 s]
/proc/loadavg: 4.38 4.42 4.33 5/346 38221
/proc/meminfo: memFree=69993728/131250000 swapFree=33010672/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=1398056 CPUtime=54.92 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 39701 0 0 0 5414 78 0 0 20 0 20 0 45210446 19521036288 349514 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0

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

Current children cumulated memory: 2166952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.24 4.26 5/346 38612
/proc/meminfo: memFree=697220/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3283.53 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 126450 0 0 0 326548 1805 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554819 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=1792 CPUtime=3234.01 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 47881 0 0 0 321712 1689 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1678 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3283.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.26 4.27 5/347 38616
/proc/meminfo: memFree=648896/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3343.64 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 127797 0 0 0 332528 1836 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554831 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=6784 CPUtime=3293.39 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 48717 0 0 0 327621 1718 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=5044 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=5032 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1705 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=2166952 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3343.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.27 5/347 38618
/proc/meminfo: memFree=519156/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3404.35 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 129469 0 0 0 338575 1860 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554831 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=169292 CPUtime=3352.91 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 49064 0 0 0 333550 1741 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=54113165640434 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=169292 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1756 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=16259988 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3404.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.31 4.28 6/348 38621
/proc/meminfo: memFree=602124/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3464.19 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 130194 0 0 0 344532 1887 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554831 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=7666937897044437097 CPUtime=3412.11 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 49656 0 0 0 339445 1766 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=7157464894909931622 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=7017570723465488493 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1756 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=-9123011406873178988 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3464.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.32 4.29 5/348 38625
/proc/meminfo: memFree=608332/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3524.69 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 133181 0 0 0 350553 1916 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554831 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=16259988 CPUtime=3471.25 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 50843 0 0 0 345332 1793 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=-6000919477068653676 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=4864 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1797 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=16272488 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3524.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.31 4.28 5/349 38695
/proc/meminfo: memFree=38332456/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3584.83 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 135142 0 0 0 356542 1941 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554831 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=2760 CPUtime=3530.44 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 51494 0 0 0 351227 1817 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=19968 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1874 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=1792 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3584.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3597.5 s]
/proc/loadavg: 4.34 4.32 4.29 5/349 38695
/proc/meminfo: memFree=35636748/131250000 swapFree=33010416/33010684
[pid=38201] ppid=38198 vsize=19063512 memory=2166952 CPUtime=3600.09 cores=1,3
/proc/38201/stat : 38201 (java) S 38198 38201 37803 0 -1 4194304 135155 0 0 0 358059 1950 0 0 20 0 20 0 45210446 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
/proc/38201/statm: 4765878 541738 5564 1 0 554831 0
[pid=38201/tid=38203] ppid=38198 vsize=19063512 memory=4760 CPUtime=3545.44 cores=1,3
/proc/38201/task/38203/stat : 38203 (java) R 38198 38201 37803 0 -1 4194368 51499 0 0 0 352720 1824 0 0 20 0 20 0 45210447 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38212] ppid=38198 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/38201/task/38212/stat : 38212 (Finalizer) S 38198 38201 37803 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38219] ppid=38198 vsize=19063512 memory=19968 CPUtime=0 cores=1,3
/proc/38201/task/38219/stat : 38219 (Common-Cleaner) S 38198 38201 37803 0 -1 4194368 1874 0 0 0 0 0 0 0 20 0 20 0 45210450 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
[pid=38201/tid=38220] ppid=38198 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/38201/task/38220/stat : 38220 (Timer-0) S 38198 38201 37803 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45210467 19521036288 541738 18446744073709551615 93942080569344 93942080573040 140736771024704 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93942080580856 93942080581648 93942108348416 140736771033392 140736771033574 140736771033574 140736771039176 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.86 s, system=19.5474 s

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

[startup+3597.7 s]*
/proc/loadavg: 4.34 4.32 4.29 5/331 38698
/proc/meminfo: memFree=37629544/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3597.81 s]
/proc/loadavg: 4.34 4.32 4.29 5/331 38698
/proc/meminfo: memFree=37629544/131250000 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): 3597.84
CPU time (s): 3600.41
CPU user time (s): 3580.86
CPU system time (s): 19.5474
CPU usage (%): 100.071
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2167720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.86
system time used= 19.5474
maximum resident set size= 2167848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136594
page faults= 0
swaps= 0
block input operations= 40
block output operations= 37640296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138059
involuntary context switches= 13062


# summary of solver processes directly reported to runsolver:
#   pid: 38201
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3580.86
#   total CPU system time (s): 19.5474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45361 second user time and 19.133 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-30 16:55:29
IDJOB=4484685
IDBENCH=146664
IDSOLVER=3364
FILE ID=nodeC019/4484685-1751295329
RUNJOBID= nodeC019-1751291993-37815
SLURM_JOB_ID= 9594257
Free space on /tmp= 433044 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484685-1751295329/watcher-4484685-1751295329 -o /tmp/evaluation-result-4484685-1751295329/solver-4484685-1751295329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751291993-37815 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4484685-1751295329 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4484685-1751295329.opb

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

MD5SUM BENCH= 1e9c9c7dcf807eef4e114aea42645bf8
RANDOM SEED=759601980

nodeC019 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.654
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.37
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		: 3598.994
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        72549300 kB
MemAvailable:   121472568 kB
Buffers:            1960 kB
Cached:         49676220 kB
SwapCached:           12 kB
Active:          8552592 kB
Inactive:       49424168 kB
Active(anon):    8316580 kB
Inactive(anon):      172 kB
Active(file):     236012 kB
Inactive(file): 49423996 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            437552 kB
Writeback:             8 kB
AnonPages:       8297632 kB
Mapped:           123100 kB
Shmem:             18052 kB
KReclaimable:     205000 kB
Slab:             307676 kB
SReclaimable:     205000 kB
SUnreclaim:       102676 kB
KernelStack:        5280 kB
PageTables:        19836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8882052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7964672 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC019 at 2025-06-30 17:55:27