Trace number 4498991

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.23 3598.42

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8655.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4498991-1751412304.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.14	c  objective function found
0.51/0.34	c ... done. Wall clock time 0.209s.
0.51/0.34	c declared #vars     8424
0.51/0.34	c #constraints  9186
0.51/0.34	c constraints type 
0.51/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8415
0.51/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
0.51/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
0.51/0.34	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.51/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 97
0.51/0.34	c 9186 constraints processed.
0.51/0.36	c objective function length is 9 literals
3.65/1.91	c cleaning 2492 clauses out of 5000 with flag 22183/5000
5.11/2.97	c cleaning 4250 clauses out of 8510 with flag 47521/11002
6.20/3.99	c cleaning 5622 clauses out of 11258 with flag 81034/18000
7.91/5.44	c cleaning 6812 clauses out of 13636 with flag 118591/26000
9.68/7.11	c cleaning 7894 clauses out of 15824 with flag 153662/35000
11.70/9.18	c cleaning 8952 clauses out of 17931 with flag 186218/45001
13.30/10.73	c cleaning 9978 clauses out of 19979 with flag 226622/56001
15.01/12.45	c cleaning 10987 clauses out of 22002 with flag 272429/68002
17.01/14.42	c cleaning 11976 clauses out of 24014 with flag 311357/81001
19.34/16.89	c cleaning 13001 clauses out of 26038 with flag 362507/95001
21.89/19.31	c cleaning 13987 clauses out of 28036 with flag 416618/110000
25.04/22.33	c cleaning 15011 clauses out of 30052 with flag 469429/126003
27.97/25.23	c cleaning 16010 clauses out of 32040 with flag 506533/143002
31.58/28.80	c cleaning 17004 clauses out of 34028 with flag 546435/161000
35.27/32.56	c cleaning 18003 clauses out of 36025 with flag 587940/180001
39.10/36.34	c cleaning 18995 clauses out of 38023 with flag 638346/200002
42.40/39.61	c cleaning 20003 clauses out of 40026 with flag 694109/221000
45.99/43.28	c cleaning 20998 clauses out of 42023 with flag 785974/243000
50.02/47.32	c cleaning 22002 clauses out of 44027 with flag 890627/266002
54.40/51.78	c cleaning 22998 clauses out of 46023 with flag 998289/290000
59.70/57.07	c cleaning 24005 clauses out of 48027 with flag 1090754/315002
65.16/62.43	c cleaning 25000 clauses out of 50022 with flag 1193694/341002
70.75/68.08	c cleaning 26001 clauses out of 52020 with flag 1322821/368000
76.34/73.63	c cleaning 26995 clauses out of 54019 with flag 1480616/396000
82.07/79.42	c cleaning 28000 clauses out of 56025 with flag 1648517/425001
88.05/85.40	c cleaning 28997 clauses out of 58024 with flag 1815123/455000
94.43/91.84	c cleaning 30009 clauses out of 60027 with flag 1987921/486000
100.97/98.38	c cleaning 31008 clauses out of 62019 with flag 2083710/518001
108.55/105.92	c cleaning 32003 clauses out of 64010 with flag 2154475/551000
115.46/112.87	c cleaning 32992 clauses out of 66007 with flag 2247070/585000
122.75/120.15	c cleaning 33996 clauses out of 68015 with flag 2347538/620000
128.73/126.13	c cleaning 35000 clauses out of 70019 with flag 2494569/656000
135.96/133.27	c cleaning 36005 clauses out of 72020 with flag 2678311/693001
143.36/140.77	c cleaning 36994 clauses out of 74014 with flag 2814078/731000
150.88/148.19	c cleaning 38007 clauses out of 76021 with flag 2943101/770001
158.55/155.56	c cleaning 38994 clauses out of 78013 with flag 3059666/810000
166.32/163.35	c cleaning 40001 clauses out of 80019 with flag 3197867/851000
174.89/172.10	c cleaning 40998 clauses out of 82018 with flag 3339801/893000
183.66/180.80	c cleaning 42003 clauses out of 84020 with flag 3493032/936000
194.18/191.39	c cleaning 43000 clauses out of 86018 with flag 3619097/980001
205.36/202.68	c cleaning 44005 clauses out of 88020 with flag 3755982/1025003
217.13/214.47	c cleaning 44995 clauses out of 90012 with flag 3920825/1071000
229.09/226.48	c cleaning 46001 clauses out of 92018 with flag 4058759/1118001
241.45/238.85	c cleaning 46992 clauses out of 94017 with flag 4206891/1166001
254.42/251.82	c cleaning 48004 clauses out of 96024 with flag 4363073/1215000
268.64/266.17	c cleaning 49000 clauses out of 98020 with flag 4533132/1265000
283.41/280.96	c cleaning 50003 clauses out of 100022 with flag 4721566/1316002
298.30/295.85	c cleaning 51003 clauses out of 102017 with flag 4921856/1368000
309.07/306.69	c cleaning 51997 clauses out of 104014 with flag 5082724/1421000
320.36/317.85	c cleaning 53003 clauses out of 106017 with flag 5252942/1475000
330.34/327.94	c cleaning 53995 clauses out of 108014 with flag 5489555/1530000
342.97/340.42	c cleaning 55006 clauses out of 110020 with flag 5632438/1586001
355.83/353.25	c cleaning 55997 clauses out of 112013 with flag 5770243/1643000
366.61/364.03	c cleaning 56999 clauses out of 114018 with flag 5930089/1701002
377.93/375.23	c cleaning 58001 clauses out of 116019 with flag 6174119/1760002
389.80/387.01	c cleaning 58988 clauses out of 118016 with flag 6372293/1820000
403.24/400.30	c cleaning 59994 clauses out of 120031 with flag 6585126/1881003
419.31/416.51	c cleaning 61002 clauses out of 122034 with flag 6792698/1943000
434.97/432.21	c cleaning 62005 clauses out of 124032 with flag 7009414/2006000
451.20/448.45	c cleaning 62996 clauses out of 126028 with flag 7231063/2070001
468.36/465.63	c cleaning 64001 clauses out of 128032 with flag 7448240/2135001
486.96/484.32	c cleaning 65002 clauses out of 130030 with flag 7661943/2201000
505.49/502.80	c cleaning 65999 clauses out of 132029 with flag 7874353/2268001
520.11/517.59	c cleaning 67002 clauses out of 134031 with flag 8040211/2336002
535.06/532.44	c cleaning 68000 clauses out of 136028 with flag 8257455/2405001
552.04/549.56	c cleaning 69003 clauses out of 138027 with flag 8481415/2475000
570.02/567.44	c cleaning 70002 clauses out of 140025 with flag 8692653/2546001
587.22/584.79	c cleaning 70997 clauses out of 142023 with flag 8927636/2618001
607.23/604.75	c cleaning 72000 clauses out of 144025 with flag 9140780/2691000
626.08/623.61	c cleaning 73001 clauses out of 146026 with flag 9399887/2765001
642.90/640.40	c cleaning 74000 clauses out of 148024 with flag 9652529/2840000
658.67/656.26	c cleaning 75002 clauses out of 150024 with flag 9922553/2916000
673.47/671.02	c cleaning 76003 clauses out of 152023 with flag 10153568/2993001
690.22/687.73	c cleaning 76995 clauses out of 154019 with flag 10342233/3071000
709.01/706.59	c cleaning 77994 clauses out of 156024 with flag 10610636/3150000
729.01/726.61	c cleaning 79001 clauses out of 158031 with flag 10903137/3230001
749.27/746.80	c cleaning 80002 clauses out of 160030 with flag 11200012/3311001
772.39/769.99	c cleaning 80997 clauses out of 162027 with flag 11451193/3393000
794.50/792.16	c cleaning 82001 clauses out of 164031 with flag 11727440/3476001
817.07/814.71	c cleaning 82999 clauses out of 166029 with flag 11995262/3560000
834.01/831.61	c cleaning 84000 clauses out of 168031 with flag 12234980/3645001
854.10/851.72	c cleaning 85008 clauses out of 170032 with flag 12492367/3731002
872.59/870.19	c cleaning 86000 clauses out of 172022 with flag 12764624/3818000
890.79/888.09	c cleaning 87003 clauses out of 174022 with flag 13019191/3906000
909.44/906.50	c cleaning 88004 clauses out of 176019 with flag 13294200/3995000
929.70/926.84	c cleaning 89001 clauses out of 178015 with flag 13501876/4085000
952.61/949.76	c cleaning 89995 clauses out of 180015 with flag 13840458/4176001
971.08/968.24	c cleaning 91002 clauses out of 182019 with flag 14169263/4268000
994.11/991.21	c cleaning 92001 clauses out of 184018 with flag 14483072/4361001
1019.21/1016.36	c cleaning 93000 clauses out of 186017 with flag 14810400/4455001
1043.90/1041.15	c cleaning 93993 clauses out of 188017 with flag 15118035/4550001
1069.70/1066.92	c cleaning 95000 clauses out of 190024 with flag 15436037/4646001
1096.99/1094.35	c cleaning 95996 clauses out of 192023 with flag 15768152/4743000
1123.05/1120.38	c cleaning 97010 clauses out of 194028 with flag 16174896/4841001
1151.03/1148.39	c cleaning 97999 clauses out of 196018 with flag 16714059/4940001
1179.22/1176.64	c cleaning 99005 clauses out of 198018 with flag 17109184/5040000
1208.63/1206.10	c cleaning 100001 clauses out of 200013 with flag 17524263/5141000
1239.43/1236.85	c cleaning 101002 clauses out of 202013 with flag 17948381/5243001
1267.03/1264.48	c cleaning 101992 clauses out of 204010 with flag 18313849/5346000
1294.09/1291.56	c cleaning 102998 clauses out of 206018 with flag 18667894/5450000
1320.99/1318.44	c cleaning 103999 clauses out of 208020 with flag 19040108/5555000
1350.79/1348.34	c cleaning 104996 clauses out of 210021 with flag 19374605/5661000
1381.30/1378.83	c cleaning 106006 clauses out of 212025 with flag 19772523/5768000
1408.12/1405.66	c cleaning 107000 clauses out of 214019 with flag 20019478/5876000
1433.27/1430.71	c cleaning 107992 clauses out of 216022 with flag 20288965/5985003
1459.24/1456.67	c cleaning 109000 clauses out of 218027 with flag 20688843/6095000
1487.77/1485.16	c cleaning 109987 clauses out of 220027 with flag 21019467/6206000
1516.79/1514.14	c cleaning 110998 clauses out of 222040 with flag 21344658/6318000
1554.66/1552.10	c cleaning 112006 clauses out of 224042 with flag 21689201/6431000
1588.56/1586.05	c cleaning 113006 clauses out of 226040 with flag 22059743/6545004
1627.83/1625.35	c cleaning 113997 clauses out of 228032 with flag 22419762/6660002
1654.65/1652.17	c cleaning 114998 clauses out of 230033 with flag 22792912/6776000
1679.66/1677.06	c cleaning 116008 clauses out of 232035 with flag 23130004/6893000
1714.27/1711.65	c cleaning 117000 clauses out of 234027 with flag 23499571/7011000
1739.66/1737.07	c cleaning 118008 clauses out of 236028 with flag 23870201/7130001
1773.13/1770.42	c cleaning 118995 clauses out of 238021 with flag 24233580/7250002
1802.94/1800.23	c cleaning 120008 clauses out of 240026 with flag 24680755/7371002
1831.30/1828.63	c cleaning 120982 clauses out of 242017 with flag 25063893/7493001
1866.80/1864.13	c cleaning 121997 clauses out of 244035 with flag 25474652/7616001
1902.21/1899.31	c cleaning 122994 clauses out of 246037 with flag 25892938/7740000
1938.23/1935.44	c cleaning 123996 clauses out of 248044 with flag 26352093/7865001
1967.04/1964.15	c cleaning 125010 clauses out of 250047 with flag 26850471/7991000
1997.53/1994.61	c cleaning 126008 clauses out of 252038 with flag 27215063/8118001
2024.99/2021.98	c cleaning 127007 clauses out of 254030 with flag 27761543/8246001
2055.01/2051.91	c cleaning 128000 clauses out of 256023 with flag 28119584/8375001
2088.69/2085.69	c cleaning 129004 clauses out of 258022 with flag 28512089/8505000
2118.68/2115.65	c cleaning 130000 clauses out of 260018 with flag 28866341/8636000
2156.76/2153.73	c cleaning 130999 clauses out of 262019 with flag 29539114/8768001
2186.28/2183.28	c cleaning 131964 clauses out of 264020 with flag 30014758/8901001
2219.27/2216.22	c cleaning 133021 clauses out of 266057 with flag 30469364/9035002
2255.61/2252.64	c cleaning 134007 clauses out of 268034 with flag 30937971/9170000
2297.31/2294.39	c cleaning 135004 clauses out of 270027 with flag 31376500/9306000
2328.92/2325.99	c cleaning 136004 clauses out of 272025 with flag 31786625/9443002
2367.42/2364.49	c cleaning 136998 clauses out of 274019 with flag 32245397/9581000
2402.82/2399.86	c cleaning 137998 clauses out of 276021 with flag 32740227/9720000
2441.80/2438.96	c cleaning 139002 clauses out of 278024 with flag 33181533/9860001
2477.86/2475.08	c cleaning 140002 clauses out of 280021 with flag 33631448/10001000
2515.95/2513.14	c cleaning 140995 clauses out of 282020 with flag 34153856/10143001
2560.13/2557.30	c cleaning 142003 clauses out of 284025 with flag 34641430/10286001
2603.47/2600.77	c cleaning 143007 clauses out of 286021 with flag 35108381/10430000
2645.45/2642.79	c cleaning 144000 clauses out of 288014 with flag 35566540/10575000
2690.02/2687.46	c cleaning 145000 clauses out of 290015 with flag 36048751/10721001
2734.35/2731.83	c cleaning 146000 clauses out of 292014 with flag 36525116/10868000
2778.16/2775.76	c cleaning 147001 clauses out of 294014 with flag 37000032/11016000
2824.02/2821.63	c cleaning 148002 clauses out of 296014 with flag 37468851/11165001
2871.26/2868.92	c cleaning 148992 clauses out of 298011 with flag 37950329/11315000
2918.61/2916.36	c cleaning 150002 clauses out of 300020 with flag 38437707/11466001
2970.24/2968.10	c cleaning 151002 clauses out of 302019 with flag 38925560/11618002
3009.11/3006.97	c cleaning 151988 clauses out of 304018 with flag 39442810/11771003
3048.56/3046.40	c cleaning 153006 clauses out of 306027 with flag 39936744/11925000
3088.37/3086.22	c cleaning 154001 clauses out of 308021 with flag 40610403/12080000
3130.53/3128.39	c cleaning 154997 clauses out of 310020 with flag 41324402/12236000
3170.38/3168.27	c cleaning 155999 clauses out of 312024 with flag 41865224/12393001
3204.95/3202.77	c cleaning 157002 clauses out of 314024 with flag 42474334/12551000
3244.16/3241.65	c cleaning 158002 clauses out of 316022 with flag 43004368/12710000
3279.90/3277.38	c cleaning 158995 clauses out of 318021 with flag 43472732/12870001
3319.43/3316.97	c cleaning 159994 clauses out of 320025 with flag 43956011/13031000
3367.89/3365.52	c cleaning 161001 clauses out of 322032 with flag 44530841/13193001
3421.39/3419.14	c cleaning 162001 clauses out of 324030 with flag 45109494/13356000
3473.35/3471.19	c cleaning 162993 clauses out of 326029 with flag 45625396/13520000
3526.45/3524.39	c cleaning 164000 clauses out of 328037 with flag 46187864/13685001
3573.53/3571.80	c cleaning 165008 clauses out of 330037 with flag 46781273/13851001
3600.07/3598.31	c timeout
3600.07/3598.31	c starts		: 8276
3600.07/3598.32	c conflicts		: 13959786
3600.07/3598.32	c decisions		: 24477309
3600.07/3598.32	c propagations		: 9534896950
3600.07/3598.32	c inspects		: 22882841229
3600.07/3598.32	c shortcuts		: 0
3600.07/3598.32	c learnt literals	: 0
3600.07/3598.32	c learnt binary clauses	: 0
3600.07/3598.32	c learnt ternary clauses	: 0
3600.07/3598.32	c learnt constraints	: 13959786
3600.07/3598.32	c ignored constraints	: 0
3600.07/3598.32	c root simplifications	: 0
3600.07/3598.32	c removed literals (reason simplification)	: 5369212
3600.07/3598.32	c reason swapping (by a shorter reason)	: 0
3600.07/3598.32	c Calls to reduceDB	: 162
3600.07/3598.32	c Number of update (reduction) of LBD	: 2748294
3600.07/3598.32	c Imported unit clauses	: 0
3600.07/3598.32	c No decision after first conflict	: false
3600.07/3598.32	c number of reductions to clauses (during analyze)	: 0
3600.07/3598.33	c number of learned constraints concerned by reduction	: 0
3600.07/3598.33	c number of learning phase by resolution	: 0
3600.07/3598.33	c number of learning phase by cutting planes	: 0
3600.07/3598.33	c number of rounding to 1 operations	: 0
3600.07/3598.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3598.33	c number of reductions of the coefficients by power 2 	: 0
3600.07/3598.33	c number of right shift for reduction by power 2 	: 0
3600.07/3598.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3598.33	c number of ending skipping 	: 0
3600.07/3598.33	c number of internal skipping 	: 0
3600.07/3598.33	c number of derivation steps 	: 0
3600.07/3598.33	c number of skipped derivation steps 	: 0
3600.07/3598.33	c number of remaining unassigned 	: 0
3600.07/3598.33	c number of remaining assigned 	: 0
3600.07/3598.33	c number of falsified literals weakened from reason	: 0
3600.07/3598.33	c number of falsified literals weakened from conflict	: 0
3600.07/3598.33	c time for arithmetic operations	: 0
3600.07/3598.33	c minimum degree of deleted constraints	: null
3600.07/3598.33	c maximum degree of deleted constraints	: null
3600.07/3598.33	c number of deleted constraints	: 0
3600.07/3598.33	c speed (assignments/second)	: 2650092.302586835
3600.07/3598.33	c non guided choices	: 491730
3600.07/3598.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 273814
3600.07/3598.39	s UNKNOWN
3600.07/3598.39	c Total wall clock time (in seconds): 3598.255

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (51439 MiB free)
  memory of node 1: 64465 MiB (62058 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 4.40 4.21 4.13 5/342 59168
/proc/meminfo: memFree=116198452/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=18930384 memory=57704 CPUtime=0.13 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 6565 0 0 0 11 2 0 0 20 0 18 0 56907970 19384713216 14426 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4732596 14426 5332 1 0 547627 0
[pid=59150/tid=59152] ppid=59147 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 5058 0 0 0 6 1 0 0 20 0 18 0 56907972 19384713216 14426 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56907974 19384713216 14426 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56907974 19384713216 14426 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57704 KiB

[startup+0.206143 s]*
/proc/loadavg: 4.40 4.21 4.13 7/342 59168
/proc/meminfo: memFree=116190260/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=18930384 memory=66164 CPUtime=0.32 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 7042 0 0 0 30 2 0 0 20 0 18 0 56907970 19384713216 16541 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4732596 16541 5428 1 0 547932 0
[pid=59150/tid=59152] ppid=59147 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 5277 0 0 0 15 2 0 0 20 0 18 0 56907972 19384713216 16541 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=18930384 memory=17146 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56907974 19384713216 16541 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=18930384 memory=54087446168546 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56907974 19384713216 16541 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66164 KiB

[startup+0.305946 s]*
/proc/loadavg: 4.40 4.21 4.13 6/342 59168
/proc/meminfo: memFree=116148860/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=18930384 memory=111252 CPUtime=0.51 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 8538 0 0 0 47 4 0 0 20 0 18 0 56907970 19384713216 27813 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4732596 27813 5428 1 0 548924 0
[pid=59150/tid=59152] ppid=59147 vsize=18930384 memory=-6000919477018518378 CPUtime=0.26 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 5312 0 0 0 24 2 0 0 20 0 18 0 56907972 19384713216 27813 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56907974 19384713216 27813 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56907974 19384713216 27813 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 111252 KiB

[startup+0.70023 s]
/proc/loadavg: 4.40 4.21 4.13 6/343 59169
/proc/meminfo: memFree=116117164/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=167756 CPUtime=1.26 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 11394 0 0 0 120 6 0 0 20 0 20 0 56907970 19521036288 41939 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 41939 5524 1 0 551466 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=18432 CPUtime=0.57 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 5468 0 0 0 53 4 0 0 20 0 20 0 56907972 19521036288 41939 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 41939 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 41939 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 41939 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167756 KiB

[startup+1.50023 s]
/proc/loadavg: 4.40 4.21 4.13 6/344 59170
/proc/meminfo: memFree=116085092/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=180728 CPUtime=2.85 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 16954 0 0 0 277 8 0 0 20 0 20 0 56907970 19521036288 45182 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 45182 5524 1 0 552433 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=0 CPUtime=1.32 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 5809 0 0 0 128 4 0 0 20 0 20 0 56907972 19521036288 45182 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 45182 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 45182 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 45182 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180728 KiB

[startup+3.10575 s]
/proc/loadavg: 4.40 4.21 4.13 7/344 59170
/proc/meminfo: memFree=115940688/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=302676 CPUtime=5.4 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 20007 0 0 0 528 12 0 0 20 0 20 0 56907970 19521036288 75669 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 75669 5524 1 0 552494 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=10752 CPUtime=2.82 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 6834 0 0 0 275 7 0 0 20 0 20 0 56907972 19521036288 75669 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=-6000919477018518378 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 75669 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 75669 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 75669 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 302676 KiB

[startup+6.3002 s]
/proc/loadavg: 4.61 4.25 4.14 5/344 59170
/proc/meminfo: memFree=115274128/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=599596 CPUtime=8.81 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 21243 0 0 0 861 20 0 0 20 0 20 0 56907970 19521036288 149899 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 149899 5556 1 0 659007 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=0 CPUtime=5.95 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 6976 0 0 0 581 14 0 0 20 0 20 0 56907972 19521036288 149899 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 149899 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 149899 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=180856 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 149899 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 8.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 599596 KiB

[startup+12.7002 s]
/proc/loadavg: 4.72 4.28 4.15 6/345 59171
/proc/meminfo: memFree=113439520/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=902884 CPUtime=15.32 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 23443 0 0 0 1501 31 0 0 20 0 20 0 56907970 19521036288 225721 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 225721 5556 1 0 659017 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=180856 CPUtime=12.22 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 8124 0 0 0 1199 23 0 0 20 0 20 0 56907972 19521036288 225721 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=902884 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 225721 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 225721 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 225721 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 15.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 902884 KiB

[startup+25.5002 s]
/proc/loadavg: 4.64 4.29 4.15 5/345 59171
/proc/meminfo: memFree=106617660/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=1843296 CPUtime=28.29 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 28473 0 0 0 2771 58 0 0 20 0 20 0 56907970 19521036288 460824 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 460824 5556 1 0 659038 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=-6000919477018518378 CPUtime=24.68 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 9690 0 0 0 2423 45 0 0 20 0 20 0 56907972 19521036288 460824 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=1843296 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 460824 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 460824 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 460824 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 28.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1843296 KiB

[startup+51.1058 s]
/proc/loadavg: 4.56 4.30 4.16 5/347 59173
/proc/meminfo: memFree=99948804/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3060860 CPUtime=53.81 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 30597 0 0 0 5294 87 0 0 20 0 20 0 56907970 19521036288 765215 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 765215 5556 1 0 982819 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=2937828 CPUtime=49.95 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 10843 0 0 0 4923 72 0 0 20 0 20 0 56907972 19521036288 765215 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=14848 CPUtime=0 cores=1,3

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

/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970334 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=3881336 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2049 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970334 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881336 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970334 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3224.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/344 59355
/proc/meminfo: memFree=54517672/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3284.89 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 135928 0 0 0 327731 758 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985019 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=14848 CPUtime=3255.29 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 68661 0 0 0 324853 676 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3881720 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2078 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881720 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3284.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/343 59357
/proc/meminfo: memFree=54318468/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3344.8 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 137503 0 0 0 333712 768 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985021 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=164 CPUtime=3314.79 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 69294 0 0 0 330793 686 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2191 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3344.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/344 59361
/proc/meminfo: memFree=54228596/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3404.66 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 137726 0 0 0 339689 777 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985021 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3374.42 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 69461 0 0 0 336748 694 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2191 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3404.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/344 59363
/proc/meminfo: memFree=54137732/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3464.57 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 139250 0 0 0 345672 785 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985021 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3434.06 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 70652 0 0 0 342705 701 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2192 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=-6000919477018518378 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3464.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/323 59383
/proc/meminfo: memFree=68243328/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3524.46 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 141528 0 0 0 351654 792 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985021 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3493.73 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 72116 0 0 0 348666 707 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=9216 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2248 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3524.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB

[startup+3582.3 s]
/proc/loadavg: 3.05 3.83 4.04 3/272 59447
/proc/meminfo: memFree=117806988/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3584 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 142548 0 0 0 357595 805 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985021 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3552.75 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 72498 0 0 0 354555 720 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2304 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3584 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.3 s]
/proc/loadavg: 2.59 3.69 3.99 2/269 59475
/proc/meminfo: memFree=119269960/131249988 swapFree=33010672/33010684
[pid=59150] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3600.07 cores=1,3
/proc/59150/stat : 59150 (java) S 59147 59150 57968 0 -1 4194304 142763 0 0 0 359199 808 0 0 20 0 20 0 56907970 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
/proc/59150/statm: 4765878 970462 5556 1 0 985021 0
[pid=59150/tid=59152] ppid=59147 vsize=19063512 memory=3881848 CPUtime=3568.55 cores=1,3
/proc/59150/task/59152/stat : 59152 (java) R 59147 59150 57968 0 -1 4194368 72611 0 0 0 356133 722 0 0 20 0 20 0 56907972 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59161] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59161/stat : 59161 (Finalizer) S 59147 59150 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59168] ppid=59147 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/59150/task/59168/stat : 59168 (Common-Cleaner) S 59147 59150 57968 0 -1 4194368 2304 0 0 0 0 0 0 0 20 0 20 0 56907974 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
[pid=59150/tid=59169] ppid=59147 vsize=19063512 memory=3881848 CPUtime=0 cores=1,3
/proc/59150/task/59169/stat : 59169 (Timer-0) S 59147 59150 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56908008 19521036288 970462 18446744073709551615 94369920835584 94369920839280 140735771188544 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94369920847096 94369920847888 94369940148224 140735771195696 140735771195878 140735771195878 140735771201480 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.12 s, system=8.11341 s

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

[startup+3598.4 s]*
/proc/loadavg: 2.59 3.69 3.99 2/251 59478
/proc/meminfo: memFree=119312884/131249988 swapFree=33010672/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): 3598.42
CPU time (s): 3600.23
CPU user time (s): 3592.12
CPU system time (s): 8.11341
CPU usage (%): 100.05
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3881848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.12
system time used= 8.11341
maximum resident set size= 3882872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13457016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115565
involuntary context switches= 11294


# summary of solver processes directly reported to runsolver:
#   pid: 59150
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3592.12
#   total CPU system time (s): 8.11341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45608 second user time and 16.795 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-02 01:25:04
IDJOB=4498991
IDBENCH=148768
IDSOLVER=3364
FILE ID=nodeC020/4498991-1751412304
RUNJOBID= nodeC020-1751405064-57980
SLURM_JOB_ID= 9598292
Free space on /tmp= 432528 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498991-1751412304/watcher-4498991-1751412304 -o /tmp/evaluation-result-4498991-1751412304/solver-4498991-1751412304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4498991-1751412304 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4498991-1751412304.opb

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=965208710

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.281
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.280
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.882
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.096
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.224
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.859
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3558.516
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.996
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        116222756 kB
MemAvailable:   116429856 kB
Buffers:            2128 kB
Cached:          1011304 kB
SwapCached:            8 kB
Active:         13842544 kB
Inactive:         574132 kB
Active(anon):   13398796 kB
Inactive(anon):    22512 kB
Active(file):     443748 kB
Inactive(file):   551620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            294384 kB
Writeback:             8 kB
AnonPages:      13405724 kB
Mapped:           123956 kB
Shmem:             18048 kB
KReclaimable:     101944 kB
Slab:             194224 kB
SReclaimable:     101944 kB
SUnreclaim:        92280 kB
KernelStack:        5280 kB
PageTables:        29952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   31982212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13205504 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432716 MiB
End job on nodeC020 at 2025-07-02 02:25:03