Trace number 4484501

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)25 3600.36 3379.86

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUMf3472af25f5f0fee0e9203b0329f534f
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 benchmark2
Best CPU time to get the best result obtained on this benchmark0.058442
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
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 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
Number of bits of the biggest sum of numbers12
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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.14	c Pseudo Boolean Optimization by upper bound
0.13/0.14	c --- Begin Solver configuration ---
0.13/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.14	c Learn all clauses as in MiniSAT
0.13/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	c Expensive reason simplification
0.13/0.14	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.14	c timeout=2147483s
0.13/0.14	c DB Simplification allowed=false
0.13/0.14	c Listener: none
0.13/0.14	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4484501-1751294312.opb
0.13/0.14	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  objective function found
0.13/0.19	c ... done. Wall clock time 0.053s.
0.13/0.20	c declared #vars     906
0.13/0.20	c #constraints  1040
0.13/0.20	c constraints type 
0.13/0.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 852
0.13/0.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 186
0.13/0.20	c org.sat4j.specs.Constr$1 => 1
0.13/0.20	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.20	c 1040 constraints processed.
0.31/0.21	c objective function length is 906 literals
0.31/0.23	c SATISFIABLE
0.31/0.23	c OPTIMIZING...
0.31/0.23	c Got one! Elapsed wall clock time (in seconds):0.098
0.31/0.23	o 25
3.21/1.70	c cleaning 2492 clauses out of 5000 with flag 10249/5000
4.85/2.69	c cleaning 4249 clauses out of 8509 with flag 22499/11001
6.04/3.66	c cleaning 5621 clauses out of 11260 with flag 36791/18001
7.33/4.81	c cleaning 6814 clauses out of 13639 with flag 53114/26001
8.62/6.08	c cleaning 7906 clauses out of 15825 with flag 71474/35001
10.06/7.46	c cleaning 8952 clauses out of 17918 with flag 91878/45000
11.67/8.94	c cleaning 9973 clauses out of 19966 with flag 114330/56000
13.45/10.60	c cleaning 10989 clauses out of 21994 with flag 138826/68001
15.35/12.42	c cleaning 11993 clauses out of 24004 with flag 165366/81000
17.27/14.32	c cleaning 12997 clauses out of 26012 with flag 193937/95001
19.65/16.57	c cleaning 13999 clauses out of 28014 with flag 224544/110000
21.75/18.69	c cleaning 15000 clauses out of 30015 with flag 257193/126000
24.29/21.06	c cleaning 15998 clauses out of 32015 with flag 291791/143000
26.97/23.64	c cleaning 16997 clauses out of 34017 with flag 328518/161000
29.88/26.40	c cleaning 18005 clauses out of 36021 with flag 367279/180001
32.90/29.37	c cleaning 19001 clauses out of 38016 with flag 408081/200001
36.27/32.47	c cleaning 20000 clauses out of 40014 with flag 450922/221000
39.60/35.62	c cleaning 20999 clauses out of 42014 with flag 495797/243000
42.91/39.07	c cleaning 22003 clauses out of 44015 with flag 542736/266000
46.64/42.65	c cleaning 23001 clauses out of 46013 with flag 591725/290001
50.57/46.40	c cleaning 23995 clauses out of 48012 with flag 642726/315001
54.36/50.11	c cleaning 25000 clauses out of 50016 with flag 695791/341000
58.50/54.07	c cleaning 26001 clauses out of 52017 with flag 750835/368001
62.88/58.23	c cleaning 26998 clauses out of 54016 with flag 807980/396001
67.17/62.45	c cleaning 27997 clauses out of 56017 with flag 867170/425000
71.89/67.07	c cleaning 29000 clauses out of 58022 with flag 928334/455002
76.50/71.59	c cleaning 29998 clauses out of 60020 with flag 991600/486000
81.32/76.25	c cleaning 31004 clauses out of 62022 with flag 1056898/518000
86.21/81.09	c cleaning 31996 clauses out of 64018 with flag 1124251/551000
91.41/86.16	c cleaning 33003 clauses out of 66022 with flag 1193597/585000
96.74/91.35	c cleaning 33998 clauses out of 68020 with flag 1265021/620001
102.37/96.81	c cleaning 34997 clauses out of 70021 with flag 1338487/656000
107.96/102.34	c cleaning 36003 clauses out of 72024 with flag 1413975/693000
113.75/108.09	c cleaning 36998 clauses out of 74022 with flag 1491525/731001
119.88/114.04	c cleaning 38001 clauses out of 76024 with flag 1571128/770001
126.12/120.11	c cleaning 39000 clauses out of 78023 with flag 1652734/810001
132.78/126.56	c cleaning 40002 clauses out of 80022 with flag 1736421/851000
139.67/133.11	c cleaning 40997 clauses out of 82020 with flag 1822092/893000
146.82/140.16	c cleaning 42002 clauses out of 84024 with flag 1909858/936001
153.90/146.92	c cleaning 43000 clauses out of 86022 with flag 1999620/980001
161.25/154.08	c cleaning 44002 clauses out of 88022 with flag 2091473/1025001
168.76/161.42	c cleaning 44999 clauses out of 90020 with flag 2185321/1071001
176.47/169.01	c cleaning 46002 clauses out of 92021 with flag 2281240/1118001
184.65/176.91	c cleaning 46999 clauses out of 94018 with flag 2379180/1166000
193.73/185.14	c cleaning 48000 clauses out of 96020 with flag 2479199/1215001
202.60/193.82	c cleaning 49002 clauses out of 98020 with flag 2581184/1265001
211.07/202.19	c cleaning 50000 clauses out of 100017 with flag 2685258/1316000
220.58/211.23	c cleaning 50997 clauses out of 102018 with flag 2791345/1368001
229.36/219.82	c cleaning 52003 clauses out of 104021 with flag 2900951/1421001
238.72/228.99	c cleaning 52997 clauses out of 106018 with flag 3010494/1475001
248.34/238.31	c cleaning 54003 clauses out of 108020 with flag 3122187/1530000
258.25/248.06	c cleaning 55001 clauses out of 110018 with flag 3235864/1586001
268.32/257.93	c cleaning 56001 clauses out of 112017 with flag 3351508/1643001
279.12/268.55	c cleaning 56997 clauses out of 114016 with flag 3469493/1701001
289.78/278.96	c cleaning 58000 clauses out of 116019 with flag 3589210/1760001
300.29/289.29	c cleaning 58999 clauses out of 118018 with flag 3710920/1820000
311.54/300.38	c cleaning 60003 clauses out of 120020 with flag 3834694/1881001
324.32/312.83	c cleaning 61001 clauses out of 122017 with flag 3961239/1943001
335.66/324.04	c cleaning 62000 clauses out of 124015 with flag 4089054/2006000
347.87/335.77	c cleaning 62997 clauses out of 126016 with flag 4218841/2070001
359.85/347.20	c cleaning 63998 clauses out of 128018 with flag 4350670/2135000
371.55/358.73	c cleaning 65003 clauses out of 130020 with flag 4484645/2201000
385.83/371.86	c cleaning 65998 clauses out of 132018 with flag 4621090/2268001
398.70/384.22	c cleaning 66999 clauses out of 134019 with flag 4759026/2336000
411.15/396.24	c cleaning 68001 clauses out of 136020 with flag 4898997/2405000
423.52/408.13	c cleaning 69001 clauses out of 138020 with flag 5040988/2475001
436.08/420.45	c cleaning 70000 clauses out of 140018 with flag 5184988/2546000
449.57/433.77	c cleaning 71000 clauses out of 142018 with flag 5331077/2618000
462.66/446.60	c cleaning 71999 clauses out of 144019 with flag 5479876/2691001
476.86/460.62	c cleaning 73000 clauses out of 146020 with flag 5630352/2765001
489.83/473.32	c cleaning 73999 clauses out of 148020 with flag 5784631/2840001
503.56/486.87	c cleaning 75001 clauses out of 150020 with flag 5941125/2916000
517.48/500.72	c cleaning 76003 clauses out of 152020 with flag 6100040/2993001
533.19/515.83	c cleaning 76998 clauses out of 154017 with flag 6260970/3071001
548.81/530.95	c cleaning 78000 clauses out of 156018 with flag 6423426/3150000
564.37/546.14	c cleaning 78999 clauses out of 158019 with flag 6587960/3230001
580.00/561.45	c cleaning 80000 clauses out of 160019 with flag 6756998/3311000
596.84/577.76	c cleaning 80995 clauses out of 162020 with flag 6927660/3393001
613.07/593.61	c cleaning 82002 clauses out of 164024 with flag 7098724/3476000
630.09/610.11	c cleaning 82996 clauses out of 166022 with flag 7272068/3560000
648.75/627.64	c cleaning 84000 clauses out of 168026 with flag 7447103/3645000
666.34/644.78	c cleaning 85000 clauses out of 170026 with flag 7624155/3731000
683.65/661.71	c cleaning 86005 clauses out of 172026 with flag 7806872/3818000
703.71/681.39	c cleaning 87004 clauses out of 174022 with flag 7992138/3906001
722.14/698.64	c cleaning 88000 clauses out of 176017 with flag 8179504/3995000
739.83/715.86	c cleaning 89001 clauses out of 178017 with flag 8368978/4085000
758.74/734.47	c cleaning 89999 clauses out of 180016 with flag 8560556/4176000
777.66/752.26	c cleaning 90996 clauses out of 182017 with flag 8754240/4268000
806.81/779.90	c cleaning 92001 clauses out of 184021 with flag 8943851/4361000
838.38/810.13	c cleaning 92998 clauses out of 186020 with flag 9135458/4455000
866.99/837.49	c cleaning 94003 clauses out of 188022 with flag 9328979/4550000
892.23/861.23	c cleaning 95002 clauses out of 190019 with flag 9524609/4646000
916.94/884.48	c cleaning 95998 clauses out of 192018 with flag 9720710/4743001
938.42/904.54	c cleaning 96998 clauses out of 194020 with flag 9927026/4841001
963.40/928.06	c cleaning 98001 clauses out of 196021 with flag 10134696/4940000
988.54/951.84	c cleaning 98997 clauses out of 198021 with flag 10339448/5040001
1015.62/976.71	c cleaning 100002 clauses out of 200024 with flag 10547580/5141001
1037.84/997.36	c cleaning 101000 clauses out of 202021 with flag 10762314/5243000
1059.67/1017.59	c cleaning 102005 clauses out of 204021 with flag 10979174/5346000
1082.17/1038.45	c cleaning 102995 clauses out of 206016 with flag 11198121/5450000
1104.33/1059.16	c cleaning 103998 clauses out of 208021 with flag 11419174/5555000
1127.37/1080.92	c cleaning 104999 clauses out of 210024 with flag 11642334/5661001
1152.09/1103.81	c cleaning 106002 clauses out of 212024 with flag 11867594/5768000
1174.59/1125.42	c cleaning 107001 clauses out of 214022 with flag 12094963/5876000
1197.78/1147.11	c cleaning 107999 clauses out of 216022 with flag 12324437/5985001
1221.43/1168.80	c cleaning 109004 clauses out of 218023 with flag 12556015/6095001
1245.56/1191.30	c cleaning 109996 clauses out of 220019 with flag 12789699/6206001
1269.91/1214.14	c cleaning 111000 clauses out of 222022 with flag 13025487/6318000
1295.03/1237.66	c cleaning 111999 clauses out of 224023 with flag 13263383/6431001
1322.97/1263.93	c cleaning 112998 clauses out of 226023 with flag 13501799/6545000
1353.31/1292.46	c cleaning 113996 clauses out of 228025 with flag 13737233/6660000
1381.87/1318.84	c cleaning 114999 clauses out of 230029 with flag 13974337/6776000
1406.66/1342.08	c cleaning 116005 clauses out of 232030 with flag 14212517/6893000
1435.72/1369.47	c cleaning 117002 clauses out of 234026 with flag 14450520/7011001
1462.79/1394.14	c cleaning 117997 clauses out of 236023 with flag 14690051/7130000
1489.23/1418.62	c cleaning 119002 clauses out of 238027 with flag 14931633/7250001
1514.12/1441.98	c cleaning 119999 clauses out of 240024 with flag 15174902/7371000
1538.93/1465.06	c cleaning 121000 clauses out of 242025 with flag 15419691/7493000
1564.51/1488.71	c cleaning 121999 clauses out of 244025 with flag 15666504/7616000
1588.36/1512.02	c cleaning 122999 clauses out of 246026 with flag 15915304/7740000
1613.68/1535.86	c cleaning 124006 clauses out of 248027 with flag 16166137/7865000
1641.02/1561.57	c cleaning 124998 clauses out of 250021 with flag 16418937/7991000
1668.69/1587.02	c cleaning 125998 clauses out of 252023 with flag 16673784/8118000
1696.95/1613.42	c cleaning 127000 clauses out of 254025 with flag 16930638/8246000
1725.51/1639.68	c cleaning 128000 clauses out of 256025 with flag 17189498/8375000
1754.07/1666.49	c cleaning 129002 clauses out of 258025 with flag 17450334/8505000
1782.67/1693.19	c cleaning 129997 clauses out of 260024 with flag 17713210/8636001
1811.29/1719.99	c cleaning 131002 clauses out of 262026 with flag 17978084/8768000
1839.62/1746.23	c cleaning 131997 clauses out of 264024 with flag 18244958/8901000
1868.46/1773.06	c cleaning 133001 clauses out of 266027 with flag 18514075/9035000
1904.33/1807.02	c cleaning 133997 clauses out of 268026 with flag 18787924/9170000
1942.98/1842.00	c cleaning 135002 clauses out of 270029 with flag 19063851/9306000
1979.22/1876.20	c cleaning 135999 clauses out of 272027 with flag 19341760/9443000
2019.04/1912.00	c cleaning 137000 clauses out of 274029 with flag 19621885/9581001
2057.73/1948.75	c cleaning 138001 clauses out of 276028 with flag 19903191/9720000
2088.43/1977.64	c cleaning 138998 clauses out of 278028 with flag 20184137/9860001
2128.28/2013.45	c cleaning 140005 clauses out of 280030 with flag 20471117/10001001
2165.24/2047.72	c cleaning 140999 clauses out of 282024 with flag 20761603/10143000
2201.08/2079.88	c cleaning 142003 clauses out of 284025 with flag 21054072/10286000
2234.58/2111.25	c cleaning 143003 clauses out of 286023 with flag 21348788/10430001
2273.29/2146.11	c cleaning 143996 clauses out of 288019 with flag 21645118/10575000
2309.29/2179.76	c cleaning 145001 clauses out of 290024 with flag 21943813/10721001
2345.67/2214.31	c cleaning 145998 clauses out of 292023 with flag 22244730/10868001
2384.29/2249.25	c cleaning 147003 clauses out of 294024 with flag 22547441/11016000
2422.34/2282.94	c cleaning 147999 clauses out of 296021 with flag 22852233/11165000
2458.57/2317.06	c cleaning 149005 clauses out of 298022 with flag 23158884/11315000
2497.91/2352.13	c cleaning 149997 clauses out of 300018 with flag 23467644/11466001
2534.51/2386.68	c cleaning 151000 clauses out of 302021 with flag 23778461/11618001
2572.70/2420.96	c cleaning 152002 clauses out of 304021 with flag 24091518/11771001
2609.51/2455.45	c cleaning 152992 clauses out of 306018 with flag 24406714/11925000
2649.81/2491.57	c cleaning 154002 clauses out of 308026 with flag 24723611/12080000
2687.08/2526.49	c cleaning 155000 clauses out of 310024 with flag 25042675/12236000
2724.03/2561.65	c cleaning 156000 clauses out of 312024 with flag 25363663/12393000
2761.80/2597.50	c cleaning 156998 clauses out of 314024 with flag 25686857/12551000
2800.19/2634.08	c cleaning 158003 clauses out of 316027 with flag 26011985/12710001
2837.73/2669.15	c cleaning 158998 clauses out of 318024 with flag 26339301/12870001
2875.53/2704.67	c cleaning 159998 clauses out of 320025 with flag 26668616/13031000
2914.72/2741.03	c cleaning 161002 clauses out of 322028 with flag 27000103/13193001
2951.30/2776.98	c cleaning 162000 clauses out of 324026 with flag 27333503/13356001
2989.68/2813.02	c cleaning 163000 clauses out of 326026 with flag 27668930/13520001
3032.02/2850.69	c cleaning 163995 clauses out of 328025 with flag 28006286/13685000
3071.14/2887.63	c cleaning 165002 clauses out of 330030 with flag 28345937/13851000
3108.97/2922.72	c cleaning 166003 clauses out of 332029 with flag 28687489/14018001
3147.92/2959.64	c cleaning 167004 clauses out of 334025 with flag 29031266/14186000
3186.88/2996.28	c cleaning 167998 clauses out of 336023 with flag 29376544/14355002
3225.81/3032.67	c cleaning 169003 clauses out of 338023 with flag 29724008/14525000
3268.36/3070.87	c cleaning 170001 clauses out of 340020 with flag 30074114/14696000
3309.25/3109.40	c cleaning 170996 clauses out of 342020 with flag 30427079/14868001
3349.41/3147.32	c cleaning 171999 clauses out of 344023 with flag 30781164/15041000
3389.50/3185.18	c cleaning 172995 clauses out of 346025 with flag 31137402/15215001
3432.24/3223.91	c cleaning 174001 clauses out of 348029 with flag 31496567/15390000
3472.86/3262.39	c cleaning 174999 clauses out of 350028 with flag 31857427/15566000
3513.84/3301.07	c cleaning 176000 clauses out of 352029 with flag 32220046/15743000
3557.89/3340.58	c cleaning 177002 clauses out of 354029 with flag 32583894/15921000
3600.09/3379.71	c starts		: 2
3600.09/3379.72	c conflicts		: 16100001
3600.09/3379.72	c decisions		: 22369688
3600.09/3379.72	c propagations		: 176784733
3600.09/3379.72	c inspects		: 5766398732
3600.09/3379.72	c shortcuts		: 0
3600.09/3379.72	c learnt literals	: 0
3600.09/3379.73	c learnt binary clauses	: 0
3600.09/3379.73	c learnt ternary clauses	: 0
3600.09/3379.73	c learnt constraints	: 16100001
3600.09/3379.73	c ignored constraints	: 0
3600.09/3379.73	c root simplifications	: 0
3600.09/3379.73	c removed literals (reason simplification)	: 2533623493
3600.09/3379.73	c reason swapping (by a shorter reason)	: 0
3600.09/3379.73	c Calls to reduceDB	: 175
3600.09/3379.73	c Number of update (reduction) of LBD	: 91057
3600.09/3379.73	c Imported unit clauses	: 0
3600.09/3379.73	c No decision after first conflict	: false
3600.09/3379.73	c number of reductions to clauses (during analyze)	: 0
3600.09/3379.73	c number of learned constraints concerned by reduction	: 0
3600.09/3379.73	c number of learning phase by resolution	: 0
3600.09/3379.73	c number of learning phase by cutting planes	: 0
3600.09/3379.73	c number of rounding to 1 operations	: 0
3600.09/3379.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3379.73	c number of reductions of the coefficients by power 2 	: 0
3600.09/3379.73	c number of right shift for reduction by power 2 	: 0
3600.09/3379.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3379.73	c number of ending skipping 	: 0
3600.09/3379.73	c number of internal skipping 	: 0
3600.09/3379.73	c number of derivation steps 	: 0
3600.09/3379.73	c number of skipped derivation steps 	: 0
3600.09/3379.73	c number of remaining unassigned 	: 0
3600.09/3379.73	c number of remaining assigned 	: 0
3600.09/3379.73	c number of falsified literals weakened from reason	: 0
3600.09/3379.74	c number of falsified literals weakened from conflict	: 0
3600.09/3379.74	c time for arithmetic operations	: 0
3600.09/3379.74	c minimum degree of deleted constraints	: null
3600.09/3379.74	c maximum degree of deleted constraints	: null
3600.09/3379.74	c number of deleted constraints	: 0
3600.09/3379.74	c speed (assignments/second)	: 52310.74347738475
3600.09/3379.74	c non guided choices	: 0
3600.29/3379.81	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 356028
3600.29/3379.81	s SATISFIABLE
3600.29/3379.81	c Found 1 solution(s)
3600.29/3379.81	v x1 -x2 -x3 -x4 x5 x6 x7 x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 x26 -x27 -x28 x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 x47 x48 x49 x50 -x51 -x52 x53 x54 -x55 -x56 x57 x58 x59 x60 x61 x62 x63 -x64 x65 x66 x67 x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 x79 x80 x81 x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 x96 x97 x98 x99 x100 x101 -x102 -x103 -x104 x105 x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 x136 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 x170 x171 x172 x173 x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 x183 x184 -x185 -x186 -x187 x188 x189 -x190 -x191 x192 x193 x194 -x195 -x196 -x197 x198 -x199 -x200 x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 x224 -x225 x226 x227 -x228 -x229 x230 x231 x232 x233 -x234 x235 -x236 -x237 x238 x239 -x240 -x241 -x242 x243 x244 x245 x246 x247 x248 x249 -x250 x251 x252 x253 -x254 x255 x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 x273 -x274 -x275 x276 x277 -x278 -x279 -x280 x281 -x282 -x283 x284 x285 x286 -x287 -x288 -x289 x290 -x291 -x292 x293 x294 -x295 -x296 x297 x298 x299 x300 x301 -x302 -x303 x304 x305 x306 -x307 -x308 -x309 x310 x311 -x312 x313 x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 x322 -x323 -x324 x325 x326 -x327 -x328 x329 x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 x339 -x340 x341 -x342 x343 x344 -x345 -x346 -x347 x348 -x349 -x350 x351 x352 x353 -x354 -x355 x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 -x375 x376 x377 x378 -x379 -x380 -x381 x382 -x383 -x384 x385 x386 -x387 -x388 x389 x390 x391 -x392 x393 -x394 -x395 -x396 x397 x398 -x399 -x400 -x401 x402 x403 x404 x405 x406 -x407 -x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 x419 x420 x421 x422 x423 -x424 -x425 x426 x427 -x428 -x429 x430 x431 x432 -x433 x434 x435 -x436 -x437 x438 x439 x440 -x441 -x442 x443 x444 -x445 -x446 -x447 x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 -x466 -x467 x468 x469 x470 x471 x472 x473 x474 -x475 x476 x477 -x478 -x479 -x480 x481 x482 x483 x484 -x485 x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 x499 x500 x501 -x502 x503 x504 -x505 -x506 x507 x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 x520 x521 -x522 x523 x524 -x525 -x526 x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 x536 x537 -x538 -x539 -x540 x541 -x542 -x543 x544 x545 -x546 -x547 x548 x549 -x550 -x551 x552 x553 -x554 -x555 x556 x557 -x558 -x559 -x560 x561 x562 -x563 x564 x565 x566 x567 x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 x576 x577 x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 x604 x605 -x606 -x607 x608 x609 -x610 -x611 x612 x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 x621 x622 -x623 -x624 x625 x626 -x627 -x628 x629 x630 -x631 -x632 -x633 x634 x635 -x636 -x637 x638 x639 x640 -x641 -x642 x643 x644 -x645 -x646 x647 x648 -x649 -x650 -x651 x652 x653 x654 -x655 x656 x657 -x658 x659 -x660 -x661 -x662 -x663 x664 x665 x666 x667 x668 x669 -x670 -x671 x672 x673 -x674 -x675 -x676 x677 x678 -x679 -x680 -x681 x682 -x683 -x684 x685 x686 -x687 -x688 x689 x690 x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 -x706 x707 x708 -x709 -x710 x711 x712 -x713 -x714 x715 x716 x717 -x718 x719 x720 x721 -x722 -x723 x724 x725 -x726 -x727 x728 x729 x730 x731 x732 x733 x734 x735 -x736 -x737 x738 x739 x740 x741 x742 x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 x751 x752 -x753 x754 x755 -x756 -x757 x758 x759 x760 -x761 -x762 x763 x764 -x765 -x766 x767 x768 -x769 -x770 x771 x772 -x773 -x774 x775 x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 x801 -x802 x803 x804 -x805 -x806 -x807 x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 x825 -x826 -x827 -x828 x829 x830 -x831 x832 x833 x834 -x835 -x836 x837 x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 x853 x854 -x855 -x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 x883 x884 -x885 x886 x887 -x888 -x889 -x890 x891 -x892 -x893 x894 x895 -x896 -x897 x898 x899 -x900 -x901 -x902 -x903 x904 x905 x906 
3600.29/3379.82	c objective function=25
3600.29/3379.82	c Total wall clock time (in seconds): 3379.683

Verifier Data 

OK	25

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100061 s]*
/proc/loadavg: 4.21 4.22 4.20 5/341 40881
/proc/meminfo: memFree=100826772/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=18930384 memory=59532 CPUtime=0.13 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 6484 0 0 0 11 2 0 0 20 0 18 0 45108992 19384713216 14883 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4732596 14883 5368 1 0 547603 0
[pid=40863/tid=40865] ppid=40860 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5064 0 0 0 6 1 0 0 20 0 18 0 45108993 19384713216 14883 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45108995 19384713216 14883 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=18930384 memory=60684515966010 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45108995 19384713216 14883 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59532 KiB

[startup+0.205814 s]*
/proc/loadavg: 4.21 4.22 4.20 7/341 40881
/proc/meminfo: memFree=100822676/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=18930384 memory=65556 CPUtime=0.31 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 6897 0 0 0 29 2 0 0 20 0 18 0 45108992 19384713216 16389 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4732596 16389 5464 1 0 547965 0
[pid=40863/tid=40865] ppid=40860 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5327 0 0 0 15 1 0 0 20 0 18 0 45108993 19384713216 16389 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=18930384 memory=16880 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45108995 19384713216 16389 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 45108995 19384713216 16389 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65556 KiB

[startup+0.305659 s]*
/proc/loadavg: 4.21 4.22 4.20 6/342 40882
/proc/meminfo: memFree=100814484/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=18996948 memory=77552 CPUtime=0.49 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 7485 0 0 0 47 2 0 0 20 0 19 0 45108992 19452874752 19388 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4749237 19388 5464 1 0 548604 0
[pid=40863/tid=40865] ppid=40860 vsize=18996948 memory=-6000919507049278571 CPUtime=0.25 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5441 0 0 0 23 2 0 0 20 0 19 0 45108993 19452874752 19388 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45108995 19452874752 19388 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 45108995 19452874752 19388 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 45109014 19452874752 19388 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77552 KiB

[startup+0.700469 s]
/proc/loadavg: 4.36 4.25 4.21 6/342 40882
/proc/meminfo: memFree=100772332/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=175944 CPUtime=1.25 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 15983 0 0 0 119 6 0 0 20 0 20 0 45108992 19521036288 43986 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 43986 5496 1 0 553384 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=17664 CPUtime=0.59 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5586 0 0 0 55 4 0 0 20 0 20 0 45108993 19521036288 43986 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 43986 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 43986 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 43986 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175944 KiB

[startup+1.50025 s]
/proc/loadavg: 4.36 4.25 4.21 6/343 40883
/proc/meminfo: memFree=100721892/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=193744 CPUtime=2.84 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 20879 0 0 0 276 8 0 0 20 0 20 0 45108992 19521036288 48436 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 48436 5496 1 0 553632 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=0 CPUtime=1.33 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5952 0 0 0 128 5 0 0 20 0 20 0 45108993 19521036288 48436 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 48436 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 48436 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 48436 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193744 KiB

[startup+3.10598 s]
/proc/loadavg: 4.36 4.25 4.21 5/343 40883
/proc/meminfo: memFree=100387424/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=494640 CPUtime=5.53 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 25875 0 0 0 536 17 0 0 20 0 20 0 45108992 19521036288 123660 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 123660 5496 1 0 862824 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=10752 CPUtime=2.8 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 6879 0 0 0 269 11 0 0 20 0 20 0 45108993 19521036288 123660 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=-6000919507049278571 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 123660 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 123660 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 123660 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 494640 KiB

[startup+6.30021 s]
/proc/loadavg: 4.33 4.24 4.21 6/343 40883
/proc/meminfo: memFree=99635464/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=1346356 CPUtime=8.92 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 27159 0 0 0 856 36 0 0 20 0 20 0 45108992 19521036288 336589 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 336589 5496 1 0 1339087 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=0 CPUtime=5.8 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 7212 0 0 0 554 26 0 0 20 0 20 0 45108993 19521036288 336589 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 336589 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 336589 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=193860 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 336589 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1346356 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.24 4.21 5/343 40883
/proc/meminfo: memFree=98438600/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=2197404 CPUtime=15.68 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 28008 0 0 0 1507 61 0 0 20 0 20 0 45108992 19521036288 549351 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 549351 5496 1 0 1339101 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=193860 CPUtime=11.93 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 7579 0 0 0 1148 45 0 0 20 0 20 0 45108993 19521036288 549351 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=2197404 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 549351 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 549351 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 549351 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 15.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2197404 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.23 4.20 5/344 40885
/proc/meminfo: memFree=97450276/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=2846724 CPUtime=28.98 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 31672 0 0 0 2811 87 0 0 20 0 20 0 45108992 19521036288 711681 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 711681 5496 1 0 1339104 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=2772992 CPUtime=24.18 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 9099 0 0 0 2357 61 0 0 20 0 20 0 45108993 19521036288 711681 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 711681 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 711681 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=2772992 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 711681 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 28.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2846724 KiB

[startup+51.1057 s]
/proc/loadavg: 4.35 4.26 4.21 5/343 40886
/proc/meminfo: memFree=95447328/131249996 swapFree=33010684/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=4300144 CPUtime=55.36 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 41654 0 0 0 5393 143 0 0 20 0 20 0 45108992 19521036288 1075036 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1075036 5528 1 0 1339112 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=2891804 CPUtime=48.44 cores=5,7

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

[startup+3042.3 s]
/proc/loadavg: 4.79 4.86 4.74 5/346 41260
/proc/meminfo: memFree=1215424/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=5623440 CPUtime=3237.1 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5822562 0 0 0 320160 3550 0 0 20 0 20 0 45108992 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1405860 5528 1 0 1420014 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=-6000919507049278571 CPUtime=2942.68 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5549442 0 0 0 290980 3288 0 0 20 0 20 0 45108993 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=19712 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=6073404 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2026 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=5623440 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3237.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5623440 KiB

[startup+3102.3 s]
/proc/loadavg: 4.60 4.81 4.72 5/346 41262
/proc/meminfo: memFree=1279308/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=5623440 CPUtime=3302.16 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5826165 0 0 0 326611 3605 0 0 20 0 20 0 45108992 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1405860 5528 1 0 1420014 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=5632 CPUtime=3000.24 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5551077 0 0 0 296686 3338 0 0 20 0 20 0 45108993 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=5623440 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2079 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3302.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5623440 KiB

[startup+3162.3 s]
/proc/loadavg: 4.40 4.72 4.70 5/323 41297
/proc/meminfo: memFree=22941156/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=5623440 CPUtime=3366.24 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5867896 0 0 0 332967 3657 0 0 20 0 20 0 45108992 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1405860 5528 1 0 1420014 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=5623440 CPUtime=3057.6 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5586670 0 0 0 302374 3386 0 0 20 0 20 0 45108993 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=5623440 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2079 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=14384 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3366.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5623440 KiB

[startup+3222.3 s]
/proc/loadavg: 4.51 4.70 4.70 5/344 41336
/proc/meminfo: memFree=44892332/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=5623440 CPUtime=3430.64 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5910216 0 0 0 339351 3713 0 0 20 0 20 0 45108992 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1405860 5528 1 0 1420014 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=5623440 CPUtime=3114.94 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5624831 0 0 0 308057 3437 0 0 20 0 20 0 45108993 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=-6000919507049278571 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=5623440 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2109 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=5623440 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1405860 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3430.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5623440 KiB

[startup+3282.3 s]
/proc/loadavg: 4.82 4.75 4.72 6/345 41343
/proc/meminfo: memFree=37754632/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=6540424 CPUtime=3494.81 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5917620 0 0 0 345624 3857 0 0 20 0 20 0 45108992 19521036288 1635106 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1635106 5528 1 0 1649696 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=6540424 CPUtime=3172.82 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5628500 0 0 0 313712 3570 0 0 20 0 20 0 45108993 19521036288 1635106 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=6823816 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1635106 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=6823816 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2138 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1635106 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1635106 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3494.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6540424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.76 4.75 4.72 6/345 41345
/proc/meminfo: memFree=33112412/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=5681932 CPUtime=3559.62 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5923966 0 0 0 352052 3910 0 0 20 0 20 0 45108992 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1420483 5528 1 0 1434632 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=5681932 CPUtime=3230.74 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5631520 0 0 0 319456 3618 0 0 20 0 20 0 45108993 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=5681932 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2185 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=5681932 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3559.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5681932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3379.7 s]
/proc/loadavg: 4.88 4.79 4.73 5/346 41414
/proc/meminfo: memFree=67066924/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19063512 memory=5681932 CPUtime=3600.09 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5927995 0 0 0 356068 3941 0 0 20 0 20 0 45108992 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4765878 1420483 5528 1 0 1434640 0
[pid=40863/tid=40865] ppid=40860 vsize=19063512 memory=5681932 CPUtime=3266.49 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5633246 0 0 0 323004 3645 0 0 20 0 20 0 45108993 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19063512 memory=5681932 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19063512 memory=6540424 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2185 0 0 0 0 0 0 0 20 0 20 0 45108995 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40882] ppid=40860 vsize=19063512 memory=6540424 CPUtime=0 cores=5,7
/proc/40863/task/40882/stat : 40882 (Timer-0) S 40860 40863 40471 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45109014 19521036288 1420483 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5681932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3560.92 s, system=39.4375 s

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

[startup+3379.8 s]
/proc/loadavg: 4.88 4.79 4.73 5/346 41414
/proc/meminfo: memFree=67066924/131249996 swapFree=33010416/33010684
[pid=40863] ppid=40860 vsize=19263204 memory=5682532 CPUtime=3600.29 cores=5,7
/proc/40863/stat : 40863 (java) S 40860 40863 40471 0 -1 4194304 5929915 0 0 0 356088 3941 0 0 20 0 21 0 45108992 19725520896 1420633 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
/proc/40863/statm: 4815801 1420633 5560 1 0 1435575 0
[pid=40863/tid=40865] ppid=40860 vsize=19263204 memory=17664 CPUtime=3266.59 cores=5,7
/proc/40863/task/40865/stat : 40865 (java) R 40860 40863 40471 0 -1 4194368 5633246 0 0 0 323014 3645 0 0 20 0 21 0 45108993 19725520896 1420633 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40874] ppid=40860 vsize=19263204 memory=10752 CPUtime=0 cores=5,7
/proc/40863/task/40874/stat : 40874 (Finalizer) S 40860 40863 40471 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45108995 19725520896 1420633 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
[pid=40863/tid=40881] ppid=40860 vsize=19263204 memory=5632 CPUtime=0 cores=5,7
/proc/40863/task/40881/stat : 40881 (Common-Cleaner) S 40860 40863 40471 0 -1 4194368 2185 0 0 0 0 0 0 0 20 0 21 0 45108995 19725520896 1420633 18446744073709551615 94724930945024 94724930948720 140730828304912 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94724930956536 94724930957328 94724962328576 140730828310832 140730828311014 140730828311014 140730828316616 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5682532 KiB

Child status: 143

Real time (s): 3379.86
CPU time (s): 3600.36
CPU user time (s): 3560.92
CPU system time (s): 39.4375
CPU usage (%): 106.524
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 9909172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.92
system time used= 39.4375
maximum resident set size= 9937844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5930193
page faults= 0
swaps= 0
block input operations= 40
block output operations= 68097864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133451
involuntary context switches= 25099


# summary of solver processes directly reported to runsolver:
#   pid: 40863
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3560.92
#   total CPU system time (s): 39.4375

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0745 second user time and 17.4938 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 16:38:32
IDJOB=4484501
IDBENCH=146658
IDSOLVER=3364
FILE ID=nodeC022/4484501-1751294312
RUNJOBID= nodeC022-1751290853-40484
SLURM_JOB_ID= 9594246
Free space on /tmp= 433052 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:20:4.5:0.95:98.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484501-1751294312/watcher-4484501-1751294312 -o /tmp/evaluation-result-4484501-1751294312/solver-4484501-1751294312 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751290853-40484 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4484501-1751294312 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4484501-1751294312.opb

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

MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=2043651233

nodeC022 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.711
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        100866548 kB
MemAvailable:   121364940 kB
Buffers:            3280 kB
Cached:         21280760 kB
SwapCached:            0 kB
Active:          8686724 kB
Inactive:       21030920 kB
Active(anon):    8451744 kB
Inactive(anon):        0 kB
Active(file):     234980 kB
Inactive(file): 21030920 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            136092 kB
Writeback:             0 kB
AnonPages:       8432752 kB
Mapped:           122736 kB
Shmem:             18060 kB
KReclaimable:     143060 kB
Slab:             237500 kB
SReclaimable:     143060 kB
SUnreclaim:        94440 kB
KernelStack:        5216 kB
PageTables:        20424 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8985212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8185856 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC022 at 2025-06-30 17:34:52