Trace number 4450942

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.27 3633.15

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
MD5SUM17b9f2f8b02d6ae535b4cdc282411634
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark174.43
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 constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
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.09/0.39	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.39	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.39	c See www.sat4j.org for details.
0.09/0.40	c version CUSTOM.v20240707
0.09/0.43	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.43	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.43	c java.vm.version	22.0.1+8-16
0.24/0.43	c java.vm.vendor	Oracle Corporation
0.24/0.43	c sun.arch.data.model	64
0.24/0.43	c java.version		22.0.1
0.24/0.43	c os.name		Linux
0.24/0.43	c os.version		4.18.0-301.1.el8.x86_64
0.24/0.43	c os.arch		amd64
0.24/0.44	c Free memory 		2113181440
0.24/0.44	c Max memory 		16282288128
0.24/0.44	c Total memory 		2122317824
0.24/0.45	c Number of processors 	2
0.40/0.54	--- Begin Solver configuration ---
0.40/0.54	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.40/0.54	Learn all clauses as in MiniSAT
0.40/0.54	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.54	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.54	Expensive reason simplification
0.40/0.54	Glucose 2.1 dynamic restart strategy
0.40/0.54	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.40/0.54	timeout=2147483s
0.40/0.54	DB Simplification allowed=false
0.40/0.54	Listener: none
0.40/0.54	--- End Solver configuration ---
0.40/0.54	c Pseudo Boolean Optimization by upper bound
0.40/0.54	c --- Begin Solver configuration ---
0.40/0.54	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.40/0.54	c Learn all clauses as in MiniSAT
0.40/0.54	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.40/0.54	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.40/0.54	c Expensive reason simplification
0.40/0.54	c Glucose 2.1 dynamic restart strategy
0.40/0.54	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.40/0.54	c timeout=2147483s
0.40/0.54	c DB Simplification allowed=false
0.40/0.54	c Listener: none
0.40/0.54	c --- End Solver configuration ---
0.40/0.54	c solving HOME/instance-4450942-1721828845.opb
0.40/0.54	c reading problem ... 
0.40/0.55	c using VERIPB proof format
0.40/0.55	c  no objective function found
0.93/0.88	c ... done. Wall clock time 0.335s.
0.93/0.88	c declared #vars     4288
0.93/0.88	c #constraints  10784
0.93/0.88	c constraints type 
0.93/0.88	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.93/0.89	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.93/0.89	c org.sat4j.specs.Constr$1 => 888
0.93/0.89	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.93/0.89	c org.sat4j.pb.constraints.pb.UnitClausePB => 488
0.93/0.89	c 10784 constraints processed.
3.50/2.11	c cleaning 2495 clauses out of 5001 with flag 15037/5003
4.49/2.69	c cleaning 4250 clauses out of 8503 with flag 38972/11000
5.87/3.35	c cleaning 5610 clauses out of 11253 with flag 67272/18000
6.76/4.03	c cleaning 6819 clauses out of 13643 with flag 101025/26000
8.17/4.89	c cleaning 7904 clauses out of 15824 with flag 142502/35000
9.46/5.82	c cleaning 8926 clauses out of 17920 with flag 188877/45000
10.47/6.84	c cleaning 9981 clauses out of 19994 with flag 241934/56000
12.36/8.72	c cleaning 10999 clauses out of 22013 with flag 299587/68000
13.67/10.05	c cleaning 11989 clauses out of 24014 with flag 367961/81000
15.08/11.43	c cleaning 13014 clauses out of 26027 with flag 440925/95002
16.58/12.98	c cleaning 13980 clauses out of 28011 with flag 523488/110000
18.18/14.60	c cleaning 14983 clauses out of 30032 with flag 611890/126001
20.27/16.47	c cleaning 16014 clauses out of 32048 with flag 704565/143000
22.29/18.27	c cleaning 16977 clauses out of 34034 with flag 804069/161000
24.37/20.33	c cleaning 17999 clauses out of 36058 with flag 911906/180001
26.58/22.53	c cleaning 19005 clauses out of 38060 with flag 1022914/200002
28.87/24.80	c cleaning 19990 clauses out of 40053 with flag 1142537/221000
31.46/27.34	c cleaning 20997 clauses out of 42063 with flag 1270631/243000
34.06/29.91	c cleaning 21977 clauses out of 44066 with flag 1405663/266000
36.85/32.70	c cleaning 23032 clauses out of 46089 with flag 1549938/290000
39.74/35.79	c cleaning 23963 clauses out of 48057 with flag 1698642/315000
42.82/38.86	c cleaning 25035 clauses out of 50095 with flag 1857577/341001
46.13/42.19	c cleaning 26023 clauses out of 52060 with flag 2016894/368001
49.51/45.58	c cleaning 27009 clauses out of 54037 with flag 2184876/396001
53.21/49.21	c cleaning 27968 clauses out of 56027 with flag 2357825/425000
56.89/52.96	c cleaning 29021 clauses out of 58059 with flag 2539363/455000
60.89/56.95	c cleaning 29975 clauses out of 60038 with flag 2729188/486000
65.09/61.13	c cleaning 30997 clauses out of 62063 with flag 2922430/518000
69.38/65.49	c cleaning 32014 clauses out of 64068 with flag 3121310/551002
74.17/70.37	c cleaning 33009 clauses out of 66052 with flag 3330461/585000
78.87/75.03	c cleaning 33977 clauses out of 68043 with flag 3548318/620000
83.86/80.10	c cleaning 35007 clauses out of 70066 with flag 3771929/656000
89.24/85.48	c cleaning 36008 clauses out of 72061 with flag 3999707/693002
94.73/90.94	c cleaning 37009 clauses out of 74051 with flag 4235444/731000
100.32/96.57	c cleaning 37935 clauses out of 76043 with flag 4473982/770001
105.95/102.28	c cleaning 38971 clauses out of 78107 with flag 4719943/810000
111.88/108.15	c cleaning 40050 clauses out of 80136 with flag 4977086/851000
118.06/114.36	c cleaning 41002 clauses out of 82091 with flag 5238520/893005
124.67/120.97	c cleaning 42033 clauses out of 84084 with flag 5497717/936000
131.50/127.80	c cleaning 42999 clauses out of 86052 with flag 5768360/980001
138.80/135.18	c cleaning 44016 clauses out of 88052 with flag 6042540/1025000
145.57/141.93	c cleaning 44963 clauses out of 90036 with flag 6323919/1071000
153.06/149.46	c cleaning 46027 clauses out of 92074 with flag 6611893/1118001
160.76/157.12	c cleaning 46989 clauses out of 94046 with flag 6904057/1166000
168.85/165.35	c cleaning 47995 clauses out of 96057 with flag 7206490/1215000
176.93/173.49	c cleaning 49010 clauses out of 98063 with flag 7512048/1265001
185.42/181.97	c cleaning 50020 clauses out of 100052 with flag 7823476/1316000
194.47/191.21	c cleaning 50992 clauses out of 102032 with flag 8143250/1368000
203.65/200.40	c cleaning 52021 clauses out of 104042 with flag 8470825/1421002
213.05/209.83	c cleaning 52988 clauses out of 106021 with flag 8805858/1475002
222.84/219.62	c cleaning 54009 clauses out of 108033 with flag 9146004/1530002
232.81/229.77	c cleaning 54996 clauses out of 110024 with flag 9489935/1586002
242.91/239.89	c cleaning 55999 clauses out of 112028 with flag 9841310/1643002
253.49/250.41	c cleaning 56997 clauses out of 114027 with flag 10198682/1701000
264.44/261.51	c cleaning 57965 clauses out of 116030 with flag 10563460/1760000
275.55/272.68	c cleaning 58978 clauses out of 118066 with flag 10934152/1820001
287.35/284.57	c cleaning 60024 clauses out of 120089 with flag 11306062/1881002
299.33/296.53	c cleaning 61012 clauses out of 122063 with flag 11686899/1943000
311.61/308.80	c cleaning 62014 clauses out of 124051 with flag 12080235/2006000
324.45/321.73	c cleaning 62972 clauses out of 126037 with flag 12474900/2070000
337.80/335.07	c cleaning 64021 clauses out of 128065 with flag 12874382/2135000
351.82/349.10	c cleaning 64996 clauses out of 130044 with flag 13280839/2201000
365.90/363.13	c cleaning 66004 clauses out of 132049 with flag 13691706/2268001
380.56/377.80	c cleaning 67012 clauses out of 134044 with flag 14111015/2336000
395.69/392.91	c cleaning 68003 clauses out of 136032 with flag 14533547/2405000
411.18/408.43	c cleaning 69006 clauses out of 138029 with flag 14970338/2475000
427.43/424.67	c cleaning 70004 clauses out of 140024 with flag 15407421/2546001
443.73/440.94	c cleaning 70988 clauses out of 142019 with flag 15850047/2618000
461.04/458.23	c cleaning 71997 clauses out of 144031 with flag 16302535/2691000
478.93/476.25	c cleaning 73010 clauses out of 146035 with flag 16763017/2765001
495.89/493.13	c cleaning 74009 clauses out of 148024 with flag 17228027/2840000
514.09/511.35	c cleaning 74962 clauses out of 150016 with flag 17694982/2916001
532.00/529.26	c cleaning 76014 clauses out of 152054 with flag 18171574/2993001
550.75/547.90	c cleaning 76991 clauses out of 154039 with flag 18652808/3071000
569.56/566.79	c cleaning 77993 clauses out of 156048 with flag 19144594/3150000
589.26/586.42	c cleaning 78985 clauses out of 158055 with flag 19636944/3230000
608.33/605.56	c cleaning 79986 clauses out of 160073 with flag 20133786/3311003
627.45/624.68	c cleaning 81001 clauses out of 162085 with flag 20645078/3393001
647.37/644.59	c cleaning 82021 clauses out of 164083 with flag 21153471/3476000
668.05/665.29	c cleaning 83016 clauses out of 166064 with flag 21665590/3560002
689.05/686.21	c cleaning 83986 clauses out of 168046 with flag 22186257/3645000
710.78/707.94	c cleaning 84997 clauses out of 170060 with flag 22716647/3731000
732.50/729.73	c cleaning 85973 clauses out of 172063 with flag 23252334/3818000
755.63/753.00	c cleaning 87024 clauses out of 174092 with flag 23793089/3906002
777.62/774.92	c cleaning 88014 clauses out of 176066 with flag 24340134/3995000
800.15/797.45	c cleaning 89004 clauses out of 178052 with flag 24894968/4085000
823.29/820.56	c cleaning 89963 clauses out of 180048 with flag 25454820/4176000
846.62/843.83	c cleaning 90981 clauses out of 182086 with flag 26024099/4268001
870.60/867.86	c cleaning 92052 clauses out of 184104 with flag 26592402/4361000
895.38/892.66	c cleaning 93016 clauses out of 186052 with flag 27171871/4455000
920.70/918.02	c cleaning 94000 clauses out of 188036 with flag 27755510/4550000
946.41/943.71	c cleaning 94996 clauses out of 190037 with flag 28345154/4646001
972.61/970.00	c cleaning 96002 clauses out of 192040 with flag 28937986/4743000
999.98/997.51	c cleaning 97004 clauses out of 194040 with flag 29537105/4841002
1027.26/1025.07	c cleaning 97974 clauses out of 196034 with flag 30142444/4940000
1055.53/1053.52	c cleaning 99016 clauses out of 198060 with flag 30752715/5040000
1084.90/1082.95	c cleaning 99995 clauses out of 200045 with flag 31364481/5141001
1114.05/1112.30	c cleaning 101004 clauses out of 202049 with flag 31991241/5243000
1143.23/1141.94	c cleaning 101967 clauses out of 204045 with flag 32616942/5346000
1173.80/1172.71	c cleaning 103022 clauses out of 206078 with flag 33250193/5450000
1204.57/1203.77	c cleaning 103965 clauses out of 208057 with flag 33892316/5555001
1235.40/1234.80	c cleaning 105043 clauses out of 210091 with flag 34541447/5661000
1266.38/1265.99	c cleaning 106016 clauses out of 212048 with flag 35189637/5768000
1298.14/1297.94	c cleaning 106986 clauses out of 214033 with flag 35837865/5876001
1330.71/1330.61	c cleaning 107986 clauses out of 216047 with flag 36497708/5985001
1363.91/1363.98	c cleaning 109012 clauses out of 218061 with flag 37170526/6095001
1398.50/1398.74	c cleaning 109994 clauses out of 220049 with flag 37848376/6206001
1432.87/1433.32	c cleaning 110999 clauses out of 222054 with flag 38526822/6318000
1467.62/1468.19	c cleaning 112016 clauses out of 224055 with flag 39209270/6431000
1502.60/1503.25	c cleaning 112999 clauses out of 226039 with flag 39894571/6545000
1538.38/1539.04	c cleaning 113998 clauses out of 228040 with flag 40591460/6660000
1574.47/1575.25	c cleaning 114966 clauses out of 230043 with flag 41294725/6776001
1610.73/1611.57	c cleaning 116005 clauses out of 232077 with flag 42010612/6893001
1648.27/1649.19	c cleaning 117026 clauses out of 234071 with flag 42725567/7011000
1686.23/1687.13	c cleaning 118010 clauses out of 236047 with flag 43449605/7130002
1725.09/1726.02	c cleaning 118994 clauses out of 238036 with flag 44174659/7250001
1764.19/1765.28	c cleaning 119996 clauses out of 240041 with flag 44905518/7371000
1803.77/1804.84	c cleaning 121003 clauses out of 242045 with flag 45644546/7493000
1845.36/1857.81	c cleaning 122009 clauses out of 244043 with flag 46379121/7616001
1886.58/1899.22	c cleaning 122983 clauses out of 246033 with flag 47125791/7740000
1928.43/1941.40	c cleaning 123995 clauses out of 248050 with flag 47878765/7865000
1966.89/1979.90	c cleaning 124989 clauses out of 250055 with flag 48637498/7991000
2003.85/2017.05	c cleaning 126026 clauses out of 252066 with flag 49402125/8118000
2040.86/2054.12	c cleaning 126966 clauses out of 254040 with flag 50178016/8246000
2078.96/2092.33	c cleaning 128008 clauses out of 256076 with flag 50952955/8375002
2117.28/2130.59	c cleaning 129001 clauses out of 258067 with flag 51734319/8505001
2156.68/2169.94	c cleaning 130023 clauses out of 260065 with flag 52523675/8636000
2196.34/2209.79	c cleaning 130996 clauses out of 262042 with flag 53320233/8768000
2236.78/2250.27	c cleaning 131989 clauses out of 264048 with flag 54118527/8901002
2278.13/2291.83	c cleaning 133023 clauses out of 266059 with flag 54927575/9035002
2319.50/2333.28	c cleaning 133994 clauses out of 268034 with flag 55740769/9170000
2361.46/2375.33	c cleaning 134996 clauses out of 270040 with flag 56561432/9306000
2404.38/2418.43	c cleaning 135991 clauses out of 272044 with flag 57384770/9443000
2447.79/2462.09	c cleaning 137001 clauses out of 274053 with flag 58211717/9581000
2491.34/2505.85	c cleaning 137999 clauses out of 276052 with flag 59044918/9720000
2535.44/2550.01	c cleaning 139020 clauses out of 278055 with flag 59882837/9860002
2580.09/2594.88	c cleaning 139997 clauses out of 280033 with flag 60724130/10001000
2626.84/2642.63	c cleaning 140997 clauses out of 282036 with flag 61579931/10143000
2672.65/2688.48	c cleaning 141995 clauses out of 284039 with flag 62430772/10286000
2719.15/2735.01	c cleaning 143002 clauses out of 286046 with flag 63295233/10430002
2767.57/2783.25	c cleaning 143984 clauses out of 288046 with flag 64160038/10575004
2815.81/2831.63	c cleaning 144998 clauses out of 290058 with flag 65041781/10721000
2863.89/2879.89	c cleaning 146008 clauses out of 292060 with flag 65923737/10868000
2913.12/2929.47	c cleaning 147008 clauses out of 294053 with flag 66807483/11016001
2962.92/2979.50	c cleaning 148019 clauses out of 296044 with flag 67704504/11165000
3013.23/3030.10	c cleaning 148924 clauses out of 298026 with flag 68599905/11315001
3064.84/3081.99	c cleaning 150039 clauses out of 300101 with flag 69500846/11466000
3117.09/3134.27	c cleaning 151006 clauses out of 302063 with flag 70404127/11618001
3170.39/3200.86	c cleaning 152003 clauses out of 304058 with flag 71319575/11771002
3223.82/3254.21	c cleaning 153010 clauses out of 306053 with flag 72239518/11925000
3277.48/3308.17	c cleaning 153986 clauses out of 308046 with flag 73165048/12080003
3332.35/3364.11	c cleaning 154997 clauses out of 310057 with flag 74094261/12236000
3387.54/3419.43	c cleaning 156000 clauses out of 312060 with flag 75025755/12393000
3443.45/3475.39	c cleaning 157007 clauses out of 314060 with flag 75968566/12551000
3500.18/3533.29	c cleaning 157995 clauses out of 316054 with flag 76911698/12710001
3556.78/3589.82	c cleaning 159015 clauses out of 318058 with flag 77862764/12870000
3600.02/3633.04	c timeout
3600.02/3633.05	c starts		: 106062
3600.02/3633.05	c conflicts		: 12998818
3600.02/3633.05	c decisions		: 120801004
3600.02/3633.05	c propagations		: 1737870983
3600.02/3633.05	c inspects		: 37186701804
3600.02/3633.05	c shortcuts		: 0
3600.02/3633.05	c learnt literals	: 2
3600.02/3633.05	c learnt binary clauses	: 49
3600.02/3633.05	c learnt ternary clauses	: 770
3600.02/3633.06	c learnt constraints	: 12998816
3600.02/3633.06	c ignored constraints	: 0
3600.02/3633.06	c root simplifications	: 0
3600.02/3633.06	c removed literals (reason simplification)	: 11144606
3600.02/3633.06	c reason swapping (by a shorter reason)	: 0
3600.02/3633.06	c Calls to reduceDB	: 156
3600.02/3633.06	c Number of update (reduction) of LBD	: 2748504
3600.02/3633.06	c Imported unit clauses	: 0
3600.02/3633.06	c No decision after first conflict	: false
3600.02/3633.06	c number of reductions to clauses (during analyze)	: 0
3600.02/3633.06	c number of learned constraints concerned by reduction	: 0
3600.02/3633.06	c number of learning phase by resolution	: 0
3600.02/3633.06	c number of learning phase by cutting planes	: 0
3600.02/3633.06	c number of rounding to 1 operations	: 0
3600.02/3633.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3633.06	c number of reductions of the coefficients by power 2 	: 0
3600.02/3633.06	c number of right shift for reduction by power 2 	: 0
3600.02/3633.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3633.06	c number of ending skipping 	: 0
3600.02/3633.06	c number of internal skipping 	: 0
3600.02/3633.06	c number of derivation steps 	: 0
3600.02/3633.06	c number of skipped derivation steps 	: 0
3600.02/3633.06	c number of remaining unassigned 	: 0
3600.02/3633.06	c number of remaining assigned 	: 0
3600.02/3633.06	c number of falsified literals weakened from reason	: 0
3600.02/3633.06	c number of falsified literals weakened from conflict	: 0
3600.02/3633.06	c time for arithmetic operations	: 0
3600.02/3633.06	c minimum degree of deleted constraints	: null
3600.02/3633.06	c maximum degree of deleted constraints	: null
3600.02/3633.06	c number of deleted constraints	: 0
3600.02/3633.06	c speed (assignments/second)	: 478468.1558281087
3600.02/3633.06	c non guided choices	: 45422
3600.21/3633.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 287812
3600.21/3633.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 49
3600.21/3633.13	s UNKNOWN
3600.21/3633.13	c Total wall clock time (in seconds): 3632.585

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (17145 MiB free)
  memory of node 1: 64473 MiB (36632 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100084 s]*
/proc/loadavg: 5.19 5.01 4.72 4/306 171946
/proc/meminfo: memFree=55064260/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=104524 memory=9152 CPUtime=0 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 587 0 5 0 0 0 0 0 20 0 2 0 18873896 107032576 2288 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 0 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 26131 2288 1903 1 0 585 0
[pid=171945/tid=171947] ppid=171942 vsize=104524 memory=4026561586 CPUtime=0 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) D 171942 171945 166372 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 2 0 18873906 107032576 2288 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 104524 KiB
Current children cumulated memory: 9152 KiB

[startup+0.213971 s]*
/proc/loadavg: 5.19 5.01 4.72 5/312 171952
/proc/meminfo: memFree=55034284/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=18194260 memory=40580 CPUtime=0.03 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 4972 0 13 0 1 2 0 0 20 0 7 0 18873896 18630922240 10145 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16784588 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4548565 10145 4079 1 0 544787 0
[pid=171945/tid=171947] ppid=171942 vsize=18194260 memory=8737651120394928259 CPUtime=0.02 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 4421 0 9 0 1 1 0 0 20 0 7 0 18873906 18630922240 10235 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18194260 KiB
Current children cumulated memory: 40580 KiB

[startup+0.314922 s]*
/proc/loadavg: 5.19 5.01 4.72 4/323 171963
/proc/meminfo: memFree=55014980/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=18993908 memory=56020 CPUtime=0.09 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 6387 0 19 0 6 3 0 0 20 0 18 0 18873896 19449761792 14005 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4748477 14005 5733 1 0 550708 0
[pid=171945/tid=171947] ppid=171942 vsize=18993908 memory=-9032357641591759548 CPUtime=0.05 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 5348 0 13 0 3 2 0 0 20 0 18 0 18873906 19449761792 14005 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18873920 19449761792 14005 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18873924 19449761792 14005 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56020 KiB

[startup+0.700399 s]
/proc/loadavg: 5.19 5.01 4.72 7/323 171963
/proc/meminfo: memFree=54999624/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=18993908 memory=76636 CPUtime=0.73 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 7669 0 19 0 69 4 0 0 20 0 18 0 18873896 19449761792 19159 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4748477 19159 6119 1 0 551694 0
[pid=171945/tid=171947] ppid=171942 vsize=18993908 memory=0 CPUtime=0.42 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 6023 0 13 0 39 3 0 0 20 0 18 0 18873906 19449761792 19159 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=18993908 memory=18416 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18873920 19449761792 19159 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18873924 19449761792 19159 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 76636 KiB

[startup+1.50668 s]
/proc/loadavg: 5.19 5.01 4.72 7/324 171964
/proc/meminfo: memFree=54952060/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19060472 memory=133048 CPUtime=2.31 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 18191 0 19 0 223 8 0 0 20 0 19 0 18873896 19517923328 33262 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4765118 33262 6129 1 0 555580 0
[pid=171945/tid=171947] ppid=171942 vsize=19060472 memory=0 CPUtime=1.13 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 6512 0 13 0 109 4 0 0 20 0 19 0 18873906 19517923328 33262 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18873920 19517923328 33262 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19060472 memory=18416 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18873924 19517923328 33262 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19060472 memory=11616 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18873986 19517923328 33262 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 133048 KiB

[startup+3.10668 s]
/proc/loadavg: 5.19 5.01 4.72 6/325 171965
/proc/meminfo: memFree=54827480/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=184980 CPUtime=5.48 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 23269 0 19 0 537 11 0 0 20 0 20 0 18873896 19586084864 46245 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 46245 6160 1 0 556629 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=0 CPUtime=2.68 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 7534 0 13 0 262 6 0 0 20 0 20 0 18873906 19586084864 46245 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=18416 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 46245 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=97 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 46245 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 46245 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 184980 KiB

[startup+6.30067 s]
/proc/loadavg: 5.10 4.99 4.71 7/325 171967
/proc/meminfo: memFree=54597148/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=348804 CPUtime=9.97 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 26431 0 19 0 981 16 0 0 20 0 20 0 18873896 19586084864 87201 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 87201 6160 1 0 558106 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=182696 CPUtime=5.8 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 7754 0 13 0 570 10 0 0 20 0 20 0 18873906 19586084864 87201 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=11616 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 87201 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 87201 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=18416 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 87201 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 9.97 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 348804 KiB

[startup+12.7005 s]
/proc/loadavg: 5.01 4.97 4.71 5/325 171967
/proc/meminfo: memFree=54010000/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=918616 CPUtime=16.39 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 29040 0 19 0 1608 31 0 0 20 0 20 0 18873896 19586084864 229654 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 229654 6176 1 0 558106 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=0 CPUtime=12.18 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 9145 0 13 0 1193 25 0 0 20 0 20 0 18873906 19586084864 229654 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 229654 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 229654 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=746568 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 229654 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 918616 KiB

[startup+25.5097 s]
/proc/loadavg: 4.79 4.92 4.70 5/325 171970
/proc/meminfo: memFree=53187912/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=1334512 CPUtime=29.59 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 36483 0 19 0 2913 46 0 0 20 0 20 0 18873896 19586084864 333628 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 333628 6176 1 0 558106 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=0 CPUtime=24.86 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 10850 0 13 0 2448 38 0 0 20 0 20 0 18873906 19586084864 333628 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=1137752 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 333628 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=1334492 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 333628 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=1334492 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 333628 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 29.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1334512 KiB

[startup+51.1141 s]
/proc/loadavg: 4.57 4.87 4.68 5/325 171973
/proc/meminfo: memFree=52550952/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=1334524 CPUtime=55.12 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 41851 0 19 0 5456 56 0 0 20 0 20 0 18873896 19586084864 333631 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 333631 6176 1 0 558106 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=11616 CPUtime=50.19 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 12859 0 13 0 4973 46 0 0 20 0 20 0 18873906 19586084864 333631 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=928856 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 333631 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=2308 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 333631 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=59632 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 333631 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 55.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1334524 KiB

[startup+102.301 s]
/proc/loadavg: 4.25 4.73 4.64 7/325 171981

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

[startup+3282.3 s]
/proc/loadavg: 1.10 1.21 2.14 2/242 173858
/proc/meminfo: memFree=118231664/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192256 CPUtime=3251.68 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 177826 0 19 0 324319 849 0 0 20 0 20 0 18873896 19586084864 548064 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548064 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=-4421386496247687264 CPUtime=3220.72 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 78889 0 13 0 321407 665 0 0 20 0 20 0 18873906 19586084864 548064 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3760 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=2192256 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548064 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=2192256 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 3851 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548064 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=59760 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548064 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3251.68 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192256 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.18 2.07 2/242 173868
/proc/meminfo: memFree=118154588/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192264 CPUtime=3310.54 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 180088 0 19 0 330193 861 0 0 20 0 20 0 18873896 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548066 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=12368 CPUtime=3279.21 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 80205 0 13 0 327247 674 0 0 20 0 20 0 18873906 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3880 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 3942 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=2192256 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3310.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192264 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.16 2.01 2/242 173879
/proc/meminfo: memFree=118076200/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192264 CPUtime=3370.37 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 182281 0 19 0 336164 873 0 0 20 0 20 0 18873896 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548066 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=2192264 CPUtime=3338.7 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 81307 0 13 0 333186 684 0 0 20 0 20 0 18873906 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3902 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=12368 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 3986 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548066 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3370.37 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192264 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.15 1.95 2/242 173889
/proc/meminfo: memFree=117996624/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192268 CPUtime=3430.49 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 185403 0 19 0 342164 885 0 0 20 0 20 0 18873896 19586084864 548067 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548067 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=12368 CPUtime=3398.28 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 82472 0 13 0 339135 693 0 0 20 0 20 0 18873906 19586084864 548067 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3905 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548067 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 4046 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548067 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=11616 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548067 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3430.49 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192268 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.15 1.90 2/239 173899
/proc/meminfo: memFree=117921500/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192280 CPUtime=3489.36 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 187627 0 19 0 348039 897 0 0 20 0 20 0 18873896 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548070 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=2192268 CPUtime=3456.84 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 83598 0 13 0 344981 703 0 0 20 0 20 0 18873906 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4020 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=2192264 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=2192276 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 4108 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=-9032357641591759548 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3489.36 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192280 KiB

[startup+3582.3 s]
/proc/loadavg: 1.05 1.12 1.84 2/239 173910
/proc/meminfo: memFree=117843616/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192280 CPUtime=3549.3 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 189955 0 19 0 354021 909 0 0 20 0 20 0 18873896 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548070 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=2192280 CPUtime=3516.48 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 84804 0 13 0 350936 712 0 0 20 0 20 0 18873906 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4029 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=5724 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=59760 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 4169 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=-4421386496247687264 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548070 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3549.3 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3633 s]*
/proc/loadavg: 1.13 1.13 1.80 2/239 173919
/proc/meminfo: memFree=117774544/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19127036 memory=2192288 CPUtime=3600.02 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 192215 0 19 0 359081 921 0 0 20 0 20 0 18873896 19586084864 548072 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 5 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4781759 548072 6176 1 0 561703 0
[pid=171945/tid=171947] ppid=171942 vsize=19127036 memory=-9032357641591759548 CPUtime=3566.93 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 4194368 85900 0 13 0 355972 721 0 0 20 0 20 0 18873906 19586084864 548072 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4031 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19127036 memory=-4421386496247687264 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18873920 19586084864 548072 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19127036 memory=7588679044492258672 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 4230 0 0 0 0 0 0 0 20 0 20 0 18873924 19586084864 548072 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171964] ppid=171942 vsize=19127036 memory=7954313986972543312 CPUtime=0 cores=5,7
/proc/171945/task/171964/stat : 171964 (Timer-0) S 171942 171945 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18873986 19586084864 548072 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2192288 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.02 s, system=9.24466 s

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

[startup+3633.12 s]
/proc/loadavg: 1.13 1.13 1.80 2/239 173919
/proc/meminfo: memFree=117774544/131655788 swapFree=131061172/131071996
[pid=171945] ppid=171942 vsize=19326728 memory=2193164 CPUtime=3600.21 cores=5,7
/proc/171945/stat : 171945 (java) S 171942 171945 166372 0 -1 1077936128 195641 0 19 0 359099 922 0 0 20 0 21 0 18873896 19790569472 548291 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 9 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
/proc/171945/statm: 4831682 548291 6175 1 0 562660 0
[pid=171945/tid=171947] ppid=171942 vsize=19326728 memory=2192284 CPUtime=3566.96 cores=5,7
/proc/171945/task/171947/stat : 171947 (java) R 171942 171945 166372 0 -1 1077936192 86400 0 13 0 355974 722 0 0 20 0 21 0 18873906 19790569472 548291 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4035 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171956] ppid=171942 vsize=19326728 memory=2192268 CPUtime=0 cores=5,7
/proc/171945/task/171956/stat : 171956 (Finalizer) S 171942 171945 166372 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18873920 19790569472 548291 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
[pid=171945/tid=171963] ppid=171942 vsize=19326728 memory=59760 CPUtime=0 cores=5,7
/proc/171945/task/171963/stat : 171963 (Common-Cleaner) S 171942 171945 166372 0 -1 1077936192 4230 0 0 0 0 0 0 0 20 0 21 0 18873924 19790569472 548291 134679101440 94351085117440 94351085121136 140722833798272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94351085128952 94351085129744 94351108796416 140722833802159 140722833802341 140722833802341 140722833809352 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2193164 KiB

Child status: 143

Real time (s): 3633.15
CPU time (s): 3600.27
CPU user time (s): 3591.02
CPU system time (s): 9.24466
CPU usage (%): 99.0949
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2193164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.02
system time used= 9.24466
maximum resident set size= 2194616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196003
page faults= 19
swaps= 0
block input operations= 25984
block output operations= 11532616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114353
involuntary context switches= 6745


# summary of solver processes directly reported to runsolver:
#   pid: 171945
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3591.02
#   total CPU system time (s): 9.24466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5257 second user time and 38.4634 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-24 15:47:25
IDJOB=4450942
IDBENCH=162315
IDSOLVER=3079
FILE ID=nodeC007/4450942-1721828845
RUNJOBID= nodeC007-1721820325-166386
SLURM_JOB_ID= 7891455
Free space on /tmp= 723744 MiB

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

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

MD5SUM BENCH= 17b9f2f8b02d6ae535b4cdc282411634
RANDOM SEED=1282150474

nodeC007.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		: 3491.841
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.67
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		: 3603.636
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.37
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.365
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.67
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.194
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.37
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		: 3642.526
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.67
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		: 1795.805
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.37
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.406
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.67
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.205
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        55068672 kB
MemAvailable:   90570344 kB
Buffers:          259388 kB
Cached:         35902492 kB
SwapCached:           96 kB
Active:          1723088 kB
Inactive:       73903228 kB
Active(anon):       2220 kB
Inactive(anon): 39507488 kB
Active(file):    1720868 kB
Inactive(file): 34395740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061172 kB
Dirty:            201936 kB
Writeback:           312 kB
AnonPages:      39456316 kB
Mapped:           109040 kB
Shmem:             45232 kB
KReclaimable:     446972 kB
Slab:             567392 kB
SReclaimable:     446972 kB
SUnreclaim:       120420 kB
KernelStack:        4896 kB
PageTables:        87512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   41642384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:  37304320 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:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC007 at 2024-07-24 16:47:58