Trace number 4484684

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 2025-06-06SAT (TO)12 3600.28 3601.24

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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4484684-1751292114.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  objective function found
0.10/0.19	c ... done. Wall clock time 0.04s.
0.10/0.19	c declared #vars     372
0.10/0.19	c #constraints  422
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 338
0.10/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 75
0.10/0.19	c org.sat4j.specs.Constr$1 => 1
0.10/0.19	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.10/0.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7
0.10/0.19	c 422 constraints processed.
0.28/0.21	c objective function length is 372 literals
0.28/0.22	c SATISFIABLE
0.28/0.22	c OPTIMIZING...
0.28/0.22	c Got one! Elapsed wall clock time (in seconds):0.07
0.28/0.22	o 12
1.22/0.73	c cleaning 2493 clauses out of 5001 with flag 10316/5001
1.81/1.02	c cleaning 4245 clauses out of 8507 with flag 22528/11000
2.31/1.33	c cleaning 5626 clauses out of 11263 with flag 36973/18001
2.61/1.67	c cleaning 6814 clauses out of 13638 with flag 53568/26002
3.02/2.05	c cleaning 7904 clauses out of 15823 with flag 71949/35001
3.41/2.49	c cleaning 8952 clauses out of 17919 with flag 92392/45001
4.08/3.00	c cleaning 9973 clauses out of 19966 with flag 114878/56000
4.58/3.57	c cleaning 10992 clauses out of 21994 with flag 139458/68001
5.28/4.23	c cleaning 11993 clauses out of 24001 with flag 166034/81000
5.99/4.93	c cleaning 12995 clauses out of 26010 with flag 194549/95002
6.79/5.72	c cleaning 14001 clauses out of 28014 with flag 225257/110001
7.61/6.50	c cleaning 15001 clauses out of 30013 with flag 258228/126001
8.54/7.47	c cleaning 15998 clauses out of 32012 with flag 292783/143001
9.64/8.56	c cleaning 17003 clauses out of 34014 with flag 330560/161001
10.94/9.87	c cleaning 17996 clauses out of 36010 with flag 369967/180000
12.24/11.15	c cleaning 19000 clauses out of 38016 with flag 411350/200002
13.54/12.48	c cleaning 19997 clauses out of 40014 with flag 454513/221000
14.96/13.88	c cleaning 21001 clauses out of 42018 with flag 500157/243001
16.35/15.27	c cleaning 21994 clauses out of 44016 with flag 548160/266000
17.85/16.76	c cleaning 23000 clauses out of 46023 with flag 598877/290001
19.47/18.38	c cleaning 24004 clauses out of 48023 with flag 651167/315001
21.16/20.03	c cleaning 25002 clauses out of 50019 with flag 705523/341001
23.65/22.50	c cleaning 25999 clauses out of 52016 with flag 762291/368000
26.29/25.11	c cleaning 27001 clauses out of 54018 with flag 821294/396001
29.11/27.92	c cleaning 27998 clauses out of 56016 with flag 882467/425000
32.31/31.12	c cleaning 29001 clauses out of 58018 with flag 945431/455000
35.33/34.11	c cleaning 30002 clauses out of 60017 with flag 1010307/486000
37.92/36.72	c cleaning 30999 clauses out of 62015 with flag 1076937/518000
41.55/40.34	c cleaning 31999 clauses out of 64017 with flag 1146208/551001
44.94/43.72	c cleaning 33002 clauses out of 66017 with flag 1218369/585000
47.97/46.71	c cleaning 33995 clauses out of 68015 with flag 1291705/620000
51.06/49.86	c cleaning 35004 clauses out of 70021 with flag 1367094/656001
54.55/53.36	c cleaning 35997 clauses out of 72017 with flag 1444458/693001
57.76/56.54	c cleaning 37001 clauses out of 74019 with flag 1524197/731000
61.26/60.02	c cleaning 38003 clauses out of 76019 with flag 1606332/770001
64.77/63.56	c cleaning 38995 clauses out of 78015 with flag 1690623/810000
67.86/66.60	c cleaning 40004 clauses out of 80022 with flag 1776479/851002
71.07/69.83	c cleaning 40999 clauses out of 82018 with flag 1864577/893002
75.29/74.06	c cleaning 41997 clauses out of 84017 with flag 1954759/936000
78.57/77.33	c cleaning 43001 clauses out of 86020 with flag 2046796/980000
82.02/80.70	c cleaning 43995 clauses out of 88019 with flag 2140847/1025000
85.41/84.15	c cleaning 44999 clauses out of 90025 with flag 2236831/1071001
88.94/87.69	c cleaning 46004 clauses out of 92027 with flag 2334928/1118002
92.63/91.35	c cleaning 46999 clauses out of 94021 with flag 2435008/1166000
96.52/95.23	c cleaning 47995 clauses out of 96022 with flag 2537261/1215000
101.62/100.36	c cleaning 49002 clauses out of 98027 with flag 2642761/1265000
105.71/104.49	c cleaning 50001 clauses out of 100026 with flag 2749654/1316001
110.30/109.04	c cleaning 50999 clauses out of 102025 with flag 2858279/1368001
114.68/113.46	c cleaning 52002 clauses out of 104025 with flag 2968999/1421000
119.37/118.13	c cleaning 53002 clauses out of 106024 with flag 3083514/1475001
123.96/122.74	c cleaning 54000 clauses out of 108021 with flag 3198788/1530000
128.84/127.67	c cleaning 55006 clauses out of 110022 with flag 3316080/1586001
134.83/133.62	c cleaning 55999 clauses out of 112016 with flag 3436291/1643001
140.62/139.41	c cleaning 56998 clauses out of 114017 with flag 3557595/1701001
146.70/145.53	c cleaning 57997 clauses out of 116018 with flag 3681048/1760000
153.38/152.23	c cleaning 58998 clauses out of 118021 with flag 3806371/1820000
160.67/159.58	c cleaning 60003 clauses out of 120025 with flag 3933935/1881002
168.54/167.40	c cleaning 60999 clauses out of 122021 with flag 4063915/1943001
176.53/175.44	c cleaning 62003 clauses out of 124021 with flag 4195743/2006000
184.30/183.22	c cleaning 62996 clauses out of 126018 with flag 4329930/2070000
192.28/191.20	c cleaning 64000 clauses out of 128022 with flag 4466897/2135000
198.87/197.80	c cleaning 64998 clauses out of 130023 with flag 4605804/2201001
205.75/204.71	c cleaning 65997 clauses out of 132024 with flag 4747304/2268000
212.64/211.40	c cleaning 67003 clauses out of 134027 with flag 4891428/2336000
219.72/218.54	c cleaning 68002 clauses out of 136024 with flag 5036359/2405000
226.80/225.61	c cleaning 69001 clauses out of 138022 with flag 5183174/2475000
234.16/232.98	c cleaning 70000 clauses out of 140022 with flag 5331586/2546001
241.25/240.01	c cleaning 70999 clauses out of 142021 with flag 5482048/2618000
248.12/246.95	c cleaning 71996 clauses out of 144022 with flag 5634760/2691000
255.01/253.87	c cleaning 72999 clauses out of 146026 with flag 5788802/2765000
262.48/261.03	c cleaning 74002 clauses out of 148027 with flag 5945145/2840000
269.36/267.98	c cleaning 75004 clauses out of 150027 with flag 6103555/2916002
276.34/274.99	c cleaning 76001 clauses out of 152021 with flag 6263892/2993000
283.32/281.92	c cleaning 77001 clauses out of 154020 with flag 6426163/3071000
290.80/289.45	c cleaning 77996 clauses out of 156019 with flag 6591650/3150000
298.72/297.33	c cleaning 78997 clauses out of 158024 with flag 6758564/3230001
306.60/305.25	c cleaning 80000 clauses out of 160026 with flag 6927915/3311000
314.98/313.64	c cleaning 80999 clauses out of 162026 with flag 7099598/3393000
323.36/322.07	c cleaning 81999 clauses out of 164027 with flag 7273634/3476000
331.94/330.67	c cleaning 83001 clauses out of 166029 with flag 7449449/3560001
340.02/338.74	c cleaning 84002 clauses out of 168028 with flag 7627379/3645001
348.52/347.29	c cleaning 85001 clauses out of 170026 with flag 7807347/3731001
357.79/356.58	c cleaning 85999 clauses out of 172024 with flag 7989969/3818000
366.87/365.62	c cleaning 86999 clauses out of 174025 with flag 8174865/3906000
376.65/375.42	c cleaning 88001 clauses out of 176026 with flag 8361969/3995000
386.33/385.20	c cleaning 88997 clauses out of 178025 with flag 8550605/4085000
395.10/393.96	c cleaning 90009 clauses out of 180030 with flag 8742120/4176002
404.91/403.71	c cleaning 90996 clauses out of 182020 with flag 8934774/4268001
414.70/413.56	c cleaning 92000 clauses out of 184023 with flag 9129471/4361000
427.27/426.19	c cleaning 93006 clauses out of 186023 with flag 9327465/4455000
440.13/439.06	c cleaning 93992 clauses out of 188018 with flag 9527223/4550001
453.10/452.03	c cleaning 95002 clauses out of 190025 with flag 9728968/4646000
465.62/464.59	c cleaning 96002 clauses out of 192023 with flag 9932205/4743000
478.78/477.71	c cleaning 96995 clauses out of 194022 with flag 10137771/4841001
491.45/490.40	c cleaning 97998 clauses out of 196026 with flag 10344851/4940000
502.42/501.40	c cleaning 99004 clauses out of 198028 with flag 10553883/5040000
514.99/514.01	c cleaning 100001 clauses out of 200025 with flag 10764683/5141001
528.76/527.89	c cleaning 100998 clauses out of 202023 with flag 10979365/5243000
539.43/538.55	c cleaning 102001 clauses out of 204025 with flag 11194616/5346000
550.80/549.99	c cleaning 102998 clauses out of 206024 with flag 11411385/5450000
562.87/562.07	c cleaning 104001 clauses out of 208026 with flag 11630470/5555000
574.74/573.94	c cleaning 104997 clauses out of 210027 with flag 11852012/5661002
587.04/586.11	c cleaning 106008 clauses out of 212029 with flag 12075430/5768001
599.80/598.98	c cleaning 106998 clauses out of 214020 with flag 12300939/5876000
611.68/610.84	c cleaning 107998 clauses out of 216022 with flag 12528061/5985000
624.85/624.05	c cleaning 108993 clauses out of 218024 with flag 12757808/6095000
637.60/636.84	c cleaning 110005 clauses out of 220031 with flag 12989669/6206000
650.77/650.01	c cleaning 110995 clauses out of 222026 with flag 13223692/6318000
664.74/664.07	c cleaning 112002 clauses out of 224031 with flag 13459543/6431000
678.81/678.15	c cleaning 113005 clauses out of 226030 with flag 13697441/6545001
694.17/693.42	c cleaning 114003 clauses out of 228025 with flag 13936922/6660001
708.93/708.21	c cleaning 114997 clauses out of 230021 with flag 14178923/6776000
724.50/723.87	c cleaning 116000 clauses out of 232026 with flag 14423268/6893002
738.46/737.82	c cleaning 116998 clauses out of 234025 with flag 14669621/7011001
754.32/753.71	c cleaning 118002 clauses out of 236026 with flag 14918078/7130000
769.38/768.85	c cleaning 118999 clauses out of 238024 with flag 15168419/7250000
784.64/784.18	c cleaning 120001 clauses out of 240025 with flag 15420423/7371000
799.79/799.20	c cleaning 120996 clauses out of 242024 with flag 15674889/7493000
815.55/815.07	c cleaning 122002 clauses out of 244028 with flag 15931735/7616000
831.80/831.31	c cleaning 123005 clauses out of 246029 with flag 16190660/7740003
850.68/850.17	c cleaning 124003 clauses out of 248022 with flag 16451468/7865001
869.03/868.59	c cleaning 124999 clauses out of 250019 with flag 16714772/7991001
887.98/887.58	c cleaning 125996 clauses out of 252019 with flag 16981970/8118000
907.83/907.43	c cleaning 127003 clauses out of 254025 with flag 17249748/8246002
926.57/926.19	c cleaning 127997 clauses out of 256021 with flag 17519225/8375001
945.41/945.07	c cleaning 128998 clauses out of 258024 with flag 17790382/8505001
964.85/964.58	c cleaning 130003 clauses out of 260026 with flag 18065361/8636001
985.52/984.58	c cleaning 131001 clauses out of 262024 with flag 18343373/8768002
1003.99/1003.06	c cleaning 131998 clauses out of 264021 with flag 18624228/8901000
1022.14/1021.23	c cleaning 133000 clauses out of 266024 with flag 18906152/9035001
1040.36/1039.49	c cleaning 133999 clauses out of 268025 with flag 19189648/9170002
1058.03/1057.16	c cleaning 134996 clauses out of 270024 with flag 19473458/9306000
1075.98/1075.15	c cleaning 136002 clauses out of 272028 with flag 19759669/9443000
1094.32/1093.51	c cleaning 137001 clauses out of 274028 with flag 20047741/9581002
1115.17/1114.42	c cleaning 137999 clauses out of 276026 with flag 20338187/9720001
1137.38/1136.60	c cleaning 138999 clauses out of 278026 with flag 20630914/9860000
1157.63/1156.97	c cleaning 139999 clauses out of 280027 with flag 20928263/10001000
1181.49/1180.87	c cleaning 141002 clauses out of 282028 with flag 21227510/10143000
1206.43/1205.85	c cleaning 142004 clauses out of 284026 with flag 21528839/10286000
1227.97/1227.48	c cleaning 143000 clauses out of 286023 with flag 21831324/10430001
1248.93/1248.30	c cleaning 143998 clauses out of 288022 with flag 22133829/10575000
1272.27/1271.74	c cleaning 144996 clauses out of 290024 with flag 22438909/10721000
1295.51/1295.00	c cleaning 146000 clauses out of 292028 with flag 22746183/10868000
1318.35/1317.96	c cleaning 147001 clauses out of 294030 with flag 23055198/11016002
1341.49/1341.13	c cleaning 148003 clauses out of 296028 with flag 23366745/11165001
1366.78/1366.31	c cleaning 148997 clauses out of 298026 with flag 23681543/11315002
1391.92/1391.56	c cleaning 150002 clauses out of 300027 with flag 24000391/11466000
1418.86/1418.51	c cleaning 151000 clauses out of 302025 with flag 24320819/11618000
1439.81/1439.44	c cleaning 152003 clauses out of 304026 with flag 24643509/11771001
1461.54/1461.27	c cleaning 153000 clauses out of 306022 with flag 24965106/11925000
1487.58/1487.33	c cleaning 153999 clauses out of 308022 with flag 25288917/12080000
1513.61/1513.44	c cleaning 154997 clauses out of 310023 with flag 25614587/12236000
1541.00/1540.85	c cleaning 156002 clauses out of 312026 with flag 25945360/12393000
1566.33/1566.28	c cleaning 157002 clauses out of 314025 with flag 26275836/12551001
1591.06/1591.05	c cleaning 157999 clauses out of 316022 with flag 26609943/12710000
1617.00/1617.00	c cleaning 159002 clauses out of 318023 with flag 26946074/12870000
1642.51/1642.26	c cleaning 160000 clauses out of 320021 with flag 27285300/13031000
1665.25/1665.02	c cleaning 160995 clauses out of 322023 with flag 27623849/13193002
1687.20/1687.03	c cleaning 161997 clauses out of 324026 with flag 27964426/13356000
1711.73/1711.63	c cleaning 163007 clauses out of 326030 with flag 28307938/13520001
1738.41/1738.34	c cleaning 164000 clauses out of 328023 with flag 28654581/13685001
1767.14/1767.17	c cleaning 165000 clauses out of 330023 with flag 29003048/13851001
1794.09/1794.13	c cleaning 165995 clauses out of 332022 with flag 29352916/14018000
1822.01/1822.18	c cleaning 167001 clauses out of 334029 with flag 29704741/14186002
1843.16/1843.30	c cleaning 168004 clauses out of 336026 with flag 30065142/14355000
1866.90/1867.02	c cleaning 169004 clauses out of 338023 with flag 30427135/14525001
1891.55/1891.77	c cleaning 169999 clauses out of 340019 with flag 30791619/14696001
1917.69/1917.98	c cleaning 170999 clauses out of 342021 with flag 31157943/14868002
1943.24/1943.54	c cleaning 171998 clauses out of 344021 with flag 31522913/15041001
1968.98/1969.33	c cleaning 172997 clauses out of 346022 with flag 31887914/15215000
1992.13/1992.51	c cleaning 173996 clauses out of 348025 with flag 32255826/15390000
2014.15/2014.44	c cleaning 175004 clauses out of 350030 with flag 32623891/15566001
2035.90/2036.21	c cleaning 175999 clauses out of 352025 with flag 32993330/15743000
2061.16/2061.53	c cleaning 177000 clauses out of 354026 with flag 33365289/15921000
2083.21/2083.68	c cleaning 178004 clauses out of 356028 with flag 33739293/16100002
2107.04/2107.56	c cleaning 178999 clauses out of 358022 with flag 34115652/16280000
2134.08/2134.67	c cleaning 179995 clauses out of 360023 with flag 34493663/16461000
2161.80/2161.91	c cleaning 181003 clauses out of 362028 with flag 34873854/16643000
2191.34/2191.58	c cleaning 181999 clauses out of 364025 with flag 35259259/16826000
2222.88/2223.17	c cleaning 183004 clauses out of 366028 with flag 35646133/17010002
2248.91/2249.28	c cleaning 183999 clauses out of 368022 with flag 36035699/17195000
2274.95/2275.35	c cleaning 184999 clauses out of 370023 with flag 36424491/17381000
2300.49/2300.90	c cleaning 186000 clauses out of 372025 with flag 36815416/17568001
2328.48/2328.92	c cleaning 187000 clauses out of 374024 with flag 37208538/17756000
2353.82/2354.35	c cleaning 188001 clauses out of 376024 with flag 37604156/17945000
2380.05/2380.69	c cleaning 189001 clauses out of 378024 with flag 38004014/18135001
2409.99/2410.69	c cleaning 189999 clauses out of 380022 with flag 38405435/18326000
2440.52/2441.26	c cleaning 190996 clauses out of 382023 with flag 38806693/18518000
2470.24/2471.00	c cleaning 191997 clauses out of 384027 with flag 39209458/18711000
2497.76/2498.52	c cleaning 193000 clauses out of 386030 with flag 39615341/18905000
2524.60/2525.46	c cleaning 193996 clauses out of 388031 with flag 40022251/19100001
2552.23/2553.17	c cleaning 195002 clauses out of 390034 with flag 40434707/19296000
2579.35/2580.37	c cleaning 195996 clauses out of 392032 with flag 40848871/19493000
2607.99/2609.08	c cleaning 197001 clauses out of 394036 with flag 41263862/19691000
2638.00/2639.07	c cleaning 198005 clauses out of 396036 with flag 41679397/19890001
2673.02/2674.16	c cleaning 199000 clauses out of 398031 with flag 42100990/20090001
2707.02/2708.28	c cleaning 199999 clauses out of 400030 with flag 42525313/20291000
2748.02/2749.39	c cleaning 201002 clauses out of 402031 with flag 42949397/20493000
2787.74/2788.14	c cleaning 202004 clauses out of 404029 with flag 43374366/20696000
2823.65/2824.17	c cleaning 202998 clauses out of 406025 with flag 43802665/20900000
2858.75/2859.34	c cleaning 204000 clauses out of 408028 with flag 44231528/21105001
2894.06/2894.65	c cleaning 204998 clauses out of 410027 with flag 44662869/21311000
2928.79/2929.45	c cleaning 206000 clauses out of 412030 with flag 45098353/21518001
2967.21/2967.98	c cleaning 206999 clauses out of 414029 with flag 45533536/21726000
2999.35/3000.09	c cleaning 208006 clauses out of 416031 with flag 45971577/21935001
3033.95/3034.73	c cleaning 208999 clauses out of 418025 with flag 46412238/22145001
3065.87/3066.79	c cleaning 209998 clauses out of 420025 with flag 46853449/22356000
3106.82/3107.15	c cleaning 211002 clauses out of 422027 with flag 47297015/22568000
3141.43/3141.80	c cleaning 211999 clauses out of 424026 with flag 47742702/22781001
3180.04/3180.54	c cleaning 213004 clauses out of 426026 with flag 48191866/22995000
3217.41/3217.94	c cleaning 213997 clauses out of 428022 with flag 48641365/23210000
3253.73/3254.38	c cleaning 214995 clauses out of 430025 with flag 49092937/23426000
3291.43/3292.06	c cleaning 216001 clauses out of 432030 with flag 49547177/23643000
3334.71/3335.43	c cleaning 217004 clauses out of 434031 with flag 50004472/23861002
3369.92/3370.74	c cleaning 217999 clauses out of 436025 with flag 50461663/24080000
3406.18/3407.06	c cleaning 219000 clauses out of 438026 with flag 50920600/24300000
3442.89/3443.81	c cleaning 220002 clauses out of 440028 with flag 51381748/24521002
3477.80/3478.85	c cleaning 221001 clauses out of 442025 with flag 51844783/24743001
3511.78/3512.82	c cleaning 221997 clauses out of 444023 with flag 52309898/24966000
3547.81/3548.99	c cleaning 222995 clauses out of 446026 with flag 52776978/25190000
3586.50/3587.70	c cleaning 224001 clauses out of 448032 with flag 53246319/25415001
3600.03/3601.13	c starts		: 2
3600.03/3601.13	c conflicts		: 25565629
3600.03/3601.14	c decisions		: 32977705
3600.03/3601.14	c propagations		: 196393270
3600.03/3601.14	c inspects		: 17565408185
3600.03/3601.14	c shortcuts		: 0
3600.03/3601.14	c learnt literals	: 0
3600.03/3601.14	c learnt binary clauses	: 0
3600.03/3601.14	c learnt ternary clauses	: 0
3600.03/3601.14	c learnt constraints	: 25565629
3600.03/3601.14	c ignored constraints	: 0
3600.03/3601.14	c root simplifications	: 0
3600.03/3601.14	c removed literals (reason simplification)	: 1532644697
3600.03/3601.14	c reason swapping (by a shorter reason)	: 0
3600.03/3601.14	c Calls to reduceDB	: 221
3600.03/3601.14	c Number of update (reduction) of LBD	: 655306
3600.03/3601.14	c Imported unit clauses	: 0
3600.03/3601.14	c No decision after first conflict	: false
3600.03/3601.14	c number of reductions to clauses (during analyze)	: 0
3600.03/3601.14	c number of learned constraints concerned by reduction	: 0
3600.03/3601.14	c number of learning phase by resolution	: 0
3600.03/3601.14	c number of learning phase by cutting planes	: 0
3600.03/3601.14	c number of rounding to 1 operations	: 0
3600.03/3601.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3601.14	c number of reductions of the coefficients by power 2 	: 0
3600.03/3601.14	c number of right shift for reduction by power 2 	: 0
3600.03/3601.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3601.14	c number of ending skipping 	: 0
3600.03/3601.14	c number of internal skipping 	: 0
3600.03/3601.14	c number of derivation steps 	: 0
3600.03/3601.14	c number of skipped derivation steps 	: 0
3600.03/3601.14	c number of remaining unassigned 	: 0
3600.03/3601.14	c number of remaining assigned 	: 0
3600.03/3601.14	c number of falsified literals weakened from reason	: 0
3600.03/3601.14	c number of falsified literals weakened from conflict	: 0
3600.03/3601.14	c time for arithmetic operations	: 0
3600.03/3601.14	c minimum degree of deleted constraints	: null
3600.03/3601.14	c maximum degree of deleted constraints	: null
3600.03/3601.14	c number of deleted constraints	: 0
3600.03/3601.14	c speed (assignments/second)	: 54539.596715292995
3600.03/3601.14	c non guided choices	: 0
3600.24/3601.22	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 374659
3600.24/3601.22	s SATISFIABLE
3600.24/3601.22	c Found 1 solution(s)
3600.24/3601.22	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.24/3601.22	c objective function=12
3600.24/3601.22	c Total wall clock time (in seconds): 3601.072

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: 63665 MiB (62768 MiB free)
  memory of node 1: 64507 MiB (63958 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484684-1751292114/watcher-4484684-1751292114 -o /tmp/evaluation-result-4484684-1751292114/solver-4484684-1751292114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40816 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4484684-1751292114.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=40862, runsolver pid=40856

[startup+0.100059 s]*
/proc/loadavg: 0.60 0.98 1.43 8/332 40944
/proc/meminfo: memFree=129713444/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=18930384 memory=52164 CPUtime=0.1 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 6179 0 0 0 8 2 0 0 20 0 18 0 44891629 19384713216 13041 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4732596 13041 5352 1 0 547293 0
[pid=40862/tid=40872] ppid=40856 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 4972 0 0 0 5 1 0 0 20 0 18 0 44891632 19384713216 13041 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44891634 19384713216 13041 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44891635 19384713216 13041 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52164 KiB

[startup+0.205635 s]*
/proc/loadavg: 0.60 0.98 1.43 10/332 40944
/proc/meminfo: memFree=129683412/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=18930384 memory=62384 CPUtime=0.28 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 7093 0 0 0 26 2 0 0 20 0 18 0 44891629 19384713216 15596 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4732596 15596 5480 1 0 547970 0
[pid=40862/tid=40872] ppid=40856 vsize=18930384 memory=4026663196 CPUtime=0.15 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) S 40856 40862 40806 0 -1 4194368 5346 0 0 0 14 1 0 0 20 0 18 0 44891632 19384713216 15596 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44891634 19384713216 15596 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 44891635 19384713216 15596 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62384 KiB

[startup+0.305545 s]*
/proc/loadavg: 0.60 0.98 1.43 9/334 40946
/proc/meminfo: memFree=129602956/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=18996948 memory=66564 CPUtime=0.46 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 8032 0 0 0 43 3 0 0 20 0 19 0 44891629 19452874752 16641 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4749237 16641 5480 1 0 548665 0
[pid=40862/tid=40872] ppid=40856 vsize=18996948 memory=-6000919468411350123 CPUtime=0.23 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 5434 0 0 0 22 1 0 0 20 0 19 0 44891632 19452874752 16641 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=18996948 memory=6452091051904753725 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44891634 19452874752 16641 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44891635 19452874752 16641 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44891651 19452874752 16641 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66564 KiB

[startup+0.70023 s]
/proc/loadavg: 0.60 0.98 1.43 9/337 40949
/proc/meminfo: memFree=129505060/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=18996948 memory=83968 CPUtime=1.22 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 13311 0 0 0 118 4 0 0 20 0 19 0 44891629 19452874752 20992 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4749237 20992 5480 1 0 551956 0
[pid=40862/tid=40872] ppid=40856 vsize=18996948 memory=13824 CPUtime=0.62 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 5483 0 0 0 60 2 0 0 20 0 19 0 44891632 19452874752 20992 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44891634 19452874752 20992 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44891635 19452874752 20992 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44891651 19452874752 20992 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83968 KiB

[startup+1.50024 s]
/proc/loadavg: 0.60 0.98 1.43 9/337 40949
/proc/meminfo: memFree=129412028/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=18996948 memory=107204 CPUtime=2.51 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 16899 0 0 0 246 5 0 0 20 0 19 0 44891629 19452874752 26801 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4749237 26801 5480 1 0 552482 0
[pid=40862/tid=40872] ppid=40856 vsize=18996948 memory=10752 CPUtime=1.4 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 5819 0 0 0 138 2 0 0 20 0 19 0 44891632 19452874752 26801 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44891634 19452874752 26801 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44891635 19452874752 26801 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44891651 19452874752 26801 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 107204 KiB

[startup+3.10538 s]
/proc/loadavg: 0.60 0.98 1.43 5/339 40951
/proc/meminfo: memFree=128981904/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=18996948 memory=146244 CPUtime=4.18 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 18243 0 0 0 413 5 0 0 20 0 19 0 44891629 19452874752 36561 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4749237 36561 5480 1 0 552483 0
[pid=40862/tid=40872] ppid=40856 vsize=18996948 memory=10752 CPUtime=3 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 6174 0 0 0 297 3 0 0 20 0 19 0 44891632 19452874752 36561 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=18996948 memory=-6000919481296252011 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44891634 19452874752 36561 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 44891635 19452874752 36561 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44891651 19452874752 36561 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 146244 KiB

[startup+6.30022 s]
/proc/loadavg: 0.88 1.03 1.45 5/340 40952
/proc/meminfo: memFree=128210668/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=189788 CPUtime=7.39 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 19494 0 0 0 732 7 0 0 20 0 20 0 44891629 19521036288 47447 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 47447 5512 1 0 552774 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=0 CPUtime=6.14 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 6209 0 0 0 611 3 0 0 20 0 20 0 44891632 19521036288 47447 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 47447 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 47447 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 47447 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189788 KiB

[startup+12.7002 s]
/proc/loadavg: 1.21 1.10 1.47 5/340 40952
/proc/meminfo: memFree=126780512/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=239252 CPUtime=13.83 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 20461 0 0 0 1375 8 0 0 20 0 20 0 44891629 19521036288 59813 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 59813 5512 1 0 552774 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=239252 CPUtime=12.47 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 6622 0 0 0 1244 3 0 0 20 0 20 0 44891632 19521036288 59813 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 59813 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 59813 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 59813 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 13.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 239252 KiB

[startup+25.5002 s]
/proc/loadavg: 1.89 1.26 1.51 5/341 40953
/proc/meminfo: memFree=123486776/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=393332 CPUtime=26.68 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 24157 0 0 0 2656 12 0 0 20 0 20 0 44891629 19521036288 98333 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 98333 5512 1 0 552774 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=393332 CPUtime=25.12 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 7583 0 0 0 2509 3 0 0 20 0 20 0 44891632 19521036288 98333 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=319356 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 98333 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=319356 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 98333 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=-6000919481296252011 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 98333 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 393332 KiB

[startup+51.1056 s]
/proc/loadavg: 2.83 1.53 1.60 5/341 40953
/proc/meminfo: memFree=118475280/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=555660 CPUtime=52.36 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 26819 0 0 0 5220 16 0 0 20 0 20 0 44891629 19521036288 138915 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 138915 5544 1 0 552774 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=444680 CPUtime=50.56 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 7869 0 0 0 5052 4 0 0 20 0 20 0 44891632 19521036288 138915 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=555660 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.33 4.30 5/340 41169
/proc/meminfo: memFree=94978520/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3281.75 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 88250 0 0 0 328059 116 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=14720 CPUtime=3269.55 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 38957 0 0 0 326925 30 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=-6000919481296252011 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1148 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3281.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.34 4.31 5/340 41171
/proc/meminfo: memFree=94975280/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3341.59 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 88438 0 0 0 334043 116 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3329.38 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 39125 0 0 0 332908 30 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1148 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3341.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.31 4.29 5/340 41239
/proc/meminfo: memFree=108341488/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3401.49 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 89028 0 0 0 340032 117 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3389.13 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 39603 0 0 0 338883 30 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1148 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3401.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.28 4.28 5/340 41241
/proc/meminfo: memFree=107932288/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3461.34 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 89795 0 0 0 346016 118 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3448.95 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 40302 0 0 0 344865 30 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1160 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3461.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.24 4.27 5/338 41243
/proc/meminfo: memFree=107764332/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3521.26 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 90121 0 0 0 352007 119 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=14720 CPUtime=3508.72 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 40507 0 0 0 350842 30 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3521.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.23 4.26 6/339 41396
/proc/meminfo: memFree=121177484/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3581.12 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 90534 0 0 0 357992 120 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=14720 CPUtime=3568.55 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 40892 0 0 0 356825 30 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=13824 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3581.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.11 s]
/proc/loadavg: 4.11 4.21 4.26 5/339 41396
/proc/meminfo: memFree=120879044/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19063512 memory=2155128 CPUtime=3600.03 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 91074 0 0 0 359882 121 0 0 20 0 20 0 44891629 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4765878 538782 5544 1 0 550430 0
[pid=40862/tid=40872] ppid=40856 vsize=19063512 memory=14720 CPUtime=3587.16 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 41175 0 0 0 358685 31 0 0 20 0 20 0 44891632 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44891634 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19063512 memory=2155128 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 20 0 44891635 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40945] ppid=40856 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/40862/task/40945/stat : 40945 (Timer-0) S 40856 40862 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44891651 19521036288 538782 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2155128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.06 s, system=1.2224 s

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

[startup+3601.21 s]
/proc/loadavg: 4.11 4.21 4.26 5/339 41396
/proc/meminfo: memFree=120879044/131250000 swapFree=33010684/33010684
[pid=40862] ppid=40856 vsize=19263204 memory=2155896 CPUtime=3600.24 cores=0,2
/proc/40862/stat : 40862 (java) S 40856 40862 40806 0 -1 4194304 92472 0 0 0 359903 121 0 0 20 0 21 0 44891629 19725520896 538974 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
/proc/40862/statm: 4815801 538974 5544 1 0 551360 0
[pid=40862/tid=40872] ppid=40856 vsize=19263204 memory=26396 CPUtime=3587.25 cores=0,2
/proc/40862/task/40872/stat : 40872 (java) R 40856 40862 40806 0 -1 4194368 41262 0 0 0 358694 31 0 0 20 0 21 0 44891632 19725520896 538974 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40900] ppid=40856 vsize=19263204 memory=6964 CPUtime=0 cores=0,2
/proc/40862/task/40900/stat : 40900 (Finalizer) S 40856 40862 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 44891634 19725520896 538974 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
[pid=40862/tid=40912] ppid=40856 vsize=19263204 memory=5696 CPUtime=0 cores=0,2
/proc/40862/task/40912/stat : 40912 (Common-Cleaner) S 40856 40862 40806 0 -1 4194368 1170 0 0 0 0 0 0 0 20 0 21 0 44891635 19725520896 538974 18446744073709551615 94394258460672 94394258464368 140729963787280 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94394258472184 94394258472976 94394277539840 140729963788673 140729963788774 140729963788774 140729963794376 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2155896 KiB

Child status: 143

Real time (s): 3601.24
CPU time (s): 3600.28
CPU user time (s): 3599.06
CPU system time (s): 1.2224
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2362016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.2224
maximum resident set size= 2362016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105338
involuntary context switches= 6323


# summary of solver processes directly reported to runsolver:
#   pid: 40862
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3599.06
#   total CPU system time (s): 1.2224

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38287 second user time and 16.5095 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 16:01:54
IDJOB=4484684
IDBENCH=146664
IDSOLVER=3363
FILE ID=nodeC013/4484684-1751292114
RUNJOBID= nodeC013-1751292114-40816
SLURM_JOB_ID= 9594259
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484684-1751292114/watcher-4484684-1751292114 -o /tmp/evaluation-result-4484684-1751292114/solver-4484684-1751292114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40816 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4484684-1751292114.opb

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

MD5SUM BENCH= 1e9c9c7dcf807eef4e114aea42645bf8
RANDOM SEED=1415804690

nodeC013 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.829
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.67
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		: 1986.431
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.67
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.159
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.67
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		: 2753.437
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.67
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		: 3598.291
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.67
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		: 2991.536
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129769868 kB
MemAvailable:   129744840 kB
Buffers:            3280 kB
Cached:           776708 kB
SwapCached:            0 kB
Active:           313484 kB
Inactive:         533088 kB
Active(anon):      79868 kB
Inactive(anon):        0 kB
Active(file):     233616 kB
Inactive(file):   533088 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1048 kB
Writeback:             0 kB
AnonPages:         69700 kB
Mapped:            98912 kB
Shmem:             13284 kB
KReclaimable:      94612 kB
Slab:             181548 kB
SReclaimable:      94612 kB
SUnreclaim:        86936 kB
KernelStack:        4128 kB
PageTables:         2780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     316244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC013 at 2025-06-30 17:01:55