Trace number 4432292

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-24 3600.51 3555.09

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
MD5SUM3e791e4af881e2fe08ee2208e231d7f8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark5.15888
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables450
Total number of constraints17827
Number of constraints which are clauses17827
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.13/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.18	c See www.sat4j.org for details.
0.13/0.19	c version CUSTOM.v20240707
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.22	c java.vm.vendor	Oracle Corporation
0.13/0.22	c sun.arch.data.model	64
0.13/0.22	c java.version		22.0.1
0.13/0.22	c os.name		Linux
0.13/0.22	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.22	c os.arch		amd64
0.13/0.22	c Free memory 		2115194816
0.13/0.22	c Max memory 		16282288128
0.13/0.22	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.29/0.32	--- Begin Solver configuration ---
0.29/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.32	Learn all clauses as in MiniSAT
0.29/0.32	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	No reason simplification
0.29/0.32	Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	timeout=2147483s
0.29/0.32	DB Simplification allowed=false
0.29/0.32	Listener: none
0.29/0.32	--- End Solver configuration ---
0.29/0.33	c Pseudo Boolean Optimization by upper bound
0.29/0.33	c --- Begin Solver configuration ---
0.29/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.33	c Learn all clauses as in MiniSAT
0.29/0.33	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.33	c No reason simplification
0.29/0.33	c Glucose 2.1 dynamic restart strategy
0.29/0.33	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.29/0.33	c timeout=2147483s
0.29/0.33	c DB Simplification allowed=false
0.29/0.33	c Listener: none
0.29/0.33	c --- End Solver configuration ---
0.29/0.33	c solving HOME/instance-4432292-1721062539.opb
0.29/0.33	c reading problem ... 
0.29/0.33	c  objective function found
1.00/0.67	c ... done. Wall clock time 0.335s.
1.00/0.67	c declared #vars     450
1.00/0.67	c #constraints  17827
1.00/0.67	c constraints type 
1.00/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17827
1.00/0.67	c 17827 constraints processed.
1.00/0.68	c objective function length is 450 literals
1.00/0.69	c SATISFIABLE
1.00/0.69	c OPTIMIZING...
1.00/0.69	c Got one! Elapsed wall clock time (in seconds):0.368
1.00/0.69	o -20
1.17/0.72	c Got one! Elapsed wall clock time (in seconds):0.396
1.17/0.72	o -21
1.56/1.00	c Got one! Elapsed wall clock time (in seconds):0.681
1.56/1.00	o -22
2.15/1.28	c Got one! Elapsed wall clock time (in seconds):0.959
2.15/1.28	o -23
3.15/1.79	c Got one! Elapsed wall clock time (in seconds):1.467
3.15/1.79	o -24
3.45/1.93	c cleaning 3119 clauses out of 6237 with flag 2060/6237
4.39/2.58	c cleaning 4547 clauses out of 9118 with flag 14434/12237
5.29/3.35	c cleaning 5783 clauses out of 11571 with flag 28683/19237
6.10/4.16	c cleaning 6886 clauses out of 13787 with flag 44982/27236
7.33/5.23	c cleaning 7948 clauses out of 15902 with flag 63356/36237
8.93/6.71	c cleaning 8976 clauses out of 17953 with flag 83778/46236
11.31/8.84	c cleaning 9989 clauses out of 19978 with flag 106259/57237
13.79/11.27	c cleaning 10994 clauses out of 21989 with flag 130860/69237
16.79/14.07	c cleaning 11995 clauses out of 23995 with flag 157340/82237
21.50/18.26	c cleaning 12996 clauses out of 25999 with flag 188514/96236
27.58/24.17	c cleaning 14001 clauses out of 28003 with flag 224036/111236
35.97/32.31	c cleaning 15000 clauses out of 30003 with flag 266917/127237
43.60/39.73	c cleaning 15998 clauses out of 32002 with flag 311013/144236
50.13/46.09	c cleaning 16995 clauses out of 34004 with flag 353618/162236
55.91/51.80	c cleaning 18003 clauses out of 36010 with flag 396484/181237
62.42/58.30	c cleaning 19000 clauses out of 38006 with flag 445496/201236
70.44/66.18	c cleaning 20001 clauses out of 40006 with flag 498765/222236
80.14/75.54	c cleaning 21000 clauses out of 42008 with flag 555236/244239
88.32/83.59	c cleaning 22002 clauses out of 44005 with flag 606908/267236
95.24/89.48	c cleaning 23001 clauses out of 46003 with flag 656052/291236
101.47/95.53	c cleaning 24000 clauses out of 48003 with flag 707283/316237
107.57/101.51	c cleaning 25000 clauses out of 50002 with flag 760679/342236
116.02/109.63	c cleaning 26001 clauses out of 52002 with flag 816030/369236
124.26/117.77	c cleaning 26998 clauses out of 54001 with flag 873481/397236
132.81/126.14	c cleaning 28002 clauses out of 56004 with flag 932777/426237
143.08/136.17	c cleaning 29001 clauses out of 58003 with flag 993972/456238
152.63/145.53	c cleaning 29997 clauses out of 60001 with flag 1057561/487237
164.96/156.47	c cleaning 31001 clauses out of 62003 with flag 1123198/519236
178.67/169.82	c cleaning 31999 clauses out of 64002 with flag 1190873/552236
191.14/182.16	c cleaning 33003 clauses out of 66005 with flag 1260578/586238
202.68/193.31	c cleaning 34001 clauses out of 68001 with flag 1332124/621237
217.22/207.56	c cleaning 34995 clauses out of 70000 with flag 1405789/657237
231.08/221.24	c cleaning 35998 clauses out of 72004 with flag 1481761/694236
245.83/234.37	c cleaning 37001 clauses out of 74007 with flag 1559516/732237
262.76/251.00	c cleaning 38000 clauses out of 76005 with flag 1639552/771236
281.01/268.97	c cleaning 39000 clauses out of 78005 with flag 1721211/811236
295.41/283.07	c cleaning 39999 clauses out of 80005 with flag 1805444/852236
317.47/304.73	c cleaning 41000 clauses out of 82006 with flag 1891211/894236
346.36/333.36	c cleaning 41997 clauses out of 84008 with flag 1979363/937238
368.72/355.43	c cleaning 43005 clauses out of 86009 with flag 2070146/981236
392.89/379.03	c cleaning 44003 clauses out of 88007 with flag 2162491/1026239
415.22/401.02	c cleaning 44999 clauses out of 90003 with flag 2256767/1072238
440.48/424.31	c cleaning 45999 clauses out of 92002 with flag 2353203/1119236
464.68/448.39	c cleaning 46997 clauses out of 94004 with flag 2451536/1167237
498.63/482.01	c cleaning 48003 clauses out of 96006 with flag 2552092/1216236
528.78/511.61	c cleaning 48994 clauses out of 98004 with flag 2654660/1266237
556.75/539.14	c cleaning 50001 clauses out of 100011 with flag 2759342/1317238
585.00/566.93	c cleaning 51004 clauses out of 102009 with flag 2865946/1369237
609.91/591.47	c cleaning 52003 clauses out of 104005 with flag 2974607/1422237
635.05/616.15	c cleaning 52992 clauses out of 106003 with flag 3085504/1476238
662.94/643.70	c cleaning 54001 clauses out of 108009 with flag 3198199/1531236
699.29/679.69	c cleaning 55003 clauses out of 110010 with flag 3312735/1587238
727.44/706.01	c cleaning 56002 clauses out of 112005 with flag 3428360/1644236
748.85/727.14	c cleaning 57000 clauses out of 114005 with flag 3546109/1702238
782.35/760.46	c cleaning 58001 clauses out of 116006 with flag 3665855/1761239
818.34/796.22	c cleaning 58999 clauses out of 118002 with flag 3787644/1821236
848.60/826.34	c cleaning 59997 clauses out of 120003 with flag 3911406/1882236
883.26/860.64	c cleaning 61001 clauses out of 122006 with flag 4037309/1944236
925.58/902.83	c cleaning 62000 clauses out of 124008 with flag 4165422/2007239
966.99/944.11	c cleaning 62998 clauses out of 126006 with flag 4296182/2071237
1023.70/1000.87	c cleaning 64003 clauses out of 128009 with flag 4429169/2136238
1079.22/1056.13	c cleaning 65002 clauses out of 130006 with flag 4564831/2202238
1124.50/1099.61	c cleaning 66000 clauses out of 132002 with flag 4701487/2269236
1163.26/1138.47	c cleaning 66997 clauses out of 134002 with flag 4839809/2337236
1212.58/1187.28	c cleaning 68000 clauses out of 136006 with flag 4980476/2406237
1277.19/1251.33	c cleaning 68999 clauses out of 138006 with flag 5124575/2476237
1345.07/1318.66	c cleaning 69996 clauses out of 140007 with flag 5270224/2547237
1408.39/1381.45	c cleaning 71001 clauses out of 142010 with flag 5417155/2619236
1463.45/1436.07	c cleaning 72005 clauses out of 144009 with flag 5566482/2692236
1520.68/1492.84	c cleaning 73002 clauses out of 146004 with flag 5717916/2766236
1583.21/1555.00	c cleaning 73994 clauses out of 148002 with flag 5870786/2841236
1650.08/1621.00	c cleaning 75001 clauses out of 150009 with flag 6026582/2917237
1715.97/1684.33	c cleaning 76003 clauses out of 152008 with flag 6184401/2994237
1788.29/1756.46	c cleaning 77002 clauses out of 154004 with flag 6344158/3072236
1863.98/1831.63	c cleaning 77997 clauses out of 156005 with flag 6504359/3151239
1937.21/1904.20	c cleaning 79002 clauses out of 158007 with flag 6668197/3231238
2003.37/1970.11	c cleaning 79998 clauses out of 160003 with flag 6834310/3312236
2086.31/2052.69	c cleaning 80998 clauses out of 162005 with flag 7002063/3394236
2135.19/2101.00	c cleaning 81999 clauses out of 164009 with flag 7171927/3477238
2188.95/2154.17	c cleaning 82998 clauses out of 166008 with flag 7344298/3561236
2260.01/2224.62	c cleaning 84007 clauses out of 168013 with flag 7518611/3646239
2330.40/2294.79	c cleaning 84999 clauses out of 170003 with flag 7694816/3732236
2399.85/2364.42	c cleaning 85998 clauses out of 172007 with flag 7872877/3819239
2461.91/2425.80	c cleaning 87002 clauses out of 174007 with flag 8051402/3907237
2525.33/2488.80	c cleaning 88003 clauses out of 176005 with flag 8232836/3996237
2596.16/2556.99	c cleaning 89001 clauses out of 178002 with flag 8417416/4086237
2682.78/2642.75	c cleaning 89999 clauses out of 180000 with flag 8604133/4177236
2761.89/2721.12	c cleaning 90995 clauses out of 182001 with flag 8793047/4269236
2842.29/2801.24	c cleaning 91994 clauses out of 184007 with flag 8983266/4362237
2944.82/2903.05	c cleaning 93006 clauses out of 186013 with flag 9176295/4456237
3051.19/3008.78	c cleaning 94001 clauses out of 188006 with flag 9371224/4551236
3151.81/3108.72	c cleaning 94996 clauses out of 190006 with flag 9568299/4647237
3281.14/3237.82	c cleaning 96001 clauses out of 192009 with flag 9767308/4744236
3386.24/3342.25	c cleaning 97001 clauses out of 194008 with flag 9968249/4842236
3496.44/3451.86	c cleaning 98000 clauses out of 196007 with flag 10171257/4941236
3600.01/3554.82	c starts		: 3238
3600.01/3554.83	c conflicts		: 5024503
3600.01/3554.83	c decisions		: 6407407
3600.01/3554.84	c propagations		: 28872812
3600.01/3554.84	c inspects		: 17786678399
3600.01/3554.84	c shortcuts		: 0
3600.01/3554.84	c learnt literals	: 0
3600.01/3554.84	c learnt binary clauses	: 0
3600.01/3554.84	c learnt ternary clauses	: 0
3600.01/3554.84	c learnt constraints	: 5024503
3600.01/3554.84	c ignored constraints	: 0
3600.01/3554.84	c root simplifications	: 0
3600.01/3554.84	c removed literals (reason simplification)	: 0
3600.01/3554.84	c reason swapping (by a shorter reason)	: 0
3600.01/3554.84	c Calls to reduceDB	: 95
3600.01/3554.84	c Number of update (reduction) of LBD	: 92167
3600.01/3554.84	c Imported unit clauses	: 0
3600.01/3554.84	c No decision after first conflict	: false
3600.01/3554.84	c number of reductions to clauses (during analyze)	: 0
3600.01/3554.84	c number of learned constraints concerned by reduction	: 0
3600.01/3554.84	c number of learning phase by resolution	: 0
3600.01/3554.84	c number of learning phase by cutting planes	: 0
3600.01/3554.84	c number of rounding to 1 operations	: 0
3600.01/3554.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3554.84	c number of reductions of the coefficients by power 2 	: 0
3600.01/3554.84	c number of right shift for reduction by power 2 	: 0
3600.01/3554.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3554.84	c number of ending skipping 	: 0
3600.01/3554.84	c number of internal skipping 	: 0
3600.01/3554.84	c number of derivation steps 	: 0
3600.01/3554.84	c number of skipped derivation steps 	: 0
3600.01/3554.84	c number of remaining unassigned 	: 0
3600.01/3554.84	c number of remaining assigned 	: 0
3600.01/3554.84	c number of falsified literals weakened from reason	: 0
3600.01/3554.84	c number of falsified literals weakened from conflict	: 0
3600.01/3554.84	c time for arithmetic operations	: 0
3600.01/3554.85	c minimum degree of deleted constraints	: null
3600.01/3554.85	c maximum degree of deleted constraints	: null
3600.01/3554.85	c number of deleted constraints	: 0
3600.01/3554.85	c speed (assignments/second)	: 8123.660057234291
3600.01/3554.85	c non guided choices	: 0
3600.41/3555.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 181274
3600.41/3555.03	s SATISFIABLE
3600.41/3555.03	c Found 5 solution(s)
3600.41/3555.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 
3600.41/3555.03	c objective function=-24
3600.41/3555.03	c Total wall clock time (in seconds): 3554.712

Verifier Data 

OK	-24

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432292-1721062539/watcher-4432292-1721062539 -o /tmp/evaluation-result-4432292-1721062539/solver-4432292-1721062539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806265 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432292-1721062539.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100362 s]*
/proc/loadavg: 1.06 1.34 2.23 13/311 806395
/proc/meminfo: memFree=124665312/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=18975048 memory=57352 CPUtime=0.13 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 6273 0 0 0 9 4 0 0 20 0 18 0 158411033 19430449152 14338 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4743762 14338 5646 1 0 550762 0
[pid=806332/tid=806340] ppid=806322 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 5236 0 0 0 5 3 0 0 20 0 18 0 158411034 19430449152 14338 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=18975048 memory=4674 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 14338 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 14338 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57352 KiB

[startup+0.219924 s]*
/proc/loadavg: 1.06 1.34 2.23 9/311 806395
/proc/meminfo: memFree=124647680/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=18975048 memory=60032 CPUtime=0.29 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 6946 0 0 0 25 4 0 0 20 0 18 0 158411033 19430449152 15008 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4743762 15008 5673 1 0 551324 0
[pid=806332/tid=806340] ppid=806322 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 5575 0 0 0 16 3 0 0 20 0 18 0 158411034 19430449152 15008 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=18975048 memory=4674 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 15008 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 15008 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60032 KiB

[startup+0.313833 s]*
/proc/loadavg: 1.06 1.34 2.23 14/311 806395
/proc/meminfo: memFree=124629768/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=18975048 memory=65124 CPUtime=0.47 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 7237 0 0 0 42 5 0 0 20 0 18 0 158411033 19430449152 16281 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4743762 16281 5687 1 0 551541 0
[pid=806332/tid=806340] ppid=806322 vsize=18975048 memory=-8528524008991597244 CPUtime=0.29 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) S 806322 806332 806254 0 -1 1077936192 5765 0 0 0 26 3 0 0 20 0 18 0 158411034 19430449152 16281 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 16281 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 16281 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65124 KiB

[startup+0.703854 s]
/proc/loadavg: 1.06 1.34 2.23 11/311 806395
/proc/meminfo: memFree=124581612/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19041612 memory=99980 CPUtime=1.17 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 9112 0 0 0 110 7 0 0 20 0 19 0 158411033 19498610688 24995 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4760403 24995 5846 1 0 553013 0
[pid=806332/tid=806340] ppid=806322 vsize=19041612 memory=5540 CPUtime=0.63 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 5936 0 0 0 59 4 0 0 20 0 19 0 158411034 19498610688 24995 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158411040 19498610688 24995 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158411041 19498610688 24995 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99980 KiB

[startup+1.50445 s]
/proc/loadavg: 1.06 1.34 2.23 11/316 806400
/proc/meminfo: memFree=124373468/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19041612 memory=136464 CPUtime=2.75 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 14111 0 0 0 266 9 0 0 20 0 19 0 158411033 19498610688 34116 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4760403 34116 5877 1 0 554790 0
[pid=806332/tid=806340] ppid=806322 vsize=19041612 memory=12508 CPUtime=1.43 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 6499 0 0 0 138 5 0 0 20 0 19 0 158411034 19498610688 34116 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158411040 19498610688 34116 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158411041 19498610688 34116 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158411102 19498610688 34116 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136464 KiB

[startup+3.10886 s]
/proc/loadavg: 1.70 1.47 2.27 6/319 806403
/proc/meminfo: memFree=123847824/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=267240 CPUtime=5.08 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 16973 0 0 0 496 12 0 0 20 0 20 0 158411033 19566772224 66810 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 66810 5893 1 0 555252 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) S 806322 806332 806254 0 -1 1077936192 7384 0 0 0 285 6 0 0 20 0 20 0 158411034 19566772224 66810 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 66810 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 66810 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 66810 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 267240 KiB

[startup+6.30046 s]
/proc/loadavg: 1.70 1.47 2.27 5/319 806405
/proc/meminfo: memFree=122690340/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=435216 CPUtime=8.53 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 17356 0 0 0 837 16 0 0 20 0 20 0 158411033 19566772224 108804 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 108804 5893 1 0 555255 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=0 CPUtime=5.85 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 7396 0 0 0 579 6 0 0 20 0 20 0 158411034 19566772224 108804 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 108804 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 108804 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=42444 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 108804 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 435216 KiB

[startup+12.7005 s]
/proc/loadavg: 2.21 1.58 2.30 6/319 806405
/proc/meminfo: memFree=121020232/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=758668 CPUtime=15.28 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 21358 0 0 0 1504 24 0 0 20 0 20 0 158411033 19566772224 189667 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 189667 5893 1 0 1014789 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=707468 CPUtime=11.98 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 8118 0 0 0 1189 9 0 0 20 0 20 0 158411034 19566772224 189667 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=662412 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 189667 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 189667 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 189667 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 15.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 758668 KiB

[startup+25.5005 s]
/proc/loadavg: 2.48 1.66 2.32 5/319 806406
/proc/meminfo: memFree=117376248/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=1118676 CPUtime=28.98 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 29176 0 0 0 2864 34 0 0 20 0 20 0 158411033 19566772224 279669 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 279669 5899 1 0 1015527 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=951700 CPUtime=24.33 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 9194 0 0 0 2423 10 0 0 20 0 20 0 158411034 19566772224 279669 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=1118676 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 279669 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=1118676 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 279669 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 279669 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 28.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1118676 KiB

[startup+51.1134 s]
/proc/loadavg: 3.00 1.85 2.36 5/319 806411
/proc/meminfo: memFree=113066820/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=1532784 CPUtime=55.23 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 36150 0 0 0 5478 45 0 0 20 0 20 0 158411033 19566772224 383196 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 383196 5899 1 0 1015527 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=1387304 CPUtime=49.32 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 10516 0 0 0 4922 10 0 0 20 0 20 0 158411034 19566772224 383196 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 383196 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 383196 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0

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

/proc/meminfo: memFree=80498824/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9293144 CPUtime=3265.67 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 235249 0 0 0 326155 412 0 0 20 0 20 0 158411033 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2323286 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=9293108 CPUtime=3169.24 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 79979 0 0 0 316876 48 0 0 20 0 20 0 158411034 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=9293144 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 999 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=9293144 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3265.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9293144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.46 4.34 5/318 807792
/proc/meminfo: memFree=80498408/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9293144 CPUtime=3325.95 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 236184 0 0 0 332179 416 0 0 20 0 20 0 158411033 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2323286 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=9293144 CPUtime=3228.67 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 80459 0 0 0 322819 48 0 0 20 0 20 0 158411034 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=5540 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=42536 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 999 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2323286 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3325.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9293144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.40 4.33 5/320 807806
/proc/meminfo: memFree=80493856/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9295192 CPUtime=3386.34 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 239957 0 0 0 338215 419 0 0 20 0 20 0 158411033 19566772224 2323798 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2323798 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=11420 CPUtime=3288.02 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 81485 0 0 0 328754 48 0 0 20 0 20 0 158411034 19566772224 2323798 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=9295192 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2323798 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=9295192 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2323798 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2323798 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3386.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9295192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.34 4.32 5/320 807817
/proc/meminfo: memFree=80304652/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9299288 CPUtime=3447.02 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 241228 0 0 0 344279 423 0 0 20 0 20 0 158411033 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2324822 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=9295192 CPUtime=3347.04 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 82069 0 0 0 334656 48 0 0 20 0 20 0 158411034 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=9297240 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=9297240 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3447.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9299288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.29 4.30 5/320 807827
/proc/meminfo: memFree=80138080/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9299288 CPUtime=3506.92 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 241760 0 0 0 350266 426 0 0 20 0 20 0 158411033 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2324822 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=9295192 CPUtime=3406.89 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 82596 0 0 0 340640 49 0 0 20 0 20 0 158411034 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=11420 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=9299288 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=4528 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2324822 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3506.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9299288 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.27 4.29 5/320 807904
/proc/meminfo: memFree=93590756/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9301336 CPUtime=3567.09 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 242498 0 0 0 356280 429 0 0 20 0 20 0 158411033 19566772224 2325334 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2325334 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=12508 CPUtime=3466.41 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 83121 0 0 0 346592 49 0 0 20 0 20 0 158411034 19566772224 2325334 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=9301336 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2325334 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=9301336 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2325334 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=42536 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2325334 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3567.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9301336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3554.8 s]
/proc/loadavg: 4.28 4.29 4.29 5/320 807977
/proc/meminfo: memFree=103395172/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19108176 memory=9330008 CPUtime=3600.01 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 242868 0 0 0 359569 432 0 0 20 0 20 0 158411033 19566772224 2332502 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4777044 2332502 5915 1 0 2553388 0
[pid=806332/tid=806340] ppid=806322 vsize=19108176 memory=5120 CPUtime=3498.32 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 83211 0 0 0 349783 49 0 0 20 0 20 0 158411034 19566772224 2332502 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19108176 memory=9330008 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2332502 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19108176 memory=2752 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2332502 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806396] ppid=806322 vsize=19108176 memory=5796695868719759386 CPUtime=0 cores=4,6
/proc/806332/task/806396/stat : 806396 (Timer-0) S 806322 806332 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411102 19566772224 2332502 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9330008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.14 s, system=4.37308 s

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

[startup+3555 s]*
/proc/loadavg: 4.28 4.29 4.29 8/321 807980
/proc/meminfo: memFree=103277476/131655788 swapFree=131071996/131071996
[pid=806332] ppid=806322 vsize=19307868 memory=9330904 CPUtime=3600.41 cores=4,6
/proc/806332/stat : 806332 (java) S 806322 806332 806254 0 -1 1077936128 245861 0 0 0 359609 432 0 0 20 0 21 0 158411033 19771256832 2332726 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
/proc/806332/statm: 4826967 2332726 5914 1 0 2554345 0
[pid=806332/tid=806340] ppid=806322 vsize=19307868 memory=-8960018546924298940 CPUtime=3498.52 cores=4,6
/proc/806332/task/806340/stat : 806340 (java) R 806322 806332 806254 0 -1 4194368 83325 0 0 0 349803 49 0 0 20 0 21 0 158411034 19771256832 2332726 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806380] ppid=806322 vsize=19307868 memory=4050485595104892045 CPUtime=0 cores=4,6
/proc/806332/task/806380/stat : 806380 (Finalizer) S 806322 806332 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158411040 19771256832 2332726 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=806394] ppid=806322 vsize=19307868 memory=8514726395714956179 CPUtime=0 cores=4,6
/proc/806332/task/806394/stat : 806394 (Common-Cleaner) S 806322 806332 806254 0 -1 1077936192 1078 0 0 0 0 0 0 0 20 0 21 0 158411041 19771256832 2332726 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
[pid=806332/tid=807979] ppid=806322 vsize=19307868 memory=8514726395714820749 CPUtime=0.15 cores=4,6
/proc/806332/task/807979/stat : 807979 (Thread-0) R 806322 806332 806254 0 -1 4194368 510 0 0 0 15 0 0 0 20 0 21 0 158766515 19771256832 2332726 134679101440 94246073712640 94246073716336 140729975536608 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94246073724152 94246073724944 94246080258048 140729975538695 140729975538785 140729975538785 140729975545800 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9330904 KiB

Child status: 143

Real time (s): 3555.09
CPU time (s): 3600.51
CPU user time (s): 3596.14
CPU system time (s): 4.37308
CPU usage (%): 101.278
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9330904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.14
system time used= 4.37308
maximum resident set size= 9331800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111548
involuntary context switches= 10497


# summary of solver processes directly reported to runsolver:
#   pid: 806332
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3596.14
#   total CPU system time (s): 4.37308

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8732 second user time and 36.3367 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 18:55:51
IDJOB=4432292
IDBENCH=146689
IDSOLVER=3058
FILE ID=nodeC011/4432292-1721062539
RUNJOBID= nodeC011-1721062551-806265
SLURM_JOB_ID= 7505516
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432292-1721062539/watcher-4432292-1721062539 -o /tmp/evaluation-result-4432292-1721062539/solver-4432292-1721062539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806265 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432292-1721062539.opb

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

MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8
RANDOM SEED=1691794273

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.123
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.20
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		: 2593.826
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.31
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.127
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.20
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.120
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.128
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.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.139
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.31
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.124
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.20
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.120
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124805612 kB
MemAvailable:   129887856 kB
Buffers:          387672 kB
Cached:          5473168 kB
SwapCached:            0 kB
Active:           654968 kB
Inactive:        5528956 kB
Active(anon):       1348 kB
Inactive(anon):   359132 kB
Active(file):     653620 kB
Inactive(file):  5169824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5420 kB
Writeback:            56 kB
AnonPages:        322820 kB
Mapped:           102908 kB
Shmem:             37704 kB
KReclaimable:     198672 kB
Slab:             308288 kB
SReclaimable:     198672 kB
SUnreclaim:       109616 kB
KernelStack:        3568 kB
PageTables:         9444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     641168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-15 19:55:07