Trace number 4440441

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-07? (TO) 3600.57 3628.41

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 benchmark1518.19
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.15/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.15/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.15/0.29	c See www.sat4j.org for details.
0.15/0.31	c version CUSTOM.v20240707
0.27/0.34	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.34	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.34	c java.vm.version	22.0.1+8-16
0.27/0.34	c java.vm.vendor	Oracle Corporation
0.27/0.34	c sun.arch.data.model	64
0.27/0.34	c java.version		22.0.1
0.27/0.34	c os.name		Linux
0.27/0.34	c os.version		4.18.0-301.1.el8.x86_64
0.27/0.34	c os.arch		amd64
0.27/0.35	c Free memory 		2113181440
0.27/0.35	c Max memory 		16282288128
0.27/0.35	c Total memory 		2122317824
0.27/0.36	c Number of processors 	2
0.44/0.46	--- Begin Solver configuration ---
0.44/0.46	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.46	Learn all clauses as in MiniSAT
0.44/0.46	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.46	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.46	Expensive reason simplification
0.44/0.46	Glucose 2.1 dynamic restart strategy
0.44/0.46	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.44/0.46	timeout=2147483s
0.44/0.46	DB Simplification allowed=false
0.44/0.46	Listener: none
0.44/0.46	--- End Solver configuration ---
0.44/0.47	c Pseudo Boolean Optimization by upper bound
0.44/0.47	c --- Begin Solver configuration ---
0.44/0.47	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.44/0.47	c Learn all clauses as in MiniSAT
0.44/0.47	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.47	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.47	c Expensive reason simplification
0.44/0.47	c Glucose 2.1 dynamic restart strategy
0.44/0.47	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.44/0.47	c timeout=2147483s
0.44/0.47	c DB Simplification allowed=false
0.44/0.47	c Listener: none
0.44/0.47	c --- End Solver configuration ---
0.44/0.47	c solving HOME/instance-4440441-1721820325.opb
0.44/0.47	c reading problem ... 
0.44/0.48	c using VERIPB proof format
0.44/0.48	c  objective function found
1.35/0.92	c ... done. Wall clock time 0.445s.
1.35/0.92	c declared #vars     8424
1.35/0.92	c #constraints  9186
1.35/0.92	c constraints type 
1.35/0.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8415
1.35/0.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
1.35/0.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
1.35/0.93	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.35/0.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 97
1.35/0.93	c 9186 constraints processed.
1.35/0.95	c objective function length is 9 literals
5.47/3.03	c cleaning 2492 clauses out of 5000 with flag 22183/5000
6.88/4.05	c cleaning 4250 clauses out of 8510 with flag 47521/11002
8.02/5.17	c cleaning 5622 clauses out of 11258 with flag 81034/18000
10.08/6.77	c cleaning 6812 clauses out of 13636 with flag 118591/26000
12.29/8.53	c cleaning 7894 clauses out of 15824 with flag 153662/35000
14.84/10.65	c cleaning 8952 clauses out of 17931 with flag 186218/45001
17.17/12.98	c cleaning 9978 clauses out of 19979 with flag 226622/56001
19.01/14.76	c cleaning 10987 clauses out of 22002 with flag 272429/68002
20.98/16.69	c cleaning 11976 clauses out of 24014 with flag 311357/81001
23.37/18.91	c cleaning 13001 clauses out of 26038 with flag 362507/95001
25.57/21.13	c cleaning 13987 clauses out of 28036 with flag 416618/110000
28.67/24.08	c cleaning 15011 clauses out of 30052 with flag 469429/126003
32.52/27.68	c cleaning 16010 clauses out of 32040 with flag 506533/143002
36.07/31.06	c cleaning 17004 clauses out of 34028 with flag 546435/161000
40.66/36.49	c cleaning 18003 clauses out of 36025 with flag 587940/180001
44.26/40.02	c cleaning 18995 clauses out of 38023 with flag 638346/200002
47.36/43.15	c cleaning 20003 clauses out of 40026 with flag 694109/221000
50.84/46.69	c cleaning 20998 clauses out of 42023 with flag 785974/243000
55.56/51.35	c cleaning 22002 clauses out of 44027 with flag 890627/266002
59.82/55.68	c cleaning 22998 clauses out of 46023 with flag 998289/290000
64.88/60.78	c cleaning 24005 clauses out of 48027 with flag 1090754/315002
71.05/67.17	c cleaning 25000 clauses out of 50022 with flag 1193694/341002
76.42/72.57	c cleaning 26001 clauses out of 52020 with flag 1322821/368000
81.71/77.86	c cleaning 26995 clauses out of 54019 with flag 1480616/396000
87.10/83.26	c cleaning 28000 clauses out of 56025 with flag 1648517/425001
93.03/89.19	c cleaning 28997 clauses out of 58024 with flag 1815123/455000
99.37/95.79	c cleaning 30009 clauses out of 60027 with flag 1987921/486000
106.00/102.30	c cleaning 31008 clauses out of 62019 with flag 2083710/518001
113.38/109.71	c cleaning 32003 clauses out of 64010 with flag 2154475/551000
120.62/116.73	c cleaning 32992 clauses out of 66007 with flag 2247070/585000
128.02/124.12	c cleaning 33996 clauses out of 68015 with flag 2347538/620000
134.12/130.47	c cleaning 35000 clauses out of 70019 with flag 2494569/656000
141.31/137.55	c cleaning 36005 clauses out of 72020 with flag 2678311/693001
148.59/144.85	c cleaning 36994 clauses out of 74014 with flag 2814078/731000
156.40/152.34	c cleaning 38007 clauses out of 76021 with flag 2943101/770001
163.32/159.59	c cleaning 38994 clauses out of 78013 with flag 3059666/810000
171.09/167.24	c cleaning 40001 clauses out of 80019 with flag 3197867/851000
179.27/175.46	c cleaning 40998 clauses out of 82018 with flag 3339801/893000
187.66/183.87	c cleaning 42003 clauses out of 84020 with flag 3493032/936000
198.30/194.60	c cleaning 43000 clauses out of 86018 with flag 3619097/980001
209.28/205.66	c cleaning 44005 clauses out of 88020 with flag 3755982/1025003
220.95/217.32	c cleaning 44995 clauses out of 90012 with flag 3920825/1071000
233.97/231.36	c cleaning 46001 clauses out of 92018 with flag 4058759/1118001
246.15/243.51	c cleaning 46992 clauses out of 94017 with flag 4206891/1166001
259.43/257.48	c cleaning 48004 clauses out of 96024 with flag 4363073/1215000
274.02/272.04	c cleaning 49000 clauses out of 98020 with flag 4533132/1265000
289.47/288.12	c cleaning 50003 clauses out of 100022 with flag 4721566/1316002
304.44/303.11	c cleaning 51003 clauses out of 102017 with flag 4921856/1368000
315.42/314.07	c cleaning 51997 clauses out of 104014 with flag 5082724/1421000
327.75/326.87	c cleaning 53003 clauses out of 106017 with flag 5252942/1475000
338.02/336.92	c cleaning 53995 clauses out of 108014 with flag 5489555/1530000
351.33/350.89	c cleaning 55006 clauses out of 110020 with flag 5632438/1586001
363.89/363.28	c cleaning 55997 clauses out of 112013 with flag 5770243/1643000
374.36/373.71	c cleaning 56999 clauses out of 114018 with flag 5930089/1701002
386.83/386.53	c cleaning 58001 clauses out of 116019 with flag 6174119/1760002
398.95/398.25	c cleaning 58988 clauses out of 118016 with flag 6372293/1820000
411.83/411.57	c cleaning 59994 clauses out of 120031 with flag 6585126/1881003
427.80/427.58	c cleaning 61002 clauses out of 122034 with flag 6792698/1943000
443.46/443.54	c cleaning 62005 clauses out of 124032 with flag 7009414/2006000
459.63/459.70	c cleaning 62996 clauses out of 126028 with flag 7231063/2070001
476.92/477.25	c cleaning 64001 clauses out of 128032 with flag 7448240/2135001
495.58/495.97	c cleaning 65002 clauses out of 130030 with flag 7661943/2201000
516.11/528.01	c cleaning 65999 clauses out of 132029 with flag 7874353/2268001
530.46/542.57	c cleaning 67002 clauses out of 134031 with flag 8040211/2336002
546.13/559.59	c cleaning 68000 clauses out of 136028 with flag 8257455/2405001
563.61/577.03	c cleaning 69003 clauses out of 138027 with flag 8481415/2475000
582.92/600.16	c cleaning 70002 clauses out of 140025 with flag 8692653/2546001
600.24/617.68	c cleaning 70997 clauses out of 142023 with flag 8927636/2618001
620.62/638.01	c cleaning 72000 clauses out of 144025 with flag 9140780/2691000
639.50/656.95	c cleaning 73001 clauses out of 146026 with flag 9399887/2765001
657.12/675.24	c cleaning 74000 clauses out of 148024 with flag 9652529/2840000
673.00/691.11	c cleaning 75002 clauses out of 150024 with flag 9922553/2916000
688.81/707.56	c cleaning 76003 clauses out of 152023 with flag 10153568/2993001
705.18/723.96	c cleaning 76995 clauses out of 154019 with flag 10342233/3071000
725.04/744.76	c cleaning 77994 clauses out of 156024 with flag 10610636/3150000
745.41/765.14	c cleaning 79001 clauses out of 158031 with flag 10903137/3230001
766.03/785.78	c cleaning 80002 clauses out of 160030 with flag 11200012/3311001
789.77/809.40	c cleaning 80997 clauses out of 162027 with flag 11451193/3393000
812.14/831.96	c cleaning 82001 clauses out of 164031 with flag 11727440/3476001
834.98/854.80	c cleaning 82999 clauses out of 166029 with flag 11995262/3560000
851.95/871.83	c cleaning 84000 clauses out of 168031 with flag 12234980/3645001
871.22/891.14	c cleaning 85008 clauses out of 170032 with flag 12492367/3731002
890.03/909.84	c cleaning 86000 clauses out of 172022 with flag 12764624/3818000
907.82/927.71	c cleaning 87003 clauses out of 174022 with flag 13019191/3906000
926.30/945.84	c cleaning 88004 clauses out of 176019 with flag 13294200/3995000
946.63/966.33	c cleaning 89001 clauses out of 178015 with flag 13501876/4085000
970.45/990.25	c cleaning 89995 clauses out of 180015 with flag 13840458/4176001
988.71/1008.52	c cleaning 91002 clauses out of 182019 with flag 14169263/4268000
1011.84/1031.87	c cleaning 92001 clauses out of 184018 with flag 14483072/4361001
1038.32/1059.75	c cleaning 93000 clauses out of 186017 with flag 14810400/4455001
1063.99/1085.59	c cleaning 93993 clauses out of 188017 with flag 15118035/4550001
1090.79/1112.31	c cleaning 95000 clauses out of 190024 with flag 15436037/4646001
1119.24/1140.81	c cleaning 95996 clauses out of 192023 with flag 15768152/4743000
1146.08/1167.15	c cleaning 97010 clauses out of 194028 with flag 16174896/4841001
1174.72/1195.90	c cleaning 97999 clauses out of 196018 with flag 16714059/4940001
1203.74/1225.06	c cleaning 99005 clauses out of 198018 with flag 17109184/5040000
1234.65/1256.13	c cleaning 100001 clauses out of 200013 with flag 17524263/5141000
1267.18/1288.72	c cleaning 101002 clauses out of 202013 with flag 17948381/5243001
1295.92/1317.53	c cleaning 101992 clauses out of 204010 with flag 18313849/5346000
1324.09/1345.77	c cleaning 102998 clauses out of 206018 with flag 18667894/5450000
1352.74/1375.19	c cleaning 103999 clauses out of 208020 with flag 19040108/5555000
1385.21/1408.36	c cleaning 104996 clauses out of 210021 with flag 19374605/5661000
1417.66/1441.99	c cleaning 106006 clauses out of 212025 with flag 19772523/5768000
1445.59/1471.13	c cleaning 107000 clauses out of 214019 with flag 20019478/5876000
1470.65/1496.21	c cleaning 107992 clauses out of 216022 with flag 20288965/5985003
1497.48/1522.88	c cleaning 109000 clauses out of 218027 with flag 20688843/6095000
1526.58/1552.03	c cleaning 109987 clauses out of 220027 with flag 21019467/6206000
1556.12/1581.56	c cleaning 110998 clauses out of 222040 with flag 21344658/6318000
1595.91/1621.37	c cleaning 112006 clauses out of 224042 with flag 21689201/6431000
1631.11/1656.63	c cleaning 113006 clauses out of 226040 with flag 22059743/6545004
1672.41/1697.97	c cleaning 113997 clauses out of 228032 with flag 22419762/6660002
1699.50/1724.90	c cleaning 114998 clauses out of 230033 with flag 22792912/6776000
1724.46/1749.77	c cleaning 116008 clauses out of 232035 with flag 23130004/6893000
1761.43/1786.88	c cleaning 117000 clauses out of 234027 with flag 23499571/7011000
1787.02/1812.40	c cleaning 118008 clauses out of 236028 with flag 23870201/7130001
1820.28/1845.73	c cleaning 118995 clauses out of 238021 with flag 24233580/7250002
1852.43/1877.91	c cleaning 120008 clauses out of 240026 with flag 24680755/7371002
1881.12/1906.55	c cleaning 120982 clauses out of 242017 with flag 25063893/7493001
1918.50/1943.91	c cleaning 121997 clauses out of 244035 with flag 25474652/7616001
1954.61/1980.15	c cleaning 122994 clauses out of 246037 with flag 25892938/7740000
1992.14/2017.75	c cleaning 123996 clauses out of 248044 with flag 26352093/7865001
2021.49/2046.89	c cleaning 125010 clauses out of 250047 with flag 26850471/7991000
2052.83/2078.04	c cleaning 126008 clauses out of 252038 with flag 27215063/8118001
2080.86/2106.22	c cleaning 127007 clauses out of 254030 with flag 27761543/8246001
2110.78/2136.27	c cleaning 128000 clauses out of 256023 with flag 28119584/8375001
2145.16/2170.64	c cleaning 129004 clauses out of 258022 with flag 28512089/8505000
2175.75/2201.20	c cleaning 130000 clauses out of 260018 with flag 28866341/8636000
2216.56/2242.01	c cleaning 130999 clauses out of 262019 with flag 29539114/8768001
2246.11/2271.83	c cleaning 131964 clauses out of 264020 with flag 30014758/8901001
2280.25/2306.02	c cleaning 133021 clauses out of 266057 with flag 30469364/9035002
2317.80/2343.62	c cleaning 134007 clauses out of 268034 with flag 30937971/9170000
2362.12/2388.12	c cleaning 135004 clauses out of 270027 with flag 31376500/9306000
2393.90/2420.07	c cleaning 136004 clauses out of 272025 with flag 31786625/9443002
2434.33/2460.58	c cleaning 136998 clauses out of 274019 with flag 32245397/9581000
2470.95/2497.18	c cleaning 137998 clauses out of 276021 with flag 32740227/9720000
2511.78/2538.01	c cleaning 139002 clauses out of 278024 with flag 33181533/9860001
2549.35/2575.63	c cleaning 140002 clauses out of 280021 with flag 33631448/10001000
2588.77/2615.29	c cleaning 140995 clauses out of 282020 with flag 34153856/10143001
2635.76/2662.32	c cleaning 142003 clauses out of 284025 with flag 34641430/10286001
2682.25/2708.89	c cleaning 143007 clauses out of 286021 with flag 35108381/10430000
2726.18/2752.86	c cleaning 144000 clauses out of 288014 with flag 35566540/10575000
2772.99/2799.86	c cleaning 145000 clauses out of 290015 with flag 36048751/10721001
2820.01/2847.09	c cleaning 146000 clauses out of 292014 with flag 36525116/10868000
2866.92/2894.28	c cleaning 147001 clauses out of 294014 with flag 37000032/11016000
2915.97/2943.49	c cleaning 148002 clauses out of 296014 with flag 37468851/11165001
2967.87/2994.70	c cleaning 148992 clauses out of 298011 with flag 37950329/11315000
3018.71/3046.10	c cleaning 150002 clauses out of 300020 with flag 38437707/11466001
3074.87/3102.38	c cleaning 151002 clauses out of 302019 with flag 38925560/11618002
3114.80/3142.28	c cleaning 151988 clauses out of 304018 with flag 39442810/11771003
3155.42/3182.90	c cleaning 153006 clauses out of 306027 with flag 39936744/11925000
3196.31/3223.87	c cleaning 154001 clauses out of 308021 with flag 40610403/12080000
3239.84/3267.47	c cleaning 154997 clauses out of 310020 with flag 41324402/12236000
3282.30/3309.86	c cleaning 155999 clauses out of 312024 with flag 41865224/12393001
3317.40/3344.94	c cleaning 157002 clauses out of 314024 with flag 42474334/12551000
3357.26/3384.81	c cleaning 158002 clauses out of 316022 with flag 43004368/12710000
3394.58/3422.25	c cleaning 158995 clauses out of 318021 with flag 43472732/12870001
3435.12/3462.92	c cleaning 159994 clauses out of 320025 with flag 43956011/13031000
3486.10/3513.99	c cleaning 161001 clauses out of 322032 with flag 44530841/13193001
3543.94/3571.96	c cleaning 162001 clauses out of 324030 with flag 45109494/13356000
3600.05/3628.13	c starts		: 8055
3600.05/3628.16	c conflicts		: 13520000
3600.05/3628.16	c decisions		: 23751357
3600.05/3628.16	c propagations		: 9219273560
3600.05/3628.16	c inspects		: 21991460679
3600.05/3628.16	c shortcuts		: 0
3600.05/3628.16	c learnt literals	: 0
3600.05/3628.17	c learnt binary clauses	: 0
3600.05/3628.17	c learnt ternary clauses	: 0
3600.05/3628.17	c learnt constraints	: 13520000
3600.05/3628.17	c ignored constraints	: 0
3600.05/3628.17	c root simplifications	: 0
3600.05/3628.17	c removed literals (reason simplification)	: 5179845
3600.05/3628.17	c reason swapping (by a shorter reason)	: 0
3600.05/3628.17	c Calls to reduceDB	: 160
3600.05/3628.17	c Number of update (reduction) of LBD	: 2654765
3600.05/3628.17	c Imported unit clauses	: 0
3600.05/3628.17	c No decision after first conflict	: false
3600.05/3628.17	c number of reductions to clauses (during analyze)	: 0
3600.05/3628.19	c number of learned constraints concerned by reduction	: 0
3600.05/3628.19	c number of learning phase by resolution	: 0
3600.05/3628.19	c number of learning phase by cutting planes	: 0
3600.05/3628.19	c number of rounding to 1 operations	: 0
3600.05/3628.19	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3628.19	c number of reductions of the coefficients by power 2 	: 0
3600.05/3628.19	c number of right shift for reduction by power 2 	: 0
3600.05/3628.19	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3628.19	c number of ending skipping 	: 0
3600.05/3628.19	c number of internal skipping 	: 0
3600.05/3628.19	c number of derivation steps 	: 0
3600.05/3628.19	c number of skipped derivation steps 	: 0
3600.05/3628.19	c number of remaining unassigned 	: 0
3600.05/3628.19	c number of remaining assigned 	: 0
3600.05/3628.19	c number of falsified literals weakened from reason	: 0
3600.05/3628.19	c number of falsified literals weakened from conflict	: 0
3600.05/3628.19	c time for arithmetic operations	: 0
3600.05/3628.19	c minimum degree of deleted constraints	: null
3600.05/3628.19	c maximum degree of deleted constraints	: null
3600.05/3628.19	c number of deleted constraints	: 0
3600.05/3628.19	c speed (assignments/second)	: 2541689.2096240018
3600.05/3628.19	c non guided choices	: 474962
3600.41/3628.36	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 326029
3600.41/3628.36	s UNKNOWN
3600.41/3628.36	c Total wall clock time (in seconds): 3627.888

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=187286, runsolver pid=187279
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 0.14 0.12 0.09 5/268 187335
/proc/meminfo: memFree=127003120/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=18175400 memory=36588 CPUtime=0.04 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 4224 0 36 0 1 3 0 0 20 0 7 0 18021370 18611609600 9147 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16784588 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4543850 9147 3744 1 0 544764 0
[pid=187286/tid=187298] ppid=187279 vsize=18175400 memory=4026531971 CPUtime=0.02 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 3689 0 30 0 0 2 0 0 20 0 7 0 18021372 18611609600 9147 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 4 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 36588 KiB

[startup+0.220675 s]*
/proc/loadavg: 0.14 0.12 0.09 12/318 187385
/proc/meminfo: memFree=126928164/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=18975048 memory=54796 CPUtime=0.15 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 6375 0 54 0 10 5 0 0 20 0 18 0 18021370 19430449152 13699 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4743762 13699 5471 1 0 550745 0
[pid=187286/tid=187298] ppid=187279 vsize=18975048 memory=8737651120394928259 CPUtime=0.1 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) S 187279 187286 187238 0 -1 1077936192 5325 0 46 0 6 4 0 0 20 0 18 0 18021372 19430449152 13699 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=18975048 memory=1361999 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021387 19430449152 13699 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=18975048 memory=13567093907932509 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021388 19430449152 13699 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54796 KiB

[startup+0.31603 s]*
/proc/loadavg: 0.14 0.12 0.09 11/318 187385
/proc/meminfo: memFree=126914628/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=18975048 memory=58664 CPUtime=0.27 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 6742 0 54 0 22 5 0 0 20 0 18 0 18021370 19430449152 14666 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4743762 14666 5523 1 0 551020 0
[pid=187286/tid=187298] ppid=187279 vsize=18975048 memory=-9032927162828366524 CPUtime=0.18 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 5638 0 46 0 14 4 0 0 20 0 18 0 18021372 19430449152 14666 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=18975048 memory=1469085444424696153 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021387 19430449152 14666 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021388 19430449152 14666 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58664 KiB

[startup+0.701088 s]
/proc/loadavg: 0.14 0.12 0.09 14/318 187385
/proc/meminfo: memFree=126879228/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=18976112 memory=92608 CPUtime=0.94 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 8607 0 54 0 86 8 0 0 20 0 18 0 18021370 19431538688 23152 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4744028 23152 5730 1 0 552503 0
[pid=187286/tid=187298] ppid=187279 vsize=18976112 memory=11880 CPUtime=0.52 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 5968 0 46 0 47 5 0 0 20 0 18 0 18021372 19431538688 23152 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=18976112 memory=5500 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18021387 19431538688 23152 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=18976112 memory=0 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18021388 19431538688 23152 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 18976112 KiB
Current children cumulated memory: 92608 KiB

[startup+1.50035 s]
/proc/loadavg: 0.14 0.12 0.09 14/322 187389
/proc/meminfo: memFree=126722172/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=168440 CPUtime=2.51 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 12709 0 54 0 239 12 0 0 20 0 20 0 18021370 19566772224 42110 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 42110 5786 1 0 553623 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=1.22 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 6646 0 46 0 114 8 0 0 20 0 20 0 18021372 19566772224 42110 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=32824 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 42110 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5500 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 42110 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 42110 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 168440 KiB

[startup+3.10709 s]
/proc/loadavg: 0.93 0.28 0.15 11/324 187459
/proc/meminfo: memFree=126461744/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=188560 CPUtime=5.67 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 17631 0 54 0 552 15 0 0 20 0 20 0 18021370 19566772224 47140 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 47140 5833 1 0 555262 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=2.73 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 7660 0 46 0 263 10 0 0 20 0 20 0 18021372 19566772224 47140 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=5500 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 47140 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 47140 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=75072 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 47140 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188560 KiB

[startup+6.30025 s]
/proc/loadavg: 0.93 0.28 0.15 6/302 187471
/proc/meminfo: memFree=125388912/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=534536 CPUtime=9.67 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 18425 0 55 0 943 24 0 0 20 0 20 0 18021370 19566772224 133634 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 133634 5834 1 0 703566 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=5.74 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) S 187279 187286 187238 0 -1 1077936192 7877 0 46 0 557 17 0 0 20 0 20 0 18021372 19566772224 133634 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=5500 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 133634 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 133634 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=532272 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 133634 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 534536 KiB

[startup+12.7004 s]
/proc/loadavg: 1.49 0.41 0.19 5/326 187531
/proc/meminfo: memFree=123231876/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=1282960 CPUtime=16.97 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 20707 0 55 0 1654 43 0 0 20 0 20 0 18021370 19566772224 320740 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 320740 5849 1 0 1380565 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=11.69 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 8191 0 46 0 1137 32 0 0 20 0 20 0 18021372 19566772224 320740 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=1254288 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 320740 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5500 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 320740 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=-8527117729190945468 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 320740 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1282960 KiB

[startup+25.5041 s]
/proc/loadavg: 2.36 0.65 0.27 5/326 187600
/proc/meminfo: memFree=121176552/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=1907052 CPUtime=30.41 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 26989 0 55 0 2976 65 0 0 20 0 20 0 18021370 19566772224 476763 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 476763 5849 1 0 1380568 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=-8527117729190945468 CPUtime=23.96 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) S 187279 187286 187238 0 -1 1077936192 9402 0 46 0 2350 46 0 0 20 0 20 0 18021372 19566772224 476763 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=-8527117729190945468 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 476763 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 476763 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 476763 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 30.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1907052 KiB

[startup+51.1071 s]
/proc/loadavg: 3.11 0.97 0.39 6/326 187605
/proc/meminfo: memFree=118331524/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=2644420 CPUtime=55.37 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 32042 0 55 0 5450 87 0 0 20 0 20 0 18021370 19566772224 661105 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 661105 5849 1 0 1380572 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=2304416 CPUtime=48.48 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 12233 0 46 0 4782 66 0 0 20 0 20 0 18021372 19566772224 661105 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 87 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 661105 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 661105 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 661105 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 55.37 s
Current children cumulated vsize: 19108176 KiB

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

Current children cumulated memory: 5482624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.42 4.23 4.09 5/323 189001
/proc/meminfo: memFree=73778972/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=5482672 CPUtime=3314.8 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 247146 0 55 0 330537 943 0 0 20 0 20 0 18021370 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 1370668 5849 1 0 1384002 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=3275.21 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 118142 0 46 0 326790 731 0 0 20 0 20 0 18021372 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3963 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3136 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=4204852 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3314.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5482672 KiB

[startup+3402.3 s]
/proc/loadavg: 5.59 4.61 4.24 5/323 189012
/proc/meminfo: memFree=73331004/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=5482672 CPUtime=3374.28 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 251501 0 55 0 336467 961 0 0 20 0 20 0 18021370 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 1370668 5849 1 0 1384002 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=3334.14 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 120499 0 46 0 332668 746 0 0 20 0 20 0 18021372 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4025 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3136 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=5500 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 1370668 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3374.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5482672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.75 4.56 4.24 5/323 189023
/proc/meminfo: memFree=72694660/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=5484728 CPUtime=3434.52 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 252523 0 55 0 342471 981 0 0 20 0 20 0 18021370 19566772224 1371182 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 1371182 5849 1 0 1384002 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=0 CPUtime=3393.13 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 121113 0 46 0 338549 764 0 0 20 0 20 0 18021372 19566772224 1371182 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4049 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 1371182 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3195 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 1371182 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 1371182 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3434.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5484728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.47 4.50 4.24 5/323 189033
/proc/meminfo: memFree=72245220/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=5484732 CPUtime=3494.45 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 253534 0 55 0 348452 993 0 0 20 0 20 0 18021370 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 1371183 5849 1 0 1384002 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=5484732 CPUtime=3452.78 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 121889 0 46 0 344505 773 0 0 20 0 20 0 18021372 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4054 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=5484728 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5484724 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3195 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=5482672 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3494.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5484732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.44 4.24 7/325 189176
/proc/meminfo: memFree=71953784/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=5484732 CPUtime=3554.38 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 257000 0 55 0 354431 1007 0 0 20 0 20 0 18021370 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 1371183 5849 1 0 1384002 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=16132 CPUtime=3512.46 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 123857 0 46 0 350462 784 0 0 20 0 20 0 18021372 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4060 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=2296 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5484732 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3337 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=19608 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3554.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5484732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3628.12 s]
/proc/loadavg: 4.16 4.39 4.23 5/323 189435
/proc/meminfo: memFree=71771400/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19108176 memory=5484732 CPUtime=3600.05 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 257043 0 55 0 358992 1013 0 0 20 0 20 0 18021370 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4777044 1371183 5849 1 0 1384002 0
[pid=187286/tid=187298] ppid=187279 vsize=19108176 memory=5500 CPUtime=3558.1 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 123898 0 46 0 355021 789 0 0 20 0 20 0 18021372 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4064 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19108176 memory=11412 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18021387 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19108176 memory=5484732 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3337 0 0 0 0 0 0 0 20 0 20 0 18021388 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187389] ppid=187279 vsize=19108176 memory=5484732 CPUtime=0 cores=1,3
/proc/187286/task/187389/stat : 187389 (Timer-0) S 187279 187286 187238 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 18021466 19566772224 1371183 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5484732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.4 s, system=10.1706 s

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

[startup+3628.21 s]
/proc/loadavg: 4.16 4.39 4.23 5/323 189435
/proc/meminfo: memFree=71771400/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19307868 memory=5485312 CPUtime=3600.23 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 259668 0 55 0 359009 1014 0 0 20 0 21 0 18021370 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4826967 1371328 5849 1 0 1384937 0
[pid=187286/tid=187298] ppid=187279 vsize=19307868 memory=1362166 CPUtime=3558.19 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 123900 0 46 0 355030 789 0 0 20 0 21 0 18021372 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4064 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19307868 memory=1363778 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18021387 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19307868 memory=1559594 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3337 0 0 0 0 0 0 0 20 0 21 0 18021388 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5485312 KiB

[startup+3628.3 s]
/proc/loadavg: 4.16 4.39 4.23 5/323 189435
/proc/meminfo: memFree=71771400/131655788 swapFree=131070192/131071996
[pid=187286] ppid=187279 vsize=19307868 memory=5485312 CPUtime=3600.41 cores=1,3
/proc/187286/stat : 187286 (java) S 187279 187286 187238 0 -1 1077936128 259672 0 55 0 359027 1014 0 0 20 0 21 0 18021370 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
/proc/187286/statm: 4826967 1371328 5849 1 0 1384937 0
[pid=187286/tid=187298] ppid=187279 vsize=19307868 memory=5500 CPUtime=3558.28 cores=1,3
/proc/187286/task/187298/stat : 187298 (java) R 187279 187286 187238 0 -1 4194368 123900 0 46 0 355039 789 0 0 20 0 21 0 18021372 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4064 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187356] ppid=187279 vsize=19307868 memory=11412 CPUtime=0 cores=1,3
/proc/187286/task/187356/stat : 187356 (Finalizer) S 187279 187286 187238 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18021387 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
[pid=187286/tid=187384] ppid=187279 vsize=19307868 memory=5484732 CPUtime=0 cores=1,3
/proc/187286/task/187384/stat : 187384 (Common-Cleaner) S 187279 187286 187238 0 -1 1077936192 3337 0 0 0 0 0 0 0 20 0 21 0 18021388 19771256832 1371328 134679101440 93854689447936 93854689451632 140737361033392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93854689459448 93854689460240 93854715514880 140737361036203 140737361036385 140737361036385 140737361043400 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5485312 KiB

Child status: 143

Real time (s): 3628.41
CPU time (s): 3600.57
CPU user time (s): 3590.4
CPU system time (s): 10.1706
CPU usage (%): 99.2327
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5485312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.4
system time used= 10.1706
maximum resident set size= 5486252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260137
page faults= 55
swaps= 0
block input operations= 13392
block output operations= 12999864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114140
involuntary context switches= 8274


# summary of solver processes directly reported to runsolver:
#   pid: 187286
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3590.4
#   total CPU system time (s): 10.1706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2348 second user time and 40.2801 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-24 13:25:25
IDJOB=4440441
IDBENCH=148768
IDSOLVER=3079
FILE ID=nodeC002/4440441-1721820325
RUNJOBID= nodeC002-1721820325-187250
SLURM_JOB_ID= 7891441
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1968991675

nodeC002.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.216
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	: 6983.43
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.160
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.41
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.301
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	: 6983.43
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.171
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.41
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.165
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	: 6983.43
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.178
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.41
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.161
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	: 6983.43
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.224
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.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127087288 kB
MemAvailable:   129942176 kB
Buffers:          248216 kB
Cached:          3420064 kB
SwapCached:           72 kB
Active:          2200096 kB
Inactive:        1786016 kB
Active(anon):       1432 kB
Inactive(anon):   370252 kB
Active(file):    2198664 kB
Inactive(file):  1415764 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070192 kB
Dirty:              2296 kB
Writeback:             0 kB
AnonPages:        316868 kB
Mapped:           103356 kB
Shmem:             53844 kB
KReclaimable:     161316 kB
Slab:             272520 kB
SReclaimable:     161316 kB
SUnreclaim:       111204 kB
KernelStack:        3664 kB
PageTables:         9704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     719704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      316232 kB
DirectMap2M:    36288512 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC002 at 2024-07-24 14:25:54