Trace number 4450852

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.21 3615.52

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
MD5SUMb3190b6d7590b4907713913d99d6bfc0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.17	c java.vm.version	22.0.1+8-16
0.12/0.17	c java.vm.vendor	Oracle Corporation
0.12/0.17	c sun.arch.data.model	64
0.12/0.17	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.17	c Free memory 		2113181440
0.12/0.17	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.18	c Number of processors 	2
0.24/0.26	--- Begin Solver configuration ---
0.24/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.24/0.26	Learn all clauses as in MiniSAT
0.24/0.26	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.26	Expensive reason simplification
0.24/0.26	Glucose 2.1 dynamic restart strategy
0.24/0.26	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.24/0.26	timeout=2147483s
0.24/0.26	DB Simplification allowed=false
0.24/0.26	Listener: none
0.24/0.26	--- End Solver configuration ---
0.24/0.26	c Pseudo Boolean Optimization by upper bound
0.24/0.26	c --- Begin Solver configuration ---
0.24/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.24/0.26	c Learn all clauses as in MiniSAT
0.24/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.26	c Expensive reason simplification
0.24/0.26	c Glucose 2.1 dynamic restart strategy
0.24/0.26	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.24/0.26	c timeout=2147483s
0.24/0.26	c DB Simplification allowed=false
0.24/0.26	c Listener: none
0.24/0.26	c --- End Solver configuration ---
0.24/0.26	c solving HOME/instance-4450852-1721828440.opb
0.24/0.26	c reading problem ... 
0.24/0.26	c using VERIPB proof format
0.24/0.26	c  no objective function found
0.61/0.48	c ... done. Wall clock time 0.224s.
0.61/0.48	c declared #vars     4288
0.61/0.48	c #constraints  10848
0.61/0.48	c constraints type 
0.61/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.61/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.61/0.48	c org.sat4j.specs.Constr$1 => 920
0.61/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.61/0.48	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.61/0.48	c 10848 constraints processed.
2.68/1.58	c cleaning 2498 clauses out of 5000 with flag 16238/5002
3.89/2.15	c cleaning 4227 clauses out of 8500 with flag 39305/11000
5.25/2.81	c cleaning 5604 clauses out of 11274 with flag 67862/18001
6.21/3.48	c cleaning 6813 clauses out of 13669 with flag 103903/26000
7.40/4.28	c cleaning 7898 clauses out of 15856 with flag 144027/35000
8.77/5.21	c cleaning 8950 clauses out of 17958 with flag 190756/45000
9.79/6.21	c cleaning 9986 clauses out of 20008 with flag 244474/56000
10.89/7.31	c cleaning 10996 clauses out of 22022 with flag 304966/68000
12.00/8.50	c cleaning 12000 clauses out of 24026 with flag 373406/81000
13.44/9.88	c cleaning 13001 clauses out of 26026 with flag 445924/95000
15.27/11.23	c cleaning 13992 clauses out of 28025 with flag 524093/110000
16.88/12.79	c cleaning 15001 clauses out of 30034 with flag 610124/126001
19.44/15.02	c cleaning 15978 clauses out of 32032 with flag 702678/143000
22.41/17.83	c cleaning 17013 clauses out of 34054 with flag 799833/161000
24.41/19.82	c cleaning 17995 clauses out of 36041 with flag 904203/180000
26.51/22.01	c cleaning 19002 clauses out of 38052 with flag 1016540/200006
28.90/24.24	c cleaning 20017 clauses out of 40044 with flag 1136704/221000
31.29/26.65	c cleaning 20999 clauses out of 42028 with flag 1263162/243001
33.80/29.16	c cleaning 22004 clauses out of 44028 with flag 1394514/266000
36.57/31.96	c cleaning 22985 clauses out of 46026 with flag 1531274/290002
39.47/34.84	c cleaning 24010 clauses out of 48040 with flag 1679773/315001
43.36/39.42	c cleaning 24979 clauses out of 50029 with flag 1831370/341000
46.55/42.67	c cleaning 26012 clauses out of 52051 with flag 1985989/368001
49.95/46.06	c cleaning 26983 clauses out of 54038 with flag 2151622/396000
53.52/49.65	c cleaning 27989 clauses out of 56056 with flag 2322215/425001
57.34/53.42	c cleaning 29009 clauses out of 58066 with flag 2496745/455000
61.12/57.27	c cleaning 29999 clauses out of 60058 with flag 2677836/486001
65.32/61.34	c cleaning 31020 clauses out of 62059 with flag 2866840/518001
69.50/65.57	c cleaning 31970 clauses out of 64038 with flag 3061101/551000
74.07/70.57	c cleaning 33028 clauses out of 66069 with flag 3261821/585001
78.69/75.15	c cleaning 34013 clauses out of 68040 with flag 3470673/620000
83.47/79.97	c cleaning 35003 clauses out of 70027 with flag 3685961/656000
88.46/84.94	c cleaning 35976 clauses out of 72024 with flag 3905775/693000
93.84/90.31	c cleaning 36998 clauses out of 74048 with flag 4127667/731000
99.43/95.91	c cleaning 38011 clauses out of 76052 with flag 4359793/770002
105.21/102.06	c cleaning 39010 clauses out of 78041 with flag 4597102/810002
111.09/107.91	c cleaning 40000 clauses out of 80029 with flag 4846808/851000
117.07/113.93	c cleaning 40983 clauses out of 82030 with flag 5101858/893001
123.17/120.09	c cleaning 41975 clauses out of 84048 with flag 5361547/936002
129.74/126.67	c cleaning 43006 clauses out of 86071 with flag 5627782/980000
136.44/133.59	c cleaning 43999 clauses out of 88067 with flag 5902216/1025002
143.32/140.43	c cleaning 44997 clauses out of 90066 with flag 6180771/1071000
150.60/147.72	c cleaning 45992 clauses out of 92069 with flag 6463620/1118000
158.20/155.38	c cleaning 47024 clauses out of 94077 with flag 6755004/1166000
166.28/163.62	c cleaning 48002 clauses out of 96053 with flag 7052558/1215000
174.15/171.57	c cleaning 48938 clauses out of 98051 with flag 7352173/1265000
182.53/179.98	c cleaning 50039 clauses out of 100113 with flag 7664107/1316000
191.21/188.62	c cleaning 51010 clauses out of 102074 with flag 7979184/1368000
199.85/197.38	c cleaning 52008 clauses out of 104064 with flag 8301166/1421000
209.22/206.73	c cleaning 53005 clauses out of 106056 with flag 8627216/1475000
218.89/216.43	c cleaning 54021 clauses out of 108051 with flag 8960755/1530000
228.67/226.30	c cleaning 54994 clauses out of 110030 with flag 9300088/1586000
238.84/236.51	c cleaning 56005 clauses out of 112038 with flag 9644688/1643002
249.30/247.04	c cleaning 56998 clauses out of 114031 with flag 9995852/1701000
259.92/257.82	c cleaning 57990 clauses out of 116033 with flag 10354382/1760000
271.09/269.03	c cleaning 58978 clauses out of 118043 with flag 10721022/1820000
282.53/280.52	c cleaning 60023 clauses out of 120065 with flag 11090523/1881000
294.31/292.45	c cleaning 60985 clauses out of 122043 with flag 11461697/1943001
306.49/304.62	c cleaning 62010 clauses out of 124057 with flag 11842938/2006000
319.84/318.10	c cleaning 63015 clauses out of 126050 with flag 12226092/2070003
333.02/331.24	c cleaning 63985 clauses out of 128032 with flag 12616159/2135000
346.64/344.96	c cleaning 64965 clauses out of 130047 with flag 13013842/2201000
360.44/358.77	c cleaning 66020 clauses out of 132082 with flag 13414419/2268000
374.87/373.18	c cleaning 67015 clauses out of 134062 with flag 13820972/2336000
389.46/387.89	c cleaning 67994 clauses out of 136049 with flag 14236888/2405002
404.52/402.99	c cleaning 68996 clauses out of 138054 with flag 14653379/2475001
420.00/418.52	c cleaning 69978 clauses out of 140060 with flag 15074711/2546003
436.19/434.70	c cleaning 70996 clauses out of 142079 with flag 15503762/2618000
452.59/451.22	c cleaning 72029 clauses out of 144083 with flag 15941154/2691000
469.30/468.11	c cleaning 73014 clauses out of 146054 with flag 16378558/2765000
486.49/485.24	c cleaning 74011 clauses out of 148041 with flag 16828501/2840001
505.24/504.83	c cleaning 75006 clauses out of 150030 with flag 17281797/2916001
523.49/523.11	c cleaning 75966 clauses out of 152023 with flag 17738397/2993000
541.90/541.52	c cleaning 77013 clauses out of 154057 with flag 18198075/3071000
560.72/560.48	c cleaning 78014 clauses out of 156046 with flag 18666557/3150002
579.79/579.54	c cleaning 78977 clauses out of 158030 with flag 19149964/3230000
599.23/599.03	c cleaning 80018 clauses out of 160054 with flag 19630548/3311001
618.98/618.89	c cleaning 81013 clauses out of 162035 with flag 20120518/3393000
639.85/639.71	c cleaning 81993 clauses out of 164022 with flag 20613015/3476000
660.97/661.00	c cleaning 82989 clauses out of 166029 with flag 21115375/3560000
682.40/682.41	c cleaning 83994 clauses out of 168040 with flag 21622883/3645000
704.49/704.47	c cleaning 85012 clauses out of 170046 with flag 22131527/3731000
726.09/726.07	c cleaning 85955 clauses out of 172034 with flag 22648774/3818000
749.19/749.28	c cleaning 87015 clauses out of 174080 with flag 23169101/3906001
772.75/772.87	c cleaning 87998 clauses out of 176064 with flag 23690913/3995000
796.10/796.28	c cleaning 89016 clauses out of 178067 with flag 24223492/4085001
819.39/819.75	c cleaning 89983 clauses out of 180052 with flag 24771361/4176002
843.70/844.16	c cleaning 90991 clauses out of 182068 with flag 25316128/4268001
869.11/869.43	c cleaning 92021 clauses out of 184076 with flag 25865099/4361000
893.79/894.16	c cleaning 93027 clauses out of 186055 with flag 26419822/4455000
919.23/919.70	c cleaning 93994 clauses out of 188029 with flag 26978325/4550001
944.99/945.54	c cleaning 94986 clauses out of 190035 with flag 27542280/4646001
971.50/972.16	c cleaning 95962 clauses out of 192049 with flag 28114145/4743001
998.69/999.47	c cleaning 97043 clauses out of 194087 with flag 28694216/4841001
1026.52/1027.35	c cleaning 97984 clauses out of 196043 with flag 29278583/4940000
1054.38/1055.33	c cleaning 99021 clauses out of 198061 with flag 29868854/5040002
1082.59/1083.54	c cleaning 99981 clauses out of 200039 with flag 30462940/5141001
1111.22/1112.23	c cleaning 101015 clauses out of 202060 with flag 31065838/5243003
1140.61/1141.64	c cleaning 101976 clauses out of 204044 with flag 31676175/5346002
1170.53/1171.66	c cleaning 103019 clauses out of 206067 with flag 32289657/5450001
1201.94/1203.13	c cleaning 103996 clauses out of 208048 with flag 32902011/5555001
1233.75/1235.15	c cleaning 105009 clauses out of 210052 with flag 33519010/5661001
1265.27/1266.84	c cleaning 105936 clauses out of 212042 with flag 34141986/5768000
1297.64/1299.39	c cleaning 107029 clauses out of 214106 with flag 34774658/5876000
1330.54/1332.32	c cleaning 108017 clauses out of 216079 with flag 35410918/5985002
1363.91/1365.73	c cleaning 109007 clauses out of 218060 with flag 36056879/6095000
1397.99/1399.91	c cleaning 109988 clauses out of 220053 with flag 36705116/6206000
1432.39/1434.47	c cleaning 111026 clauses out of 222065 with flag 37358598/6318000
1467.54/1469.83	c cleaning 112012 clauses out of 224041 with flag 38017543/6431002
1502.58/1505.04	c cleaning 112960 clauses out of 226027 with flag 38678839/6545000
1538.96/1541.73	c cleaning 113980 clauses out of 228067 with flag 39349842/6660000
1576.05/1578.92	c cleaning 114988 clauses out of 230087 with flag 40023854/6776000
1613.33/1616.39	c cleaning 116018 clauses out of 232101 with flag 40704460/6893002
1651.35/1654.49	c cleaning 117025 clauses out of 234081 with flag 41393921/7011000
1689.82/1693.06	c cleaning 118016 clauses out of 236056 with flag 42083536/7130000
1729.20/1732.54	c cleaning 118950 clauses out of 238041 with flag 42781624/7250001
1769.01/1772.45	c cleaning 120012 clauses out of 240090 with flag 43486802/7371000
1809.20/1812.72	c cleaning 121028 clauses out of 242078 with flag 44191137/7493000
1850.08/1853.87	c cleaning 121962 clauses out of 244050 with flag 44903961/7616000
1891.83/1895.87	c cleaning 123010 clauses out of 246089 with flag 45626231/7740001
1935.24/1939.38	c cleaning 124009 clauses out of 248080 with flag 46351693/7865002
1978.70/1983.06	c cleaning 124982 clauses out of 250070 with flag 47069998/7991001
2022.67/2027.20	c cleaning 125990 clauses out of 252087 with flag 47801676/8118000
2067.35/2072.02	c cleaning 127043 clauses out of 254097 with flag 48542175/8246000
2113.21/2117.86	c cleaning 128002 clauses out of 256055 with flag 49293367/8375001
2159.66/2164.97	c cleaning 128996 clauses out of 258053 with flag 50047219/8505001
2205.24/2210.61	c cleaning 129974 clauses out of 260056 with flag 50807721/8636000
2249.48/2255.46	c cleaning 131014 clauses out of 262083 with flag 51567083/8768001
2295.96/2302.27	c cleaning 132024 clauses out of 264069 with flag 52340360/8901001
2343.49/2350.26	c cleaning 133007 clauses out of 266044 with flag 53114331/9035000
2391.40/2398.49	c cleaning 133954 clauses out of 268037 with flag 53891757/9170000
2439.80/2447.11	c cleaning 134990 clauses out of 270083 with flag 54687508/9306000
2489.36/2496.81	c cleaning 136005 clauses out of 272094 with flag 55479180/9443001
2538.32/2546.10	c cleaning 137026 clauses out of 274088 with flag 56280161/9581000
2589.20/2597.25	c cleaning 138020 clauses out of 276062 with flag 57079224/9720000
2640.32/2648.68	c cleaning 139011 clauses out of 278042 with flag 57887782/9860000
2692.21/2700.73	c cleaning 140006 clauses out of 280032 with flag 58701059/10001001
2745.57/2754.40	c cleaning 141006 clauses out of 282026 with flag 59519339/10143001
2798.81/2808.04	c cleaning 142000 clauses out of 284021 with flag 60339314/10286002
2845.98/2855.36	c cleaning 142979 clauses out of 286020 with flag 61163713/10430001
2892.73/2902.31	c cleaning 144011 clauses out of 288040 with flag 61998463/10575000
2940.26/2949.97	c cleaning 144994 clauses out of 290029 with flag 62834452/10721000
2988.05/2997.81	c cleaning 145954 clauses out of 292035 with flag 63681608/10868000
3036.68/3046.57	c cleaning 147007 clauses out of 294081 with flag 64528250/11016000
3087.15/3098.34	c cleaning 147979 clauses out of 296074 with flag 65379576/11165000
3136.34/3147.61	c cleaning 149021 clauses out of 298095 with flag 66242111/11315000
3186.65/3198.01	c cleaning 149994 clauses out of 300075 with flag 67100937/11466001
3237.27/3248.93	c cleaning 151028 clauses out of 302081 with flag 67974072/11618001
3290.71/3302.74	c cleaning 152006 clauses out of 304052 with flag 68855999/11771000
3343.11/3355.24	c cleaning 152962 clauses out of 306046 with flag 69742274/11925000
3395.90/3408.29	c cleaning 153990 clauses out of 308084 with flag 70633589/12080000
3449.19/3461.84	c cleaning 154995 clauses out of 310096 with flag 71533477/12236002
3504.09/3517.24	c cleaning 156009 clauses out of 312099 with flag 72432140/12393000
3558.78/3572.00	c cleaning 156994 clauses out of 314090 with flag 73337295/12551000
3600.00/3615.42	c starts		: 103866
3600.00/3615.42	c conflicts		: 12673951
3600.00/3615.42	c decisions		: 105843201
3600.00/3615.42	c propagations		: 1615860637
3600.00/3615.42	c inspects		: 35968987436
3600.00/3615.42	c shortcuts		: 0
3600.00/3615.42	c learnt literals	: 2
3600.00/3615.42	c learnt binary clauses	: 80
3600.00/3615.42	c learnt ternary clauses	: 923
3600.00/3615.42	c learnt constraints	: 12673949
3600.00/3615.42	c ignored constraints	: 0
3600.00/3615.42	c root simplifications	: 0
3600.00/3615.42	c removed literals (reason simplification)	: 12192215
3600.00/3615.44	c reason swapping (by a shorter reason)	: 0
3600.00/3615.44	c Calls to reduceDB	: 154
3600.00/3615.44	c Number of update (reduction) of LBD	: 2699113
3600.00/3615.44	c Imported unit clauses	: 0
3600.00/3615.44	c No decision after first conflict	: false
3600.00/3615.44	c number of reductions to clauses (during analyze)	: 0
3600.00/3615.44	c number of learned constraints concerned by reduction	: 0
3600.00/3615.44	c number of learning phase by resolution	: 0
3600.00/3615.44	c number of learning phase by cutting planes	: 0
3600.00/3615.44	c number of rounding to 1 operations	: 0
3600.00/3615.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3615.44	c number of reductions of the coefficients by power 2 	: 0
3600.00/3615.44	c number of right shift for reduction by power 2 	: 0
3600.00/3615.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3615.44	c number of ending skipping 	: 0
3600.00/3615.44	c number of internal skipping 	: 0
3600.00/3615.44	c number of derivation steps 	: 0
3600.00/3615.44	c number of skipped derivation steps 	: 0
3600.00/3615.44	c number of remaining unassigned 	: 0
3600.00/3615.44	c number of remaining assigned 	: 0
3600.00/3615.44	c number of falsified literals weakened from reason	: 0
3600.00/3615.44	c number of falsified literals weakened from conflict	: 0
3600.00/3615.45	c time for arithmetic operations	: 0
3600.00/3615.45	c minimum degree of deleted constraints	: null
3600.00/3615.45	c maximum degree of deleted constraints	: null
3600.00/3615.45	c number of deleted constraints	: 0
3600.00/3615.45	c speed (assignments/second)	: 446995.6416932416
3600.00/3615.45	c non guided choices	: 49285
3600.00/3615.46	c timeout
3600.00/3615.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 279967
3600.00/3615.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 80
3600.00/3615.50	s UNKNOWN
3600.00/3615.50	c Total wall clock time (in seconds): 3615.241

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: 64059 MiB (33752 MiB free)
  memory of node 1: 64510 MiB (51395 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=237777, runsolver pid=237774

[startup+0.110568 s]*
/proc/loadavg: 4.21 4.33 4.33 5/328 237795
/proc/meminfo: memFree=87154464/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=18975048 memory=56760 CPUtime=0.12 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 6625 0 0 0 10 2 0 0 20 0 18 0 18833401 19430449152 14190 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4743762 14190 5700 1 0 550925 0
[pid=237777/tid=237779] ppid=237774 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 5530 0 0 0 7 2 0 0 20 0 18 0 18833402 19430449152 14190 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18833405 19430449152 14190 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18833405 19430449152 14190 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56760 KiB

[startup+0.214516 s]*
/proc/loadavg: 4.21 4.33 4.33 7/328 237795
/proc/meminfo: memFree=87144788/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=18975048 memory=65456 CPUtime=0.24 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 7242 0 0 0 21 3 0 0 20 0 18 0 18833401 19430449152 16364 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4743762 16364 5705 1 0 551434 0
[pid=237777/tid=237779] ppid=237774 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 5759 0 0 0 15 2 0 0 20 0 18 0 18833402 19430449152 16364 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=18975048 memory=605730 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18833405 19430449152 16364 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18833405 19430449152 16364 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65456 KiB

[startup+0.320566 s]*
/proc/loadavg: 4.21 4.33 4.33 7/328 237795
/proc/meminfo: memFree=87140264/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=18975048 memory=70820 CPUtime=0.43 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 7517 0 0 0 39 4 0 0 20 0 18 0 18833401 19430449152 17705 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4743762 17705 5784 1 0 551629 0
[pid=237777/tid=237779] ppid=237774 vsize=18975048 memory=-8887400201906266812 CPUtime=0.28 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 5935 0 0 0 25 3 0 0 20 0 18 0 18833402 19430449152 17705 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18833405 19430449152 17705 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18833405 19430449152 17705 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70820 KiB

[startup+0.70056 s]
/proc/loadavg: 4.21 4.33 4.33 8/329 237796
/proc/meminfo: memFree=87106048/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19041612 memory=110328 CPUtime=1.12 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 9661 0 0 0 107 5 0 0 20 0 19 0 18833401 19498610688 27582 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4760403 27582 5853 1 0 553332 0
[pid=237777/tid=237779] ppid=237774 vsize=19041612 memory=5472 CPUtime=0.61 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 6081 0 0 0 57 4 0 0 20 0 19 0 18833402 19498610688 27582 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19041612 memory=12928 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18833405 19498610688 27582 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19041612 memory=281399680885416 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18833405 19498610688 27582 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18833450 19498610688 27582 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110328 KiB

[startup+1.50028 s]
/proc/loadavg: 4.21 4.33 4.33 6/329 237796
/proc/meminfo: memFree=87066568/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=178372 CPUtime=2.68 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 17533 0 0 0 260 8 0 0 20 0 20 0 18833401 19566772224 44593 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 44593 5878 1 0 556088 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=12928 CPUtime=1.37 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 6566 0 0 0 132 5 0 0 20 0 20 0 18833402 19566772224 44593 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 44593 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 44593 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=645086 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 44593 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178372 KiB

[startup+3.10657 s]
/proc/loadavg: 4.21 4.33 4.33 7/326 237799
/proc/meminfo: memFree=86984652/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=185172 CPUtime=5.84 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 20802 0 0 0 574 10 0 0 20 0 20 0 18833401 19566772224 46293 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 46293 5878 1 0 556396 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=0 CPUtime=2.92 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 7615 0 0 0 286 6 0 0 20 0 20 0 18833402 19566772224 46293 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 46293 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 46293 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 46293 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185172 KiB

[startup+6.30047 s]
/proc/loadavg: 4.27 4.34 4.34 5/326 237799
/proc/meminfo: memFree=86660872/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=501856 CPUtime=9.88 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 24149 0 0 0 970 18 0 0 20 0 20 0 18833401 19566772224 125464 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 125464 5878 1 0 558120 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=12928 CPUtime=6.1 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 7915 0 0 0 597 13 0 0 20 0 20 0 18833402 19566772224 125464 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 125464 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 125464 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 125464 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 501856 KiB

[startup+12.7005 s]
/proc/loadavg: 4.25 4.33 4.34 5/326 237799
/proc/meminfo: memFree=85815024/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=1217516 CPUtime=16.88 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 29697 0 0 0 1652 36 0 0 20 0 20 0 18833401 19566772224 304379 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 304379 5894 1 0 558120 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=0 CPUtime=12.46 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 8880 0 0 0 1216 30 0 0 20 0 20 0 18833402 19566772224 304379 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=1217508 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 304379 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=2316 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 304379 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 304379 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 16.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1217516 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.31 4.33 5/326 237802
/proc/meminfo: memFree=85534396/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=1217656 CPUtime=30.2 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 33122 0 0 0 2978 42 0 0 20 0 20 0 18833401 19566772224 304414 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 304414 5894 1 0 558120 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=1217508 CPUtime=25.06 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 10322 0 0 0 2472 34 0 0 20 0 20 0 18833402 19566772224 304414 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 304414 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=1217652 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 304414 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=-8887400201906266812 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 304414 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 30.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1217656 KiB

[startup+51.1136 s]
/proc/loadavg: 4.13 4.29 4.32 5/326 237806
/proc/meminfo: memFree=84987880/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=1340592 CPUtime=55.05 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 37000 0 0 0 5452 53 0 0 20 0 20 0 18833401 19566772224 335148 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 335148 5894 1 0 558120 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=1340592 CPUtime=49.74 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 12382 0 0 0 4930 44 0 0 20 0 20 0 18833402 19566772224 335148 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 335148 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0

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

[startup+3282.3 s]
/proc/loadavg: 2.11 2.45 3.22 3/269 239798
/proc/meminfo: memFree=102505912/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186352 CPUtime=3270.4 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 164493 0 0 0 326132 908 0 0 20 0 20 0 18833401 19566772224 546588 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546588 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=2186348 CPUtime=3238.79 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 74843 0 0 0 323158 721 0 0 20 0 20 0 18833402 19566772224 546588 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1341 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=70328 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546588 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=28216 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3426 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546588 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=2186352 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546588 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3270.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186352 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.40 3.15 3/268 239808
/proc/meminfo: memFree=102341724/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186356 CPUtime=3330.25 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 166820 0 0 0 332105 920 0 0 20 0 20 0 18833401 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546589 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=2186352 CPUtime=3298.18 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 75886 0 0 0 329087 731 0 0 20 0 20 0 18833402 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1360 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=2186352 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3514 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=2186356 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3330.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186356 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.35 3.09 3/268 239818
/proc/meminfo: memFree=102177976/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186356 CPUtime=3390.02 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 168354 0 0 0 338072 930 0 0 20 0 20 0 18833401 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546589 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=2186352 CPUtime=3357.65 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 77177 0 0 0 335026 739 0 0 20 0 20 0 18833402 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1376 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=2186356 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=2186356 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3574 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=2186356 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546589 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3390.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186356 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.30 3.02 3/268 239828
/proc/meminfo: memFree=102014388/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186360 CPUtime=3449.69 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 170284 0 0 0 344027 942 0 0 20 0 20 0 18833401 19566772224 546590 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546590 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=2186352 CPUtime=3417.06 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 78190 0 0 0 340957 749 0 0 20 0 20 0 18833402 19566772224 546590 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1404 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546590 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=5472 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3635 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546590 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=-8887400201906266812 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546590 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3449.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186360 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.27 2.97 3/269 239840
/proc/meminfo: memFree=101853736/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186364 CPUtime=3509.18 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 173070 0 0 0 349960 958 0 0 20 0 20 0 18833401 19566772224 546591 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546591 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=2186360 CPUtime=3476 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 79141 0 0 0 346839 761 0 0 20 0 20 0 18833402 19566772224 546591 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1462 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546591 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3757 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546591 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=2186364 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546591 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3509.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186364 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.25 2.91 3/269 239850
/proc/meminfo: memFree=101698652/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186368 CPUtime=3566.97 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 175494 0 0 0 355726 971 0 0 20 0 20 0 18833401 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546592 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=32872 CPUtime=3533.43 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 80516 0 0 0 352570 773 0 0 20 0 20 0 18833402 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1682 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=2186368 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3801 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=11672 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3566.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.4 s]
/proc/loadavg: 2.13 2.24 2.88 3/272 239862
/proc/meminfo: memFree=101615132/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19108176 memory=2186368 CPUtime=3600 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 176137 0 0 0 359022 978 0 0 20 0 20 0 18833401 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4777044 546592 5894 1 0 559269 0
[pid=237777/tid=237779] ppid=237774 vsize=19108176 memory=70328 CPUtime=3566.16 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) R 237774 237777 231903 0 -1 4194368 81077 0 0 0 355837 779 0 0 20 0 20 0 18833402 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1692 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19108176 memory=12928 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19108176 memory=5472 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3842 0 0 0 0 0 0 0 20 0 20 0 18833405 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237796] ppid=237774 vsize=19108176 memory=16108 CPUtime=0 cores=0,2
/proc/237777/task/237796/stat : 237796 (Timer-0) S 237774 237777 231903 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18833450 19566772224 546592 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2186368 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.41 s, system=9.80758 s

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

[startup+3615.5 s]
/proc/loadavg: 2.13 2.24 2.88 3/272 239862
/proc/meminfo: memFree=101615132/131655788 swapFree=131071472/131071996
[pid=237777] ppid=237774 vsize=19307868 memory=2187184 CPUtime=3600.19 cores=0,2
/proc/237777/stat : 237777 (java) S 237774 237777 231903 0 -1 1077936128 179470 0 0 0 359040 979 0 0 20 0 16 0 18833401 19771256832 546796 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
/proc/237777/statm: 4826967 546796 5905 1 0 560194 0
[pid=237777/tid=237779] ppid=237774 vsize=19307868 memory=12928 CPUtime=3566.19 cores=0,2
/proc/237777/task/237779/stat : 237779 (java) S 237774 237777 231903 0 -1 1077936192 81370 0 0 0 355840 779 0 0 20 0 16 0 18833402 19771256832 546796 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1693 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237788] ppid=237774 vsize=19307868 memory=11672 CPUtime=0 cores=0,2
/proc/237777/task/237788/stat : 237788 (Finalizer) S 237774 237777 231903 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 16 0 18833405 19771256832 546796 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
[pid=237777/tid=237795] ppid=237774 vsize=19307868 memory=2316 CPUtime=0 cores=0,2
/proc/237777/task/237795/stat : 237795 (Common-Cleaner) S 237774 237777 231903 0 -1 1077936192 3842 0 0 0 0 0 0 0 20 0 16 0 18833405 19771256832 546796 134679101440 94692643614720 94692643618416 140726880345312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94692643626232 94692643627024 94692674998272 140726880347051 140726880347233 140726880347233 140726880354248 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2187184 KiB

Child status: 143

Real time (s): 3615.52
CPU time (s): 3600.21
CPU user time (s): 3590.41
CPU system time (s): 9.80758
CPU usage (%): 99.5767
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2187184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.41
system time used= 9.80758
maximum resident set size= 2188164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11381392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114689
involuntary context switches= 26543


# summary of solver processes directly reported to runsolver:
#   pid: 237777
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3590.41
#   total CPU system time (s): 9.80758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5929 second user time and 36.1826 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-24 15:40:40
IDJOB=4450852
IDBENCH=162293
IDSOLVER=3079
FILE ID=nodeC008/4450852-1721828440
RUNJOBID= nodeC008-1721820325-231943
SLURM_JOB_ID= 7891458
Free space on /tmp= 723736 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-0.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-4450852-1721828440/watcher-4450852-1721828440 -o /tmp/evaluation-result-4450852-1721828440/solver-4450852-1721828440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721820325-231943 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4450852-1721828440 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4450852-1721828440.opb

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

MD5SUM BENCH= b3190b6d7590b4907713913d99d6bfc0
RANDOM SEED=1282150474

nodeC008.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		: 3619.581
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.19
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		: 3602.454
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.33
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.124
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.19
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.205
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.33
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		: 3636.346
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.19
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		: 3571.286
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.33
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.292
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.19
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.301
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        87192632 kB
MemAvailable:   111469664 kB
Buffers:          268496 kB
Cached:         24770032 kB
SwapCached:           48 kB
Active:          2669072 kB
Inactive:       41041344 kB
Active(anon):       1452 kB
Inactive(anon): 18724816 kB
Active(file):    2667620 kB
Inactive(file): 22316528 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            274400 kB
Writeback:             0 kB
AnonPages:      18672248 kB
Mapped:           139144 kB
Shmem:             53976 kB
KReclaimable:     265828 kB
Slab:             394024 kB
SReclaimable:     265828 kB
SUnreclaim:       128196 kB
KernelStack:        4924 kB
PageTables:        46672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   21526576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18321408 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:      400200 kB
DirectMap2M:    49836032 kB
DirectMap1G:    85983232 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC008 at 2024-07-24 16:40:56