Trace number 4484500

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)25 3600.64 3525.24

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.08/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.19	c See www.sat4j.org for details.
0.08/0.21	c version PB25.v20250606
0.25/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.24	c java.vm.version	22.0.1+8-16
0.25/0.24	c java.vm.vendor	Oracle Corporation
0.25/0.24	c sun.arch.data.model	64
0.25/0.24	c java.version		22.0.1
0.25/0.24	c os.name		Linux
0.25/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.24	c os.arch		amd64
0.25/0.25	c Free memory 		2104792832
0.25/0.25	c Max memory 		16282288128
0.25/0.25	c Total memory 		2113929216
0.25/0.26	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4484500-1751290914.opb
0.41/0.37	c reading problem ... 
0.41/0.38	c  objective function found
0.59/0.52	c ... done. Wall clock time 0.132s.
0.77/0.53	c declared #vars     906
0.77/0.53	c #constraints  1040
0.77/0.53	c constraints type 
0.77/0.53	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 852
0.77/0.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 186
0.77/0.53	c org.sat4j.specs.Constr$1 => 1
0.77/0.53	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.77/0.53	c 1040 constraints processed.
0.77/0.56	c objective function length is 906 literals
0.77/0.60	c SATISFIABLE
0.77/0.60	c OPTIMIZING...
0.77/0.60	c Got one! Elapsed wall clock time (in seconds):0.228
0.77/0.60	o 25
3.27/1.81	c cleaning 2492 clauses out of 5000 with flag 10249/5000
3.95/2.34	c cleaning 4249 clauses out of 8509 with flag 22499/11001
4.69/3.06	c cleaning 5621 clauses out of 11260 with flag 36791/18001
5.38/3.72	c cleaning 6814 clauses out of 13639 with flag 53114/26001
6.34/4.61	c cleaning 7906 clauses out of 15825 with flag 71474/35001
7.14/5.43	c cleaning 8952 clauses out of 17918 with flag 91878/45000
8.37/6.43	c cleaning 9973 clauses out of 19966 with flag 114330/56000
9.26/7.35	c cleaning 10989 clauses out of 21994 with flag 138826/68001
10.94/8.99	c cleaning 11993 clauses out of 24004 with flag 165366/81000
12.30/10.27	c cleaning 12997 clauses out of 26012 with flag 193937/95001
13.60/11.54	c cleaning 13999 clauses out of 28014 with flag 224544/110000
15.14/13.01	c cleaning 15000 clauses out of 30015 with flag 257193/126000
16.76/14.40	c cleaning 15998 clauses out of 32015 with flag 291791/143000
18.53/16.09	c cleaning 16997 clauses out of 34017 with flag 328518/161000
20.44/17.89	c cleaning 18005 clauses out of 36021 with flag 367279/180001
22.33/19.71	c cleaning 19001 clauses out of 38016 with flag 408081/200001
24.35/21.68	c cleaning 20000 clauses out of 40014 with flag 450922/221000
26.61/23.75	c cleaning 20999 clauses out of 42014 with flag 495797/243000
28.60/25.75	c cleaning 22003 clauses out of 44015 with flag 542736/266000
30.92/27.97	c cleaning 23001 clauses out of 46013 with flag 591725/290001
33.78/30.60	c cleaning 23995 clauses out of 48012 with flag 642726/315001
36.08/32.94	c cleaning 25000 clauses out of 50016 with flag 695791/341000
38.83/35.58	c cleaning 26001 clauses out of 52017 with flag 750835/368001
41.75/38.33	c cleaning 26998 clauses out of 54016 with flag 807980/396001
44.79/41.21	c cleaning 27997 clauses out of 56017 with flag 867170/425000
47.79/44.27	c cleaning 29000 clauses out of 58022 with flag 928334/455002
51.44/47.88	c cleaning 29998 clauses out of 60020 with flag 991600/486000
54.61/50.93	c cleaning 31004 clauses out of 62022 with flag 1056898/518000
58.59/54.84	c cleaning 31996 clauses out of 64018 with flag 1124251/551000
62.19/58.39	c cleaning 33003 clauses out of 66022 with flag 1193597/585000
65.84/61.89	c cleaning 33998 clauses out of 68020 with flag 1265021/620001
70.19/66.03	c cleaning 34997 clauses out of 70021 with flag 1338487/656000
75.20/70.94	c cleaning 36003 clauses out of 72024 with flag 1413975/693000
81.04/75.69	c cleaning 36998 clauses out of 74022 with flag 1491525/731001
86.49/80.83	c cleaning 38001 clauses out of 76024 with flag 1571128/770001
91.63/85.85	c cleaning 39000 clauses out of 78023 with flag 1652734/810001
96.16/90.21	c cleaning 40002 clauses out of 80022 with flag 1736421/851000
101.98/95.94	c cleaning 40997 clauses out of 82020 with flag 1822092/893000
107.63/101.43	c cleaning 42002 clauses out of 84024 with flag 1909858/936001
112.29/105.92	c cleaning 43000 clauses out of 86022 with flag 1999620/980001
117.66/111.13	c cleaning 44002 clauses out of 88022 with flag 2091473/1025001
122.43/115.96	c cleaning 44999 clauses out of 90020 with flag 2185321/1071001
129.10/122.55	c cleaning 46002 clauses out of 92021 with flag 2281240/1118001
135.18/128.37	c cleaning 46999 clauses out of 94018 with flag 2379180/1166000
140.61/133.65	c cleaning 48000 clauses out of 96020 with flag 2479199/1215001
147.32/140.20	c cleaning 49002 clauses out of 98020 with flag 2581184/1265001
155.87/147.60	c cleaning 50000 clauses out of 100017 with flag 2685258/1316000
162.97/154.54	c cleaning 50997 clauses out of 102018 with flag 2791345/1368001
169.30/160.50	c cleaning 52003 clauses out of 104021 with flag 2900951/1421001
176.78/167.76	c cleaning 52997 clauses out of 106018 with flag 3010494/1475001
183.94/174.71	c cleaning 54003 clauses out of 108020 with flag 3122187/1530000
191.03/181.76	c cleaning 55001 clauses out of 110018 with flag 3235864/1586001
199.88/190.37	c cleaning 56001 clauses out of 112017 with flag 3351508/1643001
208.52/198.81	c cleaning 56997 clauses out of 114016 with flag 3469493/1701001
217.02/207.07	c cleaning 58000 clauses out of 116019 with flag 3589210/1760001
225.89/214.49	c cleaning 58999 clauses out of 118018 with flag 3710920/1820000
233.84/222.38	c cleaning 60003 clauses out of 120020 with flag 3834694/1881001
243.81/231.96	c cleaning 61001 clauses out of 122017 with flag 3961239/1943001
252.72/240.71	c cleaning 62000 clauses out of 124015 with flag 4089054/2006000
263.16/250.87	c cleaning 62997 clauses out of 126016 with flag 4218841/2070001
272.88/260.23	c cleaning 63998 clauses out of 128018 with flag 4350670/2135000
281.20/268.48	c cleaning 65003 clauses out of 130020 with flag 4484645/2201000
291.90/278.81	c cleaning 65998 clauses out of 132018 with flag 4621090/2268001
300.85/287.56	c cleaning 66999 clauses out of 134019 with flag 4759026/2336000
310.58/297.20	c cleaning 68001 clauses out of 136020 with flag 4898997/2405000
319.31/305.60	c cleaning 69001 clauses out of 138020 with flag 5040988/2475001
329.81/315.89	c cleaning 70000 clauses out of 140018 with flag 5184988/2546000
339.17/325.05	c cleaning 71000 clauses out of 142018 with flag 5331077/2618000
349.05/334.71	c cleaning 71999 clauses out of 144019 with flag 5479876/2691001
360.31/345.72	c cleaning 73000 clauses out of 146020 with flag 5630352/2765001
371.30/354.96	c cleaning 73999 clauses out of 148020 with flag 5784631/2840001
381.37/364.89	c cleaning 75001 clauses out of 150020 with flag 5941125/2916000
392.67/375.88	c cleaning 76003 clauses out of 152020 with flag 6100040/2993001
404.93/388.00	c cleaning 76998 clauses out of 154017 with flag 6260970/3071001
416.93/399.60	c cleaning 78000 clauses out of 156018 with flag 6423426/3150000
429.01/411.38	c cleaning 78999 clauses out of 158019 with flag 6587960/3230001
440.99/423.16	c cleaning 80000 clauses out of 160019 with flag 6756998/3311000
453.92/435.75	c cleaning 80995 clauses out of 162020 with flag 6927660/3393001
465.97/447.45	c cleaning 82002 clauses out of 164024 with flag 7098724/3476000
478.22/459.51	c cleaning 82996 clauses out of 166022 with flag 7272068/3560000
491.39/472.50	c cleaning 84000 clauses out of 168026 with flag 7447103/3645000
504.59/485.35	c cleaning 85000 clauses out of 170026 with flag 7624155/3731000
518.55/499.01	c cleaning 86005 clauses out of 172026 with flag 7806872/3818000
532.81/513.01	c cleaning 87004 clauses out of 174022 with flag 7992138/3906001
546.16/526.12	c cleaning 88000 clauses out of 176017 with flag 8179504/3995000
559.90/538.38	c cleaning 89001 clauses out of 178017 with flag 8368978/4085000
574.21/552.26	c cleaning 89999 clauses out of 180016 with flag 8560556/4176000
587.47/565.25	c cleaning 90996 clauses out of 182017 with flag 8754240/4268000
610.11/587.70	c cleaning 92001 clauses out of 184021 with flag 8943851/4361000
636.66/613.73	c cleaning 92998 clauses out of 186020 with flag 9135458/4455000
659.34/636.16	c cleaning 94003 clauses out of 188022 with flag 9328979/4550000
678.04/654.61	c cleaning 95002 clauses out of 190019 with flag 9524609/4646000
695.88/672.30	c cleaning 95998 clauses out of 192018 with flag 9720710/4743001
710.76/686.84	c cleaning 96998 clauses out of 194020 with flag 9927026/4841001
729.04/704.90	c cleaning 98001 clauses out of 196021 with flag 10134696/4940000
747.85/723.29	c cleaning 98997 clauses out of 198021 with flag 10339448/5040001
766.84/741.97	c cleaning 100002 clauses out of 200024 with flag 10547580/5141001
782.61/757.51	c cleaning 101000 clauses out of 202021 with flag 10762314/5243000
797.89/772.42	c cleaning 102005 clauses out of 204021 with flag 10979174/5346000
812.71/787.10	c cleaning 102995 clauses out of 206016 with flag 11198121/5450000
829.01/802.92	c cleaning 103998 clauses out of 208021 with flag 11419174/5555000
845.94/819.68	c cleaning 104999 clauses out of 210024 with flag 11642334/5661001
862.65/835.73	c cleaning 106002 clauses out of 212024 with flag 11867594/5768000
878.36/851.18	c cleaning 107001 clauses out of 214022 with flag 12094963/5876000
894.64/867.00	c cleaning 107999 clauses out of 216022 with flag 12324437/5985001
912.69/882.72	c cleaning 109004 clauses out of 218023 with flag 12556015/6095001
929.73/899.56	c cleaning 109996 clauses out of 220019 with flag 12789699/6206001
946.35/915.96	c cleaning 111000 clauses out of 222022 with flag 13025487/6318000
963.51/932.98	c cleaning 111999 clauses out of 224023 with flag 13263383/6431001
982.76/951.97	c cleaning 112998 clauses out of 226023 with flag 13501799/6545000
1005.08/974.02	c cleaning 113996 clauses out of 228025 with flag 13737233/6660000
1025.88/994.30	c cleaning 114999 clauses out of 230029 with flag 13974337/6776000
1043.22/1011.29	c cleaning 116005 clauses out of 232030 with flag 14212517/6893000
1063.62/1031.37	c cleaning 117002 clauses out of 234026 with flag 14450520/7011001
1081.65/1049.05	c cleaning 117997 clauses out of 236023 with flag 14690051/7130000
1100.77/1068.08	c cleaning 119002 clauses out of 238027 with flag 14931633/7250001
1118.47/1085.24	c cleaning 119999 clauses out of 240024 with flag 15174902/7371000
1136.34/1102.74	c cleaning 121000 clauses out of 242025 with flag 15419691/7493000
1153.62/1119.74	c cleaning 121999 clauses out of 244025 with flag 15666504/7616000
1170.82/1136.79	c cleaning 122999 clauses out of 246026 with flag 15915304/7740000
1188.03/1153.85	c cleaning 124006 clauses out of 248027 with flag 16166137/7865000
1206.93/1172.32	c cleaning 124998 clauses out of 250021 with flag 16418937/7991000
1225.05/1190.16	c cleaning 125998 clauses out of 252023 with flag 16673784/8118000
1243.55/1208.44	c cleaning 127000 clauses out of 254025 with flag 16930638/8246000
1261.97/1226.75	c cleaning 128000 clauses out of 256025 with flag 17189498/8375000
1281.42/1245.71	c cleaning 129002 clauses out of 258025 with flag 17450334/8505000
1300.47/1264.46	c cleaning 129997 clauses out of 260024 with flag 17713210/8636001
1321.14/1284.94	c cleaning 131002 clauses out of 262026 with flag 17978084/8768000
1340.79/1304.03	c cleaning 131997 clauses out of 264024 with flag 18244958/8901000
1361.15/1324.03	c cleaning 133001 clauses out of 266027 with flag 18514075/9035000
1387.16/1349.85	c cleaning 133997 clauses out of 268026 with flag 18787924/9170000
1415.27/1377.13	c cleaning 135002 clauses out of 270029 with flag 19063851/9306000
1441.80/1403.38	c cleaning 135999 clauses out of 272027 with flag 19341760/9443000
1471.40/1430.69	c cleaning 137000 clauses out of 274029 with flag 19621885/9581001
1499.51/1458.52	c cleaning 138001 clauses out of 276028 with flag 19903191/9720000
1520.02/1478.85	c cleaning 138998 clauses out of 278028 with flag 20184137/9860001
1546.64/1505.28	c cleaning 140005 clauses out of 280030 with flag 20471117/10001001
1572.13/1530.67	c cleaning 140999 clauses out of 282024 with flag 20761603/10143000
1595.18/1553.64	c cleaning 142003 clauses out of 284025 with flag 21054072/10286000
1617.91/1576.34	c cleaning 143003 clauses out of 286023 with flag 21348788/10430001
1645.48/1603.14	c cleaning 143996 clauses out of 288019 with flag 21645118/10575000
1672.01/1629.14	c cleaning 145001 clauses out of 290024 with flag 21943813/10721001
1698.04/1654.74	c cleaning 145998 clauses out of 292023 with flag 22244730/10868001
1725.27/1681.54	c cleaning 147003 clauses out of 294024 with flag 22547441/11016000
1750.97/1706.83	c cleaning 147999 clauses out of 296021 with flag 22852233/11165000
1776.74/1732.37	c cleaning 149005 clauses out of 298022 with flag 23158884/11315000
1803.97/1759.33	c cleaning 149997 clauses out of 300018 with flag 23467644/11466001
1830.33/1785.51	c cleaning 151000 clauses out of 302021 with flag 23778461/11618001
1856.14/1811.29	c cleaning 152002 clauses out of 304021 with flag 24091518/11771001
1884.88/1839.09	c cleaning 152992 clauses out of 306018 with flag 24406714/11925000
1912.94/1866.60	c cleaning 154002 clauses out of 308026 with flag 24723611/12080000
1940.25/1893.56	c cleaning 155000 clauses out of 310024 with flag 25042675/12236000
1966.84/1919.80	c cleaning 156000 clauses out of 312024 with flag 25363663/12393000
1993.93/1946.50	c cleaning 156998 clauses out of 314024 with flag 25686857/12551000
2021.51/1973.95	c cleaning 158003 clauses out of 316027 with flag 26011985/12710001
2049.72/2001.28	c cleaning 158998 clauses out of 318024 with flag 26339301/12870001
2077.76/2028.77	c cleaning 159998 clauses out of 320025 with flag 26668616/13031000
2105.95/2056.53	c cleaning 161002 clauses out of 322028 with flag 27000103/13193001
2134.11/2084.48	c cleaning 162000 clauses out of 324026 with flag 27333503/13356001
2161.46/2111.68	c cleaning 163000 clauses out of 326026 with flag 27668930/13520001
2190.72/2140.02	c cleaning 163995 clauses out of 328025 with flag 28006286/13685000
2219.69/2168.51	c cleaning 165002 clauses out of 330030 with flag 28345937/13851000
2247.00/2195.40	c cleaning 166003 clauses out of 332029 with flag 28687489/14018001
2275.62/2223.86	c cleaning 167004 clauses out of 334025 with flag 29031266/14186000
2309.33/2253.84	c cleaning 167998 clauses out of 336023 with flag 29376544/14355002
2338.42/2282.36	c cleaning 169003 clauses out of 338023 with flag 29724008/14525000
2368.56/2311.92	c cleaning 170001 clauses out of 340020 with flag 30074114/14696000
2399.39/2342.28	c cleaning 170996 clauses out of 342020 with flag 30427079/14868001
2429.07/2371.37	c cleaning 171999 clauses out of 344023 with flag 30781164/15041000
2458.60/2400.58	c cleaning 172995 clauses out of 346025 with flag 31137402/15215001
2487.55/2429.22	c cleaning 174001 clauses out of 348029 with flag 31496567/15390000
2516.47/2457.92	c cleaning 174999 clauses out of 350028 with flag 31857427/15566000
2546.12/2487.43	c cleaning 176000 clauses out of 352029 with flag 32220046/15743000
2576.08/2516.68	c cleaning 177002 clauses out of 354029 with flag 32583894/15921000
2605.91/2545.98	c cleaning 178000 clauses out of 356028 with flag 32950181/16100001
2636.65/2576.29	c cleaning 178997 clauses out of 358027 with flag 33318293/16280000
2665.23/2604.47	c cleaning 180004 clauses out of 360030 with flag 33689042/16461000
2694.16/2633.12	c cleaning 180999 clauses out of 362026 with flag 34061334/16643000
2722.57/2661.41	c cleaning 182004 clauses out of 364027 with flag 34435597/16826000
2763.06/2701.29	c cleaning 182999 clauses out of 366024 with flag 34812549/17010001
2795.89/2733.51	c cleaning 184002 clauses out of 368024 with flag 35191804/17195000
2826.96/2764.15	c cleaning 185001 clauses out of 370023 with flag 35572985/17381001
2859.91/2796.88	c cleaning 186003 clauses out of 372023 with flag 35956399/17568002
2890.96/2827.77	c cleaning 186997 clauses out of 374018 with flag 36341686/17756000
2928.76/2864.88	c cleaning 188002 clauses out of 376021 with flag 36728545/17945000
2961.26/2896.82	c cleaning 188999 clauses out of 378019 with flag 37117036/18135000
2992.44/2927.68	c cleaning 189998 clauses out of 380020 with flag 37507722/18326000
3026.38/2961.34	c cleaning 191000 clauses out of 382023 with flag 37900586/18518001
3059.91/2994.09	c cleaning 192000 clauses out of 384023 with flag 38295280/18711001
3092.57/3026.11	c cleaning 193002 clauses out of 386023 with flag 38691752/18905001
3128.43/3059.00	c cleaning 193998 clauses out of 388020 with flag 39090484/19100000
3160.89/3091.19	c cleaning 195002 clauses out of 390023 with flag 39491239/19296001
3193.70/3123.16	c cleaning 196000 clauses out of 392021 with flag 39894304/19493001
3228.41/3157.34	c cleaning 196998 clauses out of 394020 with flag 40299079/19691000
3262.88/3191.16	c cleaning 197998 clauses out of 396022 with flag 40706044/19890000
3300.92/3228.99	c cleaning 199004 clauses out of 398024 with flag 41118693/20090000
3355.14/3282.36	c cleaning 199994 clauses out of 400020 with flag 41544884/20291000
3410.99/3337.61	c cleaning 201001 clauses out of 402026 with flag 41973862/20493000
3467.75/3394.06	c cleaning 202000 clauses out of 404026 with flag 42405132/20696001
3526.84/3452.49	c cleaning 203000 clauses out of 406025 with flag 42838561/20900000
3583.34/3508.55	c cleaning 204002 clauses out of 408027 with flag 43273623/21105002
3600.05/3524.94	c starts		: 2
3600.05/3524.95	c conflicts		: 21190635
3600.05/3524.95	c decisions		: 28999374
3600.05/3524.95	c propagations		: 220753880
3600.05/3524.95	c inspects		: 7978783223
3600.05/3524.96	c shortcuts		: 0
3600.05/3524.96	c learnt literals	: 0
3600.05/3524.96	c learnt binary clauses	: 0
3600.05/3524.96	c learnt ternary clauses	: 0
3600.05/3524.96	c learnt constraints	: 21190635
3600.05/3524.96	c ignored constraints	: 0
3600.05/3524.96	c root simplifications	: 0
3600.05/3524.96	c removed literals (reason simplification)	: 3335040555
3600.05/3524.96	c reason swapping (by a shorter reason)	: 0
3600.05/3524.96	c Calls to reduceDB	: 201
3600.05/3524.96	c Number of update (reduction) of LBD	: 161430
3600.05/3524.97	c Imported unit clauses	: 0
3600.05/3524.97	c No decision after first conflict	: false
3600.05/3524.98	c number of reductions to clauses (during analyze)	: 0
3600.05/3524.98	c number of learned constraints concerned by reduction	: 0
3600.05/3524.98	c number of learning phase by resolution	: 0
3600.05/3524.98	c number of learning phase by cutting planes	: 0
3600.05/3524.98	c number of rounding to 1 operations	: 0
3600.05/3524.98	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3524.98	c number of reductions of the coefficients by power 2 	: 0
3600.05/3524.98	c number of right shift for reduction by power 2 	: 0
3600.05/3524.98	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3524.98	c number of ending skipping 	: 0
3600.05/3524.98	c number of internal skipping 	: 0
3600.05/3524.98	c number of derivation steps 	: 0
3600.05/3524.98	c number of skipped derivation steps 	: 0
3600.05/3524.98	c number of remaining unassigned 	: 0
3600.05/3524.98	c number of remaining assigned 	: 0
3600.05/3524.98	c number of falsified literals weakened from reason	: 0
3600.05/3524.98	c number of falsified literals weakened from conflict	: 0
3600.05/3524.98	c time for arithmetic operations	: 0
3600.05/3524.99	c minimum degree of deleted constraints	: null
3600.05/3524.99	c maximum degree of deleted constraints	: null
3600.05/3524.99	c number of deleted constraints	: 0
3600.05/3524.99	c speed (assignments/second)	: 62635.66234594594
3600.05/3524.99	c non guided choices	: 0
3600.45/3525.16	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 289658
3600.45/3525.16	s SATISFIABLE
3600.45/3525.17	c Found 1 solution(s)
3600.45/3525.17	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.45/3525.18	c objective function=25
3600.45/3525.18	c Total wall clock time (in seconds): 3524.802

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484500-1751290914/watcher-4484500-1751290914 -o /tmp/evaluation-result-4484500-1751290914/solver-4484500-1751290914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751290914-41002 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4484500-1751290914.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
solver pid=41049, runsolver pid=41043
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 0.70 1.69 2.90 11/316 41126
/proc/meminfo: memFree=123269672/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=18930344 memory=45372 CPUtime=0.08 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 5286 0 160 0 4 4 0 0 20 0 18 0 44771180 19384672256 11343 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4732586 11343 4909 1 0 546657 0
[pid=41049/tid=41063] ppid=41043 vsize=18930344 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 4430 0 160 0 3 2 0 0 20 0 18 0 44771183 19384672256 11343 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=18930344 memory=16142 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44771188 19384672256 11343 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=18930344 memory=58494082614266 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 44771189 19384672256 11375 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45372 KiB

[startup+0.214735 s]*
/proc/loadavg: 0.70 1.69 2.90 7/320 41130
/proc/meminfo: memFree=123251296/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=18930384 memory=52024 CPUtime=0.25 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 6033 0 160 0 20 5 0 0 20 0 18 0 44771180 19384713216 13006 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4732596 13006 5357 1 0 547271 0
[pid=41049/tid=41063] ppid=41043 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 4830 0 160 0 13 3 0 0 20 0 18 0 44771183 19384713216 13006 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44771188 19384713216 13006 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 44771189 19384713216 13006 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52024 KiB

[startup+0.314995 s]*
/proc/loadavg: 0.70 1.69 2.90 9/320 41130
/proc/meminfo: memFree=123235732/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=18930384 memory=58164 CPUtime=0.41 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 6532 0 160 0 35 6 0 0 20 0 18 0 44771180 19384713216 14541 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4732596 14541 5357 1 0 547691 0
[pid=41049/tid=41063] ppid=41043 vsize=18930384 memory=-6000919481313553259 CPUtime=0.25 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 5004 0 160 0 21 4 0 0 20 0 18 0 44771183 19384713216 14541 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 44771188 19384713216 14541 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 44771189 19384713216 14541 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58164 KiB

[startup+0.70041 s]
/proc/loadavg: 0.70 1.69 2.90 12/320 41130
/proc/meminfo: memFree=123217900/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=18996948 memory=67056 CPUtime=1.09 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 7191 0 160 0 102 7 0 0 20 0 19 0 44771180 19452874752 16764 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4749237 16764 5485 1 0 548369 0
[pid=41049/tid=41063] ppid=41043 vsize=18996948 memory=17792 CPUtime=0.53 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 5290 0 160 0 49 4 0 0 20 0 19 0 44771183 19452874752 16764 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44771188 19452874752 16764 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 44771189 19452874752 16764 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67056 KiB

[startup+1.5003 s]
/proc/loadavg: 0.70 1.69 2.90 11/326 41136
/proc/meminfo: memFree=122945332/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=18996948 memory=96876 CPUtime=2.67 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 14686 0 160 0 257 10 0 0 20 0 19 0 44771180 19452874752 24219 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4749237 24219 5485 1 0 551557 0
[pid=41049/tid=41063] ppid=41043 vsize=18996948 memory=3200 CPUtime=1.31 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 5542 0 160 0 126 5 0 0 20 0 19 0 44771183 19452874752 24219 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 44771188 19452874752 24219 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 44771189 19452874752 24219 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=18996948 memory=14560 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 44771238 19452874752 24219 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96876 KiB

[startup+3.11336 s]
/proc/loadavg: 0.97 1.73 2.90 5/327 41138
/proc/meminfo: memFree=122498872/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=215028 CPUtime=4.79 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 17349 0 160 0 465 14 0 0 20 0 20 0 44771180 19521036288 53757 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 53757 5517 1 0 551921 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=14560 CPUtime=2.75 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 6602 0 160 0 268 7 0 0 20 0 20 0 44771183 19521036288 53757 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 53757 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 53757 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 53757 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215028 KiB

[startup+6.30041 s]
/proc/loadavg: 0.97 1.73 2.90 6/327 41138
/proc/meminfo: memFree=121753232/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=344648 CPUtime=8.27 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 17605 0 160 0 810 17 0 0 20 0 20 0 44771180 19521036288 86162 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 86162 5517 1 0 551938 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=0 CPUtime=5.66 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 6606 0 160 0 559 7 0 0 20 0 20 0 44771183 19521036288 86162 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 86162 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 86162 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=99084 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 86162 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 8.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 344648 KiB

[startup+12.7004 s]
/proc/loadavg: 1.21 1.76 2.91 6/327 41138
/proc/meminfo: memFree=119847500/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=735504 CPUtime=14.94 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 20645 0 160 0 1468 26 0 0 20 0 20 0 44771180 19521036288 183876 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 183876 5517 1 0 894502 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=99084 CPUtime=11.75 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 7426 0 160 0 1165 10 0 0 20 0 20 0 44771183 19521036288 183876 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=557048 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 183876 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 183876 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 183876 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 14.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 735504 KiB

[startup+25.5005 s]
/proc/loadavg: 2.04 1.92 2.94 5/327 41138
/proc/meminfo: memFree=115946184/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=1298664 CPUtime=28.41 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 24005 0 160 0 2801 40 0 0 20 0 20 0 44771180 19521036288 324666 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 324666 5549 1 0 1021917 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=557048 CPUtime=23.97 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 8227 0 160 0 2385 12 0 0 20 0 20 0 44771183 19521036288 324666 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 324666 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 324666 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=1177832 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 324666 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 28.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1298664 KiB

[startup+51.1136 s]
/proc/loadavg: 3.04 2.17 3.00 6/327 41139
/proc/meminfo: memFree=108590248/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=2309616 CPUtime=54.83 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 26267 0 160 0 5423 60 0 0 20 0 20 0 44771180 19521036288 577404 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 577404 5549 1 0 1145173 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=2309616 CPUtime=48.61 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 9072 0 160 0 4846 15 0 0 20 0 20 0 44771183 19521036288 577404 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=735504 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 577404 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 42 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 577404 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=2059716 CPUtime=0 cores=0,2

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

/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2264 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3233.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

[startup+3222.3 s]
/proc/loadavg: 4.71 4.67 4.61 5/326 41431
/proc/meminfo: memFree=83292188/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3294.33 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 258602 0 160 0 328897 536 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086672 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3148.71 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 147394 0 160 0 314795 76 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2264 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3294.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.45 4.61 4.59 5/327 41501
/proc/meminfo: memFree=97698436/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3355.14 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 262549 0 160 0 334975 539 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086672 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3207.58 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 149717 0 160 0 320682 76 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2302 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3355.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.55 4.60 4.59 5/328 41510
/proc/meminfo: memFree=93714112/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3415.67 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 266114 0 160 0 341024 543 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086674 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=5760 CPUtime=3266.71 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 152050 0 160 0 326594 77 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2380 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3415.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

[startup+3402.3 s]
/proc/loadavg: 4.46 4.57 4.57 5/328 41512
/proc/meminfo: memFree=93308496/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3476.14 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 269285 0 160 0 347067 547 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086674 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=10624 CPUtime=3325.86 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 154452 0 160 0 332509 77 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2502 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=-6000919494198455147 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3476.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.48 4.54 6/328 41514
/proc/meminfo: memFree=90727800/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3536.71 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 272875 0 160 0 353122 549 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086674 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=10624 CPUtime=3384.93 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 157043 0 160 0 338415 78 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2622 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3536.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.44 4.52 5/327 41516
/proc/meminfo: memFree=89425080/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3597.11 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 277045 0 160 0 359159 552 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086674 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3444.21 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 160319 0 160 0 344343 78 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2703 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3597.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3524.9 s]
/proc/loadavg: 4.47 4.48 4.54 5/327 41516
/proc/meminfo: memFree=89425080/131382112 swapFree=33010684/33010684
[pid=41049] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3600.05 cores=0,2
/proc/41049/stat : 41049 (java) S 41043 41049 40992 0 -1 4194304 277747 0 160 0 359453 552 0 0 20 0 20 0 44771180 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
/proc/41049/statm: 4765878 3762870 5549 1 0 4086674 0
[pid=41049/tid=41063] ppid=41043 vsize=19063512 memory=15051480 CPUtime=3446.46 cores=0,2
/proc/41049/task/41063/stat : 41063 (java) R 41043 41049 40992 0 -1 4194368 160343 0 160 0 344568 78 0 0 20 0 20 0 44771183 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41097] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41097/stat : 41097 (Finalizer) S 41043 41049 40992 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 44771188 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41125] ppid=41043 vsize=19063512 memory=15051480 CPUtime=0 cores=0,2
/proc/41049/task/41125/stat : 41125 (Common-Cleaner) S 41043 41049 40992 0 -1 4194368 2703 0 0 0 0 0 0 0 20 0 20 0 44771189 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
[pid=41049/tid=41131] ppid=41043 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/41049/task/41131/stat : 41131 (Timer-0) S 41043 41049 40992 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 44771238 19521036288 3762870 18446744073709551615 93989777317888 93989777321584 140720936473328 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93989777329400 93989777330192 93989800337408 140720936479105 140720936479206 140720936479206 140720936484808 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15051480 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.07 s, system=5.57406 s

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

[startup+3525.2 s]*
/proc/loadavg: 4.47 4.48 4.54 5/309 41519
/proc/meminfo: memFree=89424576/131382112 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3525.24
CPU time (s): 3600.64
CPU user time (s): 3595.07
CPU system time (s): 5.57406
CPU usage (%): 102.139
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 15052120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.07
system time used= 5.57406
maximum resident set size= 15052376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280364
page faults= 160
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115681
involuntary context switches= 14672


# summary of solver processes directly reported to runsolver:
#   pid: 41049
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3595.07
#   total CPU system time (s): 5.57406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0338 second user time and 36.6844 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-06-30 15:41:54
IDJOB=4484500
IDBENCH=146658
IDSOLVER=3363
FILE ID=nodeC009/4484500-1751290914
RUNJOBID= nodeC009-1751290914-41002
SLURM_JOB_ID= 9594248
Free space on /tmp= 432656 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:20:4.5:0.95:98.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484500-1751290914/watcher-4484500-1751290914 -o /tmp/evaluation-result-4484500-1751290914/solver-4484500-1751290914 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751290914-41002 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4484500-1751290914.opb

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

MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=218762810

nodeC009 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	: 0xb00001f
cpu MHz		: 1197.429
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.194
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.312
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.164
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.211
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123316752 kB
MemAvailable:   129880720 kB
Buffers:            3280 kB
Cached:          7336456 kB
SwapCached:            0 kB
Active:           366452 kB
Inactive:        7039044 kB
Active(anon):      82752 kB
Inactive(anon):      968 kB
Active(file):     283700 kB
Inactive(file):  7038076 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:         68948 kB
Mapped:           102668 kB
Shmem:             17960 kB
KReclaimable:     163252 kB
Slab:             246656 kB
SReclaimable:     163252 kB
SUnreclaim:        83404 kB
KernelStack:        3732 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432648 MiB
End job on nodeC009 at 2025-06-30 16:40:39