Trace number 4440371

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 2024 2024-07-07SAT (TO)25 3600.54 3559.77

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.109237
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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.20	c version CUSTOM.v20240707
0.29/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.29/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.29/0.23	c java.vm.version	22.0.1+8-16
0.29/0.23	c java.vm.vendor	Oracle Corporation
0.29/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.24	c Free memory 		2113181440
0.29/0.24	c Max memory 		16282288128
0.29/0.24	c Total memory 		2122317824
0.29/0.25	c Number of processors 	2
0.45/0.35	--- Begin Solver configuration ---
0.45/0.35	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.45/0.35	Learn all clauses as in MiniSAT
0.45/0.35	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.35	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.35	Expensive reason simplification
0.45/0.35	Glucose 2.1 dynamic restart strategy
0.45/0.35	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.45/0.35	timeout=2147483s
0.45/0.35	DB Simplification allowed=false
0.45/0.35	Listener: none
0.45/0.35	--- End Solver configuration ---
0.45/0.36	c Pseudo Boolean Optimization by upper bound
0.45/0.36	c --- Begin Solver configuration ---
0.45/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.45/0.36	c Learn all clauses as in MiniSAT
0.45/0.36	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.45/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.45/0.36	c Expensive reason simplification
0.45/0.36	c Glucose 2.1 dynamic restart strategy
0.45/0.36	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.45/0.36	c timeout=2147483s
0.45/0.36	c DB Simplification allowed=false
0.45/0.36	c Listener: none
0.45/0.36	c --- End Solver configuration ---
0.45/0.36	c solving HOME/instance-4440371-1721765591.opb
0.45/0.36	c reading problem ... 
0.45/0.37	c using VERIPB proof format
0.45/0.37	c  objective function found
0.81/0.55	c ... done. Wall clock time 0.179s.
0.81/0.55	c declared #vars     906
0.81/0.55	c #constraints  1040
0.81/0.55	c constraints type 
0.81/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 852
0.81/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 186
0.81/0.55	c org.sat4j.specs.Constr$1 => 1
0.81/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.81/0.55	c 1040 constraints processed.
0.81/0.57	c objective function length is 906 literals
0.81/0.59	c SATISFIABLE
0.81/0.59	c OPTIMIZING...
0.81/0.59	c Got one! Elapsed wall clock time (in seconds):0.228
0.81/0.59	o 25
4.48/2.48	c cleaning 2492 clauses out of 5000 with flag 10249/5000
6.64/3.58	c cleaning 4249 clauses out of 8509 with flag 22499/11001
7.95/4.49	c cleaning 5621 clauses out of 11260 with flag 36791/18001
9.29/5.62	c cleaning 6814 clauses out of 13639 with flag 53114/26001
10.65/6.80	c cleaning 7906 clauses out of 15825 with flag 71474/35001
12.36/8.18	c cleaning 8952 clauses out of 17918 with flag 91878/45000
14.26/9.72	c cleaning 9973 clauses out of 19966 with flag 114330/56000
15.91/11.44	c cleaning 10989 clauses out of 21994 with flag 138826/68001
17.86/13.26	c cleaning 11993 clauses out of 24004 with flag 165366/81000
19.84/15.16	c cleaning 12997 clauses out of 26012 with flag 193937/95001
21.84/17.12	c cleaning 13999 clauses out of 28014 with flag 224544/110000
24.46/19.40	c cleaning 15000 clauses out of 30015 with flag 257193/126000
26.89/21.62	c cleaning 15998 clauses out of 32015 with flag 291791/143000
29.50/24.07	c cleaning 16997 clauses out of 34017 with flag 328518/161000
32.79/27.24	c cleaning 18005 clauses out of 36021 with flag 367279/180001
36.12/30.49	c cleaning 19001 clauses out of 38016 with flag 408081/200001
40.68/35.07	c cleaning 20000 clauses out of 40014 with flag 450922/221000
43.84/38.11	c cleaning 20999 clauses out of 42014 with flag 495797/243000
47.14/41.26	c cleaning 22003 clauses out of 44015 with flag 542736/266000
50.68/44.66	c cleaning 23001 clauses out of 46013 with flag 591725/290001
53.99/47.97	c cleaning 23995 clauses out of 48012 with flag 642726/315001
58.26/51.81	c cleaning 25000 clauses out of 50016 with flag 695791/341000
62.33/55.61	c cleaning 26001 clauses out of 52017 with flag 750835/368001
66.36/59.59	c cleaning 26998 clauses out of 54016 with flag 807980/396001
71.30/66.36	c cleaning 27997 clauses out of 56017 with flag 867170/425000
76.18/71.28	c cleaning 29000 clauses out of 58022 with flag 928334/455002
80.57/75.58	c cleaning 29998 clauses out of 60020 with flag 991600/486000
85.17/80.01	c cleaning 31004 clauses out of 62022 with flag 1056898/518000
89.86/84.66	c cleaning 31996 clauses out of 64018 with flag 1124251/551000
94.85/89.56	c cleaning 33003 clauses out of 66022 with flag 1193597/585000
100.85/95.16	c cleaning 33998 clauses out of 68020 with flag 1265021/620001
107.13/103.97	c cleaning 34997 clauses out of 70021 with flag 1338487/656000
112.47/109.21	c cleaning 36003 clauses out of 72024 with flag 1413975/693000
118.08/114.74	c cleaning 36998 clauses out of 74022 with flag 1491525/731001
124.52/120.77	c cleaning 38001 clauses out of 76024 with flag 1571128/770001
130.42/126.57	c cleaning 39000 clauses out of 78023 with flag 1652734/810001
137.34/136.95	c cleaning 40002 clauses out of 80022 with flag 1736421/851000
144.31/143.44	c cleaning 40997 clauses out of 82020 with flag 1822092/893000
151.61/150.42	c cleaning 42002 clauses out of 84024 with flag 1909858/936001
158.67/157.15	c cleaning 43000 clauses out of 86022 with flag 1999620/980001
167.24/172.65	c cleaning 44002 clauses out of 88022 with flag 2091473/1025001
175.59/180.65	c cleaning 44999 clauses out of 90020 with flag 2185321/1071001
183.18/188.01	c cleaning 46002 clauses out of 92021 with flag 2281240/1118001
192.20/209.27	c cleaning 46999 clauses out of 94018 with flag 2379180/1166000
199.71/216.61	c cleaning 48000 clauses out of 96020 with flag 2479199/1215001
209.79/227.08	c cleaning 49002 clauses out of 98020 with flag 2581184/1265001
218.23/235.20	c cleaning 50000 clauses out of 100017 with flag 2685258/1316000
226.93/243.58	c cleaning 50997 clauses out of 102018 with flag 2791345/1368001
236.40/252.35	c cleaning 52003 clauses out of 104021 with flag 2900951/1421001
246.44/262.62	c cleaning 52997 clauses out of 106018 with flag 3010494/1475001
256.03/271.63	c cleaning 54003 clauses out of 108020 with flag 3122187/1530000
265.48/280.75	c cleaning 55001 clauses out of 110018 with flag 3235864/1586001
276.60/292.18	c cleaning 56001 clauses out of 112017 with flag 3351508/1643001
287.23/302.41	c cleaning 56997 clauses out of 114016 with flag 3469493/1701001
297.75/312.47	c cleaning 58000 clauses out of 116019 with flag 3589210/1760001
309.23/324.03	c cleaning 58999 clauses out of 118018 with flag 3710920/1820000
320.40/334.85	c cleaning 60003 clauses out of 120020 with flag 3834694/1881001
332.77/346.86	c cleaning 61001 clauses out of 122017 with flag 3961239/1943001
344.98/359.12	c cleaning 62000 clauses out of 124015 with flag 4089054/2006000
357.76/370.19	c cleaning 62997 clauses out of 126016 with flag 4218841/2070001
369.36/381.29	c cleaning 63998 clauses out of 128018 with flag 4350670/2135000
380.93/392.85	c cleaning 65003 clauses out of 130020 with flag 4484645/2201000
394.10/405.38	c cleaning 65998 clauses out of 132018 with flag 4621090/2268001
406.92/420.18	c cleaning 66999 clauses out of 134019 with flag 4759026/2336000
418.76/431.54	c cleaning 68001 clauses out of 136020 with flag 4898997/2405000
430.41/442.79	c cleaning 69001 clauses out of 138020 with flag 5040988/2475001
443.46/459.60	c cleaning 70000 clauses out of 140018 with flag 5184988/2546000
456.34/471.93	c cleaning 71000 clauses out of 142018 with flag 5331077/2618000
469.45/485.27	c cleaning 71999 clauses out of 144019 with flag 5479876/2691001
483.46/498.82	c cleaning 73000 clauses out of 146020 with flag 5630352/2765001
496.06/510.91	c cleaning 73999 clauses out of 148020 with flag 5784631/2840001
510.18/525.43	c cleaning 75001 clauses out of 150020 with flag 5941125/2916000
524.06/538.90	c cleaning 76003 clauses out of 152020 with flag 6100040/2993001
539.91/554.96	c cleaning 76998 clauses out of 154017 with flag 6260970/3071001
554.40/569.02	c cleaning 78000 clauses out of 156018 with flag 6423426/3150000
569.86/584.88	c cleaning 78999 clauses out of 158019 with flag 6587960/3230001
584.58/599.14	c cleaning 80000 clauses out of 160019 with flag 6756998/3311000
601.67/615.83	c cleaning 80995 clauses out of 162020 with flag 6927660/3393001
617.33/630.94	c cleaning 82002 clauses out of 164024 with flag 7098724/3476000
634.48/648.49	c cleaning 82996 clauses out of 166022 with flag 7272068/3560000
651.84/665.34	c cleaning 84000 clauses out of 168026 with flag 7447103/3645000
669.92/683.59	c cleaning 85000 clauses out of 170026 with flag 7624155/3731000
686.62/699.57	c cleaning 86005 clauses out of 172026 with flag 7806872/3818000
705.96/718.81	c cleaning 87004 clauses out of 174022 with flag 7992138/3906001
724.16/735.02	c cleaning 88000 clauses out of 176017 with flag 8179504/3995000
742.33/753.78	c cleaning 89001 clauses out of 178017 with flag 8368978/4085000
761.67/776.50	c cleaning 89999 clauses out of 180016 with flag 8560556/4176000
779.38/793.57	c cleaning 90996 clauses out of 182017 with flag 8754240/4268000
807.82/821.79	c cleaning 92001 clauses out of 184021 with flag 8943851/4361000
838.16/851.96	c cleaning 92998 clauses out of 186020 with flag 9135458/4455000
866.00/879.31	c cleaning 94003 clauses out of 188022 with flag 9328979/4550000
889.54/902.59	c cleaning 95002 clauses out of 190019 with flag 9524609/4646000
912.40/924.76	c cleaning 95998 clauses out of 192018 with flag 9720710/4743001
932.53/944.88	c cleaning 96998 clauses out of 194020 with flag 9927026/4841001
956.02/967.94	c cleaning 98001 clauses out of 196021 with flag 10134696/4940000
979.13/990.47	c cleaning 98997 clauses out of 198021 with flag 10339448/5040001
1003.63/1014.30	c cleaning 100002 clauses out of 200024 with flag 10547580/5141001
1024.31/1035.17	c cleaning 101000 clauses out of 202021 with flag 10762314/5243000
1044.05/1054.26	c cleaning 102005 clauses out of 204021 with flag 10979174/5346000
1065.55/1076.77	c cleaning 102995 clauses out of 206016 with flag 11198121/5450000
1086.91/1099.34	c cleaning 103998 clauses out of 208021 with flag 11419174/5555000
1110.43/1119.88	c cleaning 104999 clauses out of 210024 with flag 11642334/5661001
1131.97/1141.20	c cleaning 106002 clauses out of 212024 with flag 11867594/5768000
1154.01/1163.26	c cleaning 107001 clauses out of 214022 with flag 12094963/5876000
1175.10/1183.67	c cleaning 107999 clauses out of 216022 with flag 12324437/5985001
1196.48/1204.71	c cleaning 109004 clauses out of 218023 with flag 12556015/6095001
1218.61/1226.84	c cleaning 109996 clauses out of 220019 with flag 12789699/6206001
1241.91/1250.56	c cleaning 111000 clauses out of 222022 with flag 13025487/6318000
1265.97/1275.35	c cleaning 111999 clauses out of 224023 with flag 13263383/6431001
1292.65/1300.92	c cleaning 112998 clauses out of 226023 with flag 13501799/6545000
1321.12/1329.32	c cleaning 113996 clauses out of 228025 with flag 13737233/6660000
1348.48/1356.77	c cleaning 114999 clauses out of 230029 with flag 13974337/6776000
1372.44/1380.82	c cleaning 116005 clauses out of 232030 with flag 14212517/6893000
1399.24/1407.66	c cleaning 117002 clauses out of 234026 with flag 14450520/7011001
1424.17/1432.74	c cleaning 117997 clauses out of 236023 with flag 14690051/7130000
1447.85/1455.70	c cleaning 119002 clauses out of 238027 with flag 14931633/7250001
1471.20/1478.80	c cleaning 119999 clauses out of 240024 with flag 15174902/7371000
1493.84/1501.21	c cleaning 121000 clauses out of 242025 with flag 15419691/7493000
1517.63/1524.91	c cleaning 121999 clauses out of 244025 with flag 15666504/7616000
1540.79/1547.38	c cleaning 122999 clauses out of 246026 with flag 15915304/7740000
1564.41/1570.67	c cleaning 124006 clauses out of 248027 with flag 16166137/7865000
1589.10/1595.23	c cleaning 124998 clauses out of 250021 with flag 16418937/7991000
1613.46/1619.17	c cleaning 125998 clauses out of 252023 with flag 16673784/8118000
1638.39/1643.16	c cleaning 127000 clauses out of 254025 with flag 16930638/8246000
1666.36/1668.85	c cleaning 128000 clauses out of 256025 with flag 17189498/8375000
1692.81/1695.09	c cleaning 129002 clauses out of 258025 with flag 17450334/8505000
1719.14/1722.15	c cleaning 129997 clauses out of 260024 with flag 17713210/8636001
1745.77/1748.70	c cleaning 131002 clauses out of 262026 with flag 17978084/8768000
1771.32/1773.23	c cleaning 131997 clauses out of 264024 with flag 18244958/8901000
1797.90/1799.54	c cleaning 133001 clauses out of 266027 with flag 18514075/9035000
1831.16/1832.34	c cleaning 133997 clauses out of 268026 with flag 18787924/9170000
1864.61/1865.06	c cleaning 135002 clauses out of 270029 with flag 19063851/9306000
1898.84/1898.97	c cleaning 135999 clauses out of 272027 with flag 19341760/9443000
1933.26/1932.52	c cleaning 137000 clauses out of 274029 with flag 19621885/9581001
1969.85/1970.61	c cleaning 138001 clauses out of 276028 with flag 19903191/9720000
1998.99/1999.41	c cleaning 138998 clauses out of 278028 with flag 20184137/9860001
2032.91/2032.59	c cleaning 140005 clauses out of 280030 with flag 20471117/10001001
2065.98/2064.86	c cleaning 140999 clauses out of 282024 with flag 20761603/10143000
2096.97/2095.16	c cleaning 142003 clauses out of 284025 with flag 21054072/10286000
2128.42/2126.16	c cleaning 143003 clauses out of 286023 with flag 21348788/10430001
2162.10/2159.07	c cleaning 143996 clauses out of 288019 with flag 21645118/10575000
2195.23/2191.32	c cleaning 145001 clauses out of 290024 with flag 21943813/10721001
2230.63/2224.29	c cleaning 145998 clauses out of 292023 with flag 22244730/10868001
2266.16/2258.91	c cleaning 147003 clauses out of 294024 with flag 22547441/11016000
2298.96/2291.12	c cleaning 147999 clauses out of 296021 with flag 22852233/11165000
2332.54/2324.39	c cleaning 149005 clauses out of 298022 with flag 23158884/11315000
2366.10/2357.35	c cleaning 149997 clauses out of 300018 with flag 23467644/11466001
2400.29/2391.02	c cleaning 151000 clauses out of 302021 with flag 23778461/11618001
2434.65/2425.12	c cleaning 152002 clauses out of 304021 with flag 24091518/11771001
2469.27/2459.75	c cleaning 152992 clauses out of 306018 with flag 24406714/11925000
2504.75/2494.38	c cleaning 154002 clauses out of 308026 with flag 24723611/12080000
2540.12/2528.60	c cleaning 155000 clauses out of 310024 with flag 25042675/12236000
2574.31/2561.92	c cleaning 156000 clauses out of 312024 with flag 25363663/12393000
2608.89/2595.64	c cleaning 156998 clauses out of 314024 with flag 25686857/12551000
2644.42/2630.40	c cleaning 158003 clauses out of 316027 with flag 26011985/12710001
2678.91/2664.16	c cleaning 158998 clauses out of 318024 with flag 26339301/12870001
2714.49/2698.78	c cleaning 159998 clauses out of 320025 with flag 26668616/13031000
2750.33/2733.77	c cleaning 161002 clauses out of 322028 with flag 27000103/13193001
2789.89/2770.73	c cleaning 162000 clauses out of 324026 with flag 27333503/13356001
2826.57/2806.36	c cleaning 163000 clauses out of 326026 with flag 27668930/13520001
2862.91/2841.59	c cleaning 163995 clauses out of 328025 with flag 28006286/13685000
2899.10/2876.97	c cleaning 165002 clauses out of 330030 with flag 28345937/13851000
2934.10/2911.01	c cleaning 166003 clauses out of 332029 with flag 28687489/14018001
2971.30/2947.14	c cleaning 167004 clauses out of 334025 with flag 29031266/14186000
3008.03/2982.89	c cleaning 167998 clauses out of 336023 with flag 29376544/14355002
3045.10/3019.65	c cleaning 169003 clauses out of 338023 with flag 29724008/14525000
3083.46/3057.04	c cleaning 170001 clauses out of 340020 with flag 30074114/14696000
3123.05/3096.08	c cleaning 170996 clauses out of 342020 with flag 30427079/14868001
3160.85/3133.07	c cleaning 171999 clauses out of 344023 with flag 30781164/15041000
3198.88/3170.39	c cleaning 172995 clauses out of 346025 with flag 31137402/15215001
3236.23/3207.02	c cleaning 174001 clauses out of 348029 with flag 31496567/15390000
3276.84/3244.21	c cleaning 174999 clauses out of 350028 with flag 31857427/15566000
3315.92/3281.89	c cleaning 176000 clauses out of 352029 with flag 32220046/15743000
3353.65/3318.26	c cleaning 177002 clauses out of 354029 with flag 32583894/15921000
3391.94/3355.37	c cleaning 178000 clauses out of 356028 with flag 32950181/16100001
3431.42/3393.82	c cleaning 178997 clauses out of 358027 with flag 33318293/16280000
3468.96/3430.36	c cleaning 180004 clauses out of 360030 with flag 33689042/16461000
3506.82/3466.99	c cleaning 180999 clauses out of 362026 with flag 34061334/16643000
3544.48/3503.30	c cleaning 182004 clauses out of 364027 with flag 34435597/16826000
3595.31/3554.83	c cleaning 182999 clauses out of 366024 with flag 34812549/17010001
3600.02/3559.42	c starts		: 2
3600.02/3559.43	c conflicts		: 17041245
3600.02/3559.43	c decisions		: 23605450
3600.02/3559.43	c propagations		: 185665184
3600.02/3559.43	c inspects		: 6058112781
3600.02/3559.43	c shortcuts		: 0
3600.02/3559.43	c learnt literals	: 0
3600.02/3559.43	c learnt binary clauses	: 0
3600.02/3559.43	c learnt ternary clauses	: 0
3600.02/3559.43	c learnt constraints	: 17041245
3600.02/3559.43	c ignored constraints	: 0
3600.02/3559.43	c root simplifications	: 0
3600.02/3559.43	c removed literals (reason simplification)	: 2681450476
3600.02/3559.43	c reason swapping (by a shorter reason)	: 0
3600.02/3559.43	c Calls to reduceDB	: 180
3600.02/3559.43	c Number of update (reduction) of LBD	: 99412
3600.02/3559.43	c Imported unit clauses	: 0
3600.02/3559.43	c No decision after first conflict	: false
3600.02/3559.43	c number of reductions to clauses (during analyze)	: 0
3600.02/3559.43	c number of learned constraints concerned by reduction	: 0
3600.02/3559.43	c number of learning phase by resolution	: 0
3600.02/3559.43	c number of learning phase by cutting planes	: 0
3600.02/3559.43	c number of rounding to 1 operations	: 0
3600.02/3559.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3559.43	c number of reductions of the coefficients by power 2 	: 0
3600.02/3559.43	c number of right shift for reduction by power 2 	: 0
3600.02/3559.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3559.44	c number of ending skipping 	: 0
3600.02/3559.44	c number of internal skipping 	: 0
3600.02/3559.44	c number of derivation steps 	: 0
3600.02/3559.44	c number of skipped derivation steps 	: 0
3600.02/3559.44	c number of remaining unassigned 	: 0
3600.02/3559.44	c number of remaining assigned 	: 0
3600.02/3559.45	c number of falsified literals weakened from reason	: 0
3600.02/3559.45	c number of falsified literals weakened from conflict	: 0
3600.02/3559.45	c time for arithmetic operations	: 0
3600.02/3559.45	c minimum degree of deleted constraints	: null
3600.02/3559.45	c maximum degree of deleted constraints	: null
3600.02/3559.45	c number of deleted constraints	: 0
3600.02/3559.45	c speed (assignments/second)	: 52169.71571586366
3600.02/3559.45	c non guided choices	: 0
3600.22/3559.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 214269
3600.22/3559.58	s SATISFIABLE
3600.22/3559.58	c Found 1 solution(s)
3600.22/3559.59	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.22/3559.60	c objective function=25
3600.22/3559.60	c Total wall clock time (in seconds): 3559.236

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: 64096 MiB (61579 MiB free)
  memory of node 1: 64473 MiB (62131 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=123020, runsolver pid=123016

[startup+0.100431 s]*
/proc/loadavg: 2.12 2.12 2.10 10/315 123104
/proc/meminfo: memFree=126548836/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=18993908 memory=56696 CPUtime=0.12 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 6417 0 0 0 8 4 0 0 20 0 18 0 12548909 19449761792 14174 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4748477 14174 5867 1 0 550763 0
[pid=123020/tid=123030] ppid=123016 vsize=18993908 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 5367 0 0 0 5 3 0 0 20 0 18 0 12548910 19449761792 14174 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=18993908 memory=1652 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548917 19449761792 14174 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12548918 19449761792 14174 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56696 KiB

[startup+0.216568 s]*
/proc/loadavg: 2.12 2.12 2.10 13/316 123105
/proc/meminfo: memFree=126526480/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=18993908 memory=62736 CPUtime=0.29 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 6875 0 0 0 24 5 0 0 20 0 18 0 12548909 19449761792 15684 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4748477 15684 5924 1 0 551102 0
[pid=123020/tid=123030] ppid=123016 vsize=18993908 memory=664970851429515395 CPUtime=0.18 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 5718 0 0 0 15 3 0 0 20 0 18 0 12548910 19449761792 15749 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=18993908 memory=1652 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548917 19449761792 15749 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12548918 19449761792 15749 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 62736 KiB

[startup+0.315848 s]*
/proc/loadavg: 2.12 2.12 2.10 13/316 123105
/proc/meminfo: memFree=126502196/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=18993908 memory=68620 CPUtime=0.45 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 7383 0 0 0 39 6 0 0 20 0 18 0 12548909 19449761792 17155 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4748477 17155 5921 1 0 551531 0
[pid=123020/tid=123030] ppid=123016 vsize=18993908 memory=-8528527320378286780 CPUtime=0.27 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 5871 0 0 0 23 4 0 0 20 0 18 0 12548910 19449761792 17155 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12548917 19449761792 17155 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12548918 19449761792 17182 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 68620 KiB

[startup+0.70083 s]
/proc/loadavg: 2.12 2.12 2.10 14/316 123105
/proc/meminfo: memFree=126473168/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19060472 memory=81896 CPUtime=1.14 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 8000 0 0 0 107 7 0 0 20 0 19 0 12548909 19517923328 20474 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4765118 20474 6113 1 0 552205 0
[pid=123020/tid=123030] ppid=123016 vsize=19060472 memory=5672 CPUtime=0.57 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 6164 0 0 0 53 4 0 0 20 0 19 0 12548910 19517923328 20474 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19060472 memory=12312 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12548917 19517923328 20474 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12548918 19517923328 20474 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 81896 KiB

[startup+1.50083 s]
/proc/loadavg: 2.12 2.12 2.10 13/322 123111
/proc/meminfo: memFree=126167668/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=176820 CPUtime=2.7 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 14823 0 0 0 259 11 0 0 20 0 20 0 12548909 19586084864 44205 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 44205 6150 1 0 554894 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=12312 CPUtime=1.32 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 6571 0 0 0 125 7 0 0 20 0 20 0 12548910 19586084864 44205 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 44205 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 44205 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 44205 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 176820 KiB

[startup+3.10582 s]
/proc/loadavg: 3.07 2.32 2.16 9/324 123113
/proc/meminfo: memFree=124995640/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=335864 CPUtime=5.84 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 21725 0 0 0 567 17 0 0 20 0 20 0 12548909 19586084864 83966 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 83966 6183 1 0 718160 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=0 CPUtime=2.8 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 7724 0 0 0 269 11 0 0 20 0 20 0 12548910 19586084864 83966 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=11564 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 83966 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 83966 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 83966 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 335864 KiB

[startup+6.30042 s]
/proc/loadavg: 3.07 2.32 2.16 5/325 123116
/proc/meminfo: memFree=121335588/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=1043796 CPUtime=10.25 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 23058 0 0 0 986 39 0 0 20 0 20 0 12548909 19586084864 260949 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 260949 6183 1 0 1039881 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=0 CPUtime=5.72 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 7985 0 0 0 546 26 0 0 20 0 20 0 12548910 19586084864 260949 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 260949 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=11564 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 260949 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=47900 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 260949 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 10.25 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1043796 KiB

[startup+12.7004 s]
/proc/loadavg: 3.21 2.37 2.18 4/328 123119
/proc/meminfo: memFree=115556932/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=2318404 CPUtime=17.37 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 24525 0 0 0 1664 73 0 0 20 0 20 0 12548909 19586084864 579601 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 579601 6183 1 0 1365753 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=2244548 CPUtime=11.44 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 8516 0 0 0 1091 53 0 0 20 0 20 0 12548910 19586084864 579601 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=2162424 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 579601 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=2244548 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 579601 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 579601 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 17.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2318404 KiB

[startup+25.5005 s]
/proc/loadavg: 3.41 2.44 2.21 5/328 123122
/proc/meminfo: memFree=104258396/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=3547868 CPUtime=30.98 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 26439 0 0 0 2983 115 0 0 20 0 20 0 12548909 19586084864 886967 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 886967 6183 1 0 1589267 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=0 CPUtime=23.57 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 9573 0 0 0 2270 87 0 0 20 0 20 0 12548910 19586084864 886967 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=3547868 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 886967 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=3547868 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 886967 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 886967 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 30.98 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3547868 KiB

[startup+51.114 s]
/proc/loadavg: 4.27 2.72 2.30 9/328 123127
/proc/meminfo: memFree=91059744/131655788 swapFree=131071996/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=5380964 CPUtime=57.58 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 36468 0 0 0 5569 189 0 0 20 0 20 0 12548909 19586084864 1345241 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 1345241 6198 1 0 1886067 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=18340 CPUtime=47.18 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 12484 0 0 0 4570 148 0 0 20 0 20 0 12548910 19586084864 1345241 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 69 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=11564 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 1345241 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=4520696 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 1345241 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0

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

/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=27760 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1575 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=20484 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3190.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282072 KiB

[startup+3222.3 s]
/proc/loadavg: 4.63 4.87 4.87 5/352 125342
/proc/meminfo: memFree=65399168/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282072 CPUtime=3252.2 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 937936 0 0 0 321752 3468 0 0 20 0 20 0 12548909 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070518 6098 1 0 4085332 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=1118514 CPUtime=2978.3 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 586959 0 0 0 294666 3164 0 0 20 0 20 0 12548910 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9424 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=1119364 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=1118461 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1629 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=39520 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070518 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3252.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282072 KiB

[startup+3282.3 s]
/proc/loadavg: 4.59 4.83 4.86 5/343 125352
/proc/meminfo: memFree=62641284/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3316.41 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 971886 0 0 0 328118 3523 0 0 20 0 20 0 12548909 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070528 6098 1 0 4085348 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=3368 CPUtime=3034.51 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 588474 0 0 0 300240 3211 0 0 20 0 20 0 12548910 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9466 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=-8744981577468781244 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=4792 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1635 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=1393864 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3316.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282112 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.76 4.84 5/340 125369
/proc/meminfo: memFree=59731400/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3378.59 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 972660 0 0 0 334271 3588 0 0 20 0 20 0 12548909 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070528 6098 1 0 4085348 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=4844 CPUtime=3090.87 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 588505 0 0 0 305815 3272 0 0 20 0 20 0 12548910 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9503 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=2476732 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=27640 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1635 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=7476 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3378.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.66 4.75 4.83 5/334 125515
/proc/meminfo: memFree=91588684/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3440.24 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 973370 0 0 0 340382 3642 0 0 20 0 20 0 12548909 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070528 6098 1 0 4085348 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=4812 CPUtime=3147.68 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 588583 0 0 0 311445 3323 0 0 20 0 20 0 12548910 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9549 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=2589384 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=2736 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1636 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=4676 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3440.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.97 4.83 4.85 5/334 125528
/proc/meminfo: memFree=90216932/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3502.23 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 974161 0 0 0 346525 3698 0 0 20 0 20 0 12548909 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070528 6098 1 0 4085348 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=1118514 CPUtime=3203.89 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 588665 0 0 0 317013 3376 0 0 20 0 20 0 12548910 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9608 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=1119364 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=2494743 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1636 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=-8887122034071216828 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3502.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.46 4.71 4.80 5/334 125540
/proc/meminfo: memFree=88152676/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3563.96 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 974960 0 0 0 352642 3754 0 0 20 0 20 0 12548909 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070528 6098 1 0 4085348 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=1118514 CPUtime=3260.74 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 588917 0 0 0 322644 3430 0 0 20 0 20 0 12548910 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9646 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=1119364 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=1118487 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1636 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=4864 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3563.96 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559.4 s]
/proc/loadavg: 4.39 4.66 4.78 6/332 125547
/proc/meminfo: memFree=87075912/131655788 swapFree=131069936/131071996
[pid=123020] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3600.02 cores=0,2
/proc/123020/stat : 123020 (java) S 123016 123020 122963 0 -1 1077936128 975892 0 0 0 356229 3773 0 0 20 0 20 0 12548909 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
/proc/123020/statm: 4781759 4070528 6098 1 0 4085348 0
[pid=123020/tid=123030] ppid=123016 vsize=19127036 memory=16282112 CPUtime=3294.82 cores=0,2
/proc/123020/task/123030/stat : 123030 (java) R 123016 123020 122963 0 -1 4194368 589465 0 0 0 326035 3447 0 0 20 0 20 0 12548910 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9834 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123071] ppid=123016 vsize=19127036 memory=11564 CPUtime=0 cores=0,2
/proc/123020/task/123071/stat : 123071 (Finalizer) S 123016 123020 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12548917 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123096] ppid=123016 vsize=19127036 memory=48100 CPUtime=0 cores=0,2
/proc/123020/task/123096/stat : 123096 (Common-Cleaner) S 123016 123020 122963 0 -1 1077936192 1636 0 0 0 0 0 0 0 20 0 20 0 12548918 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
[pid=123020/tid=123106] ppid=123016 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/123020/task/123106/stat : 123106 (Timer-0) S 123016 123020 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12548967 19586084864 4070528 134679101440 94654313426944 94654313430640 140733563377056 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94654313438456 94654313439248 94654335913984 140733563384751 140733563384933 140733563384933 140733563391944 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16282112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3562.69 s, system=37.8561 s

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

[startup+3559.7 s]*
/proc/loadavg: 4.39 4.66 4.78 6/314 125550
/proc/meminfo: memFree=103352676/131655788 swapFree=131069936/131071996
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): 3559.77
CPU time (s): 3600.54
CPU user time (s): 3562.69
CPU system time (s): 37.8561
CPU usage (%): 101.145
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 16282804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.69
system time used= 37.8561
maximum resident set size= 16283996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 978211
page faults= 0
swaps= 0
block input operations= 264
block output operations= 71999104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143876
involuntary context switches= 32890


# summary of solver processes directly reported to runsolver:
#   pid: 123020
#   total CPU time (s): 3600.54
#   total CPU user time (s): 3562.69
#   total CPU system time (s): 37.8561

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6764 second user time and 42.0946 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-23 22:13:11
IDJOB=4440371
IDBENCH=146658
IDSOLVER=3079
FILE ID=nodeC011/4440371-1721765591
RUNJOBID= nodeC011-1721765591-122973
SLURM_JOB_ID= 7770664
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
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 --file-size-limit 102400 -w /tmp/evaluation-result-4440371-1721765591/watcher-4440371-1721765591 -o /tmp/evaluation-result-4440371-1721765591/solver-4440371-1721765591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721765591-122973 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440371-1721765591 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440371-1721765591.opb

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

MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=776217334

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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.334
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
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.330
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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.322
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
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.319
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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.330
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
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.321
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
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.324
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
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.325
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126689368 kB
MemAvailable:   129997084 kB
Buffers:          188492 kB
Cached:          3926640 kB
SwapCached:            0 kB
Active:          1212696 kB
Inactive:        3181720 kB
Active(anon):       1376 kB
Inactive(anon):   323788 kB
Active(file):    1211320 kB
Inactive(file):  2857932 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2136 kB
Writeback:             4 kB
AnonPages:        276780 kB
Mapped:           106944 kB
Shmem:             45888 kB
KReclaimable:     157324 kB
Slab:             255028 kB
SReclaimable:     157324 kB
SUnreclaim:        97704 kB
KernelStack:        3744 kB
PageTables:         9892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     684592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262984 kB
DirectMap2M:    22710272 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-23 23:12:31