Trace number 4432294

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)-28 3600.72 3535.86

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM13e3cfc76a003558f082ab5832d2ffa8
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-35
Best CPU time to get the best result obtained on this benchmark5.63628
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
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 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.18	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.21	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.13/0.22	c Number of processors 	2
0.30/0.31	--- Begin Solver configuration ---
0.30/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.31	Learn all clauses as in MiniSAT
0.30/0.31	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.31	No reason simplification
0.30/0.31	Glucose 2.1 dynamic restart strategy
0.30/0.31	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.30/0.31	timeout=2147483s
0.30/0.31	DB Simplification allowed=false
0.30/0.31	Listener: none
0.30/0.31	--- End Solver configuration ---
0.30/0.32	c Pseudo Boolean Optimization by upper bound
0.30/0.32	c --- Begin Solver configuration ---
0.30/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.32	c Learn all clauses as in MiniSAT
0.30/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	c No reason simplification
0.30/0.32	c Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	c timeout=2147483s
0.30/0.32	c DB Simplification allowed=false
0.30/0.32	c Listener: none
0.30/0.32	c --- End Solver configuration ---
0.30/0.32	c solving HOME/instance-4432294-1721062539.opb
0.30/0.32	c reading problem ... 
0.30/0.32	c  objective function found
1.18/0.71	c ... done. Wall clock time 0.387s.
1.18/0.72	c declared #vars     595
1.18/0.72	c #constraints  27856
1.18/0.72	c constraints type 
1.18/0.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 27856
1.18/0.72	c 27856 constraints processed.
1.18/0.73	c objective function length is 595 literals
1.18/0.75	c SATISFIABLE
1.18/0.75	c OPTIMIZING...
1.18/0.75	c Got one! Elapsed wall clock time (in seconds):0.436
1.18/0.75	o -27
1.37/0.84	c Got one! Elapsed wall clock time (in seconds):0.518
1.37/0.84	o -28
4.12/2.26	c cleaning 2528 clauses out of 5056 with flag 10842/5056
5.04/2.82	c cleaning 4264 clauses out of 8527 with flag 23300/11055
5.54/3.33	c cleaning 5632 clauses out of 11263 with flag 37805/18055
6.88/4.25	c cleaning 6816 clauses out of 13632 with flag 54511/26056
7.97/5.24	c cleaning 7908 clauses out of 15816 with flag 73147/35056
9.32/6.43	c cleaning 8950 clauses out of 17907 with flag 93865/45055
11.02/8.01	c cleaning 9979 clauses out of 19957 with flag 116749/56055
12.99/9.72	c cleaning 10986 clauses out of 21978 with flag 141684/68055
15.40/12.01	c cleaning 11998 clauses out of 23995 with flag 168588/81058
18.42/14.76	c cleaning 12990 clauses out of 25994 with flag 197627/95055
21.23/17.54	c cleaning 14003 clauses out of 28005 with flag 228894/110056
24.62/20.64	c cleaning 15001 clauses out of 30001 with flag 262175/126055
27.80/23.80	c cleaning 15998 clauses out of 32002 with flag 297340/143057
31.71/27.36	c cleaning 16999 clauses out of 34003 with flag 334369/161056
36.71/32.01	c cleaning 18002 clauses out of 36004 with flag 373704/180056
42.27/37.37	c cleaning 18995 clauses out of 38001 with flag 415264/200055
47.82/42.63	c cleaning 19997 clauses out of 40007 with flag 459204/221056
54.09/48.67	c cleaning 21003 clauses out of 42009 with flag 504901/243055
62.08/56.37	c cleaning 22003 clauses out of 44007 with flag 552663/266056
69.64/63.66	c cleaning 22997 clauses out of 46003 with flag 602392/290055
79.40/71.91	c cleaning 24003 clauses out of 48006 with flag 653662/315055
88.26/80.51	c cleaning 25003 clauses out of 50005 with flag 706783/341057
95.35/87.33	c cleaning 26001 clauses out of 52004 with flag 762444/368059
102.79/94.55	c cleaning 26994 clauses out of 54000 with flag 820461/396056
111.73/103.27	c cleaning 27999 clauses out of 56006 with flag 880605/425056
126.17/117.48	c cleaning 28999 clauses out of 58006 with flag 943010/455055
140.82/131.50	c cleaning 30003 clauses out of 60007 with flag 1007728/486055
152.48/142.97	c cleaning 30997 clauses out of 62004 with flag 1074570/518055
165.17/155.41	c cleaning 32001 clauses out of 64007 with flag 1143096/551055
178.37/166.61	c cleaning 33000 clauses out of 66008 with flag 1213670/585057
194.25/182.32	c cleaning 34000 clauses out of 68006 with flag 1286557/620055
212.69/200.22	c cleaning 35003 clauses out of 70006 with flag 1361430/656055
228.33/215.68	c cleaning 35995 clauses out of 72003 with flag 1437801/693055
245.36/232.13	c cleaning 37002 clauses out of 74009 with flag 1516974/731056
264.09/250.35	c cleaning 38004 clauses out of 76009 with flag 1597248/770058
282.77/266.97	c cleaning 39001 clauses out of 78002 with flag 1680248/810055
300.74/284.54	c cleaning 40001 clauses out of 80002 with flag 1765018/851056
317.52/300.74	c cleaning 40997 clauses out of 82002 with flag 1852201/893057
341.15/323.87	c cleaning 42000 clauses out of 84004 with flag 1941468/936056
363.98/346.44	c cleaning 43002 clauses out of 86003 with flag 2032590/980055
388.01/370.07	c cleaning 44001 clauses out of 88001 with flag 2125875/1025055
416.42/398.01	c cleaning 44999 clauses out of 90002 with flag 2220629/1071057
440.28/421.41	c cleaning 46000 clauses out of 92005 with flag 2316979/1118059
475.86/456.54	c cleaning 46999 clauses out of 94002 with flag 2416720/1166056
501.37/481.67	c cleaning 48002 clauses out of 96003 with flag 2517692/1215056
531.54/511.32	c cleaning 49000 clauses out of 98000 with flag 2622227/1265055
570.19/547.46	c cleaning 50001 clauses out of 100003 with flag 2728258/1316058
600.58/577.14	c cleaning 51000 clauses out of 102001 with flag 2835529/1368057
628.63/604.59	c cleaning 51993 clauses out of 104000 with flag 2944528/1421056
662.53/638.12	c cleaning 53002 clauses out of 106006 with flag 3055712/1475055
699.67/674.78	c cleaning 53998 clauses out of 108004 with flag 3169226/1530055
723.80/698.33	c cleaning 54997 clauses out of 110006 with flag 3283655/1586055
759.03/732.99	c cleaning 56000 clauses out of 112009 with flag 3399505/1643055
801.56/774.87	c cleaning 57001 clauses out of 114011 with flag 3517315/1701057
843.32/816.05	c cleaning 58004 clauses out of 116012 with flag 3637303/1760059
890.68/862.79	c cleaning 58998 clauses out of 118004 with flag 3759717/1820055
931.15/900.80	c cleaning 59996 clauses out of 120006 with flag 3886247/1881055
971.20/940.69	c cleaning 61001 clauses out of 122010 with flag 4014632/1943055
1012.59/981.60	c cleaning 62000 clauses out of 124012 with flag 4143364/2006058
1063.60/1031.61	c cleaning 62999 clauses out of 126009 with flag 4274706/2070055
1097.53/1064.83	c cleaning 64000 clauses out of 128010 with flag 4407954/2135055
1133.80/1100.54	c cleaning 64996 clauses out of 130010 with flag 4542519/2201055
1182.96/1149.48	c cleaning 66006 clauses out of 132015 with flag 4679388/2268056
1230.33/1196.40	c cleaning 66998 clauses out of 134008 with flag 4818005/2336055
1287.60/1252.89	c cleaning 67998 clauses out of 136010 with flag 4959234/2405055
1361.72/1323.97	c cleaning 69005 clauses out of 138014 with flag 5102855/2475057
1425.86/1388.20	c cleaning 69998 clauses out of 140007 with flag 5248176/2546055
1486.49/1448.47	c cleaning 71001 clauses out of 142010 with flag 5395697/2618056
1559.75/1521.27	c cleaning 71997 clauses out of 144008 with flag 5544446/2691055
1613.30/1573.95	c cleaning 73004 clauses out of 146011 with flag 5695712/2765055
1661.75/1621.60	c cleaning 74004 clauses out of 148008 with flag 5848985/2840056
1709.50/1668.75	c cleaning 74999 clauses out of 150003 with flag 6004508/2916055
1775.36/1733.94	c cleaning 75999 clauses out of 152004 with flag 6161681/2993055
1831.73/1789.66	c cleaning 76996 clauses out of 154005 with flag 6320846/3071055
1890.54/1847.98	c cleaning 78002 clauses out of 156009 with flag 6482814/3150055
1946.88/1903.56	c cleaning 79003 clauses out of 158007 with flag 6646426/3230055
2020.25/1973.44	c cleaning 80000 clauses out of 160006 with flag 6812230/3311057
2094.04/2046.52	c cleaning 80999 clauses out of 162004 with flag 6980017/3393055
2185.53/2137.50	c cleaning 81998 clauses out of 164005 with flag 7150350/3476055
2269.63/2221.02	c cleaning 83004 clauses out of 166008 with flag 7322289/3560056
2338.59/2289.49	c cleaning 84001 clauses out of 168003 with flag 7495858/3645055
2428.67/2378.28	c cleaning 84999 clauses out of 170004 with flag 7671893/3731057
2517.50/2466.33	c cleaning 85996 clauses out of 172005 with flag 7851535/3818057
2606.45/2554.67	c cleaning 87006 clauses out of 174011 with flag 8033234/3906059
2696.62/2644.33	c cleaning 87998 clauses out of 176002 with flag 8217999/3995056
2772.16/2718.84	c cleaning 88996 clauses out of 178003 with flag 8405450/4085055
2864.11/2807.06	c cleaning 90000 clauses out of 180007 with flag 8594828/4176055
2951.43/2893.81	c cleaning 90998 clauses out of 182008 with flag 8785608/4268056
3018.47/2960.26	c cleaning 92000 clauses out of 184011 with flag 8978478/4361057
3096.21/3037.36	c cleaning 93004 clauses out of 186009 with flag 9173354/4455055
3176.83/3116.90	c cleaning 94003 clauses out of 188006 with flag 9370363/4550056
3272.15/3211.32	c cleaning 94993 clauses out of 190002 with flag 9569602/4646055
3354.27/3292.58	c cleaning 95999 clauses out of 192010 with flag 9771791/4743056
3443.84/3381.20	c cleaning 97005 clauses out of 194012 with flag 9975420/4841057
3529.13/3465.68	c cleaning 97997 clauses out of 196006 with flag 10181104/4940056
3600.08/3535.52	c starts		: 41
3600.08/3535.54	c conflicts		: 5035357
3600.08/3535.56	c decisions		: 5204976
3600.08/3535.56	c propagations		: 27398412
3600.08/3535.56	c inspects		: 14308792257
3600.08/3535.56	c shortcuts		: 0
3600.08/3535.56	c learnt literals	: 0
3600.08/3535.56	c learnt binary clauses	: 0
3600.08/3535.56	c learnt ternary clauses	: 0
3600.08/3535.56	c learnt constraints	: 5035357
3600.08/3535.56	c ignored constraints	: 0
3600.08/3535.56	c root simplifications	: 0
3600.08/3535.56	c removed literals (reason simplification)	: 0
3600.08/3535.56	c reason swapping (by a shorter reason)	: 0
3600.08/3535.56	c Calls to reduceDB	: 95
3600.08/3535.56	c Number of update (reduction) of LBD	: 144202
3600.08/3535.57	c Imported unit clauses	: 0
3600.08/3535.57	c No decision after first conflict	: false
3600.08/3535.57	c number of reductions to clauses (during analyze)	: 0
3600.08/3535.57	c number of learned constraints concerned by reduction	: 0
3600.08/3535.57	c number of learning phase by resolution	: 0
3600.08/3535.57	c number of learning phase by cutting planes	: 0
3600.08/3535.58	c number of rounding to 1 operations	: 0
3600.08/3535.58	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3535.58	c number of reductions of the coefficients by power 2 	: 0
3600.08/3535.58	c number of right shift for reduction by power 2 	: 0
3600.08/3535.58	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3535.58	c number of ending skipping 	: 0
3600.08/3535.58	c number of internal skipping 	: 0
3600.08/3535.59	c number of derivation steps 	: 0
3600.08/3535.59	c number of skipped derivation steps 	: 0
3600.08/3535.59	c number of remaining unassigned 	: 0
3600.08/3535.59	c number of remaining assigned 	: 0
3600.08/3535.59	c number of falsified literals weakened from reason	: 0
3600.08/3535.59	c number of falsified literals weakened from conflict	: 0
3600.08/3535.59	c time for arithmetic operations	: 0
3600.08/3535.59	c minimum degree of deleted constraints	: null
3600.28/3535.63	c maximum degree of deleted constraints	: null
3600.28/3535.63	c number of deleted constraints	: 0
3600.28/3535.63	c speed (assignments/second)	: 7750.870326081606
3600.28/3535.63	c non guided choices	: 0
3600.46/3535.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 193310
3600.46/3535.79	s SATISFIABLE
3600.46/3535.79	c Found 2 solution(s)
3600.46/3535.79	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 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 
3600.46/3535.79	c objective function=-28
3600.46/3535.79	c Total wall clock time (in seconds): 3535.474

Verifier Data 

OK	-28

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=806338, runsolver pid=806329

[startup+0.101344 s]*
/proc/loadavg: 1.06 1.34 2.23 11/311 806395
/proc/meminfo: memFree=124664976/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=18975048 memory=56904 CPUtime=0.13 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 6290 0 0 0 9 4 0 0 20 0 18 0 158411033 19430449152 14226 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4743762 14226 5580 1 0 550747 0
[pid=806338/tid=806341] ppid=806329 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 5267 0 0 0 5 3 0 0 20 0 18 0 158411034 19430449152 14226 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 14226 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 14226 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56904 KiB

[startup+0.214364 s]*
/proc/loadavg: 1.06 1.34 2.23 12/311 806395
/proc/meminfo: memFree=124647736/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=18975048 memory=59616 CPUtime=0.3 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 6978 0 0 0 25 5 0 0 20 0 18 0 158411033 19430449152 14904 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4743762 14904 5605 1 0 551325 0
[pid=806338/tid=806341] ppid=806329 vsize=18975048 memory=664970851429515395 CPUtime=0.2 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 5593 0 0 0 16 4 0 0 20 0 18 0 158411034 19430449152 14904 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=18975048 memory=4674 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 14904 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 14904 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59616 KiB

[startup+0.315497 s]*
/proc/loadavg: 1.06 1.34 2.23 14/311 806395
/proc/meminfo: memFree=124629768/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=18975048 memory=65504 CPUtime=0.47 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 7259 0 0 0 41 6 0 0 20 0 18 0 158411033 19430449152 16376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4743762 16376 5762 1 0 551541 0
[pid=806338/tid=806341] ppid=806329 vsize=18975048 memory=-8528524008991597244 CPUtime=0.28 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 5778 0 0 0 24 4 0 0 20 0 18 0 158411034 19430449152 16376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 16376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 16376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65504 KiB

[startup+0.704184 s]
/proc/loadavg: 1.06 1.34 2.23 10/311 806395
/proc/meminfo: memFree=124571096/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=18975048 memory=115768 CPUtime=1.18 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 8948 0 0 0 109 9 0 0 20 0 18 0 158411033 19430449152 28942 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4743762 28942 5831 1 0 552634 0
[pid=806338/tid=806341] ppid=806329 vsize=18975048 memory=5540 CPUtime=0.6 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 1077936192 5834 0 0 0 54 6 0 0 20 0 18 0 158411034 19430449152 28942 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=18975048 memory=12508 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158411040 19430449152 28942 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158411041 19430449152 28942 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 115768 KiB

[startup+1.50034 s]
/proc/loadavg: 1.06 1.34 2.23 13/316 806400
/proc/meminfo: memFree=124373468/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19041612 memory=159072 CPUtime=2.75 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 21999 0 0 0 263 12 0 0 20 0 19 0 158411033 19498610688 39768 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4760403 39768 5869 1 0 558048 0
[pid=806338/tid=806341] ppid=806329 vsize=19041612 memory=12508 CPUtime=1.33 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 6128 0 0 0 127 6 0 0 20 0 19 0 158411034 19498610688 39768 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 158411040 19498610688 39768 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 158411041 19498610688 39768 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 158411107 19498610688 39768 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159072 KiB

[startup+3.10535 s]
/proc/loadavg: 1.70 1.47 2.27 8/319 806403
/proc/meminfo: memFree=123843700/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=314736 CPUtime=5.35 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 25982 0 0 0 519 16 0 0 20 0 20 0 158411033 19566772224 78684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 78684 5885 1 0 558402 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=0 CPUtime=2.77 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 7364 0 0 0 270 7 0 0 20 0 20 0 158411034 19566772224 78684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 78684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 78684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 78684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 314736 KiB

[startup+6.30082 s]
/proc/loadavg: 1.70 1.47 2.27 6/319 806405
/proc/meminfo: memFree=122690340/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=695328 CPUtime=9.22 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 27322 0 0 0 898 24 0 0 20 0 20 0 158411033 19566772224 173832 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 173832 5885 1 0 1086871 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=0 CPUtime=5.58 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 7533 0 0 0 548 10 0 0 20 0 20 0 158411034 19566772224 173832 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 173832 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=588800 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 173832 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=4528 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 173832 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 695328 KiB

[startup+12.7004 s]
/proc/loadavg: 2.21 1.58 2.30 7/319 806405
/proc/meminfo: memFree=121020232/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=1267848 CPUtime=16.21 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 29350 0 0 0 1584 37 0 0 20 0 20 0 158411033 19566772224 316962 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 316962 5893 1 0 1086882 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=-8528524008991597244 CPUtime=11.29 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 8080 0 0 0 1118 11 0 0 20 0 20 0 158411034 19566772224 316962 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=1193928 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 316962 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 316962 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 316962 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 16.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1267848 KiB

[startup+25.5005 s]
/proc/loadavg: 2.48 1.66 2.32 6/319 806406
/proc/meminfo: memFree=117376248/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=2235456 CPUtime=29.92 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 33696 0 0 0 2934 58 0 0 20 0 20 0 158411033 19566772224 558864 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 558864 5893 1 0 1623729 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=0 CPUtime=23.19 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 8812 0 0 0 2303 16 0 0 20 0 20 0 158411034 19566772224 558864 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=-8528524008991597244 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 558864 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=9119074744524964509 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 558864 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=1993784 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 558864 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2235456 KiB

[startup+51.1136 s]
/proc/loadavg: 3.00 1.85 2.36 6/319 806411
/proc/meminfo: memFree=113066820/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=2997504 CPUtime=56.59 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 37268 0 0 0 5583 76 0 0 20 0 20 0 158411033 19566772224 749376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 749376 5893 1 0 1623729 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=2780408 CPUtime=47.54 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 10240 0 0 0 4738 16 0 0 20 0 20 0 158411034 19566772224 749376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=2273 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 749376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=42444 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 749376 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0

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

Current children cumulated memory: 10942868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.46 4.34 7/318 807792
/proc/meminfo: memFree=80498408/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=10942868 CPUtime=3344.1 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 380731 0 0 0 333954 456 0 0 20 0 20 0 158411033 19566772224 2735717 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 2735717 5924 1 0 3205808 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=10942868 CPUtime=3210.66 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 148219 0 0 0 321003 63 0 0 20 0 20 0 158411034 19566772224 2735717 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2735717 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2543 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2735717 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=10942868 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 2735717 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3344.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10942868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.40 4.33 6/320 807806
/proc/meminfo: memFree=80493856/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=10944916 CPUtime=3404.43 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 382311 0 0 0 339983 460 0 0 20 0 20 0 158411033 19566772224 2736229 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 2736229 5924 1 0 3205808 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=11420 CPUtime=3269.94 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 149515 0 0 0 326931 63 0 0 20 0 20 0 158411034 19566772224 2736229 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=10942868 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2736229 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=10944916 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2543 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2736229 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=5540 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 2736229 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3404.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10944916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.34 4.32 6/320 807817
/proc/meminfo: memFree=80304652/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=11129236 CPUtime=3465.36 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 386320 0 0 0 346070 466 0 0 20 0 20 0 158411033 19566772224 2782309 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 2782309 5924 1 0 3205808 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=10949012 CPUtime=3328.62 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 150866 0 0 0 332799 63 0 0 20 0 20 0 158411034 19566772224 2782309 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=10949012 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2782309 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=42536 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2543 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2782309 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=11129236 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 2782309 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3465.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11129236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.29 4.30 6/320 807827
/proc/meminfo: memFree=80138080/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=11295124 CPUtime=3525.83 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 387480 0 0 0 352110 473 0 0 20 0 20 0 158411033 19566772224 2823781 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 2823781 5924 1 0 3205808 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=11420 CPUtime=3387.76 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 151694 0 0 0 338713 63 0 0 20 0 20 0 158411034 19566772224 2823781 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=11129236 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2823781 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=-8528524008991597244 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2823781 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 2823781 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3525.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11295124 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.27 4.29 6/320 807904
/proc/meminfo: memFree=93590756/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=11563420 CPUtime=3586.24 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 388508 0 0 0 358141 483 0 0 20 0 20 0 158411033 19566772224 2890855 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 2890855 5924 1 0 3205808 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=11295124 CPUtime=3446.98 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 152480 0 0 0 344635 63 0 0 20 0 20 0 158411034 19566772224 2890855 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=10944916 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 2890855 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 2890855 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=11563420 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 2890855 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11563420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3535.5 s]
/proc/loadavg: 4.10 4.25 4.28 6/320 807906
/proc/meminfo: memFree=92757564/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19108176 memory=12097952 CPUtime=3600.08 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 388859 0 0 0 359514 494 0 0 20 0 20 0 158411033 19566772224 3024488 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4777044 3024488 5924 1 0 3205808 0
[pid=806338/tid=806341] ppid=806329 vsize=19108176 memory=11563420 CPUtime=3459.46 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 152554 0 0 0 345883 63 0 0 20 0 20 0 158411034 19566772224 3024488 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19108176 memory=11563420 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158411040 19566772224 3024488 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19108176 memory=11563420 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 20 0 158411041 19566772224 3024488 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806398] ppid=806329 vsize=19108176 memory=12097952 CPUtime=0 cores=0,2
/proc/806338/task/806398/stat : 806398 (Timer-0) S 806329 806338 806254 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158411107 19566772224 3024488 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12097952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.71 s, system=5.00939 s

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

[startup+3535.6 s]
/proc/loadavg: 4.10 4.25 4.28 6/320 807906
/proc/meminfo: memFree=92757564/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19307868 memory=12098724 CPUtime=3600.28 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 391371 0 0 0 359533 495 0 0 20 0 21 0 158411033 19771256832 3024681 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4826967 3024681 5939 1 0 3206715 0
[pid=806338/tid=806341] ppid=806329 vsize=19307868 memory=3054637277371514982 CPUtime=3459.57 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 152738 0 0 0 345894 63 0 0 20 0 21 0 158411034 19771256832 3024681 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19307868 memory=1832 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158411040 19771256832 3024681 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19307868 memory=5424 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 21 0 158411041 19771256832 3024681 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12098724 KiB

[startup+3535.7 s]
/proc/loadavg: 4.10 4.25 4.28 6/320 807906
/proc/meminfo: memFree=92757564/131655788 swapFree=131071996/131071996
[pid=806338] ppid=806329 vsize=19307868 memory=12098736 CPUtime=3600.46 cores=0,2
/proc/806338/stat : 806338 (java) S 806329 806338 806254 0 -1 1077936128 391464 0 0 0 359551 495 0 0 20 0 21 0 158411033 19771256832 3024684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
/proc/806338/statm: 4826967 3024684 5939 1 0 3206731 0
[pid=806338/tid=806341] ppid=806329 vsize=19307868 memory=11563420 CPUtime=3459.65 cores=0,2
/proc/806338/task/806341/stat : 806341 (java) R 806329 806338 806254 0 -1 4194368 152738 0 0 0 345902 63 0 0 20 0 21 0 158411034 19771256832 3024684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806381] ppid=806329 vsize=19307868 memory=11563420 CPUtime=0 cores=0,2
/proc/806338/task/806381/stat : 806381 (Finalizer) S 806329 806338 806254 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158411040 19771256832 3024684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
[pid=806338/tid=806395] ppid=806329 vsize=19307868 memory=11563420 CPUtime=0 cores=0,2
/proc/806338/task/806395/stat : 806395 (Common-Cleaner) S 806329 806338 806254 0 -1 1077936192 2587 0 0 0 0 0 0 0 20 0 21 0 158411041 19771256832 3024684 134679101440 94329762811904 94329762815600 140722147211712 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94329762823416 94329762824208 94329774440448 140722147214343 140722147214433 140722147214433 140722147221448 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12098736 KiB

Child status: 143

Real time (s): 3535.86
CPU time (s): 3600.72
CPU user time (s): 3595.71
CPU system time (s): 5.00939
CPU usage (%): 101.834
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12098736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.71
system time used= 5.00939
maximum resident set size= 12099644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111189
involuntary context switches= 31817


# summary of solver processes directly reported to runsolver:
#   pid: 806338
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3595.71
#   total CPU system time (s): 5.00939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0684 second user time and 32.7055 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 18:55:51
IDJOB=4432294
IDBENCH=146690
IDSOLVER=3058
FILE ID=nodeC011/4432294-1721062539
RUNJOBID= nodeC011-1721062551-806264
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/frb35-17-opb/normalized-frb35-17-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432294-1721062539/watcher-4432294-1721062539 -o /tmp/evaluation-result-4432294-1721062539/solver-4432294-1721062539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721062551-806264 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432294-1721062539.opb

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

MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
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:        124796256 kB
MemAvailable:   129878836 kB
Buffers:          387672 kB
Cached:          5473168 kB
SwapCached:            0 kB
Active:           654968 kB
Inactive:        5539980 kB
Active(anon):       1348 kB
Inactive(anon):   370156 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:        333848 kB
Mapped:           103232 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:     573780 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:54:47