Trace number 4432381

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 Default 2024-07-07? (TO) 3600.15 3607.01

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.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.11	c Pseudo Boolean Optimization by upper bound
0.14/0.11	c --- Begin Solver configuration ---
0.14/0.11	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	c Learn all clauses as in MiniSAT
0.14/0.11	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	c No reason simplification
0.14/0.11	c Glucose 2.1 dynamic restart strategy
0.14/0.11	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.14/0.11	c timeout=2147483s
0.14/0.11	c DB Simplification allowed=false
0.14/0.11	c Listener: none
0.14/0.11	c --- End Solver configuration ---
0.14/0.11	c solving HOME/instance-4432381-1721120318.opb
0.14/0.11	c reading problem ... 
0.14/0.12	c  objective function found
0.53/0.31	c ... done. Wall clock time 0.187s.
0.53/0.31	c declared #vars     8424
0.53/0.31	c #constraints  9186
0.53/0.31	c constraints type 
0.53/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8415
0.53/0.31	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
0.53/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
0.53/0.31	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.53/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 97
0.53/0.31	c 9186 constraints processed.
0.53/0.31	c objective function length is 9 literals
2.43/1.40	c cleaning 2493 clauses out of 5001 with flag 26261/5001
3.65/2.52	c cleaning 4251 clauses out of 8507 with flag 59637/11000
4.98/3.81	c cleaning 5624 clauses out of 11257 with flag 96276/18001
6.53/5.24	c cleaning 6809 clauses out of 13632 with flag 135558/26000
8.23/6.95	c cleaning 7906 clauses out of 15823 with flag 180685/35000
10.18/8.78	c cleaning 8939 clauses out of 17917 with flag 222676/45000
13.88/12.27	c cleaning 9967 clauses out of 19978 with flag 273124/56000
16.18/14.45	c cleaning 10989 clauses out of 22011 with flag 330031/68000
18.18/16.41	c cleaning 12004 clauses out of 24023 with flag 449092/81001
20.54/18.71	c cleaning 13004 clauses out of 26018 with flag 515697/95000
22.46/20.64	c cleaning 13993 clauses out of 28016 with flag 575463/110002
24.95/23.06	c cleaning 15007 clauses out of 30021 with flag 611304/126000
27.35/25.37	c cleaning 15995 clauses out of 32014 with flag 677432/143000
29.76/27.71	c cleaning 16964 clauses out of 34020 with flag 750557/161001
33.16/31.14	c cleaning 18016 clauses out of 36055 with flag 796193/180000
37.15/35.10	c cleaning 19007 clauses out of 38039 with flag 838652/200000
40.44/38.40	c cleaning 19996 clauses out of 40032 with flag 893870/221000
44.08/42.03	c cleaning 20998 clauses out of 42036 with flag 956385/243000
49.28/47.22	c cleaning 21999 clauses out of 44038 with flag 1011777/266000
53.24/51.12	c cleaning 22980 clauses out of 46039 with flag 1075691/290000
56.03/53.90	c cleaning 24021 clauses out of 48063 with flag 1172656/315004
59.40/57.23	c cleaning 25006 clauses out of 50043 with flag 1267094/341005
62.89/60.75	c cleaning 26006 clauses out of 52033 with flag 1377429/368001
66.58/64.47	c cleaning 27005 clauses out of 54026 with flag 1486712/396000
71.07/68.80	c cleaning 27998 clauses out of 56021 with flag 1612360/425000
76.56/74.38	c cleaning 28990 clauses out of 58023 with flag 1758681/455000
82.65/80.43	c cleaning 30000 clauses out of 60035 with flag 1917870/486002
88.63/86.42	c cleaning 31005 clauses out of 62038 with flag 2097610/518005
95.30/93.09	c cleaning 31998 clauses out of 64028 with flag 2276258/551000
102.58/100.31	c cleaning 32995 clauses out of 66030 with flag 2451465/585000
110.16/107.94	c cleaning 34002 clauses out of 68035 with flag 2634591/620000
118.25/116.01	c cleaning 35003 clauses out of 70033 with flag 2781423/656000
126.13/123.92	c cleaning 35998 clauses out of 72031 with flag 2973908/693001
135.01/132.81	c cleaning 37004 clauses out of 74033 with flag 3190691/731001
143.00/140.88	c cleaning 37998 clauses out of 76028 with flag 3407560/770000
152.04/149.88	c cleaning 38997 clauses out of 78030 with flag 3645701/810000
160.12/157.99	c cleaning 40003 clauses out of 80035 with flag 3867394/851002
169.11/166.98	c cleaning 41002 clauses out of 82031 with flag 4078201/893001
178.88/176.71	c cleaning 42001 clauses out of 84029 with flag 4289770/936001
189.27/187.18	c cleaning 42997 clauses out of 86028 with flag 4506661/980001
199.84/197.76	c cleaning 44005 clauses out of 88030 with flag 4744336/1025000
210.07/208.00	c cleaning 44998 clauses out of 90025 with flag 4979198/1071000
221.74/219.64	c cleaning 46005 clauses out of 92027 with flag 5232974/1118000
233.22/231.15	c cleaning 47001 clauses out of 94023 with flag 5473208/1166001
245.20/243.12	c cleaning 47997 clauses out of 96021 with flag 5697817/1215000
258.26/256.28	c cleaning 48997 clauses out of 98024 with flag 5943945/1265000
271.10/269.01	c cleaning 50003 clauses out of 100027 with flag 6192448/1316000
285.07/283.01	c cleaning 51000 clauses out of 102026 with flag 6433108/1368002
299.64/297.60	c cleaning 51997 clauses out of 104024 with flag 6688982/1421000
313.81/311.87	c cleaning 53005 clauses out of 106027 with flag 6945976/1475000
328.78/326.87	c cleaning 53999 clauses out of 108022 with flag 7257512/1530000
344.55/342.64	c cleaning 54999 clauses out of 110023 with flag 7551503/1586000
359.75/357.64	c cleaning 56002 clauses out of 112025 with flag 7831380/1643001
374.92/372.80	c cleaning 56998 clauses out of 114023 with flag 8114301/1701001
393.29/391.24	c cleaning 58003 clauses out of 116026 with flag 8434885/1760002
409.85/407.87	c cleaning 58995 clauses out of 118022 with flag 8741402/1820001
429.21/427.25	c cleaning 59995 clauses out of 120026 with flag 9083350/1881000
450.63/448.63	c cleaning 61001 clauses out of 122033 with flag 9421759/1943002
470.89/468.96	c cleaning 62001 clauses out of 124030 with flag 9775081/2006000
489.85/487.96	c cleaning 63001 clauses out of 126029 with flag 10085992/2070000
507.01/505.15	c cleaning 63996 clauses out of 128029 with flag 10395225/2135001
525.88/524.02	c cleaning 65003 clauses out of 130034 with flag 10696338/2201002
545.34/543.53	c cleaning 66006 clauses out of 132031 with flag 11008610/2268002
565.85/564.00	c cleaning 66998 clauses out of 134024 with flag 11336933/2336001
585.40/583.64	c cleaning 67999 clauses out of 136025 with flag 11674788/2405000
604.17/602.41	c cleaning 69000 clauses out of 138026 with flag 11989539/2475000
624.53/622.81	c cleaning 69997 clauses out of 140027 with flag 12340421/2546001
646.28/644.62	c cleaning 71002 clauses out of 142030 with flag 12678068/2618001
666.84/665.25	c cleaning 72001 clauses out of 144029 with flag 13024825/2691002
691.40/689.82	c cleaning 72995 clauses out of 146026 with flag 13399265/2765000
714.96/713.48	c cleaning 74005 clauses out of 148033 with flag 13774306/2840002
739.82/738.34	c cleaning 74996 clauses out of 150026 with flag 14158933/2916000
764.07/762.67	c cleaning 76001 clauses out of 152030 with flag 14531180/2993000
790.42/789.10	c cleaning 77006 clauses out of 154030 with flag 14879507/3071001
812.37/811.06	c cleaning 78003 clauses out of 156023 with flag 15143212/3150000
835.02/833.75	c cleaning 79001 clauses out of 158020 with flag 15409921/3230000
859.17/857.96	c cleaning 80004 clauses out of 160020 with flag 15712673/3311001
877.73/876.53	c cleaning 81003 clauses out of 162015 with flag 15931278/3393000
893.49/892.37	c cleaning 81986 clauses out of 164014 with flag 16179603/3476002
909.17/908.04	c cleaning 82999 clauses out of 166026 with flag 16444516/3560000
926.82/925.71	c cleaning 84000 clauses out of 168027 with flag 16743308/3645000
950.87/949.85	c cleaning 84995 clauses out of 170029 with flag 16992539/3731002
976.52/975.55	c cleaning 86000 clauses out of 172032 with flag 17277423/3818000
1001.36/1000.47	c cleaning 87000 clauses out of 174032 with flag 17589781/3906000
1031.22/1030.33	c cleaning 87999 clauses out of 176032 with flag 17915950/3995000
1062.74/1061.71	c cleaning 89001 clauses out of 178033 with flag 18237171/4085000
1079.59/1078.47	c cleaning 90006 clauses out of 180032 with flag 18591217/4176000
1101.15/1100.00	c cleaning 91003 clauses out of 182027 with flag 18996763/4268001
1122.61/1121.53	c cleaning 92002 clauses out of 184024 with flag 19356377/4361001
1145.07/1144.03	c cleaning 92995 clauses out of 186021 with flag 19693892/4455000
1171.12/1170.15	c cleaning 94006 clauses out of 188026 with flag 19997585/4550000
1195.16/1194.28	c cleaning 94999 clauses out of 190021 with flag 20327229/4646001
1221.70/1220.71	c cleaning 96000 clauses out of 192022 with flag 20647929/4743001
1246.95/1246.05	c cleaning 96998 clauses out of 194021 with flag 20993483/4841000
1275.50/1274.65	c cleaning 98003 clauses out of 196024 with flag 21315294/4940001
1297.60/1296.75	c cleaning 98999 clauses out of 198021 with flag 21621334/5040001
1316.58/1315.68	c cleaning 99997 clauses out of 200022 with flag 21899366/5141001
1341.74/1340.80	c cleaning 100999 clauses out of 202026 with flag 22268146/5243002
1370.19/1369.36	c cleaning 102001 clauses out of 204026 with flag 22621237/5346001
1399.71/1398.86	c cleaning 103005 clauses out of 206025 with flag 22996205/5450001
1429.54/1428.74	c cleaning 103999 clauses out of 208020 with flag 23341480/5555001
1459.98/1459.22	c cleaning 104999 clauses out of 210021 with flag 23705576/5661001
1486.72/1486.09	c cleaning 105992 clauses out of 212021 with flag 24084830/5768000
1516.50/1515.49	c cleaning 107003 clauses out of 214029 with flag 24436205/5876000
1546.44/1545.41	c cleaning 108002 clauses out of 216026 with flag 24792898/5985000
1573.68/1572.72	c cleaning 109000 clauses out of 218024 with flag 25160325/6095000
1606.12/1605.21	c cleaning 110002 clauses out of 220025 with flag 25505393/6206001
1638.34/1637.59	c cleaning 111001 clauses out of 222023 with flag 25934134/6318001
1669.65/1668.85	c cleaning 111999 clauses out of 224022 with flag 26357707/6431001
1705.16/1704.46	c cleaning 113003 clauses out of 226025 with flag 26718926/6545003
1736.59/1735.91	c cleaning 114000 clauses out of 228020 with flag 27108505/6660001
1762.93/1762.32	c cleaning 114999 clauses out of 230022 with flag 27435503/6776003
1790.91/1790.29	c cleaning 115998 clauses out of 232021 with flag 27864905/6893001
1831.52/1830.91	c cleaning 117001 clauses out of 234024 with flag 28225859/7011002
1869.34/1868.84	c cleaning 117999 clauses out of 236022 with flag 28655247/7130001
1907.24/1906.62	c cleaning 119006 clauses out of 238023 with flag 29028184/7250001
1931.50/1930.92	c cleaning 119993 clauses out of 240017 with flag 29418808/7371001
1967.54/1967.02	c cleaning 120996 clauses out of 242025 with flag 29806880/7493002
2006.64/2006.28	c cleaning 121995 clauses out of 244027 with flag 30204226/7616000
2046.96/2046.63	c cleaning 123000 clauses out of 246032 with flag 30632422/7740000
2084.72/2084.32	c cleaning 123999 clauses out of 248033 with flag 31020849/7865001
2122.85/2122.50	c cleaning 124994 clauses out of 250035 with flag 31451037/7991002
2161.18/2160.99	c cleaning 125999 clauses out of 252040 with flag 31862680/8118001
2200.31/2200.17	c cleaning 127002 clauses out of 254041 with flag 32322631/8246001
2237.22/2237.11	c cleaning 128000 clauses out of 256039 with flag 32742224/8375001
2272.25/2272.25	c cleaning 129003 clauses out of 258038 with flag 33169751/8505000
2308.99/2308.93	c cleaning 129998 clauses out of 260035 with flag 33598381/8636000
2351.91/2351.92	c cleaning 131003 clauses out of 262038 with flag 34014240/8768001
2391.23/2391.39	c cleaning 131998 clauses out of 264034 with flag 34460257/8901000
2433.55/2433.73	c cleaning 133000 clauses out of 266037 with flag 34897933/9035001
2480.05/2480.32	c cleaning 133999 clauses out of 268037 with flag 35308702/9170001
2529.37/2529.65	c cleaning 135002 clauses out of 270037 with flag 35723524/9306000
2555.22/2555.51	c cleaning 136008 clauses out of 272036 with flag 36112591/9443001
2587.68/2588.00	c cleaning 137004 clauses out of 274027 with flag 36518433/9581000
2617.00/2616.58	c cleaning 137990 clauses out of 276023 with flag 36939508/9720000
2651.39/2651.28	c cleaning 139005 clauses out of 278033 with flag 37383150/9860000
2676.96/2676.98	c cleaning 140002 clauses out of 280030 with flag 37858548/10001002
2704.53/2704.55	c cleaning 141002 clauses out of 282028 with flag 38315522/10143002
2741.20/2741.37	c cleaning 142002 clauses out of 284025 with flag 38706498/10286001
2785.31/2785.89	c cleaning 143002 clauses out of 286023 with flag 39224516/10430001
2830.87/2831.86	c cleaning 143999 clauses out of 288021 with flag 39724050/10575001
2883.88/2885.33	c cleaning 144998 clauses out of 290022 with flag 40201041/10721001
2937.27/2939.29	c cleaning 145998 clauses out of 292023 with flag 40735494/10868000
2989.69/2992.01	c cleaning 147000 clauses out of 294025 with flag 41257844/11016000
3047.55/3050.44	c cleaning 148004 clauses out of 296028 with flag 41828893/11165003
3101.23/3104.60	c cleaning 148999 clauses out of 298024 with flag 42383192/11315003
3160.57/3164.58	c cleaning 150002 clauses out of 300023 with flag 42939923/11466001
3226.28/3230.71	c cleaning 150999 clauses out of 302020 with flag 43452883/11618000
3284.73/3289.70	c cleaning 152000 clauses out of 304024 with flag 43996168/11771003
3348.34/3353.93	c cleaning 153001 clauses out of 306022 with flag 44519443/11925001
3411.45/3417.67	c cleaning 153999 clauses out of 308021 with flag 45046582/12080001
3480.75/3487.49	c cleaning 155003 clauses out of 310021 with flag 45591647/12236000
3555.21/3562.10	c cleaning 156001 clauses out of 312018 with flag 46150033/12393000
3600.01/3606.91	c timeout
3600.01/3606.91	c starts		: 3234
3600.01/3606.92	c conflicts		: 12502728
3600.01/3606.92	c decisions		: 17466242
3600.01/3606.92	c propagations		: 8136018686
3600.01/3606.92	c inspects		: 24515820408
3600.01/3606.92	c shortcuts		: 0
3600.01/3606.92	c learnt literals	: 0
3600.01/3606.92	c learnt binary clauses	: 0
3600.01/3606.92	c learnt ternary clauses	: 0
3600.01/3606.92	c learnt constraints	: 12502728
3600.01/3606.92	c ignored constraints	: 0
3600.01/3606.92	c root simplifications	: 0
3600.01/3606.92	c removed literals (reason simplification)	: 0
3600.01/3606.92	c reason swapping (by a shorter reason)	: 0
3600.01/3606.92	c Calls to reduceDB	: 153
3600.01/3606.93	c Number of update (reduction) of LBD	: 2732691
3600.01/3606.93	c Imported unit clauses	: 0
3600.01/3606.93	c No decision after first conflict	: false
3600.01/3606.93	c number of reductions to clauses (during analyze)	: 0
3600.01/3606.93	c number of learned constraints concerned by reduction	: 0
3600.01/3606.93	c number of learning phase by resolution	: 0
3600.01/3606.93	c number of learning phase by cutting planes	: 0
3600.01/3606.93	c number of rounding to 1 operations	: 0
3600.01/3606.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3606.93	c number of reductions of the coefficients by power 2 	: 0
3600.01/3606.93	c number of right shift for reduction by power 2 	: 0
3600.01/3606.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3606.93	c number of ending skipping 	: 0
3600.01/3606.93	c number of internal skipping 	: 0
3600.01/3606.93	c number of derivation steps 	: 0
3600.01/3606.93	c number of skipped derivation steps 	: 0
3600.01/3606.93	c number of remaining unassigned 	: 0
3600.01/3606.93	c number of remaining assigned 	: 0
3600.01/3606.93	c number of falsified literals weakened from reason	: 0
3600.01/3606.93	c number of falsified literals weakened from conflict	: 0
3600.01/3606.93	c time for arithmetic operations	: 0
3600.01/3606.93	c minimum degree of deleted constraints	: null
3600.01/3606.93	c maximum degree of deleted constraints	: null
3600.01/3606.93	c number of deleted constraints	: 0
3600.01/3606.93	c speed (assignments/second)	: 2255866.30251996
3600.01/3606.93	c non guided choices	: 238103
3600.01/3606.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 265745
3600.01/3606.99	s UNKNOWN
3600.01/3606.99	c Total wall clock time (in seconds): 3606.874

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: 63968 MiB (61868 MiB free)
  memory of node 1: 64473 MiB (58092 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432381-1721120318/watcher-4432381-1721120318 -o /tmp/evaluation-result-4432381-1721120318/solver-4432381-1721120318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721116734-845886 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432381-1721120318.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=848054, runsolver pid=848051
Current StackSize limit: 8192 KiB


[startup+0.100268 s]*
/proc/loadavg: 4.06 4.08 4.05 8/330 848072
/proc/meminfo: memFree=122780000/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=18975048 memory=64764 CPUtime=0.14 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 7126 0 0 0 12 2 0 0 20 0 18 0 164195680 19430449152 16191 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4743762 16191 5658 1 0 549346 0
[pid=848054/tid=848056] ppid=848051 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 5687 0 0 0 7 1 0 0 20 0 18 0 164195680 19430449152 16191 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164195682 19430449152 16191 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 164195683 19430449152 16191 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64764 KiB

[startup+0.21174 s]*
/proc/loadavg: 4.06 4.08 4.05 7/330 848072
/proc/meminfo: memFree=122738436/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=18975048 memory=95868 CPUtime=0.35 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 8561 0 0 0 33 2 0 0 20 0 18 0 164195680 19430449152 23967 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4743762 23967 5808 1 0 550243 0
[pid=848054/tid=848056] ppid=848051 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 5848 0 0 0 18 2 0 0 20 0 18 0 164195680 19430449152 23967 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=18975048 memory=3640 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164195682 19430449152 23967 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 164195683 19430449152 23967 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 95868 KiB

[startup+0.305742 s]*
/proc/loadavg: 4.06 4.08 4.05 7/330 848072
/proc/meminfo: memFree=122691780/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=18975048 memory=134388 CPUtime=0.53 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 9063 0 0 0 50 3 0 0 20 0 18 0 164195680 19430449152 33597 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4743762 33597 5808 1 0 550583 0
[pid=848054/tid=848056] ppid=848051 vsize=18975048 memory=-9104143626242728636 CPUtime=0.28 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 5908 0 0 0 26 2 0 0 20 0 18 0 164195680 19430449152 33597 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164195682 19430449152 33597 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 164195683 19430449152 33597 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 134388 KiB

[startup+0.700246 s]
/proc/loadavg: 4.06 4.08 4.05 6/331 848073
/proc/meminfo: memFree=122657404/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19041612 memory=150604 CPUtime=1.3 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 12968 0 0 0 126 4 0 0 20 0 19 0 164195680 19498610688 37651 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4760403 37651 5860 1 0 553168 0
[pid=848054/tid=848056] ppid=848051 vsize=19041612 memory=5496 CPUtime=0.66 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 5977 0 0 0 64 2 0 0 20 0 19 0 164195680 19498610688 37651 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19041612 memory=12180 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164195682 19498610688 37651 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 164195683 19498610688 37651 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164195712 19498610688 37651 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 150604 KiB

[startup+1.50026 s]
/proc/loadavg: 4.06 4.08 4.05 5/331 848073
/proc/meminfo: memFree=122585940/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=202884 CPUtime=2.55 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 17608 0 0 0 250 5 0 0 20 0 20 0 164195680 19566772224 50721 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 50721 5876 1 0 553515 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=12180 CPUtime=1.41 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 6837 0 0 0 138 3 0 0 20 0 20 0 164195680 19566772224 50721 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 50721 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 50721 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=281076216014096 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 50721 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202884 KiB

[startup+3.10564 s]
/proc/loadavg: 4.05 4.08 4.05 5/332 848074
/proc/meminfo: memFree=122374992/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=202952 CPUtime=4.28 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 18212 0 0 0 422 6 0 0 20 0 20 0 164195680 19566772224 50738 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 50738 5876 1 0 553520 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=0 CPUtime=3.02 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 7092 0 0 0 299 3 0 0 20 0 20 0 164195680 19566772224 50738 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 50738 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 50738 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 50738 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202952 KiB

[startup+6.30027 s]
/proc/loadavg: 4.05 4.08 4.05 7/333 848146
/proc/meminfo: memFree=121990796/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=265332 CPUtime=7.63 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 19483 0 0 0 755 8 0 0 20 0 20 0 164195680 19566772224 66333 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 66333 5892 1 0 553522 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=12180 CPUtime=6.13 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 7112 0 0 0 610 3 0 0 20 0 20 0 164195680 19566772224 66333 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 66333 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=202884 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 66333 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 66333 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 265332 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 4.05 5/332 848278
/proc/meminfo: memFree=123755048/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=675424 CPUtime=14.37 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 22432 0 0 0 1421 16 0 0 20 0 20 0 164195680 19566772224 168856 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 168856 5924 1 0 779099 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=497444 CPUtime=12.22 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 7965 0 0 0 1217 5 0 0 20 0 20 0 164195680 19566772224 168856 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=2268 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 168856 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=413476 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 168856 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 168856 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 14.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 675424 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.11 4.06 5/332 848281
/proc/meminfo: memFree=122344828/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=1030740 CPUtime=27.57 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 28819 0 0 0 2732 25 0 0 20 0 20 0 164195680 19566772224 257685 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 257685 5924 1 0 779110 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=938496 CPUtime=24.73 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 9185 0 0 0 2467 6 0 0 20 0 20 0 164195680 19566772224 257685 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=5496 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 257685 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 257685 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=265332 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 257685 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 27.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1030740 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 4.12 4.06 5/332 848284
/proc/meminfo: memFree=120404488/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=1168064 CPUtime=53.24 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 31665 0 0 0 5295 29 0 0 20 0 20 0 164195680 19566772224 292016 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 292016 5924 1 0 779110 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=1168064 CPUtime=50.14 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 10634 0 0 0 5007 7 0 0 20 0 20 0 164195680 19566772224 292016 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=1051220 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 292016 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0

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

/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2654 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3217.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970100 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.13 4.13 5/332 849513
/proc/meminfo: memFree=93786348/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3277.4 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 128137 0 0 0 327557 183 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742525 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3264.41 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 46435 0 0 0 326415 26 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=5496 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2656 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=16152 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3277.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/332 849524
/proc/meminfo: memFree=93785604/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3336.84 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 128890 0 0 0 333500 184 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742525 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=-9104143626242728636 CPUtime=3323.83 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 47075 0 0 0 332357 26 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=16152 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2737 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3336.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.17 4.14 5/333 849920
/proc/meminfo: memFree=93784476/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3396.28 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 129537 0 0 0 339442 186 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742525 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3383.23 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 47586 0 0 0 338297 26 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2737 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=18396 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3396.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/334 849931
/proc/meminfo: memFree=93784008/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3455.72 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 130239 0 0 0 345384 188 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742525 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=2970100 CPUtime=3442.64 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 48192 0 0 0 344238 26 0 0 20 0 20 0 164195680 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=2970100 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2823 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=41948 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742525 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3455.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970100 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/334 849943
/proc/meminfo: memFree=93783296/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970108 CPUtime=3515.58 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 132234 0 0 0 351368 190 0 0 20 0 20 0 164195680 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742527 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=5496 CPUtime=3502.22 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 48445 0 0 0 350196 26 0 0 20 0 20 0 164195680 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=11560 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=-9104143626242728636 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2823 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=26024 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3515.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.19 4.15 5/336 850191
/proc/meminfo: memFree=108032508/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970108 CPUtime=3575.46 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 133032 0 0 0 357354 192 0 0 20 0 20 0 164195680 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742527 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=2970108 CPUtime=3562.06 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 49138 0 0 0 356180 26 0 0 20 0 20 0 164195680 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=2970108 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=26904 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2823 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=2196 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3575.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.9 s]
/proc/loadavg: 4.30 4.19 4.15 5/337 850332
/proc/meminfo: memFree=122368376/131524600 swapFree=131071996/131071996
[pid=848054] ppid=848051 vsize=19108176 memory=2970108 CPUtime=3600.01 cores=4,6
/proc/848054/stat : 848054 (java) S 848051 848054 845875 0 -1 1077936128 133273 0 0 0 359808 193 0 0 20 0 20 0 164195680 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
/proc/848054/statm: 4777044 742527 5924 1 0 781740 0
[pid=848054/tid=848056] ppid=848051 vsize=19108176 memory=2970108 CPUtime=3586.59 cores=4,6
/proc/848054/task/848056/stat : 848056 (java) R 848051 848054 845875 0 -1 4194368 49286 0 0 0 358633 26 0 0 20 0 20 0 164195680 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848065] ppid=848051 vsize=19108176 memory=12180 CPUtime=0 cores=4,6
/proc/848054/task/848065/stat : 848065 (Finalizer) S 848051 848054 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164195682 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848072] ppid=848051 vsize=19108176 memory=5496 CPUtime=0 cores=4,6
/proc/848054/task/848072/stat : 848072 (Common-Cleaner) S 848051 848054 845875 0 -1 1077936192 2909 0 0 0 0 0 0 0 20 0 20 0 164195683 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
[pid=848054/tid=848073] ppid=848051 vsize=19108176 memory=2970108 CPUtime=0 cores=4,6
/proc/848054/task/848073/stat : 848073 (Timer-0) S 848051 848054 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164195712 19566772224 742527 134679101440 94156382167040 94156382170736 140729664724512 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94156382178552 94156382179344 94156405391360 140729664726023 140729664726113 140729664726113 140729664733128 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2970108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.21 s, system=1.94461 s

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

[startup+3607 s]*
/proc/loadavg: 4.30 4.19 4.15 5/319 850335
/proc/meminfo: memFree=125254636/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3607.01
CPU time (s): 3600.15
CPU user time (s): 3598.21
CPU system time (s): 1.94461
CPU usage (%): 99.8099
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2970108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 1.94461
maximum resident set size= 2971772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107457
involuntary context switches= 11930


# summary of solver processes directly reported to runsolver:
#   pid: 848054
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3598.21
#   total CPU system time (s): 1.94461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64022 second user time and 17.8717 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 10:58:51
IDJOB=4432381
IDBENCH=148768
IDSOLVER=3058
FILE ID=nodeC021/4432381-1721120318
RUNJOBID= nodeC021-1721116734-845886
SLURM_JOB_ID= 7505658
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432381-1721120318/watcher-4432381-1721120318 -o /tmp/evaluation-result-4432381-1721120318/solver-4432381-1721120318 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721116734-845886 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432381-1721120318.opb

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1242943209

nodeC021.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	: 0xb00002a
cpu MHz		: 3661.033
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
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		: 3678.341
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
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		: 3661.772
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.724
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
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.095
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.42
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		: 3678.374
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122840428 kB
MemAvailable:   126081096 kB
Buffers:          395764 kB
Cached:          3646572 kB
SwapCached:            0 kB
Active:           751888 kB
Inactive:        7249760 kB
Active(anon):       1552 kB
Inactive(anon):  3995472 kB
Active(file):     750336 kB
Inactive(file):  3254288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6124 kB
Writeback:             0 kB
AnonPages:       3958664 kB
Mapped:           124172 kB
Shmem:             37720 kB
KReclaimable:     151736 kB
Slab:             266620 kB
SReclaimable:     151736 kB
SUnreclaim:       114884 kB
KernelStack:        5056 kB
PageTables:        17804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11966136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62400 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3676160 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC021 at 2024-07-16 11:58:58